Associative half-densities on symplectic groupoids and quantization

Abstract: In this paper, we study half-densities enhancing the multiplication map on a symplectic groupoid and which satisfy a suitable associativity condition. This is structurally motivated by the expected complete semiclassical-analytic approximation to a star product for the underlying Poisson manifold. We show the existence and classification of such associative half-densities, and further apply this theory to the understanding of semiclassical factors in Kontsevich's quantization formula. In the particular case of a linear Poisson structure, we recover the factors appearing in the Duflo isomorphism and its Kashiwara-Vergne extensions as a canonical associative enhancement.

• The paper introduces associative half-densities on symplectic groupoids and proves that canonical enhancements exist for every non-vanishing base half-density, while all others are classified by multiplicative 2-cocycles and differentiable cohomology.
• The paper shows that Kontsevich’s one-loop amplitude defines an enhancement equivalent to the canonical one, providing a structural explanation of semiclassical associativity beyond direct stationary-phase calculations.
• For linear Poisson structures, the paper proves equality with the canonical enhancement and identifies the resulting Jacobian with the Duflo factor, linking deformation quantization to BCH and Kashiwara–Vergne geometry.

This paper develops a theory of associative half-densities on symplectic groupoids and applies it to the semiclassical structure of Kontsevich's star product (2604.08201). The central object is an enhancement of the multiplication map of a symplectic groupoid $(G\rightrightarrows M,\omega)$ by a half-density $\sigma$ along $Gr(m)$, subject to an associativity condition expressed in the enhanced symplectic category of Guillemin–Sternberg and Meinrenken. The motivation is structural: while the zero-loop factor of Kontsevich's star product is known to be governed by an underlying (formal) symplectic groupoid, the one-loop factor $a_0^K$ had lacked a comparable geometric interpretation; this paper supplies one.

Motivation and setup

The paper situates itself within deformation quantization, where a star product $\star_\hbar$ on a Poisson manifold $(M,\pi)$ satisfies the axioms S1–S3 (correct classical limit, commutator reproducing the Poisson bracket to leading order, and associativity modulo $O(\hbar^\infty)$). Writing Kontsevich's formula in factored form,

$$(e^{i\xi_1}\star^K_\hbar e^{i\xi_2})(x) = \big(a^K_0 + \hbar\, a^K_1 + \cdots\big)\, e^{iS_K},$$

the phase $S_K$ is a sum over 0-loop Kontsevich graphs and is determined by a formal family of symplectic groupoids integrating $(M,\epsilon\pi)$, following earlier work of the first author and of Cattaneo–Dherin–Felder. The amplitude factor $\sigma$0 is a sum over 1-loop graphs. The guiding principle is that WKB states in semiclassical analysis are Lagrangian submanifolds equipped with half-densities, so the complete semiclassical approximation to $\sigma$1 should be a symplectic groupoid whose multiplication graph carries a half-density, with associativity of the star product corresponding to a composition law for enhanced canonical relations.

Definition and classification

An enhanced symplectic groupoid $\sigma$2 consists of a symplectic groupoid together with a half-density $\sigma$3 satisfying

$\sigma$4

where $\sigma$5 is the Liouville half-density and composition is that of enhanced canonical relations under transverse (or clean) composability. The main structural result is an existence and classification theorem: for any non-vanishing half-density $\sigma$6 on $\sigma$7, the canonical enhancement

$\sigma$8

defined via the short exact sequence $\sigma$9, always satisfies the associativity equation. Moreover, every non-vanishing associative enhancement is of the form $Gr(m)$0, where $Gr(m)$1 satisfies the multiplicative cocycle identity

$Gr(m)$2

Consequently, equivalence classes of non-vanishing enhancements modulo rescaling by functions $Gr(m)$3 (with $Gr(m)$4) are identified with the second differentiable cohomology group $Gr(m)$5; exponential-type enhancements modulo exp-equivalence correspond to $Gr(m)$6. This gives a geometric interpretation of these cohomology groups as classes of associative deformations of canonical enhancements. Via the van Est map, an exponential enhancement determines a class in $Gr(m)$7, which the authors interpret as a first-order deformation class of the underlying Poisson structure, though they leave the precise relation to the Kontsevich class of a quantizing star product to future work.

