[論文レビュー] Homological stability for complements of closures

Alexander Kupers, Jeremy Miller|arXiv (Cornell University)|Dec 22, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 3

ひとこと要約

この論文は、VakilとWood（2012）の予想Fを証明し一般化し、次元が2以上の連結な多様体の対称べきにおける特異的層の補集合について、有理ホモロジー安定性を確立する。転送写像と半単体的チェイン複体上のスペクトル系列を用いて、多様体の可定向性とホモロジー的性質に依存する明示的なホモロジー安定性範囲を導出する。

ABSTRACT

We prove Conjecture F from [VW12] which states that the complements of closures of certain strata of the symmetric power of a smooth irreducible complex variety exhibit rational homological stability. Moreover, we generalize this conjecture to the case of connected manifolds of dimension at least 2 and give an explicit homological stability range.

研究の動機と目的

• VakilとWood（2012）の予想Fを証明する。この予想は、滑らかな複素代数的多様体の対称べきにおける層の閉包の補集合について、有理ホモロジー安定性を予想している。
• この予想を複素多様体から次元が2以上の任意の連結多様体へ一般化する。
• これらの補集合空間の有理ホモロジーの明示的なホモロジー安定性範囲を提供する。
• 有界対称べきについてのホモロジー安定性の新しい証明を提示し、既知の安定性範囲を改善する。
• モチーフ的ゼータ関数に由来する動機づけに基づき、ホモロジー安定性と多様体のグロテンディーク環における安定性との間の構造的関係を確立する。

提案手法

• $k$ の分割 $\rho$ に対し、$\mathrm{Sym}_k(M)$ 内の層 $S_{\rho}(M)$、その閉包 $D_{\rho}(M)$、および補集合 $W_{\rho}(M)$ を定義する。
• 境界を持つ多様体に対して、「無限遠から粒子を引き込む」ことで、$t: W_{1^j\lambda}(M) \to W_{1^{j+1}\lambda}(M)$ という安定化写像を構成する。
• ホモロジー同型を誘導する主な道具として、転送写像 $\tau: H_i(W_{1^{j+1}\lambda}(M);\mathbb{Q}) \to H_i(W_{1^j\lambda}(M);\mathbb{Q})$ を用いる。
• $W_{1^j\lambda}(M)$ の解体に有理スムーズチェインを適用し、$C_*(\tilde{\mathcal{W}}_\bullet(j);\mathbb{Q})$ という半単体的チェイン複体を構成し、$C_*(W_{1^j\lambda}(M);\mathbb{Q})$ への増幅を形成する。
• 幾何的実現のホモロジーに収束するスペクトル系列を用い、$j$ と $j+1$ の間でホモロジー群を比較する。この際、増幅写像の繊維がコンパクトであることに依存する。
• 転送写像が、$i \leq f^{\mathrm{or}}_{M,\lambda}(j)$ または $i \leq f^{\mathrm{nor}}_{M,\lambda}(j)$ の範囲でスペクトル系列の $E^1$-頁上で同型を誘導することを確立し、主な安定性結果に至る。

実験結果

リサーチクエスチョン

• RQ1 次元 $\geq 2$ の連結多様体の対称べきにおける特異的層の補集合は、有理ホモロジー安定性を示すか？
• RQ2 このような補集合の安定性範囲は、多様体のトポロジーと分割 $\lambda$ の観点から明示的に定量化可能か？
• RQ3 転送写像は、有界対称べきについて既存の結果を一般化・改善する範囲で、有理ホモロジー同型を誘導するか？
• RQ4 モチーフ的ゼータ関数に由来する動機づけに基づき、ホモロジー安定性とグロテンディーク環における安定性との間に構造的関係が存在するか？
• RQ5 可定向性はホモロジー安定性範囲にどのように影響し、$a$ までで削除された有理ホモロジー群が消えるという性質は、何の役割を果たすか？

主な発見

• この論文は予想Fを証明する：任意の既約的滑らかな複素多様体 $X$ に対して、$j \to \infty$ のとき、$W_{1^j\lambda}(X)$ の有理ホモロジーは固定された次数で安定する。
• 次元 $d \geq 2$ の連結多様体 $M$ に対して、可定向な場合、$i \leq f^{\mathrm{or}}_{M,\lambda}(j)$ で $H_i(W_{1^j\lambda}(M);\mathbb{Q})$ が同型となり、非可定向な場合、$i \leq f^{\mathrm{nor}}_{M,\lambda}(j)$ で同型となる。
• 安定性範囲は明示的に $f^{\mathrm{or}}_{M,\lambda}(j) = (a+1)j - b$ で与えられ、ここで $a$ は $\tilde{H}_i(M;\mathbb{Q}) = 0$ となる最大の整数 $i \leq a$ であり、$b$ は $\lambda$ に依存する。
• 可定向な場合、安定性範囲の勾配は $a+1$ であり、$a < \dim M - 1$ である。この範囲は、有界対称べきについての既存の結果を改善する。
• 可定向な $M$ で $\dim M > 2$ の場合、$\mathrm{Sym}_k^{\leq c}(M)$ の安定性範囲は $i \leq k-1$ である。$\dim M = 2$ の場合、$i \leq \min(k-1, c-4+k)$ である。
• 増幅写像 $||\tilde{\mathcal{W}}_\bullet(j)|| \to \tilde{W}_{1^j\lambda}(M)$ は弱同値であり、その繊維はコンパクトである。これはスペクトル系列の議論にとって不可欠である。