2025-11-14T10:55:11.262755

Calabi-Yau structure on the Chekanov-Eliashberg algebra of a Legendrian sphere

Legout

In this paper, we prove that the Chekanov-Eliashberg algebra of an horizontally displaceable n-dimensional Legendrian sphere in the contactisation of a Liouville manifold is a (n+1)-Calabi-Yau differential graded algebra. In particular it means that there is a quasi-isomorphism of DG-bimodules between the diagonal bimodule and the inverse dualizing bimodule associated to the Chekanov-Eliashberg algebra. On some cyclic version of these bimodules, which are chain complexes computing the Hochschild homology and cohomology of the Chekanov-Eliashberg algebra, we construct $A_\infty$ operations and show that the Calabi-Yau isomorphism extends to a family of maps satisfying the $A_\infty$-functor equations.

academic

Legendrian 구의 Chekanov-Eliashberg 대수 위의 Calabi-Yau 구조

기본 정보

논문 ID: 2304.03014
제목: Calabi-Yau structure on the Chekanov-Eliashberg algebra of a Legendrian sphere
저자: Noémie Legout
분류: math.SG (심플렉틱 기하학)
발표 시간: 2023년 4월 6일 (arXiv 제출)
논문 링크: https://arxiv.org/abs/2304.03014

초록

본 논문은 Liouville 다양체의 접촉화에서 수평 치환 가능한 n차원 Legendrian 구의 Chekanov-Eliashberg 대수가 (n+1)-Calabi-Yau 미분 등급 대수임을 증명한다. 특히, 대각 쌍가군과 Chekanov-Eliashberg 대수와 관련된 역 쌍대 쌍가군 사이에 DG-쌍가군의 준동형이 존재함을 의미한다. 이들 쌍가군의 특정 순환 버전에서, 이들은 Chekanov-Eliashberg 대수의 Hochschild 호몰로지와 코호몰로지를 계산하는 사슬 복합체이며, $A_\infty$ 연산을 구성하고 Calabi-Yau 동형이 $A_\infty$ -함자 방정식을 만족하는 사상족으로 확장됨을 증명한다.

연구 배경 및 동기

문제 배경

Chekanov-Eliashberg 대수의 중요성: Chekanov-Eliashberg 대수(C-E 대수)는 Legendrian 부분다양체의 중요한 불변량으로, Reeb 현으로 생성된 미분 등급 대수이며 접촉 위상에서 핵심적 역할을 한다.
쌍대성 구조: C-E 대수의 선형화 버전이 특정 쌍대성을 만족함이 알려져 있으며, 이 결과는 먼저 Sabloff가 Legendrian 매듭의 경우에 증명했고, 나중에 Ekholm-Etnyre-Sabloff가 고차원으로 일반화했다.
Calabi-Yau 구조의 기대: Ganatra의 박사 논문 작업에 기반하여, 감싼 Fukaya 범주가 비컴팩트 Calabi-Yau 범주이고 이 범주가 Legendrian 구로 생성되므로, C-E 대수도 유사한 Calabi-Yau 구조를 가져야 한다고 기대된다.

연구 동기

본 논문의 주요 동기는 적절한 가정 하에서 완전한 C-E 대수(비선형화 버전)도 유사한 쌍대성을 만족하며, 이를 미분 등급 쌍가군의 Calabi-Yau 구조로 표현하는 것을 증명하는 것이다.

핵심 기여

주요 정리: 수평 치환 가능한 Legendrian 구의 C-E 대수가 (n+1)-Calabi-Yau 미분 등급 대수임을 증명했다 (정리 1.1).
Rabinowitz 쌍가군 구성: Legendrian의 Rabinowitz DG-쌍가군 버전을 도입하고, 2-복사 기법을 이용하여 핵심 쌍가군 사상을 구성했다.
유한 계수 반자유 분해: 대각 쌍가군 A가 유한 계수 반자유 분해를 인정함을 증명하여 A가 호몰로지 매끄러움을 보였다.
$A_\infty$ 구조: 순환 복합체 위에 $A_\infty$ 연산을 구성하고 Calabi-Yau 동형이 $A_\infty$ -함자 방정식을 만족하는 사상족으로 확장됨을 증명했다.
Hochschild 호몰로지 동형: C-E 대수의 Hochschild 호몰로지와 코호몰로지 사이의 동형을 확립했다.

방법론 상세 설명

작업 정의

