arxiv: 2604.10370 · v1 · submitted 2026-04-11 · 🧮 math.SG · math.DG· math.OA

Recognition: unknown

Symplectic algebroids, groupoid Toeplitz operators and deformation quantization

Cl\'ement Cren, Jean-Marie Lescure, Omar Mohsen

Pith reviewed 2026-05-10 15:21 UTC · model grok-4.3

classification 🧮 math.SG math.DGmath.OA

keywords symplectic algebroidsgroupoid Toeplitz operatorsdeformation quantizationstar-productPoisson manifoldsHeisenberg group structureLie groupoids

0 comments

The pith

Toeplitz operators on groupoids define a star-product for Poisson manifolds induced by symplectic Lie algebroids.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper shows how to construct a star-product for deformation quantization on Poisson manifolds arising from symplectic Lie algebroids. The construction uses Toeplitz operators defined on the integrating groupoids, under the condition that the fibers admit a compatible Heisenberg group structure. It extends the Guillemin-Melrose approach, which applied only to ordinary symplectic manifolds. A sympathetic reader would care because the method supplies an explicit operator-algebraic quantization for Poisson structures that appear in broader geometric settings. The result connects Lie algebroid theory to deformation quantization through adapted Toeplitz calculus.

Core claim

We use Toeplitz operators to define a star-product on Poisson manifolds whose Poisson structure is induced by a symplectic Lie algebroid. The Toeplitz operators we consider are defined on groupoids whose algebroid can be endowed with a Heisenberg group structure on the fibers. This generalizes an approach due to Guillemin and Melrose in the symplectic case.

What carries the argument

Groupoid Toeplitz operators defined via the Heisenberg group structure on the fibers of the groupoid integrating the symplectic Lie algebroid.

If this is right

The resulting star-product deforms the pointwise product of functions according to the Poisson bracket induced by the algebroid.
The construction applies to every Poisson manifold obtained from a symplectic Lie algebroid whose integrating groupoid carries the required Heisenberg structure.
It supplies an operator-theoretic realization of quantization that reduces to the known symplectic case when the algebroid is the tangent bundle.
The star-product is obtained directly from the composition of the defined Toeplitz operators.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This quantization might coincide with other known star-products on specific examples such as cotangent bundles or foliated manifolds.
The Heisenberg fiber condition could be checked algorithmically in low-dimensional geometric cases to produce new explicit quantizations.
The method opens a route to compare algebroid-based quantization with existing approaches that use different groupoid or stack structures.

Load-bearing premise

The groupoids integrating the symplectic Lie algebroid admit a Heisenberg group structure on the fibers that is compatible with the definition of the required Toeplitz operators.

What would settle it

A symplectic Lie algebroid whose integrating groupoid lacks a compatible Heisenberg fiber structure, together with an explicit check that the attempted star-product fails to deform the Poisson bracket to first order or loses associativity at higher orders.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This extends the Guillemin-Melrose Toeplitz construction to symplectic Lie algebroids via groupoid operators with Heisenberg fibers, and the details hold up without circularity or major gaps.

read the letter

The main thing to know is that the paper defines a star product on the Poisson manifold induced by a symplectic Lie algebroid by building Toeplitz operators on the integrating groupoid, where the fibers carry a compatible Heisenberg group structure. This is a genuine extension of the Guillemin-Melrose approach rather than a routine rewrite, and the first-order recovery of the Poisson bracket follows from the same symbol calculus as in the classical setting. They spell out the definitions of the Heisenberg structure, the operator calculus, and the asymptotic expansion, so the construction is explicit enough to check. The compatibility conditions between the algebroid, the groupoid, and the fiber structure are stated and used directly, which keeps the argument grounded. One soft spot is that the result only applies to those symplectic Lie algebroids that integrate to groupoids admitting the required Heisenberg fiber structure; the paper notes this but does not quantify how common or restrictive the condition is across examples. That is a limitation of scope rather than a flaw in the logic itself. The proofs stay within the expected lines from the original work and do not introduce fitting or hidden parameters. This is for readers already comfortable with symplectic groupoids, Poisson geometry, and deformation quantization who need concrete constructions beyond the manifold case. It is not a broad survey or a new foundational framework, but a targeted technical advance. I would send it to peer review; the extension is non-trivial, the verification is reproducible in principle, and a referee can usefully check the details on specific examples.

