Derived isogenies and isogenies for abelian surfaces

技術要約：派生イソジェニーおよびアーベル曲面のイソジェニー

問題提起
本論文は、アーベル曲面のフーリエ・ミュージック・パートナー（Fourier–Mukai partners）の分類、特に「派生イソジェニー（derived isogeny）」の概念に焦点を当てて取り組んでいる。2つのアーベル多様体は、ねじれ（twisted）アーベル多様体間の派生同値（Definition 1.1.1）の連鎖によって接続できる場合に、派生イソジェニーであると定義される。Stellari [66] は、複素数体上の派生イソジェニーであるアーベル曲面はイソジェニーであることを確立したが、その逆は成立しない。すなわち、イソジェニーである曲面が必ずしも派生イソジェニーであるとは限らない。中心となる問題は、任意の標数を持つ代数閉体上のアーベル曲面における派生イソジェニーの、標準的なイソジェニーとは異なるコホモロジー的および幾何学的な分類を提供することである。

手法
著者らは、ホッジ理論、p進ホッジ理論、およびねじれた層のモジュライ空間の幾何学を組み合わせた多角的なアプローチを用いている：

1. Shiodaのトリックの一般化： 中心的な手法上の革新は、有理ホッジ構造、$\ell$進テイト加群、および$F$結晶に対して、Shiodaのトリック（元来は複素アーベル曲面の整積分ホッジ構造のためのもの）を拡張することである。これには、異なる標数にわたるコホモロジー群に対する「許容基底（admissible bases）」および「許容同型（admissible isomorphisms）」の定義が含まれる。著者らは、第2コホモロジー群（$H^2$）の等長写像を、基礎となるアーベル曲面のイソジェニーに関連付けるために、スピノルノルムとカルタン・ディウドニー分解を利用している。
2. ねじれた派生同値： 本論文は、ねじれた派生圏（twisted derived categories） $D^b(X, \alpha)$ の理論と、フーリエ・ミュージック変換によるその実現を利用している。ねじれたアーベル曲面間の派生同値は、ねじれたミュカイ・ラティス（Mukai lattices）の同型に対応することを確立している。
3. 持ち上げと特殊化： 正の標数の場合、著者らは持ち上げ・特殊化の手法を用いている。ねじれたアーベル曲面および派生同値を、離散値環とクマー構成（Kummer construction）を用いて標数0へと持ち上げ（アーベル曲面をK3曲面に結びつける）、その後、標数0の結果を適用して標数 $p$ へと特殊化する。
4. ねじれた層のモジュライ空間： 本論文は、ねじれた派生同値と安定なねじれた層のモジュライ空間との対応（定理 3.5.3）に大きく依存しており、Ogusの結晶的 Torelli 定理を通じて、Minamide–Yanagida–Yoshioka および Bragg–Lieblich による結果を超特異（supersingular）なケースへと拡張している。

主要な貢献および結果

• （標数0における）ねじれた派生 Torelli 定理：
  標数0の代数閉体上の2つのアーベル曲面 $X$ と $Y$ が派生イソジェニーであるための必要十分条件は、それらが**主イソジェニー（principally isogenous）**であることである（定理 1.2.1）。主イソジェニーは、平方次数を持つイソジェニーとして定義される。この同値性は、さらに以下の事項と結びついている：

  • それらに付随するクマー曲面の派生イソジェニー。
  • フロベニウス外積代数としての、関連するChowモチーフ（具体的には偶数次部分）の同型。
  • 第2コホモロジー群（またはミュカイ・ラティス）の間の有理ホッジ等長写像の存在。

• 一般化されたShiodaのトリックとテイト予想：
  著者らは一般化されたShiodaのトリック（定理 1.3.1）を証明している：任意の許容的なホッジ等長写像 $\psi: H^2(X, \mathbb{Q}) \to H^2(Y, \mathbb{Q})$ に対して、$\psi = f^*/d$ となる平方次数のイソジェニー $f: Y \to X$ が存在する。この結果は $\ell$進および $p$進コホモロジーへと拡張され、有限生成体上のアーベル曲面の第2コホモロジー群の間の等長写像に関するテイト予想の証明を与える（系 4.6.3）。

• 正の標数における結果：
  標数 $p > 3$ の場合、本論文は「$p$ と互いに素な」Torelli 定理（定理 1.4.1）を証明している。2つのアーベル曲面が$p$ と互いに素な派生イソジェニーであるための必要十分条件は、それらが$p$ と互いに素な主イソジェニーであることである。

  • 証明は、$p$ と互いに素な派生同値を標数0へ持ち上げること、およびねじれた層のモジュライ空間の特殊化を利用している。
  • 本論文は超特異なケースを別途扱い、$X$ が超特異であれば、$Y$ が $X$ と派生イソジェニーであるための必要十分条件は $Y$ も超特異であることであることを示している。
  • 著者らは、非 $p$ と互いに素な派生イソジェニーに関する同値性は、Brauer類（Brauer classes）の標数 $p$ の次数による障害のため、未解決のままであると述べている（備考 6.2.2）。

• クマー曲面：
  本論文は、アーベル曲面の派生イソジェニーとその付随するクマー曲面との関係を調査している。$X$ と $Y$ が $p$ と互いに素な派生イソジェニーであれば、$Km(X)$と$Km(Y)$もまた$p$ と互いに素な派生イソジェニーであることを証明している（定理 6.5.1）。その逆は、ねじれたBrauer類の次数に関する特定の条件下において部分的に確立されている。

意義および主張
本論文は、標数0におけるアーベル曲面の、および（$p$ と互いに素なケースに限定された）正の標数における、派生イソジェニーの完全なコホモロジー的および幾何学的分類を提供することを主張している。

• 統一： 「主イソジェニー」（平方次数のイソジェニー）という幾何学的概念と、「派生イソジェニー」という圏論的概念を統一し、これらがアーベル曲面においては同値な条件であることを示している。
• 古典的結果の拡張： 派生同値と $H^2$ のホッジ等長写像を結びつけるMukaiおよびOrlovの派生 Torelli 定理を、ねじれた設定および正の標数へと拡張している。
• 手法上の進展： 有理および $p$ 進の文脈へのShiodaのトリックの一般化は、主要な技術的ツールとして提示されており、これにより、第2コホモロジー群の等長写像をイソジェニーに直接結びつけることで、正の標数における大域的なTorelli定理の欠如を回避することを可能にしている。
• 未解決問題への謙虚な姿勢： 著者らは、正の標数におけるK3曲面の派生同値とイソジェニーの間の同値性は依然として予想（Conjecture 1.4.2）であり、非 $p$ と互いに素な派生イソジェニーの完全な同値性はBrauer類の特殊化によって阻害されている（Conjecture 6.4.2）ことを明示している。彼らは、クマー曲面に関する結果を、K3予想の完全な証明ではなく、その証拠を提供するものであると位置づけている。

本論文は新しい実験的な応用を提案するものではなく、むしろアーベル曲面に関する派生圏、ホッジ理論、および算術幾何学の間の基礎的な理論的つながりを確立するものである。