[논문 리뷰] Lie supergroups vs. super Harish-Chandra pairs: a new equivalence

Giovanna Fabio|arXiv (Cornell University)|2016. 09. 09.

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

한 줄 요약

이 논문은 Weil 초대수와 함의적 초기하학적 접근을 사용한 군사적, 그로텐디크 스타일의 방법을 통해 초대수적 하리슈-차이나 쌍에서 리 초군을 구성하는 데 두 개의 새로운 함자 $\Psi^{\circ}$ 와 $\Psi^{e}$ 를 도입함으로써 리 초군의 범주와 초대수적 하리슈-차이나 쌍의 범주 사이에 새로운 동치를 확립한다. 주요 기여는 고전적 코즐의 구성법에 대체하는 구체적이고 다른 구성법을 제공하며, 표준 함자 $\Phi$ 에 대한 준역함수를 제공함으로써 초기하학과 표현론에서 새로운 시각을 제공한다.

ABSTRACT

It is known that there exists a natural functor $Φ$ from Lie supergroups to super Harish-Chandra pairs. A functor going backwards, that associates a Lie supergroup with each super Harish-Chandra pair, yielding an equivalence of categories, was found by Koszul [18]; this result was later extended by other authors, to different levels of generality, but always elaborating on Koszul's original idea. In this paper, I provide two new backwards equivalences, i.e. two different functors $Ψ^\circ$ and $Ψ^e$ that construct a Lie supergroup (thought of as a special group-valued functor) out of a given super Harish-Chandra pair, so that any Lie supergroup is recovered from its naturally associated super Harish-Chandra pair; more precisely, both $Ψ^\circ$ and $Ψ^e$ are quasi-inverse to the functor $Φ$.

연구 동기 및 목표

• 리 초군의 범주와 초대수적 하리슈-차이나 쌍의 범주 사이에 새로운 동치를 확립하여 고전적 코즐 구성법에 대한 대체를 제공한다.
• 리 초군이 그에 관련된 초대수적 하리슈-차이나 쌍으로부터 함의적이고 명시적인 방식으로 재구성될 수 있는지에 대한 기본적인 질문을 다룬다.
• 리 초군에서 초대수적 하리슈-차이나 쌍으로 가는 표준 함자 $\Phi$ 에 대한 준역함수 역할을 하는 두 개의 새로운 함자 $\Psi^{\circ}$ 와 $\Psi^{e}$ 를 도입한다.
• 특히 Weil 초대수를 중심으로 한 점의 함자 접근법을 사용하여 초기하학을 재구성함으로써 초대수적 하리슈-차이나 쌍에서 직접적으로 리 초군을 구성한다.

제안 방법

• 논문은 Weil 초대수를 값으로 가지는 점의 함자 접근법을 사용하여 초다양체와 초군을 정의하는 함의적 초기하학적 접근법을 사용한다.
• 주어진 초대수적 하리슈-차이나 쌍 $\mathcal{P} = (G_0, \mathfrak{g})$ 에서 두 개의 서로 다른 초군 함자 $G_{\mathcal{P}}^{\circ}$ 와 $G_{\mathcal{P}}^{e}$ 를 구성하며, 이는 $G_0$-모듈 $V$ 에 대한 유도 표현 $\mathrm{Ind}_{\mathfrak{g}_0}^{\mathfrak{g}}(V)$ 를 사용한다.
• $\Psi^{\circ}$ 와 $\Psi^{e}$ 함자는 초군의 작용을 $\eta \in A_1$, $Y \in \mathfrak{g}_1$, $\mathcal{Y} \in A_1 \otimes \mathfrak{g}_1$ 에 대해 연산자 $1 + \eta Y$ 와 $\exp(\mathcal{Y})$ 를 통해 실현함으로써 $G_0$-작용과 호환되도록 정의된다.
• 이 구성은 결과로 얻어진 함자가 리 초군의 공리들을 만족하고, $\bigwedge \mathfrak{g}_1$ 과 $\mathfrak{g}_1$ 에 대한 $G_0$ 의 수반 작용과 일치함을 보장함으로써 초대수적 하리슈-차이나 쌍의 구조와의 일致성을 확보한다.
• $\Psi^{\circ}$ 와 $\Psi^{e}$ 함자는 표준 함자 $\Phi$ 와 준역함수임을 증명하여 범주 간의 새로운 동치를 확립한다.
• 논문은 리 초대수의 PBW 정리를 사용하여 $U(\mathfrak{g}) \cong \bigwedge \mathfrak{g}_1 \otimes U(\mathfrak{g}_0)$ 로 분해함으로써 유도 모듈과 그 $G_0$-작용을 명시적으로 실현할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 리 초군이 그에 관련된 초대수적 하리슈-차이나 쌍으로부터 함의적이고 코즐의 원래 구성법에 의존하지 않는 방식으로 재구성될 수 있는가?
• RQ2 Weil 초대수가 점의 함자 접근법을 통해 리 초군을 정의하는 데 어떤 역할을 하는가? 이는 새로운 동치를 구성하는 데 어떻게 활용될 수 있는가?
• RQ3 두 개의 새로운 함자 $\Psi^{\circ}$ 와 $\Psi^{e}$ 는 표현론과의 구조적 일致성과 호환성 면에서 고전적 코즐 구성법과 어떻게 비교되는가?
• RQ4 새로운 함자들이 유도 과정에서 표현의 선형성과 충실성 등의 성질을 어느 정도 유지하는가?
• RQ5 기존의 초군 구조와 호환되는 자연스럽고 기하학적으로 의미 있는 방식으로 $G_0$-모듈을 $G$-모듈로 유도할 수 있는 방법이 있는가?

주요 결과

• 논문은 초대수적 하리슈-차이나 쌍의 범주에서 리 초군의 범주로 가는 두 개의 새로운 함자 $\Psi^{\circ}$ 와 $\Psi^{e}$ 를 구성하였으며, 이 둘 다 표준 함자 $\Phi$ 와 준역함수 관계를 맺는다.
• 새로운 함자들은 Weil 초대수를 사용한 점의 함자 접근법을 통해 정의되어 이전의 방법들보다 더 구체적이고 기하학적으로 투명한 구성법을 제공한다.
• 유도 표현 $\mathrm{Ind}_{\mathfrak{g}_0}^{\mathfrak{g}}(V)$ 는 $\bigwedge \mathfrak{g}_1 \otimes V$ 로 실현되며, $\bigwedge \mathfrak{g}_1$ 에 대한 수반 작용과 $V$ 에 대한 원래의 $G_0$-작용을 통해 유도된 $G_0$-작용을 갖는다. 이는 초대수적 하리슈-차이나 쌍의 구조와의 일致성을 보장한다.
• $\Psi^{\circ}$ 와 $\Psi^{e}$ 함자는 구성된 리 초군의 작용을 유도 모듈에 잘 정의된 방식으로 제공하며, $1 + \eta Y$ 와 $\exp(\mathcal{Y})$ 를 통해 $G_0$-작용을 확장한다. 이는 초군 관계식을 충족한다.
• 이 구성은 유도 모듈에 원래의 $G_0$-작용과 $\mathfrak{g}$-작용으로 제한되는 유일한 $G$-모듈 구조를 도입함으로써, 이 유도가 제약의 수반임을 확인한다.
• 원래의 $G_0$-모듈 $V$ 가 충실하다면, 유도된 $G$-모듈 $\mathrm{Ind}_{G_0}^{G}(V)$ 역시 충실하다. 이는 $G_0$ 의 선형성에서 $G$ 의 선형성이 인도를 통해 유도됨을 의미한다.