PlanetPhysics/Baum Connes Conjecture

\newcommand{\sqdiagram}[9]{$$ \diagram #1 \rto^{#2} \dto_{#4}&

\eqno{\mbox{#9}}$$ }

Introduction
The goal of the Baum-Connes conjecture (BCC) is to understand irreducible, unitary representations from a topological viewpoint. Furthermore, the relationship between topology and representation theory is mediated by elliptic operators.

"The origins of the BC-conjecture go back to Fredholm theory, the Atiyah-Singer index theorem and the interplay of geometry with operator K-theory as expressed in the works of Brown, Douglas and Fillmore, among many other motivating subjects." Thus, equivariant K-homology classes are represented by certain generalizations of the Connes-`Dirac' (D) operator, and the map to the K-theory of the C*-algebra is defined by taking the index of the Connes D-operator.

\htmladdnormallink{$$SL(3,\mathbb{Z})$$ is the simplest example}{http://www.math.ist.utl.pt/~matsnev/BCexpository.pdf} of a group that is not presently known to satisfy (or not satisfy) the BC-conjecture, but it is nevertheless `suspected' to be true for such groups. Moreover, the BC-conjecture remains so far unproven in general for discrete groups.

It has been speculated that BCC is also true for groupoids, but numerous counter-examples have already been reported.

The Baum--Connes Conjecture (BCC)
{\mathbf BCC Conjecture:} \emph{The assembly map $$\mu$$ from the equivariant K-homology with $$ \mathfrak{G}$$--compact supports of the classifying space of proper actions $$ \underline{E \mathfrak{G}}$$ to the K--theory of the reduced C*-algebra of $$\mathfrak{G}$$ is an \htmladdnormallink{isomorphism}}{http://planetphysics.us/encyclopedia/IsomorphicObjectsUnderAnIsomorphism.html}.

Thus, in operator K-theory (OKT), the Baum--Connes proposition conjectures that there is a link between the K--theory of the C*--algebra of a group and the K-homology of the corresponding classifying space of proper actions of that same group. It thus proposes that there exists a correspondence between several distinct areas of mathematics: K--homology (related to geometry), differential operator theory, and homotopy theory on the one hand, and the K-theory of the reduced C*-algebra--which is currently formulated as an analytical object--on the other hand.

Several authors consider BCC to consist of two major parts that can be separately approached: the injectivity and surjectivity involved in the isomorphism. Actually, even the injectivity part of the conjecture in itself is a rather difficult problem. It was, however, reported that the injectivity of the Baum-Connes assembly map implies the Novikov's higher signature conjecture . The injectivity is also known for the following classes of subgroups:


 * Discrete subgroups of connected Lie groups or virtually connected Lie groups;
 * Discrete subgroups of p-adic groups;
 * Bolic groups that are generalized hyperbolic groups;
 * Groups which admit an amenable action on a compact space.

The BCC, if it were shown to be generally true, would also have some older, quite famous conjectures as consequences. For instance, the surjectivity part of BCC implies the Kadison-Kaplansky conjecture for a discrete torsion-free group, whereas--as already discussed above-- the injectivity part of BCC would seem to be closely related to the earlier, Novikov conjecture.

BCC may also be seen as related to Index Theory (IT), because the assembly map $$ \mu $$ is a type of index, that plays a major role in Alain Connes' noncommutative geometry formulation.

Mathematical Formulation
Let us consider $$G$$ to be the group $$\mathbb{Z}$$ (with the discrete topology; that is, not a "topological group"). Then, every complex number $$u$$ with $$|u| = 1$$ corresponds to a $$1$$-dimensional irreducible representation of $$G$$, on which $$n \in \mathbb{Z}$$ acts by multiplication by $$u^n$$. Furthermore, these are all of the possible irreducible representations of $$G$$ that can be found. When $$G =\, \mathbb{Z}$$ every unitary representation can be uniquely decomposed into a direct sum of irreducible representations. The space of irreducible representations of $$G$$ carries a natural Hausdorff topology and can be studied as a commutative, standard geometric/topological space.

In the general case, as for example for a non-Abelian group, $${N_G}^A$$, the "space of irreducible representations of such a group" is no longer a commutative object, and was replaced by A. Connes by a C*-algebra which is in general a noncommutative object-- or a so-called (non-standard), noncommutative "space". One is especially interested in graded Hilbert spaces $$H = H_+ \oplus H_-$$. In this case an odd unbounded operator is identified with a grading--preserving functional calculus homomorphism

$$\Phi_T: f \mapsto f(T), \mathfrak{A} \to \mathfrak{B}(H)$$ where $$\mathfrak{A}$$ denotes the algebra $$C_0(\mathbb{R})$$ graded by even and odd functions.

Consider $$\mathfrak{G}$$ to be a second countable locally compact group (such as a countable discrete group, for example). Then, one can define a morphism $$\mu \colon KK^{\mathfrak{G}}_*(\underline{E \mathfrak{G}}) \to K_*(C^*_\lambda(\mathfrak{G}),$$

called the assembly map, from the equivariant K-homology with $$ \mathfrak{G}$$--compact supports of the classifying space of proper actions $$ \underline{E \mathfrak{G}}$$ to the K--theory of the reduced C*-algebra of $$\mathfrak{G}$$. The index $$*$$ can be either $$0$$ or $$1$$.

Alain Connes and Paul Baum proposed in 1982 the following conjecture about the morphism (assembly map) $$\mu$$:

{\mathbf Conjecture:} The assembly map $$\mu$$ is an isomorphism.

Existing Support for the BCC and Cases when the BC-Conjecture Holds
Because there are hardly any general structure theorems of the $$ C^* $$-algebra, the left hand side is much more accessible than the right hand one, and therefore one views the BB-conjecture as some type of "explanation" of the right hand side. Furthermore, it is now known (see, for example, ) that if a discrete group $$\mathfrak{G}$$ is uniformly embedded into a Hilbert space, then the Baum-Connes assembly map is {\mathbf injective}. This injectivity /injectiveness allows one to prove the following (GHW) theorem of Guentner, Higson and Weinberger,.

\begin{theorem} {\mathbf Guentner, Higson and Weinberger, .} For any field $$k$$ and any natural number $$n$$ the injectivity part of the Baum-Connes Conjecture holds for any countable subgroup of $$GL(n;k)$$. \end{theorem}

Furthermore, a refined argument in showed that in the case of a subgroup of $$GL(2;k)$$ by reducing the full Baum-Connes Conjecture to the GHW theorem that BCC then holds true.

Potential Relevance of BC-Conjecture to Quantum Physics: AQFT and QG
Perhaps, a physically relevant case for quantum theories is that of infnite--dimensional spaces, where one can mention the HK-theorem of Higson and Kasparov,. If a group $$\mathfrak{G}$$ admits a metrically proper isometric action on a Hilbert space, then the Baum-Connes Conjecture holds for $$\mathfrak{G}$$. This result allowed Yu to utilize the `coarse geometry machinery' to prove that the `coarse version' of the Baum-Connes Conjecture holds for any bounded geometry metric space which can be uniformly embedded into a Hilbert space.

One might think that the Baum-Connes Conjecture may not be directly relevant to either QFT or AQFT because it involves just locally compact groups (LCG 's)--and therefore, does not say anything directly about gauge groups (either Abelian or non-Abelian). On the other hand, certain types of LCG's called locally compact quantum groups (L-CQG 's) are relevant to AQFT; moreover, other quantum groups that have as duals Hopf coalgebras are useful for solving a number of important physical problems treated via quantum Yang-Mills equations (that are already of great interest in quantum physics). Locally compact quantum groups are likely also to be important for further developments of quantum gravity theories, where the Hopf might be replaced by graded Lie, or superalgebras, in the supersymmetric form of supergravity theories. Thus, the natural question of the likely role played by the Baum-Connes Conjecture arises also in the context of classifying L-CQG' s and quantum groups, in general. Whereas, the discrete, finite and commutative `quantum' groups are readily computed by Fourier transformation of their dual Hopf algebras, the classification of the more important, noncommutative quantum groups may utilize BCC thus providing additional motivation for obtaining a proof of BCC.

Professor Alain Connes is a Fields Medal recipient (an `equivalent' of the Nobel prize award in the field of Mathematics).