[논문 리뷰] On connected automorphism groups of algebraic varieties

Michel Brion|arXiv (Cornell University)|2012. 08. 12.

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

한 줄 요약

이 논문은 정규 프로젝티브 다양체 $X$ 의 가장 큰 연결 자동형군 $G$ 의 아르바네제 다양체 $A(G)$ 의 이소지니 클래스를 결정하며, 특성 0 에서는 $\dim A(G)$ 가 접선층 $\mathcal{T}_X$ 의 최대의 자명한 직접합성분들의 랭크와 일치함을 보인다. 또한 특성 0 에서 $G$ 의 가장 큰 반아핀 부분군의 차원에 대해 $3\dim(X)$ 의 최적 상한을 확립하며, 반아핀 경우에 대해 날카로운 예를 제시한다.

ABSTRACT

Let $X$ be a normal projective algebraic variety, $G$ its largest connected automorphism group, and $A(G)$ the Albanese variety of $G$. We determine the isogeny class of $A(G)$ in terms of the geometry of $X$. In characteristic 0, we show that the dimension of $A(G)$ is the rank of every maximal trivial direct summand of the tangent sheaf of $X$. Also, we obtain an optimal bound for the dimension of the largest anti-affine closed subgroup of $G$ (which is the smallest closed subgroup that maps onto $A(G)$).

연구 동기 및 목표

• 정규 프로젝티브 다양체 $X$ 의 가장 큰 연결 자동형군 $G$ 의 아르바네제 다양체 $A(G)$ 의 이소지니에 대해 특성화한다.
• 특성 0 에서 $A(G)$ 의 차원이 $X$ 의 기하학, 특히 접선층 $\mathcal{T}_X$ 의 자명한 직접합성분들의 랭크를 통해 어떻게 해석되는지 밝힌다.
• G의 가장 큰 반아핀 부분군의 차원에 대한 최적 상한을 확립하여 그 비선형성의 정도를 측정한다.
• 사라지지 않는 벡터장의 역할과 $G_{\rm aff}$, $A(G)$ 와의 관계를 명확히 하여 이전 문헌에서의 오해를 수정한다.

제안 방법

• 체바레의 구조 정리로 $G$ 를 $1 \to G_{\rm aff} \to G \to A(G) \to 1$ 의 확장으로 분해하며, 여기서 $G_{\rm aff}$ 는 아핀이고 $A(G)$ 는 아벨 다양체이다.
• $f_*\mathcal{O}_X = \mathcal{O}_A$ 와 이동에 대해 동차성을 갖는 동차 섬유화 $f: X \to A$ 를 도입하여 $A(G)$ 와 $X$ 상의 기하적 구조를 연결한다.
• 특성 0 에서 리 대수 기법을 적용하여 $\operatorname{Lie}(G)$ 를 $\mathcal{T}_X$ 의 전역 단면으로 식별하고, 평가 사상 $\operatorname{op}_{X,x}$ 를 통해 벡터장의 소멸 여부를 분석한다.
• $V \subset \operatorname{Lie}(G)$ 가 사라지지 않는 벡터장의 부분공간임과 동치로 $V \cap \operatorname{Lie}(G_{\rm aff}) = \{0\}$ 라는 조건을 증명하며, 이를 $\mathcal{T}_X$ 의 직접합성분과 연결한다.
• 토리와 불리한 군에 대한 표현 이론적 접근을 통해 $T \times U$--equivariant 동형사상 $Y_0 \cong T \times Z$ 를 구성함으로써 반아핀 군 작용의 구성이 가능해진다.
• 특수 예제를 분석한다: 아벨 다양체의 준아벨 확장과 보편 벡터 확장 $E(A)$ 를 통해, 이러한 경우에 $G$ 가 전체 자동형군임을 보여주며, $G$ 가 반아phin 이며 최대임을 보여준다.

실험 결과

연구 질문

• RQ1 정규 프로젝티브 다양체 $X$ 의 가장 큰 연결 자동형군 $G$ 의 아르바네제 다양체 $A(G)$ 의 이소지니 클래스는 무엇인가?
• RQ2 특성 0 에서 $A(G)$ 의 차원은 $X$ 의 기하학, 특히 접선층 $\mathcal{T}_X$ 를 통해 어떻게 관련되는가?
• RQ3 G의 가장 큰 반아핀 부분군의 차원에 대한 최적 상한은 무엇이며, 언제 달성되는가?
• RQ4 Lie 대수 $\operatorname{Lie}(G)$ 에서 사라지지 않는 벡터장의 존재는 대수적으로 특성화될 수 있는가? 그리고 이는 $G$ 의 아벨 부분다양체가 $X$ 에 작용함을 의미하는가?

주요 결과

• 특성 0 에서는 $\dim A(G)$ 가 접선층 $\mathcal{T}_X$ 의 모든 최대 자명한 직접합성분의 랭크와 일치하며, 이는 $A(G)$ 의 기하적 불변량을 제공한다.
• 아르바네제 다양체 $A(G)$ 는 동차 섬유화 $f: X \to A$ 의 기저와 이소지니적이다. 정규 프로젝티브 $X$ 에 대해 이러한 섬유화는 항상 존재하지만, 반드시 $A(G)$ 자체가 아닐 수 있다.
• G의 가장 큰 반아핀 부분군의 차원은 $3\dim(X)$ 이하로 상한이 주어지며, 이 상한은 3.3.1 및 3.3.2 예제에서 명시적인 구성으로 날카로운 것으로 밝혀졌다.
• 벡터장 $\xi \in \operatorname{Lie}(G)$ 가 영점을 가지지 않음과 동치로 $\xi \notin \operatorname{Lie}(G_{\rm aff})$ 이며, 이러한 장들이 존재할 수 있으며, 이는 $\xi$ 가 $G$ 의 어떤 아벨 부분다양체의 리 대수에도 속하지 않을 수 있음을 보여주며, [Pe11] 의 주장과 모순된다.
• 준아벨 군과 보편 벡터 확장을 포함한 예제들에서 $G$ 는 관련 다양체 $X$ 의 전체 연결 자동형군임을 보여주며, $G$ 가 반아phin 이며 최대임을 보여준다.
• U-불변 함수에서의 로렌츠 단항식을 통한 $Y_0 \cong T \times Z$ 의 구성은 $T \times U$-equivariant 구조를 개방 부분집합에서 실현하는 일반적인 방법을 제공하며, 이는 차원 상한의 증명에 기여한다.