[논문 리뷰] The cohomology rings of abelian symplectic quotients

Susan Tolman, Jonathan Weitsman|ArXiv.org|1998. 07. 30.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 25

한 줄 요약

이 논문은 모멘트 맵의 모스 이론과 고정점 자료를 이용하여 아벨 심플렉틱 몫의 유리수 코homology 링에 대한 명시적 공식을 제공한다. 키워드는 기약 맵의 핵을 고정점 자료와 모스 이론을 통해 표현하는 것으로, 특정 조건 하에서 코homology 링의 계산과 토크션-프리 조건을 증명하는 데 기여하는 짧은 정확한 수열을 제공한다.

ABSTRACT

Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain cases these methods enable us to show that the cohomology of the reduced space is torsion-free.

연구 동기 및 목표

• 해밀토니안 토루스 작용에서 유도된 심플렉틱 몰입의 기약 맵의 핵을 유리수 코homology에서 결정하는 것.
• 등변 코homology와 고정점 자료를 이용하여 심플렉틱 몰입의 코homology 링을 체계적으로 계산하는 방법을 제공하는 것.
• 감소된 공간의 정수 코homology가 토크션-프리가 되는 조건을 설정하는 것.
• 모스 이론적 기법을 통해 비아벨 국소화 원리를 일반화하고 명시적으로 표현하는 것.

제안 방법

• 모멘트 맵의 제곱 노름인 함수 $||\phi||^2$ 에 모스 이론을 적용하여 수준집합의 위상구조를 분석하는 것.
• 모스 함수 $\phi^\xi$ 와 $||\phi||^2$ 의 자기완성 성질을 적용하여 장정렬열을 통한 코homology 분해를 수행하는 것.
• 하향집합 $M_\xi = \{m \in M \mid \langle \phi(m), \xi \rangle \leq 0\}$ 과 그에 관련된 이상 $K_\xi$ 를 정의하며, 여기서 $F$ 는 고정점 집합이다. $K_\xi$ 는 $F \cap M_\xi$ 에서 사라지는 코homology 클래스로 구성된다.
• 이러한 이상들의 합인 $K = \sum_{\xi \in \mathfrak{t}} K_\xi$ 를 구성하여 기약 맵의 핵을 포착하는 것.
• 등변 코homology에서 고정점으로의 제약이 단사임을 안다는 키워프의 결과를 활용하여 핵을 고정점 자료와 연결하는 것.
• 토릭 다양체에 이 방법을 적용하기 위해 $\mathbb{C}^N$ 에서의 심플렉틱 몰입으로서의 실현을 통해 다항식 이상을 통한 그들의 코homology 링을 계산하는 것.

실험 결과

연구 질문

• RQ1 아벨 심플렉틱 몰입에 대해 기약 맵 $\kappa: H_T^*(M; \mathbb{Q}) \to H^*(M_{\text{red}}; \mathbb{Q})$ 의 핵은 무엇인가?
• RQ2 원래 다양체의 코homology와 고정점 자료로부터 심플렉틱 몰입의 코homology 링을 어떻게 명시적으로 계산할 수 있는가?
• RQ3 감소된 공간의 정수 코homology가 토크션-프리가 되는 조건은 무엇인가?
• RQ4 모멘트 맵 위에서 모스 이론적 구성법을 통해 비아벨 국소화 원리를 명시적으로 만들 수 있는가?
• RQ5 매끄러운 토릭 다양체의 코homology 링은 어떻게 심플렉틱 몰입으로서 유도되며, 그 대수적 구조는 무엇인가?

주요 결과

• 기약 맵의 핵은 $K = \sum_{\xi \in \mathfrak{t}} K_\xi$ 와 동형이며, 여기서 $K_\xi$ 는 $F \cap M_\xi$ 에서 사라지는 코homology 클래스로 구성된다. 이는 짧은 정확한 수열 $0 \to K \to H_T^*(M; \mathbb{Q}) \xrightarrow{\kappa} H^*(M_{\text{red}}; \mathbb{Q}) \to 0$ 을 이끈다.
• 심플렉틱 몰입의 코homology 링 $H^*(M; \mathbb{Q})$ 는 $\mathbb{Q}[x_1, \dots, x_N]/(\mathcal{I}, \mathcal{J})$ 와 동형이며, 여기서 $\mathcal{J}$ 는 $\alpha \in \pi^*(\mathfrak{t}^*)$ 에 대해 $\sum \alpha_i x_i$ 를 생성하는 이상이고, $\mathcal{I}$ 는 모멘트 다면체에서 대응하는 면들이 만날 수 없는 집합 $I$ 에 대해 $\prod_{i \in I} x_i$ 를 생성하는 이상이다.
• 고정점 집합 $F$ 의 유리수 코homology 가 토크션-프리일 경우, 감소된 공간 $M_{\text{red}}$ 의 정수 코homology 도 토크션-프리이다.
• 이 방법은 매끄러운 토릭 다양체에 적용 가능하며, 모멘트 다면체의 조합론을 캐릭터라이즈하는 이상을 포함한 다항식환의 몫으로서 그들의 코homology 링을 복원한다.
• 이 구성은 $M_{\text{red}}$ 의 코homology 가 고정점 자료와 모멘트 맵의 하향집합의 기하학적 성질에 의해 완전히 결정됨을 보여준다.
• $||\phi||^2$ 를 모스 함수로 사용하면 감소된 공간이 최소 집합으로 명확히 식별되며, 이는 관련 모스 이론을 통해 핵의 계산이 가능하게 한다.