Introduction to the Baum-Connes conjecture

Similar documents
Quantising noncompact Spin c -manifolds

Invariants from noncommutative index theory for homotopy equivalences

The topology of positive scalar curvature ICM Section Topology Seoul, August 2014

Dirac Operator. Göttingen Mathematical Institute. Paul Baum Penn State 6 February, 2017

BEYOND ELLIPTICITY. Paul Baum Penn State. Fields Institute Toronto, Canada. June 20, 2013

TOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C :

Unbounded KK-theory and KK-bordisms

Reconstruction theorems in noncommutative Riemannian geometry

Positive scalar curvature, higher rho invariants and localization algebras

ON UNIFORM K-HOMOLOGY OUTLINE. Ján Špakula. Oberseminar C*-algebren. Definitions C*-algebras. Review Coarse assembly

A users guide to K-theory

Kasparov s operator K-theory and applications 4. Lafforgue s approach

Hodge theory for bundles over C algebras

K-Homology, Assembly and Rigidity Theorems for Relative Eta Invariants

Spectral Triples on the Sierpinski Gasket

Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem

Advanced Course: Transversal Dirac operators on distributions, foliations, and G-manifolds. Ken Richardson and coauthors

Clifford Algebras and Spin Groups

WHAT IS K-HOMOLOGY? Paul Baum Penn State. Texas A&M University College Station, Texas, USA. April 2, 2014

Meromorphic continuation of zeta functions associated to elliptic operators

Crossed products of irrational rotation algebras by finite subgroups of SL 2 (Z) are AF

REPRESENTATION THEORY WEEK 7

Atiyah-Singer Revisited

Peter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.

On the Equivalence of Geometric and Analytic K-Homology

Noncommutative geometry and quantum field theory

Hyperkähler geometry lecture 3

Quantising proper actions on Spin c -manifolds

The spectral zeta function

Dirac Operator. Texas A&M University College Station, Texas, USA. Paul Baum Penn State. March 31, 2014

Complexes of Hilbert C -modules

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction

Lemma 1.3. The element [X, X] is nonzero.

Introduction to Index Theory. Elmar Schrohe Institut für Analysis

Singular foliations, examples and constructions

Groupoids, C*-Algebras and Index Theory

k=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula

Spectral Triples: Examples and Applications Notes for lectures given at the workshop on noncommutative geometry and physics Yokohama, February 2009

Connections for noncommutative tori

Generalized complex geometry and topological sigma-models

On algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem

Lecture 4: Harmonic forms

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

COUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE. Nigel Higson. Unpublished Note, 1999

BRST and Dirac Cohomology

The Local Index Formula in Noncommutative Geometry

1: Lie groups Matix groups, Lie algebras

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

Overview of Atiyah-Singer Index Theory

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

KR-theory. Jean-Louis Tu. Lyon, septembre Université de Lorraine France. IECL, UMR 7502 du CNRS

Finite propagation operators which are Fredholm

1 Hermitian symmetric spaces: examples and basic properties

Primitivity and unital full free product of residually finite dimensional C*-algebras

Einstein-Hilbert action on Connes-Landi noncommutative manifolds

Cohomology jump loci of quasi-projective varieties

The Gauss-Manin Connection for the Cyclic Homology of Smooth Deformations, and Noncommutative Tori

VERLINDE ALGEBRA LEE COHN. Contents

Elliptic Regularity. Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n.

Cohomology jump loci of local systems

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY

THE HODGE DECOMPOSITION

Expanders and Morita-compatible exact crossed products

Summary. Talk based on: Keywords Standard Model, Morita equivalence, spectral triples. Summary of the talk: 1 Spectral action / Spectral triples.

Representation Theory and Orbital Varieties. Thomas Pietraho Bowdoin College

INTRO TO SUBRIEMANNIAN GEOMETRY

A Bridge between Algebra and Topology: Swan s Theorem

Categories and Quantum Informatics: Hilbert spaces

FFTs in Graphics and Vision. Groups and Representations

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

