Quantized Characteristic Classes

• Quantized characteristic classes are generalized invariants that extend classical Chern, Pontryagin, and Euler classes into quantum settings using power series, cyclic cocycles, or K-theory maps.
• They are computed through deformation quantization, Hopf-cyclic methods, noncommutative K-theory, and Floer theory, providing explicit measures of quantum corrections in geometry and topology.
• Their universal framework unifies diverse approaches, ensuring that quantum anomalies, curvature corrections, and index pairings are consistently represented across various mathematical disciplines.

Quantized characteristic classes are generalizations of classical characteristic classes—such as Chern, Pontryagin, and Euler classes—constructed in contexts where traditional topological, Poincaré duality, or commutative geometry frameworks are replaced by quantized, noncommutative, or deformation-theoretic structures. These invariants can take the form of power series, K-theory classes, Floer-theoretic elements, or cyclic cocycles, and are universally sensitive to quantum corrections and noncommutative phenomena. The theory has deep connections with deformation quantization, noncommutative geometry, Floer theory, and representation theory of quantum groups.

1. Deformation Quantization and the Universal Quantized Characteristic Class

In deformation quantization, quantized characteristic classes arise as universal power series (characteristic functions) associated to stable formality morphisms. Five initially distinct power series invariants—related to Duflo-type, curvature-type, chain-type, associator-type, and brane-type constructions—are defined via coefficients of specific graphs in the tangential (L-infinity) formality morphism, chain formality, Drinfeld associators, and two-brane quantization (Willwacher, 2012). Remarkably, Willwacher proves that these series are equal for all formality morphisms and Drinfeld associators: $$F(x) = \log\left(\frac{e^{x/2}-e^{-x/2}}{x}\right) = \sum_{k\ge1} \frac{B_{2k}}{2k(2k)!}x^{2k},$$ where $B_{2k}$ are Bernoulli numbers. This function governs:

• The Duflo isomorphism: distinguishing the deformation-quantized product from the Poincaré–Birkhoff–Witt star product.
• The twist in the Hochschild–Kostant–Rosenberg trace density map for Poisson manifolds.
• Anomaly and curvature terms in brane quantizations, specifically in open-closed and two-brane settings.

This series acts as a quantized universal characteristic class in deformation quantization, encoding the central quantum correction to classical characteristic classes (Willwacher, 2012).

2. Hopf-Cyclic and Noncommutative Characteristic Classes

Hopf-cyclic characteristic classes provide a quantized generalization of Chern–Weil theory for spaces modeled by Hopf algebras, particularly for the transverse index theory on foliations (Moscovici, 2014). Here, characteristic classes are cohomology classes in the Hopf-cyclic (b,B)-bicomplex associated with a Hopf algebra (e.g., $H_n$ for codimension $n$ foliations). The key features are:

• Explicit representatives—constructed via "quantum structure group" $H_n$—for analogues of the Godbillon–Vey, Euler–Chern, and Chern–Simons classes.
• Chern–Weil data, e.g., invariant polynomials on $\mathfrak{gl}_n$, are pushed through the van Est isomorphism into Hopf-cyclic cohomology.
• The Hopf-cyclic characteristic classes recover (quantize) Gelfand–Fuks classes, establishing their equivalence with classical characteristic classes of formal vector fields under quantization (Moscovici, 2014).

3. Quantized Characteristic Classes in Noncommutative K-Theory

In noncommutative geometry and quantum topology, quantized characteristic classes arise from explicit ring homomorphisms from the $K$-theory of quantum spaces to the algebra of dual numbers (D'Andrea et al., 13 Jan 2025). For compact quantum spheres (e.g., the Podleś sphere $S^2_q$ and the 4-sphere $S^4_q$ from quantum symplectic groups):

• K-theory satisfies $K_0 \cong \mathbb{Z}[t]/(t^2)$, where $B_{2k}$0, with $B_{2k}$1 representing the generator (instanton or monopole bundle).
• Quantized Chern numbers are defined via Fredholm-module index pairings $B_{2k}$2 on the algebra, yielding $B_{2k}$3 and $B_{2k}$4:

$B_{2k}$5

• Tensor product of bimodules and associated quantized characteristic classes reflect the analogues of cup products.

Explicit projections in matrix algebras over the quantum sphere's algebra yield associated quantized Chern numbers, with the vanishing of $B_{2k}$6 encoding the absence of higher-degree cohomology (D'Andrea et al., 13 Jan 2025).

