[論文レビュー] Frobenius splitting and Möbius inversion

Allen Knutson|ArXiv.org|Feb 11, 2009

Algebraic Geometry and Number Theory参考文献 7被引用数 5

ひとこと要約

本稿では、Frobenius分裂スキームの$K$-ホモロジー類を、部分多様体のposetにおけるモービウス反転を用いて、非可約部分多様体の交項和として表す公式を確立する。主な結果は$G/P$フラッグ多様体へ一般化され、重複のない部分多様体の$K_0$-類が、シューベルト多様体におけるモービウス反転によって与えられることを示し、Brionの退化結果を$K$-ホモロジーへ拡張する。

ABSTRACT

We show that the fundamental class in K-homology of a Frobenius split scheme can be computed as a certain alternating sum over irreducible varieties, with the coefficients computed using Möbius inversion on a certain poset. If G/P is a generalized flag manifold and X is an irreducible subvariety homologous to a multiplicity-free union of Schubert varieties, then using a result of Brion we show how to compute the K_0-class [X] in K_0(G/P) from the Chow class in A_*(G/P).

研究の動機と目的

• Frobenius分裂スキームの基本類に対する$K$-ホモロジー公式を、部分多様体のposetにおけるモービウス反転を用いて導出すること。
• この公式を$G/P$フラッグ多様体へ拡張し、部分多様体のチャウ類がシューベルト類の重複のない和として表せることを示すこと。
• このような重複のない部分多様体の$K_0$-類が、シューベルト多様体におけるモービウス反転の和に等しいことを示すこと。
• 結果を用いて、循環的ブルハート分解における閉ストラトの$K$-類を計算し、バッチの$K$-的Littlewood-Richardson規則の重複のない場合に対する新しい証明を与えること。

提案手法

• 部分多様体のposet $\mathcal{P}$ を定義し、その交わりと成分分解に関して閉じているものとする。
• poset $\mathcal{P}$ におけるモービウス関数 $\mu_{\mathcal{P}}$ を用いて、$K$-ホモロジー類 $[X]$ を $\sum_{A \in \mathcal{P}} \mu_{\mathcal{P}}(A) [A]$ として表現する。
• $G/P$フラッグ多様体にこの公式を適用し、$X$ がシューベルト類の重複のない和として表されるチャウ類を持つ部分多様体である場合を扱う。
• Brionの結果を活用し、このような$X$ が平坦にシューベルト多様体の非退化和へ退化することを示し、$K$-類が保存されることを保証する。
• Frobenius分裂を用いて、部分多様体の交わりが常に非退化であることを保証し、モービウス反転が適用可能になるようにする。
• 群$G$が部分多様体を保存する場合、$G$--equivariant $K$-ホモロジー類も同様の公式を満たすことを確認する。

実験結果

リサーチクエスチョン

• RQ1 Frobenius分裂スキームの$K$-ホモロジー類は、その部分多様体におけるモービウス反転の和としてどのように表現できるか？
• RQ2 poset内の部分多様体の交わりが非退化のまま保たれるための条件は何か？ これによりモービウス反転が$K$-類の計算に適用可能になる。
• RQ3 $G/P$フラッグ多様体における重複のない部分多様体の$K_0$-類は、シューベルト多様体におけるモービウス反転によって計算可能か？
• RQ4 部分多様体がシューベルト多様体の和へ平坦に退化する場合、重複のない場合に$K$-類は保存されるか？
• RQ5 群が部分多様体に作用する場合、$K$-類の公式は$G$--equivarianceと整合性を保つか？

主な発見

• 交わりと成分分解に関して閉じた部分多様体のposet $\mathcal{P}$ に対して、交わりが非退化で、交わる性質を持つ非可約スキーム$X$ の$K$-ホモロジー類は、$[X] = \sum_{A \in \mathcal{P}} \mu_{\mathcal{P}}(A) [A]$ で与えられる。
• $X$ がFrobenius分裂である場合、すべての交わり $A \cap \bigcup_i B_i$ が非退化であるため、モービウス反転に必要な主要条件が満たされる。
• チャウ類 $[X]_{\text{Chow}} = \sum_{d \in D} [X_d]_{\text{Chow}}$ を持つ重複のない部分多様体 $X \subset G/P$ に対して、$K_0$-類は $[X] = \sum_{X_e \subseteq \bigcup_{d \in D} X_d} \mu_{\mathcal{P}}(X_e) [X_e]$ を満たす。ここで $\mathcal{P}$ は和集合内のシューベルト多様体の集合である。
• 公式は、通常の$K$-ホモロジーおよび$G$-equivariant $K$-ホモロジーの両方で成り立ち、$G$ が部分多様体を保存する限り成立する。
• 本結果により、シューベルト多様体におけるモービウス反転を用いて、バッチの$K$-的Littlewood-Richardson規則の重複のない場合に対する新しい証明が得られる。
• 本手法は、後続の研究で示されるように、循環的ブルハート分解における閉ストラトの$K$-類を計算するのにも適用可能である。