On higher Du Bois singularities and $K$-regularity

技術要約：高次Du Bois特異点とK-正則性について

問題設定
本論文は、代数多様体における$K$-正則性の特徴付け、具体的には代数K群$K_m(X)$がどの程度$\mathbb{A}^1$不変性を欠いているかという問題に取り組んでいる。スキーム$X$は、すべての$r \geq 0$に対して自然な写像$K_m(X) \to K_m(X \times \mathbb{A}^r)$が同型であるとき、$K_m$-正則であると定義される。正則スキームはすべての$m$に対して$K_m$-正則であるが、特異スキームの挙動はより複雑である。中心となる問題は、幾何学的な特異性の性質（特に高次Du Bois特異性）と代数的な性質である$K$-正則性の間の精密な関係を確立することである。これには、次元$d$のアフィンスキームにおいて正則性が$K_{d+1}$-正則性と同値であると仮定するVorstの予想の調査や、特定の特異性のクラスに対する予想の強化版の探索が含まれる。

手法
著者は、ホッジ理論的手法と代数K理論の統合を用いている。主要な技術的枠組みは以下の通りである：

1. Du Bois複体とcdh-微分形式： Du Bois複体$\underline{\Omega}^p_{X/F}$（Deligneの混合ホッジ理論に由来）およびcdh-微分形式$\Omega^p_{cdh, X/F}$を利用する。本論文は、Cortiñas, Haesemeyer, Schlichting, Walker, Weibel (CHSW) によって確立された、これらの対象間の同型関係に基づいている。
2. 高次Du Bois特異性： 古典的なDu Bois特異性の概念を高次の類似へと拡張する。局所完全交差（lci）である$X$は、$p \leq m$に対して自然な写像$\Omega^p_{X/F} \to \underline{\Omega}^p_{X/F}$が同型であるとき、$m$-Du Bois特異性を持つ。一般的な多様体に対して、本論文では「pre-$m$-Du Bois」特異性を、コホモロジー層$H^i\underline{\Omega}^p_{X/F}$（ただし$i > 0$かつ$p \leq m$）の消滅によって定義している。
3. 消滅定理： 証明は、Du Bois複体のコホモロジーに関する消滅定理（Steenbrinkの消滅定理、Mustatǎ-Popaの余次元境界など）および、lciスキームにおけるケーラー微分形式の捩れと反射性に関する結果（Graf, Miller-Vassiliadou）に強く依存している。
4. NK群によるK-正則性： $K$-正則性の研究は、局所から大域へのスペクトル系列を介したBassの$NK$群の研究へと還元される。本論文は、$L^p_{X/\mathbb{Q}} \to \Omega^p_{X/\mathbb{Q}}$（ここで$L$は余接複体）の錐（cone）のコホモロジーを用いた$NK$群の分解を利用している。

主要な貢献と結果

• 高次Du BoisとK-正則性の関係（定理C）：
  本論文は、高次Du Bois特異性と$K$-正則性の間の双方向の関係を確立している。

  • 次元$d$の多様体$X$がDu Bois特異性を持つ場合、それは$K_{-d+1}$-正則である。
  • $X$がpre-$m$-Du Boisである場合、それは特異点の次元に依存する境界に基づく特定の$t$に対して$K_{-t}$-正則である。
  • 逆に、アフィン多様体（lciまたはケーラー微分形式に関する深さの条件を満たすもの）については、$K$-正則性はpre-$m$-Du Bois特異性を意味する。

• 最小指数による数値的特徴付け（定理A）：
  孤立特異点を持つ複素超曲面$X$（次元$d$）に対し、本論文はSaitoの最小指数$\tilde{\alpha}_X$を用いた$K_m$-正則性の数値的基準を提供している：
  $$X \text{ は } K_m\text{-正則} \iff \tilde{\alpha}_X \geq \left\lceil \frac{m+d}{2} \right\rceil.$$
  これにより、$x^2 + y^3 + z^7 = 0$のような特定の特異性に対する$K$-正則性の明示的な検出が可能となる。

• 強化されたVorstの予想（定理B）：
  アフィン局所完全交差に対して、$K_2$-正則性が正則性を導くことを証明する。これは、Vorstの元の予想（$K_{d+1}$-正則性を要求していたもの）を強化するものであり、また以前の拡張（正則性や特定の余次元境界を要求していたもの）を上回るものである。証明には、$m$-Du Bois特異性における特異点集合の余次元境界（$\text{codim } X_{\text{sing}} \geq 2m+1$）と、$NK$群の消滅から導かれる正則性基準が用いられている。

• 射影多様体と局所的対大域的正則性（定理D）：
  本論文は、Hodge-to-de Rhamスペクトル系列の退化を通じて、射影多様体の$K_m$-正則性を特徴付けている。具体的には、$X$が$K_m$-正則であるための必要十分条件は、写像$H^i(X, L^p_{X/F}) \to H^i(X, \Omega^p_{X/F})$が$i-p \geq -m+1$に対して同型であることである。
  この結果は、局所的な$K_m$-正則性が大域的な$K_m$-正則性を必ずしも意味しないことを示す例（Example 7.4）の構築に使用されており、アフィン形式には存在しない差異を浮き彫りにしている。

• Bassの問いとDu Bois不変量（セクション6）：
  本論文は、曲面におけるDu Bois不変量（$b_{p,q} = \dim H^q \underline{\Omega}^p$）を分類し、これを用いてBassの問い（$K_m(X) \cong K_m(X \times \mathbb{A}^1)$ならば$K_m(X) \cong K_m(X \times \mathbb{A}^2)$か？）に取り組んでいる：

  • 曲面の場合、答えは$b_{0,1}$と$b_{1,1}$が共にゼロであるか、あるいは共に非ゼロである場合に正となる。
  • 本論文は、$b_{0,1}$と$b_{1,1}$が任意の非負整数値を取るような曲面の例を構築しており、Bassの問いに対して正または負の答えを持つ新たな事例を提供している。
  • 孤立特異点を持つ斉次超曲面については、非正のK群に対してBassの問いが正であることを証明している。

意義
本論文は、標数ゼロにおける局所完全交差に対する「Vorstの予想の強化された形態」を提供し、正則性の閾値を$K_{d+1}$から$K_2$へと引き下げていると主張している。Hodge理論（Du Bois複体および最小指数を介して）と代数K理論を橋渡しすることで、本研究は$K$-正則な多様体の構成のための新しいツールを提供し、$\mathbb{A}^1$不変性の崩壊を理解するための手段となっている。得られた結果は、特異性の幾何学的性質（特に特異点の余次元および微分形式の振る舞い）が、スキームの代数的なK理論的性質をどのように決定するかという理解を精緻化するものである。論文は、非アフィン多様体に対する$K_2$-正則性に関するさらなる問いや、標数 $p > 0$ における高次F-注入性と$K$-正則性の関係についての問題を提起して締めくくられている。