Descendability and descent in topological weaves

技術的要約：位相的織物（Topological Weaves）における下降可能性と下降

問題提起
本論文は、[Kha] で導入された代数空間およびスタック上の六関数形式のための枠組みである、抽象的な「位相的織物（topological weaves）」に対して下降（descent）の性質を確立する問題に取り組んでいる。具体的には、様々な位相、特に $h$-位相（エタール全射および有限提示的な固有全射によって生成される）および $v$-位相（普遍的に亜入的な射）に対して、これらの形式が下降を満たすための条件を調査している。特定のコホモロジー理論（例：ねじれ係数を持つエタール・コホモロジー）については古典的な結果が存在するが、非良純（non-excellent）な底の上での、あるいは有理係数におけるモチーフ・層およびスペクトルの文脈において、$h$-下降のための一般的な基準を統一し、拡張する必要があった。

手法
核心となる手法の革新は、下降を直接研究することから、[Mat] に倣った**下降可能性（descendability）**という概念の研究へと転換したことにある。

• 下降可能性（Descendability）: 射 $f: Y \to X$ は、安定 $\infty$-圏 $D(X)$ における単位対象 $1_X$ が、余ファイバー、ファイバー、直和、およびテンソル積を含む有限個の操作の列を通じて $f_*(1_Y)$ から構成可能であるとき、「下降可能」であると定義される。これは「インデックス」$N$ によって定量化され、単位を再構成するために必要なチェッホ・ネルヴ（Čech nerve）の深さを示す。
• 基準: 本論文は、もしある織物が「単純な」被覆（有限エタールおよび有限ラディカル全射）に対して下降を満たすならば、それはすべての有限提示的な全射に対して下降を満たすことを示す。これは、代数空間の層化（stratifications）と織物の局所化の性質を利用した「ブートストラップ（bootstrapping）」の議論（定理 1.21）を通じて達成される。
• モチーフ・層への適用: 著者らはこの基準を特定のモチーフ的カテゴリーに適用する：
  • 有理モチーフ・層 ($SH_{\mathbb{Q},+}$): これらが $\mathbb{Q}$-線形であり、かつ向き付け可能（oriented）であるという事実を利用することで、任意の有限エタール被覆のオイラー標数は可逆となり、インデックス $\le 1$ の下降可能性が保証される。
  • エタール・モチーフ的スペクトル ($SH_{\text{ét}}$): 著者らは、残留体のエタール・コホモロジー次元が一様に有界な、ノーター型有限次元スキームの上での下降の性質を分析する。これには、剛性（rigidity）の結果と、2を反転させた後のスペクトルの「マイナス」部分の消滅を利用して、下降可能性を確立する。

主要な貢献と結果

1. 一般的下降基準 (定理 C): 本論文は、位相的織物 $D$ について、以下の条件が同値であることを証明する：

   • すべての有限提示的な qcqs 代数空間の全射は下降可能である。
   • すべての有限エタール全射およびすべての有限ラディカル全射は下降可能である。
     これにより、$h$-下降という複雑な問題を、2つの特定のクラスの射を検証することへと簡約化している。

2. 有理モチーフ・層の下降 (定理 A): プレ層 $SH_{\mathbb{Q},+}(-)$ は、すべての代数空間上で $v$-下降（したがって $h$-下降）を満たす。これは、Cisinski–Déglise による準良純（quasi-excellent）なスキームに関する既知の結果を、任意の代数空間へと拡張・回収するものである。

3. エタール・モチーフ的スペクトルの下降 (定理 B): プレ層 $SH_{\text{ét}}(-)$, $DA_{\text{ét}}(-;\Lambda)$, $DM_{\text{ét}}(-;\Lambda)$ は、残留体のエタール・コホモロジー次元が一様に有界なノーター型有限次元代数空間上で $h$-下降を満たす。後者については、任意の可換環 $\Lambda$ に対して成立する。2が係数において可逆でない場合、結果は $SH_{\text{ét}}[1/2]$ に対して成立する。

4. サポートの忘却に関する同型 (定理 D): 本論文は、有理モチーフ・層の文脈において、アルティン・スタックの固有射 $f$ に対する標準的な同型 $f_! \simeq f_*$ を構成する。

   • 文脈: これは、$f$ が Deligne–Mumura（DM）スタックによって表現される場合、または $f$ が緩やかな（tame）相対慣性を持ち、底が等標数である場合に適用される。
   • 意義: これは、[Kha3] 等の先行研究における、$f_!$ と全化（totalization）の可換性が正当化なしに仮定されていたギャップを解消する。著者らは、被覆射が下降可能であるため、$f_!$ のような完全関手が全化と可換になることを示し、それによってこの同型を正当化している。

意義と主張
本論文は、下降可能性に焦点を当てることが、標準的な下降と比較して明確な利点を持つと主張している：

• 関手性: これは、チェッホ全化 $F \simeq \text{Tot}(f_{\bullet, *} f_\bullet^* F)$ が、極限を保存する関手だけでなく、あらゆる完全関手によって保存されることを保証する。これは $f_! \simeq f_*$ の同型を証明する上で極めて重要である。
• 安定性: 下降可能性は対称モノイダル関手によって保存されるため、普遍的な位相的織物 ($SH$) から特定の向き付けられた$\mathbb{Q}$-線形な織物へと結果を転送することが可能となる。
• 一般性: これらの結果は、エタールの場合に残留体のコホモロジー次元が有界であるという条件を除けば、底スキームが準良純である必要なく、代数空間およびスタックに適用される。

本研究は、様々なモチーフ的カテゴリーの下降理論を統一し、両方の（有理および整数の）係数を扱う（特定の制約の下で）堅牢な枠組みを提供し、アルティン・スタックの設定へと自然に拡張するものである。