[논문 리뷰] Topological toric manifolds

Hiroaki Ishida, Yukiko Fukukawa외 1명|Osaka City University (Osaka City University)|2010. 12. 08.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 10

한 줄 요약

이 논문은 매끄러운 $(\mathbb{C}^*)^n$-작용, 열린 밀도 있는 궤도, 국소 등변 자명성 조건을 만족하는 새로운 위상적 토릭 다양체를 도입한다. 이는 토릭 다양체의 위상적 동반자로 정의되며, 오모리엔티드 위상적 토릭 다양체와 완전 비특이 위상적 팬 사이의 전단사 관계를 확립함으로써, $S^1$-토르스 작용 대신 $\mathbb{C}^*$-토르스 작용을 사용함으로써 토릭 및 퀀티토릭 다양체를 일반화한다.

ABSTRACT

We introduce the notion of a topological toric manifold and a topological fan and show that there is a bijection between omnioriented topological toric manifolds and complete non-singular topological fans. A topological toric manifold is a topological analogue of a toric manifold and the family of topological toric manifolds is much larger than that of toric manifolds. A topological fan is a combinatorial object generalizing the notion of a simplicial fan in toric geometry. Prior to this paper, two topological analogues of a toric manifold have been introduced. One is a quasitoric manifold and the other is a torus manifold. One major difference between the previous notions and topological toric manifolds is that the former support a smooth action of an $S^1$-torus while the latter support a smooth action of a $\C^*$-torus. We also discuss their relation in details.

연구 동기 및 목표

• 토릭 다양체의 새로운 위상적 동반자를 정의하여, $\mathbb{C}^*$-토르스 작용을 사용함으로써 토릭 및 퀀티토릭 다양체를 일반화한다.
• 토릭 기하학의 단순 복합체를 일반화하는 조합적 일반화로서의 위상적 팬 개념을 도입한다.
• 오모리엔티드 위상적 토릭 다양체와 완전 비특이 위상적 팬 사이의 분류 정리를 확립한다.
• 위상적 토릭 다양체와 이전의 개념들, 특히 퀀티토릭 다양체 및 토르스 다양체와의 차이를 군 작용과 기하적 구조 측면에서 명확히 한다.

제안 방법

• 위상적 토릭 다양체를 $2n$차원의 닫힌 매끄러운 다양체로 정의하며, $(\mathbb{C}^*)^n$의 효과적인 매끄러운 작용, 열린 밀도 있는 궤도, 그리고 작용에 대한 국소 자명성 조건을 만족시킨다.
• 위상적 팬을 $(\Sigma, \beta)$의 쌍으로 정의하며, $\Sigma$는 단순 복합체이고 $\beta$는 그 정점들에 정수 벡터를 할당하는 함수로, 비특이성 및 완전성 조건을 만족시킨다.
• 모든 오모리엔티드 위상적 토릭 다양체가 유일한 완전 비특이 위상적 팬으로부터 유도되며, 그 반대도 성립함을 증명하여 전단사 관계를 확립한다.
• 스타 서브디비전과 스텔라션 구조를 사용하여, 위상적 토릭 다양체의 기저 단순 복합체가 이러한 위상적 연산에 대해 닫혀 있음을 보인다.
• 4색 정리와 mod 2 벡터 축소 논증을 적용하여, 예를 들어 $n \geq 4$ 및 $m \geq 2^n$인 순환 다면체 $C^n(m)$의 경계 복합체는 일부 조건에서 위상적 토릭 다양체의 기저 단순 복합체가 될 수 없음을 보인다.

실험 결과

연구 질문

• RQ1 토릭 다양체의 적절한 위상적 동반자는 무엇인가? 이는 토릭 및 퀀티토릭 다양체를 모두 일반화해야 한다.
• RQ2 단순 복합체를 일반화하는 조합적 대상—토릭 기하학의 단순 복합체 팬을 일반화한 것—은 어떻게 위상적 토릭 다양체를 분류할 수 있는가?
• RQ3 이 위상적 설정에서 $(\mathbb{C}^*)^n$-작용이 $(S^1)^n$-작용보다 더 자연스러운 이유는 무엇인가?
• RQ4 어떤 단순 복합체가 위상적 토릭 다양체의 기저 복합체가 될 수 있는가?
• RQ5 주어진 단순 복합체가 위상적 토릭 다양체의 기저 복합체로 실현될 수 없는 장애 요소는 무엇인가?

주요 결과

• 오모리엔티드 위상적 토릭 다양체와 완전 비특이 위상적 팬 사이에 전단사 관계가 존재하여 완전한 분류가 가능하다.
• 위상적 토릭 다양체는 매끄러운 $(\mathbb{C}^*)^n$-작용, 열린 밀도 있는 궤도, 국소 자명성 조건을 통해 정의되며, 이는 퀀티토릭 및 토르스 다양체와는 다름없이 $(S^1)^n$-작용을 사용한다는 점에서 구별된다.
• 만일 $n \geq 4$ 및 $m \geq 2^n$이면, 순환 다면체 $C^n(m)$의 경계 복합체는 비특이성 조건에서 발생하는 mod 2 벡터 갈등으로 인해 위상적 토릭 다양체의 기저 단순 복합체가 될 수 없다.
• 스타 서브디비전은 위상적 토릭 다양체의 기저 단순 복합체 성질을 유지하며, 스텔라션 연산의 경우에도 동일한 성질이 유지된다.
• 단순 복합체 $\Sigma$의 스텔라션은 $\Sigma$ 자체가 위상적 토릭 다양체의 기저 복합체이면, $\mathbb{C}P^1$와의 곱을 통해 위상적 토릭 다양체의 기저 복합체가 된다.
• 4색 정리는 3차원 다면체의 1-스켈레톤에 정점들에 정수 벡터를 할당할 수 있음을 보장하며, 이는 인접한 정점에 서로 다른 벡터를 할당함으로써 3차원에서 완전 비특이 위상적 팬을 구성할 수 있음을 의미한다.