[Paper Review] A Ring-Theorist's Description of Fedosov Quantization

Daniel R. Farkas|ArXiv.org|Apr 11, 2000

Homotopy and Cohomology in Algebraic Topology7 references3 citations

TL;DR

This paper provides an algebraic, ring-theoretic reformulation of Fedosov's geometric construction of deformation quantization for symplectic manifolds. By interpreting the Fedosov connection and curvature via universal enveloping algebras, connections, and homological algebra over affine symplectic domains, the author establishes the existence of a formal deformation quantization (i.e., a star-product) for regular affine symplectic algebras over a field of characteristic zero.

ABSTRACT

We present a formal, algebraic treatment of Fedosov's argument that the coordinate algebra of a symplectic manifold has a deformation quantization. His remarkable formulas are established in the context of affine symplectic algebras.

Motivation & Objective

• To provide a purely algebraic, ring-theoretic description of Fedosov's geometric construction of deformation quantization.
• To establish the existence of a naive quantization (and thus a deformation quantization) for regular affine symplectic domains over a field of characteristic zero.
• To generalize Fedosov's method from differential geometry to the setting of commutative affine algebras with symplectic Poisson structures.
• To clarify the role of connections, curvature, and homotopy inverses in the algebraic context using Kähler differentials and universal enveloping algebras.
• To demonstrate that the key formulas of Fedosov can be derived algebraically via iterative constructions in a completed Weyl-type algebra.

Proposed method

• Construct the universal enveloping algebra $U$ of the Lie algebra $Ah \oplus \operatorname{Der} A$, where $h$ is central and $[X,Y] = h\omega(X,Y)$ for derivations $X,Y$.
• Define a connection $\nabla$ on $U$-valued differential forms, extending the exterior derivative $d$ via a graded connection on $\Omega$-complexes.
• Introduce a curvature operator $R \in W_2 \otimes \Omega^2$ and use the condition $\nabla^2 X = \frac{1}{h}[R,X]$ to relate curvature to the Poisson structure.
• Construct a formal connection $\nabla - \delta + \frac{1}{h} \operatorname{ad} \gamma$ via an iterative solution for $\gamma \in \overline{\sum}_{p \geq 3} W_p \otimes \Omega^1$.
• Use the Vanishing Theorem to show that the modified connection has square zero, implying the existence of a Fedosov connection.
• Leverage the isomorphism between the fixed ring of the derivation $D = \nabla - \delta + \frac{1}{h} \operatorname{ad} \gamma$ and the quantized algebra.

Experimental results

Research questions

• RQ1 Can Fedosov's geometric construction of deformation quantization be recast in purely algebraic terms for symplectic algebras?
• RQ2 Does every regular affine symplectic domain over a field of characteristic zero admit a formal deformation quantization?
• RQ3 How can the Fedosov connection and curvature be algebraically constructed using universal enveloping algebras and differential forms?
• RQ4 What is the role of the Poisson bracket in inducing a duality between derivations and Kähler differentials in the algebraic setting?
• RQ5 Can the key identity $\nabla^2 = \frac{1}{h}[R, \cdot]$ be generalized algebraically to define a flat connection in a completed Weyl algebra?

Key findings

• The paper proves that every regular affine symplectic domain over a field of characteristic zero admits a naive quantization, which is equivalent to a deformation quantization via a star-product.
• The existence of a Fedosov connection is established algebraically through an iterative construction of $\gamma \in \overline{\sum}_{p \geq 3} W_p \otimes \Omega^1$ satisfying $\nabla - \delta + \frac{1}{h} \operatorname{ad} \gamma$ having square zero.
• The curvature $R$ satisfies $\delta R = 0$ and $\nabla R = dT(R)$, which are essential for the consistency of the connection and the Vanishing Theorem.
• The central element $T(R)$ arises as the image of $R$ under the symmetrization map, and the condition $\beta = 0$ in the Vanishing Theorem confirms the flatness of the modified connection.
• The fixed ring of the derivation $D = \nabla - \delta + \frac{1}{h} \operatorname{ad} \gamma$ is isomorphic to the quantized algebra, providing the desired deformation quantization.
• The construction relies on a homotopy inverse relation between the differential complex and the module of Kähler differentials, generalizing the geometric duality to the algebraic setting.