The Dirac-Ramond operator and vertex algebras

Representations Are Everywhere

THE STRONG NOVIKOV CONJECTURE FOR LOW DEGREE COHOMOLOGY

9. The Lie group Lie algebra correspondence

The transverse index problem for Riemannian foliations

CHARACTERISTIC CLASSES

Fractional Index Theory

RIEMANNIAN GEOMETRY COMPACT METRIC SPACES. Jean BELLISSARD 1. Collaboration:

EXPANDERS, EXACT CROSSED PRODUCTS, AND THE BAUM-CONNES CONJECTURE. 1. Introduction

An Introduction to the Stolz-Teichner Program

Complex manifolds, Kahler metrics, differential and harmonic forms

C*-Algebraic Higher Signatures and an Invariance Theorem in Codimension Two

arxiv: v1 [math.rt] 2 Jun 2014

Periodic-end Dirac Operators and Positive Scalar Curvature. Daniel Ruberman Nikolai Saveliev

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

On 2-Representations and 2-Vector Bundles

Branching rules of unitary representations: Examples and applications to automorphic forms.

Critical point theory for foliations

An Invitation to Geometric Quantization

Kähler manifolds and variations of Hodge structures

Band-dominated Fredholm Operators on Discrete Groups

C*-Algebras and Group Representations

LECTURE 26: THE CHERN-WEIL THEORY

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS

Modern index Theory lectures held at CIRM rencontré Theorie d indice, Mar 2006

The Riemann-Roch Theorem

The Dirac operator on quantum SU(2)

As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).

New York Journal of Mathematics. Dualities in equivariant Kasparov theory

Mathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang

Transcription:

Introduction to the Baum-Connes conjecture Nigel Higson, John Roe PSU NCGOA07 Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 1 / 15

History of the BC conjecture Lecture 1: Elliptic operators and the BC Conjecture Throughout, G will be a group (perhaps with a locally compact topology). Definition A unitary representation of G is a (strongly) continuous homomorphism ρ: G U(H) from G to the group of unitary operators on a Hilbert space. There is a natural notion of direct sum of representations. A representation is irreducible if it cannot be nontrivially decomposed as a direct sum. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 2 / 15

An important example History of the BC conjecture Let G be the group Z (with the discrete topology). Then every complex number u with u = 1 corresponds to a 1-dimensional irreducible representation of G, on which n Z acts by multiplication by u n. Moreover, these are all the irreducible representations of G. Thus the space of irreducible (unitary) representations is naturally identified with the topological space S 1 (the unit circle). The goal of the Baum-Connes conjecture is to understand irreducible (unitary) representations topologically. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 3 / 15

Important clarification History of the BC conjecture In the case G = Z every unitary representation can be uniquely decomposed into a direct sum of irreducibles. Moreover the space of irreducibles carries a natural Hausdorff topology and can be studied as a conventional ( commutative ) object. These are hallmarks of the Type I situation. Outside Type I We do not have uniqueness of decompositions into irreducibles. The natural topology on the space of irreducibles is not Hausdorff, or even T 1. We avoid these difficulties by replacing the space of irreducibles by a C -algebra - a noncommutative space. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 4 / 15

History of Baum-Connes History of the BC conjecture Baum-Connes (Kingston Conference 1982) foliations and Lie groups Kasparov s Conspectus 1983 Baum-Connes-Higson 1994 Key idea: the relationship between topology and representation theory is mediated by elliptic operators. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 5 / 15

Unbounded operators Unbounded self-adjoint operators A bounded operator T on a Hilbert space H is self-adjoint if Tx, y = x, Ty x, y H. This can be generalized to unbounded, densely defined operators provided that careful attention is paid to domain questions. An unbounded, self-adjoint operator T gives rise to a functional calculus homomorphism φ T : f f (T ), C 0 (R) B(H), and the homomorphism completely determines the operator. We could say that an unbounded operator is a functional calculus homomorphism. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 6 / 15

