[논문 리뷰] K-equivalence in Birational Geometry and Characterizations of Complex Elliptic Genera

Chin-Lung Wang|arXiv (Cornell University)|2001. 03. 09.

Advanced Algebra and Geometry참고 문헌 6인용 수 7

한 줄 요약

이 논문은 복소수 위상기하학에서 매끄러운 복소수 프로젝티브 다양체의 $K$-등식에 대해 보존되는 가장 일반적인 체른 수치 불변량이 복소 타원형 생성물임을 규명한다. 매끄러운 중심에 대한 블로우업에 기반한 잔여치 기반의 변수변환 공식을 사용하여, $K$-등식이 복소 타원형 생성물의 등식을 유도함으로써 토타로의 결과를 일반화하고, 고전적 플롭의 이상과 $K$-등식 이상이 복소 코호몰로지 링에서 일치함을 보여준다.

ABSTRACT

We show that for smooth complex projective varieties the most general combinations of chern numbers that are invariant under the K-equivalence relation consist of the complex elliptic genera. Combined with a recent result of Totaro, we deduce that up to complex cobordism any K-equivalence can be decomposed into a sequence of classical flops.

연구 동기 및 목표

• 매끄러운 복소수 프로젝티브 다양체의 비라션탈 기하학에서 $K$-등식에 대해 보존되는 가장 일반적인 체른 수치 불변량을 규명하는 것.
• 고전적 플롭에 대해 복소 타원형 생성물이 불변량임을 보인 토타로의 결과를 더 넓은 $K$-등식 관계로 확장하는 것.
• 매끄러운 중심에 대한 블로우업에서의 성격에 대한 변수변환 공식을 수립하여, 잔여이론적 항등식을 통해 복소 타원형 생성물의 특성화를 가능하게 하는 것.
• 복소 코호몰로지 링에서 $K$-등식에 대한 이상이 복소 타원형 생성물에 의해 정확히 생성됨을 증명하여, 고전적 플롭 이상과 $K$-등식 이상이 일치함을 보이는 것.

제안 방법

• 매끄러운 중심에 대한 블로우업에서 성격의 푸시포워드에 대한 잔여치 공식을 유도하여 총공간의 적분을 중심과 예외적 분리의 적분과 연결한다.
• 체른 수치 성격을 정의하고 그들의 비라션탈 사상에 대한 변환을 분석하기 위해 히르체브루흐의 곱셈적 수열 형식론과 $Q(x) = x/f(x)$의 멱급수를 사용한다.
• 복소 타원형 생성물을 특성화하는 멱급수 $f(x)$에 대한 함수방정식을 도입하여, 위어스트라스 타원함수와 그 불변량과의 연결을 맺는다.
• 잔여정리를 적용하여, 블로우업에서의 첫 번째 단계 변수변환 공식을 만족하는 성격이 복소 타원형 생성물뿐임을 보여준다.
• $K$-등식 하에서의 외부 $\chi_y$ 성격과 $\mathcal{O}(\ell D) \otimes \Omega^p$의 오일러 특성치가 차원과 코드림에 대한 귀납법을 통해 불변임을 증명한다.
• 복소 코호몰로지 링의 구조를 이용하여, $K$-등식이 고전적 플롭 이상과 동일한 이상을 생성함을 보여주며, 이는 복소 타원형 생성물이 $K$-등식에 대해 유일한 불변량임을 시사한다.

실험 결과

연구 질문

• RQ1 매끄러운 복소수 프로젝티브 다양체에 대해 $K$-등식에 대해 보존되는 체른 수치의 조합은 무엇인가?
• RQ2 복소 타원형 생성물은 고전적 플롭에서의 불변량으로서의 토타로의 결과를 $K$-등식 관계로 일반화하여, 가장 일반적인 불변량으로 특성화될 수 있는가?
• RQ3 매끄러운 중심에 대한 블로우업에서 성격에 대한 변수변환 공식이 존재하는가? 그리고 그 공식의 타당성을 보장하는 멱급수 $f(x)$의 조건은 무엇인가?
• RQ4 복소 코호몰로지 링에서 $K$-등식 쌍에 의해 생성되는 이상이 고전적 플롭에 의해 생성되는 이상과 같은가?
• RQ5 $K$-등식 하에서 기저점 자유 분할자에 대해 $\chi(X, \mathcal{O}(\ell D) \otimes \Omega^p)$와 같은 불변량은 유지되는가?

주요 결과

• 매끄러운 중심에 대한 블로우업에서 첫 번째 단계 변수변환 공식을 만족하는 성격으로서 복소 타원형 생성물이 유일하게 특성화된다.
• 함수방정식 $\frac{1}{f(x)f(y)} = \frac{A(x)}{f(x)f(y-x)} + \frac{A(y)}{f(y)f(x-y)}$ 및 $A(0) = 1$은 정확히 복소 타원형 생성물을 특성화한다.
• 일반적인 매개변수에 대해 멱급수 $f(x) = e^{(k + \zeta(z))x} \frac{\sigma(x)\sigma(z)}{\sigma(x+z)}$와 관련된 야코비안 인자 $A(t,r)$는 코드림 $r$에 대한 블로우업에서의 변수변환 공식을 만족하며, $r$-토션 점에서 실패한다.
• $K$-등식 쌍에 의해 생성되는 복소 코호몰로지 링 이상은 고전적 플롭에 의해 생성되는 이상과 일치하며, 이는 복소 타원형 생성물이 $K$-등식에 대해 유일한 불변량임을 의미한다.
• $K$-등식인 매끄러운 다양체와 기저점 자유 분할자 $D$ 및 $D'$에 대해, 모든 $\ell \in \mathbb{Z}$ 및 $p \geq 0$에 대해 오일러 특성치 $\chi(X, \mathcal{O}(\ell D) \otimes \Omega^p)$가 동일함을 차원과 코드림에 대한 귀납법으로 증명한다.
• 비라션탈 양호한 최소 모델의 경우, $\chi(X, K_X^{\otimes \ell} \otimes \Omega^p)$의 불변량은 $K$-등식 하에서 유지되며, 이는 모든 $\ell \in \mathbb{Z}$에 대해 코homology 군 간의 동형이 존재할 가능성을 시사한다.