[논문 리뷰] Mori dream surfaces associated with curves with one place at infinity

Pinaki Mondal|arXiv (Cornell University)|2013. 12. 08.

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

한 줄 요약

이 논문은 무한대에 한 지점만을 가진 곡선으로부터 유도된 유리 표면을 연구하여, 다항식의 근사 근을 사용해 생성자를 명시적으로 구성함으로써 Cox 링의 유한 생성성을 증명하고, 이로 인해 이 표면들이 모리 드림 공간임을 보인다. 또한 무한대에서의 전역 자라이 및 에르니케스 준군을 완전히 특성화하여, 동형성의 평탄성에 따라 같은 기하학적 성질을 가진 평행선에 대해 이 둘의 준군이 서로 동형임을 보이며, [CPRL02]에서 제기된 질문에 답한다.

ABSTRACT

We study a class of rational surfaces (considered in [Campillo, Piltant and Reguera, 2005]) associated to curves with one place at infinity and explicitly describe generators of the Cox ring and global sections of line bundles on these surfaces. In particular, we show that their Cox rings are finitely generated, i.e. they are Mori dream spaces. We also compute their "global Zariski semigroups at infinity" (consisting of line bundles which have no base points `at infinity') and "global Enriques semigroups" (generated by closures of curves in C^2). In particular, we show that the global Zariski semigroups at infinity and Enriques semigroups of surfaces corresponding to pencils which are equisingular at infinity are isomorphic, which answers a question of [Campillo, Piltant and Reguera-Lopez, 2002]. We also give an effective algorithm to determine if a (rational) surface `admits systems of numerical curvettes' (these surfaces were also considered in [Campillo, Piltant and Reguera, 2005]).

연구 동기 및 목표

• 무한대에 한 지점만을 가진 곡선과 관련된 유리 표면의 Cox 링이 유한 생성됨을 증명함으로써, 이러한 표면들이 모리 드림 공간임을 입증하는 것.
• 다항식의 근사 근을 사용하여 Cox 링의 생성자와 이러한 표면 위의 선형 번들의 전역 절단을 명시적으로 기술하는 것.
• 무한대에서의 전역 자라이 준군과 전역 에르니케스 준군을 특성화하며, 특히 근사 근에 의한 토폴로지적 생성에 관해 기술하는 것.
• 무한대에서 동형성의 평행선에 대해 전역 자라이 준군과 에르니케스 준군이 동형인지 여부를 묻는 [CPRL02]의 질문을 해결하는 것.
• 유리 표면이 수치적 커브렛 시스템을 가질 수 있는지 판별하는 효과적인 알고리즘을 제공하여 [CPR05]의 결과를 확장하는 것.

제안 방법

• 표면 $X_V$의 Cox 링을 다항식 $f_i = F_i|_{\mathbb{C}^2}$의 근사 근을 통해 구성하며, 이들이 링을 명시적으로 생성함을 보임.
• 토폴로지적 생성—좌표별 최대값에 대한 닫힘—을 사용하여 전역 에르니케스 준군 $P^{st}(X_V)$를 기술하며, 근사 근의 집합이 이 준군을 토폴로지적으로 생성함을 보임.
• 무한대에서의 전역 자라이 준군 $\tilde{P}_\infty(X_V)$를 도입하고 분석함. 이는 $\mathbb{C}^2$ 외부에서 기저 점이 없는 분할의 집합으로 정의되며, 근사 근의 곱으로 표현됨.
• 푸아수 급수와 반도수를 사용하여 무한대에서 곡선의 행동을 분석함. 특히 일반적인 계수별 푸아수 급수 $\tilde{\phi}(x,\xi)$와 그 공액 급수를 다룸.
• 형식적 특성 지표와 다각형 순서를 사용하여 무한대에서의 특이점의 구조를 연구함. $p_j$와 $q_j$를 사용해 푸아수 전개의 가중도수를 기술함.
• 공액 급수를 조작하고 반도수에 따라 차수를 비교하기 위해 $c \star_r \phi$ 연산을 사용함. 이는 특히 레마 7.6의 핵심 부등식을 증명하는 데 핵심적인 역할을 함.

실험 결과

연구 질문

• RQ1 무한대에 한 지점만을 가진 곡선과 관련된 유리 표면의 Cox 링은 유한 생성되는가?
• RQ2 무한대에서의 전역 자라이 준군과 전역 에르니케스 준군은 정의 다항식의 대수적 불변량으로 명시적으로 기술될 수 있는가?
• RQ3 두 평행선이 무한대에서 동형성이라면, 그들의 전역 자라이 준군과 에르니케스 준군은 서로 동형인가?
• RQ4 근사 근은 이러한 표면의 Cox 링과 에르니케스 준군을 생성하는 데 어떤 역할을 하는가?
• RQ5 효과적인 알고리즘이 존재하여 유리 표면이 수치적 커브렛 시스템을 가질 수 있는지 판별할 수 있는가?

주요 결과

• $X_V$의 Cox 링은 $V \in \mathcal{V}$에 대해 유한 생성되며, 이는 이러한 표면들이 모리 드림 공간임을 확인한다.
• 전역 에르니케스 준군 $P^{st}(X_V)$는 다항식 $f_i = F_i|_{\mathbb{C}^2}$의 근사 근에 대응하는 분할 $D_{ij}$에 의해 토폴로지적으로 생성된다.
• 무한대에서의 전역 자라이 준군 $\tilde{P}_\infty(X_V)$는 근사 근의 곱으로 명시적으로 기술되며, 정확한 특성은 정리 5.7과 추론 6.3에서 제시된다.
• 무한대에서 동형성의 평행선 $V_1, V_2 \in \mathcal{V}_1$에 대해 $X_{V_1}$과 $X_{V_2}$의 전역 자라이 준군과 에르니케스 준군은 서로 동형이며, 이는 [CPRL02]의 질문 1.1에 대한 긍정적 답변을 제공한다.
• 근사 근의 구조와 그 토폴로지적 생성에 기반하여, 유리 표면이 수치적 커브렛 시스템을 가질 수 있는지 판별하는 효과적인 알고리즘이 제시된다.
• 레마 7.6의 증명은 반도수 간의 결과물에 대한 핵심 부등식을 확립하며, $\delta(g_1)/\deg_y(g_1) \geq \delta(g_2)/\deg_y(g_2)$임을 보이며, 이는 준군에 관한 주요 결과를 뒷받침한다.