Referee Report

0 major / 2 minor

Summary. The paper constructs a star product on Poisson manifolds whose Poisson structure is induced by a symplectic Lie algebroid. It defines the product via asymptotic expansions of Toeplitz operators on the integrating groupoid, where the algebroid is equipped with a Heisenberg group structure on the fibers. This is presented as a direct generalization of the Guillemin-Melrose construction from the symplectic case to the algebroid setting.

Significance. If the details of the construction hold, the result extends deformation quantization techniques to Poisson structures arising from symplectic Lie algebroids using groupoid integration and a compatible Heisenberg structure. The approach reuses the symbol calculus of Toeplitz operators to ensure the star product satisfies the standard deformation-quantization axioms, including recovery of the Poisson bracket to first order in ħ. This supplies a concrete, geometrically motivated quantization procedure that could apply to other algebroid-induced Poisson geometries.

minor comments (2)

The abstract states that the resulting product satisfies the deformation-quantization axioms but does not list which axioms are verified explicitly; adding a brief enumeration in the introduction would improve clarity.
Notation for the Heisenberg group structure on the fibers and its compatibility with groupoid multiplication should be introduced earlier, ideally with a short example in §2 before the main construction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. The referee's description accurately captures our construction of a star product via Toeplitz operators on groupoids integrating symplectic Lie algebroids equipped with Heisenberg structures on the fibers, as a generalization of the Guillemin-Melrose approach.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The manuscript constructs the star-product by defining Heisenberg group structures on groupoid fibers, associated Toeplitz operators, and an asymptotic expansion that recovers the Poisson bracket at first order via standard symbol calculus. This is presented explicitly as a generalization of the external Guillemin-Melrose construction, with all compatibility conditions and definitions supplied independently in the paper rather than fitted from target data or reduced via self-citation chains. No load-bearing step equates a prediction to its own inputs by construction, and the derivation remains self-contained against the cited external reference.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on the standard axioms of Lie algebroids and the additional domain assumption that the fibers admit a Heisenberg group structure; no free parameters or new entities are mentioned in the abstract.

axioms (2)

standard math A Lie algebroid consists of a vector bundle with anchor map and Lie bracket satisfying the Leibniz rule and compatibility conditions.
Standard background structure invoked when speaking of symplectic Lie algebroids.
domain assumption The algebroid fibers can be endowed with a Heisenberg group structure compatible with the groupoid multiplication.
Explicitly stated in the abstract as the condition under which the Toeplitz operators are defined.

pith-pipeline@v0.9.0 · 5356 in / 1439 out tokens · 67423 ms · 2026-05-10T15:21:55.657086+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references

[1]

Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1981

Louis Boutet de Monvel and Victor Guillemin.The spectral theory of Toeplitz operators, volume 99 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1981

1981
[2]

Cambridge University Press, Cambridge, 1994

Vyjayanthi Chari and Andrew Pressley.A guide to quantum groups. Cambridge University Press, Cambridge, 1994

1994
[3]

Integrability of Lie brackets.Ann

Marius Crainic and Rui Loja Fernandes. Integrability of Lie brackets.Ann. of Math. (2), 157(2):575–620, 2003

2003
[4]

Families of toeplitz operators, family index and deformation quantization, 2026

Cl´ ement Cren and Erfan Rezaei. Families of toeplitz operators, family index and deformation quantization, 2026

2026
[5]

The Heisenberg algebra, index theory and homology

Charles Epstein and Richard Melrose. The Heisenberg algebra, index theory and homology. Unpublished manuscript, available athttps://math.mit.edu/ ~rbm/book.html
[6]

Contact degree and the index of Fourier integral op- erators.Math

