虑这个新群该怎么命名。那个命名逻辑还是要遵循su(n)范式,对吧?”鲁承泽再次感觉受到了一千点暴击。
还真是好特么幸福的烦恼……
当然这也符合数学界的传统。发明者拥有命名权。
“新群的数学性质?”消化情绪后,鲁承泽问了句。
“经典西群u(n)的非对易扩展,所以可以理解为是个量子化的李群。”
鲁承泽觉得有点意思,站起来凑到乔源的电脑前看了眼。
看到的不是论文,是之前乔源的草稿。
titj=q-tjti+
“生成元之间乘法满足q-交换关系。”
乔源开口解释了几句:“如果q→1,群就会退化到经典u(n)结构,不等于1的时候,群的乘法结构就会量子化。”“那不如就叫qu(n)群吧,q既可以代表你的姓氏,也能代表量子quantu。
这样大家看了就能理解它为什么能比经典su(n)群更深刻地描述了量子领域的几何结构。”鲁承泽给出了建议。
乔源想了想,随后猛地点了点头,扭过头冲着鲁承泽比出一根大拇指:“师兄,之前还真没发现你取名还挺有一套的。我刚才还在纠结要不要干脆直接用e8特例命名呢。毕竟当n趋近于无穷时,这个结构会自然收敛到e8的某个子群。所以我也在想要不要直接叫e8算了,一步到位。不过你这么一解释,还是qu(n)比较好。”鲁承泽点了点头,虽然新群是乔源发明的,但采纳了他的命名建议。
他决定把这个事情给完整记录下来,以后也出本书,讲出来。
这样若干年后会成为数理学界一个脍炙人口的小故事。
很多大数学家,都有这样的小故事传世。
虽然用e8更能彰显乔源的野心。但qu(n)在这个节点,更有意义。
随后鲁承泽就看着乔源直接切换到了论文界面,开始敲打键盘。
“我定义量子西群qu(n)为经典西群u(n)在复形变参数q=c&215;下的非对易扩展。其代数结构由满足q-交换关系的生成元{ti}所张成的霍普夫代数aq(u(n))确定……”真的,当看到乔源直接敲出“we defe”这两个单词的时候,鲁承泽感慨万分。这两个单词用在论文里还真是……霸气啊!
换了他大概只会选择“letdefe”这种更柔和的表述方式。
年轻真好!