主题
Search

李奇格


一个 24 维欧几里得格。李奇格模 2 中心的一个自同构导致康威群 Co_1。一维和二维子格的稳定化导致康威群 Co_2Co_3Higman-Sims 群 HSMcLaughlin 群 McL

Higman-Sims 图McLaughlin 图 都可以通过在李奇格中选取特定的三角形来构建,将图的顶点作为与每个三角形顶点一定距离的格点,如果它们之间相隔一定距离,则通过边连接顶点(Conway 和 Sloane 1993;Gaucher 2013;Brouwer 和 van Maldeghem 2022,第 303 页和 338 页)。在 2300 个顶点上的康威图也可以从李奇格构建(Brouwer 和 van Maldeghem 2022,第 365-366 页)。

李奇格似乎是 24 维中最密集的超球堆积,并且导致每个超球接触 196560 个其他超球。李奇格中范数为 n 的向量数由下式给出

 theta(n)=(65520)/(691)[sigma_(11)(n)-tau(n)],
(1)

其中 sigma_(11)除数函数,给出 n除数的 11 次方之和,tau(n)tau 函数(Conway 和 Sloane 1993,第 135 页)。n=1、2、... 的前几个值是 0、196560、16773120、398034000、... (OEIS A008408)。这是李奇格的 theta 函数是权重为 12 的模形式且没有范数为 2 的向量的直接结果。

theta(n) 具有 theta 级数

f(q)=[E_4(q)]^3-720q^2product_(m=1)^(infty)(1-q^(2m))^(24)
(2)
=[E_4(q)]^3-720q^2(q^2,q^2)_infty^(24)
(3)
=[1+240sum_(m=1)^(infty)sigma_3(m)q^(2m)]^3-720q^2product_(m=1)^(infty)(1-q^(2m))^(24)
(4)
=1+196560q^4+16773120q^6+3980034000q^8+...,
(5)

其中 E_4(q)Eisenstein 级数,它是 E_8 格的 theta 级数(OEIS A004009),(a,q)_inftyq-Pochhammer 符号f(q) 可以用 Jacobi 椭圆函数的闭合形式写成

 f(q)=1/8[theta_2^8(q)+theta_3^8(q)+theta_4^8(q)]-(45)/(16)theta_2^8(q)theta_3^8(q)theta_4^8(q).
(6)

李奇格的属性在 Wolfram 语言 中实现为LatticeData["Leech", prop].


参见

Barnes-Wall 格, 康威图, 康威群, Coxeter-Todd 格, Eisenstein 级数, Higman-Sims 图, Higman-Sims 群, 超球, 超球堆积, 亲吻数, McLaughlin 图, McLaughlin 群, Tau 函数, Theta 级数

使用 Wolfram|Alpha 探索

参考文献

Brouwer, A. E. 和 van Maldeghem, H. 强正则图。 英国剑桥:剑桥大学出版社,2022 年。Conway, J. H. 和 Sloane, N. J. A. "24 维李奇格 Lambda_(24)," "李奇格的表征," "李奇格的覆盖半径," "李奇格的 23 种构造," "李奇格的细胞," 和 "李奇格的洛伦兹形式。" 第 4.11 节,第 12 章,和第 23-26 章,在 球堆积、格与群,第 2 版。 纽约:施普林格出版社,第 131-135 页,331-336 页,和 478-526 页,1993 年。Gaucher, A. P. "李奇格。" https://cp4space.hatsya.com/2013/09/12/leech-lattice/. 2013 年 9 月 12 日。Leech, J. "球堆积注释。" 加拿大数学杂志 19, 251-267, 1967 年。Sloane, N. J. A. 序列 A008408A004009/M5416,在 "整数序列在线百科全书" 中。Wilson, R. A. "李奇格群的向量稳定器和子群。" 代数杂志 127, 387-408, 1989 年。

在 Wolfram|Alpha 中引用

李奇格

引用为

Weisstein, Eric W. "李奇格。" 来自 MathWorld--Wolfram 网络资源。 https://mathworld.net.cn/LeechLattice.html

主题分类