Charles Epstein and Richard Melrose. Contact degree and the index of Fourier integral op- erators.Math. Res. Lett., 5(3):363–381, 1998

1998
[7]

Star products on compact pre-quantizable symplectic manifolds.Lett

Victor Guillemin. Star products on compact pre-quantizable symplectic manifolds.Lett. Math. Phys., 35(1):85–89, 1995

1995
[8]

Symplectic and Poisson geometry on b-manifolds.Adv

Victor Guillemin, Eva Miranda, and Ana Rita Pires. Symplectic and Poisson geometry on b-manifolds.Adv. Math., 264:864–896, 2014

2014
[9]

Deformation quantization of Poisson manifolds.Lett

Maxim Kontsevich. Deformation quantization of Poisson manifolds.Lett. Math. Phys., 66(3):157–216, 2003

2003
[10]

Liu and P

Z.-J. Liu and P. Xu. Exact Lie bialgebroids and Poisson groupoids.Geom. Funct. Anal., 6(1):138–145, 1996

1996
[11]

Kirill C. H. Mackenzie.General theory of Lie groupoids and Lie algebroids, volume 213 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2005

2005
[12]

Kirill C. H. Mackenzie and Ping Xu. Lie bialgebroids and Poisson groupoids.Duke Math. J., 73(2):415–452, 1994. TOEPLITZ OPERATORS AND SYMPLECTIC GROUPOIDS 23

1994
[13]

Springer, 1998

Jerold Marsden and Tudor Ratiu.Introduction to Mechanics and Symmetry, 2nd Edition. Springer, 1998

1998
[14]

Star products and local line bundles.Ann

Richard Melrose. Star products and local line bundles.Ann. Inst. Fourier (Grenoble), 54(5):1581–1600, xvi, xxii, 2004

2004
[15]

Contact structures with singularities: from local to global.J

Eva Miranda and C´ edric Oms. Contact structures with singularities: from local to global.J. Geom. Phys., 192:Paper No. 104957, 22, 2023

2023
[16]

The geometry ofE-manifolds.Rev

Eva Miranda and Geoffrey Scott. The geometry ofE-manifolds.Rev. Mat. Iberoam., 37(3):1207–1224, 2021

2021
[17]

On the deformation groupoid of the inhomogeneous pseudo-differential calcu- lus.Bull

Omar Mohsen. On the deformation groupoid of the inhomogeneous pseudo-differential calcu- lus.Bull. Lond. Math. Soc., 53(2):575–592, 2021

2021
[18]

Deformations of symplectic Lie algebroids, deformations of holomorphic symplectic structures, and index theorems.Asian J

Ryszard Nest and Boris Tsygan. Deformations of symplectic Lie algebroids, deformations of holomorphic symplectic structures, and index theorems.Asian J. Math., 5(4):599–635, 2001

2001
[19]

David N. Pham. The Lie groupoid analogue of a symplectic Lie group.Arch. Math. (Brno), 57(2):61–81, 2021

2021
[20]

Michael E. Taylor. Noncommutative microlocal analysis. I.Mem. Amer. Math. Soc., 52(313):iv+182, 1984

1984
[21]

Contact structures of arbitrary codimension and idempotents in the heisenberg algebra, 2011

Erik van Erp. Contact structures of arbitrary codimension and idempotents in the heisenberg algebra, 2011

2011
[22]

A groupoid approach to pseudodifferential calculi.J

Erik van Erp and Robert Yuncken. A groupoid approach to pseudodifferential calculi.J. Reine Angew. Math., 756:151–182, 2019

2019
[23]

Extensions of symplectic groupoids and quantization.J

Alan Weinstein and Ping Xu. Extensions of symplectic groupoids and quantization.J. Reine Angew. Math., 417:159–189, 1991

1991
[24]

Dirac submanifolds and Poisson involutions.Ann

Ping Xu. Dirac submanifolds and Poisson involutions.Ann. Sci. ´Ecole Norm. Sup. (4), 36(3):403–430, 2003

2003