[논문 리뷰] Deformations of Lagrangian $NQ$-submanifolds

Miquel Cueca, Jonas Schnitzer|arXiv (Cornell University)|2023. 09. 11.

Homotopy and Cohomology in Algebraic TopologyMathematics인용 수 3

한 줄 요약

이 논문은 $ atsym$-등급 심플렉틱 $Q$-다양체 내의 라그랑주 $Q$-부다양체에 대한 변형 이론을 수립하며, 그레디드 판데르부르그 정리와 바이스틴의 튜브근처 이웃 정리의 버전을 증명한다. 변형을 제어하는 $L_{inity}$-대수를 구성하여, 튜브근처 이웃의 선택에 대해 불변임을 보이고, 게이지 동치 관계의 기하적 특성화를 제공한다.

ABSTRACT

In this paper we prove graded versions of the Darboux Theorem and Weinstein's Lagrangian tubular neighbourhood Theorem in order to study the deformation theory of Lagrangian $NQ$-submanifolds of degree $n$ symplectic $NQ$-manifolds. Using Weinstein's Lagrangian tubular neighbourhood Theorem, we attach to every Lagrangian $NQ$-submanifold an $L_\infty$-algebra, which controls its deformation theory. The main examples are coisotropic submanifolds of Poisson manifolds and (higher) Dirac structures with support in (higher) Courant algebroids.

연구 동기 및 목표

• 등급 $ atsym$-등급 심플렉틱 $Q$-다양체 내의 라그랑주 $Q$-부다양체에 대한 엄밀한 변형 이론을 개발하기 위해.
• 클래식한 정리—판데르부르그 정리와 바이스틴의 튜브근처 이웃 정리—를 등급 설정으로 일반화하기 위해.
• 이러한 부다양체의 형식적 변형 문제를 제어하는 $L_{inity}$-대수를 구성하기 위해.
• 다른 튜브근처 이웃의 선택에 대해 $L_{inity}$-대수가 동형 사상에 의해 불변임을 보여주기 위해.
• 변형 모듈리 공간 내에서 게이지 동치 관계의 기하적 의미를 제공하기 위해.

제안 방법

• 라그랑주 $Q$-부다양체 근처에서 $ atsym$-등급 $Q$-다양체의 심플렉틱 구조를 국소적으로 모델링하기 위해 등급 판데르부르그 정리를 증명한다.
• 바이스틴의 튜브근처 이웃 정리의 등급 판본을 수립하여, 라그랑주 $Q$-부다양체의 이웃이 이동된 코탄제인트 번들의 모델 이웃과 $Q$-심플렉틱 동형임을 보인다.
• 유도된 브라켓 구성법을 사용하여 튜브근처 이웃의 정규다발 자료로부터 $L_{inity}$-대수를 구성한다.
• 보로노프의 유도된 브라켓 형식을 사용하여 정규다발의 단면 공간 위에 $L_{inity}$-구조를 정의하며, 곡률은 $Q$-작용에 의해 결정된다.
• 게이지 유사 흐름에 의해 유도되는 $L_{inity}$-동형 사상으로 인해, 서로 다른 튜브근처 이웃이 유사한 $L_{inity}$-대수를 유도함을 보인다.
• 마우레르-카르탕 원소 위의 게이지 작용을 정규다발의 0차 수준 섹션과 관련된 해밀토니안 벡터장에 의해 생성되는 흐름으로 기하학적으로 특성화한다.

실험 결과

연구 질문

• RQ1 어떻게 $ atsym$-등급 심플렉틱 $Q$-다양체의 맥락으로 바이스틴의 튜브근처 이웃 정리를 일반화할 수 있는가?
• RQ2 이 등급 맥락에서 라그랑주 $Q$-부다양체의 변형 문제를 제어하는 $L_{inity}$-대수의 구조는 무엇인가?
• RQ3 $L_{inity}$-대수의 구성은 튜브근처 이웃의 선택에 따라 어떻게 달라지는가?
• RQ4 변형 모듈리 공간 내에서 게이지 동치의 기하적 의미는 무엇인가?
• RQ5 클래식한 기하학적 구조—예를 들어, 코이시트로픽 부다양체와 디라크 구조—는 어떻게 라그랑주 $Q$-부다양체의 특수한 경우로 나타나는가?

주요 결과

• 이동된 코탄제인트 번들 $T^*[1] u o u$ 내에서 라그랑주 $Q$-부다양체의 $Q$-심플렉틱 이웃이 존재함을 보여주는 등급 판본의 바이스틴 튜브근처 이웃 정리가 증명되었다.
• 유도된 브라켓을 사용하여 라그랑주 $Q$-부다양체의 정규다발 자료로부터 $L_{inity}$-대수를 구성하였으며, 이는 형식적 변형 문제를 제어한다.
• 서로 다른 두 튜브근처 이웃은 동형 사상에 의해 유사한 $L_{inity}$-대수를 유도하므로, 모델 선택에 대해 변형 이론이 불변임을 증명하였다.
• 마우레르-카르탕 원소 위의 게이지 작용은 정규다발의 0차 섹션과 관련된 해밀토니안 벡터장에 의해 생성되는 흐름으로 기하학적으로 특성화되었다.
• 이 구성은 알려진 변형 이론을 복원한다: 파오아만의 코이시트로픽 부다양체와 코우란트 대수다발 내의 디라크 구조는 라그랑주 $Q$-부다양체의 특수한 경우로 나타난다.
• $L_{inity}$-대수의 구조는 $V$-대수 위에서 유도된 브라켓 구성법을 통해 곡률이 $Q$-작용에 의해 결정되는 곡률이 있는 $L_{inity}$-대수로부터 유도된다.