[논문 리뷰] Towards Generalizing Schubert Calculus in the Symplectic Category

Rebecca Goldin, Susan Tolman|ArXiv.org|2009. 04. 08.

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

한 줄 요약

이 논문은 해밀턴 토르스 작용에 의해 고립된 고정점을 가지는 컴actsymplectic다양체의 등변 cohomology에서의 표준 클래스에 대한 새로운 제약 공식을 제안한다. 일반적인 모멘트 맵 성분과 GKM 그래프 자료를 활용하여, 이러한 클래스를 고정점으로 제약하는 명백히 양수인 유리수 공식을 제공하며, 등변 슈부르트 계산을 일반화하고, 색인 증가하는 모멘트 맵을 가진 GKM의 경우 정수 표준 클래스의 존재를 증명한다.

ABSTRACT

The main purpose of this article is to extend some of the ideas from Schubert calculus to the more general setting of Hamiltonian torus actions on compact symplectic manifolds with isolated fixed points. Given a generic component of the moment map, we define a canonical class α_p in the equivariant cohomology of the manifold M for each fixed point p of M. When they exist, canonical classes form a natural basis of the equivariant cohomology of M; in particular, when M is a flag variety, these classes are the equivariant Schubert classes. We show that the restriction of a canonical class α_p to a fixed point q can be calculated by a rational function which depends only on the value of the moment map, and the restriction of other canonical classes to points of index exactly two higher. Therefore, the structure constants can be calculated by a similar rational function. Our restriction formula is manifestly positive in many cases, including when M is a flag manifold. Finally, we prove the existence of integral canonical classes in the case that M is a GKM manifold the moment map component is index increasing. In this case, our restriction formula specializes to an easily computable rational sum which depends only on the GKM graph.

연구 동기 및 목표

• 해밀턴 토르스 작용에 의해 고립된 고정점을 가지는 일반적인 컴팩트 심플렉틱 다양체로 슈부르트 계산을 플래그 다양체를 초월해 확장하는 것.
• 등변 슈부르트 클래스를 일반화하는 등변 cohomology에서의 표준 클래스를 정의하는 것.
• 모멘트 맵 값과 GKM 그래프 자료만을 사용하여 이러한 클래스에 대한 계산 가능한, 명백히 양수인 제약 공식을 유도하는 것.
• GKM이면서 모멘트 맵 성분이 색인 증가하는 경우, 정수 표준 클래스의 존재를 증명하는 것.
• 등변 cohomology 환의 구조 상수를 체계적으로 계산하는 방법을 제공하는 것.

제안 방법

• 고정점 p에서의 양수의 무게의 곱으로 제약되며, λ(q) ≤ λ(p)인 모든 고정점 q에서 0이 되는 등변 cohomology 클래스 αₚ ∈ H_T^{2λ(p)}(M;ℚ)로 표준 클래스를 정의한다.
• 지수 λ(p)와 음성 정규 방향 벡터장 무게를 정의하기 위해 모멘트 맵의 일반적인 성분 Ψ = Φ^ξ 를 모스 함수로 사용한다.
• Ψ 값과 인덱스가 r보다 두 단계 높은 r'에 대한 α_r(r')의 제약에만 의존하는 αₚ(q)에 대한 유리수 제약 공식을 유도한다.
• GKM 그래프가 특정 양수 조건을 만족할 경우, 제약 공식이 명백히 양수가 됨을 증명하며, 플래그 다양체의 경우도 포함된다.
• 商공간에서의 업그레이드 구조를 통해, 색인 증가하는 모멘트 맵을 가진 GKM의 경우 정수 표준 클래스의 존재를 확립한다.
• GKM 다양체에 대해 공식을 특수화하여, 제약을 GKM 그래프의 경로에 대한 유리수 합으로 표현하며, 이는 에지 무게와 모멘트 맵 값에만 의존한다.

실험 결과

연구 질문

• RQ1 플래그 다양체를 초월하여 고립된 고정점을 가지는 일반적인 심플렉틱 다양체에 대해 등변 cohomology에서 표준 클래스를 정의할 수 있는가?
• RQ2 모멘트 맵 값과 GKM 그래프 구조에만 의존하는 표준 클래스의 제약 공식이 존재하는가?
• RQ3 자연적인 기하학적 설정에서 이 제약 공식을 명백히 양수로 만들 수 있는가?
• RQ4 GKM 설정에서 정수 표준 클래스가 존재하는 조건은 무엇인가?
• RQ5 등변 cohomology 환의 구조 상수는 제약 데이터로부터 어떻게 계산할 수 있는가?

주요 결과

• 표준 클래스 αₚ 가 고정점 q로 제약되는 것은, Ψ 값과 인덱스가 r보다 두 단계 높은 r'에 대한 α_r(r')에만 의존하는 유리함수로 주어진다.
• 많은 경우, 특히 M 이 플래그 다양체일 경우, 제약 공식은 명백히 양수이며, 양수의 모멘트 맵 차이와 양수의 무게 덕분이다.
• 색인 증가하는 모멘트 맵을 가진 GKM의 경우, 정수 표준 클래스가 존재하며, 제약 공식은 GKM 그래프의 경로에 대한 유리수 합으로 단순화된다.
• 플래그 다양체 Fl(ℂⁿ)의 경우, 제약 공식은 모든 항이 양수이며, 모든 모멘트 맵 차이와 무게가 양수이기 때문이다.
• 카이러 구조를 갖지 않는 GKM 다양체에서도, 일부 고정점으로의 제약이 음수가 되는 경우가 존재하며, 이는 음수의 Θ(p,q) 값에 의해 보여진다.
• 등변 cohomology 환의 구조 상수 c_pq^r 는 제약 데이터로부터 공식 α_p α_q = ∑_r c_pq^r α_r 를 통해 계산할 수 있다.