[논문 리뷰] Localization of certain odd-dimensional manifolds with torus actions

Chen He|Osaka City University (Osaka City University)|2016. 08. 15.

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

한 줄 요약

이 논문은 3차원 1-스켈레톤에 대한 GKM 유형 정리와 함께, 토르스 작용을 갖는 홀수 차원 다양체로 GKM 이론을 확장한다. 이는 GKM 그래프를 사용하여 동차 코homology의 그래픽적 기술을 제공하며, 다항식 환의 몫으로서의 환 동형사상이 성립함을 보여주어, 방향성 또는 대칭성의 가정 없이도 짝수 차원 GKM 이론을 비방향성, 홀수 차원 환경으로 일반화한다.

ABSTRACT

Let a torus $T$ act smoothly on a compact smooth manifold $M$. If the rational equivariant cohomology $H^*_T(M)$ is a free $H^*_T(pt)$-module, then according to the Chang-Skjelbred Lemma, it can be determined by the $1$-skeleton consisting of the $T$-fixed points and $1$-dimensional $T$-orbits of $M$. When $M$ is an even-dimensional, orientable manifold with 2-dimensional 1-skeleton, Goresky, Kottwitz and MacPherson gave a graphic description of the equivariant cohomology. In this paper, first we revisit the even-dimensional GKM theory and introduce a notion of GKM covering, then we consider the case when $M$ is an odd-dimensional, possibly non-orientable manifold with $3$-dimensional $1$-skeleton, and give a graphic description of its equivariant cohomology.

연구 동기 및 목표

• 토르스 작용을 갖는 홀수 차원 다양체로 GKM 이론을 짝수 차원에서 일반화하기.
• 방향성의 가정 없이도 3차원 1-스켈레톤을 갖는 홀수 차원 다양체에 대해 동차 코homology의 그래픽적 기술 개발하기.
• 홀수 차원 일반화를 지원하기 위해 짝수 차원의 GKM 커버링 개념 도입하기.
• 방향성 또는 동차 코homogeneity-one의 대칭성 가정 없이도, 다항식 환의 몫과 합동 조건을 통한 동차 코homology의 환 동형사상 제공하기.

제안 방법

• 짝수 차원 GKM 이론을 재검토하고, 홀수 차원으로의 확장을 위해 GKM 커버링 정의하기.
• 등방성 가중치와 궤도 구조에 기반한, 3차원 1-스켈레톤을 갖는 홀수 차원 다양체에 대한 GKM 조건 정의하기.
• 고정점과 1차원 궤도를 간선 레이블(등방성 가중치에 해당)로 포함하는 GKM 그래프를 1-스켈레톤에서 구성하기.
• Chang-Skjelbred 레마를 활용하여, 간선 상의 합동 조건을 만족하는 고정점의 코homology의 부분환으로서 동차 코homology를 실현하기.
• GKM 그래프 자료를 사용하여 홀수 차원 다양체의 동차 코homology와 다항식 환의 몫 사이의 환 동형사상 수립하기.
• 곱, 접촉 및 코심플렉틱 다양체, 홀수 차원 그라스만이안을 포함한 예시들에 이 방법 적용하기.

실험 결과

연구 질문

• RQ1 3차원 1-스켈레톤을 갖는 홀수 차원 다양체에 대해, 토르스 작용을 갖는 GKM 이론을 어떻게 확장할 수 있는가?
• RQ2 다양체가 비방향성일 경우에도, 동차 코homology가 1-스켈레톤에 의해 결정되는 데 필요한 조건은 무엇인가?
• RQ3 GKM 그래프와 합동 조건을 사용하여, 홀수 차원 다양체에 대해 동차 코homology의 그래픽적 기술을 구성할 수 있는가?
• RQ4 짝수 차원에서의 GKM 커버링 구성이 홀수 차원 일반화를 어떻게 지원하는가?
• RQ5 방향성 또는 $K_-=K_+$를 가정하지 않은 홀수 차원 코호모로지티위티원 다양체의 동차 코homology 환의 구조는 어떻게 되는가?

주요 결과

• 방향성의 가정 없이도, 3차원 1-스켈레톤을 갖는 홀수 차원 다양체의 동차 코homology는 고정점의 동차 코hom로의 곱의 부분환과 동형이며, 이는 GKM 그래프의 간선 상의 합동 조건을 만족한다.
• $N_G^7$의 7차원 다양체에서 동차 코homology 환은 $H^*_{T^3}(b{C}P^2)[r]/r^2$와 동형이며, $H^*_{T^3}(b{C}P^2) \times H^*(S^3)$의 구조를 갖는다.
• $N_G^7$의 GKM 그래프는 $S^2 \times S^1$을 나타내는 세 개의 내부 $\boxplus$ 정점과 $S^3$을 나타내는 세 개의 외부 $\boxplus$ 정점으로 구성되며, 간선 레이블은 $\beta_i = \beta_j - \beta_k$와 같은 가중치의 차이에 해당한다.
• 코homology 클래스의 합동 조건은 $f_i, g_i$ 성분에 대한 여섯 개의 모듈로 조건으로 표현되며, $g_i$ 는 해당 간선 레이블로 나누어진다.
• 이 방법은 방향성 또는 대칭성의 가정 없이도 일반화 가능하며, $K_- = K_+$를 요구하지 않는 $M \to G \times_{K_0} S^{n_0+1}$의 구성으로써 이를 입증한다.
• 일반적인 경우에 방향성 또는 동차 형식성의 가정이 필요하지 않으며, 이는 이전의 코호모로지티위티원 결과들과는 다릅니다. 이전 결과들은 방향성의 가정을 하였습니다.