Motivic six-functor formalism for log schemes

技術的要約：対数スキームにおけるモチーフ的六関数形式論

問題提起
デリーニュ、ファルティングス、フォンテーヌ、イリュス、およびカトウによって開発された対数幾何学は、スキームに境界を付加するための代数的な枠組みを提供し、（半安定な退化などの）族における極限挙動の研究を容易にする。対数モチーフ的ホモトピー論は非$\mathbb{A}^1$不変なコホモロジー論を扱うために拡張されてきたが、fs（fine and saturated）対数スキームの文脈における包括的なグロタンディーク六関数形式論は未完成のままであった。具体的には、対数構造と整合する方法でボレル・ムーレ・ホモロジー、G理論、およびチャウ・ホモロジーを定義・計算するために、厳密な基底変換、射影公式、およびポアンカレ双対性を確立する必要があった。これまでの試み（例えば、log Chow群やprelog Chow環）は、特定の不変性（例：$\square$-不変性）を欠いていたり、著者の先行研究で確立されたモチーフ的枠組みとは異なっていたりした。

手法
本論文は、「対数モチーフ的$\infty$-圏」$T$の枠組みの中で動作しており、これは著者の一連の先行論文（[22], [23], [24], [25], [26]）に基づいている。核心となる手法は以下の通りである：

1. $\infty$-圏の拡張： 著者は、関数 $T^{ex}: (lSch/B)^{op} \to CAlg(Pr^L)$ を利用し、これはexactなlog smooth射のモチーフの余接列挙（colimits）を通じて、対数モチーフ的$\infty$-圏の部分圏を生成する。
2. 純粋性変換（Purity Transformations）： 中心的な技術的ツールは、分離されたexact log smooth射 $f$ に対する純粋性変換 $p_f: f^\sharp \to f_! \Sigma_f$ の定義と分析である。本論文は、この変換が同型となる条件（すなわち、$f$ が「pure」である場合）を確立している。
3. 仮想同型（Virtual Isomorphisms）： 本論文は「仮想同型」の概念（スキームとしての同型であり、かつ単数群の層 $M^{gp}$ 上の同型を誘導する射）を導入し、これを利用する。定理 3.2.6 は、このような射に対して、引き戻し関手 $f^*$ が$\infty$-圏の同値であることを証明している。これは、大域的な問題を局所的なトーリックモデルへと還元するために極めて重要である。
4. トーリック層化（Toric Stratification）： ポアンカレ双対性の証明は、アフィン・トーリック対数スキームの層化に大きく依存している。モノイドとその関連する対数スキーム（特にチャートと面を通じて）の構造を分析することにより、一般の場合を、双対性が帰納的に検証可能な特定のトーリック射へと還元している。
5. コンパクト化と基底変換： 本形式論はナガタ・コンパクト化の存在を仮定しており、コンパクト化可能な射の性質を利用して、例外的な直接像関手 $f_!$ を定義している。

主要な貢献および結果

• 六関数形式論の確立： 主定理（定理 1.3.1）は、垂直なexact log smooth射のモチーフがコンパクトであるという仮定の下で、関数 $T^{ex}$ に対するグロタンディーク六関数形式論を確立する。この形式論には以下が含まれる：

  • 厳密な基底変換（Exact Base Change）： 一方の写像がexactであり、他方がコンパクト化可能であるようなカルテジアン正方形において、自然な変換 $g^* f_! \to f'_! g'^*$ は同型である。
  • ヴェルディエ双対性（Verdier Duality）： 分離された射に対して、$f_!$ は右随伴 $f^!$ を持つ。
  • ポアンカレ双対性（Poincaré Duality）： 分離された垂直なexact log smooth射 $f$ に対して、自然な同型 $f^\sharp F \simeq f_!(F \otimes Th(T_f))$ が存在する。ここで $Th(T_f)$ は接束のトム・モチーフである。
  • レフシェッツ双対性（Lefschetz Duality）： ターゲットが自明な対数構造を持つlog smooth射に対して、特定の双対性が確立されており、$f^!$ と内部への開埋め込み $j: X - \partial X \to X$ を関連付けている。

