Quantisation des structures de Poisson dérivées

Informations fondamentales

• ID de l'article: 1708.00496
• Titre: Quantisation des structures de Poisson dérivées
• Auteur: J.P. Pridham
• Classification: math.AG (géométrie algébrique), math.QA (algèbre quantique)
• Date de publication: Première soumission en août 2017, dernière version le 4 janvier 2025
• Lien de l'article: https://arxiv.org/abs/1708.00496

Résumé

Cet article démontre que sur les n-champs d'Artin dérivés possédant un complexe cotangent parfait, chaque structure de Poisson de décalage 0 admet une quantification de déformation courbe $A_{\infty}$; en particulier, ceci s'applique aux schémas d'intersection complète locale (ICL), pour lesquels on obtient une quantification en algébroïdes DQ. Contrairement à la méthode de quantification des variétés lisses de Kontsevich-Tamarkin qui repose sur l'invariance du complexe de Hochschild sous les transformations affines, nous exploitons l'observation que le complexe de Hochschild porte une involution, et le fait que la déformation d'involution de ce complexe de multivecteurs est essentiellement unique. Nous établissons également des énoncés analogues de quantification de déformation dans les cadres $\mathcal{C}^{\infty}$ et analytique.

Contexte et motivation de la recherche

Contexte du problème

La quantification de déformation est un concept central en physique mathématique, visant à quantifier les structures géométriques de Poisson classiques en structures algébriques non-commutatives. Classiquement, cela signifie chercher une déformation associative $\star_\hbar$ de l'algèbre de fonctions $O_Y$ telle que la limite classique $\hbar \to 0$ restaure la structure de Poisson.

Limitations des approches existantes

1. Méthode de Kontsevich-Tamarkin: Pour les variétés lisses, elle repose sur l'invariance du complexe de Hochschild sous les transformations affines, mais cette invariance n'existe pas dans les cas singuliers
2. Restriction au cas lisse: La théorie existante s'applique principalement aux variétés algébriques lisses, manquant de traitement pour les schémas singuliers et les champs dérivés plus généraux
3. Difficultés techniques: Pour les champs d'Artin dérivés, la fonctorialité des multivecteurs et du complexe de Hochschild devient subtile

Motivation de la recherche

1. Résoudre le problème de longue date soulevé par Toën dans Toë2, Conjecture 5.3
2. Étendre la théorie de quantification au cadre plus général des schémas singuliers et des champs dérivés
3. Développer de nouvelles approches techniques pour traiter les cas manquant d'invariance sous transformations affines

Contributions principales

1. Théorème principal: Démonstration que chaque structure de Poisson de décalage 0 sur un n-champ d'Artin dérivé possédant un complexe cotangent parfait admet une quantification auto-duale
2. Innovation technique: Exploitation de la propriété d'involution du complexe de Hochschild, plutôt que l'invariance traditionnelle sous transformations affines
3. Résultats d'unicité: Établissement de l'unicité essentielle de la déformation d'involution (Corollaire 1.19)
4. Applicabilité générale: La théorie s'applique aux cadres algébrique, $\mathcal{C}^{\infty}$ et analytique
5. Structures de Poisson de décalage 1: Obtention en corollaire de la quantification des structures de Poisson de décalage 1

Détails de la méthode

Formulation du problème

Étant donné un n-champ d'Artin dérivé $X$ possédant un complexe cotangent parfait et une structure de Poisson de décalage 0 $\pi$ sur celui-ci, construire la quantification de déformation correspondante, c'est-à-dire une déformation d'algèbre non-commutative $A_\hbar$ telle que:

• $A_\hbar$ restaure $O_X$ quand $\hbar \to 0$
• Le crochet de Poisson est donné par $\{a,b\} = \lim_{\hbar \to 0} \frac{a \star_\hbar b - b \star_\hbar a}{\hbar}$

Cadre technique fondamental

1. Théorie de déformation filtrée d'involution

Définitions 1.1-1.2: Introduction du concept de complexe filtré quasi-involutif, où la filtration $W$ et l'involution $e$ satisfont $e$ agissant comme multiplication par $(-1)^i$ sur $\text{gr}^W_i V$.

