[論文レビュー] The Leech lattice and other lattices

Richard E. Borcherds|ArXiv.org|Nov 24, 1999

Coding theory and cryptography参考文献 9被引用数 47

ひとこと要約

この論文は、26次元の偶数未単型ローレンツ型格子 $II_{25,1}$ を用いて、リーク格子の被覆半径 √2 の概念的証明を提供し、$II_{25,1}$ 内の負ノルムベクトルの軌道を分類し、マーモス・リー代数におけるノルム $-2$ ベクトルの重複度を導出する。主な結果として、ノルム $-2$ ベクトルの軌道が121個、ノルム $-4$ ベクトルの軌道が665個であり、これらは25次元の未単型格子と関連している。

ABSTRACT

This is an unpublished manuscript written in 1983-4. It contains several results about lattices (=integral quadratic forms) including the classification of the unimodular lattices in dimensions up to 25 and the construction of unimodular lattices with no roots in dimensions 26 and 27.

研究の動機と目的

• リークの予想である『リーク格子の被覆半径は √2 である』を、長大な計算手法を避けた概念的証明を提供すること。
• $II_{25,1}$ の自己同型群の下での、26次元の偶数未単型ローレンツ型格子 $II_{25,1}$ 内の負ノルムベクトルのすべての軌道を分類すること。
• $II_{25,1}$ 内のノルム $-4$ ベクトルと25次元の正定値未単型格子との間の対応関係を確立すること。
• 表現論的技法を用いて、マーモス・リー代数におけるノルム $-2$ ベクトルの根としての重複度を計算すること。
• $II_{25,1}$ の幾何とそのワイルチャネルを用いたリーク格子の構成を統合・一般化すること。

提案手法

• $II_{25,1}$ を根系とベクトルの軌道を研究する基盤構造として用いる。
• モジュラー形式とシータ関数を用いて、25次元および26次元の未単型格子の構造を分析する。
• $II_{25,1}$ のワイルベクトルとディンキン図を用いて、リーク格子とノルム2のベクトルの幾何を関連付ける。
• 反対写像と根系の分解を用いて、$II_{25,1}$ 内のベクトルの自己同型群と軌道構造を分析する。
• 表現論を用いて、特にノルム $-2$ ベクトルに注目して、マーモス・リー代数における根の重複度を計算する。
• 分類問題を、高さとディンキン図のデータを用いた $u^ot$ 部分格子における射影と内積の分析に還元する。

実験結果

リサーチクエスチョン

• RQ1 リーク格子の被覆半径は何か？ また、$II_{25,1}$ の幾何を用いて、それが概念的に証明可能か？
• RQ2 $II_{25,1}$ の自己同型群の下で、ノルム $-2$ および $-4$ ベクトルの軌道はそれぞれいくつ存在するか？
• RQ3 ノルム $-2$ ベクトル $u$ がマーモス・リー代数における根としての重複度は何か？ これは $u$ の高さとディンキン図にどのように依存するか？
• RQ4 ノルム $-4$ ベクトルと対応する $II_{25,1}$ から、25次元の正定値未単型格子はどのように分類されるか？
• RQ5 ワイルベクトルと根系構造は、リーク格子と $II_{25,1}$ の自己同型群を結ぶ役割を果たすか？

主な発見

• リーク格子の被覆半径は √2 であり、$II_{25,1}$ 内にワイルベクトルが存在することによって概念的に証明された。
• ノルム $-2$ ベクトルの軌道は正確に121個であり、それぞれのディンキン図と高さによって分類されている。
• ノルム $-4$ ベクトルの軌道は正確に665個であり、それぞれが一意に25次元の正定値未単型格子に対応している。
• ノルム $-2$ ベクトル $u$ がマーモス・リー代数における根としての重複度は、$u$ の高さが1の場合は0、2の場合は276、それ以外の場合は324である。
• 表現論的計算により、関連する表現におけるゼロ重みの重複度は、ノルム $-1$ で $u$ と関連する単純根の集合における反対写像の固定点の数によって決定されることが示された。
• 高さ31、ディンキン図が $A_{15}D_8A_1$ のノルム $-2$ ベクトル $u$ に対して、重複度は324であり、一般式と整合的である。