An introduction to sheaf quantization

Tatsuki Kuwagaki

2023-07-04

Abstract:The notion of sheaf quantization has many faces: an enhancement of the notion of constructible sheaves, the Betti counterpart of Fukaya--Floer theory, a topological realization of WKB-states in geometric quantization. The purpose of this note is to give an introduction to the subject.

Symplectic Geometry,Algebraic Geometry,Geometric Topology

What problem does this paper attempt to address?

Quantizable functions on Kähler manifolds and non-formal quantization

Kwokwai Chan,Naichung Conan Leung,Qin Li

DOI: https://doi.org/10.1016/j.aim.2023.109293

2023-08-28

Abstract:Applying the Fedosov connections constructed in our previous work, we find a (dense) subsheaf of smooth functions on a Kähler manifold $X$ which admits a non-formal deformation quantization. When $X$ is prequantizable and the Fedosov connection satisfies an integrality condition, we prove that this subsheaf of functions can be quantized to a sheaf of twisted differential operators (TDO), which is isomorphic to that associated to the prequantum line bundle. We also show that examples of such quantizable functions are given by images of quantum moment maps.

Quantum Algebra,Differential Geometry
Quantization, dequantization, and distinguished states

Eli Hawkins,Christoph Minz,Katarzyna Rejzner

DOI: https://doi.org/10.1088/1751-8121/ad7427

2024-08-29

Journal of Physics A Mathematical and Theoretical

Abstract:Geometric quantization is a natural way to construct quantum models starting from classical data. In this work, we start from a symplectic vector space with an inner product and — using techniques of geometric quantization — construct the quantum algebra and equip it with a distinguished state. We compare our result with the construction due to Sorkin — which starts from the same input data — and show that our distinguished state coincides with the Sorkin-Johnson state. Sorkin's construction was originally applied to the free scalar field over a causal set (locally finite, partially ordered set). Our perspective suggests a natural generalization to less linear examples, such as an interacting field.

physics, multidisciplinary, mathematical
"Quantization is a mystery"

Ivan Todorov

DOI: https://doi.org/10.48550/arXiv.1206.3116

2012-06-14

Abstract:Expository notes which combine a historical survey of the development of quantum physics with a review of selected mathematical topics in quantization theory (addressed to students that are not complete novices in quantum mechanics). After recalling in the introduction the early stages of the quantum revolution, and recapitulating in Sect. 2.1 some basic notions of symplectic geometry, we survey in Sect. 2.2 the so called prequantization thus preparing the ground for an outline of geometric quantization (Sect. 2.3). In Sect. 3 we apply the general theory to the study of basic examples of quantization of Kaehler manifolds. In Sect. 4 we review the Weyl and Wigner maps and the work of Groenewold and Moyal that laid the foundations of quantum mechanics in phase space, ending with a brief survey of the modern development of deformation quantization. Sect. 5 provides a review of second quantization and its mathematical interpretation. We point out that the treatment of (nonrelativistic) bound states requires going beyond the neat mathematical formalization of the concept of second quantization. An appendix is devoted to Pascual Jordan, the least known among the creators of quantum mechanics and the chief architect of the "theory of quantized matter waves".

Mathematical Physics,History and Overview,History and Philosophy of Physics
Examples of Berezin-Toeplitz Quantization: Finite sets and Unit Interval

J.P. Gazeau,T. Garidi,E. Huguet,M. Lachieze-Rey,J. Renaud

DOI: https://doi.org/10.48550/arXiv.quant-ph/0303090

2003-03-14

Abstract:We present a quantization scheme of an arbitrary measure space based on overcomplete families of states and generalizing the Klauder and the Berezin-Toeplitz approaches. This scheme could reveal itself as an efficient tool for quantizing physical systems for which more traditional methods like geometric quantization are uneasy to implement. The procedure is illustrated by (mostly two-dimensional) elementary examples in which the measure space is a $N$-element set and the unit interval. Spaces of states for the $N$-element set and the unit interval are the 2-dimensional euclidean $\R^2$ and hermitian $\C^2$ planes.

