[論文レビュー] Equalities, congruences, and quotients of zeta functions in Arithmetic Mirror Symmetry

C. Douglas Haessig|ArXiv.org|Jan 8, 2005

Graph theory and applications参考文献 4被引用数 4

ひとこと要約

この論文は、[2]の算術的ミラー定理を拡張し、有限体上でのCalabi–Yau超曲面 $X_\lambda$ 及びそのミラー $Y_\lambda$ のゼータ関数について、合同および等式に関する結果を証明する。$\gcd(n+1, q^k - 1) = 1$ のとき、$X_\lambda$ および $Y_\lambda$ の $\mathbb{F}_{q^k}$-有理点の数は等しい。$\gcd$ が1より大きいとき、両方の点数はそれぞれ $d$ および $\ell d$ を法として特定の合同条件を満たし、$Y_\lambda$ の点数は $\psi^{n+1} = 1$ かどうかに依存する。これらの結果から、両者のゼータ関数の商が整数係数をもち、特定の純粋性の性質を持つ有理関数であることが導かれる。

ABSTRACT

In this paper, we partially extend recent results of Wan concerning the relationship between the zeta functions of a Calabi-Yau hypersurface and its (singular) mirror variety.

研究の動機と目的

• 「$\gcd(n+1, q^k - 1) > 1$」である場合に、[2]の算術的ミラー定理を拡張すること。
• 有限体上でのミラーペア $X_\lambda$ および $Y_\lambda$ のゼータ関数の商を分析すること。
• 根の単位根が底体に存在する場合の、$X_\lambda$ および $Y_\lambda$ の $\mathbb{F}_{q^k}$-有理点の数に対する合同関係を確立すること。
• $(n+1) \mid q-1$ の条件がなくても、ゼータ関数の商が整数係数をもち、純粋性の性質を持つ有理関数であることを示すこと。
• 特定の条件下で、ゼータ関数の商が指定された重みおよび次数の既約多項式の積として表せることを示すこと。

提案手法

• ガウス和を用いて、$X_\lambda$ 及び $Y_\lambda$ の $\mathbb{F}_{q^k}$-有理点の数を特徴関数の和の形で表現する。
• 群 $G$ 及びその部分群の作用を用いて、対称性を持つ点を数える。自由作用の性質を利用して、$d = \gcd(n+1, q^k - 1)$ による整除性を導出する。
• 中国剰余定理を用いて、$n+1$ が素数べきのとき、$d$ および $\ell$ を法とした結果を統合する。
• 超曲面 $Y_\lambda$ 上の点を数える問題を、$\mathbb{A}^{n+1}$ 内の対称的系 $x_1 + \cdots + x_{n+1} = (n+1)\psi$ 及び $x_1 \cdots x_{n+1} = 1$ の解の数え上げに還元する。
• $\ell$ を法とした軌道数え上げを用いて、$N_\lambda^*$ において、すべての座標が等しい解のみが寄与することを示し、$\psi^{n+1} = 1$ の条件に到達する。
• ゼータ関数の関数等式および $Z(X_\lambda / \mathbb{F}_q, T)$ の構造を用いて、商が重み $n-3$ の既約多項式の積であることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、$X_\lambda$ と $Y_\lambda$ は $\mathbb{F}_{q^k}$-有理点を同じ数もつのか？
• RQ2 $d = \gcd(n+1, q^k - 1) > 1$ のとき、$X_\lambda$ および $Y_\lambda$ の点数は $d$ を法としてどのように振る舞うか？
• RQ3 ゼータ関数の商 $Z(X_\lambda / \mathbb{F}_q, T) / Z(Y_\lambda / \mathbb{F}_q, T)$ の構造は何か？ これは整数係数の多項式か？
• RQ4 ゼータ関数の商が多項式であるという結果において、条件 $(n+1) \mid q-1$ を取り除くことは可能か？
• RQ5 $n+1$ が素数 $\ell$ のべきであるとき、$\#Y_\lambda(\mathbb{F}_{q^k})$ は $\ell$ を法としてどのように合同するか？

主な発見

• $\gcd(n+1, q^k - 1) = 1$ のとき、$\#X_\lambda(\mathbb{F}_{q^k}) = \#Y_\lambda(\mathbb{F}_{q^k})$ が正確に成り立つ。
• $d = \gcd(n+1, q^k - 1) > 1$ のとき、$\#X_\lambda(\mathbb{F}_{q^k}) \equiv 0 \pmod{d}$ が成り立つ。
• $n+1 = \ell^m$（$\ell$ を素数とする）のとき、$\#X_\lambda(\mathbb{F}_{q^k}) \equiv 0 \pmod{\ell d}$ が成り立つ。
• $\lambda = -(n+1)\psi$ のとき、$\psi^{n+1} = 1$ ならば $\#Y_\lambda(\mathbb{F}_{q^k}) \equiv 1 \pmod{\ell}$、さもなければ $0$ である。
• 商 $\left( \frac{Z(X_\lambda / \mathbb{F}_q, T)}{Z(Y_\lambda / \mathbb{F}_q, T)} \right)^{(-1)^n}$ は、$Q_i \in 1 + T\mathbb{Z}[T]$ かつ純粋重み $n-3$ をもつ既約多項式 $Q_i(q^k T^k)^{\rho_i / k}$ の積である。
• 指数の和 $\rho_1 + \cdots + \rho_s$ は、$\frac{n(n^n - (-1)^n)}{n+1} - n$ に等しい。