Quantisation of derived Poisson structures

Basic Information

• Paper ID: 1708.00496
• Title: Quantisation of derived Poisson structures
• Author: J.P. Pridham
• Classification: math.AG (Algebraic Geometry), math.QA (Quantum Algebra)
• Submission Date: First submitted August 2017, latest version January 4, 2025
• Paper Link: https://arxiv.org/abs/1708.00496

Abstract

This paper proves that on derived Artin n-stacks with perfect cotangent complexes, every 0-shifted Poisson structure admits a curved $A_{\infty}$ deformation quantization; in particular, this applies to locally complete intersection (LCI) schemes, where DQ-algebra gerbe quantizations are provided. Unlike the Kontsevich-Tamarkin approach to quantization of smooth varieties, which relies on the invariance of the Hochschild complex under affine transformations, we exploit the observation that the Hochschild complex carries an involution, and the fact that deformations of this involution on the polyvector complex are essentially unique. We also establish analogous statements for deformation quantization in the $\mathcal{C}^{\infty}$ and analytic settings.

Research Background and Motivation

Problem Background

Deformation quantization is a central concept in mathematical physics, aiming to quantize classical Poisson geometric structures into non-commutative algebraic structures. Classically, this means finding an associative deformation $\star_\hbar$ of the function algebra $O_Y$ such that the classical limit $\hbar \to 0$ recovers the Poisson structure.

Limitations of Existing Approaches

1. Kontsevich-Tamarkin Method: For smooth varieties, relies on the invariance of the Hochschild complex under affine transformations, but this invariance does not exist in singular cases
2. Restriction to Smooth Cases: Existing theory primarily applies to smooth algebraic varieties, lacking treatment of singular schemes and more general derived stacks
3. Technical Difficulties: For derived Artin stacks, the functoriality of polyvectors and Hochschild complexes becomes subtle

Research Motivation

1. Resolve the long-standing problem posed by Toën in Toë2, Conjecture 5.3
2. Extend quantization theory to singular schemes and more general settings of derived stacks
3. Develop new technical approaches to handle situations lacking affine transformation invariance

Core Contributions

1. Main Theorem: Proves that every 0-shifted Poisson structure on derived Artin n-stacks with perfect cotangent complexes admits self-dual quantization
2. Technical Innovation: Exploits the involution property of the Hochschild complex rather than traditional affine transformation invariance
3. Uniqueness Results: Establishes essential uniqueness of involution deformations (Corollary 1.19)
4. Broad Applicability: Theory applies to algebraic, $\mathcal{C}^{\infty}$, and analytic settings
5. 1-Shifted Coisotropic Structures: Obtains quantization of 1-shifted coisotropic structures as a corollary

Methodology Details

Problem Setup

Given a derived Artin n-stack $X$ with perfect cotangent complex and a 0-shifted Poisson structure $\pi$ on it, construct the corresponding deformation quantization, namely a non-commutative algebra deformation $A_\hbar$ such that:

• $A_\hbar$ recovers $O_X$ as $\hbar \to 0$
• The Poisson bracket is given by $\{a,b\} = \lim_{\hbar \to 0} \frac{a \star_\hbar b - b \star_\hbar a}{\hbar}$

Core Technical Framework

1. Involution-Filtered Deformation Theory

Definitions 1.1-1.2: Introduce the concept of quasi-involution filtered complexes, where the filtration $W$ and involution $e$ satisfy $e$ acting on $\text{gr}^W_i V$ as multiplication by $(-1)^i$.

Key Lemma 1.6: The involution Rees functor provides an equivalence between involution-filtered vector spaces and flat $G_m$-equivariant $\mathbb{Q}[\hbar^2]$-modules.

2. Almost-Commutative Poisson Algebras

Definition 1.15: Define the $G_m$-equivariant dg operad $P^{ac}_k = \text{Com} \circ s^{1-k}\hbar^{-1}\text{Lie}$, where $\hbar$ has degree 0 and weight 1.

Proposition 1.18: For $P^{ac}_k$-algebras $B$ satisfying specific cotangent conditions, $\text{RDer}_{P^{ac}_k \otimes R, G_m}(B,M) \simeq 0$ for all Beck $B$-modules $M$ of weight $\geq 2$.

3. Involution on the Grothendieck-Teichmüller Group

Definitions 2.14-2.16: Utilize special elements $P$ in the Grothendieck-Teichmüller group $GT(\mathbb{Q})$ (mapping each generator to its inverse) to define the space of even 1-associators $\text{Levi}^P_{GT}$.

Proposition 2.18: Each even 1-associator $w \in \text{Levi}^P_{GT}$ induces a $C_2$-equivariant filtered quasi-isomorphism between $(Br, \tau)$ and $(P_2, \tau)$.

Proof Strategy for Main Theorem

Proof Strategy for Theorem 2.21:

1. Establish HKR Quasi-isomorphism: Prove $\text{gr}^{\tau^{HH}} D^{\text{poly}}_{\oplus}(A) \xrightarrow{\text{HKR}} \text{Pol}(A/R, 0)$
2. Apply Involution Theory: Utilize the uniqueness of Corollary 1.19 for $A$ satisfying perfect cotangent conditions
3. Functoriality: Establish naturality with respect to quasi-involution a.c. brace algebra morphisms

