[논문 리뷰] Locally nilpotent derivations on affine surfaces with a $\C^*$-action

Hubert Flenner, Mikhail Zaidenberg|arXiv (Cornell University)|2004. 03. 12.

Advanced Differential Equations and Dynamical Systems참고 문헌 32인용 수 45

한 줄 요약

이 논문은 국소적으로 비자명한 미분형과 도르가체프-핑앰-데마푸(DPD) 구성법을 사용하여 ℂ*-행동과 ℂ⁺-행동을 갖는 정규 아핀 표면를 분류한다. 좌표환과 정의 방정식의 명시적 대수적 기술을 제공하며, 기존의 결과를 복원하고, 이러한 표면들이 몰입 특이점이거나 아핀 곡선 위로의 섬유화된 아핀 직선 섬유를 갖는다고 보여준다.

ABSTRACT

We give a classification of normal affine surfaces admitting an algebraic group action with an open orbit. In particular an explicit algebraic description of the affine coordinate rings and the defining equations of such varieties is given. By our methods we recover many known results, e.g. the classification of normal affine surfaces with a `big' open orbit of Gizatullin and Popov or some of the classification results of Danilov-Gizatullin, Bertin and others.

연구 동기 및 목표

• ℂ 위의 정규 아핀 표면 중에서 열린 궤도를 갖는 대수적 군 작용을 갖는 모든 표면를 분류하는 것.
• 그러한 표면의 좌표환과 정의 방정식에 대한 명시적 대수적 기술을 제공하는 것.
• 기하학자 지자툴린, 포포프, 버틴의 결과를 국소적으로 비자명한 미분형을 사용하여 복원하고 일반화하는 것.
• 자기자기 불변량이 자명한 표면를 특성화하고, ℂ*-표면 위의 ℂ⁺-행동 가족을 분류하는 것.
• 그러한 표면들이 유일한 아핀 룰링을 갖는 조건과 특정 피카르 또는 캐논리컬 클래스 성질을 갖는 조건을 설정하는 것.

제안 방법

• ℂ⁺-행동와 국소적으로 비자명한 미분형(LND) 사이의 대응관계와, ℂ*-행동와 좌표환 위의 ℤ-중량 부여 사이의 대응관계를 사용한다.
• 도르가체프-핑앰-데마푸(DPD) 구성법을 적용하여 좌표환 A를 A₀[D]로 기술하며, 여기서 D는 매끄러운 아핀 곡선 Spec A₀ 위의 ℚ-분할이다.
• 표면를 세 가지 경우로 분류한다: 타원형(A₀ ≅ ℂ), 포물형(A₀ ≠ ℂ, 아핀 곡선 위로의 섬유화), 쌍곡형(비양수 중량 부여).
• 중량 e를 갖는 동차 LND를 중량 부여된 환에서 분석하며, 환의 구조와 정규화 위에서 ℤ/dℤ 작용의 성질을 이용하여 몰입 특이점을 기술한다.
• 정규화와 몫 구성법을 사용하여, 일부 표면들이 유한군 작용에 의한 토릭 또는 DPD 유형 표면의 몫으로서 나타남을 보여준다.
• FlZa1의 결과를 활용하여 피카르 군과 캐논리컬 분할의 성질을 분석하여 Pic(W_d) ≅ ℤ 및 K_W = 0 등의 불변량을 결정한다.

실험 결과

연구 질문

• RQ1 ℂ 위의 정규 아핀 표면 중에서 열린 궤도를 갖는 대수적 군 작용을 갖는 것은 무엇인가?
• RQ2 중량 부여된 대수와 ℚ-분할을 사용하여 이러한 표면의 좌표환을 어떻게 명시적으로 기술할 수 있는가?
• RQ3 ℂ*-표면 위에 ℂ⁺-행동이 존재할 때, 유일한 아핀 룰링 또는 자가자기 불변량이 자명한 조건은 무엇인가?
• RQ4 유한군(예: ℤ/dℤ)에 의한 몫 구성법은 특이점을 갖는 표면의 분류와 어떻게 관련되는가?
• RQ5 ℂ⁺-행동에 의한 불변환의 구조는 무엇이며, DPD 표현과 어떻게 관련되는가?

주요 결과

• 모든 정규 아핀 표면 중에서 ℂ*-행동과 ℂ⁺-행동를 갖는 것은 좌표환의 중량 부여에 따라 세 가지 유형으로 분류된다: 타원형, 포물형, 쌍곡형.
• 타원형의 경우, 표면는 ℂ[X,Y]^ℤ_d와 동형이며, 여기서 ℤ_d는 ζ·X = ζX, ζ·Y = ζ^eY로 작용하며, gcd(e,d)=1 이고, LND는 ∂ = X^e ∂/∂Y 이다.
• 포물형의 경우, 좌표환은 A = A₀[D]이며, 여기서 A₀는 매끄러운 아핀 곡선의 좌표환이고 D는 ℚ-분할이며, 이는 A₀ 위로의 섬유화된 구조를 이끈다.
• d,n ≥ 2인 버틴의 표면 W_{d,n}에 대해서는 좌표환이 A₀[D₊,D₋]와 동형이며, D₊ = (1/n)[0], D₋ = -(1/n)[0] - (1/(n(d-1)))[-1] 이고, 마카르-리만노프 불변량은 ℂ[x] 이다.
• 표면 W_d와 W_{d,n}는 자명한 캐논리컬 클래스(K = 0)를 가지며, 피카르 군은 Pic(W_d) ≅ ℤ, Pic(W_{d,n}) ≅ ℤ/nℤ 이다.
• 표면 W_d와 W_{d,n}는 비취소 가능하다: 모든 d,d'에 대해 W_d × 𝔸¹ ≅ W_{d'} × 𝔸¹ 이지만, d ≠ d' 이면 W_d ≇ W_{d'} 이다.