[論文レビュー] Beauville surfaces and finite groups

Yolanda Fuertes, Gareth A. Jones|ArXiv.org|Oct 28, 2009

Finite Group Theory Research参考文献 10被引用数 4

ひとこと要約

本稿は、射影特殊線型群 $L_2(q)$、その準単純被覆 $SL_2(q)$、および関連するすべての素数べきについて、未混合型のボイルヴィル多様体の構成を拡張する。$q > 5$ のとき $L_2(q)$ および $SL_2(q)$ は強く実際のボイルヴィル構造を有し、実ボイルヴィル多様体をもたらすことが証明され、$Sz(2^e)$ および $R(3^e)$ についてすべての奇数 $e \geq 3$ に対してボイルヴィル構造が確立され、非アーベル有限単純群に対するボイルヴィル予想が裏付けられる。

ABSTRACT

Extending results of Bauer, Catanese and Grunewald, and of Fuertes and González-Diez, we show that Beauville surfaces of unmixed type can be obtained from the groups L_2(q) and SL_2(q) for all prime powers q>5, and the Suzuki groups Sz(2^e) and the Ree groups R(3^e) for all odd e>1. We also show that L_2(q) and SL_2(q) admit strongly real Beauville structures, yielding real Beauville surfaces, if and only if q>5.

研究の動機と目的

• 有限群の未混合ボイルヴィル構造を有する既知の族を拡張し、特に単純群および準単純群に対して行う。
• 非アーベル有限単純群のうち $A_5$ を除くすべてが未混合ボイルヴィル構造を有するという予想を、$L_2(q)$, $Sz(2^e)$, $R(3^e)$ に対して証明することで検証する。
• $L_2(q)$ および $SL_2(q)$ が $q > 5$ のとき強く実際のボイルヴィル構造を有することを示し、実ボイルヴィル多様体の存在を示す。
• 群論的および指標論的技法を用いて、ボイルヴィル構造の条件を満たす生成三つ組の明示的構成を提供する。
• $L_2(p)$ および $Sz(2^e)$ の既存の結果（$p$ が素数、$e$ が整数のとき）を、すべての素数べき $q = p^e$ および奇数 $e \geq 3$ に一般化する。

提案手法

• 商曲線の genus が 2 以上であることを保証するため、$x_i y_i z_i = 1$ を満たし、$l_i^{-1} + m_i^{-1} + n_i^{-1} < 1$ を満たす、各々の順序が $(l_i, m_i, n_i)$ の生成三つ組 $(x_i, y_i, z_i)$ を用いる。
• 命題 6.1 における指標論的公式を応用し、$xyz = 1$ の解の数を共轭類内で数え、生成三つ組の存在を保証する。
• ディクソンによる $L_2(q)$ の部分群の分類およびスズキおよびリの最大部分群の分類を活用し、適切な部分群に属する三つ組が存在しないことを排除する。
• 有限体上のトレース条件を用いて、$\mathbb{P}^1(F_q)$ における固定点に基づき、$L_2(q)$ の要素の位数を分類する。
• スズキ群およびリ群における奇数位数の自己中心化巡回部分群を用い、最初の三つ組の位数と互いに素な位数の三つ組を構成する。
• 位数の互いに素性および最大部分群解析により、二つの三つ組間のべきの非共轭性を検証する。

実験結果

リサーチクエスチョン

• RQ1 射影特殊線型群 $L_2(q)$ はすべての素数べき $q > 5$ に対してボイルヴィル構造を有するか？
• RQ2 $L_2(q)$ および $SL_2(q)$ に対して強く実際のボイルヴィル構造を構成でき、それに対応するボイルヴィル多様体が実多様体であることを保証できるか？
• RQ3 スズキ群 $Sz(2^e)$ はすべての奇数 $e \geq 3$ に対してボイルヴィル構造を有するか？これは、既存の $e$ が素数のときの結果を拡張する。
• RQ4 リ群 $R(3^e)$ はすべての奇数 $e \geq 3$ に対してボイルヴィル構造を有するか？
• RQ5 $Sz(2^e)$ および $R(3^e)$ に対して構成されたボイルヴィル構造は強く実際のものか？それとも生成子を反転する自己同型が存在しないか？

主な発見

• $L_2(q)$ はすべての素数べき $q > 5$ に対して未混合ボイルヴィル構造を有する。これは、$q$ が素数のときの既存の結果を拡張する。
• $SL_2(q)$ はすべての $q > 5$ に対して強く実際のボイルヴィル構造を有し、実ボイルヴィル多様体をもたらす。
• スズキ群 $Sz(2^e)$ はすべての奇数 $e \geq 3$ に対してボイルヴィル構造を有する。これは、$e$ が素数のときの既存の結果を一般化する。
• リ群 $R(3^e)$ はすべての奇数 $e \geq 3$ に対してボイルヴィル構造を有する。これは、この族に対して予想が裏付けられることを示す。
• $Sz(2^e)$ および $R(3^e)$ に対して構成されたボイルヴィル構造は強く実際ではない。それぞれの生成子の位数が 4 および 3 であるため、生成子を反転する自己同型は存在しない。
• 互いに素な位数の生成三つ組および非共轭なべきの存在は、指標論的数え上げおよび最大部分群解析により確認された。