Operator Algebras and Poisson Manifolds¶Associated to Groupoids

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 construct suitable categories of measured groupoids, Lie groupoids, von Neumann algebras, C ^*-algebras, and Poisson manifolds, with the feature that in each case Morita equivalence comes down to isomorphism of objects. Subsequently, we show that the maps G↦W ^*(G), G↦C ^*(G), and G↦A ^*(G) are functorial between the categories in question. It follows that these maps preserve Morita equivalence. Received: 6 December 2000 / Accepted: 19 April 2001     

Non-compact quantum groups associated with Abelian subgroups

LetG be a Lie group. For any Abelian subalgebra of the Lie algebra g ofG, and any , the difference of the left and right translates ofr gives a compatible Poisson bracket onG. We show how to construct the corresponding quantum group, in theC ^*-algebra setting. The main tool used is the general deformation quantization construction developed earlier by the author for actions of vector groups onC ^*-algebras.The research reported on here was supported in part by National Science Foundation grant DMS-9303386.     

Poisson Lie groups and pentagonal transformations

Symplectic pentagonal transformations are intimately related to global versions of Poisson Lie groups (Manin groups, S ^*-groups, or symplectic pseudogroups). Symplectic pentagonal transformations of cotangent bundles, preserving the natural polarization, are shown to be in one to one correspondence with pentagonal transformations of the base manifold with a cocycle (if the base is connected and simply connected). By the results of Baaj and Skandalis, this allows to quantize (at the C ^*-algebra level!) those Poisson Lie groups, whose associated symplectic pentagonal transformation admits an invariant polarization. The (2n)²-parameter family of Poisson deformations of the (2n+1)-dimensional Heisenberg group described by Szymczak and Zakrzewski is shown to fall into this case.Supported by Alexander von Humboldt Foundation. On leave from Department of Mathematical methods in Physics, Warsaw University, Poland.     

Deformation quantization of Heisenberg manifolds

ForM a smooth manifold equipped with a Poisson bracket, we formulate aC*-algebra framework for deformation quantization, including the possibility of invariance under a Lie group of diffeomorphisms preserving the Poisson bracket. We then show that the much-studied non-commutative tori give examples of such deformation quantizations, invariant under the usual action of ordinary tori. Going beyond this, the main results of the paper provide a construction of invariant deformation quantizations for those Poisson brackets on Heisenberg manifolds which are invariant under the action of the Heisenberg Lie group, and for various generalizations suggested by this class of examples. Interesting examples are obtained of simpleC*-algebras on which the Heisenberg group acts ergodically.This work was supported in part by National Science Foundation grant DMS 8601900     

Fedosov Deformation Quantization as a BRST Theory

The relationship is established between the Fedosov deformation quantization of a general symplectic manifold and the BFV-BRST quantization of constrained dynamical systems. The original symplectic manifold ℳ is presented as a second class constrained surface in the fibre bundle ?^* _ρℳ which is a certain modification of a usual cotangent bundle equipped with a natural symplectic structure. The second class system is converted into the first class one by continuation of the constraints into the extended manifold, being a direct sum of ?^* _ρℳ and the tangent bundle Tℳ. This extended manifold is equipped with a nontrivial Poisson bracket which naturally involves two basic ingredients of Fedosov geometry: the symplectic structure and the symplectic connection. The constructed first class constrained theory, being equivalent to the original symplectic manifold, is quantized through the BFV-BRST procedure. The existence theorem is proven for the quantum BRST charge and the quantum BRST invariant observables. The adjoint action of the quantum BRST charge is identified with the Abelian Fedosov connection while any observable, being proven to be a unique BRST invariant continuation for the values defined in the original symplectic manifold, is identified with the Fedosov flat section of the Weyl bundle. The Fedosov fibrewise star multiplication is thus recognized as a conventional product of the quantum BRST invariant observables. Received: 28 April 2000 / Accepted: 6 December 2000     

