[논문 리뷰] Cobordism ring of toric varieties

Amalendu Krishna, V. Uma|arXiv (Cornell University)|2010. 11. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 3

한 줄 요약

이 논문은 Vezzosi와 Vistoli의 영향을 받은 분해 정리에 기반한 방법을 통해 매끄러운 토릭 다양체의 등변 코버드이즘 링을 먼저 결정한 후, [14, 정리 3.4]의 몫 구성법을 통해 일반 코버드이즘 링을 유도함으로써 매끄러운 토릭 다양체의 대수적 코버드이즘 링을 계산한다. 핵심 결과는 팬 구조와 형식적 군 법칙에 의해 결정되는 관계를 가진, 레이저드 링 위의 멱급수 링의 몫과 일반 코버드이즘 링 사이의 명시적 동형사상이다.

ABSTRACT

We describe the equivariant cobordism ring of smooth toric varieties. This equivariant description is used to compute the ordinary cobordism ring of such varieties.

연구 동기 및 목표

• 매끄러운 토릭 다양체의 일반 대수적 코버드이즘 링을 계산하는 것. 이는 풍부한 조합 구조를 지닌 대수적 다양체의 한 클래스이다.
• 이전에 초월환의 링에 사용된 등변 코버드이즘 기법을 대수적 코버드이즘의 맥락으로 확장하는 것.
• 매끄러운 토릭 다양체의 등변 코버드이즘 링에 대한 기하학적 기술을 등변 초월환의 링의 경우와 유사하게 제시하는 것.
• 이전에 알려진 [14, 정리 3.4]의 몫 공식을 사용하여 등변 링으로부터 일반 링을 도출하는 것.
• 팬 데이터와 형식적 군 법칙을 사용하여 생성자와 관계를 이용한 코버드이즘 링의 명시적 표현을 제공하는 것.

제안 방법

• 논문 [13]에서 개발된 매끄러운 다양체의 등변 코버드이즘 이론을 사용하며, 이는 Totaro와 Edidin-Graham의 등변 초월환 이론을 일반화한다.
• Vezzosi와 Vistoli의 등변 K-이론 기법을 응용하여 매끄러운 토릭 다양체의 등변 코버드이즘 링에 대한 분해 정리를 구성한다.
• 등변 코버드이즘 링을 레이저드 링 위의 멱급수 링 ${\mathbb{L}}[[t_{\rho}]]$의 몫으로 정의하며, 일차원 원소들의 비포괄 집합에 대응하는 단항식으로 생성되는 이상수 $I_\Delta$에 모듈로한다.
• 논문 [14, 정리 3.4]를 적용하여 일반 코버드이즘 링을 등변 링에서 토르스의 첫 번째 등변 코이븐트 클래스로 생성되는 이상수로 몫을 취한 것으로 표현한다.
• 레이저드 링 위의 형식적 군 법칙 $F(u,v)$를 사용하여 등변 코이븐트 클래스를 $\sum [n_i]_F x_i$ 형태로 표현하며, 토르스 작용을 쌍대성 $<\chi, v_\rho>$를 통해 통합한다.
• 차원 제약 조건으로 인해 고차수 단항식이 사라짐을 보여 고유한 유한 표현을 도출함으로써 일반 코버드이즘 링과 다항식 몫 사이의 동형사상을 확립한다.

실험 결과

연구 질문

• RQ1 매끄러운 토릭 다양체의 등변 코버드이즘 링은 팬 데이터로 어떻게 기술할 수 있는가?
• RQ2 매끄러운 토릭 다양체의 일반 코버드이즘 링의 정확한 구조는 무엇이며, 등변 코버드이즘 링과의 관계는 어떠한가?
• RQ3 레이저드 링의 형식적 군 법칙을 사용하여 토르스 작용을 코이븐트 클래스를 통해 코버드이즘 링에 어떻게 표현할 수 있는가?
• RQ4 팬의 조합 구조—특히 광역이 아닌 반사선 집합—은 코버드이즘 링의 관계를 어떻게 결정하는가?
• RQ5 매끄러운 토릭 다양체의 코버드이즘 링은 초월환 링과 어떤 유사성을 가지며, 형식적 군 법칙이 도입하는 주요 차이는 무엇인가?

주요 결과

• 매끄러운 토릭 다양체 $X=X(\Delta)$의 등변 코버드이즘 링 $\Omega^*_T(X)$는 $\mathbb{L}[[t_\rho]]/I_\Delta$와 동형이며, 여기서 $I_\Delta$는 $\Delta^0_1$에 속하는 비포괄 집합 $S$에 대해 $\prod_{\rho \in S} t_\rho$로 생성되는 이상수이다.
• 일반 코버드이즘 링 $\Omega^*(X)$는 $\mathbb{L}[t_\rho]/(\overline{I}_\Delta, \sum_{\rho} [\langle \chi, v_\rho \rangle]_F t_\rho)$와 동형이며, 여기서 $\overline{I}_\Delta$는 팬 이상수와 함께 $n+1$차 수승 관계 $t_\rho^{n+1}$를 포함한다.
• 프로젝티브 공간 $\mathbb{P}^n$의 경우 코버드이즘 링은 $\mathbb{L}[t_{\rho_{n+1}}]/(t_{\rho_{n+1}}^{n+1})$와 동형이며, 형식적 군 법칙과 팬 관계를 통해 기존의 알려진 결과를 복원한다.
• 단일 콘에 대응하는 토릭 다양체의 경우 코버드이즘 링은 모든 생성자가 관계에 의해 소멸하므로 레이저드 링 $\mathbb{L}$과 동형이다.
• 토르스 등변 선다발 $L_\chi$의 코이븐트 클래스는 $c^T_1(L_\chi) = \sum_{\rho} [\langle \chi, v_\rho \rangle]_F t_\rho$로 주어지며, 형식적 군 법칙이 토르스 무게를 어떻게 코어드이즘 링에 통합하는지 보여준다.
• 포함사상 $\mathbb{L}[t_\rho] \to \mathbb{L}[[t_\rho]]$는 적절한 이상수로 몫을 취한 후 동형사상으로 내림내릴 수 있으며, 이는 일반 코버드이즘 링의 유한성을 확인한다.