[논문 리뷰] Higher Symplectic Geometry

Christopher L. Rogers|arXiv (Cornell University)|2011. 06. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 51인용 수 37

한 줄 요약

이 논문은 n-plectic 다양체—닫힘되고 비퇴화된 (n+1)-형식을 지닌 다양체—를 도입하여 심플렉틱 기하학을 고차원으로 일반화한다. 이러한 구조가 리 n-대수를 유도하고 분류된 기하학적 양자화 절차를 가능하게 함을 보여준다. 주요 기여는 2-plectic 양자화 프레임워크를 제안하여 양자 상태의 범주를 도출하는 것으로, 구체적인 예시를 통해 2-plectic 다양체가 SU(2)의 표현과 연결됨을 보여준다.

ABSTRACT

We consider generalizations of symplectic manifolds called n-plectic manifolds. A manifold is n-plectic if it is equipped with a closed, nondegenerate form of degree n+1. We show that higher structures arise on these manifolds which can be understood as the categorified or homotopy analogues of important structures studied in symplectic geometry and geometric quantization. Just as a symplectic manifold gives a Poisson algebra of functions, we show that any n-plectic manifold gives a Lie n-algebra containing certain differential forms which we call Hamiltonian. Lie n-algebras are examples of strongly homotopy Lie algebras. They consist of an n-term chain complex equipped with a collection of skew-symmetric multi-brackets that satisfy a generalized Jacobi identity. We then develop the machinery necessary to geometrically quantize n-plectic manifolds. In particular, just as a prequantized symplectic manifold is equipped with a principal U(1)-bundle with connection, a prequantized 2-plectic manifold is equipped with a U(1)-gerbe with 2-connection. A gerbe is a categorified sheaf, or stack, which generalizes the notion of a principal bundle. Furthermore, over any 2-plectic manifold there is a vector bundle equipped with extra structure called a Courant algebroid. This bundle is the 2-plectic analogue of the Atiyah algebroid over a prequantized symplectic manifold. Its space of global sections also forms a Lie 2-algebra, which we use to prequantize the Lie 2-algebra of Hamiltonian forms. Finally, we introduce the 2-plectic analogue of the Bohr-Sommerfeld variety associated to a real polarization, and use this to geometrically quantize 2-plectic manifolds. The output of this procedure is a category of quantum states. We consider a particular example in which the objects of this category can be identified with representations of the Lie group SU(2).

연구 동기 및 목표

• 심플렉틱 다양체의 일반화로서, 닫힘되고 비퇴화된 (n+1)-형식을 지닌 n-plectic 다양체를 도입하여 고차 미분형식으로 심플렉틱 기하학을 확장한다.
• 표준 기하학적 양자화와 유사하지만, 힐버트 공간 대신 양자 상태의 범주를 도출하는 2-plectic 다양체에 대한 기하학적 양자화 절차를 개발한다.
• 고차 심플렉틱 기하학, 표현 이론, 게르베, 코우런트 대수군, 루프 군과 같은 스트링 기반의 구조들 간의 연결 고리를 설정한다.
• 보어-좀머펠트 조건을 분류화하고, 극화된 양자화에 대한 2-plectic 버전의 보어-좀머펠트 다양체를 구성한다.
• 2-plectic 다양체에 대해 얻어진 양자 상태 범주가 SU(2)의 표현과 일치함을 보여주며, 특히 구형 위의 날개가 튼 전기 벡터 다발을 통한 표현과의 연결을 제시한다.

제안 방법

• 닫힘되고 비퇴화된 (n+1)-형식을 지닌 매끄러운 다양체로 n-plectic 다양체를 정의하여 심플렉틱 구조를 일반화한다.
• 강한 호모토피 리 대수(즉, L∞-대수)의 구조를 사용하여 n-plectic 다양체 위의 해밀토니안 미분형식에서 리 n-대수를 구성한다.
• 델리뉴 코hom로지와 U(1)-게르베에 2-접속을 사용하여 2-plectic 다양체를 전양자화하며, 심플렉틱 다양체의 U(1)- bundles를 일반화한다.
• 아티야 대수군의 2-plectic 버전으로서 2-plectic 다양체 위의 코우런트 대수군을 도입하며, 그 전역 단면들이 리 2-대수를 이룬다.
• 실수 2-극화와 자명한 델리뉴 2-코호몰로지류를 사용하여 2-plectic 보어-좀머펠트 다양체를 정의하여, 각 잎에서 양자화 조건이 만족됨을 보장한다.
• 보어-좀머펠트 다양체 위의 날개가 튼 헤르미트 벡터 다발의 범주로서 양자 상태의 범주를 구성하며, 각 잎에서 평탄하며, 이sovorphism 클래스는 SU(2) 표현의 이sovorphism 클래스와 일대일 대응된다.

실험 결과

연구 질문

• RQ1 n-plectic 다양체는 어떻게 심플렉틱 다양체를 일반화하며, 그 고차형식에서 유도되는 대수적 구조는 무엇인가?
• RQ2 2-plectic 다양체에 대한 기하학적 양자화의 분류화된 유사체는 무엇이며, 표준 힐버트 공간 기반의 양자화와 어떻게 다를까?
• RQ3 U(1)-게르베에 2-접속이 2-plectic 다양체의 전양자화 구조로 작용하는 방식은 심플렉틱 기하학에서의 U(1)-주다발과 어떻게 유사한가?
• RQ4 코우런트 대수군은 2-ple틱 기하학에서 어떤 역할을 하는가? 해밀토니안 형식의 리 2-대수와의 관계는 무엇인가?
• RQ5 보어-좀머펠트 다양체를 통한 2-plectic 오비트 방법은 어떻게 SU(2)의 기약 표현과 같은 표현 이론적 자료를 복원하는가?

주요 결과

• 기원을 중심으로 한 구형으로 이루어진 2-극화와 자명한 델리뉴 2-코호몰로지류를 지닌 2-plectic 다양체는 정수 n에 대해 반지름 n/2인 구로 이루어진 보어-좀머펠트 다양체로 구성된다.
• 2-plectic 형식 ω = dB를 지닌 M = ℝ³∖{0}에 대해, 양자 상태의 범주는 각 보어-좀머펠트 잎에서 평탄한 날개가 튠 헤르미트 벡터 다발로 이루어져 있다.
• 양자 상태 범주의 대상의 이sovorphism 클래스는 자명 표현을 포함하지 않는 유한차원 SU(2) 표현의 이sovorphism 클래스와 일대일 대응된다.
• 각 양자 상태 다발은 ℂℙ¹ 위의 초평면 다발의 텐서 거듭제곱의 직합으로 분해되며, 이는 동반원 위의 선다발의 구조를 반영한다.
• 보어-좀머펠트 구의 반지름 n/2는 차원 n+1인 SU(2)의 기약 표현과 직접 연결되며, 2-plectic 기하학과 오비트 방법 간의 직접적 연결 고리를 확립한다.
• 자명 표현을 복원하지 못하는 것은 기원(자명 표현에 해당)이 다양체 M = ℝ³∖{0}에서 제외되어 있기 때문이며, 이는 힐버트 공간 양자화에서의 1/2-시프트와 유사하다.