[논문 리뷰] Tangential Structures on Toric Manifolds, and Connected Sums of Polytopes

Victor Matveevich Buchstaber, Nigel Ray|ArXiv.org|2000. 10. 02.

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

한 줄 요약

이 논문은 오미니오리엔테이션을 가진 토릭 다양체를 도입하여, 각 오미니오리엔테이션이 토러스 작용과 호환되는 캐논리컬 안정 복소 구조를 유도함으로써, 등변 코버드יזם 링에 원소를 정의함을 보여준다. 주요 기여는 차원 >2인 모든 복소 코버드יזם 동치류가 오미니오리엔테이션으로부터 유도된 안정 복소 구조를 가진 연결된 토릭 다양체로 표현 가능하다는 것을 증명함으로써, 대수적 다양체에 대한 히르체브루흐의 질문의 토릭 해석을 해결하는 것이다.

ABSTRACT

We extend work of Davis and Januszkiewicz by considering {\it omnioriented} toric manifolds, whose canonical codimension-2 submanifolds are independently oriented. We show that each omniorientation induces a canonical stably complex structure, which is respected by the torus action and so defines an element of an equivariant cobordism ring. As an application, we compute the complex bordism groups and cobordism ring of an arbitrary omnioriented toric manifold. We consider a family of examples $B_{i,j}$, which are toric manifolds over products of simplices, and verify that their natural stably complex structure is induced by an omniorientation. Studying connected sums of products of the $B_{i,j}$ allows us to deduce that every complex cobordism class of dimension >2 contains a toric manifold, necessarily connected, and so provides a positive answer to the toric analogue of Hirzebruch's famous question for algebraic varieties. In previous work, we dealt only with disjoint unions, and ignored the relationship between the stably complex structure and the action of the torus. In passing, we introduce a notion of connected sum $#$ for simple $n$-dimensional polytopes; when $P^n$ is a product of simplices, we describe $P^n# Q^n$ by applying an appropriate sequence of {\it pruning operators}, or hyperplane cuts, to $Q^n$.

연구 동기 및 목표

• 토릭 다양체 이론을 확장하기 위해, 캐논리컬 codimension-2 부분다양체가 독립적으로 올림된 오미니오리엔테이션을 가진 토릭 다양체를 도입한다.
• 각 오미니오리엔테이션은 토러스 작용에 의해 보존되는 안정 복소 구조를 유도함으로써, 등변 코버드יזם 링에 임bedding된다.
• 모든 복소 코버드יזם 동치류가 차원 >2인 연결된 토릭 다양체로 표현 가능하다는 것을 증명함으로써, 대수적 다양체에 대한 히르체브루흐의 질문의 토릭 해석을 해결한다.
• 간단한 다면체에 대해 연결합의 조합론적 개념을 개발한다. 이를 위해 잘라내기 연산자와 초평면 절단을 사용한다.
• 이 프레임워크를 통해 오미니오리엔테이션을 가진 토릭 다양체의 복소 봉우리 링과 코버드יזם 링을 계산할 수 있음을 보인다.

제안 방법

• 토릭 다양체에 오미니오리엔테이션의 개념을 도입하여, 캐논리컬 codimension-2 부분다양체에 일관된 올림을 할당한다.
• 토러스 작용과 호환되는 캐논리컬 안정 복소 구조를 오미니오리엔테이션을 가진 각 토릭 다양체에 정의한다. 이를 통해 안정 접속다발에 유도된 복소 구조를 사용한다.
• 토릭 다양체의 연결합을 그들의 몫 다면체에 대한 조합론적 연산을 통해 구성한다. 이를 위해 잘라내기 연산자와 초평면 절단을 사용하여 $P^n \# Q^n$을 기술한다.
• 등변 연결합 $M^{2n} \#_{x,y} N^{2n}$ 과 표준 연결합 사이의 미분동형사를 확립함으로써, 유도된 안정 복소 구조가 원래 구조의 연결합과 일치함을 보인다.
• 모든 복소 코버드יזם 동치류를 연결합을 통해 생성하기 위해, 단체의 곱인 $B_{i,j}$ 를 빌딩 블록으로 사용한다.
• 오미니오리엔테이션에 의해 유도된 $B_{i,j}$ 의 안정 복소 구조와 그 연결합이 복소 봉우리 링을 생성한다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 차원 >2인 모든 복소 코버드יזם 동치류는 토러스 작용과 호환되는 안정 복소 구조를 가진 연결된 토릭 다양체로 표현될 수 있는가?
• RQ2 토릭 다양체의 연결합은 그들의 몰입 다면체 수준에서 어떻게 조합론적으로 정의될 수 있는가?
• RQ3 토릭 다양체의 안정 복소 구조와 오미니오리엔테이션 사이의 관계는 무엇인가?
• RQ4 잘라내기 연산자와 초평면 절단은 어떻게 단순한 다면체의 연결합을 기술하는가?
• RQ5 오미니오리엔테이션을 가진 토릭 다양체의 복소 봉우리 링은 그 조합론적 자료를 통해 명시적으로 계산될 수 있는가?

주요 결과

• 차원이 2보다 큰 모든 복소 코버드יזם 동치류는 오미니오리엔테이션으로부터 기인하고, 토러스 작용과 호환되는 안정 복소 구조를 가진 연결된 토릭 다양체로 포함된다.
• 두 오미니오리엔테이션을 가진 토릭 다양체의 연결합은 그들의 몰입 다면체에 대한 조합론적 잘라내기 연산을 통해 구성되며, 이로써 유도된 안정 복소 구조는 원래의 구조의 연결합이 된다.
• 복소 봉우리 링 $\varOmega_*^U$ 는 단체의 곱이며 오미니오리엔테이션을 가진 토릭 다양체 $B_{i,j}$ 의 코버드יזם 동치류에 의해 생성된다.
• 간단한 다면체 $P^n$ 과 $Q^n$ 에 대해 $P^n \# Q^n$ 의 구성은 $Q^n$ 에 연속적인 잘라내기 연산자 또는 초평면 절단을 적용하여 기술되며, 이는 연결합의 조합론적 모델을 제공한다.
• 연결합 $M^{2n} \#_{x,y} N^{2n}$ 에서의 안정 복소 구조는 표준 연결합과 미분동형이며, 원래의 구조들의 분리합과 코버드יזם에 해당한다.
• 차원 1의 경우, 결과는 약화된 형태로 성립한다: $\mathbb{CP}^1$ 은 $\varOmega_2^U \cong \mathbb{Z}$ 를 표현하지만, 오직 $n = \pm 1$ 일 때에만 구조가 오미니오리엔테이션에 의해 유도된다. 이 경우에 결과는 이 정의를 수정함으로써 확장될 수 있다.