[論文レビュー] Vanishing of top equivariant Chern classes of regular embeddings

Michel Brion, Ivan Kausz|ArXiv.org|Mar 10, 2005

Algebraic Geometry and Number Theory参考文献 8被引用数 4

ひとこと要約

本稿では、正則 $G$-多様体上の対数接ベクトル束の上位等化同相コホモロジー類についての消滅定理を確立し、$c_i^G(\Omega^1_X(\log D)) = 0$ が $i > \dim(X) - \operatorname{rk}(G) + \operatorname{rk}(H)$ を満たす場合に成り立つことを証明する。ここで $H$ は開 $G$-軌道の安定化部分群である。この結果は等化同相コホモロジーの技法と正則埋め込みの構造に依拠し、ギーゼッカーの退化プログラムを通じてベクトル束のモジュライ空間に応用される。

ABSTRACT

Let $G$ be a connected affine algebraic group and $X$ a regular $G$-variety (in the sense of Bifet-De Concini-Procesi) with open orbit $G/H$ and boundary divisor $D$. We show the vanishing of the $G$-equivariant Chern classes of the bundle of differential forms on $X$ with logarithmic poles along $D$, in degrees larger than $\dim(X) - k(G) + k(H)$. Our motivation comes from Gieseker's degeneration method to prove the Newstead-Ramanan conjecture on the vanishing of the top Chern classes of the moduli space of stable vector bundles on a curve.

研究の動機と目的

• 正則 $G$-多様体上の対数接ベクトル束の等化同相コホモロジー類に関する消滅結果を確立すること。
• ニューウェルズ＝ラマナン予想の高ランク一般化に適用可能な一般枠組みを提供すること。
• 安定ベクトル束のモジュライ空間に対するギーゼッカーの退化アプローチにおける重要な技術的段階を解決すること。
• ランク2およびランク3における既知の消滅結果を、等化同相コホモロジーを用いて任意のランクへ拡張すること。

提案手法

• [BDP] より、$H^*_{G}(X) \to \prod_Y H^*_{G}(Y)$ の制限写像の単射性を用い、問題を $G$-軌道に還元する。
• 命題3.4を適用し、$\Omega^1_X(\log D)|_Y$ を $\Omega^1_Y$ とランク $c$ の自明束（軌道 $Y$ のcodimensionに等しい）に帰着する。
• 補題3.3を活用し、安定化部分群のランクと次元を比較し、$\dim(G_y) - \operatorname{rk}(G_y) \geq \dim(H) - \operatorname{rk}(H)$ を保証する。
• 命題3.1を用い、$i > \dim(G) - \dim(G_y) - \operatorname{rk}(G) + \operatorname{rk}(G_y)$ のとき $c_i^G(\Omega^1_Y) = 0$ を示す。
• 不等式を組み合わせることで、消滅範囲 $i > \dim(X) - \operatorname{rk}(G) + \operatorname{rk}(H)$ を導出する。
• 結果をモジュライ空間の退化設定に適用し、$G = \operatorname{GL}_r \times \operatorname{GL}_r$ の場合にギーゼッカーのプログラムにおける帰納的段階を支援する。

実験結果

リサーチクエスチョン

• RQ1 正則 $G$-多様体において、対数接ベクトル束の上位等化同相コホモロジー類は、ある次数を超えて消えるか？
• RQ2 この消滅は、ベクトル束のモジュライ空間に対するギーゼッカーの退化法における帰納的段階を支援できるか？
• RQ3 モジュライ空間における安定束に対して、$r(r-1)(g-1)$ を超える次数でコホモロジー類が消える一般的メカニズムは存在するか？
• RQ4 安定化部分群の構造は、等化同相コホモロジー類の消滅範囲にどのように影響を与えるか？
• RQ5 ランク2およびランク3の範囲を超えて、等化同相コホモロジー技法を用いて任意のランクへこの消滅結果を拡張できるか？

主な発見

• 上位等化同相コホモロジー類 $c_i^G(\Omega^1_X(\log D))$ は、$i > \dim(X) - \operatorname{rk}(G) + \operatorname{rk}(H)$ のとき消える。ここで $H$ は開 $G$-軌道の安定化部分群である。
• この消滅は、正則 $G$-多様体 $X$ のすべての $G$-軌道 $Y = G \cdot y$ に対して成り立ち、問題を軌道レベルに還元する。
• 結果は、軌道コホモロジーへの制限写像の単射性と、軌道上での対数微分形式の構造に依拠して証明される。
• この境界は、安定束のモジュライ空間における既知の消滅範囲 $r(r-1)(g-1)$ と一致するため、鋭いものである。
• 等化同相コホモロジーと安定化部分群の表現論的境界を用いることで、特殊な吹き出し計算を回避する。
• この結果は、高ランクにおけるニューウェルズ＝ラマナン予想の帰納的証明における第一の含意を一様に証明する。