[논문 리뷰] Jump formulas in Hamiltonian Geometry

Paul-Émile Paradan|arXiv (Cornell University)|2004. 11. 13.

Advanced Algebra and Geometry참고 문헌 30인용 수 7

한 줄 요약

이 논문은 심플렉틱 다양체 위의 해밀턴 토르스 작용에서 Duistermaat-Heckman 측도와 리만-로흐 특성의 점프 공식을 수립한다. 정규 값의 인접한 챔버 간에 이러한 불변량의 차이에 대한 명시적 다항식 표현을 구하며, 축적된 공간과 정규 번들의 곡률 및 특성류를 사용하여 Guillemin-Lerman-Sternberg 및 Brion-Procesi의 이전 결과를 일반화한다.

ABSTRACT

This paper is concerned with the Hamiltonian actions of a torus on a symplectic manifold. We are interested here in two global invariants: the Duistermaat-Heckman measure DH(M), and the Riemann-Roch chatacters RR(M,L^k),k>0, which are defined when the symplectic manifold is prequantized by a Kostant-Souriau line bundle L. We can associate to each connected component C of regular values of the moment map the following local invariants: the polynomial DH_c which coincides with DH(M) on C, and the periodic polynomial m_c which computes the multiplicity of RR(M,L^k), k>0, in the cone generated by C. The purpose of this paper is to compute the differences DH_c - DH_c' and m_c - m_c' when C and C' are two adjacent connected components of regular values of the moment map.

연구 동기 및 목표

• 해밀턴 토르스 작용의 컴팩트 심플렉틱 다양체 위의 전반적 불변량을 이해하는 것, 특히 Duistermaat-Heckman 측도와 리만-로흐 특성.
• 모멘트 맵의 정규 값의 인접한 연결 성분을 넘어서면서 이러한 불변량이 어떻게 변화하는지 분석하는 것.
• 축적된 공간의 곡률 및 특성류를 통합하여 이전의 심플렉틱 기하학에서의 점프 공식을 일반화하는 것.
• 오비포르드 벡터 번들의 사용과 국소화 기법을 통해 챔버 간 군 표현의 중복도 차이에 대한 정확한 공식을 제공하는 것.

제안 방법

• 논문은 토르스 T를 TΔ × T/TΔ로 분해하며, 여기서 TΔ는 분리 초평면 Δ에 수직인 1차원 부분토르스이다.
• 감소된 공간 MΔξ = (Φ⁻¹(ξ) ∩ M^TΔ)/(T/TΔ)를 정의하고, 여기에 유도된 심플렉틱 형식 ΩΔξ와 곡률 형식 ωΔξ를 부여한다.
• Duistermaat-Heckman 측도의 점프는 MΔξ 위의 적분을 통해 표현되며, ΩΔξ + ⟨a′, ωΔξ⟩의 지수와 정규 번들의 N_Z의 특성류 αk로부터 구성된 다항식 P(a′′)를 포함한다.
• 다중도의 점프 m_c+(μ,k) − m_c−(μ,k)는 MΔξ 위의 오비포르드 벡터 번들 S^k_{Z,μ}의 리만-로흐 특성과 같다는 것이 보여진다.
• 구성은 β ∈ tΔ의 무한소 작용과 정규 번들의 작용에 대한 파프산에 기반하며, 안정자 집합의 크기 |S_Z|⁻¹을 포함한다.
• 이 방법은 국소화 기법과 오비포르드 K-이론을 적용하여 다중도의 점프를 감소된 공간 위의 번들에 대한 리만-로흐 특성과 연결한다.

실험 결과

연구 질문

• RQ1 정규 값의 인접한 챔버를 넘어서는 순간 Duistermaat-Heckman 측도는 어떻게 변화하는가?
• RQ2 모멘트 맵 이미지에서 인접한 챔버 간 T-표현의 중복도 차이에 대한 정확한 공식은 무엇인가?
• RQ3 감소된 공간과 정규 번들의 곡률 및 특성류는 불변량의 점프에 어떻게 기여하는가?
• RQ4 무한소 작용 β와 안정자 구조는 점프를 결정하는 데 어떤 역할을 하는가?
• RQ5 다중도의 점프는 감소된 공간 위의 자연스러운 번들에 대한 리만-로흐 특성으로 해석될 수 있는가?

주요 결과

• 인접한 챔버 간 Duistermaat-Heckman 측도의 점프는 다항식 적분으로 주어진다: (DH_c+ − DH_c−)(a+ξ) = |S_Z|⁻¹ / det^{1/2}_Z(−Lβ/(2π)) × ∫_{MΔξ} e^{ΩΔξ + ⟨a′,ωΔξ⟩} P(a′′), 여기서 P는 특성류 αk로부터 구성된 a′′에 대한 다항식이다.
• 다중도의 점프 m_c+(μ,k) − m_c−(μ,k)는 감소된 공간 위의 오비포르드 벡터 번들 S^k_{Z,μ}의 리만-로흐 특성 RR(MΔξ, S^k_{Z,μ})와 같다.
• −s_Z⁻ < ⟨μ,β⟩/(2π) − k rΔ < s_Z⁺ 일 때 다중도는 챔버 간에 동일하며, 이 경계에서 등호가 성립하지 않는 μ,k가 존재하므로 이 경계는 날카롭다.
• 정수 s_Z⁺ + s_Z⁻는 Z가 M에 대한 codimension의 절반을 초과하며, 이에 따라 점프 공식은 이러한 의미에서 최적이다.
• M = ℂ^d 이고 선형 해밀턴 작용일 경우, 벡터 분할 함수의 점프는 커플렉션으로 표현된다: P_c+(μ) − P_c−(μ) = ∑_{γ∈Λ*∩Δ} D(μ−γ) P_c′(γ), 여기서 D(μ)는 N_{R′}(μ+δ⁻)와 N_{−R′}(μ+δ⁺)를 통해 정의된다.
• 이 결과들은 Guillemin-Lerman-Sternberg 및 Brion-Procesi의 이전 작업을 일반화하며, SU(n)의 공대칭 궤도와 복소 벡터 공간에 적용되어 분할 함수 점프에 대한 정확한 공식을 도출한다.