$\mathbb{A}^1$-homotopy theory of log schemes

技術要約：対数スキームの $\mathbb{A}^1$-ホモトピー論

問題提起
本論文は、グロタンディークの6つの関手形式則（six-functor formalism）を満たす、細かつ飽和（fs）対数スキームのための安定なモチーフ的ホモトピー圏の構成に取り組んでいる。Park、Ayoubらによる先行研究では、アフィン直線 $\mathbb{A}^1$ の代わりに $\square := (\mathbb{P}^1, \infty)$ を反転させることで、対数モチーフ（$\log DM(k)$ および $\log SH(S)$ と表記）の枠組みが確立された。この非 $\mathbb{A}^1$-不変な設定は、ホッジ・コホモロジーや対数的トポロジカル・ホッジ・ホモロジーといったコホモロジー論を包含することには成功しているが、局所化の性質（localization property）を満たさない。具体的には、厳密な閉埋め込み $i$ とその開補集合 $j$ に対して、列 $j_\sharp j^* \to \text{id} \to i_* i_*$ は余ファイバー列（cofiber sequence）にならず、$i_*$ も完全忠実ではない。この失敗により、モチーフ的近傍サイクル関手の構成や境界のコホモロジー計算に不可欠な、6つの関手形式則の導出が妨げられている。

手法
著者は、特定の対数的幾何学的特徴を保持しつつ $\mathbb{A}^1$ を反転させることにより、fs 対数スキーム $X$ に対する新しい安定モチーフ $\infty$-圏 $SH(X)$ を構成する。構成は以下の手順で行われる：

1. Zariski 対数構造への制限： 理論は、Zariski 対数構造（モノイド層が Zariski 層であるもの）を持つ fs 対数スキームに対して展開される。著者は、Niziol の結果により、任意の fs 対数スキームは Zariski 対数構造を持つ対数吹出し（log blow-up）を持つことが保証されているため、これは一般性を失うものではないと述べている。
2. 垂直境界（Vertical Boundaries）： 中心的な概念として、対数滑らかな射 $f: X \to S$ の「垂直境界」$\partial_S X$ を導入する。これは、モノイドの写像 $M_{S,f(x)} \to M_{X,x}$ が垂直ではない点集合である。$X - \partial_S X$ は、対数スキームの「垂直な」部分を表す。
3. 局所化関手： $SH(X)$は、$X$ 上の対数滑らかなスキームの分割ニセヴィッチ層（dividing Nisnevich sheaves）の $\infty$-圏（$lSm/X$）から出発し、二重の局所化を適用することで構成される：
   • $\mathbb{A}^1$-局所化： 射影 $X \times \mathbb{A}^1 \to X$ を反転させる。
   • **垂直局所化 ($ver$)：** 垂直境界の補集合に関する誘起写像$U - \partial_X U \to V - \partial_X V$が同型となるような$lSm/X$における開埋め込み$j: U \to V$ を反転させる。
4. 古典的理論との比較： 自明な対数構造を持つスキーム $S$ に対して、新しく構成された圏 $SH(S)$ が元の Morel-Voevodsky の構成と等価であることを証明する。これは、$\mathbb{A}^1$-不変性の存在下では、$ver$のクラスを反転させることが、開埋め込み$U - \partial U \to U$ のクラスを反転させることと同値であることを示すことで達成される。

主要な貢献と結果

• $SH(X)$ の構成： 本論文は、fs 対数スキームのための安定モチーフ $\infty$-圏 $SH(X)$およびそのアーベル型変種$DA(X, \Lambda)$ を定義する。スキームが自明な対数構造を持つ場合、これらが古典的な Morel-Voevodsky の圏を回収することを確立している。
• 局所化の性質： 主要な技術的結果は、構成された圏が局所化の性質を満たすことの証明である。厳密な閉埋め込み $i: Z \to S$ とその開補集合 $j: U \to S$ に対して、列
  $$j_\sharp j^* F \xrightarrow{ad'} F \xrightarrow{ad} i_* i_* F$$
  は $SH(S)$（および関連する圏）において余ファイバー列であり、$i_*$ は完全忠実である。
• 6つの関手形式則： 局所化の性質の直接的な帰結として、fs 対数スキームの厳密な射に対するグロタンディークの6つの関手形式則（$f^*, f_*, f_!, f^!, \otimes, \underline{Hom}$）を、Ayoub および Cisinski-Déglise の基礎的研究に基づき確立する。
• 境界のコホモロジー： 著者による、基底 $B$ 上の fs 対数スキーム $X$ のための標準的な長完全列を導出する：
  $$\cdots \to E^{p,q}(X) \to E^{p,q}(X - \partial X) \oplus E^{p,q}(\partial X) \to E^{p,q}(\partial X) \to E^{p+1,q}(X) \to \cdots$$
  これは、境界 $\partial X$ のコホモロジーを、基礎となるスキーム $X - \partial X$ のコホモロジーを用いて表現するものである。
• コホモロジー論の拡張： この枠組みにより、以下の $\mathbb{A}^1$-不変な対数スキーム上のコホモロジー論の定義が可能となる：
  • モチフィック・コホモロジー $H^p_M(X, \Lambda(q))$
  • ホモトピー K 理論 $KHP(X)$
  • 代数コボルディズム $MGL^{p,q}(X)$
• 具体的な計算： 標準的な対数点 $pt_{\mathbb{N}, B}$ のコホモロジーの具体的な計算を提供し、$\partial X$ のコホモロジーを $X - \partial X$ の無限遠における安定ホモトピー型に関連付け、Dubouloz-Déglise-Østvær および Levine の研究と結びつける。

意義
本論文は、$\mathbb{A}^1$-不変な設定における fs 対数スキームのためのグロタンディークの6つの関手形式則の研究を開始したものである。$\mathbb{A}^1$ と特定のクラス $ver$を反転させることにより、著者は非$\mathbb{A}^1$-不変な対数モチーフ理論に存在する障害（局所化の性質の失敗）を解決している。これにより、正標数および混合標数において良好に振る舞うモチーフ的近傍サイクル関手の構成を容易にするなど、強力なモチーフ的ツールを対数幾何学に適用することが可能となる。本研究は、計算可能性を確保しつつ必要な形式則を保持するために反転戦略を洗練させた、著者の学位論文の「リブート（再起動）」としての役割を果たしている。これらの結果は、6つの関手形式則をさらに発展させ、特定の幾何学的問題に適用するための一連の論文の基礎を築くものである。