[논문 리뷰] Equivariant structure constants for ordinary and weighted projective space

Julianna Tymoczko|ArXiv.org|2008. 06. 22.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 5

한 줄 요약

이 논문은 다항식 링의 합에 통합하여 다양한 토르스 작용 하에서 가중 투영 공간의 적분 토르스-등변 코homology 링을 계산한다. 분할 차분 연산자를 사용하여 일반 투영 공간의 등변 코homology의 구조 상수에 대한 명시적 공식을 제공하며, 이를 스chu버트 클래스의 스칼라 배수를 통해 가중 투영 공간으로 확장한다. 주요 결과로는 기존 문헌에서 발견되지 않은, 간단하고 우아한 공식을 통해 구조 상수를 표현하는 것이며, 이는 새로운 것으로 간주된다.

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.

연구 동기 및 목표

• 다양한 토르스 작용 하에서 가중 투영 공간의 정수 토르스-등변 코homology 링을 계산하기 위해.
• 일반 투영 공간의 등변 코homology 링의 구조 상수를 스chu버트 클래스 기저에 대해 식별하기 위해.
• 가중 투영 공간의 등변 코homology 클래스를 일반 투영 공간 클래스의 스칼라 배수로 표현하여 이러한 결과를 확장하기 위해.
• 기존 문헌에 기록되지 않은, 간결한 공식을 통해 일반 투영 공간에서의 등변 구조 상수를 제공하기 위해.

제안 방법

• 가중 투영 공간의 등변 코homology를 직접 합 $\oplus_{i=0}^{n}\mathbb{Z}[t_0,\ldots,t_n]$에 통합한다.
• Goresky-Kottwitz-MacPherson (GKM) 이론을 적용하여 국소화 기법을 사용해 코homology를 계산한다.
• 분할 차분 연산자 $\partial_i$를 $\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}}$ 로 정의하여 구조 상수를 표현한다.
• 가중 투영 공간 클래스와 일반 스chu버트 클래스 사이의 스칼라 배수 $\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 다양한 토르스 작용 하에서 가중 투영 공간의 정수 토르스-등변 코homology 링의 구조는 무엇인가?
• RQ2 일반 투영 공간의 등변 코homology의 구조 상수는 스chu버트 클래스 기저에 대해 어떻게 표현될 수 있는가?
• RQ3 가중 투영 공간의 스chu버트 클래스와 일반 투영 공간의 스chu버트 클래스 사이의 정확한 스칼라 배수는 무엇인가?
• 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-등변 코homology의 $w^\lambda\mathbb{P}^n$ 에서는 각 기저 클래스가 일반 스chu버트 클래스에 대한 스칼라 배수 $\kappa_i^\lambda$ 이며, $\kappa_i^\lambda$ 는 카와사키의 일반 코homology에서 발견한 스칼라와 일치한다.
• 가중 경우의 구조 상수는 $c_{ij}^{k,\lambda} = \frac{\kappa_i^\lambda \kappa_j^\lambda}{\kappa_k^\lambda} c_{ij}^k$ 로 주어지며, 이는 일반 경우의 직접적인 확장이다.
• 모든 계수 $c_{ij}^k$ 는 $\alpha_1 = t_1 - t_2, \ldots, \alpha_{n-1} = t_{n-1} - t_n$ 변수 기저에서 다항식으로서 음이 아닌 정수 계수를 가지며, 분할 차분 연산자의 성질과 귀납법을 통해 증명된다.
• 비음성의 증명은 $\partial_k c_{ij}^k = c_{ij}^{k+1}$ 이고, $s_k$ 가 $\alpha_k$ 에 작용할 때 귀납 단계에서 비음성을 유지한다는 사실에 기반한다.