Quantization Commutes with Reduction for Embeddable CR Reductions
Abstract
We prove a canonical quantization-commutes-with-reduction theorem for CR functions. Under the geometric hypotheses of Hsiao--Ma--Marinescu, if the zero moment level is nonempty and the strictly pseudoconvex reduction is globally CR embeddable of real dimension at least three, the CR Guillemin--Sternberg map is a bounded isomorphism at every real Sobolev order. The central new step is an algebraic and complex-analytic elimination of its finite-dimensional Fredholm defect: multiplicativity removes the kernel, while the conductor of the smooth range, integral dependence, and holomorphic removability produce global lifts. Conductor nonvanishing follows from the reduced Szegő singularity; we also prove it using global CR peak functions. The map is an isomorphism of Fréchet algebras, the reduction is connected, and the corresponding maps for holomorphic line bundles positive near the zero level are isomorphisms in every nonnegative tensor degree. Invariant holomorphic sections vanish in every negative degree; when the reduced base has positive complex dimension, the section maps are isomorphisms in every integer degree.
Related
- The Coarse Novikov Conjecture for Finite Products of Fibred Coarsely Embeddable Spaces
- Proper classes of non-embeddable continua
- Smooth Quasi--Einstein Lifts of Locally Embeddable Three-Dimensional CR Manifolds
- There is an equivalence relation whose von Neumann algebra is not Connes embeddable
- Every Compact Metric Space Is Isometrically Embeddable into the Gromov-Hausdorff Space
BibTeX
@misc{hsiao2026quantization,
title = {{Quantization Commutes with Reduction for Embeddable CR Reductions}},
author = {Chin-Yu Hsiao and Rung-Tzung Huang and Xiaonan Ma and George Marinescu},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.05508},
eprint = {2610.05508},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.05508},
}
RIS
TY - UNPB
TI - Quantization Commutes with Reduction for Embeddable CR Reductions
AU - Chin-Yu Hsiao
AU - Rung-Tzung Huang
AU - Xiaonan Ma
AU - George Marinescu
PY - 2026
DA - 2026/10/04
PB - arXiv
DO - 10.48550/arxiv.2610.05508
UR - https://arxiv.org/abs/2610.05508
AB - We prove a canonical quantization-commutes-with-reduction theorem for CR functions. Under the geometric hypotheses of Hsiao--Ma--Marinescu, if the zero moment level is nonempty and the strictly pseudoconvex reduction is globally CR embeddable of real dimension at least three, the CR Guillemin--Sternberg map is a bounded isomorphism at every real Sobolev order. The central new step is an algebraic and complex-analytic elimination of its finite-dimensional Fredholm defect: multiplicativity removes the kernel, while the conductor of the smooth range, integral dependence, and holomorphic removability produce global lifts. Conductor nonvanishing follows from the reduced Szegő singularity; we also prove it using global CR peak functions. The map is an isomorphism of Fréchet algebras, the reduction is connected, and the corresponding maps for holomorphic line bundles positive near the zero level are isomorphisms in every nonnegative tensor degree. Invariant holomorphic sections vanish in every negative degree; when the reduced base has positive complex dimension, the section maps are isomorphisms in every integer degree.
ER -