• ホモロジーおよびコホモロジー論の定義：

  • ボレル・ムーレ・ホモロジー： 本論文は、任意のfs対数スキームの射 $f: X \to S$ に対して $E^{BM}(X/S)$ を定義する。標準的なモチーフ的コホモロジーとは異なり、ボレル・ムーレ・ホモロジーは$\mathbb{A}^1$不変ではなく、また垂直化に対しても不変ではない。これは、境界を持つ多様体上の位相的ボレル・ムーレ・ホモロジーの挙動を反映している。
  • 具体的な理論： この枠組みは、fs対数スキームに対するモチーフ的コホモロジー、モチーフ的ボレル・ムーレ・ホモロジー、チャウ・コホモロジー、チャウ・ホモロジー、ホモトピーK理論、およびG理論の定義をもたらす。
  • チャウ群の区別： 著者は、境界が空でない場合、log smoothスキームであってもチャウ・コホモロジーとチャウ・ホモロジーを区別しなければならないことを強調している。なぜなら、標準的な意味でのポアンカレ双対性は成立せず、代わりにレフシェッツ双対性が成立するためである。

• 対数スキーム上のチャウ・モチーフ：

  • チャウ・モチーフの圏 $Chow(S)$ は、射影的なexact垂直log smooth射によって生成されるモチーフのホモトピー圏の冪等完備化として定義される。
  • 標準的な対数点（The Standard Log Point）： 重要な結果（命題 1.4.1 および命題 4.3.6）は、標準的な対数点（$pt_{\mathbb{N}, k}$）上の圏 $Chow(pt_{\mathbb{N}, k})$ が、古典的な圏 $Chow(k)$よりも豊かな構造を持つことを示している。古典的なケースでは$n = 2d$でなければならないのに対し、$Chow(pt_{\mathbb{N}, k})$では全ての整数$d$および$n$に対して$1(d)[n]$ が存在する。
  • 例： 本論文は、$pt_{\mathbb{N}, k}$ 上のエルミート曲線のトロイダル・モデルのモチーフを計算しており、分解 $M(E) \simeq 1 \oplus 1[1] \oplus 1(1)[1] \oplus 1(1)[2]$ を示している。これはエルミート曲線のホッジ・ダイアモンドを反映している。

意義および主張
本論文は、六関数形式論を用いることで、対数スキーム上のモチーフ計算を行うための必要な基礎的メカニズムを提供すると主張している。その意義は以下の点にある：

1. 統一： モリエル＝ヴォエヴォドスキーの研究を対数的な設定へと拡張し、対数スキームのコホモロジーとボレル・ムーレ・ホモロジーの扱いを単一の形式論の下で統一すること。
2. 計算能力： 厳密な基底変換と双対性を確立することで、本論文は、これまで欠けていたこれらの理論を計算するための「レシピ」を提供している。
3. 既存理論の洗練： 著者は、自身の定義を既存のlog Chow群（Barrott）やprelog Chow環（Böningら）と比較し、自身の理論が$\square$-不変性やその他の性質を満たしていることを明記することで、それらを区別している。
4. 新しい対象： 標準的な対数点上のチャウ・モチーフの導入は、古典的な理論には存在しない新しいクラスのモチーフ的対象（任意の $n$ に対する $1(d)[n]$）を明らかにしており、これは対数スキームのモチーフ的世界におけるより深い構造を示唆している。

本論文は、Cst予想を解決したり、全く新しいコホモロジー理論をゼロから構築したりすることを主張しているのではなく、fs対数スキームの文脈において、そのような理論を定義、操作、および厳密に比較することを可能にする形式的インフラストラクチャ（六関数形式論）を提供している。