-
Indeterminism and Undecidability
Authors:
Klaas Landsman
Abstract:
The aim of this paper is to argue that the (alleged) indeterminism of quantum mechanics, claimed by adherents of the Copenhagen interpretation since Born (1926), can be proved from Chaitin's follow-up to Goedel's (first) incompleteness theorem. In comparison, Bell's (1964) theorem as well as the so-called free will theorem-originally due to Heywood and Redhead (1983)-left two loopholes for determi…
▽ More
The aim of this paper is to argue that the (alleged) indeterminism of quantum mechanics, claimed by adherents of the Copenhagen interpretation since Born (1926), can be proved from Chaitin's follow-up to Goedel's (first) incompleteness theorem. In comparison, Bell's (1964) theorem as well as the so-called free will theorem-originally due to Heywood and Redhead (1983)-left two loopholes for deterministic hidden variable theories, namely giving up either locality (more precisely: local contextuality, as in Bohmian mechanics) or free choice (i.e. uncorrelated measurement settings, as in 't Hooft's cellular automaton interpretation of quantum mechanics). The main point is that Bell and others did not exploit the full empirical content of quantum mechanics, which consists of long series of outcomes of repeated measurements (idealized as infinite binary sequences): their arguments only used the long-run relative frequencies derived from such series, and hence merely asked hidden variable theories to reproduce single-case Born probabilities defined by certain entangled bipartite states. If we idealize binary outcome strings of a fair quantum coin flip as infinite sequences, quantum mechanics predicts that these typically (i.e.\ almost surely) have a property called 1-randomness in logic, which is much stronger than uncomputability. This is the key to my claim, which is admittedly based on a stronger (yet compelling) notion of determinism than what is common in the literature on hidden variable theories.
△ Less
Submitted 24 March, 2021; v1 submitted 7 March, 2020;
originally announced March 2020.
-
(No) Wigner Theorem for C*-algebras
Authors:
Klaas Landsman,
Kitty Rang
Abstract:
Wigner's Theorem states that bijections of the set P_1(H) of one-dimensional projections on a Hilbert space H that preserve transition probabilities are induced by either a unitary or an anti-unitary operator on H (which is uniquely determined up to a phase). Since elements of P_1(H) define pure states on the C*-algebra B(H) of all bounded operators on H (though typically not producing all of them…
▽ More
Wigner's Theorem states that bijections of the set P_1(H) of one-dimensional projections on a Hilbert space H that preserve transition probabilities are induced by either a unitary or an anti-unitary operator on H (which is uniquely determined up to a phase). Since elements of P_1(H) define pure states on the C*-algebra B(H) of all bounded operators on H (though typically not producing all of them), this suggests possible generalizations to arbitrary C*-algebras. This paper is a detailed study of this problem, based on earlier results by R.V. Kadison (1965), F.W. Shultz (1982), K. Thomsen (1982), and others. Perhaps surprisingly, the sharpest known version of Wigner's Theorem for C*-algebras (which is a variation on a result from Shultz, with considerably simplified proof) generalizes the equivalence between the hypotheses in the original theorem and those in an analogous result on (anti) unitary implementability of Jordan automorphisms of B(H), and does not yield (anti) unitary implementability itself, far from it: abstract existence results that do give such implementability seem arbitrary and practically useless. As such, it would be fair to say that there is no Wigner Theorem for C*-algebras.
△ Less
Submitted 19 November, 2019; v1 submitted 15 November, 2019;
originally announced November 2019.
-
Quantum theory and functional analysis
Authors:
Klaas Landsman
Abstract:
Quantum theory and functional analysis were created and put into essentially their final form during similar periods ending around 1930. Each was also a key outcome of the major revolutions that both physics and mathematics as a whole underwent at the time. This paper studies their interaction in this light, emphasizing the leading roles played by Hilbert in preparing the ground and by von Neumann…
▽ More
Quantum theory and functional analysis were created and put into essentially their final form during similar periods ending around 1930. Each was also a key outcome of the major revolutions that both physics and mathematics as a whole underwent at the time. This paper studies their interaction in this light, emphasizing the leading roles played by Hilbert in preparing the ground and by von Neumann in bringing them together during the crucial year of 1927, when he gave the modern, abstract definition of a Hilbert space and applied this concept to quantum mechanics (consolidated in his famous monograph from 1932). Subsequently, I give a very brief overview of three areas of functional analysis that have had fruitful interactions with quantum theory since 1932, namely unbounded operators, operator algebras, and distributions. The paper closes with some musings about the role of functional analysis in actual physics.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
Randomness? What randomness?
Authors:
Klaas Landsman
Abstract:
This is a review of the issue of randomness in quantum mechanics, with special emphasis on its ambiguity; for example, randomness has different antipodal relationships to determinism, computability, and compressibility. Following a (Wittgensteinian) philosophical discussion of randomness in general, I argue that deterministic interpretations of quantum mechanics (like Bohmian mechanics or 't Hooft…
▽ More
This is a review of the issue of randomness in quantum mechanics, with special emphasis on its ambiguity; for example, randomness has different antipodal relationships to determinism, computability, and compressibility. Following a (Wittgensteinian) philosophical discussion of randomness in general, I argue that deterministic interpretations of quantum mechanics (like Bohmian mechanics or 't Hooft's Cellular Automaton interpretation) are strictly speaking incompatible with the Born rule. I also stress the role of outliers, i.e. measurement outcomes that are not 1-random. Although these occur with low (or even zero) probability, their very existence implies that the no-signaling principle used in proofs of randomness of outcomes of quantum-mechanical measurements (and of the safety of quantum cryptography) should be reinterpreted statistically, like the second law of thermodynamics. In appendices I discuss the Born rule and its status in both single and repeated experiments, and review the notion of 1-randomness introduced by Kolmogorov, Chaitin, Martin-Lo"f, Schnorr, and others.
△ Less
Submitted 30 November, 2019; v1 submitted 30 July, 2019;
originally announced August 2019.
-
Spontaneous Symmetry Breaking in Quantum Systems: Emergence or Reduction?
Authors:
N. P. Landsman
Abstract:
Beginning with Anderson (1972), spontaneous symmetry breaking (SSB) in infinite quantum systems is often put forward as an example of (asymptotic) emergence in physics, since in theory no finite system should display it. Even the correspondence between theory and reality is at stake here, since numerous real materials show SSB in their ground states (or equilibrium states at low temperature), alth…
▽ More
Beginning with Anderson (1972), spontaneous symmetry breaking (SSB) in infinite quantum systems is often put forward as an example of (asymptotic) emergence in physics, since in theory no finite system should display it. Even the correspondence between theory and reality is at stake here, since numerous real materials show SSB in their ground states (or equilibrium states at low temperature), although they are finite. Thus against what is sometimes called `Earman's Principle', a genuine physical effect (viz. SSB) seems theoretically recovered only in some idealization (namely the thermodynamic limit), disappearing as soon as the the idealization is removed. We review the well-known arguments that (at first sight) no finite system can exhibit SSB, using the formalism of algebraic quantum theory in order to control the thermodynamic limit and unify the description of finite- and infinite-volume systems. Using the striking mathematical analogy between the thermodynamic limit and the classical limit, we show that a similar situation obtains in quantum mechanics (which typically forbids SSB) versus classical mechanics (which allows it). This discrepancy between formalism and reality is quite similar to the measurement problem, and hence we address it in the same way, adapting an argument of the author and Reuvers (2013) that was originally intended to explain the collapse of the wave-function within conventional quantum mechanics. Namely, exponential sensitivity to (asymmetric) perturbations of the (symmetric) dynamics as the system size increases causes symmetry breaking already in finite but very large quantum systems. This provides continuity between finite- and infinite-volume descriptions of quantum systems featuring SSB and hence restores Earman's Principle (at least in this particularly threatening case).
△ Less
Submitted 2 August, 2013; v1 submitted 20 May, 2013;
originally announced May 2013.
-
The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach
Authors:
Chris Heunen,
Nicolaas P. Landsman,
Bas Spitters,
Sander Wolters
Abstract:
We compare two influential ways of defining a generalized notion of space. The first, inspired by Gelfand duality, states that the category of 'noncommutative spaces' is the opposite of the category of C*-algebras. The second, loosely generalizing Stone duality, maintains that the category of 'pointfree spaces' is the opposite of the category of frames (i.e., complete lattices in which the meet di…
▽ More
We compare two influential ways of defining a generalized notion of space. The first, inspired by Gelfand duality, states that the category of 'noncommutative spaces' is the opposite of the category of C*-algebras. The second, loosely generalizing Stone duality, maintains that the category of 'pointfree spaces' is the opposite of the category of frames (i.e., complete lattices in which the meet distributes over arbitrary joins). One possible relationship between these two notions of space was unearthed by Banaschewski and Mulvey, who proved a constructive version of Gelfand duality in which the Gelfand spectrum of a commutative C*-algebra comes out as a pointfree space. Being constructive, this result applies in arbitrary toposes (with natural numbers objects, so that internal C*-algebras can be defined). Earlier work by the first three authors, shows how a noncommutative C*-algebra gives rise to a commutative one internal to a certain sheaf topos. The latter, then, has a constructive Gelfand spectrum, also internal to the topos in question. After a brief review of this work, we compute the so-called external description of this internal spectrum, which in principle is a fibered pointfree space in the familiar topos Sets of sets and functions. However, we obtain the external spectrum as a fibered topological space in the usual sense. This leads to an explicit Gelfand transform, as well as to a topological reinterpretation of the Kochen-Specker Theorem of quantum mechanics, which supplements the remarkable topos-theoretic version of this theorem due to Butterfield and Isham.
△ Less
Submitted 11 October, 2010;
originally announced October 2010.
-
The Guillemin-Sternberg conjecture for noncompact groups and spaces
Authors:
P. Hochs,
N. P. Landsman
Abstract:
The Guillemin-Sternberg conjecture states that "quantisation commutes with reduction" in a specific technical setting. So far, this conjecture has almost exclusively been stated and proved for compact Lie groups $G$ acting on compact symplectic manifolds, and, largely due to the use of spin_c Dirac operator techniques, has reached a high degree of perfection under these compactness assumptions.…
▽ More
The Guillemin-Sternberg conjecture states that "quantisation commutes with reduction" in a specific technical setting. So far, this conjecture has almost exclusively been stated and proved for compact Lie groups $G$ acting on compact symplectic manifolds, and, largely due to the use of spin_c Dirac operator techniques, has reached a high degree of perfection under these compactness assumptions. In this paper we formulate an appropriate Guillemin-Sternberg conjecture in the general case, under the main assumptions that the Lie group action is proper and cocompact. This formulation is motivated by our interpretation of the "quantisation commuates with reduction" phenomenon as a special case of the functoriality of quantisation, and uses equivariant K-homology and the K-theory of the group C*-algebra C*(G) in a crucial way. For example, the equivariant index - which in the compact case takes values in the representation ring R(G) - is replaced by the analytic assembly map - which takes values in K_0(C*(G)) - familiar from the Baum-Connes conjecture in noncommutative geometry. Under the usual freeness assumption on the action, we prove our conjecture for all Lie groups G having a cocompact discrete normal subgroup, but we believe it is valid for all unimodular Lie groups.
△ Less
Submitted 15 May, 2006; v1 submitted 8 December, 2005;
originally announced December 2005.
-
Lie Groupoids and Lie algebroids in physics and noncommutative geometry
Authors:
N. P. Landsman
Abstract:
The aim of this review paper is to explain the relevance of Lie groupoids and Lie algebroids to both physicists and noncommutative geometers. Groupoids generalize groups, spaces, group actions, and equivalence relations. This last aspect dominates in noncommutative geometry, where groupoids provide the basic tool to desingularize pathological quotient spaces. In physics, however, the main role o…
▽ More
The aim of this review paper is to explain the relevance of Lie groupoids and Lie algebroids to both physicists and noncommutative geometers. Groupoids generalize groups, spaces, group actions, and equivalence relations. This last aspect dominates in noncommutative geometry, where groupoids provide the basic tool to desingularize pathological quotient spaces. In physics, however, the main role of groupoids is to provide a unified description of internal and external symmetries. What is shared by noncommutative geometry and physics is the importance of Connes's idea of associating a C*-algebra C*(G) to a Lie groupoid G: in noncommutative geometry C*(G) replaces a given singular quotient space by an appropriate noncommutative space, whereas in physics it gives the algebra of observables of a quantum system whose symmetries are encoded by G. Moreover, Connes's map G -> C*(G) has a classical analogue G -> A*(G) in symplectic geometry due to Weinstein, which defines the Poisson manifold of the corresponding classical system as the dual of the so-called Lie algebroid A(G) of the Lie groupoid G, an object generalizing both Lie algebras and tangent bundles. This will also lead into symplectic groupoids and the conjectural functoriality of quantization.
△ Less
Submitted 10 June, 2005;
originally announced June 2005.
-
Functorial quantization and the Guillemin-Sternberg conjecture
Authors:
N. P. Landsman
Abstract:
We propose that geometric quantization of symplectic manifolds is the arrow part of a functor, whose object part is deformation quantization of Poisson manifolds. The `quantization commutes with reduction' conjecture of Guillemin and Sternberg then becomes a special case of the functoriality of quantization. In fact, our formulation yields almost unlimited generalizations of the Guillemin--Stern…
▽ More
We propose that geometric quantization of symplectic manifolds is the arrow part of a functor, whose object part is deformation quantization of Poisson manifolds. The `quantization commutes with reduction' conjecture of Guillemin and Sternberg then becomes a special case of the functoriality of quantization. In fact, our formulation yields almost unlimited generalizations of the Guillemin--Sternberg conjecture, extending it, for example, to arbitrary Lie groups or even Lie groupoids. Technically, this involves symplectic reduction and Weinstein's dual pairs on the classical side, and Kasparov's bivariant K-theory for C*-algebras (KK-theory) on the quantum side.
△ Less
Submitted 29 July, 2003;
originally announced July 2003.
-
Deformation quantization and the Baum-Connes conjecture
Authors:
N. P. Landsman
Abstract:
Alternative titles of this paper would have been `Index theory without index' or `The Baum-Connes conjecture without Baum.' In 1989, Rieffel introduced an analytic version of deformation quantization based on the use of continuous fields of C*-algebras. We review how a wide variety of examples of such quantizations can be understood on the basis of a single lemma involving amenable groupoids. Th…
▽ More
Alternative titles of this paper would have been `Index theory without index' or `The Baum-Connes conjecture without Baum.' In 1989, Rieffel introduced an analytic version of deformation quantization based on the use of continuous fields of C*-algebras. We review how a wide variety of examples of such quantizations can be understood on the basis of a single lemma involving amenable groupoids. These include Weyl-Moyal quantization on manifolds, C*-algebras of Lie groups and Lie groupoids, and the E-theoretic version of the Baum-Connes conjecture for smooth groupoids as described by Connes in his book Noncommutative Geometry. Concerning the latter, we use a different semidirect product construction from Connes. This enables one to formulate the Baum-Connes conjecture in terms of twisted Weyl-Moyal quantization. The underlying mechanical system is a noncommutative desingularization of a stratified Poisson space, and the Baum-Connes conjecture actually suggests a strategy for quantizing such singular spaces.
△ Less
Submitted 8 October, 2002;
originally announced October 2002.
-
Quantization and the tangent groupoid
Authors:
N. P. Landsman
Abstract:
This is a survey of the relationship between C*-algebraic deformation quantization and the tangent groupoid in noncommutative geometry, emphasizing the role of index theory. We first explain how C*-algebraic versions of deformation quantization are related to the bivariant E-theory of Connes and Higson. With this background, we review how Weyl--Moyal quantization may be described using the tange…
▽ More
This is a survey of the relationship between C*-algebraic deformation quantization and the tangent groupoid in noncommutative geometry, emphasizing the role of index theory. We first explain how C*-algebraic versions of deformation quantization are related to the bivariant E-theory of Connes and Higson. With this background, we review how Weyl--Moyal quantization may be described using the tangent groupoid. Subsequently, we explain how the Baum--Connes analytic assembly map in E-theory may be seen as an equivariant version of Weyl--Moyal quantization. Finally, we expose Connes's tangent groupoid proof of the Atiyah--Singer index theorem
△ Less
Submitted 16 October, 2002; v1 submitted 2 August, 2002;
originally announced August 2002.
-
Quantization as a functor
Authors:
N. P. Landsman
Abstract:
Notwithstanding known obstructions to this idea, we formulate an attempt to turn quantization into a functorial procedure. We define a category PO of Poisson manifolds, whose objects are integrable Poisson manifolds and whose arrows are isomorphism classes of regular Weinstein dual pairs; it follows that identity arrows are symplectic groupoids, and that two objects are isomorphic in PO iff they…
▽ More
Notwithstanding known obstructions to this idea, we formulate an attempt to turn quantization into a functorial procedure. We define a category PO of Poisson manifolds, whose objects are integrable Poisson manifolds and whose arrows are isomorphism classes of regular Weinstein dual pairs; it follows that identity arrows are symplectic groupoids, and that two objects are isomorphic in PO iff they are Morita equivalent in the sense of P. Xu. It has a subcategory LPO that has duals of integrable Lie algebroids as objects and cotangent bundles as arrows. We argue that naive C*-algebraic quantization should be functorial from LPO to the well-known category KK, whose objects are separable C*-algebras and whose arrows are Kasparov's KK-groups. This limited functoriality of quantization would already imply the Atiyah-Singer index theorem, as well as its far-reaching generalizations developed by Connes and others. In the category KK, isomorphism of objects implies isomorphism of K-theory groups, so that the functoriality of quantization on all of PO would imply that Morita equivalent Poisson algebras are quantized by C*-algebras with isomorphic K-theories. Finally, we argue that the correct codomain for the possible functoriality of quantization is the category RKK(I), which takes the deformation aspect of quantization into account.
△ Less
Submitted 13 February, 2002; v1 submitted 23 July, 2001;
originally announced July 2001.
-
Functoriality and Morita equivalence of operator algebras and Poisson manifolds associated to groupoids
Authors:
N. P. Landsman
Abstract:
It is well known that a measured groupoid G defines a von Neumann algebra W*(G), and that a Lie groupoid G canonically defines both a C*-algebra C*(G) and a Poisson manifold A*(G). We show that the maps G -> W*(G), G -> C*(G) and G -> A*(G) are functorial with respect to suitable categories. In these categories Morita equivalence is isomorphism of objects, so that these maps preserve Morita equi…
▽ More
It is well known that a measured groupoid G defines a von Neumann algebra W*(G), and that a Lie groupoid G canonically defines both a C*-algebra C*(G) and a Poisson manifold A*(G). We show that the maps G -> W*(G), G -> C*(G) and G -> A*(G) are functorial with respect to suitable categories. In these categories Morita equivalence is isomorphism of objects, so that these maps preserve Morita equivalence.
△ Less
Submitted 29 November, 2000; v1 submitted 25 August, 2000;
originally announced August 2000.
-
The Muhly-Renault-Williams theorem for Lie groupoids and its classical counterpart
Authors:
N. P. Landsman
Abstract:
A theorem of Muhly-Renault-Williams states that if two locally compact groupoids with Haar system are Morita equivalent, then their associated convolution C*-algebras are strongly Morita equivalent.
We give a new proof of this theorem for Lie groupoids. Subsequently, we prove a counterpart of this theorem in Poisson geometry: If two Morita equivalent Lie groupoids are s-connected and s-simply c…
▽ More
A theorem of Muhly-Renault-Williams states that if two locally compact groupoids with Haar system are Morita equivalent, then their associated convolution C*-algebras are strongly Morita equivalent.
We give a new proof of this theorem for Lie groupoids. Subsequently, we prove a counterpart of this theorem in Poisson geometry: If two Morita equivalent Lie groupoids are s-connected and s-simply connected, then their associated Poisson manifolds (viz. the dual bundles to their Lie algebroids) are Morita equivalent in the sense of P. Xu.
△ Less
Submitted 2 August, 2000;
originally announced August 2000.
-
Quantized reduction as a tensor product
Authors:
N. P. Landsman
Abstract:
Symplectic reduction is reinterpreted as the composition of arrows in the category of integrable Poisson manifolds, whose arrows are isomorphism classes of dual pairs, with symplectic groupoids as units. Morita equivalence of Poisson manifolds amounts to isomorphism of objects in this category.
This description paves the way for the quantization of the classical reduction procedure, which is b…
▽ More
Symplectic reduction is reinterpreted as the composition of arrows in the category of integrable Poisson manifolds, whose arrows are isomorphism classes of dual pairs, with symplectic groupoids as units. Morita equivalence of Poisson manifolds amounts to isomorphism of objects in this category.
This description paves the way for the quantization of the classical reduction procedure, which is based on the formal analogy between dual pairs of Poisson manifolds and Hilbert bimodules over C*-algebras, as well as with correspondences between von Neumann algebras. Further analogies are drawn with categories of groupoids (of algebraic, measured, Lie, and symplectic type). In all cases, the arrows are isomorphism classes of appropriate bimodules, and their composition may be seen as a tensor product. Hence in suitable categories reduction is simply composition of arrows, and Morita equivalence is isomorphism of objects.
△ Less
Submitted 21 November, 2000; v1 submitted 2 August, 2000;
originally announced August 2000.
-
Bicategories of operator algebras and Poisson manifolds
Authors:
N. P. Landsman
Abstract:
It is well known that rings are the objects of a bicategory, whose arrows are bimodules, composed through the bimodule tensor product. We give an analogous bicategorical description of C*-algebras, von Neumann algebras, Lie groupoids, symplectic groupoids, and Poisson manifolds. The upshot is that known definitions of Morita equivalence for any of these cases amount to isomorphism of objects in…
▽ More
It is well known that rings are the objects of a bicategory, whose arrows are bimodules, composed through the bimodule tensor product. We give an analogous bicategorical description of C*-algebras, von Neumann algebras, Lie groupoids, symplectic groupoids, and Poisson manifolds. The upshot is that known definitions of Morita equivalence for any of these cases amount to isomorphism of objects in the pertinent bicategory.
△ Less
Submitted 21 August, 2000; v1 submitted 2 August, 2000;
originally announced August 2000.
-
Quantization of Poisson algebras associated to Lie algebroids
Authors:
N. P. Landsman,
B. Ramazan
Abstract:
We prove the existence of a strict deformation quantization for the canonical Poisson structure on the dual of an integrable Lie algebroid. It follows that any Lie groupoid C*-algebra may be regarded as a result of a quantization procedure. The C*-algebra of the tangent groupoid of a given Lie groupoid G (with Lie algebra g) is the C*-algebra of a continuous field of C*-algebras over R with fibe…
▽ More
We prove the existence of a strict deformation quantization for the canonical Poisson structure on the dual of an integrable Lie algebroid. It follows that any Lie groupoid C*-algebra may be regarded as a result of a quantization procedure. The C*-algebra of the tangent groupoid of a given Lie groupoid G (with Lie algebra g) is the C*-algebra of a continuous field of C*-algebras over R with fibers A_0=C*(g)=C_0(g*) and A_h=C*(G) for nonzero h. The same is true for the corresponding reduced C*-algebras. Our results have applications to, e.g., transformation group C*-algebras, K-theory, and index theory.
△ Less
Submitted 21 November, 2000; v1 submitted 4 January, 2000;
originally announced January 2000.
-
Compact Quantum Groupoids
Authors:
N. P. Landsman
Abstract:
Quantum groupoids are a joint generalization of groupoids and quantum groups. We propose a definition of a compact quantum groupoid that is based on the theory of C*-algebras and Hilbert bimodules. The essential point is that whenever one has a tensor product over the complex numbers in the theory of quantum groups, one now uses a certain tensor product over the base algebra of the quantum group…
▽ More
Quantum groupoids are a joint generalization of groupoids and quantum groups. We propose a definition of a compact quantum groupoid that is based on the theory of C*-algebras and Hilbert bimodules. The essential point is that whenever one has a tensor product over the complex numbers in the theory of quantum groups, one now uses a certain tensor product over the base algebra of the quantum groupoid.
△ Less
Submitted 7 December, 1999;
originally announced December 1999.
-
Representations of the infinite unitary group from constrained quantization
Authors:
Nicolaas P. Landsman
Abstract:
We attempt to reconstruct the irreducible unitary representations of the Banach Lie group $U_0(\H)$ of all unitary operators $U$ on a separable Hilbert space $\H$ for which $U-{\mathbb I}$ is compact, originally found by Kirillov and Ol'shanskii, through constrained quantization of its coadjoint orbits. For this purpose the coadjoint orbits are realized as Marsden-Weinstein quotients. The uncons…
▽ More
We attempt to reconstruct the irreducible unitary representations of the Banach Lie group $U_0(\H)$ of all unitary operators $U$ on a separable Hilbert space $\H$ for which $U-{\mathbb I}$ is compact, originally found by Kirillov and Ol'shanskii, through constrained quantization of its coadjoint orbits. For this purpose the coadjoint orbits are realized as Marsden-Weinstein quotients. The unconstrained system, given as a Weinstein dual pair, is quantized by a corresponding Howe dual pair. Constrained quantization is then performed in replacing the classical procedure of symplectic reduction by the $C^*$-algebraic method of Rieffel induction. Reduction and induction have to be performed with respect to either $U(M)$, which is straightforward, or $U(M,N)$. In the latter case one induces from holomorphic discrete series representations, and the desired result is obtained if one ignores half-forms, and induces from a \rep, `half' of whose highest weight is shifted relative to the naive orbit correspondence. This is only possible when $\H$ is finite-dimensional.
△ Less
Submitted 31 March, 1999;
originally announced April 1999.
-
Lie groupoid C*-algebras and Weyl quantization
Authors:
N. P. Landsman
Abstract:
For any Lie groupoid $G$, the vector bundle $g^*$ dual to the associated Lie algebroid $g$ is canonically a Poisson manifold. The (reduced) C*-algebra of $G$ (as defined by A. Connes) is shown to be a strict quantization (in the sense of M. Rieffel) of $g^*$. This is proved using a generalization of Weyl's quantization prescription on flat space. Many other known strict quantizations are a speci…
▽ More
For any Lie groupoid $G$, the vector bundle $g^*$ dual to the associated Lie algebroid $g$ is canonically a Poisson manifold. The (reduced) C*-algebra of $G$ (as defined by A. Connes) is shown to be a strict quantization (in the sense of M. Rieffel) of $g^*$. This is proved using a generalization of Weyl's quantization prescription on flat space. Many other known strict quantizations are a special case of this procedure; on a Riemannian manifold, one recovers Connes' tangent groupoid as well as a recent generalization of Weyl's prescription. When $G$ is the gauge groupoid of a principal bundle one is led to the Weyl quantization of a particle moving in an external Yang-Mills field. In case that $G$ is a Lie group (with Lie algebra $g$) one recovers Rieffel's quantization of the Lie-Poisson structure on $g^*$. A transformation group C*-algebra defined by a smooth action of a Lie group on a manifold $Q$ turns out to be the quantization of the semidirect product Poisson manifold $g^*x Q$ defined by this action.
△ Less
Submitted 23 March, 1999;
originally announced March 1999.
-
Hall's coherent states, the Cameron-Martin theorem, and the quantization of Yang-Mills theory on a circle
Authors:
N. P. Landsman,
K. K. Wren
Abstract:
We discuss the classical and quantum reduction to the space of physical degrees of freedom of Yang--Mills theory on a circle (so that space-time is a cylinder). Although the classical reduced phase space is finite-dimensional, the quantum reduction procedure is mathematically fascinating, involving firstly the Wiener measure on a loop group, secondly a generalization of the Cameron--Martin theor…
▽ More
We discuss the classical and quantum reduction to the space of physical degrees of freedom of Yang--Mills theory on a circle (so that space-time is a cylinder). Although the classical reduced phase space is finite-dimensional, the quantum reduction procedure is mathematically fascinating, involving firstly the Wiener measure on a loop group, secondly a generalization of the Cameron--Martin theorem to loop groups, and thirdly Hall's coherent states for compact Lie groups. Our approach is based on a quantum analogue of the classical Marsden--Weinstein symplectic reduction process.
△ Less
Submitted 15 December, 1998;
originally announced December 1998.
-
Lecture notes on C*-algebras, Hilbert C*-modules, and quantum mechanics
Authors:
N. P. Landsman
Abstract:
This is a graduate-level introduction to C*-algebras, Hilbert C*-modules, vector bundles, and induced representations of groups and C*-algebras, with applications to quantization theory, phase space localization, and configuration space localization. The reader is supposed to know elementary functional analysis and quantum mechanics.
This is a graduate-level introduction to C*-algebras, Hilbert C*-modules, vector bundles, and induced representations of groups and C*-algebras, with applications to quantization theory, phase space localization, and configuration space localization. The reader is supposed to know elementary functional analysis and quantum mechanics.
△ Less
Submitted 24 July, 1998;
originally announced July 1998.
-
Constrained quantization in algebraic field theory
Authors:
N. P. Landsman
Abstract:
Quantization relates Poisson algebras to $C^*$-algebras. The analysis of local gauge symmetries in algebraic quantum field theory is approached through the quantization of classical gauge theories, regarded as constrained dynamical systems. This approach is based on the analogy between symplectic reduction and Rieffel induction on the classical and on the quantum side, respectively. Thus one is…
▽ More
Quantization relates Poisson algebras to $C^*$-algebras. The analysis of local gauge symmetries in algebraic quantum field theory is approached through the quantization of classical gauge theories, regarded as constrained dynamical systems. This approach is based on the analogy between symplectic reduction and Rieffel induction on the classical and on the quantum side, respectively. Thus one is led to a description of e.g. $θ$-angles and gauge anomalies in the algebraic setting.
△ Less
Submitted 24 July, 1998;
originally announced July 1998.
-
Twisted Lie group $C^*$-algebras as strict quantizations
Authors:
N. P. Landsman
Abstract:
A nonzero 2-cocycle $Γ\in Z^2(\g,\R)$ on the Lie algebra $\g$ of a compact Lie group $G$ defines a twisted version of the Lie-Poisson structure on the dual Lie algebra $\g^*$, leading to a Poisson algebra $C^{\infty}(\g_{(Γ)}^*)$. Similarly, a multiplier $c\in Z^2(G,U(1))$ on $G$ which is smooth near the identity defines a twist in the convolution product on $G$, encoded by the twisted group…
▽ More
A nonzero 2-cocycle $Γ\in Z^2(\g,\R)$ on the Lie algebra $\g$ of a compact Lie group $G$ defines a twisted version of the Lie-Poisson structure on the dual Lie algebra $\g^*$, leading to a Poisson algebra $C^{\infty}(\g_{(Γ)}^*)$. Similarly, a multiplier $c\in Z^2(G,U(1))$ on $G$ which is smooth near the identity defines a twist in the convolution product on $G$, encoded by the twisted group $C^*$-algebra C^*(G,c)$.
Further to some superficial yet enlightening analogies between $C^{\infty}(\g^*_{(Γ)})$ and $C^*(G,c)$, it is shown that the latter is a strict quantization of the former, where Planck's constant $\hbar$ assumes values in $(\Z\backslash\{0\})^{-1}$. This means that there exists a continuous field of $C^*$-algebras, indexed by $\hbar\in 0\cup (\Z\backslash\{0\})^{-1}$, for which $\A^0=C_0(\g^*)$ and $\A_{\hbar}=C^*(G,c)$ for $\hbar\neq 0$, along with a cross-section of the field satisfying Dirac's condition asymptotically relating the commutator in $\A_{\hbar}$ to the Poisson bracket on $C^{\infty}(\g^*_{(Γ)})$. Note that the `quantization' of $\hbar$ does not occur for $Γ=0$.
△ Less
Submitted 24 July, 1998;
originally announced July 1998.
-
Strict quantization of coadjoint orbits
Authors:
N. P. Landsman
Abstract:
A strict quantization of a compact symplectic manifold $S$ on a subset $I\subseteq\R$, containing 0 as an accumulation point, is defined as a continuous field of $C^*$-algebras $\{A_{\hbar}\}_{\hbar\in I}$, with $A_0=C_0(S)$, and a set of continuous cross-sections $\{Q(f)\}_{f\in C^{\infty}(S)}$ for which $Q_0(f)=f$. Here $Q_{\hbar}(f^*)=Q_{\hbar}(f)^*$ for all $\hbar\in I$, whereas for…
▽ More
A strict quantization of a compact symplectic manifold $S$ on a subset $I\subseteq\R$, containing 0 as an accumulation point, is defined as a continuous field of $C^*$-algebras $\{A_{\hbar}\}_{\hbar\in I}$, with $A_0=C_0(S)$, and a set of continuous cross-sections $\{Q(f)\}_{f\in C^{\infty}(S)}$ for which $Q_0(f)=f$. Here $Q_{\hbar}(f^*)=Q_{\hbar}(f)^*$ for all $\hbar\in I$, whereas for $\hbar\to 0$ one requires that $i[Q_{\hbar}(f),Q_{\hbar}(g)]/\hbar\to Q_{\hbar}(\{f,g\})$ in norm. We discuss general conditions which guarantee that a (deformation) quantization in a more physical sense leads to one in the above sense.
Using ideas of Berezin, Lieb, Simon, and others, we construct a strict quantization of an arbitrary integral coadjoint orbit $O_{\lm}$ of a compact connected Lie group $G$, associated to a highest weight $\lm$. Here $I=0\cup 1/\N$, so that $\hbar=1/k$, $k\in\N$, and $A_{1/k}$ is defined as the $C^*$-algebra of all matrices on the finite-dimensional Hilbert space $V_{k\lm}$ carrying the irreducible representation $U_{k\lm}(G)$ with highest weight $k\lm$. The quantization maps $Q_{1/k}(f)$ are constructed from coherent states in $V_{k\lm}$, and have the special feature of being positive maps.
△ Less
Submitted 24 July, 1998;
originally announced July 1998.
-
Rieffel induction as generalized quantum Marsden-Weinstein reduction
Authors:
N. P. Landsman
Abstract:
A new approach to the quantization of constrained or otherwise reduced classical mechanical systems is proposed. On the classical side, the generalized symplectic reduction procedure of Mikami and Weinstein, as further extended by Xu in connection with symplectic equivalence bimodules and Morita equivalence of Poisson manifolds, is rewritten so as to avoid the use of symplectic groupoids, whose…
▽ More
A new approach to the quantization of constrained or otherwise reduced classical mechanical systems is proposed. On the classical side, the generalized symplectic reduction procedure of Mikami and Weinstein, as further extended by Xu in connection with symplectic equivalence bimodules and Morita equivalence of Poisson manifolds, is rewritten so as to avoid the use of symplectic groupoids, whose quantum analogue is unknown. A theorem on symplectic reduction in stages is given. This allows one to discern that the `quantization' of the generalized moment map consists of an operator-valued inner product on a (pre-) Hilbert space (that is, a structure similar to a Hilbert $C^*$-module). Hence Rieffel's far-reaching operator-algebraic generalization of the notion of an induced representation is seen to be the exact quantum counterpart of the classical idea of symplectic reduction, with imprimitivity bimodules and strong Morita equivalence of $C^*$-algebras falling in the right place. Various examples involving groups as well as groupoids are given, and known difficulties with both Dirac and BRST quantization are seen to be absent in our approach.
△ Less
Submitted 19 May, 1993;
originally announced May 1993.
