[論文レビュー] The Ceresa class: tropical, topological, and algebraic

Daniel Corey, Jordan S. Ellenberg+1 more|arXiv (Cornell University)|Sep 22, 2020

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

ひとこと要約

本稿では、Dehn回転が可換であるトロピカル曲線および位相的曲面に対して、組み合わせ的セレーサー類を導入し、すべての設定においてその類が torsion であることを示し、超楕円的対象においてのみ 0 に消えることを示している。代数的幾何、位相的（モリタコycleを通じて）、およびトロピカル幾何の間の対応関係を確立し、完全4頂点グラフ（位数16の torsion を持つ）のような非超楕円的トロピカル曲線において非自明であることを証明している。

ABSTRACT

The Ceresa cycle is an algebraic cycle attached to a smooth algebraic curve with a marked point, which is trivial when the curve is hyperelliptic with a marked Weierstrass point. The image of the Ceresa cycle under a certain cycle class map provides a class in étale cohomology called the Ceresa class. Describing the Ceresa class explicitly for non-hyperelliptic curves is in general not easy. We present a "combinatorialization" of this problem, explaining how to define a Ceresa class for a tropical algebraic curve, and also for a topological surface endowed with a multiset of commuting Dehn twists (where it is related to the Morita cocycle on the mapping class group). We explain how these are related to the Ceresa class of a smooth algebraic curve over $\mathbb{C}(\!(t)\!)$, and show that the Ceresa class in each of these settings is torsion.

研究の動機と目的

• 整数辺長を持つトロピカル曲線に対して、古典的セレーサー周期をトロピカル設定に拡張する組み合わせ的セレーサー類を定義すること。
• 複素形式体 $\mathbb{C}((t))$ 上の代数的幾何におけるセレーサー類を、写像類群におけるマルチツイスト（多様な回転）という位相的データと、メトリックグラフというトロピカル的データと関連づけること。
• 群コホモロジーおよびジョンソン準同型を用いて、代数的、位相的、トロピカルの3つの設定すべてにおいてセレーサー類が torsion であることを示すこと。
• 同型なヤコビアンを持つにもかかわらず、超楕円的タイプのトロピカル曲線と実際に超楕円的であるトロピカル曲線を区別できるかどうかを調査すること。
• マルチツイストの構造およびグラフの連結性に基づいて、セレーサー類が 0 に消える明示的条件を提示すること。

提案手法

• トロピカル曲線の双対グラフと辺長に基づいて、その退化に伴うマルチツイストを用いて、組み合わせ的不変量としてセレーサー類を定義する。
• 写像類群上のモリタコycleを用いて、位相的にセレーサー類を定義し、ジョンソン準同型および基本群への作用と関連づける。
• ハインとマツモトの $2$-可解基本群およびガロア作用に関する研究を応用し、$\mathbb{C}((t))$ 上のエタールコホモロジーにセレーサー類を上昇させる。
• ℓ-進コホモロジーにおけるサイクル類写像の像を通じてセレーサー類を構成し、それがコホモロジー群の特定の部分群に属することを示す。
• シンプレクティック表現における基底変換と線形代数を用いて、特に $K_4$ グラフの場合にクラスを明示的に計算する。
• $3\nu(T_\Gamma) \in \overline{A(\delta_\Gamma)}$ であるが $\nu(T_\Gamma) \notin \overline{A(\delta_\Gamma)}$ であることを示すことにより、torsion 性を証明する。

実験結果

リサーチクエスチョン

• RQ1 セレーサー類はトロピカル設定において意味的に定義可能であり、古典的代数的セレーサー周期とどのように関係するか？
• RQ2 トロピカル設定におけるセレーサー類は torsion か？ もしそうであれば、例えば4頂点完全グラフのような特定の例ではその位数は何か？
• RQ3 セレーサー類が 0 に消えることは、トロピカル的または位相的設定において超楕円的であることの必要十分条件か？ あるいは、非超楕円的対象が自明なセレーサー類を持つことは可能か？
• RQ4 セレーサー類は退化の下でどのように振る舞い、マルチツイスト構造がその自明性を決定づける役割を果たすか？
• RQ5 同型なヤコビアンを持つにもかかわらず、超楕円的タイプのトロピカル曲線と実際に超楕円的であるトロピカル曲線をセレーサー類が区別できるか？

主な発見

• すべての辺の長さが1である4頂点完全グラフのセレーサー類は、非自明な16位のクラスであり、トロピカル設定における非自明性を示している。
• すべての超楕円的トロピカル曲線においてセレーサー類は 0 に消えるが、これは古典的代数的ケースと整合的である。しかし逆は成り立たない：非超楕円的トロピカル曲線のうち、セレーサー類が自明なものが存在する。
• 代数的、位相的、トロピカルの3つの設定すべてにおいてセレーサー類が torsion であるのは、コホモロジー群の部分群に値をとるが、その部分群が有限指数で消えるからである。
• $K_4$ グラフの場合、$\nu(T_\Gamma)$ は $\overline{A(\delta_\Gamma)}$ には属さないが、$3\nu(T_\Gamma)$ は属するため、クラスの位数は16の約数であることが示された。
• セレーサー類はヤコビアンの不変量だけではない：同型なヤコビアンを持つ超楕円的タイプのトロピカル曲線であっても、非自明なセレーサー類を持つことがある。
• マルチツイスト $T_\Gamma$ に対して、セレーサー類が 0 に消えるのは、ジョンソン準同型の核に属するときであり、これは分離マルチツイストであっても成り立つ（そのマルチツイストが超楕円的でなくてもよい）。