수평 치환 가능한 n차원 Legendrian 구 Λ ⊂ Y의 C-E 대수 A가 Calabi-Yau 조건을 만족함을 증명: 준동형 $\text{CY}: A \xrightarrow{\sim} A^![−n−1]$ 이 존재하여 $\text{CY} \simeq \text{CY}^![−n−1]$ 를 만족하며, 여기서 $A^! = \text{RHom}_{A-A}(A, A \otimes A)$ 는 역 쌍대 쌍가군이다.

핵심 기술 경로

1. 2-복사 구성

Legendrian 구 Λ에 대해 2-복사 $Λ_0 \cup Λ_1$ 을 구성하며, 여기서 $Λ_1$ 은 $Λ_0 = Λ$ 의 작은 음의 이동
음의 Morse 함수 $f: Λ → \mathbb{R}$ 을 이용하여 두 개의 Morse 현을 생성: 최댓값에 대응하는 $x_{01}$ 과 최솟값에 대응하는 $y_{01}$

2. Rabinowitz DG-쌍가군

Rabinowitz 쌍가군 $\text{RFC}_{A-A}(Λ_0, Λ_1)$ 을 정의: $\text{RFC}_{A-A}(Λ_0, Λ_1) = C_+(Λ_0, Λ_1) \oplus C_-(Λ_0, Λ_1)$ 미분은 하삼각 행렬로 주어짐: $m_1 = \begin{pmatrix} Δ_1^{++} & 0 \\ b_1^{-+} & b_1^{--} \end{pmatrix}$

3. 핵심 쌍가군 구성

$\widetilde{C}_+(Λ_0, Λ_1) = C_+(Λ_0, Λ_1)[1] \oplus \langle x_{01} \rangle_{A-A}[1]$
$\widetilde{C}_-(Λ_0, Λ_1) = C^l_{A-A}(Λ_0, Λ_1) \oplus \langle y_{01} \rangle_{A-A}$

4. Calabi-Yau 사상

핵심 사상 $\text{CY}: \widetilde{C}_+(Λ_0, Λ_1) → \widetilde{C}_-(Λ_0, Λ_1)$ 을 정의: $\text{CY}(γ_{10}) = \sum_{β_{01} \in R^l(Λ_0,Λ_1) \cup \{y_{01}\}} \sum_{δ_0,δ_1} \#M^0_{Λ_{01}}(β_{01}; δ_0, γ_{10}, δ_1) \cdot δ_1 β_{01} δ_0$

기술적 혁신점

유한 차원 방법: Ganatra의 무한 차원 방법과 달리, 본 논문은 유한 차원의 의사 정칙 원판 계수를 사용하여 더 나은 계산 가능성을 제공한다.
2-복사 기법: Morse 함수로 구성된 2-복사를 교묘하게 활용하여 무한 차원 모듈라이 공간을 직접 다루는 어려움을 회피한다.
원뿔 복합체 표현: Rabinowitz 복합체를 두 쌍가군 사상의 원뿔로 표현하여 분석을 단순화한다.

실험 설정

이론적 검증

본 논문은 순수 수학 이론 작업으로, 다음 방식으로 결과를 검증한다:

준동형성 검증: 관련 복합체의 무환성을 증명하여 준동형을 확립
차원 공식: Conley-Zehnder 지표를 이용하여 모듈라이 공간 차원 계산
횡단성: 정칙 거의 복소 구조를 사용하여 횡단성 보장

명제 6.4: 사상 $F: \widetilde{C}_+(Λ_0,Λ_1)[−n−1] → A$ 는 준동형
명제 6.5: 사상 $G: \widetilde{C}_-(Λ_0,Λ_1) → \text{Hom}_{A-A}(\widetilde{C}_+(Λ_0,Λ_1)[−n−1], A \otimes A)$ 는 준동형
정리 7.1: Calabi-Yau 사상은 곱 구조를 보존
정리 7.2: $A_\infty$ 구조의 존재성

구체적 계산 예시

미지수 매듭의 경우:

$\widetilde{C}^{\text{cyc}}_+(Λ_0,Λ_1) = \langle a_{10}, x_{01} \rangle^{\text{cyc}}_{A-A}$
$\widetilde{C}^{\text{cyc}}_-(Λ_0,Λ_1) = \langle a_{01}, y_{01} \rangle^{\text{cyc}}_{A-A}$
Calabi-Yau 사상: $\text{CY}_1(a_{10}a^j) = y_{01}a^j$ , $\text{CY}_1(x_{01}a^j) = a_{01}a^j$