[論文レビュー] On logarithmic solutions of A-hypergeometric systems

Alan Adolphson, Steven Sperber|arXiv (Cornell University)|Feb 20, 2014

Polynomial and algebraic computation参考文献 2被引用数 6

ひとこと要約

この論文は、$\hat{\imath}$-負のsupporth（支持）という概念を導入することで、A-超幾何的系における対数的解の存在条件を確立する。$v$ が最小負のsupporthと最小 $\hat{\imath}$-負のsupporthの両方を満たす場合、$G(\lambda)$ が $L_{v,\hat{\imath}}$ に含まれる支持を持つ形の準解 $F(\lambda)\log\lambda_i + G(\lambda)$ が存在することを証明する。これにより、このような解の明示的公式が得られ、ピカール＝フーチェ方程式への応用が可能になる。

ABSTRACT

For an $A$-hypergeometric system with parameter $β$, a vector $v$ with minimal negative support satisfying $Av = β$ gives rise to a logarithm-free series solution. We find conditions on $v$ analogous to `minimal negative support' that guarantee the existence of logarithmic solutions of the system and we give explicit formulas for those solutions. Although we do not study in general the question of when these logarithmic solutions lie in a Nilsson ring, we do examine the $A$-hypergeometric systems corresponding to the Picard-Fuchs equations of certain families of complete intersections and we state a conjecture regarding the integrality of the associated mirror maps.

研究の動機と目的

• A-超幾何的系に対して対数的解が存在する条件を同定すること。
• 個々の変数に対して、最小負のsupporthの概念を $\hat{\imath}$-負のsupporthに一般化すること。
• 支持が $L_{v,\hat{\imath}}$ に制御された明示的準解 $F(\lambda)\log\lambda_i + G_i(\lambda)$ を構成すること。
• このような解と完全交差のピカール＝フーチェ方程式との関係を検討すること。
• このような対数的解から得られる鏡写し写像の整数性に関する予想を提示すること。

提案手法

• 各 $i$ に対して、$v_j$ が負の整数であるような $j \neq i$ のインデックス集合として $\hat{\imath}$-負のsupporth を定義する。
• 各 $\hat{\imath}$-負のsupporth を保つ関係の格子 $L_{v,\hat{\imath}}$ を導入する。
• 一変数関数 $f_z^{(k)}(t)$ が $\frac{d}{dt}f_z^{(k)} = f_z^{(k-1)}$ を満たすように再帰的構成法を用いて解を生成する。
• $\hat{\imath}$-負のsupporth 条件に基づいて得られる明示的公式を用いて準解を構成する。
• 具体的な例（完全交差のピカール＝フーチェ方程式を含む）にこの手法を適用する。
• 格子関係と $L_{v,\hat{\imath}}$ 内の支持制約を用いて、準解の条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 A-超幾何的系に対して、$F(\lambda)\log\lambda_i + G(\lambda)$ の形の準解が存在するための $v$ に関する条件は何か？
• RQ2 $\hat{\imath}$-負のsupporth 条件は、古典的な最小負のsupporth 条件をどのように一般化するか？
• RQ3 このような準解における $G(\lambda)$ 成分の明示的構造は何か？
• RQ4 これらの対数的解は、完全交差のピカール＝フーチェ方程式とどのように関係するか？
• RQ5 与えられた解に対して、鏡写し写像 $\exp(G_i(\lambda)/F(\lambda))$ は整数的か？

主な発見

• $v$ が最小負のsupporth と最小 $\hat{\imath}$-負のsupporth の両方を満たすならば、$G(\lambda)$ が $L_{v,\hat{\imath}}$ に含まれる支持を持つ形の準解 $F(\lambda)\log\lambda_i + G(\lambda)$ が存在する。
• $G(\lambda)$ の支持は、$L_{v,\hat{\imath}}$ に含まれることを明示的に特徴づけ、格子構造と整合性を持つことが保証される。
• $D_4$-構成の例では、$G_j^{(1)}(\lambda)$ の明示的公式が導出され、$G_0^{(1)}$ は $3l+3m$ 項の調和和を含む。
• $M=1, N_1=4$ の例では、$G_4^{(1)}(\lambda)$ に負の $m$ に対する非自明な和が含まれており、より複雑な構造を示している。
• $D_4$ の場合、$j=0,\dots,6$ に対して、Krattenthaler-Rivoal の結果により、$\exp(G_j^{(1)}(\lambda)/F(\lambda))$ の整数性が確認された。
• 第二の例における $j=4$ の場合、整数性は未解決のままであるが、Delaygue の研究から導かれる可能性がある。