恶搞例外群

我终于有工夫翻看了一下A. Garrett Lisi的文章:

An Exceptionally Simple Theory of Everything

我不得不说,在我的字典里,这篇文章是crackpot文章,尽管表面上看起来,文章里充满了一些关于群论的正确的知识。例如,开始时作者就指出,如果从例外群G2里挑出子群SU(3),那么在李代数的层面上,G2李代数的其他生成元可以看作是su(3)的基本表示和反基本表示,也就是说

g2=su(3)+3+\bar{3}

作者说,强相互作用可以用G2群来表示,SU(3)自然是强相互作用群,另外两组对应于夸克和反夸克。可是我们知道,胶子是玻色子,夸克和反夸克是费米子,将这两组粒子用G2群来统一起来是什么意思?何况,有不止一组夸克,不止一组反夸克,我们至少有6种夸克,这样G2群就太小了。

同理,作者用F4来刻画引力-弱相互作用,将spin connection,Higgs场和弱电规范场以及轻子放在一起。最后,因为有

e8=f4+g2+26\times 7

E8群自然就是最大的统一群了。

如果我们一定要将玻色子和费米子放在一起,我们就得谈论超群,可是这位作者谈的是一般群,所以我就看不懂他定义的规范场的含义了,更不明白他建议的BF理论。

除了不懂他的物理内容外,他画的关于例外群的图还是蛮漂亮的。我不得不说这篇31页的文章是对例外群的认真的恶搞。

借此机会,我们谈一点例外群的知识吧,同时也恶搞一次。

例外群共有5个,它们是G2, F4, E6, E7, E8。数字是指群的秩,也就是极大对易子群(Cartan子群)的维度。例外群大约被Killing发现于1890年,后来重新被Cartan发现并研究。

每个例外群是具有同样秩的群中的最大的群,也就是说它的维度最大。例如,G2群的维度是14维,而具有同样秩的单群SU(3)是8维的,SO(5)是10维的。G2群含有SU(3)子群,作为和乐群,SU(3)对应的流形就是6维的Calabi-Yau流形。作为和乐群,G2对应的流形则是7维的,所以G2和M理论有关系,当11维的M理论紧化在G2流形上时,其余的4维时空有N=1超对称。另外,G2是八元数的自同构群。

关于G2是八元数的同构群,Baez有专门的讨论

G2的含义有很多,例如爱尔兰军事情报局、G2播放器等等。当然,G2再有名,也没有F4有名。

F4作为例外群,有52维,其中36维来自于SO(9)子群,其余16维可以看成是SO(9)的旋量表示。F4又和魔方有关。最近最流行的魔方是:

f4.jpg

该F4更进化成:

nvf4.jpg

我并不想贴上面这张照片,但是实在找不到一张女F4不暴露的照片。

接着我们谈E6群,这个群在熟悉粒子物理的人中最出名,因为除了SU(5),SO(10)外,E6是最小的大统一群,也可以嵌入杂化弦的E8群中,E8群的另一个子群SU(3)可以用Calabi-Yau流形来破缺。E6群有78维,基本表示是27维。

E6多面体:

e6_graph.png

E6又是Motorola手机的一款。

E7有133维,它的子群SU(8)应该最有名,因为和极大超引力有关,E7也是极大超引力的极大对成群。

E8是最大的例外群,有248维。E8最小的非平庸表示是248维的,就是自伴随表示。E8自然出现在杂化弦中,主要和E8格点有关。

最后,存在叫E7和E8的手机。

———————————————————

晃晃同学给了一个链接

Surfer dude stuns physicists with theory of everything

文中介绍了Lisi其实是一个冲浪的人,看起来的确很壮:

scisurf114.jpg

他还是一个滑板滑雪者,Lisi同学从身体来说和女F4很般配 :-)

转发到新浪微博

相关阅读:

  1. 第一届亚洲弦论冬季学校
  2. 祝贺高显/F(uzz)理论
  3. Susskind演绎新美丽心灵
  4. 引用率
  5. 萨氏叮你论

关于 李淼

中国科学院理论物理研究所研究员
此条目发表在 理论物理 分类目录。将固定链接加入收藏夹。

