[論文レビュー] On a Relation between Spectral Theory of Lens Spaces and Ehrhart Theory

Hossein Mohades, B. Honari|arXiv (Cornell University)|Jan 17, 2016

Advanced Combinatorial Mathematics参考文献 18被引用数 3

ひとこと要約

この論文は、各ランプ空間に有理単体を関連させることで、ランプ空間のスペクトル理論とエーリヒト理論の間の接続を確立する。等スペクトル性は、拡大された多面体における格子点の数および関連するトーリック多様体上の線束の全切断の次元の等値を意味することを示す。主な貢献は、SO(n) の調和多項式表現を用いた、ラウレ、ミアテロ、ロッシェッティの等スペクトルランプ空間に関する定理の直接的証明である。

ABSTRACT

In this article Ehrhart quasi-polynomials of simplices are employed to determine isospectral lens spaces in terms of a finite set of numbers. Using the natural lattice associated with a lens space the associated toric variety of a lens space is introduced. It is proved that if two lens spaces are isospectral then the dimension of global sections of powers of a natural line bundle on these two toric varieties are equal and they have the same general intersection number. Also, harmonic polynomial representation of the group SO(n) is used to provide a direct proof for a theorem of Lauret, Miatello and Rossetti on isospectrality of lens spaces.

研究の動機と目的

• 等スペクトル性におけるランプ空間と有理多面体のエーリヒト理論との間の幾何学的・代数的ブリッジを確立すること。
• 各ランプ空間にその基本格子と有理単体を用いて自然なトーリック多様体を定義すること。
• 等スペクトルであるランプ空間は、関連するトーリック多様体上の自然な線束の k 次冪の全切断空間の次元が等しいことを証明すること。
• SO(n) の調和多項式表現を用いて、ランプ空間の等スペクトル性基準を直接証明すること。
• 表現論的手法を超えて、組合せ幾何学および代数幾何学と結びつけることで、等スペクトル性の理解を一般化すること。

提案手法

• 各ランプ空間の自然な格子構造を用いて、有理単体を関連付ける。
• この単体のエーリヒト準多項式を定義し、拡大されたコピーにおける格子点数を数える。
• 関連するファンと線束を用いて、単体に付随するトーリック多様体を構成する。
• R^n 上の調和同次多項式を用いて、SO(n) の既約表現を実現し、スペクトル乗法度を計算する。
• ベルンシュタイン＝コーンシュタインの定理を適用し、トーリック多様体の次数を多面体の体積と関連付ける。
• 等スペクトル性が、拡大された多面体における格子点数の等値を意味することに着目し、線束の全切断の次元の等値を導く。

実験結果

リサーチクエスチョン

• RQ1 ランプ空間の等スペクトル性は、関連する有理単体のエーリヒト理論によって特徴付けられるか？
• RQ2 ランプ空間に自然なトーリック多様体が関連付けられ、等スペクトル性が自然な線束の冪の全切断空間の次元の等値と同値となるか？
• RQ3 ランプ空間の等スペクトル性基準は、SO(n) の調和多項式表現を用いて直接証明可能か？
• RQ4 関連するトーリック多様体上の線束の全切断は、ランプ空間のスペクトル不変量をどのように反映するか？
• RQ5 関連するトーリック多様体の交線数および次数を用いて、等スペクトルランプ空間を特徴づけられるか？

主な発見

• 2つのランプ空間が等スペクトルであれば、それらに付随するトーリック多様体上の自然な線束の k 次冪の全切断空間の次元は、すべての k ∈ ℕ に対して等しい。
• 関連するトーリック多様体の次数は等しく、これはヒルベルト多項式の最高次の係数に由来し、それが有理単体の体積に対応する。
• ランプ空間に付随する単体のエーリヒト準多項式は、拡大されたコピーにおける格子点数を数え、これがスペクトルにおける固有値の乗法度に直接対応する。
• ラウレ、ミアテロ、ロッシェッティによる等スペクトル性基準の証明が、SO(n) の調和多項式表現を用いて再構成され、直接的な代数幾何的議論が得られた。
• ランプ空間に付随するトーリック多様体上の自然な線束の全切断の次元は、k におけるエーリヒト準多項式の値として与えられる。
• トーリック多様体の一般交線数は等スペクトル性のもとで保存され、これは次元が最大の交線数がスペクトル同値のもとで不変であることに反映される。