[논문 리뷰] Geometric construction of quotients $G/H$ in supersymmetry

Akira Masuoka, Yuta Takahashi|arXiv (Cornell University)|2018. 08. 17.

Algebraic structures and combinatorial models참고 문헌 21인용 수 3

한 줄 요약

이 논문은 특성 2가 아닌 체 위에서 아핀 대수적 슈퍼군 $\mathbb{G}$ 와 닫힌 부분슈퍼군 $\mathbb{H}$ 에 대해, 직접적인 기하적 구성법을 통해 몫 슈퍼스킴 $\mathbb{G}/\mathbb{H}$ 를 제공한다. 이는 $\mathbb{G}/\mathbb{H}$ 의 구조층을 명시적으로 기술하고, 모든 바람직한 기하적 및 함자적 성질(지역 분할성 포함, $G/H$ 와의 호환성 포함)이 만족됨을 증명한다. 이 구성은 브룬단이 처음으로 일반적으로 원하는 성질들을 실현함으로써, 슈퍼군 몫 이론에서 오랫동안 남아있던 격차를 해결한다.

ABSTRACT

It was proved by the first-named author and Zubkov [13] that given an affine algebraic supergroup $\mathbb{G}$ and a closed sub-supergroup $\mathbb{H}$ over an arbitrary field of characteristic $ e 2$, the faisceau $\mathbb{G} ilde{/} \mathbb{H}$ (in the fppf topology) is a superscheme, and is, therefore, the quotient superscheme $\mathbb{G}/\mathbb{H}$, which has desirable properties, in fact. We reprove this, by constructing directly the latter superscheme $\mathbb{G}/\mathbb{H}$. Our proof describes explicitly the structure sheaf of $\mathbb{G}/\mathbb{H}$, and reveals some new geometric features of the quotient, that include one which was desired by Brundan [2], and is shown in general, here for the first time.

연구 동기 및 목표

• 아핀 대수적 슈퍼군 $\mathbb{G}$ 와 닫힌 부분슈퍼군 $\mathbb{H}$ 에 대해, [13]의 간접적 접근법을 피하는 몫 슈퍼스킴 $\mathbb{G}/\mathbb{H}$ 의 직접적 기하적 구성법을 제공하는 것.
• 구조층 $\mathcal{O}_{\mathbb{G}/\mathbb{H}}$ 를 명시적으로 기술하여, 지역 분할성과 같은 새로운 기하적 특징을 드러내는 것.
• 브룬단이 제시한 여섯 가지 성질 (Q1)–(Q6)이 일반적으로 성립함을 증명하는 것, 특히 이전까지 일반적으로 증명되지 않았던 (Q5)의 지역 분할성에 중점을 두는 것.
• 브룬단이 $Q(n)$ 의 표현론을 $\mathbb{G}/\mathbb{H}$ 를 통해 기술한 일반 결과가 이제 더 넓은 범위의 아핀 대수적 슈퍼군에 적용될 수 있음을 확립하는 것.

제안 방법

• 저자들은 슈퍼환 $\mathcal{O}(\mathbb{H})$ 가 $\mathcal{O}(\mathbb{G})$ 에 작용하는 표준 코액션을 사용하여, 슈퍼스킴 $\mathbb{G}/\mathbb{H}$ 의 구조층을 직접적으로 기술함으로써 몫 슈퍼스킴 $\mathbb{G}/\mathbb{H}$ 를 구성한다.
• 표준 $\mathbb{D}$-코액션을 $\mathcal{O}(\mathbb{G})$ 에 적용하고, 코인variants $\mathcal{O}(\mathbb{G})^{co\mathbb{D}}$ 를 계산하며, 이는 등식 $\mathcal{O}_{\mathbb{G}/\mathbb{H}}(U) \simeq \mathcal{O}_{\mathbb{G}}(\pi^{-1}(U))^{co\mathbb{D}}$ 를 통해 구조층 $\mathcal{O}_{\mathbb{G}/\mathbb{H}}$ 와 일치시킨다.
• 이 구성은 비교 정리에 의해 슈퍼스킴과 함자론적 슈퍼스킴 사이의 동치를 이용하여, fppf 층 이론적 방법을 사용할 수 있도록 한다.
• 핵심 기술 도구는 슈퍼환 $D = \mathcal{O}(\mathbb{H})$ 를 기반으로 한 스위들러 표기법과 $\square_D$-텐서곱으로, 이는 상대 코인variants를 모델링한다.
• 저자들은 $\mathcal{O}_{\mathbb{G}/\mathbb{H}} \simeq \wedge_B(A \square_D \mathsf{Z})$ 를 증명하며, 여기서 $\mathsf{Z}$ 는 자유 $B$-모듈로, 몫의 구조가 국소적으로 분할된 슈퍼스킴임을 보장한다.
• 그리고 몰입 사상이 Noetherian, 아핀, $\mathbb{G}$ 에 대해 충실하게 평탄하며, 기저 스킴이 $G/H$ 와 동형임을 확인한다.

