In this chapter we discuss the following topics:
Example: Wick algebra of normal ordered product on Kähler vector space
Star-product on regular polynomial observables in field theory
In the previous chapters we had found the Peierls-Poisson bracket (theorem ) on the covariant phase space (prop. ) of a gauge fixed (def. ) free Lagrangian field theory (def. ).
This Poisson bracket (def. below) is a Lie bracket and hence reflects infinitesimal symmetries acting on the covariant phase space. Just as with the infinitesimal symmetries of the Lagrangian and the BRST-reduced field bundle (example ), we may hard-wire these Hamiltonian symmetries into the very geometry of the phase space by forming their homotopy quotient given by the corresponding Lie algebroid (def. ): here this is called the Poisson Lie algebroid. Its Lie integration to a finite (instead of infinitesimal) structure is called the symplectic groupoid. This is the original covariant phase space, but with its Hamiltonian flows hard-wired into its higher differential geometry (Bongers 14, section 4).
Where smooth functions on the plain covariant phase space form the commutative algebra of observables under their pointwise product (def. ), the smooth functions on this symplectic groupoid-refinement of the phase space are multiplied by the groupoid convolution product and as such become a non-commutative algebra of quantum observables. This passage from the commutative to the non-commutative algebra of observables is called quantization, here specifically geometric quantization of symplectic groupoids (Hawkins 04, Nuiten 13).
Instead of discussing this in generality, we here focus right away on the simple special case relevant for the quantization of gauge fixed free Lagrangian field theories in the next chapter.
After an informal motivation of geometric quantization from Lie theory below (for a self-contained introduction see Bongers 14), we first showcase geometric quantization by discussing how the archetypical example of quantum mechanics in the Schrödinger representation arises from the polarized action of the Poisson bracket Lie algebra (example below). With the concept of polarization thus motivated, we use this to find the polarized groupoid convolution algebra of the symplectic groupoid of a free theory (prop. below).
The result is the “Moyal-star product” (def. below). This is the exponentiation of the integral kernel of the Poisson bracket plus possibly a symmetric shift (prop. below); it turns out to be (example below) a formal deformation quantization of the original commutative pointwise product (def. below).
Below we spell out the (elementary) proofs of these statements for the case of phase spaces which are finite dimensional vector spaces. But these proofs manifestly depend only on elementary algebraic properties of polynomials and hence go through in more general contexts as long as these basic algebraic properties are retained.
In the context of free Lagrangian field theory the analogue of the formal power series algebras on a linear phase space is, a priori, the algebra of polynomial observables (def. ). These are effectively polynomials in the field observables (def. ) whose coefficients, however, are distributions of several variables. By microlocal analysis, such polynomial distributions do satisfy the usual algebraic properties of ordinary polynomials if potential UV-divergences (remark ) encoded in their wave front set (def. ) vanish, according to Hörmander's criterion (prop. ).
This criterion is always met on the subspace of regular polynomial observables and hence every propagator induces a star product on these (prop. below). In particular thus the star product of the causal propagator of a gauge fixed free Lagrangian field theory is a formal deformation quantization of its algebra of regular polynomial observables (cor. below). In order to extend this to local observables one may appeal to a certain quantization freedom (prop. below) and shift the causal propagator by a symmetric contribution, such that it becomes the Wightman propagator; this is the topic of the following chapters (remark at the end below).
In conclusion, for free gauge fixed Lagrangian field theory the product in the algebra of quantum observables is given by exponentiating propagators. It is the combinatorics of these exponentiated propagator expressions that yields the hallmark structures of perturbative quantum field theory, namely the combinatorics of Wick's lemma for the Wick algebra of free fields, and the combinatorics of Feynman diagrams for the time-ordered products. This is the topic of the following chapters Free quantum fields and Scattering. Here we conclude just with discussing the finite-dimensional toy version of the normal-ordered product in the Wick algebra (example below).
motivation from Lie theory
Quantization of course was and is motivated by experiment, hence by observation of the observable universe: it just so happens that quantum mechanics and quantum field theory correctly account for experimental observations where classical mechanics and classical field theory gives no answer or incorrect answers. A historically important example is the phenomenon called the “ultraviolet catastrophe”, a paradox predicted by classical statistical mechanics which is not observed in nature, and which is corrected by quantum mechanics.
But one may also ask, independently of experimental input, if there are good formal mathematical reasons and motivations to pass from classical mechanics to quantum mechanics. Could one have been led to quantum mechanics by just pondering the mathematical formalism of classical mechanics?
The following spells out an argument to this effect. It will work for readers with a background in modern mathematics, notably in Lie theory, and with an understanding of the formalization of classical/prequantum mechanics in terms of symplectic geometry.
So to briefly recall, a system of classical mechanics/prequantum mechanics is a phase space, formalized as a symplectic manifold . A symplectic manifold is in particular a Poisson manifold, which means that the algebra of functions on phase space , hence the algebra of classical observables, is canonically equipped with a compatible Lie bracket: the Poisson bracket. This Lie bracket is what controls dynamics in classical mechanics. For instance if is the function on phase space which is interpreted as assigning to each configuration of the system its energy – the Hamiltonian function – then the Poisson bracket with yields the infinitesimal time evolution of the system: the differential equation famous as Hamilton's equations.
Something to take notice of here is the infinitesimal nature of the Poisson bracket. Generally, whenever one has a Lie algebra , then it is to be regarded as the infinitesimal approximation to a globally defined object, the corresponding Lie group (or generally smooth group) . One also says that is a Lie integration of and that is the Lie differentiation of .
Therefore a natural question to ask is: Since the observables in classical mechanics form a Lie algebra under Poisson bracket, what then is the corresponding Lie group?
The answer to this is of course “well known” in the literature, in the sense that there are relevant monographs which state the answer. But, maybe surprisingly, the answer to this question is not (at time of this writing) a widely advertized fact that has found its way into the basic educational textbooks. The answer is that this Lie group which integrates the Poisson bracket is the “quantomorphism group”, an object that seamlessly leads to the quantum mechanics of the system.
Before we spell this out in more detail, we need a brief technical aside: of course Lie integration is not quite unique. There may be different global Lie group objects with the same Lie algebra.
The simplest example of this is already one of central importance for the issue of quantization, namely, the Lie integration of the abelian line Lie algebra . This has essentially two different Lie groups associated with it: the simply connected translation group, which is just itself again, equipped with its canonical additive abelian group structure, and the discrete quotient of this by the group of integers, which is the circle group
Notice that it is the discrete and hence “quantized” nature of the integers that makes the real line become a circle here. This is not entirely a coincidence of terminology, but can be traced back to the heart of what is “quantized” about quantum mechanics.
Namely, one finds that the Poisson bracket Lie algebra of the classical observables on phase space is (for a connected manifold) a Lie algebra extension of the Lie algebra of Hamiltonian vector fields on by the line Lie algebra:
This means that under Lie integration the Poisson bracket turns into an central extension of the group of Hamiltonian symplectomorphisms of . And either it is the fairly trivial non-compact extension by , or it is the interesting central extension by the circle group . For this non-trivial Lie integration to exist, needs to satisfy a quantization condition which says that it admits a prequantum line bundle. If so, then this -central extension of the group of Hamiltonian symplectomorphisms exists and is called… the quantomorphism group :
While important, for some reason this group is not very well known, which is striking because it contains a small subgroup which is famous in quantum mechanics: the Heisenberg group.
More precisely, whenever itself has a compatible group structure, notably if is just a symplectic vector space (regarded as a group under addition of vectors), then we may ask for the subgroup of the quantomorphism group which covers the (left) action of phase space on itself. This is the corresponding Heisenberg group , which in turn is a -central extension of the group itself:
At this point it is worth pausing for a second to note how the hallmark of quantum mechanics has appeared as if out of nowhere simply by applying Lie integration to the Lie algebraic structures in classical mechanics:
if we think of Lie integrating to the interesting circle group instead of to the uninteresting translation group , then the name of its canonical basis element is canonically “”, the imaginary unit. Therefore one often writes the above central extension instead as follows:
in order to amplify this. But now consider the simple special case where is the 2-dimensional symplectic vector space which is for instance the phase space of the particle propagating on the line. Then a canonical set of generators for the corresponding Poisson bracket Lie algebra consists of the linear functions and of classical mechanics textbook fame, together with the constant function. Under the above Lie theoretic identification, this constant function is the canonical basis element of , hence purely Lie theoretically it is to be called “”.
With this notation then the Poisson bracket, written in the form that makes its Lie integration manifest, indeed reads
Since the choice of basis element of is arbitrary, we may rescale here the by any non-vanishing real number without changing this statement. If we write “” for this element, then the Poisson bracket instead reads
This is of course the hallmark equation for quantum physics, if we interpret here indeed as Planck's constant. We see it arises here merely by considering the non-trivial (the interesting, the non-simply connected) Lie integration of the Poisson bracket.
This is only the beginning of the story of quantization, naturally understood and indeed “derived” from applying Lie theory to classical mechanics. From here the story continues. It is called the story of geometric quantization. We close this motivation section here by some brief outlook.
The quantomorphism group which is the non-trivial Lie integration of the Poisson bracket is naturally constructed as follows: given the symplectic form , it is natural to ask if it is the curvature 2-form of a -principal connection on complex line bundle over (this is directly analogous to Dirac charge quantization when instead of a symplectic form on phase space we consider the the field strength 2-form of electromagnetism on spacetime). If so, such a connection is called a prequantum line bundle of the phase space . The quantomorphism group is simply the automorphism group of the prequantum line bundle, covering diffeomorphisms of the phase space (the Hamiltonian symplectomorphisms mentioned above).
As such, the quantomorphism group naturally acts on the space of sections of . Such a section is like a wavefunction, except that it depends on all of phase space, instead of just on the “canonical coordinates”. For purely abstract mathematical reasons (which we won’t discuss here, but see at motivic quantization for more) it is indeed natural to choose a “polarization” of phase space into canonical coordinates and canonical momenta and consider only those sections of the prequantum line bundle which depend only on the former. These are the actual wavefunctions of quantum mechanics, hence the quantum states. And the subgroup of the quantomorphism group which preserves these polarized sections is the group of exponentiated quantum observables. For instance in the simple case mentioned before where is the 2-dimensional symplectic vector space, this is the Heisenberg group with its famous action by multiplication and differentiation operators on the space of complex-valued functions on the real line.
We had seen that every Lagrangian field theory induces a presymplectic current (def. ) on the jet bundle of its field bundle in terms of which there is a concept of Hamiltonian differential forms and Hamiltonian vector fields on the jet bundle (def. ). The concept of quantization is induced by this local phase space-structure.
In order to disentangle the core concept of quantization from the technicalities involved in fully fledged field theory, we now first discuss the finite dimensional situation.
(Schrödinger representation via geometric quantization)
Consider the Cartesian space (def. ) with canonical coordinate functions denoted and to be called the canonical coordinate and its canonical momentum (as in example ) and equipped with the constant differential 2-form given in in (?) by
This is closed in that , and invertible in that the contraction of tangent vector fields into it (def. ) is an isomorphism to differential 1-forms, and as such it is a symplectic form.
A choice of presymplectic potential for this symplectic form is
in that . (Other choices are possible, notably ).
For
a smooth function (an observable), we say that a Hamiltonian vector field for it (as in def. ) is a tangent vector field (example ) whose contraction (def. ) into the symplectic form (1) is the de Rham differential of :
Consider the foliation of this phase space by constant--slices
These are also called the leaves of a real polarization of the phase space.
(Other choices of polarization are possible, notably the constant -slices.)
We says that a smooth function
is polarized if its covariant derivative with connection on a bundle along the leaves vanishes; which for the choice of polarization in (4) means that
which in turn, for the choice of presymplectic potential in (2), means that
The solutions to this differential equation are of the form
for any smooth function, now called a wave function.
This establishes a linear isomorphism between polarized smooth functions and wave functions.
By (3) we have the Hamiltonian vector fields
The corresponding Poisson bracket is
The action of the corresponding quantum operators and on the polarized functions (5) is as follows
and
Hence under the identification (5) we have
This is called the Schrödinger representation of the canonical commutation relation (6).
Let be a finite dimensional vector space and let be an element of the tensor product (not necessarily skew symmetric at the moment).
We may canonically regard as a smooth manifold, in which case is canonically regarded as a constant rank-2 tensor. As such it has a canonical action by forming derivatives on the tensor product of the space of smooth functions:
If is a linear basis for , identified, as before, with a basis for , then in this basis this operation reads
where denotes the partial derivative of the smooth function along the th coordinate, and where we use the Einstein summation convention.
For emphasis we write
for the pointwise product of smooth functions.
(star product induced by constant rank-2 tensor)
Given as above, then the star product induced by on the formal power series algebra in a formal variable (“Planck's constant”) with coefficients in the smooth functions on is the linear map
given by
Hence
(star product degenerating to pointwise product)
If in def. , then the star product is the plain pointwise product of functions.
If the tensor in def. is skew-symmetric, it may be regarded as a constant Poisson tensor on the smooth manifold . In this case is called a Moyal star product and the star-product algebra is called the Moyal deformation quantization of the Poisson manifold .
(star product is associative and unital)
Given as above, then the star product from def. is associative and unital with unit the constant function .
Hence the vector space equipped with the star product is a unital associative algebra.
Observe that the product rule of differentiation says that
Using this we compute as follows:
In the last line we used that the ordinary pointwise product of functions is associative, and wrote for the unique pointwise product of three functions.
The last expression above is manifestly independent of the choice of order of the arguments in the triple star product, and hence it is clear that an analogous computation yields
(shift by symmetric contribution is isomorphism of star products)
Let be a vector space, a rank-2 tensor and a symmetric rank-2 tensor.
Then the linear map
constitutes an isomorphism of star product algebras (prop. ) of the form
hence identifying the star product induced from with that induced from .
In particular every star product algebra is isomorphic to a Moyal star product algebra (example ) with the skew-symmetric part of , this isomorphism being exhibited by the symmetric part .
We need to show that
hence that
To this end, observe that the product rule of differentiation applied twice in a row implies that
Using this we compute
Moyal star product as deformation quantization
(super-Poisson algebra)
A super-Poisson algebra is
a supercommutative algebra (here: over the real numbers)
to be called the Poisson bracket
such that
is a super Lie bracket on , hence it
is graded skew-symmetric;
satisfies the super-Jacobi identity;
for each of homogeneous degree, the operation
is a graded derivation on of the same degree as .
(formal deformation quantization)
Let be a super-Poisson algebra (def. ). Then a formal deformation quantization of is
the structure of an associative algebra on the formal power series algebra over in a variable to be called , hence an associative and unital product
such that for all of homogeneous degree we have
meaning that
to zeroth order in the star product coincides with the given commutative product on ,
to first order in the graded commutator of the star product coincides with the given Poisson bracket on .
(Moyal star product is formal deformation quantization)
Let be a Poisson vector space, hence a vector space , equipped with a skew-symmetric tensor .
Then with regarded as a smooth manifold, the algebra of smooth functions (def. ) becomes a Poisson algebra (def. ) with Poisson bracket given by
Moreover, for every symmetric tensor , the Moyal star product associated with
is a formal deformation quantization (def. ) of this Poisson algebra-structure.
Moyal star product via geometric quantization of symplectic groupoid
(integral representation of star product)
If skew-symmetric and invertible, in that there exists with , and if the functions admit Fourier analysis (are functions with rapidly decreasing partial derivatives), then their star product (def. ) is equivalently given by the following integral expression:
(Baker 58)
We compute as follows:
Here in the first step we expressed and both by their Fourier transform (inserting the Fourier expression of the delta distribution from this example) and used that under this transformation the partial derivative turns into the product with (this prop.). Then we identified again the Fourier-expansion of a delta distribution and finally we applied the change of integration variables and then evaluated the delta distribution.
Next we express this as the groupoid convolution product of polarized sections of the symplectic groupoid. To this end, we first need the following definnition:
(symplectic groupoid of symplectic vector space)
Assume that is the inverse of a symplectic form on . Then the Cartesian product
inherits the symplectic structure
given by
The pair groupoid on equipped with this symplectic form on its space of morphisms is a symplectic groupoid.
A choice of potential form for , hence with , is given by
Choosing the real polarization spanned by a polarized section is function such that
hence
(polarized symplectic groupoid convolution product of symplectic vector space is given by Moyal star product)
Given a symplectic vector space , then the groupoid convolution product on polarized sections (7) on its symplectic groupoid (def. ), given by convolution product followed by averaging (integration) over the polarization fiber, is given by the star product (def. ) for the corresponding Poisson tensor , in that
(Weinstein 91, p. 446, Garcia-Bondia & Varilly 94, section V, Hawkins 06, example6.2)
We compute as follows:
The first line just unwinds the definition of polarized sections from def. , the following lines each implement a change of integration variables and finally in the last line we used prop. .
Example: Wick algebra of normal ordered products on Kähler vector space
An Kähler vector space is a real vector space equipped with a linear complex structure as well as two bilinear forms such that the following equivalent conditions hold:
and ;
with regarded as a smooth manifold and with regarded as constant tensors, then is an almost Kähler manifold.
(standard Kähler vector spaces)
Let equipped with the complex structure which is given by the canonical identification , hence, in terms of the canonical linear basis of , this is
Moreover let
and
Then is a Kähler vector space (def. ).
The corresponding Kähler manifold is regarded as a smooth manifold in the standard way and equipped with the bilinear forms extended as constant rank-2 tensors over this manifold.
If we write
for the standard coordinate functions on with
and
for the corresponding complex coordinates, then this translates to
being the differential 2-form given by
and with Riemannian metric tensor given by
The Hermitian form is given by
(for more see at Kähler vector space this example).
(Wick algebra of a Kähler vector space)
Let be a Kähler vector space (def. ). Then its Wick algebra is the formal power series vector space equipped with the star product (def. ) which is given by the bilinear form
hence:
(e.g. Collini 16, def. 1)
(star product algebra of Kähler vector space is star-algebra)
Under complex conjugation the star product of a Kähler vector space structure (def. ) is a star algebra in that for all we have
This follows directly from that fact that in the imaginary part coincides with the skew-symmetric part, so that
(Wick algebra of a single mode)
Let be the standard Kähler vector space according to example , with canonical coordinates denoted and . We discuss its Wick algebra according to def. and show that this reproduces the traditional definition of products of “normal ordered” operators as above.
To that end, consider the complex linear combination of the coordinates to the canonical complex coordinates
which we use in the form
(with “” the traditional symbol for the amplitude of a field mode).
Now
so that with
we get
Using this, we find the star product
to be as follows (where we write for the plain commutative product in the formal power series algebra):
and so forth, for instance
If we instead indicate the commutative pointwise product by colons and the star product by plain juxtaposition
then this reads
This is the way the Wick algebra with its operator product and normal-ordered product is traditionally presented.
star products on regular polynomial observables in field theory
(star products on regular polynomial observables induced from propagators)
Let be a free Lagrangian field theory with field bundle , and let be a distribution of two variables on field histories.
On the off-shell regular polynomial observables with a formal paramater adjoined consider the bilinear map
given as in def. , but with partial derivatives replaced by functional derivatives
As in prop. this defines a unital and associative algebra structure.
If the Euler-Lagrange equations of motion induced by the Lagrangian density are Green hyperbolic differential equations and if is a homogeneous propagator for these differential equations in that , then this star product algebra descends to the on-shell regular polynomial observables
The proof of prop. goes through verbatim in the present case, as long as all products of distributions that appear when the propagator is multiplied with the coefficients of the polynomial observables are well-defined, in that Hörmander's criterion (prop. ) on the wave front sets (def. ) of the propagator and of these coefficients is met. But the definition the coefficients of regular polynomial observables are non-singular distributions, whose wave front set is necessarily empty (example ), so that their product of distributions is always well-defined.
(quantization of regular polynomial observables of gauge fixed free Lagrangian field theory)
Consider a gauge fixed (def. ) free Lagrangian field theory (def. ) with BV-BRST-extended field bundle (remark )
and with causal propagator (?)
Then the star product (def. ) is well-defined on off-shell (as well as on-shell) regular polynomial observables (def. )
and the resulting non-commutative algebra structure
is a formal deformation quantization (def. ) of the Peierls-Poisson bracket on the covariant phase space (theorem ), restricted to regular polynomial observables.
(Dito 90, Dütsch-Fredenhagen 00 Dütsch-Fredenhagen 01, Hirshfeld-Henselder 02)
As in prop. , the vanishing of the wave front set of the coefficients of the regular polynomial observables implies that all arguments go through as for star products on polynomial algebras on finite dimensional vector spaces. By theorem the causal propagator is the integral kernel of the Peierls-Poisson bracket, so that the tensor from the definition of the Moyal star product (example ) now is
(extending quantization beyond regular polynomial observables)
While cor. provides a quantization of the regular polynomial observables of any gauge fixed free Lagrangian field theory, the regular polynomial observables are too small a subspace of that of all polynomial observables:
By example the only local observables (def. ) contained among the regular polynomial observables are the linear observables (def. ). But in general it is necessary to consider also non-linear polynomial local observables. Notably the interaction action functionals induced from interaction Lagrangian densities (example ) are non-linear polynomial observables.
For example:
For quantum electrodynamics on Minkowski spacetime (example ) the adiabatically switched action functional (example ) which is the transgression of the electron-photon interaction is a cubic local observable
For scalar field phi^n theory (example ) the adiabatically switched action functional (example ) which is the transgression of the phi^n interaction
is a local observable of order .
Therefore one needs to extend the formal deformation quantization provided by corollary to a larger subspace of polynomial observables that includes at least the local observables.
But prop. characterizes the freedom in choosing a formal deformation quantization: We may shift the causal propagator by a symmetric contribution. In view of prop. and in view of of Hörmander's criterion for the product of distributions (prop. ) to be well defined, we are looking for symmetric integral kernels such that the sum
has a smaller wave front set (def. ) than itself has. The smaller , the larger the subspace of polynomial observables on which the corresponding formal deformation quantization exists.
Now by prop. the Wightman propagator is of the form (9) and by prop. its wave front set is only “half” that of the causal propagator. It turns out that does yield a formal deformation quantization of a subspace of polynomial observables that includes all local observables: this is the Wick algebra on microcausal polynomial observables. We discuss this in detail in the chapter Free quantum fields.
With such a formal deformation quantization of the local observables free field theory in hand, we may then finally obtain also a formal deformation quantization of interacting Lagrangian field theories by perturbation theory. This we discuss in the chapters Scattering and Quantum observables.
This concludes our discussion of some basic concepts of quantization. In the next chapter we apply this to discuss the algebra of quantum observables of free Lagrangian field theories. Further below in the chapter Quantum observables we then discuss also the quantization of the interacting Lagrangian field theories, perturbatively.
Last revised on August 2, 2018 at 07:35:43. See the history of this page for a list of all contributions to it.