BASIC VON NEUMANN ALGEBRA THEORY

Similar documents
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)

Analysis Preliminary Exam Workshop: Hilbert Spaces

Elementary linear algebra

Preliminaries on von Neumann algebras and operator spaces. Magdalena Musat University of Copenhagen. Copenhagen, January 25, 2010

The Proper Generalized Decomposition: A Functional Analysis Approach

Upper triangular forms for some classes of infinite dimensional operators

FURTHER STUDIES OF STRONGLY AMENABLE -REPRESENTATIONS OF LAU -ALGEBRAS

Representation Theory

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

Fréchet differentiability of the norm of L p -spaces associated with arbitrary von Neumann algebras

A COMMENT ON FREE GROUP FACTORS

The following definition is fundamental.

Functional Analysis II held by Prof. Dr. Moritz Weber in summer 18

Popa s rigidity theorems and II 1 factors without non-trivial finite index subfactors

COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

A Brief Introduction to Functional Analysis

l 2 -Betti numbers for group theorists

LUCK S THEOREM ALEX WRIGHT

1.4 The Jacobian of a map

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

The secondary Novikov-Shubin invariants of groups and quasi-isometry

Von Neumann algebras and ergodic theory of group actions

Tracial Rokhlin property for actions of amenable group on C*-algebras June 8, / 17

DEFINABLE OPERATORS ON HILBERT SPACES

Poisson configuration spaces, von Neumann algebras, and harmonic forms

MATH 241B FUNCTIONAL ANALYSIS - NOTES SPECTRAL THEOREM

Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem

Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN

I teach myself... Hilbert spaces

Spectral Theory, with an Introduction to Operator Means. William L. Green

Lecture 1 Operator spaces and their duality. David Blecher, University of Houston

Recitation 1 (Sep. 15, 2017)

Hilbert Space Methods Used in a First Course in Quantum Mechanics A Recap WHY ARE WE HERE? QUOTE FROM WIKIPEDIA

Gaussian automorphisms whose ergodic self-joinings are Gaussian

Trace Class Operators and Lidskii s Theorem

The projectivity of C -algebras and the topology of their spectra

Math 123 Homework Assignment #2 Due Monday, April 21, 2008

Representations of Totally Disconnected Groups

The second dual of a C*-algebra

CHAPTER VIII HILBERT SPACES

Operator Algebras and Ergodic Theory

A brief introduction to trace class operators

A note on the σ-algebra of cylinder sets and all that

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

Tensor algebras and subproduct systems arising from stochastic matrices

Factorization of unitary representations of adele groups Paul Garrett garrett/

René Bartsch and Harry Poppe (Received 4 July, 2015)

K theory of C algebras

2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2

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

Borel complexity and automorphisms of C*-algebras

Problems in Linear Algebra and Representation Theory

Chapter 8 Integral Operators

Linear Algebra. Workbook

On the uniform Opial property

MORDELL EXCEPTIONAL LOCUS FOR SUBVARIETIES OF THE ADDITIVE GROUP

On Fréchet algebras with the dominating norm property

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

THE PROBLEMS FOR THE SECOND TEST FOR BRIEF SOLUTIONS

Spectral Measures, the Spectral Theorem, and Ergodic Theory

The Dirichlet-to-Neumann operator

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

FREE PROBABILITY THEORY

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

C*-algebras - a case study

Operator-valued Frames on C*-Modules

Convex Sets Associated to C -Algebras

Non commutative Khintchine inequalities and Grothendieck s theo

On positive maps in quantum information.

Lecture 11: Clifford algebras

REPRESENTATION THEORY, LECTURE 0. BASICS

NOTES ON PRODUCT SYSTEMS

Invariant Subspaces and Complex Analysis

arxiv:math/ v1 [math.ag] 24 Nov 1998

33 Idempotents and Characters

0.2 Vector spaces. J.A.Beachy 1

CHAPTER 8. Smoothing operators

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)

Classical stuff - title to be changed later

Fermionic coherent states in infinite dimensions

CHAPTER 3. Hilbert spaces

Substrictly Cyclic Operators

On Problems on von Neumann Algebras by R. Kadison, 1967

Induced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations

The complexity of classification problem of nuclear C*-algebras

THE NUMBER OF ORTHOGONAL CONJUGATIONS

