Questions tagged [quantization]

Questions on various methods and aspects of quantization

Filter by
Sorted by
Tagged with
9
votes
1answer
230 views

What are Harish-Chandra bimodules used for?

There are many recent papers on classification of Harish-Chandra bimodules for rational Cherednik algebras and, more generally, non-commutative algebras which are quantizations of symplectic ...
6
votes
2answers
403 views

1-dimensional pure gauge theory

I am learning TQFT from compact Lie groups by Freed, Hopkins, Lurie, and Teleman: https://arxiv.org/abs/0905.0731 , and got stuck very hard even in the first section ($n = 1$), which was "trivial but ...
63
votes
10answers
9k views

The Planck constant for mathematicians

The questions Q1. What are simple ways to think mathematically about the physical meanings of the Planck constant? Q2. How does the Planck constant appear in mathematics of quantum mechanics? In ...
7
votes
1answer
336 views

Kontsevich Formality sign convention

Since my question is related to sign convention, I want to define everything from the very beginning. $T_{poly}^k(M)=\Gamma(\wedge^{k+1} TM)$ are the multi vector fields with shifted degree and with ...
1
vote
0answers
94 views

On different definitions of a prequantization space

Geometric quantization associates to a symplectic manifold $(M,\omega)$ a hermitian line bundle $L \to M$ with connection $\nabla$ whose curvature is $\omega$ (up to some constant). Without talking ...
9
votes
0answers
447 views

Yang-Mills theory with non-compact gauge groups G

Physicists are familiar working with Yang-Mills theory with compact and semi-simple gauge groups $G$ (Lie groups). However, it is not entirely clear the formulation of Yang-Mills theory with non-...
3
votes
1answer
105 views

Reference request for quantum Teichmuller space

I would like to ask for some detailed reference for quantum Teichmuller theory, better in a mathematical taste. I read a little bit on Kashaev's or Chekhov and Fock's, but find that I need to fill ...
7
votes
1answer
316 views

Physical intuition behind prequantization spaces

Given a symplectic manifold $(M,\omega)$ with integral symplectic form, that is $$\omega \in \text{Im}(H_2(M,\mathbb{Z}) \to H_2(M,\mathbb{R})),$$ one can form a so-called prequantization space, that ...
4
votes
0answers
294 views

Isn't the quantomorphism group really just the “WKB-quantomorphism” group?

Introduction In his second-most upvoted post, called "Why quantum mechanics?" (second only to his post on fibre bundles & gauge theory) in the physics SE community, Urs Schreiber, in the setting ...
6
votes
1answer
314 views

Fedosov vs. Kontsevich deformation quantization : a beginner survey

I'm a condensed matter physicist who tries to understand the details of deformation quantization. In my self-made training, I've found two huge pieces of work, namely Fedosov, B. V. (1994). "A ...
6
votes
1answer
2k views

What is the relation between BRST quantization and gauge fixing quantization

To quantize gauge field, one usually use gauge-fixing procedure and then plus ghost field, my question is what the relation between BRST quantization and gauge fixing quantization is? Because it seems ...
7
votes
0answers
126 views

Could we extend the star product on a Poisson manifold from its ring of smooth functions to its de Rham complex?

Let $M$ be a smooth manifold with a Poisson bracket $\{-,-\}$. Kontsevich proved that there exists a deformation quantization of $M$, i.e. let $C^{\infty}(M)[[\hbar]]=C^{\infty}(M)\otimes_{\mathbb{R}}\...
5
votes
1answer
230 views

Is there any work on quantization of distributions?

Let $G$ be a Lie group and consider the space $C_c^\infty(G)$ of compactly supported complex-valued smooth functions on $G$ and $D'(G) = (C_c^\infty(G))'$ the topological dual linear space of $C_c^\...
4
votes
0answers
148 views

Analogue of Kontsevich's formality theorem for quantization of Courant algebroids

In his 1997 preprint, M. Kontsevich proved the formality of the differential graded algebra controlling deformations of the associative and commutative algebra of functions on a manifold, seen as an ...
4
votes
0answers
124 views

Reference request: Prequantization of canonical transformations and Lie group action

Hello to MathoverFlow community I have some seemingly technical questions on applications of geometric quantisation to Lie group representation theory. We shall start by giving background definitions....
9
votes
0answers
504 views

From classical to quantum mechanics

