[論文レビュー] On the specialization to the asymptotic cone

Mikhail Grinberg|ArXiv.org|May 7, 1998

Advanced Combinatorial Mathematics参考文献 8被引用数 14

ひとこと要約

この論文は、滑らかで無限遠に対して横断的である部分多様体 $X \subset \mathbb{C}^d$ について、近傍サイクルの perverse ファイバー層とそのコノーマル多様体の閉包 $Y \subset V^*$ の交差コホモロジー層との間に、幾何的フーリエ変換による同型が成り立つことを確立する。この同型は、$X$ が無限遠に対して横断的であるという条件下で成り立つ。主な結果は、特化層 $P_X$ のフーリエ変換が、$Y$ 上の局所系統 $\mathcal{L}$ による交差コホモロジー拡張 $\mathcal{IC}(Y^\circ, \mathcal{L})$ に一致することを示しており、漸近的幾何と層論的双対性の深い関係を明らかにする。

ABSTRACT

Let X be a smooth, connected, closed subvariety of a complex vector space V. The asymptotic cone as(X) is naturally equipped with a nearby cycles sheaf P coming from the specialization of X to as(X). We show that if X is transverse to infinity in a suitable sense, then the Fourier transform of P is an intersection homology sheaf.

研究の動機と目的

• 滑らかな部分多様体 $X \subset \mathbb{C}^d$ の近傍サイクル層とその漸近的錐との間に、幾何的フーリエ変換を用いて明確な関係を確立すること。
• 特化層 $P_X$ のフーリエ変換が、コノーマル多様体の閉包 $Y \subset V^*$ 上の交差コホモロジー層として特徴付けられることを示すこと。
• この対応関係が、位置ベクトルと接空間のなす角が有界であることを保証する「無限遠に対する横断性」条件のもとで成り立つことの証明。
• 線形形式の積の場合に、局所系統 $\mathcal{L}$ のランクを、オイラー特性とストラティフィケーションデータを用いて計算可能な枠組みを提供すること。

提案手法

• 漸近的錐 $\mathrm{as}(X)$ を $\lim_{\lambda \to 0} \lambda X$ として定義し、これは $V$ のコーン的部分多様体である。
• 近傍サイクルの perverse ファイバー層 $P_X$ を、$X$ を $\mathrm{as}(X)$ に特化させることで構成し、これは $\mathbb{C}^*$-コーン的である。
• 幾何的フーリエ変換関手 $\mathcal{F}$ を用いて $P_X$ を $V^*$ 上の perverse ファイバー層に写像し、その像を $\mathcal{IC}(Y^\circ, \mathcal{L})$ と特定する。
• 角の見積もりによる無限遠に対する横断性の証明：$\angle(x, T_xX) < k / \|x\|$ により、$X$ 上での微分のノルムが有界であることが保証される。
• 次元と線形形式の数に関する帰納法を用いて、$f = \prod l_i$ の場合に $Y = \overline{p_2(T_X^*V)}$ が $K^\perp$ に一致することを示す。ここで $K = \bigcap \ker l_i$ である。
• モース理論とオイラー特性の公式を用い、特徴的サイクルにおけるコノーマルバンドルの重複度 $m(S)$ を用いて、$\chi(X) = \sum (-1)^{c(S)} m(S)$ の形で $\mathcal{L}$ のランクを計算する。

実験結果

リサーチクエスチョン

• RQ1 滑らかで無限遠に対して横断的である部分多様体 $X \subset \mathbb{C}^d$ の近傍サイクル層 $P_X$ は、その漸近的錐およびコノーマル多様体とどのように関係するか？
• RQ2 幾何的フーリエ変換による $P_X$ の像は、コノーマル多様体の閉包 $Y \subset V^*$ 上の交差コホモロジー層として特定できるか？
• RQ3 $P_X$ のフーリエ変換が、局所系統 $\mathcal{L}$ に対して $\mathcal{IC}(Y^\circ, \mathcal{L})$ に同型であるための条件は何か？
• RQ4 線形形式の積の場合に、$\mathcal{L}$ のランクを組合せ論的にどのように計算できるか？
• RQ5 グロチェンディーク・スプリンガー解体が存在しない場合でも、スプリンガー理論のフーリエ変換記述は一般化可能か？

主な発見

• 近傍サイクル層 $P_X$ のフーリエ変換は、$Y = \overline{p_2(T_X^*V)}$ および $Y$ のザリスキ開部分集合上の局所系統 $\mathcal{L}$ に対して、交差コホモロジー拡張 $\mathcal{IC}(Y^\circ, \mathcal{L})$ に同型である。
• 次数 $m$ の一般な同次多項式 $f$ に対して、$\mathcal{L}$ のランクは $m(m-1)^{d-1}$ であり、$Y = V^*$ である。
• 線形形式の積 $f = \prod l_i$ の場合、コノーマル多様体の閉包 $Y$ は $K = \bigcap \ker l_i$ の直交補空間 $K^\perp$ に一致する。
• $\mathcal{L}$ のランクは、$P_X$ の特徴的サイクルにおける最小のストラトゥムの重複度 $m(K)$ に等しく、オイラー特性の公式 $\chi(X) = \sum (-1)^{c(S)} m(S)$ を用いて計算可能である。
• 複素単純リー代数における正規随伴軌道の場合、この定理は、グロチェンディーク・スプリンガー解体を必要とせずに、古典的なスプリンガー層が $P_X$ のフーリエ変換として回復されることを示している。
• この結果により、$P_X$ のすべての構造が単一の局所系統 $\mathcal{L}$ に符号化されていることが示され、交差コホモロジーが正確でないにもかかわらず $\mathrm{End}(P_X) \cong \mathrm{End}(\mathcal{L})$ が成り立つ。