[논문 리뷰] Deformations of Coisotropic Submanifolds in Abstract Jacobi Manifolds

Hông Vân Lê, Yong‐Geun Oh외 2명|arXiv (Cornell University)|2014. 10. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 21인용 수 8

한 줄 요약

이 논문은 비틀림이 없는 선형 다중미분 계산과 함께 비자명한 선다발 위의 아티야 대수를 사용하여, 추상 잭비안 다양체 내의 임의의 공등위 부분다양체에 대해 $L_\infty$-대수를 구성한다. 이 구성은 힐베르트 기하학, 파울리 기하학, 국소적으로 동형인 심플렉틱 기하학에서 알려진 $L_\infty$-대수를 일반화하며, 접촉 다양체를 포함하는 통합 프레임워크를 제공한다. 이는 공등위 부분다양체, 특히 레전드르 부분다양체의 형식적 변형 이론을 지배한다.

ABSTRACT

In this paper, using the Atiyah algebroid and first order multi-differential calculus on non-trivial line bundles, we attach an $L_\infty$-algebra to any coisotropic submanifold $S$ in an abstract (or Kirillov's) Jacobi manifold. Our construction generalizes and unifies analogous constructions in symplectic, Poisson case, and locally conformal symplectic geometry. As a new special case, we attach an $L_\infty$-algebra to any coisotropic submanifold in a contact manifold, including Legendrian submanifolds. The $L_\infty$-algebra of a coisotropic submanifold $S$ governs the (formal) deformation problem of $S$.

연구 동기 및 목표

• 심플렉틱 기하학과 파울리 기하학에서 알려진 공등위 부분다양체에 대한 기존의 $L_\infty$-대수 구성법을 추상 잭비안 다양체의 더 넓은 맥락으로 일반화하기 위해.
• 심플렉틱, 파울리, 국소적으로 동형인 심플렉틱 기하학의 변형 이론 프레임워크를 하나의 대수적 구조 아래 통합하기 위해.
• 접촉 다양체, 특히 레전드르 부분다양체를 포함하여 이론을 확장하기 위해 공등위 부분다양체에 대한 $L_\infty$-대수를 구성하기 위해.
• 비자명한 선다발 위의 기하학적 자료로부터 유도된 $L_\infty$-대수를 사용하여 공등위 부분다양체의 형식적 변형 이론을 제공하기 위해.

제안 방법

• 공등위 부분다양체 위의 비자명한 선다발과 관련된 아티야 대수를 사용하여 기하학적 및 무한소 대칭성을 코딩한다.
• 선다발 위의 일阶 다중미분 계산을 적용하여 $L_\infty$-대수의 고차 브라켓을 구성한다.
• 환경 다양체의 잭비안 구조와 부분다양체에 유도된 구조를 사용하여 $L_\infty$-대수의 구조를 정의한다.
• 아티야 대수가 잭비안 브라켓과의 호환성을 활용하여 $L_\infty$-대수가 일반화된 잭비안 항등식을 만족하도록 보장한다.
• 공등위 변형의 모듈리 공간을 지배하는 형식적 변형 복합체로서 $L_\infty$-대수를 구성한다.
• 구성법이 심플렉틱 기하학과 파울리 기하학의 알려진 사례로 축소됨을 보여주어 일관성을 확인한다.

실험 결과

연구 질문

• RQ1 추상 잭비안 다양체 내의 공등위 부분다양체의 변형 문제는 어떻게 대수적으로 형식화될 수 있는가?
• RQ2 힐베르트 기하학과 파울리 기하학에서 알려진 $L_\infty$-대수 구성법은 키릴로프의 잭비안 다양체 맥락으로 어떻게 일반화될 수 있는가?
• RQ3 이론은 접촉 다양체, 특히 레전드르 부분다양체를 포함하도록 확장될 수 있는가?
• RQ4 비자명한 선다발의 아티야 대수는 공등위 부분다양체 위의 $L_\infty$-대수 구조에 어떻게 기여하는가?
• RQ5 일阶 다중미분 계산은 $L_\infty$-대수의 고차 호모토피 관계를 어떻게 코딩하는가?

주요 결과

• 비자명한 선다발 위의 아티야 대수와 일阶 다중미분 계산을 사용하여, 추상 잭비안 다양체 내의 임의의 공등위 부분다양체에 대해 $L_\infty$-대수를 구성하였다.
• 이 구성은 이전의 심플렉틱, 파울리, 국소적으로 동형인 심플렉틱 기하학에서의 $L_\infty$-대수 모델을 일반화하고 통합하였다.
• $L_\infty$-대수는 공등위 부분다양체의 형식적 변형 문제를 지배하며, 그 모듈리 공간에 대한 호모토피 이론적 프레임워크를 제공한다.
• 이 프레임워크는 접촉 다양체에 적용 가능하여, 공등위 부분다양체, 특히 레전드르 부분다양체에 대한 $L_\infty$-대수를 도출한다.
• 유도된 $L_\infty$-대수 구조는 알려진 사례와 일관되며, 고전적 기하학으로의 축소를 통해 구성의 타당성을 검증한다.
• 비자명한 선다발과 그에 관련된 계산의 사용은 국소 모델을 초월한 전역 기하학적 자료를 포착함을 보장한다.