Treatment of Stack Case (Section 3):

For derived Artin stacks, additional technical difficulties must be addressed:

• Use stacky CDGAs and bicomplexes
• Introduce the Tate category $T^+_{R,\text{dg}}$ to handle infinite direct sums
• Establish intermediate category $UP^{ac}_k[\hbar^2]$ balancing functoriality with deformation requirements

Experimental Setup

Theoretical Verification

This paper is pure mathematical theory work without numerical experiments; rather, it verifies theoretical correctness through rigorous mathematical proofs.

Application Examples

1. LCI Schemes: Locally complete intersection schemes satisfy perfect cotangent complex conditions
2. Smooth Varieties: Recovers known Kontsevich quantization results
3. Quotient Stacks: Stacks of the form $[Y/G]$ when $Y$ carries Hamiltonian or quasi-Hamiltonian structures

Main Results

Core Theorem

Theorem 2.21: Let $A$ be a cofibrant R-CDGA (or $\mathcal{C}^{\infty}$-DGA or EFC-DGA) with perfect cotangent complex. Then there exists a natural quasi-isomorphism $D^{\text{poly}}_{\oplus}(A)[−1] \simeq \bigoplus_{p≥0} \text{RHom}_A(L\Omega^p_A, A)[p−1]$ as differential graded Lie algebras, compatible with the standard filtration and involution.

Global Corollary

Corollary 2.31: Given a derived DM n-stack $X$ with perfect cotangent complex, every Poisson structure admits a self-dual DQ-algebra gerbe deformation $A_\hbar$ satisfying $A_{-\hbar} \simeq A^{\text{opp}}_\hbar$.

Quantization of Artin Stacks

Corollary 3.38: Given a derived Artin n-stack $X$ with perfect cotangent complex, any even associator induces a map from the space of 0-shifted Poisson structures to the space of self-dual $E_1$ quantizations.

1-Shifted Coisotropic Structures

Corollary 3.41: When the source has perfect cotangent complex, 1-shifted coisotropic structures on morphisms admit deformation quantization, taking the form of $E_2$ quantizations of the target acting on $E_1$ quantizations of the source.

Related Work

Classical Quantization Theory

• Kontsevich Kon4: Existence of deformation quantization for Poisson manifolds
• Kontsevich-Yekutieli Kon3, Yek1: DQ-algebra gerbe quantization for smooth algebraic varieties
• Tamarkin Tam: Operadic proofs and $\mathcal{C}^{\infty}$ setting

Poisson Structures in Derived Geometry

• CPT+: Systematic theory of shifted Poisson structures
• MS2: Theory of derived coisotropic structures
• Pri3, Pri4: Author's previous work on Poisson structures on derived stacks

Technical Tools

• Grothendieck-Teichmüller Theory: Associator theory in Dri, BN
• Formality of Operads: Results on brace operads in MS1
• Hochschild Cohomology: Systematic study of involution structures

Conclusions and Discussion

Main Conclusions

1. Successfully extends deformation quantization theory to derived geometric objects with singularities
2. The involution method is more general and powerful than traditional affine invariance approaches
3. Theory unifies quantization in algebraic, $\mathcal{C}^{\infty}$, and analytic settings

Limitations

1. Perfect Cotangent Complex Assumption: This is a strong technical condition that excludes certain singular cases
2. Constructiveness: While existence is proven, no algorithm for explicitly constructing quantizations is provided
3. Computational Complexity: For concrete examples, actual computation of quantizations may be extremely difficult

Future Directions

1. Relaxing Technical Conditions: Seek methods to weaken the perfect cotangent complex assumption
2. Explicit Construction: Develop effective methods for computing concrete quantizations
3. Physical Applications: Explore applications in string theory and quantum field theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: Resolves fundamental problems in derived algebraic geometry with significant theoretical value
2. Technical Innovation: Introduction of the involution method represents an important technical breakthrough
3. Unification: Establishes a unified theoretical framework across multiple geometric settings
4. Completeness: Rigorous proofs covering the complete theory from foundational definitions to main applications

Weaknesses

1. Readability: Highly technical, requiring deep background in algebraic geometry and homotopy theory
2. Practicality: While theoretically profound, the results remain distant from concrete computations
3. Lack of Examples: Insufficient concrete examples to illustrate applications of the theory

Impact

1. Academic Impact: Makes important contributions to derived algebraic geometry and deformation quantization theory
2. Subsequent Research: Provides foundation for further research in related fields
3. Interdisciplinary Value: Connects algebraic geometry, mathematical physics, and homotopy theory

Applicable Scenarios

1. Theoretical Research: Theoretical research in derived algebraic geometry and deformation quantization
2. Mathematical Physics: Mathematical foundations of quantization problems
3. Algebraic Topology: Applications of operadic theory and homological algebra

References

The paper contains rich references spanning multiple fields including deformation quantization, derived algebraic geometry, and operadic theory, particularly foundational work by Kontsevich, Toën, Pantev, and others.