[論文レビュー] On the integrality of factorial ratios and mirror maps

Alan Adolphson, Steven Sperber|arXiv (Cornell University)|Feb 22, 2018

Algebraic structures and combinatorial models参考文献 7被引用数 3

ひとこと要約

本稿は、A-超幾何的系と格子多面体を用いて、階乗比の整数性およびミラー写像係数の幾何的特徴付けを確立する。階乗比の整数性および関連するミラー写像級数の整数性が、系のデータから導かれるスケーリングされた多面体に内部格子点が存在しないことに同値であることを証明し、凸幾何学と超幾何理論を用いた統一的枠組みを提供する。

ABSTRACT

Landau has characterized the integrality of certain ratios of factorials. Delaygue has characterized the integrality of the Taylor coefficients of certain mirror maps constructed from series involving those ratios. Using the $A$-hypergeometric point of view, we express those characterizations in terms of the nonexistence of interior points in multiples of the associated lattice polytope.

研究の動機と目的

• 非負整数 mᵢ に対して、E(m₁,…,mᵣ) = ∏Cⱼ(m)! / ∏Dₖ(m)! の階乗比の整数性を特徴づけること。
• このような比から構成されるミラー写像のテイラー係数が整数となる条件を特定すること。
• A-超幾何理論と凸幾何学を用いて、Landau および Delaygue の階乗比およびミラー写像の整数性に関する結果を統一すること。
• 系に関連する格子多面体の倍数における内部格子点の非存在性という観点から、これらの整数性条件を表現すること。

提案手法

• 線形形式 Cⱼ および Dₖ に現れる係数 cⱼₛ および dₖₛ から導かれる特定のベクトルと原点の凸包として格子多面体 Δ(A) を定義する。
• A-超幾何的系理論を用いて、階乗比およびミラー写像係数の整数性を、スケーリングされた多面体 (J+r)Δ(A) および (J+r+1)Δ(A) の幾何的性質と関連付ける。
• 階乗比の整数性に関するLandauの基準を適用し、これは [0,1)ʳ 上でステップ関数 Φ(x) = ∑⌊Cⱼ(x)⌋ − ∑⌊Dₖ(x)⌋ が非負であることを確認することに帰着される。
• Φ(x) ≥ 0 がすべての x ∈ [0,1)ʳ に対して成り立つことと、(J+r)Δ(A) に内部格子点が存在しないことが同値であることを示す。
• Φ(x) ≥ 1 がすべての x ∈ 𝒟（Cⱼ(x) ≥ 1 または Dₖ(x) ≥ 1）に対して成り立つことと、∑ᵢ₌₁^{J+r} aᵢ が (J+r+1)Δ(A) の唯一の内部格子点であることが同値であることを証明する。
• A-超幾何的系における準解および最小負の台の理論を用いて、超幾何関数の対数微分の明示的級数を導出し、それらをミラー写像展開と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 格子多面体 (J+r)Δ(A) がどのような幾何的条件下に、すべての非負整数 mᵢ に対して階乗比 E(m₁,…,mᵣ) が整数となるか？
• RQ2 F(t) が整数係数を持つと仮定したとき、ミラー写像 exp(G_{Cⱼ}(t)/F(t)) のテイラー級数が整数係数であるのはいつか？
• RQ3 スケーリングされた多面体内に内部格子点が存在しないことと、超幾何級数およびその対数微分の整数性との間の正確な関係は何か？
• RQ4 ∑ᵢ₌₁^{J+r} aᵢ が (J+r+1)Δ(A) の唯一の内部格子点であるという事実が、ミラー写像係数の整数性を保証するのはなぜか？
• RQ5 解ベクトル v⁽⁰⁾ に対する最小負の台条件が、関連する超幾何級数の整数性とどのように関係しているか？

主な発見

• すべての mᵢ ∈ ℤ≥₀ に対して階乗比 E(m₁,…,mᵣ) が整数であることは、(J+r)Δ(A) に内部格子点が存在しないことに同値である。
• ミラー写像級数 exp(G_{Cⱼ}(t)/F(t)) および exp(G_{Dₖ}(t)/F(t)) が整数係数を持つことは、Φ(x) ≥ 1 がすべての x ∈ 𝒟 に対して成り立つことに同値であり、これは ∑ᵢ₌₁^{J+r} aᵢ が (J+r+1)Δ(A) の唯一の内部格子点であることに同値である。
• ベクトル v⁽⁰⁾ が i = n+1,…,n+r に対して最小 ̂i-負の台を持つことは、∑ᵢ₌₁^{J+r} aᵢ が (J+r+1)Δ(A) の唯一の内部格子点であることに同値であり、これにより対数微分の準解の存在が保証される。
• (J+r)Δ(A) は、内部格子点を含まない Δ(A) の最大の整数倍であり、(J+r+1)Δ(A) は常に ∑ᵢ₌₁^{J+r} aᵢ を内部格子点として含む。
• A-超幾何的系から得られる級数 G_{r+j₀}(λ) および G_{r+J+k₀}(λ) は、標準的特殊化のもとでそれぞれ (1.9) および (1.10) に特殊化され、抽象理論とミラー写像構成を結びつける。
• ∑ᵢ₌₁^{J+r} aᵢ が (J+r+1)Δ(A) の唯一の内部格子点であるという事実は、他の格子点が内部に存在しないことを意味し、これは対数微分の整数性、したがってミラー写像係数の整数性にとって不可欠である。