[論文レビュー] Shadows of characteristic cycles, Verma modules, and positivity of Chern-Schwartz-MacPherson classes of Schubert cells

Paolo Aluffi, Leonardo C. Mihalcea+2 more|arXiv (Cornell University)|Sep 25, 2017

Geometry and complex manifolds参考文献 3被引用数 37

ひとこと要約

本稿は、旗多様体におけるシューベルト胞体のチャーン＝シュワルツ＝マクフィソン（CSM）クラスと、ホロノミック・ヴェルマ・$\mathcal{D}_X$-加群の特徴的サイクルの間の深い関係を、等置コホモロジーにおける「シャドウ」の概念を通じて確立する。同論文は、均質化された等置コホモロジー的CSMクラスが余接バンドルのゼロセクションによる引き戻しとして表せることを示し、CSMクラスの正値性を導く——アルッフィとミハルチェの予想を裏付ける——さらに、カジマラ＝ルストゥルツィグクラスおよびメイザークラスへの拡張を図り、旗多様体設定におけるCSMクラスとスタビライズド・エンベロープの一致を特定する。

ABSTRACT

Chern-Schwartz-MacPherson (CSM) classes generalize to singular and/or noncompact varieties the classical total homology Chern class of the tangent bundle of a smooth compact complex manifold. The theory of CSM classes has been extended to the equivariant setting by Ohmoto. We prove that for an arbitrary complex projective manifold $X$, the homogenized, torus equivariant CSM class of a constructible function $φ$ is the restriction of the characteristic cycle of $φ$ via the zero section of the cotangent bundle of $X$. This extends to the equivariant setting results of Ginzburg and Sabbah. We specialize $X$ to be a (generalized) flag manifold $G/B$. In this case CSM classes are determined by a Demazure-Lusztig (DL) operator. We prove a `Hecke orthogonality' of CSM classes, determined by the DL operator and its Poincar{é} adjoint. We further use the theory of holonomic $\mathcal{D}_X$-modules to show that the characteristic cycle of a Verma module, restricted to the zero section, gives the CSM class of the corresponding Schubert cell. Since the Verma characteristic cycles naturally identify with the Maulik and Okounkov's stable envelopes, we establish an equivalence between CSM classes and stable envelopes; this reproves results of Rim{á}nyi and Varchenko. As an application, we obtain a Segre type formula for CSM classes. In the non-equivariant case this formula is manifestly positive, showing that the expansion in the Schubert basis of the CSM class of a Schubert cell is effective. This proves a previous conjecture by Aluffi and Mihalcea, and it extends previous positivity results by J. Huh in the Grassmann manifold case. Finally, we generalize all of this to partial flag manifolds $G/P$.

研究の動機と目的

• 旗多様体におけるシューベルト胞体の等置コホモロジー的チャーン＝シュワルツ＝マクフィソン（CSM）クラスの幾何的実現を、特徴的サイクルを通じて確立すること。
• CSMクラスの正値性を証明し、アルッフィとミハルチェの予想を裏づけること。
• 特徴的サイクルのシャドウを用いて、特徴的サイクルのラグランジュ的モデルを等置設定に拡張すること。
• 旗多様体および部分旗多様体の文脈において、CSMクラスとスタビライズド・エンベロープを統一すること。
• セグレ＝マクフィソンおよびCSMクラスに関する結果を任意の旗多様体に一般化し、デマール＝ルストゥルツィグ作用素を用いて直交性関係を確立すること。

提案手法

• 著者らは、等置コホモロジーにおける特徴的サイクルの「シャドウ」を定義し、余接バンドルのゼロセクションに沿った引き戻しを通じて、均質化されたCSMクラスと関連付ける。
• セグレ作用素を用いて、可解関数のCSMクラスとその関連する$\mathcal{D}$-加群の特徴的サイクルとの関係を確立する。
• 主な技術的道具は、対角埋め込みにおける特徴的サイクルの非特徴的引き戻しであり、これにより交差論的計算が可能になる。
• 理論は、$G/B$ としての旗多様体に特化され、CSMクラスはデマール＝ルストゥルツィグ作用素とその随伴作用素を用いて計算される。
• 著者らは、CSMクラスとセグレ＝マクフィソンクラスの間の「ヘッケ直交性」と「幾何的直交性」を証明し、CSMクラスが特徴的サイクルのセグレクラスとして表せることを導く。
• 局所化および特徴的サイクル技法を用いて、旗多様体設定におけるCSMクラスとスタビライズド・エンベロープの同値性を確立し、リマニーよりもヴァルチェンコの結果を特徴的サイクルの手法で再証明する。

実験結果

リサーチクエスチョン

• RQ1 旗多様体におけるシューベルト胞体の等置CSMクラスは、関連する$\mathcal{D}_X$-加群の特徴的サイクルとどのように関係しているか？
• RQ2 均質化されたCSMクラスの幾何的意味は、余接バンドルのゼロセクションによる引き戻しとしてどのように特定されるか？
• RQ3 特徴的サイクル理論とヴェルマ加群を用いて、シューベルト胞体のCSMクラスの正値性を証明できるか？
• RQ4 旗多様体および部分旗多様体の文脈において、CSMクラスはスタビライズド・エンベロープとどのように関係しているか？
• RQ5 デマール＝ルストゥルツィグ作用素とその随伴作用素は、CSMクラスとセグレ＝マクフィソンクラスの直交性および双対性において果たす役割は何か？

主な発見

• 可解関数の均質化された等置CSMクラスは、その特徴的サイクルを余接バンドルのゼロセクションに沿って引き戻したものに等しい。
• シューベルト胞体のCSMクラスは、ホロノミック・ヴェルマ$\mathcal{D}_X$-加群の特徴的サイクルのセグレクラスとして表現される。
• 本稿は、旗多様体におけるシューベルト胞体のCSMクラスの正値性を証明し、アルッフィとミハルチェの予想を裏づける。
• シューベルト多様体のカジマラ＝ルストゥルツィグクラスが有効的であることが示され、正値性結果がこれらの不変量へと拡張される。
• CSMクラスとセグレ＝マクフィソンクラスの間の幾何的直交性関係が確立され、シューベルトクラスとCSMクラスの間の遷移行列の公式が導かれる。
• 著者らは、旗多様体設定においてCSMクラスとスタビライズド・エンベロープの同値性を確立し、リマニーよりもヴァルチェンコの結果を特徴的サイクルの手法により再証明する。