Let ($X,\omega$) be a symplectic manifold (phase space of some physical system). Consider the algebra $\mathcal{C}^{\infty}(X,\mathbb{R})$ of smooth functions on $X$ and $[\omega]\in \textrm{H}^{2}_{\...
8
votes
1answer
390 views

Kontsevich weights in the complex algebraic setting

In Kontsevich's Deformation quantization of Poisson manifolds, he gives an explicit formula for the star product: $$ f \star g = fg + \sum_{n=1}^\infty \hbar^n \sum_{\Gamma \in G_n} w_\Gamma B_{\Gamma}...
2
votes
1answer
131 views

Rates of convergence for empirical quantization error

I'm looking for error rates of convergence for approximating a probability measure $P$ by a discrete probability with at most $k$ supporting points. The setup I'm looking at is the following. Let $X$...
5
votes
1answer
353 views

Geometric quantization of Teichmuller space

The quantizations of Teichmuller space I have seen are via special coordinates (e.g. the paper of Chekhov and Fock) or conformal blocks. Does one get an equivalent quantization by geometric ...
5
votes
0answers
248 views

Deformation quantization of Poisson bracket without star-product

Kontsevich's formality theorem implies in particular that star-products on a $C^\infty$-manifold $M$, $$f\star g = fg + \sum_{k\geq1} \hbar^k B_k(f,g),\qquad f,g\in C^\infty(M),$$ where $B_k$ are ...
9
votes
1answer
251 views

Geometric quantization: why are the prequantum operators self-adjoint?

I'm reading a bit about geometric quantization and, among the axioms of this construction, is one requiring that the operator $\hat f = -\textrm i \hbar \nabla _{X_f} + f$ associated to the classical ...
5
votes
0answers
137 views

Distinguishing the Duflo star product

$\newcommand{\g}{\mathfrak g}\newcommand{\h}{\hbar}$ For a finite dimensional Lie algebra $\g$, he Duflo isomorphism is a complicated algebra isomorphism between the $\g$-invariant part $S(\g)^\g$ of ...
4
votes
0answers
242 views

Quantization of $S^2$ as $C^*$-algebra?

The general context for the question - is belief that quantization of compact symplectic manifolds can be endowed with the structure of $C^*$-algebra (see MO230695). The particular question is about ...
8
votes
0answers
196 views

Existence/characterization/properties of $C^*$-algebras which “are” quantization of compact symplectic manifolds?

Understanding of "quantization" achieved much progress recent years, especially after Kontsevich breakthrough on deformation quantization, where he proved one-to-one correspondence between Poisson ...
13
votes
0answers
393 views

Squeezing physics out of formal deformation quantizations

I am reading various texts concerning the concept of "quantization". I am interested in quantization on Riemannian manifolds (as opposed to just on $\Bbb R ^n$); for absolute clarity, I am interested ...
33
votes
5answers
3k views

Does quantum mechanics ever really quantize classical mechanics?

I was curious about a physics question which I thought might be suitable for mathoverflow. I looked at the answer to this question, but it's not what I'm looking for. Basically, classical mechanics ...
3
votes
0answers
259 views

From symplectic manifold to Hilbert spaces [closed]

What could be a mathematical model of such physical wish? I'm looking for something sending a symplectic manifold $(M,\omega)$ to a Hilbert space $H_{M}$ with the following properties: 1- We should ...
6
votes
3answers
1k views

Ambidexterity and Quantization

Here the nlab says about Hopkins-Lurie's ambidexterity paper: "The discussion in the article is apparently motivated as part of what it takes to make precise the discussion of quantization in ...
3
votes
2answers
316 views

Hamiltonian group actions in the context of holomorphic line bundles

When studying Hamiltonian group actions, a very nice set up might be to take the following: Let $M$ be a compact Kähler manifold with (integral) Kähler form $\omega$, endowed with a Hamiltonian $G$ ...
3
votes
1answer
144 views

Reference of $\hbar$-differential operator from symplectic geometry perspective

I am reading Bates and Weinstein's book 'Lectures on the Geometry of Quantization'. In Chapter 6, they defined the $\hbar$-differential operator, and showed (Theorem 6.7) that the Lagrangian ...
5
votes
1answer
365 views

The function algebra $C^{\infty}(M\#N)$ of the connected sum of two spaces

Operations such as taking union or Cartesian products of spaces have direct analogues in term of algebra of functions on them (direct sum and tensor product, respectively), my question is: Is there ...
1
vote
2answers
252 views

Deformation quantization of a closed Riemann surface with genus >1

Quantization of of an elliptic curve can be done in different ways. In C^*-algebraic version, one can start with the C^*-algebra ...
8
votes
1answer
772 views

Why is geometric quantization (esp. Berezin-Toeplitz quantization) interesting for a symplectic geometer/topologist?

I know that many symplectic geometers are interested in quantization as well. From what I understood, quantization isn't expected to be used as a tool to answer symplectic questions (as in ...
5
votes
3answers
193 views

graded generalization of the Moyal–Weyl product

Has anyone written about the graded generalization of the Moyal–Weyl product/star product, that is, where the original algebra is already graded? Is it just a matter of signs?
3
votes
1answer
131 views

Equivalence of star products on two differents Poisson algebras?

Let $A$, $B$ be two commutative and associative $\mathbb k$-algebras and let $A_\hbar:=A[[\hbar]]$, $B_\hbar:=B[[\hbar]]$ be the corresponding ring of formal series. Of sense [Deformation theory and ...
1
vote
1answer
94 views

Projective volume form

Upon reading K. Costello's paper on Witten genus, I wonder when, on a smooth (quasi-)projective variety $X$, the canonical bundle $\omega_X$ admits a left $D$-module structure (other than the Calabi-...
1
vote
2answers
638 views

Quantization by cohomology

Ok, so I have heard some cool stuff here and there about how to Quantize Yang-Mills via cohomology, can anyone refer any texts in the literature that have shed some light on this, I mean I have some ...
2
votes
0answers
193 views

Fractional Derivatives [closed]

How far these Theories of "Fractional Derivatives" be rigorized ? I have few books and references on Fractional Differential Equations etc (mainly they stress on Applied Mathematics parts and similar ...
5
votes
1answer
237 views

Absent 2nd order terms in deformation quantization of Poisson manifolds

I am reading Kontsevich' famous paper on deformation quantization of Poisson manifolds. In section 1.4.2 on page 4 he gives the general formula for the star product associated to a Poisson structure ...
7
votes
1answer
491 views

Formal series convergence in deformation quantization and $C^*$-condition

A link between formal series convergence in deformation quantization (strict deformation quantization) and producing $C^*$-algebras instead of mere $*$-algebras (which $(\mathcal{C}^{\infty}(M)[[t]],\...
5
votes
2answers
456 views

Physical meaning of the integral cohomology condition in Souriau-Kostant pre-quantization?

The question is in the title. The form of the condition looks like the Bohr-Sommerfeld quantization formula of angular momentum, is there a link between the two formulas?
3
votes
0answers
315 views

Bohr topos and quantization

Bohrification is a natural way to construct a quantum "phase space" (with some nice insights on foundational problems like non-contextuality through Kochen-Specker etc). I was wondering, since we get ...
1
vote
1answer
216 views

choices of connection in prequantization

In the definition of pre-quantization of representation $f\to \hat{f}$, (here $\hat{f}$ is Hermitian operator)of $C^{\infty}(M)$ on $L^2(M,L,\mu)$ where $\mu$ is Hermitian form, suppose that there ...
3
votes
1answer
194 views

higher order Noether identities

Noether's second variational theorem gives a correspondence between symmetries of a Lagrangian and Noether identities, which are relations among the Euler–Lagrange equations. How about relations ...
6
votes
1answer
303 views

Does the vanishing of the Poisson bracket on $S(\mathfrak{g})^{\mathfrak{g}}$ inspire the disover of Duflo's isomorphism theorem?

For any finite dimensional Lie algebra $\mathfrak{g}$, we know that the universal enveloping algebra $U(\mathfrak{g})$ is a deformation of the symmetric algebra $S(\mathfrak{g})$. In fact let's define ...
14
votes
1answer
572 views

Reconciling two notions of geometric quantization.

Let $(M,\omega)$ be a compact symplectic manifold and $(L,\nabla)$ a prequantum line bundle. There are two schemes to quantize this data: Choose a polarization $P$ of $M$ and define the quantum ...
1
vote
0answers
405 views

D-modules as quantization of modules on cotangent bundle

If we have filtration on D-module compatible with some good filtration on differential operators sheaf then adjoint graded module is module over functions on cotangent bundle. So morally D-module is ...
8
votes
2answers
693 views

Is the quantum algebra unique (up to isomorphism) in deformation quantization ?

Consider a Poisson algebra A (i.e. commutative algebra with Poisson bracket). Let $\hat A$ be a deformation quantization of the algebra A. We know that construction of deformation quantization and ...
7
votes
7answers
1k views

Quantization of a classical system (e.g. the case of a billiard)

There have been already several questions asking for an introduction to quantum mechanics for a mathematician, but this one is slightly different, and more restrictive. I know (some) quantum ...
4
votes
2answers
253 views

On the definition of ‘smooth vectors’ in Rieffel's “Deformation Quantization for Actions of $ \mathbb{R}^{d} $”.

On the first page of Chapter 1 of Rieffel's Deformation Quantization for Actions of $ \mathbb{R}^{d} $, Rieffel defines a family of seminorms on the space $ A^{\infty} $ of smooth vectors of a Fréchet ...