恶搞例外群》有 31 条评论

  1. 成王败寇 说:

    从这篇文章的题目看,就有点crackpot的味道。有那么便宜的事情,别人早就作了。
    说实话,女F4没有一个漂亮的。男F4好歹还算得上是帅哥:-)

  2. 李淼 说:

    成王败寇:

    女F4的卖点自然不是脸。

  3. shanqin 说:

    现在可以谈情色了。女F4什么时候漂亮过?他们这个名称来自她们的F cup。

    不过现在我发现那个乱搞统一的人可以称为一个非常认真的民科了,也算功底扎实的民科了。比我这个民科厉害多了。

  4. shanqin 说:

    Killing是Lie的衣钵传人,不过没有想到是他先发现例外Lie群,以前一直以为是Elie Cartan第一个发现的

  5. !CnSoLoer 说:

    这个名称来自她们的F cup…^_^

  6. pekingli 说:

    为啥我觉得现在做flavor group的人也多揣着恶搞的心

  7. 晃晃 说:

    哈哈,我这两天也看到这个了。但我对此缺乏鉴别能力,心想这个如此NB的标题是不是又是记者在瞎搞。后来在网上搜到了Roger Highfield对此人尖酸刻薄的评论,觉得八成是crackpot了。这下在李老师的blog上得到了100%滴证实 ;-)

    Roger Highfield的评论

    李老师,你本周是否会回合肥?我正准备去北京,害怕扑空 :-)

  8. 成王败寇 说:

    补充一下:我所说的“这篇文章”,当然指的是“An Exceptionally Simple Theory of Everything”。

  9. 李淼 说:

    晃晃:

    一直到礼拜四肯定不会去,因为已经定好礼拜四在理论所给学生和博士后做报告。

    成王败寇:

    不需要补充,意思很明白。

  10. J 说:

    BF理论是一种拓扑场论,有一种所谓的spin foam方法对它进行量子化。给纯粹的BF理论加些限制,可以得到引力,所以有人试图用这个搞量子引力。像李老师说的,实在不知道作者是怎么把费米子和玻色子弄在一块的。按作者的说法,他是用BRST来拓展联络从而包含费米子的,但他给出的两篇参考文献,一个是他自己的gr-qc/0511120,另一个是个一般的BRST综述,所以实在不知道他到底什么意思。

  11. zzzwp917 说:

    认真的路过

  12. lixkyx 说:

    这幅女F4的照片只是泳装而已,算不上暴露的。呵呵

  13. lixkyx 说:

    Lisi的思路可真够疯狂的,指望通过这样的数字游戏来构建TOE,有点不象物理学家所为了,更像一些数学家的恶搞。

  14. 晃晃 说:

    看到一个很过瘾的视频,共享一下:

  15. 晃晃 说:

    咦,为什么使用那个贴url的格式又不好用了呢?

    看到一个很过瘾的视频,共享一下

  16. 李淼 说:

    晃晃:

    应该好用,我将你上面的改了。

  17. mirror 说:

    哇,女f4都出来了,什么时候芙蓉姐姐也跳出来,整出一个“量子芙蓉姐妹双宇宙统一e88对称不例外不恶搞群理论”,物理学就圆满了。

  18. zyyzsh 说:

    转…………………………………….
    发信人: NullPointer (Matrix Architect), 信区: SF
    标 题: 冲浪狂人发表宇宙万有理论 zz
    发信站: 水木社区 (Sat Nov 17 05:29:39 2007), 站内

    冲浪狂人发表宇宙万有理论
    从 Solidot 作者:matrix

    这是最近几天最引人注目的科学新闻:一位冲浪滑雪狂人发表了一篇统一场理论,一
    种新的解释宇宙万物的理论,或许将解开物理学中的最大难题。 Garrett Lisi,39
    岁,拥有博士头衔,但不属于任何大学。多数时候,他是在夏威夷冲浪,当向导或桥
    梁建筑工人,睡在帐篷里。冬天就到内华达州附近的高山上滑雪。他说,“当穷人令
    人讨厌,当你要为自己和女朋友下个月到底住哪里伤神,却还想着揭开宇宙的秘密,
    这确实很难。”Garrett Lisi刚刚在arxiv上递交了一篇论文,标题为《一个极其简
    单的万有理论(An Exceptionally Simple Theory of Everything)》,统一了引力
    标准模型,但没有用到弦论。其巧妙之处是使用前不久刚刚被数学家解密的李群E8几
    何学结构。Lisi的理论预测了 20种新粒子,他希望欧洲大强子对撞机最终能验证和
    发现这些粒子。Youtube上的视频解说(值得一看)。专家们既然不想鉴别那只纸老虎
    ,就来仔细瞧瞧这个理论是否是宇宙的可行解。

  19. junbao 说:

    I wrote a ‘joke’ in the mathematics board of some bbs and said that F4 is useless in physics. Hehe.

  20. instanton 说:

    关于Cartan子群及极大对易子群:这两者通常不是相同的。准确地说,Cartan子群是由最大的由半单元构成的交换子代数生成的,而最大的交换子代数通常是幂零元生成的。比如SU(4),其极大对易子群的李代数维数为4,而秩等于3。

  21. haha 说:

    sina 跟风很快,马上把泰晤士报的这篇文章搞过来了

    中文版本:冲浪爱好者宣称破解爱因斯坦未解物理难题
    http://tech.sina.com.cn/d/2007-11-20/07161861236.shtml

  22. 奇遇 说:

    lisi到底是什么意思啊?谁来解释一下。

  23. xexz 说:

    彻底不懂:(

    想请教一下李老师:

    这个人的意思是不是说用不同的粒子物理的实验数据可以画成不同的几个小‘表格’,把它们和在一起画就是个大‘表格’的意思?所以就TOE了?

  24. 李淼 说:

    xexz:

    大概是这个意思。

  25. adam 说:

    Sidney Coleman去世了,呜呜

  26. 李淼 说:

    adam:

    听说了。 Coleman是这个领域少有阐释家,智者。

    据说他已经好几年不认识人了。

  27. someone 说:

    請教李老師:
    例外群是確實只有5個,還是目前只找到5個?如果確實只有5個,是何人何時證明的?
    什麼書上有介紹例外群的?請推薦一兩本,最好是中文,不行的話就英文。

  28. someone 说:

    其實我覺得這位Lisi跟Penrose是一路貨,完全不顧物理意義,閉門造車,拿數學往上面硬湊,頗有削足適履之韻味。

  29. 李淼 说:

    someone:

    单李群的例外群只有五个,我文中说,是Killing先证明的。我还真不知道哪本书例外群讨论得好。

发表评论

电子邮件地址不会被公开。 必填项已被标记为 *

*

您可以使用这些 HTML 标签和属性: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

重要! 为了防止spam,请在下面输入正确答案才能提交
6 + 8 等于多少?
Please leave these two fields as-is: