[논문 리뷰] On characterization of toric varieties

Ilya Karzhemanov|arXiv (Cornell University)|2013. 06. 18.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 3

한 줄 요약

이 논문은 V. V. 쇼쿠로프의 토릭 다양체를 로그 캐논리컬 쌍과 흩어진 반대표준 분자수를 가진 다양체로 특성화하는 추측을 조사한다. 기하학적 및 비라션 기하학 기법을 사용하여, 이 추측은 차원 ≥3에서 실패함을 증명하지만, 더 약한 형태는 성립함을 보였다. 최근의 이 추측에 대한 주장된 증명에서 심각한 결함이 발견되어 그 타당성이 훼손됨을 밝혔다.

ABSTRACT

We study the conjecture due to V.\,V. Shokurov on characterization of toric varieties. We also consider one generalization of this conjecture. It is shown that none of the characterizations holds true in dimension $\ge 3$. Some weaker versions of the conjecture(s) are verified.

연구 동기 및 목표

• 로그 캐논리컬 쌍 $(X, D)$와 $-(K_X + D)$가 흩어진 반대표준 분자수를 가지며, $X$가 $\mathbb{Q}$-팩터라이즈드인 경우에 대해 V. V. 쇼쿠로프의 토릭 다양체 특성화 추측을 조사한다.
• 특히 차원 ≥3에서 이 추측이 성립하는지 테스트한다.
• 최근의 추측에 대한 주장된 증명([5]번 논문)을 분석하고 심각한 오류를 규명한다.
• 토리피케이션 또는 형식적 토릭 구조와 같은 추측의 더 약한 형태를 탐색한다.
• 추측의 조건을 만족하는 다양체가 $(\mathbb{C}^*)^n$의 컴팩티피케이션 또는 모리 드림 스페이스인지 고찰한다.

제안 방법

• 로그 캐논리컬 쌍 $(X, D)$에서 $-(K_X + D)$가 흩어진 반대표준 분자수이고 $X$가 $\mathbb{Q}$-팩터라이즈드인 경우를 분석하며, $D_i$에 의해 생성되는 네론-세베르 그룹의 질량인 $r(X,D)$를 중심으로 다룬다.
• dlt 수정을 적용하여 $\mathbb{Q}$-팩터라이즈드 경우로 축소하며, 핵심 불변량과 수치 조건을 유지한다.
• 토릭 다양체의 구조와 그들의 팬을 활용하여, $\mathbb{P}^1$과의 곱을 통해 차원 $n \geq 4$에서 반례를 구성한다.
• 코크 링과 토르스 작용을 활용하여, 특히 군에 의한 몫에 의해 발생하는 특이점의 경우에서 추측의 실패를 분석한다.
• 최근의 증명에서 심각한 오류를 규명: $d$차원의 $\mathbb{C}^*$-다양체에서 $d$개의 $\mathbb{C}^*$-불변 분자수는 그 링이 다항식 링임을 주장하는 것은 잘못이다.
• 다음의 반례를 구성: $Y \subset \mathbb{C}^3$는 $xy = z^3 + z^2 + z$로 정의되며, $\mathbb{C}^*$-작용이 존재한다. 이 경우 $\pi_1(Y) = \mathbb{Z}/3$이므로 $Y \not\simeq \mathbb{C}^2$이다.

실험 결과

연구 질문

• RQ1 쇼쿠로프의 추측인 $\sum d_i \leq r(X,D) + \dim X$이며, 등호가 성립할 때는 $X$가 토릭임을 의미하는가? 이는 차원 $\geq 3$에서 성립하는가?
• RQ2 추측의 조건을 만족하는 다양체는 정규적으로나 해석적으로 토릭 쌍과 동형이 아니더라도 형식적으로 토릭일 수 있는가?
• RQ3 논문 [5]에서 주장된 증명은 타당한가? 특히 $\mathbb{C}^*$-불변 분자수와 다항식 링 간의 관계를 다루는 핵심 단계는 타당한가?
• RQ4 추측의 조건을 만족하는 다양체는 유한군에 의한 토릭 다양체의 몫으로서 나타나거나, 정규적인 $(\mathbb{C}^*)^k$-작용을 갖는가?
• RQ5 추측의 조건을 만족할 경우 $X$는 $(\mathbb{C}^*)^n$의 컴팩티피케이션 또는 모리 드림 스페이스인가?

주요 결과

• 추측은 차원 $n \geq 3$에서 실패한다: 반례는 $\mathfrak{X} = X \times (\mathbb{P}^1)^{n-3}$를 통해 구성되며, $ac(\mathfrak{X}, \mathfrak{D}) = \frac{3}{4}$, $K_{\mathfrak{X}} + \mathfrak{D} \equiv 0$이지만 $\mathfrak{X}$는 토릭이 아니다.
• 논문 [5]의 증명은 일관성이 없으며, 주로 $d$개의 $\mathbb{C}^*$-불변 분자수가 존재하는 $d$차원 다양체에서 링이 다항식 링임을 주장하는 것이 잘못되었기 때문이다.
• 반례 제시: $Y \subset \mathbb{C}^3$는 $xy = z^3 + z^2 + z$로 정의되며, $\mathbb{C}^*$-작용이 존재한다. 이 경우 두 개의 불변 분자수가 존재하지만 $\pi_1(Y) = \mathbb{Z}/3$이므로 $Y \not\simeq \mathbb{C}^2$이며, [5]의 핵심 단계를 반박한다.
• 지역 버전의 추측(즉, $Z = X$일 때)은 참이다: $K_X + D \equiv 0$이고 $D_i$가 $\mathbb{Q}$-카르티에일 경우, $X \simeq (\mathbb{C}^n \ni 0)/\mathfrak{A}$이며, $\mathfrak{A}$는 유한 아벨 대각선군이므로 $(X, \llcorner D \lrcorner)$는 토릭이다.
• 추측의 등호 경우는 강력한 가정 하에서만 $X$가 토릭임을 암시한다; 일반적으로 $\sum d_i = r(X,D) + \dim X$ 조건은 차원 ≥3에서 토릭 구조를 암시하지 않는다.
• 토리피케이션 또는 형식적 토릭 구조와 같은 추측의 더 약한 형태는 배제되지 않지만, 원래의 추측은 실패한다.