[논문 리뷰] K-theory of torus manifolds

V. Uma|ArXiv.org|2006. 07. 31.

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

한 줄 요약

이 논문은 궤도 공간이 셸러블 네트워크를 가진 동치 다면체의 동치를 갖는 토르스 다양체의 위상적 K-환을 생성자와 관계를 통해 제시한다. 이전에 얻어진 준-티코릭 다양체에 대한 결과를 일반화하여, 특성 부분다양체에 대응하는 변수들의 다항식환의 몫환과 K-환의 동형사상이 성립함을 보여준다. 이 관계는 공집합 교차와 등변 코이치 클래스 조건에서 유도된다.

ABSTRACT

The {\it torus manifolds} have been defined and studied by M. Masuda and T. Panov (arXiv:math.AT/0306100) who in particular describe its cohomology ring structure. In this note we shall describe the topological $K$-ring of a class of torus manifolds (those for which the orbit space under the action of the compact torus is a {\it homology polytope} whose {\it nerve} is a {shellable} simplicial complex) in terms of generators and relations. Since these torus manifolds include the class of quasi-toric manifolds this is a generalisation of earlier results due to the author and P. Sankaran (arXiv: math.AG/0504107).

연구 동기 및 목표

• 이전의 준-티코릭 다양체에 대한 K-이론 결과를 더 넓은 범위의 토르스 다양체로 확장하기 위해.
• 궤도 공간이 셸러블 네트워크를 갖는 동치 다면체인 토르스 다양체의 위상적 K-환을 기술하기 위해.
• 특성 부분다양체 위의 복소선다발에 대응하는 생성자와 교차 및 등변 위상수학적 관계를 통해 K-환의 명시적 표현을 제공하기 위해.
• 이러한 다양체의 K-환과 다항식환의 몫환 사이의 환 동형사상을 확립하기 위해.

제안 방법

• 특성 부분다양체 $M_j$ 와 관련된 복소선다발 ${\cal L}_j$ 를 사용하며, 그들의 첫 번째 코이치 클래스는 $M_j$ 의 기본 클래스에 대응한다.
• 궤도 공간 $Q$ 의 면들에 의해 인덱싱된 변수를 갖는 다항식환 $\mathbb{Z}[v_{Q_1}, \dots, v_{Q_m}]$ 을 구성하며, $v_{Q_j}$ 는 $K^0(M)$ 에서 $[\mathcal{L}_j] - 1$ 에 대응한다.
• 두 종류의 관계로 생성되는 아이디얼 $I$ 를 정의한다: (i) 해당 면들이 공집합 교차를 가지는 경우의 곱 $v_{Q_{j_1}} \cdots v_{Q_{j_k}}$, (ii) $t \in H^2(BT)$ 에 대해 $\langle t, a_j \rangle$ 를 포함하는 등변 코이치 클래스 관계.
• 네트워크 $K$ 의 셸링에 의해 유도된 짝수 차원 세포로 구성된 $M$ 의 세포 분해를 활용하여 $K^0(M)$ 이 유한 계수의 자유 아벨 군임을 보장한다.
• $\gamma^k$ 작용을 K-이론에 적용하여, 해당 부분다양체가 공집합 교차를 가지는 경우 $[\mathcal{L}_j] - 1$ 의 곱이 영이 되는 것을 보여준다.
• 맵 $\psi: \mathbb{Z}[v_{Q_1}, \dots, v_{Q_m}]/I \to K^0(M)$ 의 상사상성과 셸러블 네트워크 및 세포 분해를 이용한 랭크 비교를 통한 단사성으로 인해 동형사상이 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 궤도 공간이 동치 다면체이자 셸러블 네트워크를 갖는 토르스 다양체의 위상적 K-환은 어떻게 생성자와 관계로 기술할 수 있는가?
• RQ2 K-이론 관계는 얼마나 일반화되어 있으며, 기존의 준-티코릭 다양체에 알려진 관계를 초월하는가?
• RQ3 궤도 공간의 네트워크의 셸러블성은 K-이론 계산을 단순화하는 세포 분해를 구성하는 데 어떤 역할을 하는가?
• RQ4 특성 부분다양체의 교차 데이터와 등변 코이치 클래스 조건은 K-환의 구조에 어떤 제약을 가하는가?

주요 결과

• 궤도 공간 $Q$ 가 동치 다면체이자 셸러블 네트워크인 토르스 다양체 $M$ 의 위상적 K-환 $K^0(M)$ 은 아이디얼 $I$ 가 교차 및 등변 코이치 클래스 관계로 생성되는 다항식환 $\mathbb{Z}[v_{Q_1}, \dots, v_{Q_m}]/I$ 와 동형이다.
• $\psi: \mathbb{Z}[v_{Q_1}, \dots, v_{Q_m}]/I \to K^0(M)$ 는 $v_{Q_j}$ 를 $[\mathcal{L}_j] - 1$ 에 대응시키는 맵으로서, $K^0(M)$ 의 명시적 표현을 제공하는 환 동형사상이다.
• K-환은 $d$ 개의 단항식 $v_{T_i}$ 로 자유 아벨 $\mathbb{Z}$-모듈로 생성되며, $d$ 는 네트워크의 셸링에 의해 유도된 $M$ 의 완벽한 세포 분해에서 짝수 차원 세포의 수이다.
• 네트워크 $K$ 의 셸링에 의해 유도된 $M$ 의 세포 분해는 오직 짝수 차원 세포만 포함하므로, $K^0(M)$ 은 유한 계수의 자유 아벨 군이다.
• 유형 (i)의 관계는 공집합 교차를 가지는 부분다양체 위에서 선다발의 직합의 단면이 영이 되는 것을 보장하기 위해 K-이론의 $\gamma^k$ 작용에 의해 유도된다.
• 유형 (ii)의 관계는 모든 $t \in H^2(BT)$ 에 대해 등변 선다발 $\mathcal{L}_t = \prod_j \mathcal{L}_j^{\langle t, a_j \rangle}$ 가 자명함을 나타내며, 특성 준동형사상 $\Lambda$ 의 비특이성 반영한다.