主題
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 級數

使用 探索

參考文獻

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 年。

在 中引用

李奇格

引用為

Weisstein, Eric W. "李奇格。" 來自 網路資源。 https://mathworld.tw/LeechLattice.html

主題分類