[논문 리뷰] C^*- Actions on Stein analytic spaces with isolated singularities

César Camacho, Hossein Movasati외 1명|ArXiv.org|2007. 09. 04.

Advanced Operator Algebra Research참고 문헌 7인용 수 3

한 줄 요약

이 논문은 정규적이고 두 차원인 스텐 공간에서 딕리티컬 특이점을 가진 ℂ*-작용이 ℂⁿ⁺¹ 안의 애매한 대수적 다양체 위에서 좋은 작용으로 해석적으로 동치임을 증명한다. 핵심 결과는 이러한 공간들이 준동차 대수적 표면과 비호몰로픽일 뿐만 아니라, 종수, 선다발의 차수, 연속 분수 불변량을 포함한 해석적 자료를 통한 완전한 모듈리 분류를 보여주는 GAGA 유형 정리이다.

ABSTRACT

Let $V$ be an irreducible complex analytic space of dimension two with normal singularities and $\vr:\mathbb{C^*} imes V o V$ a holomorphic action of the group $\mathbb{C^*}$ on $V$. Denote by $\fa_\vr$ the foliation on $V$ induced by $\vr$. The leaves of this foliation are the one-dimensional orbits of $\vr$. %and its singularities are the fixed points of $\vr$. We will assume that there exists a \emph{dicritical} singularity $p\in V$ for the $\bc^*$-action, i.e. for some neighborhood $p\in W\subset V$ there are infinitely many leaves of $\mathcal {F}_\vr|_{W}$ accumulating only at $p$. The closure of such a local leaf is an invariant local analytic curve called a \emph{separatrix} of $\mathcal{F}_\vr$ through $p$. In \cite{Orlik} Orlik and Wagreich studied the 2-dimensional affine algebraic varieties embedded in $\mathbb{C}^{n+1}$, with an isolated singularity at the origin, that are invariant by an effective action of the form $σ_Q(t,(z_{0},...,z_{n}))=(t^{q_{0}}z_{0},..., t^{q_{n}}z_{n})$ where $Q=(q_0,...,q_n) \in\mathbb N^{n+1}$, i.e. all $q_{i}$ are positive integers. Such actions are called \emph{good} actions. In particular they classified the algebraic surfaces embedded in $\mathbb{C}^{3}$ endowed with such an action. It is easy to see that any good action on a surface embedded in $\mathbb{C}^{n+1}$ has a dicritical singularity at $0\in\mathbb{C}^{n+1}$. Conversely, it is the purpose of this paper to show that good actions are the models for analytic $\mathbb{C^*}$-actions on Stein analytic spaces of dimension two with a dicritical singularity.

연구 동기 및 목표

• 정규적이고 두 차원인 스텐 해석적 공간에서 딕리티컬 특이점을 가진 ℂ*-작용을 분류하기 위해.
• 그러한 작용이 ℂⁿ⁺¹ 안의 애매한 대수적 다양체 위에서 좋은 대수적 작용으로 해석적으로 동치임을 증명하기 위해.
• 스텐 표면 위의 ℂ*-작용에 대한 GAGA 유형 원리를 확립하기 위해.
• 기하학적 및 산술적 불변량을 바탕으로 쌍 (V, φ)의 완전한 모듈리 공간 기술을 제공하기 위해.

제안 방법

• 특이점을 해소하여 공간을 컴act 리만 곡면들의 합집합으로 분해하고, 그 중에서 ℂ* 작용이 수직으로 작용하는 특별한 리만 곡면 σ₀를 식별한다.
• σ₀ 근처에서 ℂ*-작용의 국소 선형화를 적용하며, 그 자체의 교차수와는 무관하게 수행한다.
• 해소 그래프에서 유도된 σ₀, 음수 차수의 선다발, 연속 분수 수열의 자료를 사용하여 해소의 선형 모델을 구성한다.
• 딕리티컬 특이점의 유도 영역이 전체 공간 V임을 증명함으로써 선형 모델로의 전역 동치를 이끌어낸다.
• 스텐 성질과 H¹의 영성으로 인해 유도 영역이 단순연결임을 보이고, 이를 통해 전역 비호몰로피즘을 확립한다.
• 모듈리 자료와 결과 선형 모델 사이의 일대일 대응을 확립함으로써 분류를 증명한다.

실험 결과

연구 질문

• RQ1 정규적이고 두 차원인 스텐 공간에서 딕리티컬 특이점을 가진 모든 ℂ*-작용은 ℂⁿ⁺¹ 안의 애매한 대수적 다양체 위에서 좋은 대수적 작용으로 표현될 수 있는가?
• RQ2 그러한 ℂ*-작용의 완전한 모듈리 공간은 호몰로지적 동치에 대해 어떻게 기술될 수 있는가?
• RQ3 작용에 의해 유도된 분할의 해소에서 유도되는 불변량은 기저 공간과 작용을 어떻게 분류하는가?
• RQ4 딕리티컬 특이점의 유도 영역은 항상 전체 공간 V인가?
• RQ5 이러한 공간에서 점 p 외에 다른 딕리티컬 특이점은 존재하는가?

주요 결과

• 정규적이고 두 차원인 스텐 공간에서 딕리티컬 특이점을 가진 모든 ℂ*-작용은 ℂⁿ⁺¹ 안의 애매한 대수적 다양체 위에서 좋은 작용으로 해석적으로 동치이다.
• 딕리티컬 특이점의 유도 영역은 전체 공간 V이므로 전역 선형화가 가능하다.
• 쌍 (V, φ)의 모듈리 공간은 종수 g, s개의 표시된 점이 있는 리만 곡면 σ₀, 차수 −k ≤ −1인 선다발, 수렴 부등식을 만족하는 연속 분수 수열로 매개변수화된다.
• 특이점에서의 분할 해소는 모듈리 자료를 결정하며, 분류는 동형사상에 대해 완전하고 유일하다.
• 만약 V가 매끄럽다면, V는 ℂ²와 비호몰로픽이며, 이는 주요 정리의 특수한 경우를 확인한다.
• 점 p에서의 특이점은 문헌에서 정의된 바와 같이 반드시 준동차 표면 특이점이어야 한다.