Deformation Quantization and the Baum–Connes Conjecture

 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. Received: 30 April 2002 / Accepted: 2 October 2002 Published online: 17 April 2003 RID="⋆" ID="⋆" Supported by a Fellowship from the Royal Netherlands Academy of Arts and Sciences (KNAW). Communicated by H. Araki, D. Buchholz and K. Fredenhagen     

Noncommutative lattices as finite approximations

Lattice discretizations of continuous manifolds are common tools used in a variety of physical contexts. Conventional discrete approximations, however, cannot capture all aspects of the original manifold, notably its topology. In this paper we discuss an approximation scheme due to Sorkin (1991) which correctly reproduces important topological aspects of continuum physics. The approximating topological spaces are partially ordered sets (posets), the partial order encoding the topology. Now, the topology of a manifold M can be reconstructed from the commutativè C^*algebra C(M) of continuous functions defined on it. In turn, this algebra is generated by continuous probability densities in ordinary quantum physics on M. The latter also serves to specify the domains of observables like the Hamiltonian. For a poset, the role of this algebra is assumed by a noncommutative C^*-algebra A. This fact makes any poset a genuine ‘noncommutative’ (‘quantum’) space, in the sense that the algebra of its ‘continuous functions’ is a noncommutative C^*-algebra. We therefore also have a remarkable connection between finite approximations to quantum physics and noncommutative geometries. We use this connection to develop various approximation methods for doing quantum physics using A.     

A Covariant Poisson Deformation Quantization with Separation of Variables up to the Third Order

We give a simple formula for the operator C ₃ of the standard deformation quantization with separation of variables on a Kähler manifold M. Unlike C ₁ and C ₂, this operator cannot be expressed in terms of the Kähler–Poisson tensor on M. We modify C ₃ to obtain a covariant deformation quantization with separation of variables up to the third order which is expressed in terms of the Poisson tensor on M and can thus be defined on an arbitrary complex manifold endowed with a Poisson bivector field of type (1,1).     

C*-Algebras associated with one dimensional almost periodic tilings

For each irrational number, 0<α<1, we consider the space of one dimensional almost periodic tilings obtained by the projection method using a line of slope α. On this space we put the relation generated by translation and the identification of the “singular pairs”. We represent this as a topological spaceX _α with an equivalence relationR _α. OnR _α there is a natural locally Hausdorff topology from which we obtain a topological groupoid with a Haar system. We then construct the C^*-algebra of this groupoid and show that it is the irrational rotation C^*-algebra,A _α. Research supported by the Natural Sciences and Engineering Research Council of Canada and the Fields Institute for Research in Mathematical Sciences.     

The Local Structure of Tilings and Their Integer Group of Coinvariants

The local structure of a tiling is described in terms of a multiplicative structure on its pattern classes. The groupoid associated to the tiling is derived from this structure and its integer group of coinvariants is defined. This group furnishes part of the K ₀-group of the groupoid C ^*-algebra for tilings which reduce to decorations of . The group itself as well as the image of its state is computed for substitution tilings in case the substitution is locally invertible and v-primitive. This yields in particular the set of possible gap labels predicted by K-theory for Schr?dinger operators describing the particle motion in such a tiling. Received: 22 September 1995 / Accepted: 2 December 1996     

Explicit form and convergence of 1-differential formal deformations of the poisson Lie algebra

Introducing the notion of an admissible graded Lie subalgebra A of the Nijenhui-Richardson algebra A(V) of the vector space V, it is shown that each cohomology class of a subcomplex C _A of the Chevalley-Eilenberg complex (C ⁰ M), extends in a cononical way as a graded cohomology class of weight — 1 of A. Applying this when V is the space N of smooth functions of a smooth manifold M, shows that the de Rham cohomology of M is induced by the graded cohomology of weight — 1 of the Schouten graded Lie algebra of M. This allows us to construct explicitly all 1-differential, nc formal deformations of the Poisson bracket of a symplectic manifold. The construction also applies for an arbitrary Poisson manifold but leads to only part of these deformations when the structure degenerates, as shown by an example.     

