[論文レビュー] On the topology of projective subspaces in complex Fermat varieties

Alex Degtyarev, Ichiro Shimada|arXiv (Cornell University)|May 19, 2014

Algebraic Geometry and Number Theory参考文献 8被引用数 4

ひとこと要約

本稿は、偶数次元 $n=2d$ かつ次数 $m>2$ の複素フェルマー多様体の中間ホモロジーにおける標準的 $d$-次元射影的部分多様体の類が生成する部分群 $ω_{\mathcal{K}}(X)$ の原始性について、組合せ論的基準を確立する。ローレン卜多項式環、組合せ論的多項式 $\psi_J$ および $\rho_J$ で定義されるイデアル、および素数を法とする還元を用いて、原始性が特定の商環の複素次元と mod-$p$ 次元が等しいことに帰着されることを示し、$(n,m) = (4,m)$（$3\leq m\leq 12$）および $(6,3)$, $(6,4)$, $(6,5)$, $(8,3)$ などのいくつかのケースについて計算的検証が可能になる。主たる貢献は、組合せ論的不変量を用いた明確な代数的位相的原始性基準の確立である。

ABSTRACT

Let X be the complex Fermat variety of dimension n=2d and degree m>2. We investigate the submodule of the middle homology group of X with integer coefficients generated by the classes of standard d-dimensional subspaces contained in X, and give an algebraic (or rather combinatorial) criterion for the primitivity of this submodule.

研究の動機と目的

• 複素フェルマー多様体の次元 $n=2d$ かつ次数 $m>2$ における中間ホモロジー $H_n(X)$ に含まれる標準的 $d$-次元部分多様体によって生成される部分群 $ω_{\mathcal{K}}(X)$ が原始的である条件を特定すること。
• $n=2$（フェルマー表面）における既知の原始性結果を、偶数次元 $n=2d$ の高次元フェルマー多様体へ拡張すること。
• ローレン卜多項式環におけるイデアルと商環の構造に基づいた、原始性に関する代数的・組合せ論的基準を提供すること。
• $\mathbb{F}_p$ 上のグレブナー基底と複素次元を用いた計算的手法を確立し、原始性を検証すること。

提案手法

• 部分モジュール $\mathcal{L}_{\mathcal{K}}(X) \subset H_n(X)$ を、分割 $J \in \mathcal{J}$ と単位根 $\beta \in \mathcal{B}$ でパrameter化される標準的 $d$-次元空間 $L_{J,\beta}$ のホモロジー類によって生成する。
• フェルマー方程式とインデックス集合のペアリング構造から導かれる、$\mathbb{Z}[t_1,\dots,t_{n+1}]$ 内の組合せ論的多項式 $\psi_J$ および $\rho_J$ を導入する。
• 環 $R = \mathbb{Z}[t_1^\pm,\dots,t_{n+1}^\pm]/(t_0\cdots t_{n+1}-1, t_i^m-1)$ および $\overline{R} = R/(\phi(t_0),\dots,\phi(t_{n+1}))$（ただし $\phi(t) = t^{m-1} + \cdots + 1$）を構成し、商モジュール $R/(\psi_J \mid J \in \mathcal{K})$ および $\overline{R}/(\rho_J \mid J \in \mathcal{K})$ を定義する。
• ホモロジー群 $H_n(X)/\mathcal{L}_{\mathcal{K}}(X)$ の torsion が、商環 $\overline{R}/(\rho_J \mid J \in \mathcal{K})$ の torsion と同型であることを証明し、位相的原始性の障害を代数的不変量と関連付ける。
• 次数 $m$ の素因数 $p$ を法として還元し、$\dim_{\mathbb{F}_p}(\overline{R}/(\rho_J \mid J \in \mathcal{K}) \otimes \mathbb{F}_p)$ をグレブナー基底計算を用いて計算し、複素次元 $\dim_{\mathbb{C}}(\overline{R}/(\rho_J \mid J \in \mathcal{K}) \otimes \mathbb{C})$ と比較する。
• すべての $m$ の素因数 $p$ に対して、これらの次元が等しいとき、かつそのときに限り、$\mathcal{L}_{\mathcal{K}}(X)$ が $H_n(X)$ 内で原始的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 複素フェルマー多様体の次元 $n=2d$ かつ次数 $m>2$ における中間ホモロジー $H_n(X)$ に含まれる標準的 $d$-次元部分多様体によって生成される部分群 $\mathcal{L}_{\mathcal{K}}(X)$ が、どのような条件下で原始的か。
• RQ2 $\mathcal{L}_{\mathcal{K}}(X)$ の原始性は、ローレン卜多項式環におけるイデアルを用いた代数的または組合せ論的基準によって特定可能か。
• RQ3 素数を法とする還元とグレブナー基底技術を用いた計算的手法により、原始性を検証可能か。
• RQ4 与えられた $\mathcal{K} \subset \mathcal{J}$ に対して、$\mathcal{L}_{\mathcal{K}}(X)$ の原始性は、$\mathcal{K}$ に含まれる分割の組合せ論的構造のみに依存するか。
• RQ5 どの次元 $n=2d$ と次数 $m$ に対して、全モジュール $\mathcal{L}(X)$ が $H_n(X)$ 内で原始的か。

主な発見

• 商群 $H_n(X)/\mathcal{L}_{\mathcal{K}}(X)$ の torsion は、商環 $\overline{R}/(\rho_J \mid J \in \mathcal{K})$ の torsion と同型であり、原始性の障害となる位相的要因を代数的に特徴づける。
• $\mathcal{L}_{\mathcal{K}}(X)$ が $H_n(X)$ 内で原始的であることは、すべての $m$ の素因数 $p$ に対して、複素次元 $d_0 = \dim_{\mathbb{C}}(\overline{R}/(\rho_J \mid J \in \mathcal{K}) \otimes \mathbb{C})$ と mod-$p$ 次元 $d_p = \dim_{\mathbb{F}_p}(\overline{R}/(\rho_J \mid J \in \mathcal{K}) \otimes \mathbb{F}_p)$ が等しいことに同倣する。
• すべての $n=2d$ および $m$ に対して、$d_0 = d_p$ がすべての $m$ の素因数 $p$ に対して成り立つ場合、全モジュール $\mathcal{L}(X)$ は $H_n(X)$ 内で原始的である。このことは、$(n,m) = (4,m)$（$3 \leq m \leq 12$）および $(6,3), (6,4), (6,5), (8,3)$ の場合に計算的に確認された。
• $\mathcal{K} = \{J_0\}$ で $J_0 = [[0,1],[2,3],\dots,[n,n+1]]$ の特殊ケースに対して、部分モジュール $\mathcal{L}_{\{J_0\}}(X)$ は $H_n(X)$ 内で原始的である。これは、$n=2$ の場合に既知の結果を高次元へ拡張するものである。
• インデックス $2s+1$ よりも大きい部分に固定された分割の集合 $\mathcal{J}_s$ に対する $\mathcal{L}_{\mathcal{J}_s}(X)$ の構造は、テンソル積 $\overline{\mathcal{C}}_{\mathcal{J}(2s)}(2s) \otimes_{\mathbb{Z}} \overline{S}(s,d)$ として分解され、原始性が次元 $n=2s$ の低次元ケースに依存することを示している。
• この基準により、$\mathbb{F}_p[t_1,\dots,t_{n+1}]$ 上のグレブナー基底計算を用いた原始性の計算的検証が可能となり、上記のケースについてこの方法で原始性が確認された。