[논문 리뷰] Cox rings and combinatorics

Florian Berchtold, Juergen Hausen|ArXiv.org|2003. 11. 07.

Advanced Topics in Algebra참고 문헌 23인용 수 6

한 줄 요약

이 논문은 총좌표환의 전체좌표환의 유한생성성과 정규다양체의 기하적 성질을 그의 divisor class group을 통해 기하학적 성질을 기하학적 구조로 묘사하기 위해 bunched rings를 사용하는 조합론적 프레임워크를 제안한다. 이는 토릭 기하학을 일반화하고, 표면 및 그라스만이안의 몫을 포함한 비토릭 다양체에 대한 효과적인 계산을 가능하게 하며, 특이점, 앰플리티 및 세미앰플리 콘, 팔로 조건에 대한 명시적 기준을 수립한다.

ABSTRACT

For a variety with a finitely generated total coordinate ring, we describe basic geometric properties in terms of certain combinatorial structures living in its divisor class group. For example, we describe the singularities, we calculate the ample cone, and we give simple Fano criteria. As we show by means of several examples, these results allow explicit computations.

연구 동기 및 목표

• 유한생성된 전체좌표환을 가진 정규다양체의 기하학적 성질을 기술하기 위한 조합론적 프레임워크를 개발하기 위해.
• 토릭 기하학의 조합론적 방법을 divisor class group 데이터를 사용하여 비토릭 다양체로 일반화하기 위해.
• 특이점, 앰플리티, 팔로 조건에 대한 명시적이고 계산 가능한 기준을 조합론적 데이터로 제공하기 위해.
• bunched 링을 통한 $A_2$-최대 다양체의 특성화를 제시하여 기하학적 불변량 이론의 범위를 확장하기 위해.
• 예를 들어 $E_6$ 입자 표면의 해소 및 그라스만이안의 토러스 몫과 같은 다양체에 대한 효과적인 계산 도구를 제공하기 위해.

제안 방법

• 유한생성된 계약형 대수 $R$를 래티스 $K$에 의해 그레이드한 bunched 링 $(R, \frak{F}, \frak{Φ})$ 를 정의한다. 여기서 $\frak{F}$ 는 $K$-동차 소생성자들의 체계이고, $\frak{Φ}$ 는 $K_{\mathbb{Q}}$ 내의 겹치는 다면체 콘들의 유한한 집합이다.
• 다양체 $X = X(R, \frak{F}, \frak{Φ})$ 는 $R$의 스펙트럼의 열린 부분집합 $\check{X} \subset \mathrm{Spec}(R)$ 에서 $K$-그레이드에 의해 유도된 토르스 작용에 의한 좋은 몫으로 구성된다.
• 양의 직각좌표계 $\gamma = \mathbb{Q}_{\geq 0}^r$ 의 면들에 의해 인덱싱된 소생성자 $f_i \in \frak{F}$ 에 의해 유도되는 분할을 사용하여 국소 기하학적 성질을 분석한다.
• $e_i$ 를 $f_i$ 의 차수로 보내는 선형사상 $Q: \mathbb{Z}^r \to K$ 를 적용하여 콘 기하학과 특이점 및 계약성의 관계를 설정한다.
• 행렬 $Q$-차수를 사용하여 움직이는 콘과 쌍대 콘 구성법을 통해 세미앰플리 콘과 앰플리 콘을 특성화한다.
• bunched $\frak{F}$ 의 커버링 컬렉션에서 유도된 최대 콘들을 포함하여 $Q$ 의 핵의 쌍대를 통해 최소 토릭 환경 다양체 $Z(R, \frak{F}, \frak{Φ})$ 를 구성한다.

실험 결과

연구 질문

• RQ1 유한생성된 전체좌표환을 가진 정규다양체의 기하학적 성질은 divisor class group의 조합론적 데이터로 어떻게 묘사할 수 있는가?
• RQ2 bunched 링 데이터에 어떤 조건이 성립하면, 다양체가 주어진 점에서 $\mathbb{Q}$-계약형 또는 계약형인가?
• RQ3 이러한 다양체의 앰플리 콘과 세미앰플리 콘은 조합론적 데이터로부터 어떻게 명시적으로 계산할 수 있는가?
• RQ4 다양체의 $A_2$-최대성과 bunched 링으로부터의 몫으로서의 표현 간의 관계는 무엇인가?
• RQ5 비토릭 설정에서 팔로 및 캐논리컬 디바이저 성질에 대한 효과적인 계산 기준을 유도할 수 있는가?

주요 결과

• 다양체 $X$ 의 특이점은 조합론적으로 결정된다: 점 $x \in X(\gamma_0)$ 에서 $X$ 가 $\mathbb{Q}$-계약형인 것은 $Q(\gamma_0)$ 가 $K_{\mathbb{Q}}$ 를 생성할 때이다.
• 해소된 $E_6$ 입자 표면의 세미앰플리 콘은 $\mathbb{Z}^7$ 내의 정규 콘으로, 행렬의 열들 $[0,2,1,2,2,2,1]^T$ 에서 $[2,3,3,4,5,6,4]^T$ 까지의 기본 생성자들을 가진다.
• 앰플리 콘은 세미앰플리 콘의 상대 내부이며, 캐논리컬 디바이저 클래스는 주어진 기저에서 $-(2,3,4,4,5,6,3)$ 이다.
• $E_6$ 표면의 최소 토릭 환경 다양체 $Z$ 는 10개의 최대 콘을 포함하며, 이는 음의 직각좌표계와 9개의 2차원 콘을 포함한다. 이들은 $\ker(Q)$ 의 쌍대에서 유도된다.
• 유한생성된 전체좌표환을 가진 정규완전 표면은, 두 개 이상의 비계약형 특이점이 공통의 약한 약한 근방을 가질 때에만 프로젝티브이다.
• 이 구성은 $\mathrm{Cl}(X)$ 내의 조합론적 데이터를 통해 Kleiman-Chevalley의 준프로젝티비티 기준의 효과적인 형태를 제공한다.