[논문 리뷰] Stacky Hamiltonian actions and symplectic reduction

Benjamin Hoffman, Reyer Sjamaar외 1명|arXiv (Cornell University)|2018. 08. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 3

한 줄 요약

이 논문은 에탈 리 군 스택이 에탈 심플렉틱 스택 위에 작용하는 경우에 고전적 심플렉틱 기하학 정리들—키르완 볼록성, 마이어-마르스든-웨인스타인 축소, 두이스터마트-헤크만 정리—을 일반화한다. 스택형 모멘트 맵을 도입하고, 청결 조건이 만족될 경우 모멘트 맵의 상이 정규 판이 유리가 아닐 수 있는 볼록 다면체가 되며, 이는 아티야-쥐르맹-스터너버그 정리의 비격자 코어캐릭터 군으로의 일반화이다. 심플렉틱 축소 정리는 컴팩트성이나 올바름 조건 없이도 성립하며, 두이스터마트-헤크만 정리는 축소 형식의 선형 변화로 확장된다.

ABSTRACT

We introduce the notion of a Hamiltonian action of an étale Lie group stack on an étale symplectic stack and establish versions of the Kirwan convexity theorem, the Meyer-Marsden-Weinstein symplectic reduction theorem, and the Duistermaat-Heckman theorem in this context.

연구 동기 및 목표

• 에탈 리 군 스택이 에탈 심플렉틱 스택 위에 작용하는 해밀턴 작용으로 키르완의 볼록성 정리를 일반화하기 위해.
• 그룹 스택의 컴팩트성이나 올바름 조건 없이도 이러한 작용에 대해 심플렉틱 축소 정리를 확립하기 위해.
• 스택형 토르스 작용으로 두이스터마트-헤크만 정리를 확장하여 축소된 심플렉틱 형식의 선형 변화에 초점을 맞추기 위해.
• 스택형 리 군, 모멘트 맵, 기본 미분 형식 등을 포함한 해밀턴 작용에 대한 기본 도구를 개발하기 위해.
• 모든 단순 스택형 다면체가 토릭 심플렉틱 스택의 모멘트 다면체로 나타나며, 이는 토릭 대수적 스택을 C∞-설정으로 일반화하기 위해.

제안 방법

• 2-범주적 프레임워크 내에서 0-심플렉틱 군가군과 모멘트 맵을 사용하여 에탈 리 군 스택이 에탈 심플렉틱 스택 위에 작용하는 해밀턴 작용을 도입한다.
• 교차 모듈러스와 리 2군을 통해 스택형 토르스와 최대 스택형 토르스를 정의함으로써 비격자 코어캐릭터 군을 允허한다.
• 폴로지아 군가군에서 보트 접속과 기본 미분 형식을 적용하여 횡방향 심플렉틱 구조를 특성화한다.
• C. 주의 부록을 통해 리 군 스택의 약한 섬유곱을 사용하여 축소를 구성하고 분석한다.
• 일반적인 스택형 작용을 엄격한 작용으로 줄이는 데에 엄격화 정리(정리 6.8.1)를 적용하여 분석을 단순화한다.
• 2-범주론과 2군 작용 이론을 활용하여 고차 기하학에서의 모멘트 맵과 등변성의 형식화를 수행한다.

실험 결과

연구 질문

• RQ1 코어캐릭터 군이 격자가 아닐 경우에도 에탈 리 군 스택이 에탈 심플렉틱 스택 위에 작용하는 해밀턴 작용으로 키르완 볼록성 정리를 일반화할 수 있는가?
• RQ2 에탈 리 군 스택의 해밀턴 작용으로 심플렉틱 스택을 축소할 때, 컴팩트성이나 올바름 조건 없이도 그 결과가 다시 심플렉틱 스택이 되는 조건은 무엇인가?
• RQ3 두이스터마트-헤크만 정리는 스택형 토르스 작용으로 어떻게 일반화되며, 특히 축소된 심플렉틱 형식의 변화에 대해 어떻게 적용되는가?
• RQ4 스택형 토르스 작용의 경우 모멘트 맵의 상(스택형 모멘트 몸체)의 구조는 어떻게 되며, 고전적 유리 다면체와 어떻게 다를까?
• RQ5 모든 단순 스택형 다면체가 토릭 심플렉틱 스택의 모멘트 다면체로 나타나는가? 이 구성은 프라토의 퀘이지다각형과 어떻게 관련이 있는가?

주요 결과

• 코어캐릭터 군이 격자가 아니더라도, 스택형 토르스 작용에서 모멘트 맵의 상은 볼록 다면체가 되며, 이는 코어캐릭터 군이 격자가 아니라 준격자이기 때문이다.
• 모멘트 맵에 대한 정규성 가정이 만족될 경우, 에탈 리 군 스택이 에탈 심플렉틱 스택 위에 작용하는 해밀턴 작용에 대해 심플렉틱 축소 정리는 컴팩트성이나 올바름 조건 없이도 성립한다.
• 두이스터마트-헤크만 정리에서 축소된 심플렉틱 형식의 선형 변화는 스택형 토르스 작용으로 일반화되었으며, 이는 고전적 정리가 스택형 설정에서 핵심 부분을 차지한다.
• 에탈 스택 위의 벡터장의 리 2대수는 리 대수와 동치이며, 이는 대칭 분석을 단순화하는 구조적 결과이다.
• 엄격화 정리(정리 6.8.1)는 모든 스택형 작용이 엄격한 작용과 동치임을 보여주며, 이는 고차 범주적 맥락에서 고전적 기법의 사용을 가능하게 한다.
• 모든 단순 스택형 다면체는 토릭 심플렉틱 스택의 모멘트 다면체로 나타나며, 이는 프라토의 퀘이지다각형을 일반화하고 대수적 토릭 스택의 C∞-대응을 제공한다.