[논문 리뷰] Some title containing the words "homotopy" and "symplectic", e.g. this one

Pavol Ševera|ArXiv.org|2001. 05. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 116

한 줄 요약

이 논문은 NQ-다양체를 이용해 리 대수층을 고차 군oids에 통합하기 위한 호모토피 이론적 프레임워크를 제안하며, 수리적 호모토피 이론을 통해 심플렉틱 및 파울리 기하학을 일반화한다. 주요 기여는 $Σ_n$-다양체의 호모토피적 특성화로, 선형화된 호모토피 이론은 NQ-사상들의 공간이 코homology에 의해 제어됨을 보이며, 경계가 있는 다양체 위의 $Σ_n$-벡터(bundle)의 단면 공간에는 심플렉틱 dual 구조가 존재한다.

ABSTRACT

Using a basic idea of Sullivan's rational homotopy theory, one can see a Lie groupoid as the fundamental groupoid of its Lie algebroid. This paper studies analogues of Lie algebroids with non-trivial higher homotopy. Using various homotopy classes one can obtain e.g. central extensions of loop groups, or one can integrate a Lie biagebroid to a double symplectic groupoid. When combined with symplectic geometry, this idea leads to an infinite sequence of notions, starting with sympectic manifolds, Poisson manifolds and Courant algebroids. They are interrelated with higher-dimensional variational problems, and one can use them to define higher-dimensional Hamiltonian mechanics.

연구 동기 및 목표

• 고전적 기본 군oid 구조를 초월해 고차 호모토피를 포함한 리 대수층의 통합을 확장하기 위해.
• $Σ_n$-다양체를 위한 호모토피 이론적 프레임워크를 개발하기 위해 — 이는 $n=0$일 때 심플렉틱(심플렉틱), $n=1$일 때 파울리, $n=2$일 때 쿠르앙트 대수층을 일반화한다.
• NQ-사상의 호모토피 이론과 $Σ_n$-벡터(bundle)의 단면의 코homology 사이의 연결 고리를 설정하기 위해, 특히 경계 조건이 존재할 경우를 포함하여.
• 경계가 있는 다양체 위의 $Σ_n$-벡터(bundle)의 호모토피류를 구성하는 NQ-단면의 공간이 자연스러운 심플렉틱 구조를 지닌다는 것을 보여주기 위해.

제안 방법

• 일반적인 다양체 $M$에 대해 $T[1]M$인 것처럼 취급하는 NQ-다양체를 미분기하학적 구조의 호모토피 모델로 사용하기 위해.
• 리 대수층 $A \to M$의 통합을, $TI \to A$에 대한 리 대수층 사상의 호모토피류의 공간으로 정의하며, 호모토피는 사각형 위의 사상으로 주어진다.
• 유리수 호모토피 이론을 적용하여 $\Gamma$를 기본 군oid 유사 대상으로 정의하며, 무한차원 Banach 다양체의 분할 구조(크라인-페르난데스의 방법에 따라)로 부드러움 문제를 해결한다.
• NQ-사상 $Y \to X$의 공간을 선형화하여 호모토피류의 접공간을 계산하며, $\psi^*TX$의 단면의 코체인 복합체를 사용한다.
• $Σ_n$-벡터(bundle)를 $Q$-구조와 호환되는 차수 $n$의 심플렉틱 섬유를 가진 NQ-벡터(bundle)로 정의한다.
• $T[1]M$ 위에서 Berezin 적분을 사용하여 단면 공간에 심플렉틱 형식 $\omega_M$를 정의하며, 이는 차수 $n - \dim M$을 가지며, 스토크스 정리를 통해 경계와 내부의 코homology를 연결한다.

실험 결과

연구 질문

• RQ1 리 대수층의 통합은 기본 군oid를 초월해 고차 호모토피를 포함하도록 어떻게 일반화될 수 있는가?
• RQ2 NQ-다양체는 고차 심플렉틱 및 파울리 구조를 어떻게 표현하며, 이는 어떻게 $Σ_n$-다양체를 통합하는가?
• RQ3 NQ-사상의 무한소 변형은 코homology와 어떻게 관련되며, 음수 코hom로프 그룹의 호모토피적 의미는 무엇인가?
• RQ4 어떤 조건에서 $Σ_n$-_bundle의 NQ-단면의 호모토피류의 공간이 심플렉틱 구조를 지니는가?
• RQ5 경계가 존재할 경우, $Σ_n$-bundle의 단면 공간에서의 심플렉틱 dual 구조는 어떻게 영향을 받는가?

주요 결과

• 호모토피류의 NQ-사상 $Y \to X$의 공간, 즉 $H^0(\Gamma(E))$는, 선형 호모토피로 정의된 $\psi^*TX$의 NQ-단면의 호모토피류의 공간과 동형이며, 이는 호모토피 관계에 의해 결정된다.
• $n > \deg X$이면, 임의의 NQ-사상 $T[1]B^n \to X$는 작은 호모토피를 통해 국소적으로 상수 사상과 호모토피적이다. 이는 $X$가 국소적으로 차수 $\deg X$의 호모토피 유형을 가짐을 의미한다.
• 경계에서 0이 되는 NQ-단면의 호모토피류의 공간 $Z\Gamma(E)/B\Gamma_0(E)$는 심플렉틱하며, 이 심플렉틱 형식은 $T[1]M$ 위에서의 적분에 의해 유도된다.
• 만약 $M$이 닫혀 있고 $\dim M = n$이면, 코homology $H(\Gamma(E))$는 심플렉틱하며, 이는 $Σ_n$-bundle의 맥락에서 Poincaré dual을 일반화한다.
• $M$이 경계를 지닐 경우, 공간 $H(\Gamma(E))$는 심플렉틱이 아니지만, $T[1]\partial M$ 위에 있는 $E'$의 라그랑주 부분벡터(bundle) $L$을 선택하면, 라그랑주 축소를 통해 심플렉틱 $H(\Gamma_L(E))$를 얻는다.
• $H(E) \to H(E')$의 상은 $H(E')$의 라그랑주 부분공간이며, 이는 내부와 경계의 코homology 사이의 이중성 관계를 반영한다.