Log motivic Gysin isomorphisms

技術要約：対数モチビック・ギゼン同型

問題提起
本論文は、細（fine）かつ飽和（saturated）（fs）対数スキームにおける公理的なモチビック設定内でのギゼン同型（Gysin isomorphisms）の構成について扱っている。MorelとVoevodskyは$\mathbb{A}^1$-ホモトピー理論において滑らかなスキームに対するギゼン同型を確立したが、これをfs対数スキームへ拡張する際には根本的な障害が存在する。すなわち、閉埋め込み $Z \to X$ が厳密（strict）でない場合、対数スキームの圏において開補集合 $X - Z$ が必ずしも存在しないという点である。

この問題を解決するためのこれまでの試みは、厳密性を達成するために局所的な対数吹け上げ（log blow-up）を用いるものであったが、この手法はグローバルな関手性（functoriality）に欠け、複雑なZariski被覆を必要とした。本論文は、非厳密な閉埋め込み $Z \to X$ であっても、モチビック安定ホモトピー圏 $SH(S)$ において以下の自然な同型を定式化することを目指している：
$$\Sigma^\infty(X/X - Z) \simeq \Sigma^\infty(N_Z X / N_Z X - Z)$$

手法
著者は、fs対数スキームの圏における制限を克服するために、先行研究 [15] で開発された**分割対数空間（divided log spaces）**の理論を用いている。

1. 分割対数空間: 本論文は、底 $B$ 上の分割対数空間の圏 $lSpc/B$ を利用する。これらは、fs対数スキームの圏 ($lSch/B$) 上の分割Zariski層であり、代数空間に触発された公理を満たす。決定的なのは、$lSpc/B$ においては、閉埋め込みの開補集合が常に存在し、対数滑らかな射は、定義された吹け上げおよび正規束を持つことである。
2. モチーフの拡張: 安定モチビックホモトピー圏 $SH$（または、提示可能で対称モノイダルな$\infty$-圏の一般的な層$\mathcal{T}$）を、$lSch/B$から$lSpc/B$へと拡張する。この拡張は、$lSch/B$と$lSpc/B$上の層の$\infty$-圏の同値性（Proposition 2.2.1）を利用し、また、対数滑らかな射に対する六つの関手の形式（$f^\sharp$ の存在、基底変換、射影公式）を確立するために、部分随伴（partial adjoints）の技法（Liu-Zheng [7]）を用いている。
3. 正規錐への変形（Deformation to the Normal Cone）: 分割対数空間に適応させた「正規錐への変形」構成が核心的な技術的ツールである。証明は、以下の手順によって、一般的なケースを対数滑らかなスキームにおける厳密な閉埋め込みのケースへと帰着させる：
   • ファン・チャート（fan charts）を持つ対数スキームへと還元するために、Zariski被覆を用いる。
   • プルバック関手が保守的（conservative）であり、かつ結果としての射が飽和的となるような、対数滑らかな射 $g: S' \to S$（§3.3における飽和特性を通じて構成される）による基底変換を用いる。
   • 対数構造の組合せ論的な側面を扱うために、パン（pans）（ファンから派生した格子部分集合）とその細分化の概念を利用する。

主要な貢献と結果

1. 対数ギゼン同型 (Theorem 3.4.1): 本論文は、対数滑らかな分割対数空間の閉埋め込み $Z \to X$ に対して、$\mathcal{T}(S)$ における自然な同型を確立する：
   $$M_S(X/X - Z) \simeq M_S(N_Z X / N_Z X - Z)$$
   この結果は、埋め込みが厳密であることを要求せずに成立し、分割対数空間を通じて開補集合の存在問題を解決している。

2. トム変換 (Theorem 4.2.5): 直接的な応用として、本論文は、切断 $a: S \to X$ が閉埋込みである任意の対数滑らかな射 $p: X \to S$ に対して、トム変換 $Th(p, a) := p^\sharp a^*$ が$\infty$-圏の同値であることを証明している。これは、古典的なトム同型を対数の設定へと一般化したものである。

3. 非厳密射に対する純粋性 (Theorem 5.2.11): 本論文は、同型 $f^\sharp \simeq f^* \Sigma_f$（ここで $\Sigma_f$ は純粋性変換）によって定義される射の「純粋性（purity）」を調査している。純粋性は厳密な滑らかな射については既知であるが、本論文は、特定の非厳密なfs対数スキームの固有的な射が純粋であることを証明している。

   • 具体的には、定理 1.4.2 は、特定の対数スキーム（$V_1, V_2, V_3$）を貼り合わせることで構成された $\mathbb{A}^2_{\mathbb{N}} \to \mathbb{A}^1_{\mathbb{N}}$ の特定のコンパクト化 $W$ を用いたとき、射影 $f: W \times_{\mathbb{A}^1} S \to S$ が純粋であることを示している。
   • この結果は、構成された対数スキーム $W$ 内での開埋め込みと閉埋め込みを含む余係数列（cofiber sequences）の詳細な分析に基づいている。

意義と主張
本論文は、これらの結果が**fs対数スキームのためのモチビック六つの関手の形式（motivic six-functor formalism）**に不可欠な基礎ブロックを提供すると主張している。

• ギゼン同型および特定の非厳密な射の純粋性は、後続の著作 [16] および [18] において完全な六つの関手の形式を確立するための不可欠な要素として記述されている。
• 分割対数空間の使用により、厳密な射と非厳密な射を一元的に扱うことが可能となり、局所的な吹け上げの技術的な複雑さを回避し、関手性を確保している。
• 本研究は、モチビックホモトピー理論の範囲を、コンパクト化やトーリック埋め込みから生じる豊かな幾何学（そこでは非厳密な射が普及している）へと拡張するものである。

著者は、本論文が [17] の継続であり、これらと同型および変換の構成に焦点を当てた公理的枠組み内での作業であり、六つの関手の形式の完全な展開については将来の出版物に委ねていることを明記している。