[論文レビュー] Regular algebraic surfaces isogenous to a higher product constructed from group representations using projective planes

Nathan Barker, Nigel Boston+2 more|arXiv (Cornell University)|Sep 27, 2011

Geometric and Algebraic Topology参考文献 7被引用数 6

ひとこと要約

本稿では、特殊な提示を持つ無限群に由来する有限 p-群の最大 p-商として、有限射影平面に関連する特別な提示を持つ無限群の極大 p-商から得られる、混合でない分岐構造を導出し、より高い積に同型な正則代数的曲面を構成する。MAGMA を用いて、13生成子群（関係式 $x_i^3, x_i x_{i+1} x_{i+4}$）と多面体提示群から得られる p-群においてこのような構造を同定し、$p_g = 0$ かつ $q = 0$ の一般型の正則曲面の新しい例を導出する。主な貢献は、射影平面を通じた群表現と、分岐構造を通じた曲面への一貫した構成法の確立である。

ABSTRACT

Regular algebraic surfaces isogenous to a higher product of curves can be obtained from finite groups with ramification structures. We find unmixed ramification structures for finite groups constructed as p-quotients of particular infinite groups with special presentations related to finite projective planes.

研究の動機と目的

• 特殊な提示を持つ無限群から得られる有限 p-群を用いて、より高い積に同型な正則曲面の分類を拡張し、新しい例を構成すること。
• 有限射影平面に関連する特殊な提示を持つ群が、このような曲面を構成するために必要な混合でない分岐構造を有する有限群を生じるかどうかを調査すること。
• さまざまな素数 p に対して、p-クラス k の最大 p-商における混合でない分岐構造を探索するための計算フレームワーク（MAGMA を用いる）を提供すること。
• 元々の 2-群に基づく構成法を、13生成子群と多面体提示群を含む新しい群の族へ一般化すること。
• 1 つの主要な群に対して、$\mathrm{GL}(9,\mathbb{F}_3(1/Y))$ における行列表現を提供することで、将来的な計算的・代数的解析を容易にすること。

提案手法

• 著者たちは、$\mathbb{F}_3$ 上の有限射影平面に関連する特殊な提示を持つ無限群を用い、特に 13 生成子群 $G = \langle x_0,\dots,x_{12} \mid x_i^3, x_i x_{i+1} x_{i+4} \text{ for } i \in \mathbb{Z}_{13} \rangle$ を例に挙げる。
• さまざまな素数 p に対して、特に p-クラス k の 3-群に注目し、p-クラス k の最大 p-商を計算することで、分岐構造解析に適した有限群を得る。
• 計算代数システム MAGMA を用いて、これらの p-群における互いに素な球面的生成系（すなわち、混合でない分岐構造）を探索する。
• このような構造の存在は、群 G が曲線の積 $C_1 \times C_2$ 上に自由作用することを保証し、一般型の曲面 $S = (C_1 \times C_2)/G$ を得る。
• 虚数性の消失（$q=0$）により $C_i/G \cong \mathbb{P}^1$ となることから、分岐構造は球面的かつ互いに素でなければならない。
• 13 生成子群の行列表現を、$\mathbb{F}_{27}(Y)$ 上の除法代数を用いて $\mathrm{GL}(9,\mathbb{F}_3(1/Y))$ に構成し、生成子を共轭作用素として実現する。

実験結果

リサーチクエスチョン

• RQ1 特殊な提示（有限射影平面に関連）を持つ無限群から得られる有限 p-群が、より高い積に同型な正則曲面を構成するために必要な混合でない分岐構造を有するか。
• RQ2 13 生成子群 $G = \langle x_0,\dots,x_{12} \mid x_i^3, x_i x_{i+1} x_{i+4} \rangle$ 及びその部分群が、MAGMA を用いた分岐構造探索によって、このような曲面の新しい例を生じるか。
• RQ3 先行研究で 2-群に用いられた手法が、奇数の素数、特に p=3 に対して、p-クラス k の p-商を用いて一般化可能か。
• RQ4 13 生成子提示を持つ群 $G$ の代数的構造は何か。また、パラメータ Y を含む体上の行列群に忠実な表現が可能か。
• RQ5 これらの群の群論的性質（例えば、極小無限性、特別な提示）が、分岐データの存在および構造にどのように影響するか。

主な発見

• 著者たちは、13 生成子群 $G$ の最大 3-商（p-クラス k）において、混合でない分岐構造を成功裏に同定し、より高い積に同型な正則曲面の存在を確認した。
• 13 生成子提示を持つ群 $G$ は、$\mathbb{F}_3$ 上の射影平面に関連する特別な提示を持つ群と同型であり、その p-商は必要な分岐データを有する有限群を生じる。
• $\mathrm{GL}(9,\mathbb{F}_3(1/Y))$ における $G$ の忠実な行列表現が構成され、将来的な群およびその商の計算的・代数的解析のためのツールが提供された。
• 本構成法により、$p_g = 0$ かつ $q = 0$ の一般型の正則曲面が得られ、これまでに知られていた場合を越えて、このような曲面の分類が拡張された。
• 従来の 2-群に基づく構成法を奇数の素数へ一般化する手法が示され、射影平面関連提示から得られる p-群に対しても同様の技法が適用可能であることが示された。
• 付録では、$\mathbb{F}_{27}(Y)$ 上の除法代数における共轭作用素としての群 $G$ の表現が提供され、$x_0$ および $\tau$ の明示的行列が与えられ、関係式のアルゴリズム的検証が可能になっている。