4. Quantum Characteristic Classes in Floer Theory

Quantum characteristic classes in Floer theory are constructed as ring homomorphisms

$B_{2k}$7

where $B_{2k}$8 is a group (e.g., the based loop group $B_{2k}$9), $H_n$0 a Novikov ring, and $H_n$1 denotes quantum cohomology (Chow, 2021). Key aspects include:

• The morphism $H_n$2 (Savelyev–Seidel) is defined by Floer-theoretic counts of $H_n$3-holomorphic sections in Hamiltonian fibrations associated to cycles in $H_n$4.
• For $H_n$5 (coadjoint orbits), these classes detect critical Bott–Samelson cycles, encode min-max solutions for the Hofer length functional, and distinguish quantum corrections invisible to classical topology.
• Via Ma’u–Wehrheim–Woodward and Floer-theoretic spectral sequences, these classes are explicitly computable and relate to the quantum Schubert calculus and the Peterson–Woodward formula for quantum cohomology of flag manifolds (Chow, 2021).

5. Quantum Maslov Characteristic Classes

Quantum Maslov characteristic classes generalize the classical Maslov index to higher-dimensional cycles in the path spaces between Lagrangian branes, taking values in Floer homology (Savelyev, 10 Mar 2025). Distinguished features include:

• Invariants $H_n$6 are constructed by counting $H_n$7-holomorphic sections in Hamiltonian fibrations parameterized over $H_n$8.
• These invariants recover the Hu–Lalonde–Seidel map at $H_n$9, and for $n$0 they incorporate not only index but quantum (holomorphic curve) corrections.
• The theory yields rigidity phenomena in symplectic and Hofer geometry, with applications such as nontrivial Hofer 2-systole lower bounds for Lagrangian equators in $n$1 (Savelyev, 10 Mar 2025).
• A conjectured $n$2-functor structure would encode higher quantum characteristic classes within the Fukaya category framework.

6. Quantization of Classical Characteristic Classes in Other Settings

Quantized characteristic classes appear in several additional, highly structured contexts:

• Pseudodifferential Operator Bundles: For bundles with structure group equal to the invertible zeroth-order pseudodifferential operators, quantized characteristic classes arise from two inequivalent traces on the Lie algebra: the Wodzicki residue (yielding classes conjectured to vanish) and the leading symbol trace (yielding potentially nonzero "leading order" Chern classes in infinite-dimensional settings) (Larrain-Hubach et al., 2010).
• Equivariant Prequantization Bundles: The passage from topological characteristic classes $n$3 to equivariant prequantum line bundles over the space of connections is governed by quantized characteristic classes, via differential character theory and Chern–Simons forms. This yields explicit equivariant line bundles whose curvature realizes the transgressed characteristic class (Perez, 2017).
• Quantum Dilogarithm and Hall Algebra Quantization: In the context of cohomological Hall algebras (CoHA) and K-theoretic Hall algebras (KHA), equivariant Chern–Schwartz–MacPherson and motivic Chern classes of quiver orbits are quantized by embedding them into noncommutative Hall algebras, with identities—like quantum dilogarithm pentagon relations—manifesting as quantized characteristic class relations (Rimanyi, 2018).

7. Structural Synthesis and Universality

The various constructions—universal power series in deformation quantization, Fredholm-module K-theory pairings on quantum spaces, Floer-theoretic and A-infinity category classes, Hopf–cyclic cocycles, and quantized Hall algebra operations—admit unifying features:

• Quantized characteristic classes consistently encode quantum corrections to classical invariants, surviving in noncommutative, deformation, Floer-theoretic, or infinite-dimensional limits.
• These classes provide universal invariants: the same characteristic power series or K-theory ring structures arise independently across deformation quantization, quantum group and Hopf algebra settings, noncommutative topology, and symplectic Floer theory.
• Explicit formulas, such as the function $n$4 (Willwacher, 2012), ring homomorphisms $n$5 (D'Andrea et al., 13 Jan 2025), and commutator identities in quantized Hall algebras (Rimanyi, 2018), encode the quantized structure in concrete computational terms.

These universal properties and the systematic emergence of quantized characteristic classes across disparate quantum and geometric regimes attest to their fundamental role in modern geometry, topology, and mathematical physics.