Lemme clé 1.6: Le foncteur de Rees d'involution établit une équivalence entre espaces vectoriels filtrés d'involution et modules $\mathbb{Q}[\hbar^2]$ plats et $G_m$-équivariants.

2. Algèbres de Poisson presque commutatives

Définition 1.15: Définition de l'opérade dg $G_m$-équivariante $P^{ac}_k = \text{Com} \circ s^{1-k}\hbar^{-1}\text{Lie}$, où $\hbar$ possède degré 0 et poids 1.

Proposition 1.18: Pour une algèbre $P^{ac}_k$ $B$ satisfaisant certaines conditions cotangentes, on a $\text{RDer}_{P^{ac}_k \otimes R, G_m}(B,M) \simeq 0$ pour tous les modules de Beck $B$ $M$ de poids $\geq 2$.

3. Involution du groupe de Grothendieck-Teichmüller

Définitions 2.14-2.16: Utilisation d'éléments spéciaux $P$ du groupe de Grothendieck-Teichmüller $GT(\mathbb{Q})$ (mappant chaque générateur à son inverse), définissant l'espace des 1-associateurs pairs $\text{Levi}^P_{GT}$.

Proposition 2.18: Chaque 1-associateur pair $w \in \text{Levi}^P_{GT}$ induit un quasi-isomorphisme filtré $C_2$-équivariant entre $(Br, \tau)$ et $(P_2, \tau)$.

Stratégie de preuve du théorème principal

Stratégie de preuve du Théorème 2.21:

1. Établissement du quasi-isomorphisme HKR: Preuve que $\text{gr}^{\tau^{HH}} D^{\text{poly}}_{\oplus}(A) \xrightarrow{\text{HKR}} \text{Pol}(A/R, 0)$
2. Application de la théorie d'involution: Utilisation de l'unicité du Corollaire 1.19, pour $A$ satisfaisant les conditions cotangentes parfaites
3. Fonctorialité: Établissement de la naturalité relative aux morphismes d'algèbres a.c. brace quasi-involutives

Traitement du cas des champs (Section 3):

Pour les champs d'Artin dérivés, il faut traiter des difficultés techniques supplémentaires:

• Utilisation de CDGA stacky et de bicomplexes
• Introduction de la catégorie de Tate $T^+_{R,\text{dg}}$ pour traiter les sommes directes infinies
• Établissement d'une catégorie intermédiaire $UP^{ac}_k[\hbar^2]$ équilibrant la fonctorialité et les besoins de déformation

Configuration expérimentale

Vérification théorique

Cet article est un travail mathématique pur ne comportant pas d'expériences numériques, mais plutôt une vérification de la correction de la théorie par des preuves mathématiques rigoureuses.

Exemples d'application

1. Schémas ICL: Les schémas d'intersection complète locale satisfont les conditions de complexe cotangent parfait
2. Variétés lisses: Récupération des résultats connus de quantification de Kontsevich
3. Champs quotients: Champs de la forme $[Y/G]$, quand $Y$ possède une structure hamiltonienne ou quasi-hamiltonienne

Résultats principaux

Théorème fondamental

Théorème 2.21: Soit $A$ une CDGA cofibrant $R$ (ou DGA $\mathcal{C}^{\infty}$ ou DGA EFC) possédant un complexe cotangent parfait, alors il existe un quasi-isomorphisme naturel $D^{\text{poly}}_{\oplus}(A)[−1] \simeq \bigoplus_{p≥0} \text{RHom}_A(L\Omega^p_A, A)[p−1]$ en tant qu'algèbres de Lie différentielles graduées, compatible avec la filtration standard et l'involution.

Corollaires globaux

Corollaire 2.31: Étant donné un n-champ DM dérivé $X$ possédant un complexe cotangent parfait, chaque structure de Poisson admet une déformation d'algébroïde DQ auto-duel $A_\hbar$, satisfaisant $A_{-\hbar} \simeq A^{\text{opp}}_\hbar$.

Quantification des champs d'Artin