Quantum Physics
Quantization as a Categorical Equivalence

Benjamin H. Feintzeig

2024-01-16

Abstract:We demonstrate that, in certain cases, quantization and the classical limit provide functors that are "almost inverse" to each other. These functors map between categories of algebraic structures for classical and quantum physics, establishing a categorical equivalence.

Mathematical Physics,Quantum Physics
Sheaf quantization and intersection of rational Lagrangian immersions

Tomohiro Asano,Yuichi Ike

DOI: https://doi.org/10.5802/aif.3554

2023-07-20

Abstract:We study rational Lagrangian immersions in a cotangent bundle, based on the microlocal theory of sheaves. We construct a sheaf quantization of a rational Lagrangian immersion and investigate its properties in Tamarkin category. Using the sheaf quantization, we give an explicit bound for the displacement energy and a Betti/cup-length estimate for the number of the intersection points of the immersion and its Hamiltonian image by a purely sheaf-theoretic method.

Symplectic Geometry
A note on quantization of complex symplectic manifolds

Andrea D'Agnolo,Masaki Kashiwara

DOI: https://doi.org/10.48550/arXiv.1006.0306

2010-08-26

Abstract:To a complex symplectic manifold X we associate a canonical quantization algebroid. Our construction is similar to that of Polesello-Schapira's deformation-quantization algebroid, but the deformation parameter is no longer central. If X is compact, the triangulated category of regular holonomic quantization modules is a linear complex Calabi-Yau category of dimension 1 + dim X.

Algebraic Geometry,Quantum Algebra
Quantized Heisenberg Space

Hans Plesner Jakobsen,Hechun Zhang

DOI: https://doi.org/10.1023/A:1009937429349

2000-01-01

Algebras and Representation Theory

Abstract:We investigate the algebra F q ( N ) introduced by Faddeev, Reshetikhin and Takhadjian. In the case where q is a primitive root of unity, the degree, the center, and the set of irreducible representations are found. The Poisson structure is determined and the De Concini–Kac–Procesi Conjecture is proved for this case.
Schur Quantization and Complex Chern-Simons theory

Davide Gaiotto,Jörg Teschner

2024-06-15

Abstract:Any four-dimensional Supersymmetric Quantum Field Theory with eight supercharges can be associated to a certain complex symplectic manifold called the "K-theoretic Coulomb branch" of the theory. The collection of K-theoretic Coulomb branches include many complex phase spaces of great interest, including in particular the "character varieties" of complex flat connections on a Riemann surface. The SQFT definition endows K-theoretic Coulomb branches with a variety of canonical structures, including a deformation quantization. In this paper we introduce a canonical "Schur" quantization of K-theoretic Coulomb branches. It is defined by a variant of the Gelfand-Naimark-Segal construction, applied to protected Schur correlation functions of half-BPS line defects. Schur quantization produces an actual quantization of the complex phase space. As a concrete application, we apply this construction to character varieties in order to quantize Chern-Simons gauge theory with a complex gauge group. Other applications include the definition of a new quantum deformation of the Lorentz group, and the solution of certain spectral problems via dualities.

High Energy Physics - Theory,Quantum Algebra
Introduction to coherent quantization

Arnold Neumaier,Arash Ghaani Farashahi

DOI: https://doi.org/10.1007/s13324-022-00689-3

2022-06-18

Analysis and Mathematical Physics

