[논문 리뷰] The Gromov-Winkelmann theorem for flexible varieties

Hubert Flenner, Shulim Kaliman외 1명|arXiv (Cornell University)|2013. 05. 28.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 5

한 줄 요약

이 논문은 차원이 ≥2인 탄력적인 준아핀 다양체 $X$와 그의 codimension ≥2인 닫힌 부분다양체 $Y \subset X$에 대해, 특수자기동형군 $\operatorname{SAut}(X)$ 내에서 $Y$의 점별 안정자 부분군이 $X \setminus Y$ 위에서 무한히 비틀림 작용함을 증명한다. 이 결과는 $\mathbb{A}^n$에 대한 Gromov–Winkelmann 정리의 일반화로, 탄력성과 무한 비틀림 작용이 codimension ≥2 부분다양체의 여집합에서도 유지됨을 보여준다.

ABSTRACT

An affine variety $X$ of dimension $\ge 2$ is called {\em flexible} if its special automorphism group SAut$(X)$ acts transitively on the smooth locus $X_{reg}$ \cite{AKZ}. Recall that the special automorphism group SAut$(X)$ is the subgroup of the automorphism group Aut$(X)$ generated by all one-parameter unipotent subgroups \cite{AKZ}. Given a normal, flexible, affine variety $X$ and a closed subvariety $Y$ in $X$ of codimension at least 2, we show that the pointwise stabilizer subgroup of $Y$ in the group SAut$(X)$ acts infinitely transitively on the complement $X\backslash Y$, that is, $m$-transitively for any $m\ge 1$. More generally we show such a result for any quasi-affine variety $X$ and codimension $\ge 2$ subset $Y$ of $X$. In the particular case of $X=Å^n$, $n\ge 2$, this yields a Theorem of Gromov and Winkelmann \cite{Gr1}, \cite{Wi}.

연구 동기 및 목표

• 아핀 공간에서의 Gromov–Winkelmann 정리의 무한 비틀림 작용에 대한 일반화를 탄력적인 준아핀 다양체로 확장하는 것.
• 차원 ≥2인 부분다양체 $Y$에 대해 $\operatorname{SAut}(X)$ 내에서 $Y$의 점별 안정자 부분군이 $X \setminus Y$ 위에서 무한히 비틀림 작용함을 증명하는 것.
• 탄력성의 성질이 $X$에서 $Y$를 제거한 $X \setminus Y$로도 유지되는지 확인하는 것 (여기서 $Y$는 codimension ≥2).
• 탄력적 다양체의 열린 부분집합에서 자동군 작용에 대한 무한 비틀림 작용의 일반적 프레임워크를 제공하는 것.
• 문헌 [AFKKZ, 4.22(2)]에서 제기된 질문, 즉 이러한 여집합에서 안정자 부분군의 전이성에 대해 해결하는 것.

제안 방법

• 지역적으로 비가역 미분연산(LNDs)과 그에 대응하는 일차원 무일치 부분군을 이용해 군 작용을 생성하는 것.
• 두 LND와 그 가중 복제를 생성하는 부분군 $H = \langle\!\langle \delta_0, \delta_1 \rangle\!\rangle$를 구성하여 열린 궤도를 달성하는 것.
• 일반선형군 $\mathbb{G}_a$-작용에 대한 불변 함수를 통해 부분 몫 $Q_U = \operatorname{Spec} B$를 정의하고 궤도 구조를 분석하는 것.
• Rosenlicht 정리를 적용하여 유한한 불변량 집합으로 일반 궤도를 분리하는 것.
• 접선 벡터를 매칭하고 군 작용을 공轭시키기 위해 $\operatorname{SL}(T_xX)$를 이용한 제트 보간 기법의 적용.
• 모든 $\mathbb{G}_a$-작용의 공轭에 대해 열린 궤도를 가지는 LND 집합 $\mathcal{N}$이 공轭에 관해 포화되어 있음을 활용하여 군의 구조를 유지하는 것.

실험 결과

연구 질문

• RQ1 탄력적인 $X$에 대해, $\operatorname{SAut}(X)$ 내에서 $Y$의 점별 안정자 부분군이 $X \setminus Y$ 위에서 무한히 비틀림 작용하는가?
• RQ2 아핀 공간 외의 임의의 탄력적인 준아핀 다양체로 $\mathbb{A}^n$에 대한 Gromov–Winkelmann 정리가 일반화될 수 있는가?
• RQ3 $X$의 탄력성은 codimension ≥2 부분다양체 $Y$를 제거한 후에도 유지되는가?
• RQ4 어떤 조건에서 두 LND가 탄력적 다양체에서 열린 궤도를 가지는 부분군을 생성할 수 있는가?
• RQ5 부분 몫과 불변량을 통한 궤도 분리 기법이 $Y$의 여집합에서 열린 궤도를 구성하는 데 어떻게 기여하는가?

주요 결과

• 모든 정규 탄력적인 준아핀 다양체 $X$와 codimension ≥2인 닫힌 부분다양체 $Y$에 대해, 점별 안정자 부분군 $\operatorname{SAut}_Y(X)$는 $X \setminus Y$ 위에서 무한히 비틀림 작용한다.
• $X = \mathbb{A}^n$, $n \geq 2$일 경우, 이는 Gromov–Winkelmann 정리를 회복하며, $\operatorname{SAut}_Y(X)$가 $\mathbb{A}^n \setminus Y$ 위에서 무한히 비틀림 작용함을 확인한다.
• $\ker \delta_0 \neq \ker \delta_1$일 경우, 두 LND와 그 가중 복제를 생성하는 부분군 $H = \langle\!\lang \delta_0, \delta_1 \rangle\!\rangle$는 $X$에서 열린 궤도를 가진다.
• 이러한 LND 쌍의 존재는 일반 점에서의 접선 공간이 그 궤도 방향에 의해 생성됨을 의미하며, 이는 $H$-궤도의 탄력성을 암시한다.
• 이러한 구성은 다수의 점에서 접선 벡터를 매칭시키는 자동군을 통해 $\mathbb{G}_a$-작용을 공轭시키는 데 의존하며, 이는 여집합 전반에 걸친 전이성 가능성을 보장한다.
• 결과는 최적적이다: [AFKKZ, Proposition 4.13]에서 제시된 반례에 의해 codimension 1 부분다양체에서는 성립하지 않음을 보여준다.