[논문 리뷰] Cohomology rings of good contact toric manifolds

Shisen Luo|arXiv (Cornell University)|2010. 12. 10.

Advanced Combinatorial Mathematics참고 문헌 22인용 수 8

한 줄 요약

이 논문은 양호한 접촉 토릭 다양체의 모멘트 콘의 조합론적 자료를 사용하여 등변 및 특이 코homology 링을 계산한다. 이는 콘의 기본 정규 벡터에서 유도된 선형 및 이차 관계로 생성되는 이상에 의해 생성된 다항식 링과의 동형성을 보여주며, 스미스 토릭 기하학의 기법을 매끄러움 조건 하에서 접촉 설정으로 확장한다.

ABSTRACT

A good contact toric manifold $M$ is determined by its moment cone $C$. We compute the equivariant cohomology ring with $\Z$ coefficient of $M$ in terms of the combinatorial data of $C$. Then under a smoothness criterion on the cone $C$, we compute the singular cohomology ring with $\Z$ coefficient of $M$ in terms of the combinatorial data of $C$.

연구 동기 및 목표

• 모멘트 콘의 조합론적 구조를 사용하여 양호한 접촉 토릭 다양체의 등변 코homology 링을 결정하는 것.
• 모멘트 콘의 매끄러움 조건 하에서 정수 계수의 특이 코homology 링을 계산하는 것.
• 스미스 토릭 기하학의 기법을 접촉 설정으로 확장하며, 특히 Davis-Januszkiewicz 접근법을 적용하는 것.
• 코homology 생성자가 이전의 스미스 토릭 다양체 작업에서 사용된 것과 일치함을 보이는 것.
• 코homology 링의 구조가 등변 홈오모르피즘 불변량임을 확립하여 조합론적 분류를 가능하게 하는 것.

제안 방법

• 모멘트 콘의 조합론적 자료를 사용하여 양호한 접촉 토릭 다양체의 위상적 모델을 구축하며, 이는 토릭 다양체의 Davis-Januszkiewicz 구성과 유사하다.
• 등변 코homology를 $ET^n \times_{T^n} M$의 코homology로 정의하기 위해 Borel 구성법을 사용하며, 계수는 $\mathbb{Z}$이다.
• 등변 코homology 생성자 $x_i$와 $BT^n$ 위의 타우토로지컬 라인 번들의 첫 번째 체인 클래스 사이의 관계를 위해 체인 클래스 사상을 적용한다.
• 매끄러움 조건을 도입한다: 모멘트 콘과 초평면 $x_n = 1$의 교차는 Delzant 다각형을 만들어내야 하며, 기본 정규 벡터의 $\mathbb{Z}^{n-1}$로의 사영이 기본적이어야 한다.
• 모멘트 콘 자료에서 유도된 선형 및 이차 관계로 생성되는 이상에 의해 생성되는 다항식 링의 몫과 다양체의 코homology 링 사이의 동형을 확립한다.
• 다양한 모델 간의 생성자 일致성을 검증하기 위해 등변 코homology 링 간의 당김 맵 다이어그램을 사용한다.

실험 결과

연구 질문

• RQ1 양호한 접촉 토릭 다양체의 등변 코homology 링은 어떻게 그 모멘트 콘의 조합론적 자료로 순수하게 표현할 수 있는가?
• RQ2 어떤 조건에서 이러한 다양체의 특이 코homology 링이 동일한 조합론적 자료를 통해 표현될 수 있는가?
• RQ3 양호한 접촉 토릭 다양체의 코homology 생성자는 어느 정도까지 스미스 토릭 다양체의 것과 일치하는가?
• RQ4 양호한 접촉 토릭 다양체의 코homology 링의 구조는 등변 홈오모르피즘을 제외하고는 모멘트 콘의 구조에 의해 완전히 결정되는가?
• RQ5 모멘트 콘의 매끄러움 조건이 코homology 링이 표준적인 다항식 몫 링과 동형임을 보장할 수 있는가?

주요 결과

• 등변 코homology 링 $H^*_{T^n}(M; \mathbb{Z})$ 는 $\mathbb{Z}[x_1, \dots, x_m] / I$ 와 동형이며, 여기서 $I$ 는 모멘트 콘의 면들과 그 정규 벡터에서 유도된 선형 및 이차 관계로 생성되는 이상이다.
• 매끄러움 조건 하에서 특이 코homology 링 $H^*(M; \mathbb{Z})$ 는 $\mathbb{Z}[x_1, \dots, x_m] / J$ 와 동형이며, $J$ 는 등변 경우와 동일한 관계로 생성되며, 리브 작용의 올리버 클래스로 생성되는 이상을 모듈로 취한 것이다.
• 코homology 링의 생성자는 논문의 정리 4.4와 [TW]의 정리 7에서 사용된 것과 일치함을 확인하여 이전의 스미스 토릭 기하학 결과와의 일致성을 입증한다.
• 원점이 제거된 모멘트 콘의 부분이 항상 $x_n > 0$ 인 상반평면에 놓여 있다는 가정은 일반성을 제한하지 않으며, 이 조건을 만족하는 모든 다양체는 이 조건을 만족하는 다른 다양체와 등변 홈오모르피즘으로 연결 가능하다.
• 코homology 링의 구조는 등변 홈오모르피즘 불변량이므로, 전체 코homological 자료는 모멘트 콘의 조합론적 유형에 의해 암호화되어 있다.
• 논문은 매끄러움 조건 하에서 양호한 접촉 토릭 다양체의 코homology 링이 면들의 기본 내향 정규 벡터들에 의해 완전히 결정됨을 확인한다.