Two further general results round out the theory. First, if $Gr(m)$8 is non-vanishing at pairs of units and $Gr(m)$9 is source-connected, then $a_0^K$0 is non-vanishing everywhere — proved by a connectedness argument on source fibers using the cocycle identity. Second, any non-vanishing $a_0^K$1 induces a half-density $a_0^K$2 on $a_0^K$3 (via evaluation at unit pairs) which satisfies an enhanced identity axiom: composing $a_0^K$4 with $a_0^K$5 on either side recovers the identity morphism $a_0^K$6.

The examples show that non-uniqueness is genuine even in trivial situations. For $a_0^K$7, where $a_0^K$8 with fiberwise addition, exponential enhancements modulo equivalence are classified by bivectors on $a_0^K$9 through the van Est isomorphism, giving an infinite-dimensional space of inequivalent associative enhancements. For the pair groupoid of a symplectic manifold, exponential classes map to $\star_\hbar$0 when $\star_\hbar$1 is 2-connected, and non-canonical enhancements arise as semiclassical limits of Jacobian factors in integral quantization formulas.

Application to Kontsevich's one-loop factor

For a coordinate Poisson manifold $\star_\hbar$2, the paper uses the local symplectic groupoid $\star_\hbar$3 on $\star_\hbar$4 constructed from the flat Poisson spray, with generating function $\star_\hbar$5. A star product written as an oscillatory integral with phase built from $\star_\hbar$6 and amplitude $\star_\hbar$7 yields, via stationary phase, two identities: the symplectic groupoid associativity (SGA) equation for $\star_\hbar$8, and a determinant-weighted functional equation for $\star_\hbar$9. The data $(M,\pi)$0 define an enhanced canonical relation, and the induced enhancement $(M,\pi)$1 satisfies the associativity condition exactly when $(M,\pi)$2 satisfies its stationary-phase equation. In the parametrization $(M,\pi)$3 of composable arrows by $(M,\pi)$4, the canonical enhancement takes the explicit form

$(M,\pi)$5

so that $(M,\pi)$6, and the ratio $(M,\pi)$7 is a multiplicative 2-cocycle whenever $(M,\pi)$8 near the units.

The main theorem of this section states that the Kontsevich enhancement $(M,\pi)$9 is equivalent to the canonical enhancement $O(\hbar^\infty)$0 associated with $O(\hbar^\infty)$1. Concretely, there exists a formal 1-cochain $O(\hbar^\infty)$2 such that

$O(\hbar^\infty)$3

The proof rests on a perturbative triviality criterion: a normalized formal family of additive 2-cocycles $O(\hbar^\infty)$4 whose mixed second derivative $O(\hbar^\infty)$5 is symmetric to all orders must be exact. This criterion is established by a recursive argument combining the van Est isomorphism at $O(\hbar^\infty)$6 with a symmetry lemma. The required symmetry for both $O(\hbar^\infty)$7 and $O(\hbar^\infty)$8 is verified directly — for $O(\hbar^\infty)$9 it follows from the inversion symmetry $$(e^{i\xi_1}\star^K_\hbar e^{i\xi_2})(x) = \big(a^K_0 + \hbar\, a^K_1 + \cdots\big)\, e^{iS_K},$$0 inherited from $$(e^{i\xi_1}\star^K_\hbar e^{i\xi_2})(x) = \big(a^K_0 + \hbar\, a^K_1 + \cdots\big)\, e^{iS_K},$$1.

The implication is significant: the associativity of the 1-loop factor $$(e^{i\xi_1}\star^K_\hbar e^{i\xi_2})(x) = \big(a^K_0 + \hbar\, a^K_1 + \cdots\big)\, e^{iS_K},$$2 in Kontsevich's formula, previously verifiable only by direct computation against the stationary-phase equation, now follows structurally from the general existence theorem for canonical enhancements. The deformation class attached to $$(e^{i\xi_1}\star^K_\hbar e^{i\xi_2})(x) = \big(a^K_0 + \hbar\, a^K_1 + \cdots\big)\, e^{iS_K},$$3 is trivial, consistent with the fact that the underlying family of Poisson structures is simply $$(e^{i\xi_1}\star^K_\hbar e^{i\xi_2})(x) = \big(a^K_0 + \hbar\, a^K_1 + \cdots\big)\, e^{iS_K},$$4 itself. The authors note as a conjecture, suggested by the linear case below, that the leading $$(e^{i\xi_1}\star^K_\hbar e^{i\xi_2})(x) = \big(a^K_0 + \hbar\, a^K_1 + \cdots\big)\, e^{iS_K},$$5 terms of $$(e^{i\xi_1}\star^K_\hbar e^{i\xi_2})(x) = \big(a^K_0 + \hbar\, a^K_1 + \cdots\big)\, e^{iS_K},$$6 and $$(e^{i\xi_1}\star^K_\hbar e^{i\xi_2})(x) = \big(a^K_0 + \hbar\, a^K_1 + \cdots\big)\, e^{iS_K},$$7 coincide in general, which would force all corrections between them to be of higher order; they also indicate that a formal path-integral computation in the Poisson sigma model should identify $$(e^{i\xi_1}\star^K_\hbar e^{i\xi_2})(x) = \big(a^K_0 + \hbar\, a^K_1 + \cdots\big)\, e^{iS_K},$$8 with the Hessian square-root of the stationary phase formula, matching $$(e^{i\xi_1}\star^K_\hbar e^{i\xi_2})(x) = \big(a^K_0 + \hbar\, a^K_1 + \cdots\big)\, e^{iS_K},$$9 — but both points are deferred to subsequent work rather than proven here.

