[논문 리뷰] Cox rings of rational complexity one T-varieties

Klaus Altmann, Lars Petersen|arXiv (Cornell University)|2010. 09. 02.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 복소도수-일 차수 토르스 작용을 가진 모리 드림 공간 $X$의 코흐 링을 묘사하는 데 사용되는, $\mathbb{P}^1$ 의 유한 커버링 위에 정의된 다면체 분할 $\pi_{\operatorname{Cox}}$ 를 구성한다. $\mathbb{P}^1$ 에서 차수 0인 $A$-분할을 활용하여, 저자들은 토르스 궤도와 $\operatorname{Cox}(X)$ 의 변형을 연구하기 위한 조합론적 프레임워크를 제공하며, 토릭 구조를 비토릭인 합리적 $T$-다양체로 일반화한다.

ABSTRACT

Let X be a Mori dream space together with an effective torus action of complexity one. In this note, we construct a polyhedral divisor on a suitable covering of the projective line P^1 which corresponds to the affine spectrum of the Cox ring of X. This description allows for a detailed study of torus orbits and deformations of the latter. Moreover, we present coverings of P^1 together with an action of a finite abelian group A in terms of so-called A-divisors of degree zero on P^1.

연구 동기 및 목표

• 복소도수-일 차수 토르스 작용을 가진 모리 드림 공간의 코흐 링에 대한 조합론적 묘사를 제공하기 위해.
• 코흐 링이 다항식 링이 되는 토릭 구조를 비토릭인 합리적 $T$-다양체로 일반화하기 위해.
• 다중 덮개인 $\mathbb{P}^1$ 의 분할 위에 정의된 다면체 분할을 통해 $\operatorname{Cox}(X)$ 의 토르스 궤도와 변형을 연구하기 위해.
• 유한 아벨 커버링과 그 작용을 묘사하기 위한 도구로, $\mathbb{P}^1$ 에서 차수 0인 $A$-분할을 도입하기 위해.
• $X$ 의 코흐 링과 적절한 커버링 공간 위의 다면체 분할 $\mathcal{D}_{\operatorname{Cox}}$ 사이의 대응관계를 설정하기 위해.

제안 방법

• 저자들은 전체 좌표 공간 $\operatorname{Spec}\operatorname{Cox}(X)$ 를 아핀 $T$-다양체로 묘사하기 위해 $p$-분할 이론을 사용한다.
• 군 $A$ 를 가진 유한 갈로아 커버링 $q: \widetilde{Y} \to \mathbb{P}^1$ 위에 다면체 분할 $\mathcal{D}_{\operatorname{Cox}}$ 를 구성하며, $\widetilde{Y}$ 는 매끄러운 합리적 곡선이다.
• 이 구성은 표현을 통해 분할 클래스 군 $\operatorname{Cl}(X)$ 를 올리고, 섹션 $s$ 를 사용하여 尾모난법 $\sigma$ 내의 다면체 계수 $\widetilde{\Delta}_p$ 를 정의한다.
• 다면체 계수 $\widetilde{\Delta}_p$ 는 $X$ 에서의 유효 콘과 교차 이론으로부터 유도되며, $A$-작용과의 호환성을 확보한다.
• 만일 $\operatorname{Cl}(X)$ 에 토파스가 존재한다면, 이 방법은 $A \cong \operatorname{Cl}(X)_{\text{tors}}$ 를 사용하여 커버링을 고려하며, 각 점의 원상 위에서 $\mathcal{D}_{\operatorname{Cox}}$ 는 차수 $|A|$ 를 가진다.
• 결과적으로 $\mathcal{D}_{\operatorname{Cox}}$ 는 $\widetilde{Y}$ 의 점들 위에서 다면체 계수들의 $\mathbb{Z}$-선형 조합으로 표현되며, 이는 코흐 링을 $\operatorname{Cl}(X)$-중요 대수로 묘사한다.

실험 결과

연구 질문

• RQ1 어떻게 다면체 분할을 사용하여 복소도수-일 차수 $T$-다양체의 코흐 링을 조합론적으로 묘사할 수 있는가?
• RQ2 유한 아벨 커버링인 $\mathbb{P}^1$ 이 이러한 다양체의 전체 좌표 공간을 실현하는 데 어떤 역할을 하는가?
• RQ3 토르스 궤도와 $\operatorname{Cox}(X)$ 의 변형은 다면체 분할 프레임워크에서 어떻게 나타나는가?
• RQ4 어떻게 $\mathbb{P}^1$ 에서의 차수 0인 $A$-분할이 이 맥락에서 군 작용과 분지 커버링을 묘사하는가?
• RQ5 이 구성은 $E_6$ 특이점을 가진 로그 델 페초 표면과 같은 알려진 예를 복원할 수 있는가?

주요 결과

• 합리적 복소도수-일 차수 $T$-다양체 $X$ 의 코흐 링은 $\mathbb{P}^1$ 의 유한 커버링 위에 정의된 다면체 분할 $\mathcal{D}_{\operatorname{Cox}}$ 를 통해 아핀 $T$-다양체의 좌표 링으로 실현된다.
• $E_6$-형 타입의 3차 로그 델 페초 표면의 경우, 다면체 분할 $\mathcal{D}_{\operatorname{Cox}}$ 는 $(0,1)$ 과 $(-2,1)$ 으로 생성된 尾콘을 가지며, 계수는 $\widetilde{\Delta}_0 = (0,-1/3)+\sigma$, $\widetilde{\Delta}_1 = (0,1/2)+\sigma$, $\widetilde{\Delta}_\infty = \overline{(0,0),(-1/3,0)} + \sigma$ 로 주어진다.
• 3차원 $A_2$-특이점을 가진 1차 $E_6$-형 표면의 경우, 커버링은 $0$ 과 $1$ 에서 분지하는 3:1 사상 $q: \mathbb{P}^1 \to \mathbb{P}^1$ 이며, 각 점의 원상 위에서 $\mathcal{D}_{\operatorname{Cox}}$ 는 차수 3을 가진다.
• 6차 델 페초 표면의 다면체 분할의 컴acts 부분 $\widetilde{\Delta}^c_0$ 는 다섯 차원 단체이며, 이는 코흐 링의 구조적 복잡성을 반영한다.
• $\mathbb{P}(\Omega_{\mathbb{P}^2})$ 의 코흐 링을 기울일 때, 이 방법은 다항식 링을 생성하지 못한다. 세 모서리를 합친 멕스키우스 합은 3차원 입체를 만드므로, 전체 좌표 링이 비토릭임을 보여준다.
• 이 구성은 토릭 경우를 일반화한다: $X$ 가 토릭일 경우, $\mathcal{D}_{\operatorname{Cox}}$ 는 양의 정부분공간을 통한 표준 다면체 분해를 복원한다.