Abstract:This paper studies coherent quantization, the way operators in the quantum space of a coherent space—defined in the recent book 'Coherent Quantum Mechanics' by the first author—can be studied in terms of objects defined directly on the coherent space. The results may be viewed as a generalization of geometric quantization, including the non-unitary case. Care has been taken to work with the weakest meaningful topology and to assume as little as possible about the spaces and groups involved. Unlike in geometric quantization, the groups are not assumed to be compact, locally compact, or finite-dimensional. This implies that the setting can be successfully applied to quantum field theory, where the groups involved satisfy none of these properties. The paper characterizes linear operators acting on the quantum space of a coherent space in terms of their coherent matrix elements. Coherent maps and associated symmetry groups for coherent spaces are introduced, and formulas are derived for the quantization of coherent maps. The importance of coherent maps for quantum mechanics is due to the fact that there is a quantization map that associates homomorphically with every coherent map a linear operator from the quantum space into itself. The quantization map generalizes the second quantization procedure for free classical fields to symmetry groups of general coherent spaces. Field quantization is obtained by specialization to Klauder spaces, whose quantum spaces are the bosonic Fock spaces. Implied by the new approach is a short, coordinate-free derivation of all basic properties of creation and annihilation operators in Fock spaces.

mathematics, applied
Categorical quantization on Kähler manifolds

YuTung Yau

2024-08-30

Abstract:Generalizing deformation quantizations with separation of variables of a Kähler manifold $M$, we adopt Fedosov's gluing argument to construct a category $\mathsf{DQ}$, enriched over sheaves of $\mathbb{C}[[\hbar]]$-modules on $M$, as a quantization of the category of Hermitian holomorphic vector bundles over $M$ with morphisms being smooth sections of hom-bundles. We then define quantizable morphisms among objects in $\mathsf{DQ}$, generalizing Chan-Leung-Li's notion [4] of quantizable functions. Upon evaluation of quantizable morphisms at $\hbar = \tfrac{\sqrt{-1}}{k}$, we obtain an enriched category $\mathsf{DQ}_{\operatorname{qu}, k}$. We show that, when $M$ is prequantizable, $\mathsf{DQ}_{\operatorname{qu}, k}$ is equivalent to the category $\mathsf{GQ}$ of holomorphic vector bundles over $M$ with morphisms being holomorphic differential operators, via a functor obtained from Bargmann-Fock actions.

Symplectic Geometry,Mathematical Physics,Differential Geometry
Quantization of symplectic fibrations and canonical metrics

Louis Ioos,Leonid Polterovich

2023-07-27

Abstract:We relate Berezin-Toeplitz quantization of higher rank vector bundles to quantum-classical hybrid systems and quantization in stages of symplectic fibrations. We apply this picture to the analysis and geometry of vector bundles, including the spectral gap of the Berezin transform and the convergence rate of Donaldson's iterations towards balanced metrics on stable vector bundles. We also establish refined estimates in the scalar case to compute the rate of Donaldson's iterations towards balanced metrics on Kähler manifolds with constant scalar curvature.

Differential Geometry,Mathematical Physics,Symplectic Geometry
On the invertibility of quantization functors

B. Enriquez,P. Etingof

DOI: https://doi.org/10.48550/arXiv.math/0306212

2003-06-13

Abstract:Certain quantization problems are equivalent to the construction of morphisms from "quantum" to "classical" props. Once such a morphism is constructed, Hensel's lemma shows that it is in fact an isomorphism. This gives a new, simple proof that any Etingof-Kazhdan quantization functor is an equivalence of categories between quantized universal enveloping (QUE) algebras and Lie bialgebras over a formal series ring (dequantization). We apply the same argument to construct dequantizations of formal solutions of the quantum Yang-Baxter equation and of quasitriangular QUE algebras. We also give structure results for the props involved in quantization of Lie bialgebras, which yield an associator-independent proof that the prop of QUE algebras is a flat deformation of the prop of co-Poisson universal enveloping algebras.

Quantum Algebra
Quantization and the Resolvent Algebra

Teun D. H. van Nuland

DOI: https://doi.org/10.1016/j.jfa.2019.02.022

2024-12-10

Abstract:We introduce a novel commutative C*-algebra $C_\mathcal{R}(X)$ of functions on a symplectic vector space $(X,\sigma)$ admitting a complex structure, along with a strict deformation quantization that maps a dense subalgebra of $C_\mathcal{R}(X)$ to the resolvent algebra introduced by Buchholz and Grundling [JFA, 2008]. The associated quantization map is a field-theoretical Weyl quantization compatible with the work of Binz, Honegger and Rieckers [AHPO, 2004]. We also define a Berezin-type quantization map on all of $C_\mathcal{R}(X)$, which continuously and injectively maps it onto a dense subset of the resolvent algebra. The commutative resolvent algebra $C_\mathcal{R}(X)$, generally defined on a real inner product space $X$, intimately depends on the finite dimensional subspaces of $X$. We thoroughly analyze the structure of this algebra in the finite dimensional case by giving a characterization of its elements and by computing its Gelfand spectrum.

