Structure de Calabi-Yau sur l'algèbre de Chekanov-Eliashberg d'une sphère Legendrienne

Informations fondamentales

• ID de l'article: 2304.03014
• Titre: Calabi-Yau structure on the Chekanov-Eliashberg algebra of a Legendrian sphere
• Auteur: Noémie Legout
• Classification: math.SG (géométrie symplectique)
• Date de publication: 6 avril 2023 (soumission arXiv)
• Lien de l'article: https://arxiv.org/abs/2304.03014

Résumé

Cet article démontre que l'algèbre de Chekanov-Eliashberg d'une sphère Legendrienne n-dimensionnelle horizontalement déplaçable dans la contactification d'une variété de Liouville est une algèbre différentielle graduée (n+1)-Calabi-Yau. En particulier, cela implique l'existence d'une quasi-isomorphisme de DG-bimodules entre le bimodule diagonal et le bimodule dual inverse associé à l'algèbre de Chekanov-Eliashberg. Sur certaines versions cycliques de ces bimodules, qui sont les complexes de chaînes permettant de calculer l'homologie et la cohomologie de Hochschild de l'algèbre de Chekanov-Eliashberg, nous construisons des opérations $A_\infty$ et démontrons que l'isomorphisme de Calabi-Yau s'étend en une famille d'applications satisfaisant les équations de foncteur $A_\infty$.

Contexte et motivation de la recherche

Contexte du problème

1. Importance de l'algèbre de Chekanov-Eliashberg: L'algèbre de Chekanov-Eliashberg (algèbre C-E) est un invariant important des sous-variétés Legendriennes, une algèbre différentielle graduée engendrée par les cordes de Reeb, jouant un rôle central en topologie de contact.
2. Structures de dualité: Il est connu que la version linéarisée de l'algèbre C-E satisfait certaines dualités spécifiques, résultat d'abord démontré par Sabloff dans le cas des nœuds Legendriens, puis généralisé aux dimensions supérieures par Ekholm-Etnyre-Sabloff.
3. Attente d'une structure de Calabi-Yau: Basé sur les travaux de Ganatra dans sa thèse de doctorat, la catégorie de Fukaya enveloppante est une catégorie Calabi-Yau non-compacte, et cette catégorie est engendrée par des sphères Legendriennes, d'où l'attente que l'algèbre C-E possède également une structure de Calabi-Yau.

Motivation de la recherche

La motivation principale de cet article est de démontrer que, sous des hypothèses appropriées, l'algèbre C-E complète (version non-linéarisée) satisfait également une dualité similaire, et de l'exprimer comme une structure de Calabi-Yau de bimodules différentiels gradués.

Contributions essentielles

1. Théorème principal: Démonstration que l'algèbre C-E d'une sphère Legendrienne horizontalement déplaçable est une algèbre différentielle graduée (n+1)-Calabi-Yau (théorème 1.1).
2. Construction du bimodule de Rabinowitz: Introduction d'une version DG-bimodule de Rabinowitz pour les Legendriennes, utilisant la technique du 2-copy pour construire les applications bimodulaires clés.
3. Résolution semi-libre de rang fini: Démonstration que le bimodule diagonal A admet une résolution semi-libre de rang fini, d'où A est homologiquement lisse.
4. Structure $A_\infty$: Construction d'opérations $A_\infty$ sur les complexes cycliques et démonstration que l'isomorphisme de Calabi-Yau s'étend en une famille d'applications satisfaisant les équations de foncteur $A_\infty$.
5. Isomorphisme de l'homologie de Hochschild: Établissement d'un isomorphisme entre l'homologie et la cohomologie de Hochschild de l'algèbre C-E.

Détail des méthodes

Définition de la tâche

Démontrer que l'algèbre C-E A d'une sphère Legendrienne n-dimensionnelle horizontalement déplaçable Λ ⊂ Y satisfait la condition de Calabi-Yau : il existe une quasi-isomorphisme $\text{CY}: A \xrightarrow{\sim} A^![−n−1]$ telle que $\text{CY} \simeq \text{CY}^![−n−1]$, où $A^! = \text{RHom}_{A-A}(A, A \otimes A)$ est le bimodule dual inverse.

Chemin technique fondamental

1. Construction du 2-copy

• Construction d'un 2-copy $Λ_0 \cup Λ_1$ pour la sphère Legendrienne Λ, où $Λ_1$ est un petit décalage négatif de $Λ_0 = Λ$
• Utilisation d'une fonction de Morse négative $f: Λ → \mathbb{R}$, produisant deux cordes de Morse : $x_{01}$ correspondant au maximum et $y_{01}$ correspondant au minimum

2. DG-bimodule de Rabinowitz

Définition du bimodule de Rabinowitz $\text{RFC}_{A-A}(Λ_0, Λ_1)$ : $\text{RFC}_{A-A}(Λ_0, Λ_1) = C_+(Λ_0, Λ_1) \oplus C_-(Λ_0, Λ_1)$ où la différentielle est donnée par une matrice triangulaire inférieure : $m_1 = \begin{pmatrix} Δ_1^{++} & 0 \\ b_1^{-+} & b_1^{--} \end{pmatrix}$

3. Construction bimodulaire clé

• $\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. Application de Calabi-Yau

Définition de l'application clé $\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$

Points d'innovation technique

1. Approche de dimension finie: Contrairement à la méthode de dimension infinie de Ganatra, cet article utilise le comptage de disques pseudo-holomorphes de dimension finie, offrant une meilleure calculabilité.
2. Technique du 2-copy: Utilisation ingénieuse du 2-copy construit via une fonction de Morse pour éviter le traitement direct des espaces de modules de dimension infinie.
3. Description par complexe de cône: Représentation du complexe de Rabinowitz comme cône de deux applications bimodulaires, simplifiant l'analyse.