Corollaire 3.38: Étant donné un n-champ d'Artin dérivé $X$ possédant un complexe cotangent parfait, tout associateur pair donne une application de l'espace des structures de Poisson de décalage 0 à l'espace des quantifications $E_1$ auto-duelles.

Structures de Poisson de décalage 1

Corollaire 3.41: Quand la source possède un complexe cotangent parfait, les structures de Poisson de décalage 1 sur les morphismes admettent une quantification de déformation, sous la forme d'une action de quantification $E_2$ de la cible sur la quantification $E_1$ de la source.

Travaux connexes

Théorie classique de quantification

• Kontsevich Kon4: Existence de quantifications de déformation pour les variétés de Poisson
• Kontsevich-Yekutieli Kon3, Yek1: Quantification en algébroïdes DQ pour les variétés algébriques lisses
• Tamarkin Tam: Preuves par opérades et cadre $\mathcal{C}^{\infty}$

Structures de Poisson en géométrie dérivée

• CPT+: Théorie systématique des structures de Poisson décalées
• MS2: Théorie des structures de Poisson dérivées
• Pri3, Pri4: Travaux antérieurs de l'auteur sur les structures de Poisson sur les champs dérivés

Outils techniques

• Théorie de Grothendieck-Teichmüller: Théorie des associateurs dans Dri, BN
• Formalité des opérades: Résultats sur les opérades brace dans MS1
• Cohomologie de Hochschild: Étude systématique des structures d'involution

Conclusion et discussion

Conclusions principales

1. Extension réussie de la théorie de quantification de déformation à des objets géométriques dérivés possédant des singularités
2. La méthode d'involution s'avère plus générale et puissante que la méthode traditionnelle d'invariance affine
3. La théorie unifie la quantification dans les cadres algébrique, $\mathcal{C}^{\infty}$ et analytique

Limitations

1. Hypothèse de complexe cotangent parfait: C'est une condition technique assez forte, excluant certains cas singuliers
2. Constructivité: Bien que l'existence soit démontrée, aucun algorithme n'est donné pour construire explicitement les quantifications
3. Complexité computationnelle: Pour des exemples concrets, le calcul effectif des quantifications peut être extrêmement difficile

Directions futures

1. Affaiblissement des conditions techniques: Recherche de méthodes pour affaiblir l'hypothèse de complexe cotangent parfait
2. Constructions explicites: Développement de méthodes efficaces pour calculer les quantifications concrètes
3. Applications physiques: Exploration des applications en théorie des cordes et théorie quantique des champs

Évaluation approfondie

Points forts

1. Profondeur théorique: Résolution d'un problème fondamental en géométrie algébrique dérivée, possédant une valeur théorique importante
2. Innovation technique: L'introduction de la méthode d'involution constitue une percée technique importante
3. Unification: Établissement d'un cadre théorique unifié dans plusieurs cadres géométriques
4. Complétude: Les preuves sont rigoureuses et couvrent la théorie complète des définitions fondamentales aux applications principales

Insuffisances

1. Lisibilité: Hautement technique, nécessitant une formation approfondie en géométrie algébrique et théorie de l'homotopie
2. Applicabilité pratique: Bien que les résultats théoriques soient profonds, il existe une distance jusqu'aux calculs concrets
3. Manque d'exemples: Absence d'un nombre suffisant d'exemples concrets pour illustrer les applications de la théorie

Impact

1. Impact académique: Contribution importante à la théorie de la géométrie algébrique dérivée et de la quantification de déformation
2. Recherches ultérieures: Pose les fondations pour des recherches ultérieures dans les domaines connexes
3. Valeur interdisciplinaire: Connexion entre la géométrie algébrique, la physique mathématique et la théorie de l'homotopie

Domaines d'application

1. Recherche théorique: Recherche théorique en géométrie algébrique dérivée et quantification de déformation
2. Physique mathématique: Fondements mathématiques des problèmes de quantification
3. Topologie algébrique: Applications de la théorie des opérades et de l'algèbre homotopique

Références

L'article contient une riche bibliographie couvrant plusieurs domaines incluant la quantification de déformation, la géométrie algébrique dérivée, la théorie des opérades, en particulier les travaux fondateurs de Kontsevich, Toën, Pantev et autres.