A Unified Approach to Poisson Reduction

Given any Poisson action G×PP of a Poisson–Lie group G we construct an object =T ^*G*T^* P which has both a Lie groupoid structure and a Lie algebroid structure and which is a half-integrated form of the matched pair of Lie algebroids which J.-H. Lu associated to a Poisson action in her development of Drinfeld's classification of Poisson homogeneous spaces. We use to give a general reduction procedure for Poisson group actions, which applies in cases where a moment map in the usual sense does not exist. The same method may be applied to actions of symplectic groupoids and, most generally, to actions of Poisson groupoids.     

Unbounded elements affiliated withC*-algebras and non-compact quantum groups

The affiliation relation that allows to include unbounded elements (operators) into theC ^*-algebra framework is introduced, investigated and applied to the quantum group theory. The quantum deformation of (the two-fold covering of) the group of motions of Euclidean plane is constructed. A remarkable radius quantization is discovered. It is also shown that the quantumSU(1, 1) group does not exist on theC ^*-algebra level for real value of the deformation parameter.Supported by Japan Society for the Promotion of Science     

Categorified Symplectic Geometry and the Classical String

A Lie 2-algebra is a ‘categorified’ version of a Lie algebra: that is, a category equipped with structures analogous to those of a Lie algebra, for which the usual laws hold up to isomorphism. In the classical mechanics of point particles, the phase space is often a symplectic manifold, and the Poisson bracket of functions on this space gives a Lie algebra of observables. Multisymplectic geometry describes an n-dimensional field theory using a phase space that is an ‘n-plectic manifold’: a finite-dimensional manifold equipped with a closed nondegenerate (n + 1)-form. Here we consider the case n = 2. For any 2-plectic manifold, we construct a Lie 2-algebra of observables. We then explain how this Lie 2-algebra can be used to describe the dynamics of a classical bosonic string. Just as the presence of an electromagnetic field affects the symplectic structure for a charged point particle, the presence of a B field affects the 2-plectic structure for the string.     

Strong homotopy Lie algebras,homotopy Poisson manifolds and Courant algebroids

We study Maurer–Cartan elements on homotopy Poisson manifolds of degree n. They unify many twisted or homotopy structures in Poisson geometry and mathematical physics, such as twisted Poisson manifolds, quasi-Poisson \(\mathfrak g\)-manifolds, and twisted Courant algebroids. Using the fact that the dual of an n-term \(L_\infty \)-algebra is a homotopy Poisson manifold of degree \(n-1\), we obtain a Courant algebroid from a 2-term \(L_\infty \)-algebra \(\mathfrak g\) via the degree 2 symplectic NQ-manifold \(T^*[2]\mathfrak g^*[1]\). By integrating the Lie quasi-bialgebroid associated to the Courant algebroid, we obtain a Lie-quasi-Poisson groupoid from a 2-term \(L_\infty \)-algebra, which is proposed to be the geometric structure on the dual of a Lie 2-algebra. These results lead to a construction of a new 2-term \(L_\infty \)-algebra from a given one, which could produce many interesting examples.     

Quantum Mechanics on Manifolds and Topological Effects

A unique classification of the topological effects associated to quantum mechanics on manifolds is obtained on the basis of the invariance under diffeomorphisms and the realization of the Lie–Rinehart relations between the generators of the diffeomorphism group and the algebra of C ^∞ functions on the manifold. This leads to a unique (“Lie–Rinehart”) C ^*-algebra as observable algebra; its regular representations are shown to be locally Schroedinger and in one to one correspondence with the unitary representations of the fundamental group of the manifold. Therefore, in the absence of spin degrees of freedom and external fields, $ \pi_1{(\mathcal M)}$ appears as the only source of topological effects.