Functional Analysis
Batalin–Vilkovisky Quantization and the Algebraic Index

Ryan E. Grady,Qin Li,Si Li

DOI: https://doi.org/10.1016/j.aim.2017.07.007

IF: 1.675

2017-01-01

Advances in Mathematics

Abstract:Into a geometric setting, we import the physical interpretation of index theorems via semi-classical analysis in topological quantum field theory. We develop a direct relationship between Fedosov's deformation quantization of a symplectic manifold X and the Batalin–Vilkovisky (BV) quantization of a one-dimensional sigma model with target X. This model is a quantum field theory of AKSZ type and is quantized rigorously using Costello's homotopic theory of effective renormalization. We show that Fedosov's Abelian connections on the Weyl bundle produce solutions to the effective quantum master equation. Moreover, BV integration produces a natural trace map on the deformation quantized algebra. This formulation allows us to exploit a (rigorous) localization argument in quantum field theory to deduce the algebraic index theorem via semi-classical analysis, i.e., one-loop Feynman diagram computations.
On Fukaya categories and prequantization bundles

Tatsuki Kuwagaki,Adrian Petr,Vivek Shende

2024-06-13

Abstract:We show: the Floer homology of (nonexact!) integral Lagrangians in an (nonexact!) integral symplectic manifold can be computed in terms of exact Lagrangians in an exact filling of the prequantization bundle. As a consequence, we deduce a comparison to microsheaves. Throughout we work over the Novikov ring.

Symplectic Geometry
Quantum $K$-invariants via Quot schemes I

Shubham Sinha,Ming Zhang

2024-06-18

Abstract:We study the virtual Euler characteristics of sheaves over Quot schemes of curves, establishing that these invariants fit into a topological quantum field theory (TQFT) valued in $\mathbb{Z}[[q]]$. Utilizing Quot scheme compactifications alongside the TQFT framework, we derive presentations of the small quantum $K$-ring of the Grassmannian. Our approach offers a new method for finding explicit formulas for quantum $K$-invariants.

Algebraic Geometry
A Microsoft Word Font for Anti-Matter

J. J. Reidy,L. N. Bolen,L. M. Cremaldi,T. J. Ray,D. A. Sanders,D. J. Summers

DOI: https://doi.org/10.48550/arXiv.hep-ex/0208028

2002-08-18

Abstract:One often wishes to quickly add a few overlined characters such as anti-B0 or anti-neutrino to a Microsoft Word document. Underlined characters are straightforward but overlined characters require equation editor which makes small picture files. The font here allows one to directly add overlined English and the most used overlined Greek characters to Microsoft Word documents on Apple Macintosh computers.

High Energy Physics - Experiment

An introduction to sheaf quantization

Quantizable functions on Kähler manifolds and non-formal quantization

Quantization, dequantization, and distinguished states

"Quantization is a mystery"

Examples of Berezin-Toeplitz Quantization: Finite sets and Unit Interval

Quantization as a Categorical Equivalence

Sheaf quantization and intersection of rational Lagrangian immersions

A note on quantization of complex symplectic manifolds

Quantized Heisenberg Space

Schur Quantization and Complex Chern-Simons theory

Introduction to coherent quantization

Categorical quantization on Kähler manifolds

Quantization of symplectic fibrations and canonical metrics

On the invertibility of quantization functors

Quantization and the Resolvent Algebra

Batalin–Vilkovisky Quantization and the Algebraic Index

On Fukaya categories and prequantization bundles

Quantum $K$-invariants via Quot schemes I

A Microsoft Word Font for Anti-Matter