[논문 리뷰] Constructing quotients of algebraic varieties by linear algebraic group actions

Gergely Bérczi, Brent Doran외 2명|arXiv (Cornell University)|2015. 12. 09.

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

한 줄 요약

이 논문은 기하적 불변량 이론(GIT)을 비재수성(linear algebraic) 군 작용으로 확장하기 위해 재수성 포장(reductive envelope) 구조를 도입함으로써, 안정성 및 준안정성의 궤도를 정의하고, 몫의 사영 완비화를 구성한다. 주요 기여는 몫 $X^{\text{s}}/H$를 재수성 군의 GIT 몫의 열린 부분다양체로 표현하는 방법을 제시함으로써, 재수성 포장과 함께 사영 완비화를 제공하고, 반복 GIT 몫과 전반적 GIT 몫 사이의 동형사상 수립을 가능하게 한다.

ABSTRACT

In this article we review the question of constructing geometric quotients of actions of linear algebraic groups on irreducible varieties over algebraically closed fields of characteristic zero, in the spirit of Mumford's geometric invariant theory (GIT). The article surveys some recent work on geometric invariant theory and quotients of varieties by linear algebraic group actions, as well as background material on linear algebraic groups, Mumford's GIT and some of the challenges that the non-reductive setting presents. The earlier work of two of the authors in the setting of unipotent group actions is extended to deal with actions of any linear algebraic group. Given the data of a linearisation for an action of a linear algebraic group H on an irreducible variety $X$, an open subset of stable points $X^s$ is defined which admits a geometric quotient variety $X^s/H$. We construct projective completions of the quotient $X^s/H$ by considering a suitable extension of the group action to an action of a reductive group on a reductive envelope and using Mumford's GIT. In good cases one can also compute the stable locus $X^s$ in terms of stability (in the sense of Mumford for reductive groups) for the reductive envelope.

연구 동기 및 목표

• 재수성 군에서 비재수성 선형 대수적 군 작용으로 무미르의 기하적 불변량 이론(GIT)을 일반화하기 위해.
• 알거블 필드의 특성 0에서 임의의 선형 대수적 군 $H$가 기약 다양체 $X$ 위에 작용할 때, 안정성 궤도 $X^{\text{s}}$를 정의하기 위해.
• 재수성 포장과 무미르의 GIT를 사용하여 몫 $X^{\text{s}}/H$의 사영 완비화를 구성하기 위해.
• 적절한 조건 하에서 전역 GIT 몫 $X/\!\!/(G_1 \times G_2)$와 반복 몫 $(X/\!\!/(G_1))/\!\!/_M G_2$ 사이의 표준 동형사상을 수립하기 위해.
• 비재수성 작용에 대해 안정성과 준안정성을 재수성 확장 내재적으로 계산할 수 있는 프레임워크를 제공하기 위해.

제안 방법

• 저자들은 선형 대수적 군 $H$의 재수성 포장 $G$를 정의하여, $H$의 작용을 $X$ 위에 재수성 군 작용으로 확장한다.
• 기존의 $H$-선형화를 확장하여 $X$ 위에 $G$-선형화를 구성함으로써, 재수성 군에 대한 무미르의 GIT를 적용할 수 있도록 한다.
• $H$에 대한 안정성 궤도 $X^{\text{s}}$는 재수성 포장의 GIT 몫에서의 안정성 궤도의 몰입(preimage)으로 정의된다.
• $X^{\text{s}}/H$의 사영 완비화는 $X/\!\!/(G)$로 구성되며, 이는 $S = \bigoplus_r H^0(X, L^{\bigotimes r})$에 대해 $\operatorname{Proj}(S^G)$와 동형이다.
• 저자들은 범주적 몫 성질과 $G$-등변 동형사상을 사용하여, $X$의 $H$-작용 몫과 재수성 포장 $G$의 몫 사이의 관계를 추론하며, 특히 선형선다의 당김을 통한 관계 수립.
• 사영적 $X$와 앰플라인 선형화 $L$ 조건 하에서, $\psi: X/\!\!/(G_1 \times G_2) \to (X/\!\!/(G_1))/\!\!/_M G_2$의 표준 사상이 동형임을 증명하기 위해, 단사성과 애매한 덮개의 성질을 활용한다.

실험 결과

연구 질문

• RQ1 기하적 불변량 이론은 비재수성 선형 대수적 군 작용으로 어떻게 확장될 수 있는가?
• RQ2 비재수성 군 작용에 대해 안정성의 내재적 정의는 무엇이며, 재수성 설정에서의 안정성과는 어떻게 관련되는가?
• RQ3 재수성 포장들을 사용하여 비재수성 군 $H$에 대한 몫 $X^{\text{s}}/H$의 사영 완비화를 구성할 수 있는가?
• RQ4 반복 몫 $(X/\!\!/(G_1))/\!\!/_M G_2$가 전역 몫 $X/\!\!/(G_1 \times G_2)$와 동형이 되는 조건은 무엇인가?
• RQ5 재수성 포장의 구조는 원래 다양체의 점들의 안정성과 준안정성에 어떻게 영향을 주는가?

주요 결과

• 선형 대수적 군 $H$가 다양체 $X$ 위에 작용할 때, 안정성 궤도 $X^{\text{s}}$는 재수성 포장 $G$의 안정성 궤도의 몰입으로 정의되며, 이는 기하적 몫 $X^{\text{s}}/H$의 존재를 보장한다.
• $X^{\text{s}}/H$의 사영 완비화는 $H$의 재수성 포장 $G$에 대해 $X/\!\!/(G)$의 GIT 몫을 통해 구성되며, 이 완비화는 $\operatorname{Proj}(S^G)$와 동형이다.
• 사영적 $X$와 앰플라인 선형화 $L$ 조건 하에서, 표준 사상 $\psi: X/\!\!/(G_1 \times G_2) \to (X/\!\!/(G_1))/\!\!/_M G_2$는 동형이며, 이는 전역 및 반복 GIT 몫 간의 핵심 호환성을 보장한다.
• 이 구성은 몫 $X^{\text{s}}/H$가 사영 GIT 몫 $X/\!\!/(G)$의 열린 부분다양체임을 보장함으로써 자연스러운 컴actsification를 제공한다.
• 저자들은 비재수성 설정에서 준안정성과 안정성이 재수성 포장을 통해 특징지워질 수 있음을 보이며, 무미르의 기준을 일반화한다.
• 좋은 경우에, 이 방법은 비재수성 설정에서의 안정성 조건으로 환원함으로써 $X^{\text{s}}$의 명시적 계산을 가능하게 한다.