[논문 리뷰] Hopf algebraic techniques applied to super algebraic groups

Akira Masuoka|arXiv (Cornell University)|2013. 11. 06.

Algebraic structures and combinatorial models참고 문헌 29인용 수 17

한 줄 요약

이 논문은 호프 대수 기법을 초대칭 대수적 군에 적용하여, 닫힌 정규 초대칭 부분군과 몫 초대칭 군 사이의 일대일 대응과 같은 기초 결과를 확립한다. 초대칭 대수적 군의 프로베누스 핵이 무한소적이고 국소적임을 증명하고, 기저가 되는 짝수 군과 코알gebra 구조를 통해 적분과 단순근성의 특성을 기술한다.

ABSTRACT

Reproducing my talk at Algebra Symposium held at Hiroshima University, August 26--29, 2013, I review recent results on super algebraic groups, emphasizing results obtained by myself and my coauthors using Hopf algebraic techniques. The results are all basic, and I intend to make this report into a somewhat informal introduction to the subject.

연구 동기 및 목표

• 초대칭 대수적 군에 대한 호프 대수적 프레임워크를 수립하고자 하며, 이는 델레인의 초대칭 탄나카 카테고리 정리에도 불구하고 기초 결과의 부족함에 기인한다.
• 초대칭 대수적 군의 닫힌 정규 초대칭 부분군과 몫 초대칭 군 사이의 일대일 대응을 확립함으로써 이전 연구에서 부족했던 핵심적인 구조적 성질를 보완한다.
• 양의 특성에서 프로베누스 사상과 그 핵(프로베누스 핵)의 구조를 분석하여, 그것이 무한소적이고 국소적임을 보인다.
• 짝수 군의 구조와 코알gebra 성질을 통해 초대칭 대수적 군에서의 적분 존재성과 단순근성의 특성을 기술한다.
• 보존화 기법과 호프 대수 기법을 사용하여 고전적 대수적 군 이론의 결과를 초대칭 설정으로 확장한다.

제안 방법

• 초대칭 아핀 군과 초대칭 호프 대수 사이의 반대동치를 사용하며, 초대칭 아핀 군 $ G $ 는 그 좌표 초대칭 호프 대수 $ \text{Sp}\thinspace A $ 와 대응되며, $ A = \text{Hom}_{\text{gr}}(A, \bold{k}) $ 를 만족한다.
• 보존화 기법을 적용하여 초대칭 호프 대수를 일반 호프 대수와 연결함으로써 고전 호프 대수 이론의 결과를 전이할 수 있도록 한다.
• 좌표 초대칭 대수 $ A^{(p)} = A \bigotimes \bold{k}^{1/p} $ 에서의 $ p $-승 거듭제곱 사상에 의해 프로베누스 사상 $ F_G: G \to G^{(p)} $ 를 정의하고, 프로베누스 핵 $ G_p = \text{Ker}\thinspace F_G $ 를 유도한다.
• 함자적 시각의 활용: 초대칭 아핀 군은 $ \text{CommAlgebras} \to \text{Groups} $ 를 만족하는 표현 가능 함자 $ G $ 로 간주되며, $ \text{Hom}(R, G) $ 는 $ R $-점들을 제공한다.
• 적분은 $ \bold{k} $-선형 사상 $ \text{int}: \text{Hom}(A, \bold{k}) \to \bold{k} $ 로 정의되며, $ A $-코모듈드 사상(좌우 모두)이어야 하며, $ \text{int}(1) \neq 0 $ 이면 양면 적분의 존재가 보장된다.
• 단순근성과 코알gebra $ \text{Hom}(A, \bold{k}) $ 의 기약성 사이의 동치관계를 사용하며, $ G $ 가 단순근성임은 $ G_{\text{ev}} $ 가 단순근성임과 동치임을 보인다.

실험 결과

연구 질문

• RQ1 초대칭 대수적 군의 닫힌 정규 초대칭 부분군과 몫 초대칭 군 사이에 일대일 대응이 존재하는가?
• RQ2 양의 특성에서 초대칭 대수적 군의 프로베누스 핵 $ G_p $ 의 구조는 어떠한가?
• RQ3 초대칭 대수적 군이 0이 아닌 적분을 가질 조건은 무엇이며, 이는 짝수 군 $ G_{\text{ev}} $ 와 어떻게 관련되는가?
• RQ4 초대칭 대수적 군이 단순근성임의 조건은 무엇이며, 이는 그 짝수 부분군의 단순근성과 어떻게 관련되는가?
• RQ5 적분과 선형 재수축성은 초대칭 대수적 군에서 어떻게 행동하는가? 특히 영 특성과 양의 특성에서의 차이점은 무엇인가?

주요 결과

• 초대칭 대수적 군 $ G $ 의 닫힌 정규 초대칭 부분군과 몫 초대칭 군 사이에 일대일 대응이 존재함을 입증하여, 이론에서의 기초적 격차를 해소하였다.
• 초대칭 대수적 군 $ G $ 의 프로베누스 핵 $ G_p $ 는 무한소적(즉, $ \text{dim} \thinspace \text{Hom}(A, \bold{k}) < \bold{\text{infty}} $) 이며 국소적(즉, 증강 이상이 멱영임)이다.
• 좌측 적분 공간 $ \text{Int}_{\text{left}}(G) $ 의 차원은 1 이하이며, $ G $ 가 적분을 가질 조건은 $ G_{\text{ev}} $ 가 적분을 가질 조건과 동치이다.
• 초대칭 아핀 군 $ G $ 는 그 짝수 부분군 $ G_{\text{ev}} $ 가 단순근성임과 동치로 단순근성임을 증명한 주브코프의 결과를 바탕으로 한다.
• 영 특성에서는 $ G $ 가 적분을 가질 조건은 $ G_{\text{ev}} $ 가 선형 재수축임을 의미하며, 특성 $ p > 2 $ 에서는 $ (G_{\text{ev}})^0_{\bar{\bold{k}}} $ 의 축소된 군 $ F_{\text{red}} $ 가 토루스임과 동치이다.
• 선형 재수축성은 $ \text{int}(1) \neq 0 $ 를 만족하는 양면 적분의 존재와 동치이며, 이 조건은 $ G $ 가 순수하게 짝수일 경우를 제외하고는 거의 만족되지 않는다.