[논문 리뷰] The first fundamental theorem of invariant theory for the orthosymplectic super group

Deligne, P., R. B. Zhang외 1명|arXiv (Cornell University)|2015. 08. 18.

Advanced Algebra and Geometry참고 문헌 30인용 수 22

한 줄 요약

이 논문은 아티야-보트-파토디의 감소 기법의 수퍼 버전을 사용하여, 옥소심플렉틱 수퍼군(Osp)과 페리플레틱 수퍼군에 대한 첫 번째 기본정리(Fundamental Theorem, FFT)에 대한 새로운 기하적 증명을 제시한다. 이를 통해 대칭형식 B를 통한 쌍화(pairing)에 의해 불변량이 생성됨을 보이며, 특수 옥소심플렉틱 수퍼군에서 유효한 슈레브의 수퍼 파프يان(super Pfaffian)이 수퍼 행렬식의 제곱근으로서 다항식 성질을 가짐을 설명한다.

ABSTRACT

We give a new proof, inspired by an argument of Atiyah, Bott and Patodi, of the first fundamental theorem of invariant theory for the orthosymplectic super group. We treat in a similar way the case of the periplectic super group. Lastly, the same method is used to explain the fact that Sergeev's super Pfaffian, an invariant for the special orthosymplectic super group, is polynomial.

연구 동기 및 목표

• 아티야, 보트, 파토디의 접근 방식을 영감으로 삼아, 옥소심플렉틱 수퍼군(Osp)에 대한 첫 번째 기본정리(Fundamental Theorem, FFT)에 대한 새로운 기하적 증명을 제공하는 것.
• 동일한 방법을 페리플레틱 수퍼군으로 확장하여, 그 수퍼 설정에서의 FFT를 확립하는 것.
• 스페셜 옥소심플렉틱 수퍼군에서 불변량인 셰레브의 수퍼 파프ian이 다항식 불변량인 이유를 설명하는 것.
• 내림내림과 스펙트럴 기법을 사용하여 수퍼 대수기하학에서의 불변량을 통합적으로 다루는 것.

제안 방법

• 아티야-보트-파토디 감소의 수퍼 버전을 채택하여, 수퍼 벡터 공간과 그라디에이션 텐서곱을 통해 OSp에 대한 FFT를 GL(V)에 대한 FFT로 환원한다.
• 수퍼 벡터 공간의 부호 규칙을 사용하여 초대칭 이차형식을 정의한다: $ v \otimes w \mapsto (-1)^{|v||w|} w \otimes v $.
• 수퍼 스킴과 충실하게 평탄한 감소를 사용하여 수퍼군 작용을 모델링하고, SGA1의 결과를 응용하여 열린 부분집합으로의 불변량 확장을 다룬다.
• 지역 좌표에서 이항전개를 사용하여 $ \det(B(v_i, v_j))^{2n+1} $의 제곱근으로서 수퍼 파프ian을 구성하고, 그 다항식 확장을 보여준다.
• 에탈 감소를 적용하여, 행렬식이 가역인 열린 집합의 여집합이 코드림이 ≥2이므로, 수퍼 파프ian이 전체 공간으로 확장됨을 증명한다.
• 벡터 번들의 직교 부분다중체로의 분해를 통해 기저 부분을 분리하고, 형식의 국소 제곱근을 정의한다.

실험 결과

연구 질문

• RQ1 옥소심플렉틱 수퍼군에 대한 첫 번째 기본정리(Fundamental Theorem, FFT)는 일반선형 수퍼군으로의 기하적 감소를 통해 어떻게 증명할 수 있는가?
• RQ2 페리플레틱 수퍼군에 대한 $ V^N $ 위의 불변 다중선형 형식의 구조는 무엇이며, 이는 이차형식을 통한 쌍화와 어떻게 관련되는가?
• RQ3 왜 셰레브의 수퍼 파프ian은 특수 옥소심플렉틱 수퍼군 하에서 다항식 불변량인가?
• RQ4 수퍼 파프ian은 결정식의 제곱근임에도 불구하고, 전체 공간으로 어떻게 전역적으로 확장되는가?

주요 결과

• OSp에 대한 FFT는 GL(V)에 대한 FFT로 감소시킴으로써 증명되며, 이는 불변량이 수퍼 형식 B를 통한 쌍화에 의해 생성됨을 보여준다.
• 동일한 방법은 페리플레틱 수퍼군에도 적용되며, 그 작용 하의 불변량에 대해 유사한 FFT를 도출한다.
• 수퍼 파프ian $ \Delta^{2n+1} $은 $ \det(B(v_i, v_j))^{2n+1} $의 제곱근으로 정의되며, 그라스만 관계로 인해 종료되는 이항전개를 통해 다항식임을 보여준다.
• 에탈 감소를 통해 수퍼 파프ian은 전체 공간 $ \mathbf{V}^m $로 확장되며, 그 이유는 결정식이 가역인 열린 집합의 여집합이 코드림 ≥2이기 때문이다.
• 수퍼 파프ian은 연결성분 $ \mathrm{SOSp}(V) $ 에서 불변하며, 다른 성분의 원소는 이를 부정한다. 이는 특수군에 대한 기본 불변량으로서의 역할을 확인한다.
• $ \mathrm{SOSp}(V) $ 가 대칭 텐서 위에서의 불변량은 $ \mathrm{OSp}(V) $ 의 불변량과 수퍼 파프ian을 함께 생성하며, 이는 $ \mathfrak{gl}_N $-모듈 구조를 통해 보여진다.