[논문 리뷰] Factorial threefolds with Ga-actions

Adrien Dubouloz, David R. Finston외 1명|ArXiv.org|2009. 02. 23.

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

한 줄 요약

이 논문은 $\mathbb{A}^4$에서 $x^m v - y^n u = 1$로 정의된 계수 세차원 다양체를 연구하며, 이들은 자유 $\mathbb{G}_a$-작용을 가지며 $\mathbb{A}^2_*$ 위의 비동형 $\mathbb{G}_a$-_bundle의 총공간이다. 비록 이들 $\mathbb{G}_a$-_bundle의 구조가 서로 다를지라도, 일부 다양체는 추상적으로 동형임을 보이며, 이는 애매한 약한 캔슬레이션 문제에 대한 반례가 될 수 있음을 시사한다.

ABSTRACT

The affine cancellation problem, which asks whether complex affine varieties with isomorphic cylinders are themselves isomorphic, has a positive solution for two dimensional varieties whose coordinate rings are unique factorization domains, in particular for the affine plane, but counterexamples are found within normal surfaces Danielewski surfaces and factorial threefolds of logarithmic Kodaira dimension equal to 1. The latter are therefore remote from the affine three-space, the first unknown case where the base of one cylinder is an affine space. Locally trivial Ga-actions play a significant role in these examples. Threefolds admitting free Ga-actions are discussed, especially a class of varieties with negative logarithmic Kodaira dimension which are total spaces of nonisomorphic Ga-bundles. Some members of the class are shown to be isomorphic as abstract varieties, but it is unknown whether any members of the class constitute counterexamples to cancellation.

연구 동기 및 목표

• 계수 세차원 다양체 $X_{m,n}$의 구조와 불변량을 분석하기 위해 $x^m v - y^n u = 1$로 정의된 $\mathbb{A}^4$ 내에서 자유 $\mathbb{G}_a$-작용을 가지는 경우를 연구한다.
• 이 다양체들이 $\mathbb{A}^2_*$ 위의 비동형 $\mathbb{G}_a$-_bundle의 총공간임에도 불구하고, 이들이 약한 캔슬레이션 문제의 반례가 될 수 있는지 조사한다.
• $\mathbb{G}_a$-작용의 국소적 평탄성과 몫 공간의 기하학적 성질 간의 관계를 연구하며, 특히 계수 다양체의 맥락에서 이를 고려한다.
• $\mathbb{G}_m$-bundle의 구조와 Picard 군의 자명성에 기반하여 일부 $X_{f,g}$와 $X_{m,n}$ 간의 동형을 수립한다.

제안 방법

• 저자는 $X_{m,n} \subset \mathbb{A}^4$를 $x^m v - y^n u - 1$의 영점으로 정의하며, 이는 $t \cdot (x,y,u,v) = (x,y,u + t x^m, v + t y^n)$로 주어지는 $\mathbb{G}_a$-작용에 대해 안정적이다.
• 국소적으로 비가역 미분과 $\mathbb{G}_a$-불변 환의 이론을 사용하여 기하학적 몫을 분석하고, 분할된 환의 정수 폐쇄를 통해 준아핀 다양체로서 몫 공간을 구성한다.
• 이 과정에서 $R_i = \mathbb{C}[X, \delta(a_i)^{-1}]^{\mathbb{G}_a}$를 정의하고, 이러한 것들로 생성된 환의 정수 폐쇄 $R$을 구성함으로써 몫 구조를 확립한다.
• 논문은 $X_{f,g}$와 $X_{m,n}$이 모두 동형인 아핀 표면 $S_{d,m}$ 위의 $\mathbb{G}_m$-bundle임을 보여, 이들의 Picard 군의 자명성에 기반하여 이들 사이의 동형을 수립한다.
• Gizatullin의 유계 표면 분류를 적용하여 $\mathbb{F}_{|m-n|} \setminus \Delta_{m,n}$이 $\mathbb{F}_{|m-n|} \setminus \Delta_{f,g}$와 동형임을 확인하고, 이를 바탕으로 $Z = X_{m,n} \times_{S_{d,m}} X_{f,g}$의 와이어드 프로덕트를 구성한다.
• 이들 $X_{m,n}$과 $X_{f,g}$의 Picard 군이 자명하므로, 이들 위의 $\mathbb{G}_m$-bundle은 자명하다. 이에 따라 $X_{m,n} \times \mathbb{A}^1_* \cong X_{f,g} \times \mathbb{A}^1_*$가 되며, 이로부터 $X_{m,n} \cong X_{f,g}$로 내림을 적용한다.

