[论文解读] Frobenius splitting and Möbius inversion

Allen Knutson|ArXiv.org|Feb 11, 2009

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

一句话总结

本文建立了一种计算弗罗贝尼乌斯分裂概形的 $K$-同调类的公式，通过在子概形的偏序集上使用莫比乌斯反演，将其表示为子概形的交错和。关键结果推广至 $G/P$ 格尔辛格流形，表明无重数子概形的 $K_0$-类由施鲁特概形上的莫比乌斯反演给出，将布里翁的退化结果推广至 $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).

研究动机与目标

• 提供一种利用子概形偏序集上莫比乌斯反演计算弗罗贝尼乌斯分裂概形基本类的 $K$-同调公式。
• 将该公式推广至 $G/P$ 格尔辛格流形，其中子概形的楚瓦类是施鲁特类的无重数和。
• 证明此类子概形的 $K_0$-类等于施鲁特概形类的莫比乌斯反演和。
• 将结果应用于计算循环布吕赫特分解中闭层的 $K$-类，并为布赫的 $K$-理论型小林-理查森法则在无重数情形下给出新证明。

提出的方法

• 定义一个在交集和分量分解下封闭的不可约子概形的偏序集 $\mathcal{P}$。
• 利用 $\mathcal{P}$ 上的莫比乌斯函数 $\mu_{\mathcal{P}}$，将 $K$-同调类 $[X]$ 表示为 $\sum_{A \in \mathcal{P}} \mu_{\mathcal{P}}(A) [A]$。
• 将该公式应用于 $G/P$ 格尔辛格流形，其中 $X$ 是其楚瓦类关于施鲁特类为无重数和的子概形。
• 利用布里翁的结果：此类 $X$ 扁化为施鲁特概形的约化并集，且保持 $K$-类。
• 利用弗罗贝尼乌斯分裂确保子概形交集仍为约化，从而使莫比乌斯反演适用。
• 验证若 $G$ 保持子概形，则 $G$-等变 $K$-同调类也满足相同公式。

实验结果

研究问题

• RQ1 如何将弗罗贝尼乌斯分裂概形的 $K$-同调类表示为对其子概形的莫比乌斯反演和？
• RQ2 何种条件可确保偏序集中子概形交集仍为约化，从而使莫比乌斯反演可用于计算 $K$-类？
• RQ3 能否通过施鲁特概形上的莫比乌斯反演计算旗流形 $G/P$ 中无重数子概形的 $K_0$-类？
• RQ4 子概形扁化为施鲁特概形并集时，在无重数情形下是否保持其 $K$-类？
• RQ5 当群作用于子概形时，$K$-类公式是否与 $G$-等变性兼容？

主要发现

• 对于具有交集-分解性质且交集为约化的约化概形 $X$，其 $K$-同调类 $[X]$ 由 $[X] = \sum_{A \in \mathcal{P}} \mu_{\mathcal{P}}(A) [A]$ 给出，其中 $\mathcal{P}$ 是在交集和分量分解下封闭的子概形偏序集。
• 当 $X$ 为弗罗贝尼乌斯分裂时，所有交集 $A \cap \bigcup_i B_i$ 均为约化，满足莫比乌斯反演的关键条件。
• 对于 $G/P$ 中楚瓦类为无重数和 $[X]_{\text{Chow}} = \sum_{d \in D} [X_d]_{\text{Chow}}$ 的无重数子概形 $X$，其 $K_0$-类满足 $[X] = \sum_{X_e \subseteq \bigcup_{d \in D} X_d} \mu_{\mathcal{P}}(X_e) [X_e]$，其中 $\mathcal{P}$ 为并集中施鲁特概形的集合。
• 该公式在普通 $K$-同调与 $G$-等变 $K$-同调中均成立，前提是 $G$ 保持子概形。
• 该结果通过施鲁特概形上的莫比乌斯反演，为布赫的 $K$-理论型小林-理查森法则在无重数情形下提供了新证明。
• 该方法可应用于计算循环布吕赫特分解中闭层的 $K$-类，后续工作已展示其应用。