[論文レビュー] Twistor property of GKZ-hypergeometric systems

Takuro Mochizuki|arXiv (Cornell University)|Jan 17, 2015

Polynomial and algebraic computation参考文献 36被引用数 20

ひとこと要約

この論文は、鏡対称性において重要な役割を果たす、良好に振る舞うGKZ超幾何系が自然に混合twistor D-加群構造を備えていることを確立する。これにより、その押し出しおよび特化の研究が可能になる。主な結果は、これらの系とねじれたde Rham複体の明示的同型写像が得られ、局所的鏡対称性における混合TEP構造の新たな同型写像が導かれる。

ABSTRACT

We study the mixed twistor D-modules associated to meromorphic functions. In particular, we describe their push-forward and specialization under some situations. We apply the results to study the twistor property of a type of GKZ-hypergeometric systems, and to study their specializations. As a result, we obtain some isomorphisms of mixed TEP-structures in the local mirror symmetry.

研究の動機と目的

• より良好に振る舞うGKZ超幾何系が自然に混合twistor D-加群構造を備えることを確立すること。
• meromorphic関数に関連する混合twistor D-加群の押し出しおよび特化を研究すること。
• これらの結果を応用し、局所的鏡対称性の文脈における混合TEP構造の新たな同型写像を明らかにすること。
• ねじれたde Rham複体およびeR加群を用いた幾何的・代数的記述により、これらの系を記述すること。
• GKZ系と混合twistor理論の文脈におけるねじれたGauss-Manin接続との関係を明確にすること。

提案手法

• 複素多様体上の整数的混合twistor D-加群に実構造を備えた枠組みを用いる。
• eR加群（例：eRCm）の理論を適用し、パラメータ空間をねじった拡張した空間でGKZ超幾何系を定義および分析する。
• 微分作用素によって生成されるイデアルによる自由加群の商として、eRCm加群 MGKZ(A, Γ, β) を構成する。
• 相対的de Rham複体と接続 d + d(λ⁻¹FA) − κ(β) を介して MGKZ とねじれたde Rham複体を関係付ける。
• これらの複体の射影による高次直接像の間の同型写像を確立する。
• 混合twistor D-加群の導来圏における特化および押し出しファンクターを用い、幾何的およびコhomological性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのGKZ超幾何系が自然に混合twistor D-加群構造を備えているか？
• RQ2 meromorphic関数に関連する混合twistor D-加群に対して、押し出しおよび特化ファンクターはどのように作用するか？
• RQ3 eR加群の文脈において、GKZ系とねじれたde Rham複体との正確な関係は何か？
• RQ4 GKZ系における混合twistor構造は、局所的鏡対称性における混合TEP構造の新たな同型写像を導くことができるか？
• RQ5 GKZ_eR(A, Γ, β) が、イデアルによる eRCm の商として記述可能となる条件は何か？

主な発見

• 良好に振る舞うGKZ超幾何系において、eRCm加群構成により混合twistor D-加群構造が自然に実現される。
• MGKZ(A, K(A), β) と高次直接像 Rⁿπ̃ₐ∗C•(A, β)• の間に自然な同型写像が存在し、この系がねじれたde Rhamコホモロジーと関係づけられる。
• 同様に、MGKZ(A, K(A)◦, β) は Rⁿπ̃ₐ∗C•(A, β)◦ に同型であり、この対応は正則の場合にまで拡張される。
• Γ = Z≥₀A + c₀ のとき、GKZ_eR(A, Γ, β) は GKZord_eR(A, β − c₀) に同値であり、MGKZ ≃ eRCm / I(A, β − c₀) が成り立つ。
• MGKZ(A, Γ₁, β) → MGKZ(A, Γ₂, β) の写像は、積 ∏(λ∂xj)ᵇʲ による乗法によって誘導される加群写像に対応する。
• K(A) = Z≥₀A かつ β = 0 の場合、MGKZ(A, K(A), 0) ≃ eRCm / I(A, 0) が成り立ち、同様に β = −c₁ の正則の場合にも同様の同型が成り立つ。