[논문 리뷰] Smooth Projective Symmetric Varieties with Picard Number equal to one

Alessandro Ruzzi|ArXiv.org|2007. 02. 12.

Advanced Algebra and Geometry참고 문헌 10인용 수 7

한 줄 요약

이 논문은 단순군 $G$에 대해 Picard 수가 1인 부드럽고 사영적인 대칭 $G$-다양체를 분류하며, 이들이 모두 파노 다양체임을 증명하고, 색 칠된 팔랑( colored fans )을 통한 완전한 조합론적 분류를 제공한다. 핵심 결과는 부드러움의 기준: 이러한 다양체가 부드럽기 위한 필요충분조건은 관련된 토릭 부분다양체가 부드럽기 위한 조건임을 보여주며, 이를 통해 루트 체계 유형과 부분군 지표를 통해 분류가 가능하다.

ABSTRACT

We classify the smooth projective symmetric G-varieties with Picard number one (and G semisimple). Moreover we prove a criterion for the smoothness of the simple (normal) symmetric varieties whose closed orbit is complete. In particular we prove that, given a such variety X which is not exceptional, then X is smooth if and only if an appropriate toric variety contained in X is smooth.

연구 동기 및 목표

• G가 단순군일 때, Picard 수가 1인 부드럽고 사영적인 대칭 $G$-다양체를 분류하는 것.
• 닫힌 궤도가 완전한 단순 대칭 다양체의 부드러움을 판단하는 기준을 설정하는 것.
• 대칭 다양체의 부드러움이 포함된 토릭 부분다양체의 부드러움과 어떻게 관련되는지 밝히는 것.
• Picard 수가 1인 대칭 다양체 중에서 사영적이고 파노인 것들을 특정하는 것.
• 색 칠된 팔랑과 루트 체계 자료를 이용한 완전한 조합론적 분류를 제공하는 것.

제안 방법

• 대칭 다양체의 부드러움 문제를 관련된 토릭 부분다양체 $\overline{T \cdot x_0}$의 부드러움 문제로 환원하는 것.
• 색 칠된 팔랑 구축을 통해 대칭 다양체의 조합론적 자료를 암호화하는 것.
• 궤도 구조를 분석하기 위해 구면 다양체 이론과 $G$-등변 임bedding 이론을 적용하는 것.
• 제한된 루트 체계 $R_{G,\theta}$와 $H \subset N_G(G^\theta)$의 구조를 이용해 경우를 분류하는 것.
• 나눔자리 군의 질량과 색 칠된 콘의 구조를 통해 Picard 군을 분석하는 것.
• 닫힌 궤도가 최대 두 개인 완전한 대칭 다양체는 사영적이라는 사실을 활용하여 분류를 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 G가 단순군일 때, Picard 수가 1인 부드럽고 사영적인 대칭 $G$-다양체는 어떤 것이 존재하는가?
• RQ2 색 칠된 팔랑에 대한 어떤 조합론적 조건이 대칭 다양체의 부드러움을 보장하는가?
• RQ3 Picard 수가 1인 대칭 다양체가 언제 사영적일까?
• RQ4 H의 구조( $N_G(G^\theta)$ 의 부분군으로서)는 부드러움과 Picard 수에 어떤 영향을 미치는가?
• RQ5 어떤 제한된 루트 체계 $R_{G,\theta}$ 가 Picard 수가 1인 부드럽고 사영적인 대칭 다양체를 허용하는가?

주요 결과

• 모든 Picard 수가 1인 부드럽고 사영적인 대칭 $G$-다양체는 파노 다양체이다.
• Picard 수가 1인 완전한 부드러운 대칭 다양체는 닫힌 궤도를 최대 두 개 이하로 가진다.
• 이러한 다양체는 닫힌 궤도가 최대 두 개인 경우에만 사영적이며, 이는 Picard 수가 1인 경우 항상 성립한다.
• 대칭 다양체의 부드러움은 관련된 토릭 부분다양체 $\overline{T \cdot x_0}$의 부드러움과 동치이다.
• 루트 체계 유형이 $A_l$ ($l > 1$)일 경우, $D_{\text{max}}$-콘은 $(cone(\alpha^\vee_1,\dots,\alpha^\vee_{l-1}, -\omega^\vee_1), \{D_{\alpha^\vee_1},\dots,D_{\alpha^\vee_{l-1}}\})$ 또는 그 쌍대 형태로 명시적으로 기술된다.
• 유형 $E_6$, $E_7$, $E_8$, $F_4$ 는 Picard 수가 1인 부드럽고 사영적인 대칭 다양체를 허용하지 않는다.