Math 108b: Notes on the Spectral Theorem

arxiv: v1 [math.ag] 28 Sep 2016

Functional Analysis Exercise Class

C.6 Adjoints for Operators on Hilbert Spaces

BRAUER GROUPS 073W. This is a chapter of the Stacks Project, version 74eb6f76, compiled on May 29, 2018.

Cyclic cohomology of projective limits of topological algebras

Math 210C. The representation ring

Perron-Frobenius theorem

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

ON A CLASS OF IDEALS OF THE TOEPLITZ ALGEBRA ON THE BERGMAN SPACE

Real-Orthogonal Projections as Quantum Pseudo-Logic

We know that S is a weak* compact convex subset of N and here are some sample questions where the answers are much less clear. 1.

REPRESENTATION THEORY WEEK 7

Transcription:

BASIC VON NEUMANN ALGEBRA THEORY FARBOD SHOKRIEH Contents 1. Introduction 1 2. von Neumann algebras and factors 1 3. von Neumann trace 2 4. von Neumann dimension 2 5. Tensor products 3 6. von Neumann algebras associated with a discrete group 3 References 5 1. Introduction The theory of von Neumann algebras and von Neumann dimensions allows one to measure some infinite-dimensional subspaces in a Hilbert space, by assigning to them a notion of dimension (not necessarily an integer). We quickly review some very basic notions in the theory. We follow the presentation in [Shu93]. See also [Lüc02] and [Pan96] for proofs and a more thorough treatment. 2. von Neumann algebras and factors Let H be a Hilbert space over C with the (Hermitian) inner product,. Let B(H) be the algebra of all bounded linear operators on H. This is Banach space with respect to the operator norm. Moreover, this is a C -algebra: (i) B(H) is a Banach algebra, meaning AB A B for all A, B B(H). (ii) B(H) is a -algebra, i.e. it is closed under the operation of taking adjoints of operators, where A A is defined by the usual identity Ax, y = x, A y for all x, y H. (iii) (AB) = B A for all A, B B(H). (iv) A A = A 2 for all A B(H). For any subset M B(H), its commutant is the subalgebra M = {A B(H): AB = BA, B M} in B(H). Clearly, the identity operator I is in M. Definition 2.1. A von Neumann algebra on H is a subalgebra M B(H) such that (i) M is a -subalgebra. (ii) M = M. Date: October 30, 2017. 1

2 FARBOD SHOKRIEH It follows from M = M that I M. Remark 2.2. In Definition 2.1, the slightly unmotivated condition M = M can be replaced by either of the following two more natural conditions: (a) I M, and M is closed in the weak operator topology. (b) I M, and M is closed in the strong operator topology. This is usually called the von Neumann Double Commutant Theorem. Definition 2.3. Let M be a von Neumann algebra on H. (i) M is called a factor if its center is trivial, i.e. M M = {λi : λ C}. (ii) The set of all orthogonal projections in M is denoted by Pr(M). In other words Pr(M) = {A M: A 2 = A = A }. Factors can be thought of as indecomposable von Neumann algebras: every von Neumann algebra on a (separable) Hilbert space is isomorphic to a direct integral of factors. For our purpose, their significance lies in the fact that if M is a factor, then there is at most one trace function (up to a constant factor) on M. 3. von Neumann trace Definition 3.1. Let M be a von Neumann algebra on H. Let M + = {A M: A 0}. (Here A 0 means Ax, x R 0, x H). A trace on M is a function τ : M + [0, + ] satisfying: - (Linear) τ(aa + bb) = aτ(a) + bτ(b), a, b R 0 and A, B M +. - (Tracial) τ(a A) = τ(aa ), A M. - (Faithful) τ(a) = 0 A = 0. - (Normal) If {A α } is an increasing net on M + converging (in operator norm topology) to A, then {τ(a α )} is an increasing net on R 0 converging to τ(a). - (Semifinite) τ(a) = sup{τ(b): B M +, τ(b) < +, A B 0}, A M +. The most basic example is the following: Example 3.2. Clearly, M = B(H) is a von Neumann algebra. Moreover, it is a factor, hence there is at most one trace function Tr (up to scaling) associated to it. Let {u α } α J be an orthonormal basis for H. For A B(H) + define: (1) Tr(A) = α J Au α, u α, where the sum is understood as the supremum of finite partial sums. Then Tr defines a trace function according to Definition 3.1, and it is independent of the choice of the orthonormal basis. Any other trace on B(H) is of the form c Tr for some c > 0.

