A necessary condition for liftings of positive characteristic varieties with finite fundamental groups

技術要約：有限基本群を持つ正標数多様体の持ち上げに関する必要条件

問題設定
本論文は、標数 $p > 0$ の代数閉体上で定義された滑らかで固有な多様体の、標数ゼロへの特性零持ち上げの存在を決定する問題に取り組んでいる。既知の障害には、コダイラ消滅の失敗や基本群の特定の振る舞いなどが挙げられるが、本研究では、$\ell$ 進エタール・ホモトピー論およびウォールの有限性障害（Wall's finiteness obstruction）の変種から導出される、新しい必要条件を導入している。具体的な焦点は、エタール $\ell$ 完備基本群が有限 $\ell$ 群である多様体に置かれている。

手法
著者らは、代数トポロジーと算術幾何学を統合し、以下の理論的枠組みを利用している。

1. エタール・ホモトピー論： 区分的なスキーム $X$ の $\ell$ 進エタール・ホモトピー型 $X^\wedge_{\text{ét}, \ell}$ を利用する。中心となる位相的な観察は、もし標数 $p$ の滑らかな固有多様体 $X$ が標数ゼロに持ち上がるならば、その $\ell$ 進エタール・ホモトピー型は、複素多様体の $\ell$ 進ホモトピー型（これは有限CW複体とホモトピー同値である）と $\ell$ 進弱同値でなければならないということである。
2. ウォールの有限性障害： 任意のCW複体が有限CW複体とホモトピー同値であるための古典的な結果である、C.T.C. ウォールの結果を拡張している。ウォールの判定法は、空間が「有限支配的（finitely dominated）」であり、かつ簡約化された代数K群 $\tilde{K}_0(\mathbb{Z}[\pi_1])$ におけるウォールの有限性障害が消滅することを要求する。
3. 局所化および完備化： 著者らはこれらの概念を以下へと一般化している：
   • $T$-局所空間（$T$-local spaces）：素数の集合 $T$ で局所化された空間。
   • $\ell$-プロ有限完備空間（$\ell$-profinite complete spaces）：特に、基本群が有限である空間において、その普遍被覆の鎖複体が群環 $\mathbb{F}_\ell[\pi]$ 上でどのように振る舞うかを分析する。
4. 鎖複体分析： 中心的な技術的ツールは、$\ell$ プロ有限完備化の普遍被覆の細胞鎖複体の分析である。著者らは、この鎖複体が $\mathbb{F}_\ell[\pi]$ 上の完全な複体（有界な有限生成射影加群の複体と鎖ホモトピー同値であること）であるかどうかに基づいて、「mod-$\ell$ 有限支配性」を定義している。

主要な貢献および結果

1. 局所的／完備的空間への有限性障害の拡張：
   著者らは、ファイバーワイズ $T$-局所CW複体および有限基本群を持つ $\ell$-プロ有限完備空間に対する有限性障害の概念を定式化している。

   • 定理 2.10 および 2.12： ファイバーワイズ $T$-局所CW複体が有限CW複体とホモトピー同値であるための必要十分条件は、それが $T$-局所有限支配的であり、かつ $T$-局所ウォールの有限性障害が消滅することであることを確立している。また、障害写像の全射性（定理 2.12）を証明し、任意の要素が該当するK群の要素として実現可能であることを示している。
   • 有限 $\ell$ 群における障害の消滅： 重要な観察（事実 3.6）として、有限 $\ell$ 群 $\pi$ に対しては、簡約化されたK群 $\tilde{K}_0(\mathbb{F}_\ell[\pi])$ は自明である。したがって、ウォールの有限性障害は、この設定においては自動的に消滅する。主要な条件は「mod-$\ell$ 有限支配性」へと還元される。

2. $\ell$ 進弱同値の特性付け：
   定理 3.11 は、有限 $\ell$ 群の基本群を持つ連結CW複体 $Y$ が、有限CW複体と $\ell$ 進弱同値であるための条件を特性付けている。これは以下の条件と同値である：

   • $Y$ が mod-$\ell$ 有限支配的であること（その $\ell$ プロ有限完備化の普遍被覆の鎖複体が $\mathbb{F}_\ell[\pi]$ 上で完全であること）。
   • $Y$ の $\ell$ プロ有限完備化が「$\ell$ 局所リフティング」を持つこと（それは $\ell$ 局所有限型の空間のファイバーワイズ $\ell$ 完備であること）。

3. 代数多様体への適用：
   著者らは、これらの位相的な結果を、有限エタール・コホモロジーおよび有限エタール基本群を持つスキームに適用している。

   • 定理 1.3 および 系 4.4： 有限 $\ell$ プロ有限エタール基本群と有限エタール・コホモロジーを持つ局所ネーター的なスキーム $X$ について、その $\ell$ プロ有限エタール・ホモトピー型の $\ell$ プロ有限完備化のホモトピー群は、有限生成 $\mathbb{Z}_\ell$ 加群であることを証明している。
   • 定理 5.4： エタール・ホモトピー型 $X_{\text{ét}}$ が複素多様体と $\ell$ 進弱同値であるための必要十分条件は、$X$ が mod-$\ell$ 有限支配的であり、かつその $\ell$ プロ有限完備化が $\ell$ 局所リフティング可能であることであることを確立している。

4. 持ち上げに関する主要な必要条件：
   系 5.5 は、持ち上げに関する本論文の主要な結果を提示している：

   • 分離閉体上の滑らかで固有な多様体 $X$ で、$(\pi_1^{\text{ét}}(X))^\wedge_\ell$ が有限 $\ell$ 群であるとする。
   • もし $X$ が、標数ゼロの離散付値環上の滑らかで固有なスキームへの持ち上げを許容するならば、$X$ は mod-$\ell$ 有限支配的でなければならない。
   • さらに、持ち上げが基本群の構造を適切に保存する場合、 $X$ の $\ell$ プロ有限完備化も $\ell$ 局所リフティング可能でなければならない。

意義および主張
本論文は、コダラ消滅のような従来の障害とは異なる、正標数の多様体の持ち上げに関する新しい必要条件を導入したと主張している。その意義は、持ち上げという幾何学的な問題を、エタール・ホモトピー型の鎖複体に関するホモトピー的な有限性の問題へと翻訳した点にある。

著者らは、「mod-$\ell$ 有限支配性」は必要条件ではあるものの、この障害が具体的な例において非自明なものとなるか（すなわち、この条件を満たさないために持ち上げられない多様体が存在するかどうか）は未解決の問題であると述べている。また、論文の付録において、この特定の文脈における簡約化されたK群の消滅を裏付ける、有限 $\ell$ 群に関する表現論の結果の代数的な証明も提供している。

本研究は、正標数の代数多様体のホモトピー型と有限CW複体の間の隔たりを埋めるために必要な技術的発展である、ウォールの有限性理論を $\ell$-プロ有限完備空間の領域へと拡張するものである。