Unbounded operators We shall be interested in graded Hilbert spaces H = H + H. In this case an odd unbounded operator is identified with a grading-preserving functional calculus homomorphism φ T : f f (T ), S B(H) where S denotes the algebra C 0 (R) graded by even and odd functions. Definition The unbounded self-adjoint operator T has compact resolvent if f (T ) is a compact operator for all f C 0 (R). (Equivalent spectral definition does not generalize.) Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 7 / 15

Example Unbounded operators Consider the space H = L 2 (S 1 ) of functions on the circle (f (θ) = f (θ + 2π)). The operator D = id/dθ is self-adjoint on H (integration by parts). In fact D is diagonal with respect to the basis {e inθ } of H, and the eigenvalues are {n}. Conclusion: D has compact resolvent. Note that the functions e inθ are the characters of the irreducible representations of Z. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 8 / 15

Elliptic operators Let M be a smooth manifold, D a first order (for simplicity) differential operator acting on sections of a vector bundle S over M. Definition The symbol of D is the bundle map σ D : T M End(S) that satisfies the Liebniz rule D(fs) = fds iσ D (df ) s f C (M), s C (S). The symbol is an algebraic representation of the highest order part of D. Definition D is elliptic if σ D (ξ) is invertible for all nonzero ξ T M. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 9 / 15

Elliptic operators Theorem A (self-adjoint) elliptic operator on a compact manifold has compact resolvent. Proof. Think first about constant coefficient operators (on the torus). Quantify the compact resolvent property in terms of an estimate on Sobolev norms. Use an approximation argument to show that the same estimate holds for variable-coefficient operators on small patches of a general manifold. Glue the patches together using a partition of unity. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 10 / 15

Clifford modules Elliptic operators Let V be a (real) vector space equipped with a symmetric bilinear form (, ). Definition A vector space W is a Clifford module over V if there is given a linear map c : V End(W ) such that c(u)c(v) + c(v)c(u) = 2(u, v)i u, v V. Consider the example V = inner product space of dimension 2k. Then there is a fundamental Clifford module of dimension 2 k, and any Clifford module is the direct sum of a number of copies of this fundamental one. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 11 / 15

Dirac operators Elliptic operators Let M be a Riemannian manifold. Suppose that S is a Clifford bundle over M that is, a vector bundle whose fiber S x at each point x is a Clifford module over the inner product space T x M. We can equip S with a (compatible) connection. Then the Dirac operator of S is the (first order differential) operator D : C (S) C (S) defined by C (S) C (T M S) g C (TM S) c C (S) Lemma The Dirac operator is self-adjoint and elliptic. Indeed, the symbol is σ D = c : T (M) End(S), which is (up to a scalar) its own inverse for nonzero ξ. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 12 / 15

Examples Elliptic operators The de Rham operator d + d on an oriented Riemannian manifold. (Its square is the classical Laplacian.) The Dolbeault operator + on a Kähler manifold. The Dirac operator of a Spin c manifold see below. Definition An (even-dimensional) Riemannian manifold is Spin c if it carries a Clifford bundle whose fiber at each point is a copy of the fundamental Clifford module. This is a generalized orientability condition. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 13 / 15

The index K -theory and the index The examples of Dirac operators discussed above (on even-dimensional manifolds) are all graded, i.e. S = S + S is a graded bundle and D is an odd operator with respect to the grading. If the underlying manifold is also compact, then the kernel Ker D is a graded (finite-dimensional) vector space and one defines Index(D) = dim(ker D) + dim(ker D). This is a topological invariant of the operator D. Recall that a (graded) operator with compact resolvent (such as D) gives rise to a (graded) homomorphism S K, f f (D). Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 14 / 15

K -theory and the index Lemma The collection of homotopy classes of graded homomorphisms S K is naturally parameterized by Z. This parameterization sends an operator D to its index. This is a (very) special case of Higson s spectral picture of K -theory. Generalizations: Hilbert modules on right, giving K (A). Algebra on left, giving morphisms on K -theory. Replace morphism by asymptotic morphism. Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 15 / 15