BASIC VON NEUMANN ALGEBRA THEORY 3 4. von Neumann dimension Now we can describe the beautiful approach to assigning a notion of dimension to certain infinite dimensional subspaces of H. Definition 4.1. Let M be a von Neumann algebra on H. (i) A subspace L H is admissible with respect to M (or M-admissible) if there is an orthogonal projection A Pr(M) such that L = Image(A). The set of all M- admissible subspaces of H is the M-admissible Grassmannian: Gr(H, M) = {L H: L = Image(A) for some A Pr(M)}. (ii) Given a trace τ on M, define the corresponding dimension function dim τ : Gr(H, M) [0, + ] by L = Image(A) τ(a). It is elementary to check that this notion of dimension generalizes the dimension theory for finite-dimensional vector spaces. The following (expected) properties of dim τ are easy to verify: (i) dim τ (L) = 0 L = {0}. (ii) L 1 L 2 dim τ (L 1 ) dim τ (L 2 ). (iii) L 1 L 2 dim τ (L 1 L 2 ) = dim τ (L 1 ) + dim τ (L 2 ). (iv) If U M is unitary (i.e. U 1 = U ), then dim τ (U(L)) = dim τ (L). 5. Tensor products Let (H 1,, 1 ) and (H 1,, 1 ) be two Hilbert spaces. Let H 1 alg H 2 denote the algebraic (vector space) tensor product. The vector space H 1 alg H 2 is endowed with an inner product defined by x 1 x 2, y 1 y 2 = x 1, y 1 x 2, y 2. The Hilbert space tensor product H 1 H 2 is, by definition, the (metric space) completion of H 1 alg H 2 with respect to the inner product. If A 1 B(H 1 ) and A 2 B(H 2 ), we can form the algebraic tensor product A 1 alg A 2 : H 1 alg H 2 H 1 alg H 2. It can be extended (by continuity) to an operator A 1 A 2 B(H 1 H 2 ). If M 1 B(H 1 ) and M 2 B(H 2 ) are von Neumann algebras we may form the von Neumann tensor product M 1 M 2. This is the strong (or weak) completion of the set of all finite linear combinations of tensor products A 1 A 2 where A 1 M 1 and A 2 M 2. Equivalently, M 1 M 2 is the von Neumann algebra generated by the algebraic tensor product M 1 alg M 2 inside B(H 1 ) B(H 2 ). 6. von Neumann algebras associated with a discrete group We will now focus on the von Neumann algebras and dimensions that arise in the presence of group actions.

4 FARBOD SHOKRIEH 6.1. Group von Neumann algebras. Let G be a discrete group (topological group equipped with the discrete topology). Consider the Hilbert space: l 2 (G) = {f f : G C, f 2 = g G f(g) 2 < + }, where, as usual, the sum is understood as the supremum of finite partial sums. An orthonormal basis is given by {δ g : g G}, where δ g (h) = 1 if g = h and 0 otherwise. Translations operators generate (two) natural von Neumann algebra on l 2 (G), which we now describe. For each g G, we have the following left and right translation operators L g, R g B(l 2 (G)): L g (f)(h) = f(g 1 h), h G, R g (f)(h) = f(hg), h G. In terms of the orthonormal basis {δ g : g G} we have Clearly, both L g and R g are unitary: It is easy to see L g (δ h ) = δ gh, R g (δ h ) = δ hg 1. (L g ) = (L g ) 1 = L g 1, (R g ) = (R g ) 1 = R g 1. L g1 g 2 = L g1 L g2, R g1 g 2 = R g1 R g2. In fact, the assignments g L g and g R g are the usual left and right regular representations of G. Now we are ready to define the relevant group von Neumann algebras: Definition 6.1. (i) M l = M l (G) is the von Neumann algebra generated by {L g : g G} B(l 2 (G)). (ii) M r = M r (G) is the von Neumann algebra generated by {R g : g G} B(l 2 (G)). It turns out M l = (M r ), M r = (M l ). so one might alternatively define M l (respectively M r ) as the algebra of G-equivariant bounded operators on l 2 (G). Also, M l and M r are factors if and only if all non-trivial conjugacy classes in G are infinite. For example, this is the case when G is a free group on at least two generators. Finally, a trace on M r (and also on M l ) is defined by (2) τ(a) = Aδ h, δ h, for h G. This is independent of the choice of h, so it is convenient to use the h = id, the group identity.

