[논문 리뷰] Log homogeneous varieties

Michel Brion|ArXiv.org|2006. 09. 24.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 31

한 줄 요약

이 논문은 완전한 비특이 대수다양체 $X$와 정규 교차를 이룰 만한 인접자기 $D$를 갖는 로그 동차 다양체—즉, 로그 탄젠트 배럴 $T_X(-\log D)$ 가 전역적으로 생성되는 다양체—를 도입한다. 이러한 다양체는 알바네제와 티츠 사상에 의해 피브리이션 구조를 지닌다는 것이 증명되며, 보렐-렘메르트 정리의 일반화로 이어진다: 이 두 사상의 곱은 전성이고, 그 섬유는 유한 개의 토릭 다양체의 합집합이다. 분류 문제는 자동사상군의 제약 조건이 있는 구면 다양체로 귀결된다.

ABSTRACT

Given a complete nonsingular algebraic variety $X$ and a divisor $D$ with normal crossings, we say that $X$ is log homogeneous with boundary $D$ if the logarithmic tangent bundle $T_X(- \log D)$ is generated by its global sections. We then show that the Albanese morphism $α$ is a fibration with fibers being spherical (in particular, rational) varieties. It follows that all irreducible components of $D$ are nonsingular, and any partial intersection of them is irreducible. Also, the image of $X$ under the morphism $σ$ associated with $- K_X - D$ is a spherical variety, and the irreducible components of all fibers of $σ$ are quasiabelian varieties. Generalizing the Borel-Remmert structure theorem for homogeneous varieties, we show that the product morphism $α imes σ$ is surjective, and the irreducible components of its fibers are toric varieties. We reduce the classification of log homogeneous varieties to a problem concerning automorphism groups of spherical varieties, that we solve under an additional assumption.

연구 동기 및 목표

• 로그 동차 다양체를 동차 다양체와 반아벨 다양체의 자연스러운 일반화로 정의하고 연구하는 것.
• 알바네제 및 티츠 사상을 분석하여 완전한 로그 동차 다양체에 대한 구조 정리를 확립하는 것.
• 로그 동차 다양체의 분류 문제를 구면 다양체의 자동사상군 성질로 환원하는 것.
• 정규 교차 경계 분할을 갖는 로그 동차 표면의 완전한 분류를 제공하는 것, 이는 로그 평행화 가능 및 비평행화 가능 케이스를 포함한다.
• $\alpha$ 및 $\sigma$와 같은 핵심 사상의 섬유와 상의 기하학적·군론적 구조를 명확히 하는 것.

제안 방법

• 정규 교차 분할 $D$에 대해 로그 탄젠트 배럴 $T_X(-\log D)$ 의 전역 생성 조건을 통해 로그 동차 다양체를 정의한다.
• 알바네제 사상 $\alpha: X \to \mathcal{A}(X)$ 를 이용하여 $X$ 를, 그 섬유가 아핀 자동사상군의 부분군 작용 하에서 구면적이고 로그 동차가 되는 피브리이션으로 분해한다.
• 로그 탄젠트 배럴의 전역 절단을 통해 티츠 사상 $\tau$ 를 구성하고, 이를 $\sigma: X \to \mathcal{S}(X)$ 로 인수분해한다. 여기서 $\mathcal{S}(X)$ 는 $-K_X - D$ 와 관련된 사상이다.
• $\mathcal{S}(X)$ 가 구면 다양체이며, $\sigma$ 의 섬유가 반대칭적 확장이 되는 반아벨 군의 콪팩티피케이션임을 보인다.
• 곱 사상 $\alpha \times \sigma$ 가 전성임을 증명하며, 그 섬유는 유한 개의 토릭 다양체의 합집합임을 보인다.
• 구면 다양체에 대한 조합 기준(예: 팔랑의 별형 보완의 볼록성)을 적용하여, 정리 3.5.1을 통해 로그 동차 표면을 분류한다.

실험 결과

연구 질문

• RQ1 재조합 군 작용과 토릭 임bedding을 초월하여, 거의 동차 다양체의 구조는 어떻게 일반화될 수 있는가?
• RQ2 로그 탄젠트 배럴 $T_X(-\log D)$ 가 전역적으로 생성되기 위한 조건는 무엇이며, 그 기하학적 결과는 무엇인가?
• RQ3 알바네제 및 티츠 사상의 곱이 로그 동차 다양체의 전반적 구조를 어느 정도 반영하는가?
• RQ4 로그 동차 다양체의 분류가 어떻게 구면 다양체의 자동사상군 성질로 환원되는가?
• RQ5 정규 교차 경계 분할을 갖는 로그 동차 표면의 동형류 전체 목록은 무엇인가?

주요 결과

• 곱 사상 $\alpha \times \sigma: X \to \mathcal{A}(X) \times \mathcal{S}(X)$ 는 전성이며, 그 섬유는 유한 개의 토릭 다양체의 합집합이다.
• 티츠 사상 $\sigma$ 의 상 $\mathcal{S}(X)$ 는 자동사상군의 아핀 부분군의 임의의 리만 하위군 작용 하에서 구면 다양체이다.
• $\sigma$ 의 섬유의 기약 성분들은 반아벨 다양체이다. 즉, 반아벨 군의 등변 확장이다.
• 경계 분할 $D$ 의 모든 기약 성분은 비특이이며, 이 성분들의 부분적 교차는 모두 기약이다.
• 로그 평행화 가능 다양체의 경우, $T_X(-\log D)$ 는 자명하며, 위너크만의 정리에 의해 이러한 다양체는 반아벨 다양체이다.
• 로그 동차 표면의 완전한 분류는 총 10개의 동형류를 포함한다: $D$ 가 자명한 2개의 동차 다양체, 1개의 로그 평행화 가능 다양체, 그리고 경계 분할이 있는 토릭 표면의 블로우업을 포함하는 7개의 로그 동차 다양체.