Configuration expérimentale

Vérification théorique

Cet article est un travail théorique de mathématiques pures, vérifié principalement par :

1. Vérification de quasi-isomorphisme: Établissement de quasi-isomorphismes par démonstration de l'acyclicité des complexes pertinents
2. Formules de dimension: Utilisation de l'indice de Conley-Zehnder pour calculer les dimensions des espaces de modules
3. Transversalité: Utilisation de structures presque complexes régulières pour assurer la transversalité

Exemples concrets

La section 8 de l'article calcule en détail le cas du nœud inconnu standard TB = -1, vérifiant l'exactitude de la théorie.

Résultats expérimentaux

Résultats principaux

Théorème 6.1 (Théorème principal)

L'algèbre de Chekanov-Eliashberg A(Λ) d'une sphère Legendrienne horizontalement déplaçable Λ ⊂ Y est une algèbre différentielle graduée (n+1)-Calabi-Yau.

Résultats intermédiaires clés

1. Proposition 6.4: L'application $F: \widetilde{C}_+(Λ_0,Λ_1)[−n−1] → A$ est une quasi-isomorphisme
2. Proposition 6.5: L'application $G: \widetilde{C}_-(Λ_0,Λ_1) → \text{Hom}_{A-A}(\widetilde{C}_+(Λ_0,Λ_1)[−n−1], A \otimes A)$ est une quasi-isomorphisme
3. Théorème 7.1: L'application de Calabi-Yau préserve la structure de produit
4. Théorème 7.2: Existence de la structure $A_\infty$

Exemples de calculs concrets

Pour le cas du nœud inconnu :

• $\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}$
• Application de Calabi-Yau : $\text{CY}_1(a_{10}a^j) = y_{01}a^j$, $\text{CY}_1(x_{01}a^j) = a_{01}a^j$

Travaux connexes

Développement historique

1. Théorie de l'algèbre C-E: Travaux fondateurs de Chekanov (2002) et Eliashberg (1998)
2. Théorie de la dualité: Dualité des nœuds Legendriens de Sabloff (2006), généralisation aux dimensions supérieures par Ekholm-Etnyre-Sabloff (2009)
3. Structure de Calabi-Yau: Théorie générale de Ginzburg, application à la catégorie de Fukaya enveloppante par Ganatra (2012)

Contribution de cet article

Cet article établit pour la première fois une structure de Calabi-Yau complète au niveau de l'algèbre C-E, comblant un vide théorique et fournissant une méthode calculable.

Conclusion et discussion

Conclusions principales

1. L'algèbre C-E d'une sphère Legendrienne horizontalement déplaçable possède une structure (n+1)-Calabi-Yau
2. Existence d'une résolution semi-libre de rang fini de A, démontrant la lissité homologique
3. Isomorphisme entre l'homologie et la cohomologie de Hochschild
4. Description complète de la structure $A_\infty$

Limitations

1. Hypothèse de déplaçabilité horizontale: Les résultats dépendent de l'hypothèse de déplaçabilité horizontale, limitant le champ d'application
2. Restriction aux sphères: Actuellement applicable uniquement aux sphères Legendriennes
3. Anneau de coefficients: Travail sur les coefficients $\mathbb{Z}_2$, pouvant potentiellement être généralisé

Directions futures

1. Généralisation à des sous-variétés Legendriennes plus générales
2. Relation avec la construction de Ganatra
3. Développement ultérieur des techniques de calcul
4. Applications à la symétrie miroir

Évaluation approfondie

Avantages

1. Complétude théorique: Fournit une démonstration complète de la structure de Calabi-Yau de l'algèbre C-E
2. Innovation méthodologique: La technique du 2-copy et la méthode de dimension finie sont originales
3. Calculabilité: Comparée à la méthode de dimension infinie, elle fournit un cadre de calcul plus pratique
4. Rigueur technique: Analyse détaillée des espaces de modules et arguments de transversalité

Insuffisances

1. Restrictions d'hypothèses: Les hypothèses de déplaçabilité horizontale et de sphère sont relativement fortes
2. Restriction de coefficients: Travail uniquement sur $\mathbb{Z}_2$
3. Applications limitées: Les applications concrètes nécessitent un développement ultérieur

Impact

1. Contribution théorique: Fournit de nouveaux outils théoriques pour la topologie de contact et la géométrie symplectique
2. Valeur méthodologique: La technique du 2-copy peut avoir des applications dans d'autres problèmes
3. Rôle de connexion: Établit des liens entre différentes branches des mathématiques

Domaines d'application

1. Recherche en théorie des nœuds Legendriens
2. Problèmes de dualité en topologie de contact
3. Recherche en symétrie miroir
4. Théorie de la catégorie de Fukaya

Références bibliographiques

L'article cite les références clés du domaine, notamment :

• Chekanov (2002), Eliashberg (1998): Travaux fondateurs de l'algèbre C-E
• Série de travaux d'Ekholm-Etnyre-Sabloff: Théorie de la cohomologie de contact Legendrienne
• Ganatra (2012): Structure de Calabi-Yau de la catégorie de Fukaya enveloppante
• Bourgeois-Chantraine (2014): Théorie de la bilinéarisation

Cet article est un travail d'importance théorique significative dans les domaines de la topologie de contact et de la géométrie symplectique, fournissant une nouvelle compréhension de la structure géométrique des invariants algébriques des sous-variétés Legendriennes.