[논문 리뷰] Multigraded Factorial Rings and Fano varieties with torus action

Juergen Hausen, Elaine Herppich외 1명|Research Explorer (The University of Manchester)|2009. 10. 19.

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

한 줄 요약

이 논문은 복잡도가 1인 타원적 작용과 자유 분할 계수 군을 갖는 패러노 다양체를 그 코크스 링크가 다중중성 계수 인티그랄 대수임으로써 특성화함으로써 분류한다. 차원과 피카르 지수에 기반한 변형 유형에 대한 명시적 상한을 제공하며, 분류 목록을 도출한다: 피카르 지수 ≤6인 15개의 비토리쿠스 표면, 지수 ≤2인 116개의 3차원 다양체, 국소적으로 계수 인티그랄인 67개의 4차원 다양체로, 모든 코크스 링크는 명시적으로 계산되었다.

ABSTRACT

In a first result, we describe all finitely generated factorial algebras over an algebraically closed field of characteristic zero that come with an effective multigrading of complexity one by means of generators and relations. This enables us to construct systematically varieties with free divisor class group and a complexity one torus action via their Cox rings. For the Fano varieties of this type that have a free divisor class group of rank one, we provide explicit bounds for the number of possible deformation types depending on the dimension and the index of the Picard group in the divisor class group. As a consequence, one can produce classification lists for fixed dimension and Picard index. We carry this out expemplarily in the following cases. There are 15 non-toric surfaces with Picard index at most six. Moreover, there are 116 non-toric threefolds with Picard index at most two; nine of them are locally factorial, i.e. of Picard index one, and among these one is smooth, six have canonical singularities and two have non-canonical singularities. Finally, there are 67 non-toric locally factorial fourfolds and two one-dimensional families of non-toric locally factorial fourfolds. In all cases, we list the Cox rings explicitly.

연구 동기 및 목표

• 복잡도가 1인 타원적 작용과 자유 분할 계수 군을 갖는 패러노 다양체를 그 코크스 링크를 통해 분류하는 것.
• 효율적인 복잡도가 1인 다중중성 계수를 갖는 모든 유한 생성 계수 인티그랄 대수를 특성화하는 것.
• 고정된 차원과 피카르 지수에 기반한 이러한 패러노 다양체의 변형 유형 수에 대한 명시적 상한을 도출하는 것.
• 고정된 차원과 피카르 지수에 대한 분류 목록을 작성하며, 명시적인 코크스 링크 기술을 포함하는 것.

제안 방법

• 생성자와 관계를 통해 효율적인 복잡도가 1인 다중중성 계수를 갖는 모든 유한 생성 계수 인티그랄 $\mathbb{K}$-대수를 특성화하는 것.
• 모든 삼중조합 $(A,\mathfrak{n},L)$ 에서 유도된 대수 $R(A,\mathfrak{n},L)$ 를 구성하는 것. 여기서 $A$ 는 $\mathbb{K}^2$ 에서의 벡터의 수열이며, $\mathfrak{n}$ 은 양의 정수의 수열이며, $L$ 은 양의 정수의 가족이다.
• 다항식 $g_{i,j,k} = \alpha_{jk}f_i + \alpha_{ki}f_j + \alpha_{ij}f_k$ 를 정의하며, $\alpha_{ij} = \det(a_i,a_j)$ 이고, 몫환 $R(A,\mathfrak{n},L) = \mathbb{K}[T_{ij}]/\langle g_{i,i+1,i+2}\rangle$ 를 형성하는 것.
• 다항식의 분할자와 다각형 분할자 분해를 통해 다양체를 그 코크스 링크로부터 재구성하는 것.
• 복잡도가 1인 다중중성 계수를 갖는 패러노 다양체에 대해 코크스 링크 구축 기법을 적용하며, 이러한 링크가 계수 인티그랄이면서 복잡도가 1인 다중중성 계수를 갖는다는 사실을 활용하는 것.
• 소수의 수에 대한 상한을 이용하여 고정된 차원과 피카르 지수에 대한 변형 유형 수의 명시적 상한을 도출하는 것.

실험 결과

연구 질문

• RQ1 효율적인 복잡도가 1인 다중중성 계수를 갖는 모든 유한 생성 계수 인티그랄 ${\mathbb{K}}$-대수 중 $R_0 = {\mathbb{K}}$ 인 것은 무엇인가?
• RQ2 이러한 대수들 중 어떤 것이 복잡도가 1인 타원적 작용과 자유 분할 계수 군을 갖는 패러노 다양체의 코크스 링크로 나타나는가?
• RQ3 고정된 $d$ 와 $\mu$ 에 대해, 복잡도가 1인 타원적 작용과 피카르 지수 $\mu$ 를 갖는 $d$ 차원 패러노 다양체의 변형 유형은 몇 개인가?
• RQ4 이러한 패러노 다양체에 대해 명시적인 분류 목록을 작성할 수 있으며, 그들의 코크스 링크는 무엇인가?

주요 결과

• 피카르 지수가 6 이하인 비토리쿠스 표면은 정확히 15개 존재한다.
• 피카르 지수가 2 이하인 비토리쿠스 3차원 다양체는 116개 존재하며, 이 중 9개는 국소적으로 계수 인티그랄이다 (1개는 매끄럽고, 6개는 캐논리컬 특이점을 갖으며, 2개는 비캐논리컬 특이점을 갖는다).
• 비토리쿠스 국소적으로 계수 인티그랄 4차원 다양체는 67개이며, 이들에 대해 1차원 가중가군 두 개가 존재한다.
• 고정된 $d$ 에 대해, 복잡도가 1인 타원적 작용과 피카르 지수 $\mu$ 를 갖는 $d$ 차원 패러노 다양체의 변형 유형 수는 $\xi(\mu)$ 로 상한이 주어지며, 이는 $\mu$ 이하의 소수의 수이다.
• 분류된 패러노 다양체의 모든 코크스 링크는 논문에서 명시적으로 나열되어 있다.
• 분류 작업은 적합성 조건 하에 $R(A,\mathfrak{n},L)$ 또는 그 다항식 확장으로서 코크스 링크를 식별함으로써 달성된다.