[論文レビュー] A generalization of a theorem of G. K. White

Victor V. Batyrev, Johannes Hofscheier|arXiv (Cornell University)|Apr 20, 2010

graph theory and CDMA systems参考文献 10被引用数 5

ひとこと要約

本稿は、G. K. Whiteの1964年の3次元空格子単体に関する定理を、奇数次元 $ n = 2d-1 $ に一般化する。$ (2d-1) $ 次元の格子単体で、基本的codimension-1の facet を持ち、$ k=1,\dots,d-1 $ に対してその拡大 $ k\triangle $ に内部格子点をもたないものについて、アフィンユニモジュラー同型として $ d $ 個の1次元格子単体のカイレー多面体に同型であることを証明する。この分類により、最小対数不恰好度が $ d $ 以上である $ 2d $ 次元の孤立Gorenstein巡回商特異点の完全な記述が得られる。

ABSTRACT

An n-dimensional simplex Δ in \R^n is called empty lattice simplex if Δ\cap\Z^n is exactly the set of vertices of Δ. A theorem of G. K. White shows that if n=3 then any empty lattice simplex Δ\subset\R^3 is isomorphic up to an unimodular affine linear transformation to a lattice tetrahedron whose all vertices have third coordinate 0 or 1. In this paper we prove a generalization of this theorem for an arbitrary odd dimension n=2d-1 which in some form was conjectured by Sebő and Borisov. This result implies a classification of all 2d-dimensional isolated Gorenstein cyclic quotient singularities with minimal log-discrepancy at least d.

研究の動機と目的

• G. K. Whiteによる3次元空格子単体の分類を、任意の奇数次元 $ n = 2d-1 $ に拡張すること。
• 高次元の奇数次元において有限分類と構造的性質を保つために、「空」の適切な一般化を同定すること。
• 1次元格子単体のカイレー多面体を用いた、このような単体の構造的特徴づけを確立すること。
• この分類を、最小対数不恰好度が $ d $ 以上である $ 2d $ 次元の孤立Gorenstein巡回商特異点の分類問題に応用すること。

提案手法

• 頂点ベクトルが平行移動によって格子基底の一部をなすという性質を持つ、基本的格子単体の概念を導入する。
• $ h^* $-多項式と周期的ベルヌーイ関数を用いて、単体の拡大における格子点数を分析する。
• カイレー多面体 $ \triangle_1 * \cdots * \triangle_d $ を、$ \mathbb{R}^{d} \times \mathbb{R}^d $ 内の $ e_i \times \triangle_i $ の凸包として定義し、3次元構成の一般化を行う。
• $ (2d-1) $ 次元の格子単体で、基本的 facet を持ち、$ k=1,\dots,d-1 $ に対して $ k\triangle $ に内部格子点をもたないものについて、そのようなカイレー多面体に同型であることを証明する。
• ユニモジュラーアフィン変換と格子基底の議論を用いて、$ \triangle $ の頂点配置が $ a_{2i-1} + a_{2i} \equiv 0 \pmod{n} $ を満たすことを示し、カイレー分解を可能にする。
• 結果を巡回商特異点に応用する際、対数不恰好度の条件を、$ \sum \{ t a_i / n \} \geq d $ という分数部分の和に結びつける。この条件により、等式 $ d $ が強制される。

実験結果

リサーチクエスチョン

• RQ1 Whiteによる3次元空格子単体の分類を、より高い奇数次元に拡張することは可能か？
• RQ2 奇数次元において、有限性と構造的性質を保つために「空」の適切な一般化とは何か？
• RQ3 $ (2d-1) $ 次元の格子単体で、基本的 facet を持ち、$ k=1,\dots,d-1 $ に対して $ k\triangle $ に内部点をもたないものは、$ d $ 個の1次元単体のカイレー多面体に同型であるか？
• RQ4 この分類は、次元 $ 2d $ の孤立Gorenstein巡回商特異点の最小対数不恰好度とどのように関係するか？
• RQ5 重み $ a_i/n $ にどのような条件を課すと、最小対数不恰好度が $ d $ 以上になるか？

主な発見

• $ (2d-1) $ 次元の格子単体で、基本的codimension-1の facet を持ち、$ k=1,\dots,d-1 $ に対して $ k\triangle $ に内部格子点をもたないものは、$ d $ 個の1次元格子単体のカイレー多面体 $ \triangle_1 * \cdots * \triangle_d $ にアフィンユニモジュラー同型である。
• 拡大における内部格子点の不在とカイレー多面体構造との同倣関係は、すべての奇数次元 $ n = 2d-1 $ に対して成り立ち、Whiteの3次元結果を一般化する。
• この分類により、最小対数不恰好度が $ d $ 以上である $ 2d $ 次元の孤立Gorenstein巡回商特異点は、同型を除いて完全に記述できる。
• このような特異点に対しては、すべての $ t = 1,\dots,n-1 $ に対して $ \sum_{i=1}^{2d} \{ t a_i / n \} = d $ が成り立つ。これは対数不恰好度の要請から導かれる条件である。
• 証明は、すべての $ t $ に対して $ \sum \{ t a_i / n \} \geq d $ が成り立つと、対称性 $ t \mapsto n-t $ により等式 $ d $ が強制されることに依拠しており、これにより $ a_{2i-1} + a_{2i} \equiv 0 \pmod{n} $ のペアリングが生じる。
• 単体の頂点配置は、ユニモジュラーアフィン写像によって、$ \mathbb{R}^d $ 内の $ d $ 個の線分のカイレー多面体として実現される標準形に変換可能である。