[논문 리뷰] Automorphism group of a toric variety

M. T Sancho, J. P. Moreno외 1명|arXiv (Cornell University)|2018. 09. 24.

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

한 줄 요약

이 논문은 정수 계수의 대수적으로 닫힌 체 위의 완비 토릭 다양체의 자기동형군을 완전히 규명한다. 항등성분 $\mathrm{Aut}_k^0X$ 는 애드티브 군의 곱으로 색인화된 유니포텐트 근과 일반선형군의 곱의 재구성 부분군의 반직적곱임을 보이며, 명시적인 작용 규칙을 가진다. 유 endomorphism 군 $\mathrm{Aut}_kX / \mathrm{Aut}_k^0X$ 는 팬을 보존하는 격자 자동형사상의 군에 대해 선형 등가류의 사영군을 나눈 것으로 동형이다.

ABSTRACT

We calculate the automorphism group of a complete toric variety $X$ with torus $T_M$. We prove that the radical unipotent of $Aut_k^0X$ is a semidirect product of additive groups, the reductive part is a quotient of a product of lineal groups and we give the action of linear groups on the additive groups. We also prove that $Aut_kX/Aut_k^0X$ is a quotient of the group of automorphisms of $M$ leaving invariant the fan.

연구 동기 및 목표

• 완비 토릭 다양체의 주어진 토르스 작용에 대한 자기동형군을 완전히 규명하는 것.
• 항등성분 $\mathrm{Aut}_k^0X$ 를 유니포텐트 근과 재구성 부분군의 반직적곱으로 분해하는 것.
• 재구성 군이 유니포텐트 근 위에 작용하는 방식을 기약 표현을 통해 묘사하는 것.
• 유한 몫 $\mathrm{Aut}_kX / \mathrm{Aut}_k^0X$ 가 팬을 보존하는 격자 자동형사상의 군의 몫으로 특성화하는 것.

제안 방법

• 코크 링의 군의 등급 자동형사상 군과 $\mathrm{Aut}_k^0X$ 를 식별한다.
• 선형 등가류 $F$ 에 따라 색인화된 애드티브 군 $V_F$ 의 반직적곱으로 유니포텐트 근을 구성한다.
• 각 $V_F$ 에 작용하는 재구성 부분군 $\mathrm{GL}_F$ 를 정의하며, 루트 시스템을 통해 작용을 암시적으로 기록한다.
• 선형 등가류의 집합 $W$ 에 정의된 부분순서를 이용해 유니포텐트 근의 반직적곱의 구조를 정의한다.
• $\mathrm{Aut}_k^0X$ 의 재구성 부분군이 $\prod_F \mathrm{GL}_F$ 의 몫임을 증명하며, $\mathrm{GL}_F$ 가 $V_F$ 에 작용하는 방식은 기약 표현으로 주어진다.
• $\mathrm{Aut}_kX / \mathrm{Aut}_k^0X$ 는 $\mathrm{Aut}_\Delta M / (S_1 \times \cdots \times S_k)$ 와 동형이며, 여기서 $\mathrm{Aut}_\Delta M$ 은 팬을 보존하는 격자 자동형사상의 군이고 $S_i$ 는 각 선형 등가류에 대한 대칭군이다.

실험 결과

연구 질문

• RQ1 완비 토릭 다양체의 자기동형군의 항등성분 $\mathrm{Aut}_k^0X$ 의 구조는 무엇인가?
• RQ2 팬의 반사와 암호화류로부터 $\mathrm{Aut}_k^0X$ 의 유니포텐트 근은 어떻게 구성되는가?
• RQ3 재구성 부분군이 유니포텐트 근 위에 작용하는 방식은 무엇이며, 이를 표현으로 어떻게 실현하는가?
• RQ4 $\mathrm{Aut}_kX / \mathrm{Aut}_k^0X$ 는 팬을 보존하는 격자 $M$ 의 자동형사상과 어떻게 관련이 있는가?
• RQ5 각 선형 등가류에 대한 대칭군 $S_i$ 는 전체 자기동형군의 구조에서 어떤 역할을 하는가?

주요 결과

• 유니포텐트 근 $\mathrm{Aut}_k^0X$ 는 선형 등가류 $F$ 에 따라 색인화된 애드티브 군 $V_F$ 의 반직적곱과 동형이며, $W$ 에 정의된 부분순서에 따라 순서가 매겨진다.
• 재구성 부분군 $\mathrm{Aut}_k^0X$ 는 $\prod_F \mathrm{GL}_F$ 의 몫과 동형이며, $\mathrm{GL}_F$ 는 해당 $V_F$ 에 작용한다.
• $\mathrm{GL}_F$ 가 $V_F$ 에 작용하는 방식은 클래스 $F$ 와 관련된 루트 시스템에 의해 명시적으로 결정된 기약 표현으로 주어진다.
• $\mathrm{Aut}_kX / \mathrm{Aut}_k^0X$ 는 $\mathrm{Aut}_\Delta M / (S_1 \times \cdots \times S_k)$ 와 동형이며, 여기서 $\mathrm{Aut}_\Delta M$ 은 팬을 보존하는 격자 자동형사상의 군이다.
• $F_i$ 에 대응하는 각 선형 등가류에 대한 대칭군 $S_i$ 는 코크 링의 해당 변수들의 순열을 통해 $\mathrm{Aut}_k^0X$ 의 부분군으로 실현된다.
• $\mathrm{Aut}_kX$ 는 팬과 격자 $M$ 에 의해 완전히 결정되며, 유한 부분은 팬의 조합적 대칭성에서 기인한다.