[논문 리뷰] Chevalley Supergroups of type D(2,1;a)

Giovanna Fabio|arXiv (Cornell University)|2010. 06. 02.

Advanced Topics in Algebra참고 문헌 10인용 수 3

한 줄 요약

이 논문은 비정수 $a$에 대해 $D(2,1;a)$ 유형의 리 초대수대수에 대해 고전적인 체바일 방법을 초대수대수로 확장하여 모든 단순 리 초대수대수에 대한 체바일 초군집합의 구축을 완성한다. 비정수 $a$에 대해 $A \mapsto P_a(A)$로 모델링된 새로운 유형의 곱셈형 일파rameter 부분군을 도입함으로써, $a \notin \mathbb{Z}$일 경우에도 초군집합의 구조를 실현할 수 있으며, 이로 인해 얻어진 함의가 표현 가능하고 원래의 리 초대수대수를 그 접선 대수로 갖는다는 것을 증명한다.

ABSTRACT

I present a construction "a` la Chevalley" of affine supergroups associated with simple Lie superalgebras of (classical) type D(2,1;a), for any possible value of the parameter a - in particular, including non-integral values of a. This extends the similar work performed in [R. Fioresi, F. Gavarini, "Chevalley Supergroups", Memoirs of the AMS 215 (2012), no. 1014 - arXiv:0808.0785v8 [math.RA]], where all other simple Lie superalgebras of classical type were considered. The case of simple Lie superalgebras of Cartan type is dealt with in [F. Gavarini, "Algebraic supergroups of Cartan type", Forum Mathematicum (to appear), 92 pages - arXiv:1109.0626v5 [math.RA], so this work completes the program of constructing connected affine supergroups associated with any simple Lie superalgebra.

연구 동기 및 목표

• 모든 단순 리 초대수대수에 대해 연결된 아핀 초군집합을 구축하는 프로그램을 완성하기 위해, $a \notin \mathbb{Z}$인 $D(2,1;a)$의 누락된 케이스를 다루는 것.
• 표준 방법이 비정수 매개변수 $a$로 인해 실패하는 $D(2,1;a)$ 유형의 리 초대수대수에 대해 체바일 구축을 확장하는 것.
• 비정수 $a$인 경우에 적용 가능한 새로운 곱셈형 일파라미터 부분군의 클래스를 $A \mapsto P_a(A)$로 정의함으로써, $a$가 정수가 아닐 때의 구축을 가능하게 하는 것.
• 얻어진 군 함의가 표현 가능하여 아핀 초군집합을 형성하고, 그 접선 리 초대수대수가 원래의 $\mathfrak{g} = D(2,1;a)$와 동형임을 증명하는 것.

제안 방법

• $\mathfrak{g} = D(2,1;a)$에 대해 정수 구조를 갖는 체바일 기저를 구성하여, 보편 초대수대수 $U(\mathfrak{g})$ 내에서 정수성을 확보하는 것.
• 충분히 작은 유한차원 $\mathfrak{g}$-모듈 $V$를 고정하고, $U(\mathfrak{g})$의 코스타ント $\mathbb{Z}$-형식에 대해 안정된 $\mathbb{Z}$-격자 $M \subset V$를 구성하는 것.
• 각 근 $\alpha \in \Delta$에 대해, $\vartheta \in A_1$에 대해 $1 + \vartheta X_\alpha$로 모델링된 덧셈형 일파라미터 부분군을 정의하는 것.
• 비정수 $a$에 필수적인, 군 함의 $P_a(A) = \{ t \in A_0 \mid t^{a^k} \text{ exists for all } k \}$를 사용하여 $a$-형 곱셈형 일파라미터 부분군을 도입하는 것.
• 모든 동차 일파라미터 부분군으로 생성되는 $\mathrm{GL}(V(A))$의 부분군으로서 군 함의 $\mathbf{G}_V$를 정의하고, 이를 층화하여 표현 가능한 아핀 초군집합을 얻는 것.
• $\mathbf{G}_V = \mathbf{G}_0 \times \mathbf{G}_1^{-,<} \times \mathbf{G}_1^{+,<}$의 인수분해를 확립하여, $\mathbf{G}_0$ 및 $\mathbf{G}_1$의 표현 가능성에 의해 표현 가능성의 증명을 완성하는 것.

실험 결과

연구 질문

• RQ1 비정수 $a$일 경우, $D(2,1;a)$ 유형의 리 초대수대수에 대해 체바일 구축을 확장할 수 있는가?
• RQ2 비정수 $a$의 경우 초군집합의 구조를 실현하기 위해 어떤 새로운 군 함의가 필요한가?
• RQ3 얻어진 군 함의는 표현 가능한가? 그리고 아핀 초군집합을 형성하는가?
• RQ4 구축된 초군집합의 접선 리 초대수대수는 원래의 $\mathfrak{g} = D(2,1;a)$와 일치하는가?
• RQ5 다른 $\mathfrak{g}$-모듈의 선택은 초군집합의 동형류에 어떻게 영향을 미치는가?

주요 결과

• 비정수 $a$에 대해 $D(2,1;a)$의 체바일 초군집합을 $A \mapsto P_a(A)$로 모델링된 새로운 곱셈형 일파라미터 부분군의 클래스를 도입함으로써 완성하였다.
• 얻어진 군 함의 $\mathbf{G}_V$는 층화되고 표현 가능하다고 증명되었으며, 따라서 아핀 초군집합을 형성한다.
• $\mathbf{G}_V$의 접선 리 초대수대수는 $\mathfrak{g} = D(2,1;a)$와 동형이며, 초군집합에 대한 리의 세 번째 정리에서 요구되는 조건을 만족한다.
• 구축은 $\mathfrak{g}$-모듈 $V$의 선택에 대해 함의적으로 이루어지며, $V$ 내의 적합한 격자 선택에 대해 동형류의 관점에서 독립적이다.
• $\mathbf{G}_V = \mathbf{G}_0 \times \mathbf{G}_1^{-,<} \times \mathbf{G}_1^{+,<}$의 인수분해를 통해 초군집합의 구조가 확인되고 표현 가능성 증명이 가능해졌다.
• 결과적으로 모든 단순 리 초대수대수에 대해 연결된 아핀 초군집합을 구축하는 프로그램이 완성되었으며, 모든 고전적 및 카르탕 유형의 경우를 포함한다.