실험 결과

연구 질문

• RQ1 몰입 슈퍼스킴 $\mathbb{G}/\mathbb{H}$ 의 직접적 기하적 구성법이 존재하는가? 이는 그 구조층을 명시적으로 기술하는가?
• RQ2 브룬단의 추측처럼, 일반적으로 몰입 $\mathbb{G}/\mathbb{H}$ 는 지역적으로 분할되는가?
• RQ3 브룬단이 제시한 $\mathbb{G}/\mathbb{H}$ 의 여섯 가지 원하는 성질 (Q1)–(Q6)이 일반적으로 성립함을 증명할 수 있는가?
• RQ4 구조층 $\mathcal{O}_{\mathbb{G}/\mathbb{H}}$ 는 $\mathcal{O}(\mathbb{H})$ 가 $\mathcal{O}(\mathbb{G})$ 에 작용하는 코액션의 코인variants와 자연스럽게 동형인가?
• RQ5 몰입 $\mathbb{G}/\mathbb{H}$ 는 fppf 층 $\mathbb{G}\tilde{/}\mathbb{H}$ 를 표현함으로써 그 보편 성질을 확인하는가?

주요 결과

• 몰입 슈퍼스킴 $\mathbb{G}/\mathbb{H}$ 는 $\mathcal{O}_{\mathbb{G}/\mathbb{H}}(U) \simeq \mathcal{O}_{\mathbb{G}}(\pi^{-1}(U))^{co\mathbb{D}}$ 를 통해 명시적으로 구성되었으며, 이는 기하적 실현을 확인한다.
• 몰입 $\mathbb{G}/\mathbb{H}$ 는 지역적으로 분할되며, 이는 모든 점 주변에서 분할됨을 의미한다. 이는 브룬단의 작업에서 남아있던 핵심 열린 문제를 해결한다.
• 몰입 $\mathbb{G}/\mathbb{H}$ 는 브룬단이 제시한 여섯 성질 (Q1)–(Q6)을 모두 만족한다. 특히 몰입 사상의 충실한 평탄성과 Noetherian 성질이 포함된다.
• 구조층 $\mathcal{O}_{\mathbb{G}/\mathbb{H}}$ 는 $\wedge_B(A \square_D \mathsf{Z})$ 와 동형이며, 여기서 $A = \mathcal{O}(\mathbb{G})$, $D = \mathcal{O}(\mathbb{H})$, $\mathsf{Z}$ 는 자유 $B$-모듈로, 몫의 구조를 구체적인 대수적 기술로 제공한다.
• 몰입 $\mathbb{G}/\mathbb{H}$ 는 fppf 층 $\mathbb{G}\tilde{/}\mathbb{H}$ 를 표현함으로써, 범주론적 몫으로서의 보편 성질이 확인된다.
• 결과는 브룬단의 $Q(n)$ 에 대한 표현론적 결과를, $G/H$ 가 프로젝티브일 경우 더 넓은 범위의 아핀 대수적 슈퍼군으로 일반화한다.