Quantization on filtered manifolds
Pith reviewed 2026-05-23 07:14 UTC · model grok-4.3
The pith
Filtered manifolds admit a pseudodifferential calculus defined by quantizing operator-valued symbols on osculating Lie groups.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The collection of operators on M coinciding locally with the quantization of symbols enjoys the essential properties of a pseudodifferential calculus: composition, adjoint, parametrices, continuity on adapted Sobolev spaces. Moreover, the polyhomogeneous subcalculus coincides with the calculus constructed by van Erp and Yuncken via groupoids.
What carries the argument
The local quantization formula associated to a local frame adapted to the filtration, which converts symbol fields σ(x, π) on the unitary dual of the osculating Lie group into operators on the manifold.
If this is right
- Operators obtained from the quantization admit parametrices inside the same class of operators.
- The operators are continuous on Sobolev spaces adapted to the filtration of the manifold.
- The adjoint of any such operator again belongs to the calculus.
- Composition of two operators in the calculus remains inside the calculus.
- For polyhomogeneous symbols the resulting operators match those obtained from the groupoid construction.
Where Pith is reading between the lines
- The calculus supplies a local-to-global bridge that lets analysts construct parametrices directly from filtered geometry without first passing through a groupoid model.
- It opens the possibility of defining global operators on compact filtered manifolds by patching local quantizations, provided the transition data satisfy cocycle conditions.
- The agreement on polyhomogeneous symbols suggests that further invariants, such as the principal symbol map, can be transferred between the quantization and groupoid pictures.
- The Sobolev continuity statements could be used to obtain regularity results for solutions of hypoelliptic equations whose symbols lie in the new classes.
Load-bearing premise
The filtered manifold admits local frames adapted to the filtration at every point, allowing the local quantization formula to be defined consistently.
What would settle it
A filtered manifold that lacks adapted local frames at some point, on which the proposed local quantization cannot be defined or the resulting operators fail to compose.
read the original abstract
In this article, we develop a pseudodifferential calculus on a general filtered manifold M . The symbols are fields of operators $\sigma$(x, $\pi$) parametrised by x $\in$ M and the unitary dual G x M of the osculating Lie group G x M . We define classes of symbols and a local quantization formula associated to a local frame adapted to the filtration. We prove that the collection of operators on M coinciding locally with the quantization of symbols enjoys the essential properties of a pseudodifferential calculus: composition, adjoint, parametrices, continuity on adapted Sobolev spaces. Moreover, we show that the polyhomogeneous subcalculus coincides with the calculus constructed by van Erp and Yuncken via groupoids.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs a pseudodifferential calculus on a general filtered manifold M. Symbols are fields of operators σ(x, π) parametrized by x ∈ M and the unitary dual of the osculating Lie group G_x. Local quantization is defined using frames adapted to the filtration. The authors prove that the resulting globally defined operators satisfy the standard calculus properties (composition, adjoint, parametrices, continuity on adapted Sobolev spaces) and that the polyhomogeneous subcalculus coincides with the van Erp–Yuncken groupoid calculus.
Significance. If the derivations hold, the work supplies a direct, quantization-based route to pseudodifferential operators on filtered manifolds that is independent of the groupoid construction yet recovers it in the polyhomogeneous case. This is a useful addition to the literature on analysis in sub-Riemannian and Carnot–Carathéodory settings, where such calculi are needed for hypoelliptic operators and index theory.
minor comments (4)
- [§2.3] §2.3: the statement that adapted frames exist at every point is asserted without an explicit local-coordinate construction or reference to the standard existence proof via the filtration definition; adding one sentence would improve readability.
- [Definition 3.4] Definition 3.4: the precise norm on the symbol space S^{m,ρ,δ} is given only after the quantization map; moving the norm definition before the quantization formula would clarify the dependence on the frame.
- [Theorem 4.7] Theorem 4.7 (parametrix construction): the remainder term is stated to be of lower order, but the precise order drop is not quantified in the statement; adding the explicit order would make the result easier to cite.
- [§5.2] §5.2: the comparison with van Erp–Yuncken is limited to the polyhomogeneous case; a brief remark on why the non-polyhomogeneous symbols do not necessarily coincide would be helpful.
Simulated Author's Rebuttal
We thank the referee for their supportive review of the manuscript, their accurate summary of the construction, and their recommendation for minor revision. No specific major comments were raised.
Circularity Check
No significant circularity; construction is self-contained
full rationale
The paper defines symbols as operator-valued fields on osculating groups and a local quantization map using adapted frames, then directly proves the calculus properties (composition, adjoint, parametrices, Sobolev continuity) from these definitions. The sole external reference is the coincidence result with the van Erp–Yuncken groupoid calculus, which is an independent consistency check on the polyhomogeneous subcalculus and does not support any central claim. No equation reduces a derived quantity to a fitted input by construction, no uniqueness theorem is imported from self-citations, and the local-to-global gluing follows standard partition-of-unity arguments on filtered manifolds. The derivation chain therefore contains no load-bearing circular steps.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Existence of local frames adapted to the filtration on the manifold M.
- domain assumption The osculating Lie group G_x M and its unitary dual are well-defined at each point x.
Forward citations
Cited by 1 Pith paper
-
Quantum ergodicity for contact metric structures
Proves quantum ergodicity for subLaplacians on contact metric manifolds with ergodic Reeb flow via adapted semiclassical calculus and microlocal projectors.
Reference graph
Works this paper leans on
-
[1]
Andrei Agrachev, Davide Barilari and Ugo Boscain. A Comprehensive Introduction to Sub-Riemannian Geometry, Cambridge Studies in Advanced Mathematics, 181, Cambridge Unive rsity Press, 2019
work page 2019
-
[2]
pseudodifferential operators and the Nash-Moser theorem
Serge Alinhac and Patrick G´ erard. pseudodifferential operators and the Nash-Moser theorem . Graduate Studies in Mathematics, 82. American Mathematical Society, Provid ence, RI, 2007
work page 2007
- [3]
-
[4]
Victor Arnaiz and Gabriel Rivi` ere. Quantum limits of perturbed s ub-Riemannian contact Laplacians in dimension 3, preprint arXiv:2306.10757
-
[5]
Hajer Bahouri, Clotilde Fermanian-Kammerer and Isabelle Gallaghe r, Phase-space analysis and pseu- dodifferential calculus on the Heisenberg group , Ast´ erisque342, 2012
work page 2012
-
[6]
Claude Bardos, Gilles Lebeau, and Jeff Rauch. Sharp sufficient con ditions for the observation, control, and stabilization of waves from the boundary. SIAM J. Control Optim. , 30:1024–1065, 1992
work page 1992
-
[7]
Richard Beals and Peter C. Greiner. Calculus on Heisenberg manifo lds, Annals of Mathematics Studies ,
-
[8]
Princeton University Press, Princeton, NJ, 1988
work page 1988
-
[9]
Minimal time issues for the observability of Grushin-type equations, Ann
Karine Beauchard, J´ er´ emi Dard´ e and Sulvain Ervedoza. Minimal time issues for the observability of Grushin-type equations, Ann. Inst. Fourier (Grenoble), 70(1):247–312, 2020
work page 2020
-
[10]
Andr´ e Bella ¨ ıche. The tangent space in sub-Riemannian geometry, in Sub-Riemannian Geometry, Andr´ e Bella ¨ ıche, Jean-Jacques Risler Edts., Birkaha¨ user Verlag, 1991
work page 1991
-
[11]
Time optimal observability for Grus hin Schr¨ odinger equation,Anal
Nicolas Burq and Chenmin Sun. Time optimal observability for Grus hin Schr¨ odinger equation,Anal. PDE, 15(6):1487–1530, 2022
work page 2022
-
[12]
Privileged coordinates and nilp otent approximation of Carnot mani- folds, I
Woocheol Choi, Rapha¨ el Ponge. Privileged coordinates and nilp otent approximation of Carnot mani- folds, I. General results Journal of Dynamical and Control Systems 25:109-157, 2019
work page 2019
-
[13]
Privileged coordinates and nilp otent approximation for Carnot mani- folds, II
Woocheol Choi, Rapha¨ el Ponge. Privileged coordinates and nilp otent approximation for Carnot mani- folds, II. Carnot coordinates Journal of Dynamical and Control Systems , 25:631-670, 2019
work page 2019
-
[14]
Ps eudodifferential operators on groups with dilations
Michael Christ, Daryl Geller, Pawel Glowacki, and Larry Polin. Ps eudodifferential operators on groups with dilations. Duke Math. J. , 68(1):31–65, 1992
work page 1992
-
[15]
Ergodicit´ e et fonctions propres du laplacien, Comm
Yves Colin de Verdi` ere. Ergodicit´ e et fonctions propres du laplacien, Comm. Math. Phys. 102(3):497-502, 1985
work page 1985
-
[16]
Yves Colin de Verdi` ere, Luc Hillairet and Emmanuel Tr´ elat. Spe ctral asymptotics for sub-Riemannian Laplacians, I: Quantum ergodicity and quantum limits in the 3-dimensio nal contact case. Duke Math. J., 167(1):109– 174, 2018
work page 2018
-
[17]
Yves Colin de Verdi` ere, Luc Hillairet and Emmanuel Tr´ elat. Small-time asymptotics of hypoelliptic heat kernels near the diagonal, nilpotentization and related results, Ann. H. Lebesgue , 4:897–971, 2021. 144
work page 2021
-
[18]
Propagation of well- prepared states along Martinet singular geodesics, J
Yves Colin de Verdi` ere and Cyril Letrouit. Propagation of well- prepared states along Martinet singular geodesics, J. Spectr. Theory 12(3):1235–1253, 2022
work page 2022
-
[19]
Alain Connes. Noncommutative geometry. Academic Press, Inc., San Diego, CA, 1994
work page 1994
-
[20]
Lawrence J. Corwin and Frederik P. Greenleaf. Representations of nilpotent Lie groups and their ap- plications. Part I, Cambridge Studies in Advanced Mathematics, 18, Cambridge University Press, Cambridge, 1990
work page 1990
-
[21]
Brian E. Davies. Spectral theory and differential operators. Cambridge Studies in Advanced Mathematics, Cambridge University Press, 42, 1995
work page 1995
-
[22]
Adiabatic groupoid, cross ed product by ∗ and pseudodifferential calculus Adv
Claire Debord and Georges Skandalis. Adiabatic groupoid, cross ed product by ∗ and pseudodifferential calculus Adv. Math., 257:66-91, 2014
work page 2014
-
[23]
Claire Debord and George Skandalis, Pseudodifferential extens ions and adiabatic deformation of smooth groupoid actions, J Bull. Sci. Math. , 139(7):750-776, 2015
work page 2015
-
[24]
Jacques Dixmier, C∗-algebras, Translated from the French by Francis Jellett, North-Holland Mat hemat- ical Library, 15, North-Holland Publishing Co., Amsterdam-New York -Oxford, 1977
work page 1977
-
[25]
Jacques Dixmier. von Neumann algebras , Translated from the second French edition by Francis Jellett, North-Holland Mathematical Library, 27, North-Holland Publishing C o., Amsterdam, 1981
work page 1981
-
[26]
The Heisenberg algebra, in dex theory and homology
Charles Epstein and Richard Melrose. The Heisenberg algebra, in dex theory and homology. Unpublished manuscript, available at weblink
-
[27]
Defect me asures on graded Lie groups, Ann
Clotilde Fermanian Kammerer and V´ eronique Fischer. Defect me asures on graded Lie groups, Ann. Sc. Norm. Super. Pisa. , 21(5):207-291, 2020
work page 2020
-
[28]
Semi-classical analysis on H-type groups, Science China, Mathematics , 62(6)1057-1086, 2019
Clotilde Fermanian Kammerer and V´ eronique Fischer. Semi-classical analysis on H-type groups, Science China, Mathematics , 62(6)1057-1086, 2019
work page 2019
-
[29]
Clotilde Fermanian Kammerer and V´ eronique Fischer. Quantum e volution and sub-laplacian operators on groups of Heisenberg type, Journal of Spectral Theory , 11(3):1313-1367, 2021
work page 2021
-
[30]
Clotilde Fermanian Kammerer, V´ eronique Fischer and Steven Fly nn. Geometric invariance of the semi- classical calculus on nilpotent graded Lie groups, The Journal of Geometric Analysis , 33(4), 2023
work page 2023
-
[31]
Clotilde Fermanian Kammerer, V´ eronique Fischer and Steven Fly nn. Some remarks on semi-classical analysis on two-step Nilmanifolds, in Quantum Mathematics I and II , INdAM Series, vol. 57 and 58
-
[32]
Clotilde Fermanian Kammerer and Cyril Letrouit. Observability an d controllability for the Schroedinger equation on quotients of groups of Heisenberg type, Journal de l’ ´Ecole Polytechnique, Math. , 8:1459- 1513, 2021
work page 2021
-
[33]
Semi-classical analysis, arXiv:2407.01998
Clotilde Fermanian Kammerer and J´ erˆ ome Le Rousseau. Semi-classical analysis, arXiv:2407.01998
- [34]
-
[35]
V´ eronique Fischer and Mickael Ruzhansky, Quantization on nilpotent Lie groups , Progress in Mathe- matics, 314, Birkh¨ auser Basel, 2016
work page 2016
-
[36]
Sobolev spaces on g raded Lie groups, Ann
V´ eronique Fischer and Michael Ruzansky. Sobolev spaces on g raded Lie groups, Ann. Inst. Fourier (Grenoble), 67(4):1671–1723, 2017
work page 2017
-
[37]
Subelliptic estimates and function spaces on nilpot ent Lie groups, Ark
Gerald Folland. Subelliptic estimates and function spaces on nilpot ent Lie groups, Ark. Mat., 13(2):161- 207, 1975
work page 1975
-
[38]
Applications of analysis on nilpotent groups to par tial differential equations
Gerald Folland. Applications of analysis on nilpotent groups to par tial differential equations. Bull. Amer. Math. Soc. , 83(5):912–930, 1977
work page 1977
-
[39]
Hardy spaces on homogeneous gro ups, Mathematical Notes, 28, Prince- ton University Press, 1982
Gerald Folland and Elias Stein. Hardy spaces on homogeneous gro ups, Mathematical Notes, 28, Prince- ton University Press, 1982
work page 1982
-
[40]
Patrick G´ erard. Microlocal defect measures. Commun. in PDE , 16(11):1761-1794, 1991
work page 1991
-
[41]
Bernard Helffer and Johannes Sj¨ ostrand. ´Equation de Schr¨ odinger avec champ magn´ etique et ´ equation de Harper, in Schr¨ odinger operators (Sønderborg, 1988), Lecture Notes in Phys. 345:118–197, Springer, Berlin, 1989. 145
work page 1988
-
[42]
An introduction to microlocal analysis
Peter Hintz. An introduction to microlocal analysis. Lecture no tes (weblink)
-
[43]
Hypoelliptic second order differential equat ions, Acta Math
Lars H¨ ormander. Hypoelliptic second order differential equat ions, Acta Math. , 119:147–171, 1967
work page 1967
-
[44]
Lars H¨ ormander.The Analysis of Linear Partial Differential Operators I-III, Springer Verlag (1983-85)
work page 1983
-
[45]
Minimum eigenvalues for positive Rockland operators
Andrzej Hulanicki, Joe Jenkins, Jean Ludwig. Minimum eigenvalues for positive Rockland operators. Proceedings of the American Mathematical Society , 94(4):718-720, 1985
work page 1985
- [46]
-
[47]
Subelliptic wave equations are never observable , Anal
Cyril Letrouit. Subelliptic wave equations are never observable , Anal. PDE 16(3):643–678, 2023
work page 2023
-
[48]
Lie filtrations and pseudodifferential operators
Anders Melin. Lie filtrations and pseudodifferential operators. Preprint, 1982
work page 1982
- [49]
-
[50]
Stein, and Stephen Wainger, Balls and me trics defined by vector fields
Alexander Nagel, Elias M. Stein, and Stephen Wainger, Balls and me trics defined by vector fields. I. Basic properties, Acta Math., 155(1-2):103-147, 1985
work page 1985
-
[51]
Lawrence W. Polin, Pseudodifferential operators on nilpotent Lie groups with d ilations, ProQuest LLC, Ann Arbor, MI, 1989; MR2638145
work page 1989
-
[52]
Rapha¨ el S. Ponge. Heisenberg calculus and spectral theory of hypoelliptic operators on Heisenberg manifolds. Mem. Amer. Math. Soc. , 194(906):viii+ 134, 2008
work page 2008
-
[53]
Gabriel Rivi` ere. Asymptotic regularity of sub-Riemannian eige nfunctions in dimension 3: the periodic case, preprint arXiv:2311.02990
-
[54]
Linda P. Rothschild and Elias M. Stein. Hypoelliptic differential oper ators and nilpotent groups. Acta Math., 137(34):247–320, 1976
work page 1976
-
[55]
Elias M. Stein, Harmonic analysis: real-variable methods, orthogonality , and oscillatory integrals , vol- ume 43 of Princeton Mathematical Series. Princeton University Pre ss, Princeton, NJ, 1993. With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III
work page 1993
-
[56]
Brian Street, Multi-parameter singular integrals , Annals of Mathematics Studies, 189, Princeton Uni- versity Press, Princeton, NJ, 2014
work page 2014
-
[57]
Brian Street, Maximal subellipticity , De Gruyter Studies in Mathematics, 93, 2023
work page 2023
-
[58]
Luc Tartar, H-measures, a new approach for studying homog enisation, oscillations and concentration effects in partial differential equations, Proc. Roy. Soc. Edinburgh , Sect. A, 115:193-230, 1990
work page 1990
-
[59]
Michael Taylor. Noncommutative harmonic analysis , Mathematical Surveys and Monographs, 22, Amer- ican Mathematical Society, Providence, RI, 1986
work page 1986
-
[60]
The Atiyah-Singer index formula for subelliptic oper ators on contact manifolds
Erik Van Erp. The Atiyah-Singer index formula for subelliptic oper ators on contact manifolds. Part I, Annals of Mathematics , 171: 1647–1681, 2010
work page 2010
-
[61]
On the tangent groupoid of a filtered manifold
Erik Van Erp and Robert Yuncken. On the tangent groupoid of a filtered manifold. Bull. of the L.M.S. 49 (6):1000-1012, 2017
work page 2017
-
[62]
A groupoid approach to pseu dodifferential operators
Erik Van Erp and Robert Yuncken. A groupoid approach to pseu dodifferential operators. Crelle’s Jour- nal, 759:151-182, 2019
work page 2019
-
[63]
Uniform distribution of eigenfunctions on compa ct hyperbolic surfaces, Duke Math
Steve Zelditch. Uniform distribution of eigenfunctions on compa ct hyperbolic surfaces, Duke Math. J. , 55(4):919-941, 1987
work page 1987
-
[64]
Maciej Zworski. Semiclassical analysis, Graduate Studies in Mathematics, 138, American Mathematical Society, Providence, RI, 2012. 146
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.