Non-liftable varieties via etale cohomology rings

技術的要約：エタール・コホモロジー環による持ち上げ不可能な多様体

問題提起
本論文は、標数 $p$ の正の標数から標数 0 への滑らかな射影多様体の持ち上げの問題を扱っている。持ち上げに対する様々な障害（有限群の作用、ホッジ理論の破綻、あるいはベッチ数のような特定のコホモロジー不変量に由来するものなど）は既知であるが、著者らは $\ell$ 進エタール・コホモロジー環の構造そのものに根ざした新しいタイプの障害を追求している。具体的には、$\mathbb{F}_p$ 上の多様体 $X$ のエタール・コホモロジー環 $H^*(X, \mathbb{Q}_\ell)$ が $\mathbb{Q}$ 上で定義可能か否かを調査している。次数付き $\mathbb{Q}_\ell$-代数 $R$ が $\mathbb{Q}$ 形式を持つとは、次数付き $\mathbb{Q}$-代数 $R_\mathbb{Q}$ が存在して $R_\mathbb{Q} \otimes_\mathbb{Q} \mathbb{Q}_\ell \cong R$ となることを指す。著者らは、この条件が成立しない多様体を構成することで、サリヴァンの示唆に従い、持ち上げに対する位相的な障害を示すことを目的としている。

手法
構成は、爆上げ（blow-up）を用いて代数的構造をコホモロジー環へと符号化するという、主に2つの段階を経て進行する。

1. 補助的多様体 $Z$ の構成:

   • 著者らは、$\mathbb{F}_p$ 上の超特異楕円曲線 $E$ から出発する。その有理エンドモルフィズム代数は $D = \text{End}(E) \otimes \mathbb{Q}$ であり、これは $\mathbb{Q}$ 上の4次元の四元数除法代数である。
   • 著者らは、生成元 $\alpha, \beta \in \text{End}(E)$ とインデックスの集合 $I = \{\infty, 0, 1, \alpha, \beta\}$ を選択する。
   • 3次元多様体 $Y = (E \times E) \times \mathbb{P}^1$ の内部において、これらのエンドモルフィズム（および座標コピー）のグラフ $\Gamma_\gamma$ を考える。
   • 互いに素であることとラベル付けの区別を確実にするため、異なる濃度 $m_\gamma$ を持つ、互いに素な有限部分集合 $T_\gamma \subset \mathbb{P}^1$ を選択する。
   • $Z$ を、$Y$ の曲線 $C_{\gamma, t} = \Gamma_\gamma \times \{t\}$ の非連結和に関する爆上げとして定義する。
   • 主要メカニズム: $H^*(Z)$ のコホモロジー環は、$H^1(Z) \cong V \oplus V$（ここで $V = H^1(E)$）における部分空間のラベル付き構成を本質的に復元することが示される。具体的には、コホモロジー環における乗法写像の「ランク落ち軌跡（rank-drop locus）」が、各 $\gamma$ に対応する例外因子を特定し、これらが核 $K_\gamma$ を符号化することで、2次元ベクトル空間上の除法代数 $D$ の作用を再構成する。

2. 単連結多様体 $X$ の構成:

   • 単連結であるという条件（サリヴァンの位相的障害の要件）を満たすため、著者らは $Z$ を $\mathbb{P}^9_k$ に埋め込み、$X$ を $\mathbb{P}^9_k$ の $Z$ に関する爆上げとして定義する。
   • 著者らは、$H^*(X)$ のコホモロジー環が $H^*(Z)$ を本質的に復元できることを証明する。双線形形式の消滅特性や、乗法写像の核の構造などの特定の代数的関係を通じて、ハイパープレーン類と例外因子類を識別することにより、$Z$ の次数付き代数を $X$ から再構成する。
   • これにより、$H^*(Z)$ に存在するいかなる障害も $H^*(X)$ において持続することが保証される。

主要な貢献と結果

• 定理 0.1: 本論文は、そのエタール・コホモロジー環 $H^*(X, \mathbb{Q}_\ell)$ が $\mathbb{Q}$ 形式を持たない、$\mathbb{F}_p$ 上の単連結な滑らかな射影多様体 $X$ を構成する。
• 持ち上げ不能性: （補題 1.1 を通じた直接的な帰結として）多様体 $X$ は標数 0 への持ち上げを持たない。
• 本質的な復元: 著者らは、ラベル付きの部分空間の構成（四元数除法代数の作用を符号化したもの）が、幾何的な構成に言及することなく、抽象的な次数付き代数の構造のみから復元可能であることを証明している。
• 除法代数による矛盾: $\mathbb{Q}$ 形式が存在する場合、復元された構成が2次元の $\mathbb{Q}$-ベクトル空間上の4次元除法代数 $D$ の作用を定義することになるが、これは不可能であるという事実に基づき、$\mathbb{Q}$ 形式が存在しないことを証明している。

意義
本論文は、$\mathbb{Q}_\ell$-ホモトピーデータが $\mathbb{Q}$ へと降下しない場合に持ち上げが阻害されるという、サリヴァンの位相的障害を実現した最初の例を提供していると主張している。

• 障害の新規性: 従来の障害が幾何学的な病理（例：コダイラ消滅の失敗や特定のフロベニウス挙動）に依存していたのに対し、この障害は $\ell$ 進エタール・コホモロジー環自体の本質的な構造から生じている。
• グロタンディークの期待との関係: 本結果は、標数 $p$ の滑らかな固有多様体の $\ell$ 進完備化は、有限の CW 複体の $\ell$ 進完備化とホモトピー同値であるはずだという、グロタンディークの期待に関する問いに対して否定的な回答を与えるものである。$\mathbb{Q}$ 形式を持たないコホモロジー環を持つ多様体の存在は、標数 $p$ と標数 0 の間のホモトピー型の根本的な違いを意味している。
• 先行研究との比較: 著者らは、自身の手法が $\ell$ 進位相に依存する他の持ち上げ不能性の結果（Esnault-Srinivas-Stix や van Dobben de Bruyn など）とは異なり、単連結な例であることを強調している（先行例は非自明なエタール基本群に依存している）。

本論文は、標数 $p$ と 0 の $\ell$ 進エタール・コホモロジー環には本質的な差異が存在することを結論付けており、これらの環に期待される「良好な」振る舞いが、持ち上げを阻止する形で失敗し得ることを示している。