[논문 리뷰] Characterization of affine surfaces with a torus action by their automorphism groups

Alvaro Liendo, Andriy Regeta외 1명|arXiv (Cornell University)|2018. 05. 10.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 정규 아핀 표면에서의 토러스 작용을 갖는 표면가 그 regular 자동환군의 추상적 군 구조에 의해 유일하게 결정됨을 증명한다. 이는 자동환군 간의 동형사상이 대수적 군 작용과 $\mathbb{G}_{\mathrm{m}}$-작용의 역학적 유형을 유지함을 보이며, 복소 아핀 토릭 표면가 자동환군에 의해 동형사상에 대해 유일하게 분류됨을 보여주며, 유일한 예외는 대수적 토러스 자체이다.

ABSTRACT

In this paper we prove that if two normal affine surfaces $S$ and $S'$ have isomorphic automorphism groups, then every connected algebraic group acting regularly and faithfully on $S$ acts also regularly and faithfully on $S'$. Moreover, if $S$ is non-toric, we show that the dynamical type of a 1-torus action is preserved in presence of an additive group action. We also show that complex affine toric surfaces are determined by the abstract group structure of their regular automorphism groups in the category of complex normal affine surfaces using properties of the Cremona group. As a generalization to arbitrary dimensions, we show that complex affine toric varieties, with the exception of the algebraic torus, are uniquely determined in the category of complex affine normal varieties by their automorphism groups seen as ind-groups.

연구 동기 및 목표

• 정규 아핀 표면의 자동환군이 추상군으로서 표면를 동형사상에 대해 유일하게 결정하는지 확인하는 것.
• 자동환군의 추상적 군 구조에 어떻게 대수적 군 작용과 $\mathbb{G}_{\mathrm{m}}$-작용의 역학적 유형이 포함되어 있는지 조사하는 것.
• 이러한 특성화를 고차원 아핀 토릭 다양체로 확장하고 필요한 예외를 식별하는 것.
• 자기군의 불일치 및 비불일치 부분군의 역할을 명확히 하는 것.

제안 방법

• 자동환군 $\operatorname{Aut}(X)$의 대수적 부분군을 분석하기 위해 인드-군의 구조와 크레모나 군 위의 자리키 위상의 사용.
• 아핀 토릭 및 비토릭 $\mathbb{G}_{\mathrm{m}}$-표면에서의 루트 부분군을 분류하여 역학적 행동을 탐지하는 것.
• 고정점과 궤도 구조를 연구하기 위해 클라이먼 기준과 등변 프로젝티브 완비화의 적용.
• 비토릭성과 $\mathbb{G}_{\mathrm{a}}$-작용의 존재와 같은 조건의 필요성을 보여주기 위해 명시적 반례의 구성.
• 자동환군의 제약을 자동환수에 대한 불변성에 의해 제어하기 위해 불변 피브레이션과 사상(예: $\pi: S \to C$)의 사용.
• 특히 대수적 부분군의 상을 추상 군 동형사상 하에서 분석함으로써 군론적 기법을 통해 동형사상 유지의 증명.

실험 결과

연구 질문

• RQ1 정규 아핀 표면의 자동환군이 추상군으로서 표면를 동형사상에 대해 유일하게 결정할 수 있는가?
• RQ2 두 표면의 자동환군 간의 추상 군 동형사상이 대수적 부분군의 구조, 특히 비불일치 부분군의 구조를 유지하는가?
• RQ3 비토릭 $\mathbb{G}_{\mathrm{m}}$-표면에서의 $\mathbb{G}_{\mathrm{m}}$-작용의 역학적 유형이 자동환군 동형사상 하에서 유지되는가?
• RQ4 복소 아핀 토릭 표면는 정규 아핀 표면의 범주에서 자동환군에 의해 유일하게 결정되는가?
• RQ5 $\mathbb{G}_{\mathrm{a}}$-작용이 자동환군 동형사상 하에서 역학적 유형을 유지하는 데 어떤 역할을 하는가?

주요 결과

• 정규 아핀 표면의 자동환군 간 추상 군 동형사상은 비불일치 대수적 부분군을 유지하며, 이를 바탕으로 목표군 내의 동형 대수적 부분군으로 매핑된다.
• 비토릭 $\mathbb{G}_{\mathrm{m}}$-표면에서 비자명한 $\mathbb{G}_{\mathrm{a}}$-작용이 존재하는 경우, $\mathbb{G}_{\mathrm{m}}$-작용의 역학적 유형은 자동환군 동형사상 하에서 유지된다.
• 복소 아핀 토릭 표면는 자동환군에 의해 추상군으로서 유일하게 결정되며, 대수적 토러스 자체를 제외한 모든 경우에 해당된다.
• 비토릭 $\mathbb{G}_{\mathrm{m}}$-표면에서 $\mathbb{G}_{\mathrm{a}}$-작용이 존재하는 표면의 자동환군은 다른 역학적 유형을 갖는 표면의 자동환군과 동형이 될 수 없다.
• 고차원에서는 복소 아핀 토릭 다양체(토러스를 제외한 모든 경우)는 인드-군으로서의 자동환군에 의해 유일하게 결정된다.
• 대수적 토러스가 예외이다: 특정 곡선 $C$에 대해 $\operatorname{Aut}(T) \cong \operatorname{Aut}(C \times T)$ 가 인드-군으로서 성립하므로, 특성화에서 토러스를 제외하는 것이 필수적임을 보여준다.