[논문 리뷰] Cohomology of toric origami manifolds with acyclic proper faces

Anton Ayzenberg, Mikiya Masuda외 2명|arXiv (Cornell University)|2014. 07. 03.

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

한 줄 요약

이 논문은 궤도 공간의 모든 고유면이 약한 연결성을 가지는 방향성 있는 토릭 오리가미 다양체에 대한 코homology 계산을 수립한다. 이는 궤도 공간이 수축 가능할 경우에 대한 이전 결과를 일반화한 것이다. 귀납적 수술 절차와 스펙트럴 시퀀스 기법을 사용하여 베티 수와 등변 cohomology 링에 대한 명시적 공식을 도출하며, 고유면의 약한 연결성 조건이 만족될 경우 중심 범위 내에서 홀수 베티 수가 0이 됨을 보여준다.

ABSTRACT

A toric origami manifold is a generalization of a symplectic toric manifold (or a toric symplectic manifold). The origami symplectic form is allowed to degenerate in a good controllable way in contrast to the usual symplectic form. It is widely known that symplectic toric manifolds are encoded by Delzant polytopes, and the cohomology and equivariant cohomology rings of a symplectic toric manifold can be described in terms of the corresponding polytope. Recently, Holm and Pires described the cohomology of a toric origami manifold $M$ in terms of the orbit space $M/T$ when $M$ is orientable and the orbit space $M/T$ is contractible. But in general the orbit space of a toric origami manifold need not be contractible. In this paper we study the topology of orientable toric origami manifolds for the wider class of examples: we require that every proper face of the orbit space is acyclic, while the orbit space itself may be arbitrary. Furthermore, we give a general description of the equivariant cohomology ring of torus manifolds with locally standard torus actions in the case when proper faces of the orbit space are acyclic and the free part of the action is a trivial torus bundle.

연구 동기 및 목표

• 궤도 공간이 수축 가능하지 않은 경우에도 토릭 오리가미 다양체의 cohomology 기술을 확장하는 것.
• 궤도 공간이 수축 가능하지 않지만 모든 고유면이 약한 연결성을 가지는 경우에 대해 베티 수와 cohomology 링에 대한 이해의 격차를 메우는 것.
• 토리스 다양체에 대한 등변 cohomology 결과를 고유면의 약한 연결성 조건 하에서 일반화하는 것.
• 이 넓은 범주에 속하는 다양체에서 베티 수와 등변 cohomology 링을 체계적으로 계산하는 방법을 제공하는 것.

제안 방법

• 궤도 공간을 단계적으로 단순화하기 위해 귀납적 수술 절차를 적용하며, 베티 수의 변화를 추적한다.
• Fibration $ET \times_T M \to BT$ 의 Serre 스펙트럴 시퀀스를 사용하여 등변 cohomology의 구조를 분석한다.
• 면 링과 단순형 포스넷을 사용하여 궤도 공간과 그 면의 cohomology를 모델링한다.
• 특성 매핑과 크래머의 법칙을 포함한 선형 대수 기법을 사용하여 호의 클래스와 교차 곱을 연결한다.
• 홀름과 파이어스의 이전 결과를 일반화하기 위해 수축 가능성 조건을 면의 약한 연결성 조건으로 완화한다.
• 레마 3.5의 일반화된 형태를 증명하여, 고유면의 코드미니엄-$r$ 약한 연결성 조건 하에서 고차원에서 cohomology 사상의 상사상이 성립함을 보여준다.

실험 결과

연구 질문

• RQ1 궤도 공간이 수축 가능하지 않지만 모든 고유면이 약한 연결성을 가지는 경우, 토릭 오리가미 다양체의 cohomology는 어떻게 기술할 수 있는가?
• RQ2 국소 표준 작용을 가지는 토리스 다양체의 등변 cohomology 링의 구조는 무엇인가? 이 경우 고유면이 약한 연결성을 가진다.
• RQ3 이러한 다양체에 대해 베티 수를 귀납적으로 계산할 수 있으며, 그 변화를 수술에 따라 결정하는 재귀 관계는 무엇인가?
• RQ4 고유면의 약한 연결성이 중심 범위 내에서 홀수 베티 수의 0이 되게 하는 데 얼마나 기여하는가?
• RQ5 약한 연결성 조건 하에서 원래 다양체의 cohomology 군은 궤도 공간과 경계 성분의 것과 어떻게 관련이 있는가?

주요 결과

• 모든 코드미니엄 $\geq r$ 면이 약한 연결성을 가지는 궤도 공간에서, $r \leq i \leq n-r-1$ 범위 내에서 홀수 베티 수 $b_{2i+1}(M)$ 는 0이 된다.
• 수술 작동 후 첫 번째 베티 수는 $b_1(M') = b_1(M) - 1$ 이며, Poincaré 대칭성에 의해 $b_{2n-1}$ 도 동일하게 감소한다.
• $i \geq r$ 에 대해, $b_{2i}(M') = b_{2i}(M) + b_{2i}(B) + b_{2i-2}(B)$ 를 만족하며, 여기서 $B$ 는 경계 성분이다.
• 약한 연결성 조건 하에서 등변 cohomology 링 $H^*_T(M)$ 는 면 링 $\mathbb{Z}[M/T]$ 과 동형이다.
• cohomology 링 $H^*(M)$ 는 $\mathbb{Z}[M/T]/(\theta_1,\dots,\theta_n)$ 과 동형이며, 이는 쿼드토리크 다양체의 경우를 일반화한다.
• 가능한 한 면의 교차를 피하는 호의 호모토피 대체를 사용하여 추가 호의 클래스 $x_{L,j}$ 의 교차 곱을 계산할 수 있으며, 특성 매핑으로부터 유도된 선형 관계를 활용한다.