BASIC VON NEUMANN ALGEBRA THEORY 5 6.2. Hilbert G-modules, and G-dimensions. By a Hilbert G-module we mean a Hilbert space together with a (left) unitary action of the discrete group G. Definition 6.2. A free Hilbert G-module is a Hilbert G-module which is unitarily isomorphic to l 2 (G) H, where H is a Hilbert space with the trivial G-action and the action of G on l 2 (G) is by left translations. In other words, the representation of G on l 2 (G) H is given by g L g I. Let {u α } α J be an orthonormal basis for H. Then we have an orthogonal decomposition l 2 (G) H = α J l 2 (G) (α), where l 2 (G) (α) = l 2 (G) u α is just a copy of l 2 (G). This means l 2 (G) H = { α J f α u α : f α l 2 (G), α J f α 2 < + }. Moreover, an orthonormal basis for l 2 (G) H is {δ g u α : g G, α J}. We are interested in the following von Neumann algebra on l 2 (G) H: M r (G) B(H). By combining (1) and (2) in, we obtain the following trace function. Definition 6.3. Let {u α } α J be an orthonormal basis for H. For every A (M r (G) B(H)) +, define Tr G (A) = (τ Tr)(A) = h u α ), δ h u α, α J A(δ for h G. This is independent of the choice of h, so it is convenient to use the h = id, the group identity. It can be checked that this is a trace function according to Definision 3.1. Definition 6.4. A projective Hilbert G-module is a Hilbert G-module V which is unitarily isomorphic to a closed submodule of a free Hilbert G-module, i.e. a closed G-invariant subspace in some l 2 (G) H. Note that the embedding of V into l 2 (G) H is not part of the structure; only its existence is required. For the moment, we will fix such an embedding. Let P V denote the orthogonal projection from l 2 (G) H onto V. Note that P V M r (G) B(H) because it commutes with all L g I. Definition 6.5. Let V be a projective Hilbert G-module. Fix an embedding into a free Hilbert G-module l 2 (G) H, and let P V M r (G) B(H) denote the orthogonal projection onto V. The G-dimension of V is defined as dim G (V) = Tr G (P V ). The amazing (but elementary) fact is that dim G (V) does not depend on the choice of the embedding of V into a free Hilbert G-module. Therefore it is a well-defined invariant of the projective Hilbert G-module V. Furthermore, it satisfies the following properties: (i) dim G (V) = 0 V = {0}.

6 FARBOD SHOKRIEH (ii) dim G (l 2 (G)) = 1. (iii) dim G (l 2 (G) H) = dim C (H). (iv) dim G (V 1 V 2 ) = dim G (V 1 ) + dim G (V 2 ). (v) V 1 V 2 dim G (V 1 ) dim G (V 2 ). Equality holds here if and only if V 1 = V 2. (vi) If 0 U V W 0 is a short weakly exact sequence of projective Hilbert G-modules, then dim G (V) = dim G (U) + dim G (W). (vii) V and W are weakly isomorphic, then dim G (V) = dim G (W). We call a sequence of U i V p W of projective Hilbert G-modules weakly exact at V if Kernel(p) = cl(image(i)). A map of projective Hilbert G-modules V W is a weak isomorphism if it is injective and has dense image. References [Lüc02] Wolfgang Lück, L 2 -invariants: theory and applications to geometry and K-theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, vol. 44, Springer-Verlag, Berlin, 2002. MR1926649 1 [Pan96] Pierre Pansu, Introduction to L 2 Betti numbers, Riemannian geometry (Waterloo, ON, 1993), 1996, pp. 53 86. MR1377309 1 [Shu93] Mikhail A. Shubin, von Neumann algebras and L 2 -invariants, 1993. Lecture Notes, Northeastern University. Draft of the book available at http://ium.mccme.ru/f02/vna.html. 1 Cornell University, Ithaca, New York 14853-4201, USA E-mail address: farbod@math.cornell.edu