[论文解读] Equivariant structure constants for ordinary and weighted projective space

Julianna Tymoczko|ArXiv.org|Jun 22, 2008

Advanced Combinatorial Mathematics参考文献 13被引用 5

一句话总结

本文通过将加权射影空间嵌入多项式环的直和中，计算了在不同环作用下的积分环面等变上同调环。它利用分差算子给出了普通射影空间等变上同调结构常数的显式公式，并通过施伯特类的标量倍数将该结果推广到加权射影空间，其关键成果是首次在文献中提出一个简洁优美的结构常数公式。

ABSTRACT

We compute the integral torus-equivariant cohomology ring for weighted projective space for two different torus actions by embedding the cohomology in a sum of polynomial rings $\oplus_{i=0}^n \Z[t_1, t_2,..., t_n]$. One torus action gives a result complementing that of Bahri, Franz, and Ray. For the other torus action, each basis class for weighted projective space is a multiple of the basis class for ordinary projective space; we identify each multiple explicitly. We also give a simple formula for the structure constants of the equivariant cohomology ring of ordinary projective space in terms of the basis of Schubert classes, as a sequence of divided difference operators applied to a specific polynomial.

研究动机与目标

• 计算在不同环作用下加权射影空间的积分环面等变上同调环。
• 在施伯特类基下，确定普通射影空间等变上同调环的结构常数。
• 通过将加权射影空间的等变上同调类表示为普通射影空间类的标量倍数，将上述结果推广到加权射影空间。
• 为普通射影空间中未见于现有文献的等变结构常数提供一个新颖且简洁的公式。

提出的方法

• 将加权射影空间的等变上同调嵌入直和多项式环 $\oplus_{i=0}^{n}\mathbb{Z}[t_0,\ldots,t_n]$ 中。
• 应用Goresky-Kottwitz-MacPherson (GKM) 理论，通过局部化技术计算上同调。
• 使用定义为 $\partial_i p = \frac{p(\ldots,t_{i+1},t_i,\ldots) - p(\ldots,t_i,t_{i+1},\ldots)}{t_i - t_{i+1}}$ 的分差算子 $\partial_i$ 表达结构常数。
• 识别将加权射影空间类与普通施伯特类关联的标量倍数 $\kappa_i^\lambda$。
• 应用公式 $c_{ij}^{k,\lambda} = \frac{\kappa_i^\lambda \kappa_j^\lambda}{\kappa_k^\lambda} c_{ij}^k$ 计算加权情形下的结构常数。
• 通过归纳法和分差算子的性质，证明在 $\alpha_k = t_k - t_{k+1}$ 基下系数的非负性。

实验结果

研究问题

• RQ1 在不同环作用下，加权射影空间的积分环面等变上同调环的结构是什么？
• RQ2 普通射影空间等变上同调的结构常数如何用施伯特类表示？
• RQ3 加权射影空间中的施伯特类与普通射影空间类之间的精确标量倍数是什么？
• RQ4 是否存在一个简洁且组合意义清晰的公式，用于表达射影空间中等变结构常数，且该公式尚未出现在现有文献中？
• RQ5 当以 $\alpha_k$ 基表示时，加权情形下的结构常数是否继承了普通情形的非负性性质？

主要发现

• 在 $H^*_{T}(\mathbb{P}^n)$ 中，结构常数 $c_{ij}^k$ 由 $c_{ij}^k = \partial_{k-1} \cdots \partial_j q$ 给出，其中 $c_{ij}^j = q$，且 $q = \prod_{\ell=0}^{i-1} (t_\ell - t_j)$。
• 该结构常数公式极为简洁，且在文献中似乎为首次出现，尽管类似公式在格拉斯曼流形中已知较为复杂。
• 对于 $T^\lambda$-等变上同调的 $w^\lambda\mathbb{P}^n$，每个基类是普通射影空间中对应施伯特类的标量倍数 $\kappa_i^\lambda$，且 $\kappa_i^\lambda$ 与川口在普通上同调中发现的标量一致。
• 加权情形下的结构常数为 $c_{ij}^{k,\lambda} = \frac{\kappa_i^\lambda \kappa_j^\lambda}{\kappa_k^\lambda} c_{ij}^k$，从而直接推广了普通情形。
• 当以变量 $\alpha_1 = t_1 - t_2, \ldots, \alpha_{n-1} = t_{n-1} - t_n$ 表示时，所有系数 $c_{ij}^k$ 均为具有非负整数系数的多项式，其非负性通过分差算子的归纳法得以证明。
• 非负性证明依赖于如下事实：$\partial_k c_{ij}^k = c_{ij}^{k+1}$，且 $s_k$ 对 $\alpha_k$ 的作用在归纳步骤中保持非负性。