[論文レビュー] On the canonical representation of curves in positive characteristic

Ruthi Hortsch|arXiv (Cornell University)|Dec 7, 2011

Algebraic Geometry and Number Theory参考文献 22被引用数 6

ひとこと要約

本稿は、特徴量 $ p > 2 $ の曲線 $ y^2 = x^p - x $ の自己同型群の標準的表現が、$ p $ が増加するにつれて、無限大の genus をとる不変性を示している。$ \mathrm{SL}_2(\mathbb{F}_p) $ の表現論を用いて、正則1形式の空間が群作用に関して不変であることを証明し、さらに de Rham コホロロジーが分解不能であるが射影的ではないことを示しており、正の特徴量代数幾何学における重要な問題を解決している。

ABSTRACT

Given a smooth curve, the canonical representation of its automorphism group is the space of global holomorphic differential 1-forms as a representation of the automorphism group of the curve. In this paper, we study an explicit set of curves in positive characteristic with irreducible canonical representation whose genus is unbounded. Additionally, we study the implications this has for the de Rham hypercohomology as a representation of the automorphism group.

研究の動機と目的

• 正の特徴量における滑らかな曲線の自己同型群の標準的表現の構造を調査すること。
• 正の特徴量において、標準的表現が不変である曲線が、任意に大きな genus をもつことができるかを特定すること。
• 自己同型群の表現としての de Rham ハイパーコホロロジーを分析し、特にその分解可能性を検討すること。
• 通常の分岐および $ p $ のべき乗位数のケースを超えて、既知の標準的表現に関する結果を拡張すること。

提案手法

• 特徴量 $ p > 2 $ の代数閉体上での曲線 $ X: y^2 = x^p - x $ を分析し、その genus は $ g = (p-1)/2 $ である。
• 自己同型群 $ G $ が $ \mathrm{PGL}_2(\mathbb{F}_p) $ の2次中心拡大であることを特定し、アフィン座標における明示的な作用を示す。
• 標準的表現を $ H \cong \mathrm{SL}_2(\mathbb{F}_p) $ に制限し、これが $ k^2 $ の標準的表現の $ (g-1) $ 乗対称冪と同型であることを示す。
• 標準的表現の対称冪の不変性を用いて、$ H^0(X, \Omega^1_{X/k}) $ が $ k[G] $-加群として不変であることを結論づける。
• Serre双対性を適用し、de Rham コホロロジーの完全系列の分解を分析するための双対基底を構成する。
• 群作用 $ T $ と $ \sigma $ を用いて、潜在的な分解の固有値制約を導出し、矛盾を導き、分解不能性を証明する。

実験結果

リサーチクエスチョン

• RQ1 正の特徴量における曲線が、任意に大きな genus をもつ不変な標準的表現をもつことができるか？
• RQ2 特徴量が群の位数を割るとき、曲線の de Rham コホロロジーがその自己同型群の表現としてどのように振る舞うか？
• RQ3 $ y^2 = x^p - x $ の de Rham コホロロジーは、$ k[G] $-加群として分解可能か、分解不能か？
• RQ4 被覆 $ X \to X/G $ が強分岐する場合でも、標準的表現は不変のままであるか？

主な発見

• 曲線 $ y^2 = x^p - x $ について、正の特徴量 $ p > 2 $ において、標準的表現 $ H^0(X, \Omega^1_{X/k}) $ は $ k[G] $-加群として不変である。
• 曲線の genus は $ g = (p-1)/2 $ であり、$ p $ が増加するにつれて無限大に達するため、正の特徴量において、任意に大きな genus をもつ不変な標準的表現が存在しうることを示している。
• de Rham コホロロジー $ H^1_{\mathrm{dR}}(X/k) $ は、$ k[G] $-加群として分解不能であるが、これは完全系列の非分解性に起因する。
• Sylow $ p $-部分群の位数（$ p $）が次元 $ 2g = p-1 $ を割らないため、射影的でないことが示され、射影性の必要条件を満たさない。
• de Rham コホロロジーの観点から、$ G $ の1形式の空間への作用は半単純ではない。これは、コホロロジー系列の分解が $ k[G] $-加群の圏内で存在しないことによる。
• 分解が存在すると仮定した場合に、$ T $-作用からの固有値制約と群作用式における非ゼロ係数が矛盾を引き起こすため、証明はこれに依存している。