실험 결과

연구 질문

• RQ1 계수 세차원 다양체 $X_{m,n}$는 $x^m v - y^n u = 1$로 정의되며, $\mathbb{A}^2_*$ 위의 비동형 $\mathbb{G}_a$-bundle이지만, 서로 다른 $(m,n)$ 쌍에 대해 추상적으로 동형일 수 있는가?
• RQ2 이들 다양체 $X_{m,n}$는 실린더가 동형임을 감안할 때, 약한 캔슬레이션 문제의 반례가 될 수 있는가?
• RQ3 $\mathbb{G}_a$-작용이 기하학적 몫의 구조와 좌표환의 불변량을 결정하는 데 어떤 역할을 하는가?
• RQ4 $X_{f,g}$와 $X_{m,n}$ 위의 $\mathbb{G}_m$-작용이 몫 표면의 구조와 세차원 다양체 간의 동형을 이끌어내는 데 어떻게 관련되는가?
• RQ5 유계 표면인 $\mathbb{F}_{|m-n|}$에서의 분할선의 자기교차수는 해당 $\mathbb{G}_a$-bundle의 동형류를 결정하는 데 어느 정도 기여하는가?

주요 결과

• $X_{m,n}$는 계수 세차원 다양체로서 자유 $\mathbb{G}_a$-작용을 가지며, $\mathbb{A}^2_*$ 위의 비동형 $\mathbb{G}_a$-bundle의 총공간이다. 이는 $H^1(\mathbb{A}^2_*, \mathcal{O})$ 내에서 다른 Čech 코호몰로지 원소로 나타난다.
• 서로 다른 $(m,n)$ 쌍에 대해 $X_{m,n}$은 $\mathbb{G}_a$-bundle으로서 비동형이지만, 동형인 몫 구조와 자명한 Picard 군 덕분에 일부는 추상적으로 동형이다.
• $X_{m,n}$의 $\mathbb{G}_m$-작용에 의한 몫은 유계 표면 $\mathbb{F}_{|m-n|}$에서 자기교차수 $m+n$인 분할선의 여부와 동형이며, 이는 분류에 핵심적인 불변량이다.
• $X_{f,g}$와 $X_{m,n}$은 둘 다 동형인 아핀 표면 $S_{d,m}$ 위의 $\mathbb{G}_m$-bundle이며, 이들의 Picard 군이 자명하므로 추상적으로 동형이다.
• $Z = X_{m,n} \times_{S_{d,m}} X_{f,g}$는 $X_{m,n}$과 $X_{f,g}$ 위에서 모두 자명한 $\mathbb{G}_m$-bundle이며, 이에 따라 $X_{m,n} \times \mathbb{A}^1_* \cong X_{f,g} \times \mathbb{A}^1_*$가 되고, 이로부터 $X_{m,n} \cong X_{f,g}$로 내림이 적용된다.
• $\mathbb{F}(m,n)$에서 분할선 $\Delta_{f,g}$의 자기교차수는 $m+n$이며, 이 불변량은 여부 표면의 동형류를 결정하며, 이는 $X_{f,g}$와 $X_{m,n}$ 간의 동형을 확립하는 데 핵심적이다.