Linear Poisson structures and the Duflo factor

For $S_K$0 with linear Poisson structure, integrated by the cotangent-lift groupoid $S_K$1 (equivalently the coadjoint action groupoid), the paper proves the stronger statement $S_K$2 — equality, not merely equivalence. The proof is computational: evaluating $S_K$3 on the BCH local group using Maurer–Cartan determinant formulas gives

$S_K$4

with $S_K$5 the Haar-measure Jacobian; after cancellation of the $S_K$6-determinant factors, this equals $S_K$7, where

$S_K$8

is the Duflo factor. Within the family of star products $S_K$9 indexed by $(M,\epsilon\pi)$0 (containing the Gutt, Rieffel, and Kontsevich products), all enhancements are equivalent, but the Duflo choice $(M,\epsilon\pi)$1 is distinguished by the property that $(M,\epsilon\pi)$2 acts as ordinary multiplication on $(M,\epsilon\pi)$3-invariant polynomials. The result thus provides a purely semiclassical interpretation of the square-root Jacobian factor in the Duflo isomorphism and its Kashiwara–Vergne extensions: $(M,\epsilon\pi)$4 appears as the equivalence factor between the PBW-induced enhancement of the Gutt product and the canonical enhancement.

Line bundle valued enhancements

An appendix extends the framework to half-densities valued in a line bundle $(M,\epsilon\pi)$5, motivated by the Maslov line bundle in microlocal analysis. A line bundle is called associative if $(M,\epsilon\pi)$6 under the simplicial face maps, and the Maslov line $(M,\epsilon\pi)$7 over composable arrows of a local cotangent groupoid is shown to satisfy this condition together with triviality over unit pairs. Associative normalized line bundles need not be trivial globally, so $(M,\epsilon\pi)$8-valued enhancements can encode genuinely global information invisible to the germ-level scalar theory; the authors flag long-word associativity and quantization of compact symplectic manifolds as settings where this matters, again deferring development elsewhere.

Limitations and open questions

Several qualifications are stated explicitly in the paper. The classification of enhancements is up to the restricted equivalence of Definition 4 (rescaling by functions on $(M,\epsilon\pi)$9); the more general morphisms of enhanced symplectic groupoids are defined but not developed into a full category study. The conjecture that the $\sigma$00 parts of $\sigma$01 and $\sigma$02 agree for arbitrary coordinate Poisson manifolds remains unproven, resting on evidence from the linear case. The identification of the van Est class $\sigma$03 of an enhancement coming from a star product with the first correction term $\sigma$04 of the Kontsevich class is stated as expected, not established. Finally, the formal path-integral derivation of $\sigma$05 as a Hessian square-root in the Poisson sigma model, and the treatment of global (non-microlocal) phenomena via line-bundle-valued enhancements, are both left for future work.

Conclusion

The paper establishes that every symplectic groupoid admits canonical associative enhancements of its multiplication, classified by $\sigma$06, and uses this machinery to give a structural explanation of the semiclassical associativity of Kontsevich's one-loop factor: $\sigma$07 is equivalent to the canonical enhancement, and equal to it in the linear case, thereby interpreting the Duflo–Kashiwara–Vergne square-root Jacobians as instances of canonical half-density constructions. The result sharpens the division of labor in deformation quantization: 0-loop data are governed by symplectic groupoid geometry, and 1-loop amplitude data by the associative enhancement theory introduced here.