[논문 리뷰] Super Distributions, Analytic and Algebraic Super Harish-Chandra pairs

Claudio Carmeli, R. Fioresi|arXiv (Cornell University)|2011. 06. 06.

Algebraic structures and combinatorial models참고 문헌 14인용 수 10

한 줄 요약

이 논문은 특성 0의 체 위에서 분석적·대수적 초군군에 대해 슈퍼 하리슈-찬드라 쌍 이론을 확장하여, 이러한 초군군의 범주와 그에 대응하는 슈퍼 하리슈-찬드라 쌍의 범주 사이의 동치를 확립한다. 분포 슈퍼대수를 도입하고, 초군군이 슈퍼다양체 위에 작용하는 것과 그에 대응하는 관련 SHCP의 작용이 정확히 일치함을 증명하며, 코스타ント의 미분적 경우에 대한 프레임워크를 일반화한다.

ABSTRACT

The purpose of this paper is to extend the theory of Super Harish-Chandra pairs, originally developed by Koszul for Lie supergroups, to analytic and algebraic supergroups, in order to obtain information also about their representations. We also define the distribution superalgebra for algebraic and analytic supergroups and study its relation with the universal enveloping superalgebra

연구 동기 및 목표

• 슈퍼 하리슈-찬드라 쌍 이론을 미분적 맥락에서 분석적·대수적 초군군으로 확장한다.
• 대수적 및 분석적 초군군에 대해 분포 슈퍼대수를 정의하고, 보편 포괄 슈퍼대수와의 관계를 규명한다.
• 적절한 조건 하에서 분석적 또는 대수적 슈퍼 하리슈-찬드라 쌍의 범주와 분석적 또는 아핀 대수적 초군군의 범주 사이의 동치를 확립한다.
• 슈퍼군 작용을 슈퍼 하리슈-찬드라 쌍을 통한 등가적 접근 방식으로 연구할 수 있도록 하며, 코스타ント의 프레임워크를 일반화한다.
• 분석적 및 대수적 범주에서 초군군 표현 이론에 대한 완전하고 자립적인 다루기가 부족한 빈자리의 메우기 위해, 분석적·대수적 초군군 표현 이론에 대해 완전하고 자립적인 다루기를 제공한다.

제안 방법

• 지역환을 최대 이상수의 거듭제곱으로 나눈 것에서 기초 체로의 사상으로서 분석적 초다양체와 대수적 슈퍼스키마 위의 분포를 정의한다.
• 모든 $ k $-점에서의 유한 차수 분포의 합집합으로서 슈퍼대수 $ D(X) $ 를 구성한다.
• 하리슈-찬드라 쌍의 구조를 통해 분포 슈퍼대수와 보편 포괄 슈퍼대수 사이의 쌍대성을 확립한다.
• 포인트의 함자와 층 이론적 방법을 사용하여 분석적 및 대수적 초군군을 통일적으로 다룬다.
• 초군군이 슈퍼다양체 위에 작용하는 것은 그에 대응하는 SHCP의 작용과 정확히 일치하며, 이 대응은 $ \rho(X) $ 와 역상 $ \underline{a}^* $ 를 포함하는 슈퍼대수의 준동형으로 주어진다.
• SHCP가 슈퍼다양체 위에 작용하는 방식이 $ \mathrm{Hom}_{\mathcal{U}(\mathfrak{g}_0)}(\mathcal{U}(\mathfrak{g}), \mathcal{O}_{G_0} \hat{\otimes} \mathcal{O}_M) $ 를 포함하는 자연스러운 동형을 통해 전체 초군군 작용을 결정함을 보여준다.

실험 결과

연구 질문

• RQ1 슈퍼 하리슈-찬드라 쌍 이론은 어떻게 미분 범주에서 분석적·대수적 초군군으로 일반화될 수 있는가?
• RQ2 대수적 및 분석적 초군군의 분포 슈퍼대수의 구조는 무엇이며, 보편 포괄 슈퍼대수와 어떤 관계가 있는가?
• RQ3 특성 0의 체 위에서 분석적/대수적 슈퍼 하리슈-찬드라 쌍의 범주와 분석적/아핀 대수적 초군군의 범주 사이에 카테고리적 동치가 존재하는가?
• RQ4 슈퍼군이 슈퍼다양체 위에 작용하는 것은 그에 대응하는 SHCP를 통해 등가적으로 기술될 수 있는가? 만약 그렇다면, 이 대응은 어떻게 구성되는가?
• RQ5 대수적 및 분석적 맥락에서 초군군의 무한소적 작용과 축소된 작용은 그 전반적인 작용과 어떻게 관련되어 있는가?

주요 결과

• 초군군 $ X $ 위의 분포 슈퍼대수 $ D(X) $ 는 각 점에서의 국소환의 완비화의 쌍대와 동형이며, $ D_1(X,x) $ 는 자연스럽게 $ x $ 에서의 접선 공간과 일치한다.
• 아핀 대수적 초군군의 경우, 유리점 $ x $ 에서의 분포는 $ \mathcal{O}(X)/m_x^n $ 위의 선형 함수형과 일치하며, 대수기하학에서 표준적인 정의를 복원한다.
• 초군군 $ G $ 가 리 슈퍼대수 $ \mathfrak{g} $ 를 가질 경우, 분포 슈퍼대수 $ D(G) $ 는 보편 포괄 슈퍼대수 $ \mathcal{U}(\mathfrak{g}) $ 와 동형이 되며, 이는 코스타ント의 미분적 경우에서의 쌍대성을 일반화한다.
• 특성 0의 체 위에서 분석적 또는 대수적 슈퍼 하리슈-찬드라 쌍의 범주와 분석적 또는 아핀 대수적 초군군의 범주 사이에 자연스러운 동치가 존재한다.
• 슈퍼군 $ G $ 가 슈퍼다양체 $ M $ 에 작용하는 것은 그에 대응하는 SHCP $ (G_0, \mathfrak{g}) $ 의 작용과 정확히 일치하며, 이 대응은 슈퍼대수 준동형 $ a_\rho^* $ 를 통해 주어지며, $ f \in \mathcal{O}_M(U) $ 를 $ X \mapsto (-1)^{|X|}(1 \otimes \rho(X))\underline{a}^*(f) $ 를 통해 $ \mathcal{U}(\mathfrak{g}_0) $-선형 사상으로 매핑한다.
• 초군군 작용의 유일성은 $ (\mathrm{ev}_e \otimes 1)a_\rho^*(f) = f $ 라는 사실에 의해 보장되며, 이는 대응관계가 SHCP 작용에 의해 완전히 결정됨을 보장한다.