Nonunital spectral triples and metric completeness in unbounded KK-theory
|
|
- Percival Hancock
- 5 years ago
- Views:
Transcription
1 University of Wollongong Research Online Faculty of Engineering and Information Sciences - Papers: Part A Faculty of Engineering and Information Sciences 2016 Nonunital spectral triples and metric completeness in unbounded KK-theory Bram Mesland University of Warwick, Leibniz University of Hannover Adam C. Rennie University of Wollongong, renniea@uow.edu.au Publication Details Mesland, B. & Rennie, A. C. (2016). Nonunital spectral triples and metric completeness in unbounded KK-theory. Journal of Functional Analysis, 271 (9), Research Online is the open access institutional repository for the University of Wollongong. For further information contact the UOW Library: research-pubs@uow.edu.au
2 Nonunital spectral triples and metric completeness in unbounded KKtheory Abstract We consider the general properties of bounded approximate units in non-self-adjoint operator algebras. Such algebras arise naturally from the differential structure of spectral triples and unbounded Kasparov modules. Our results allow us to present a unified approach to characterising completeness of spectral metric spaces, existence of connections on modules, self-adjointness and regularity of induced operators on tensor product C -modules and the lifting of Kasparov products to the unbounded category. In particular, we prove novel existence results for quasicentral approximate units in non-self-adjoint operator algebras, allowing us to strengthen Kasparov's technical theorem and extend it to this realm. Finally, we show that given any two composable KK-classes, we can find unbounded representatives whose product can be constructed to yield an unbounded representative of the Kasparov product. Keywords spectral, kk-theory, triples, metric, completeness, nonunital, unbounded Disciplines Engineering Science and Technology Studies Publication Details Mesland, B. & Rennie, A. C. (2016). Nonunital spectral triples and metric completeness in unbounded KKtheory. Journal of Functional Analysis, 271 (9), This journal article is available at Research Online:
3 Nonunital spectral triples and metric completeness in unbounded KK-theory Bram Mesland, Adam Rennie Mathematics Institute, Zeeman Building, University of Warwick Coventry CV4 7AL, UK Institut für Analysis, Leibniz Universität Hannover Welfengarten 1, Hannover, Germany School of Mathematics and Applied Statistics, University of Wollongong Wollongong, Australia March 30, 2016 Abstract We consider the general properties of bounded approximate units in non-self-adjoint operator algebras. Such algebras arise naturally from the differential structure of spectral triples and unbounded Kasparov modules. Our results allow us to present a unified approach to characterising completeness of spectral metric spaces, existence of connections on modules, self-adjointness and regularity of induced operators on tensor product C - modules and the lifting of Kasparov products to the unbounded category. In particular, we prove novel existence results for quasi-central approximate units in non-self-adjoint operator algebras, allowing us to strengthen Kasparov s technical theorem and extend it to this realm. Finally, we show that given any two composable KK-classes, we can find unbounded representatives whose product can be constructed to yield an unbounded representative of the Kasparov product. Contents 1 Approximate units and unbounded multipliers for operator algebras Operator algebras and differentiable algebras Bounded approximate units Bounded and unbounded multipliers of differentiable algebras Metric completeness via approximate units 19 3 Approximate units and connections on operator modules Projective modules Connections and splittings Complete projective modules Self-adjointness and regularity mesland@math.uni-hannover.de, renniea@uow.edu.au, MSC Classification: 19K35, 46L07, 54E50 1
4 4 Completeness and the Kasparov product Constructing the unbounded Kasparov product Quasicentral approximate units Completeness and the technical theorem Lifting Kasparov modules to correspondences A Weakly anticommuting operators 63 Introduction In this paper we analyse the completeness of metric spaces associated to (nonunital) spectral triples, the existence of differentiable structures and connections on modules over algebras associated to spectral triples, and we prove that Kasparov products can be lifted to the unbounded setting in a very strong sense. The precise conditions under which such liftings exist have become important due to recent applications of the unbounded Kasparov product, [12, 13, 32, 41]. These seemingly disparate topics are in fact related by the systematic use of approximate units for differentiable algebras, introduced below. Technical advances in approximate units have often heralded conceptual advances in operator algebras and noncommutative geometry. Pertinent examples include quasicentrality [1], Higson s proof of Kasparov s technical theorem, [26], and the early approaches to summability for nonunital spectral triples, [24, 46]. In this paper we refine the notion of approximate unit further by looking at differentiable algebras of spectral triples (or unbounded Kasparov modules). Given a separable C -algebra A with spectral triple (A, H, D), we define a differentiable algebra to be a separable -subalgebra A with A A D = { a A : [D, a] is defined on Dom D, a D := ( a 0 [D, a] a) } <, which is closed in the norm D and dense in the C -algebra A. Here is the usual norm of operators on H H. While we can always choose an approximate unit (u n ) for A consisting of elements of the prescribed dense subalgebra A, the requirement that (u n ) be an approximate unit for A is much stronger, and yields finer information. For spectral metric spaces associated to spectral triples we obtain a characterisation of metric completeness in terms of the existence of an approximate unit (u n ) for the C -algebra A whose Lipschitz norm is uniformly bounded in the sense that sup n [D, u n ] <. This extends previous results of Latrémolière [39] to unbounded metrics. By addressing completeness in a way compatible with [40], we complement Latrémolière s more refined picture of unbounded spectral metric spaces. In addition, we obtain stronger forms of metric completeness, characterised by the requirement that the derivatives [D, u n ] of the approximate unit converge to zero in norm. This property corresponds to topological infinity being at infinite distance, and reflects the behaviour of geodesically complete manifolds. We present examples illustrating this analogy in Section 2. Beyond metric properties, we use completeness and approximate units to describe a refinement of unbounded Kasparov modules and correspondences for which the Kasparov product can be explicitly constructed. Our main results then show that any pair of composable KK-classes 2
5 have representatives which can be lifted to such modules. These results rely in an essential way on the two notions of completeness we introduce in Sections 1 and 2, and generalise all previous such constructions by incorporating projective modules defined by unbounded projections. We now describe these results in more detail. We begin Section 1 by establishing the basic concepts and notation that we will use throughout the paper, in particular (non-self-adjoint) operator algebras and their approximate units. Then we prove a range of results about bounded approximate units in operator algebras, which greatly extend known results about contractive approximate units. A key result is Theorem 1.7 which says Let A be an operator algebra with bounded approximate unit (u λ ), and π : A B(H) a cbrepresentation. Then π(u λ ) converges strongly, and hence weakly, to an idempotent q B(H) with the following properties: 1) for all a A, qπ(a) = π(a)q = π(a); 2) qh = [π(a)h]; 3) (1 q)h = Nil π(a); 4) q π sup λ u λ. The close relationships between the notions of approximate unit, unbounded multiplier and strictly positive element for differentiable algebras which one would expect from the corresponding C -theory only hold when we have the strong form of completeness, namely [D, u n ] 0 in norm. Such approximate units may be normalised by replacing them by ũ n := un u n D to obtain an approximate unit that is contractive, i.e. ũ n D 1. The result on which the rest of the paper relies is Theorem 1.25 which says Let D : Dom D E B E B be self-adjoint and regular and A Lip(D) a differentiable algebra such that [AE B ] = E B. Then the following are equivalent: 1) there exists an increasing commutative approximate unit (u n ) A with [D, u n ] 0; 2) there exists a positive self-adjoint complete multiplier c for A; 3) there is a strictly positive element h A with Im (D ± i) 1 h = Im h(d ± i) 1, and constant C > 0 with ±i[d, h] Ch 2. Our characterisations of completeness are also essential ingredients in constructing useful modules over differentiable algebras. By considering the behaviour of approximate units for the finite rank operators on such modules, we are led to two classes of modules: projective modules, and complete projective modules. Geometric examples coming from fibre bundles necessitate the use of projections whose derivative is unbounded in the sense that [D, p] is unbounded, [13, 23]. This is a substantial extension of the situation considered in [32, 42]. These complete projective modules are characterised by the existence of certain types of approximate units for their compact endomorphisms, and it is in this setting that we can systematically relate frames, splittings of the Cuntz-Quillen sequence, and existence of connections. This is discussed in Section 3. In particular we gain tools for studying self-adjointness of operators arising in the context of Kasparov products, and Theorem 3.18 proves Let E B be a complete projective module for the unbounded Kasparov module (B, F C, D). Then the densely defined symmetric operator 1 D on E B F C is self-adjoint and regular. The proof of the self-adjointness of the operator 1 D relies on the local-global principle, due to Pierrot and Kaad-Lesch, [31, 45], and on the completeness of the module E B. The resulting argument is in the spirit of self-adjointness proofs for Dirac operators on complete manifolds. 3
6 To prove our results about representing Kasparov classes as composable unbounded Kasparov modules, we extend the notion of quasi-central approximate units to differentiable algebras. We obtain a novel, strong form of quasicentrality in the general context of non-self-adjoint operator algebras in Theorem Our results concerning existence of such approximate units are new even for C -algebras. This study culminates in a refinement of Kasparov s technical theorem for differentiable algebras in Theorem Both the statement and the proof are in the same spirit as Higson s version, [26]. With this tool in hand, we show that given an arbitrary pair of composable Kasparov classes, we can find unbounded Kasparov modules which represent these classes and whose product can be constructed in the unbounded setting. This is done by associating to a bounded Kasparov module a correspondence in a slightly broader sense than was used in [13, 32, 42]. Earlier forms of this lifting construction were first considered in [4] to handle external products, and later in [37], in the context of internal products. We prove successively stronger lifting results in Theorem 4.7, Proposition 4.20, Theorem 4.23 and Proposition 4.29, culminating in Theorem 4.30 which says Let A, B, C be separable C -algebras, x KK(A, B) and y KK(B, C). There exists an unbounded Kasparov module (B, E C, T ) representing y and a correspondence (A, E B, S, ) for (B, E C, T ) representing x. Consequently (A, E B B E C, S 1+1 T ) represents the Kasparov product x B y. This result can also be interpreted as an alternative proof of the existence of the Kasparov product. By proving the existence of unbounded representatives of a very special form, the product can be constructed via an explicit algebraic formula. To lift Kasparov modules to unbounded representatives, we prove the existence of, equivalently, either a frame, an approximate unit or a strictly positive element possessing certain properties. Given such a frame, connections and so products become explicitly computable. The unbounded Kasparov modules we construct are complete in the strong metric sense, so every KK-class has such a representative. On the other hand, not every unbounded representative of a Kasparov class is complete. For instance Kaad s example of the half-line, [30], or Baum, Douglas and Taylor s examples, [5], from manifolds with boundary will not satisfy our completeness requirements. If we take the associated KK-class of the Dirac operator on a manifold with boundary, and then lift a bounded representative to a complete unbounded module, we will have seriously altered the geometry. Acknowledgements This work has profited from discussions with S. Brain, I. Forsyth, V. Gayral, M. Goffeng, N. Higson, J. Kaad, M. Lesch, A. Sims and W. D. van Suijlekom. AR was supported by the Australian Research Council. BM was supported by EPSRC grant EP/J006580/2. The authors thank the Hausdorff Institute for Mathematics for its hospitality and support during the (northern) fall of 2014, as well as the University of Wollongong for hosting BM on several occasions in Lastly, it is a pleasure to thank the anonymous referee for their careful reading of the paper which has resulted in numerous improvements. 1 Approximate units and unbounded multipliers for operator algebras This section begins by recalling some of the basic elements of operator algebras we require. Then we address the definitions of, and relationships between, approximate units, strictly 4
7 positive elements and unbounded multipliers. For C -algebras these notions are closely related due to the connection between the norm and the spectrum. Here we must work somewhat harder, but the outcome is a systematic way of capturing the notion of metric completeness, and this plays a significant rôle throughout the rest of the paper. 1.1 Operator algebras and differentiable algebras By an operator algebra we will mean a concrete operator algebra, that is, a closed subalgebra A B of some C -algebra B. By representing B isometrically on a Hilbert space H, we can always assume that B = B(H). An operator -algebra [32, 42] is an operator algebra A B(H) with a completely bounded involution : A A. This involution will in general not coincide with the involution of the ambient C -algebra B(H), unless A itself is actually a C -algebra. There are two C -algebras canonically associated to a concrete operator -algebra A B. The first is the enveloping C -algebra C (A), defined to be the smallest C -subalgebra of B containing A. In fact this C -algebra depends only on the inclusion A B, i.e. on the structure of A as a concrete operator algebra. The second C -algebra is the C -closure A, constructed from viewing A as a Banach -algebra, and completing in the C -norm coming from the square root of the spectral radius of a a. The two C -algebras are almost always different, as A is always dense in A, but is usually not dense in C (A). The main examples of operator algebras that we consider arise in the following setting. Given an unbounded (even) (A, B) Kasparov module (A, E B, D), we denote the algebra of adjointable operators on the C -module E B by End B (E). The algebras A and B are (possibly trivially) Z 2 -graded, as is the module E, and all commutators are Z 2 -graded. The grading operator on E will be denoted by γ or γ E when needed, and we observe that if B is non-trivially graded, γ E is not an adjointable operator, and γ E (eb) = γ E (e)γ B (b), where γ B is the grading on B. In addition we have the identities [D, π(a)] = Dπ(a) π(γ A (a))d, [D, π(a)] = [D, π(γ A (a ))], π(γ A (a)) = γ E π(a)γ E. See [6] for more information. When no confusion can occur, we will just write γ in all cases. We realise the full Lipschitz algebra A D = {a A : a Dom D Dom D, [D, a] End B(E)} as an operator -algebra via ( ) π(a) 0 π D : A D a π D (a) := End [D, π(a)] π(γ(a)) B(E E). (1.1) Here π : A End B (E) is the representation implicit in the Kasparov module (A, E B, D) and it will often be suppressed in the notation (as in the Introduction). We also recall that [D, π(a)] End B (E) is short hand for the densely defined commutator having an adjointable extension to all of E B. Throughout the paper we will denote U = ( ) The involution is completely isometric in this case because ( ) π D (a ) = U π(γ(a)) 0 U = U π [D, π(γ(a))] π(a) D (γ(a)) U, 5
8 cf. [42, cf. Proposition 4.1.3]. We will call π D the standard Lipschitz representation of A D, and always consider A D to be topologised by the operator norm π D (a) in this representation. If A is not represented faithfully on E B, the standard Lipschitz representation should be modified to a a π D (a) A End B(E E). We will always suppress this modification as it is inconsequential for our computations (in fact it only obscures them). A more general setting where this operator algebra structure can be discussed is symmetric spectral triples or symmetric Kasparov modules, [28, Section 3]. Here we have a triple (A, E B, D) with D a (closed) symmetric regular operator such that a(1 + D D) 1/2 is compact for all a A. We also require that the subalgebra A of a A for which a Dom D Dom D and [D, a], defined on Dom D, has an adjointable extension to all of E B is dense in A. Remark 1.1. In this case [D, a] = [D, γ(a )], both initially defined on Dom D. The equality on Dom D proceeds as in [22, cf. Proposition 2.1], but to see that the equality holds on all of E B relies on the stronger assumptions needed for unbounded Kasparov modules (as opposed to spectral triples). Specifically, the quadratic forms associated to the operators [D, a] and [D, γ(a )] coincide on Dom D, and the fact that [D, a] has an adjointable (and so bounded) extension to E B ensures that the continuous extensions to E B coincide. We can again use the representation π D : A D a π D (a) := ( ) a 0 [D End, a] γ(a) B(E E) (1.2) to give A D the structure of an operator space. More generally still, associated to a closed symmetric regular operator D on a C -module E B is the operator algebra Lip(D) := {T End B(E) : T Dom D Dom D, [D, T ] End B(E)}, (1.3) the Lipschitz algebra of D, which is an operator algebra in the representation π D (cf. [42, Def ]). Here, as above, [D, T ] initially defined on Dom D is required to have an adjointable extension to all of E B. By [42, Sec. 4.2], Lip(D) is spectral invariant in its C -closure, and hence stable under the holomorphic functional calculus. The same holds for any closed subalgebra of Lip(D). Definition 1.2. Let D : Dom D E B be a closed symmetric regular operator. A differentiable algebra is a separable operator -subalgebra A Lip(D) which is closed in the operator space topology given by π D. By projecting onto the first component of π D (A), the C -closure of a differentiable algebra A coincides with the closure of A viewed as a subalgebra of End B (E), and is thus a C -algebra. Remark 1.3. We will present examples at the end of Section 2 showing that for an unbounded Kasparov module (A, E B, D), in general one needs to choose algebras smaller than A D in order to apply the methods that we develop in the remainder of the paper. Therefore we employ the notation (A, E B, D) for unbounded Kasparov modules, where A A D is a closed subalgebra in the Lipschitz topology whose C -closure is A. 6
9 Operator spaces and modules play a central rôle in this paper and we now introduce some concepts of operator space theory that we will need. All operator spaces we encounter are concrete operator spaces, that is, given explicitly as closed subspaces of B(H) for some Hilbert space H. For a comprehensive treatment of operator algebras and modules, see [7]. The main feature of an operator space X is the existence of canonical matrix norms, that is, a norm n on M n (X) for each n N. For a concrete operator space X B(H) these norms are obtained from the natural representation of M n (X) on B(H n ). A linear map φ : X Y between operator spaces X and Y is completely bounded if φ cb := sup{sup φ(x ij ) Mn(Y ) : (x ij ) Mn(X) 1} <, n and we refer to φ cb as the cb-norm of φ. The map φ is completely contractive if φ cb 1. If we are given an operator algebra A B(H) and an operator space X B(H), we say that X is a concrete left operator A-module if A X X. Here denotes the usual operator multiplication in B(H). Right modules are defined similarly. The Haagerup tensor product of operator spaces X and Y is defined to be the completion of the algebraic tensor product X Y over the complex numbers, in the Haagerup norm { z 2 h := inf xi x i yi y i : z = x i y i }, (1.4) and the completion is denoted X Y. In case X is a left and Y is a right operator A-module, the Haagerup module tensor product X A Y is the quotient of X Y by the closed linear span of the expressions x ay xa y. The norm on X A Y is the quotient norm. The main feature of the Haagerup tensor product is that it makes operator multiplication X A X continuous for operator modules. An equivalent way of defining operator modules is by requiring the multiplication to be contractive on the Haagerup tensor product, cf. [16, Cor. 3.3]. See also [7, Thm ] and [10]. By an inner product operator module [31, 42] we mean a right operator module E over an operator -algebra B, that comes equipped with a sesquilinear pairing satisfying the usual inner product axioms, E E B, (e 1, e 2 ) e 1, e 2, e 1, e 2 b = e 1, e 2 b, e 1, e 2 = e 2, e 1, e, e 0 in B, e, e = 0 e = 0, and the weak Cauchy-Schwarz inequality e 1, e 2 B C e 1 E e 2 E on the level of matrix norms, for some C > 0. Notice that the norm E is part of the data and we do not require E to be complete in the norm e 2 inn := e, e B, which in general will be different from E. For example, consider the operator -algebra A D in the representation (1.1), viewed as an inner product module over itself via a, b := a b. Thus norm of a E = A is given by a 2 E = a 2 D = π D(a) π D (a) π D (a a) = π D ( a, a ) = a 2 inn. 1.2 Bounded approximate units In this section we gather some useful facts about bounded approximate units in the general setting of operator algebras. We write for the norm on an operator algebra, and this can 7
10 include the norm on operators on a C -module or Hilbert space. When we need to stress the distinction, we will write for the usual norm on operators on a Hilbert space or C -module. For the example of a (symmetric) spectral triple (A, H, D) we have a = π D (a). Definition 1.4. Let A be an operator algebra. A bounded approximate unit for A is a net (u λ ) λ Λ A such that: 1) sup λ u λ < ; 2) for all a A, lim λ u λ a a = lim λ au λ a = 0. The bounded approximate unit is commutative if u λ u µ = u λ u µ for all λ, µ Λ and sequential in case Λ = N. By a cb-representation of an operator algebra A we mean a completely bounded algebra homomorphism π : A B(H), where H is a Hilbert space. A representation π is essential (also called nondegenerate in the literature) if π(a)h is dense in H. Our first aim is to show that in any cb-representation of an operator algebra A, a bounded approximate unit converges strongly to an idempotent. Let π : A B(H) be a cb-representation. For W H, denote by W its orthogonal complement, by [W ] the closed linear span of W, and set π(a)h := {π(a)h : a A, h H}. The Hilbert space H splits as a direct sum of closed orthogonal subspaces in two ways: H = [π(a)h] [π(a)h] = [π(a) H] [π(a) H]. Another important subspace of H associated to π is Nil π(a) := {h H : π(a)h = 0 for all a A}. Lemma 1.5. Let A be an operator algebra and π : A B(H) a cb-representation. Then Nil π(a) = [π(a) H]. Proof. For h Nil π(a) and v H, a A we have h, π(a) v = π(a)h, v = 0, so Nil π(a) [π(a) H]. Now let h [π(a) H], v H and a A. Then π(a)h, v = h, π(a) v = 0, so π(a)h = 0 and h Nil π(a). Lemma 1.6. Let A be an operator algebra with bounded approximate unit (u λ ) and also let π : A B(H) be a cb-representation. Then: 1) π(u λ )h h for all h [π(a)h]; 2) Nil π(a) [π(a)h] = {0} = Nil π(a) [π(a) H]. Proof. To prove 1), let h = π(a)v and observe that π(u λ )h h since (u λ ) is an approximate unit. So the convergence property is satisfied by all h in a dense subset of [π(a)h]. Uniform boundedness of (u λ ) now gives the result for all h [π(a)h]. For 2), let h be a vector in the intersection Nil π(a) [π(a)h] so that π(u λ )h h as above, since h [π(a)h]. On the other hand, since h Nil π(a), we have π(a)h = 0 for all a A, so in particular π(u λ )h = 0 for all λ, so h = 0. Similarly Nil π(a) [π(a) H] = {0}. 8
11 The following theorem generalises the observations in the appendix to [42]. The result has been known for contractive approximate units for a long time: see for example [7, Lemma 2.1.9] and its proof. Theorem 1.7. Let A be an operator algebra with bounded approximate unit (u λ ), and π : A B(H) a cb-representation. Then the net (π(u λ )) converges strongly, and hence weakly, to an idempotent q B(H) with the following properties: 1) for all a A, qπ(a) = π(a)q = π(a); 2) qh = [π(a)h]; 3) (1 q)h = Nil π(a); 4) q π sup λ u λ. Proof. Denote by p the projection onto [π(a)h] and by p the projection onto [π(a) H]. The bounded and self-adjoint operator x (p + (1 p ))x, is injective, for if (p + (1 p ))x = 0 then px = (1 p )x so px [π(a)h] [π(a) H] = [π(a)h] Nil π(a) = {0}. Therefore px = (1 p )x = 0 and x = (1 p)x = p x, so Since p + (1 p ) is self-adjoint, x [π(a)h] [π(a) H] = Nil π(a) [π(a) H] = {0}. [Im(p + (1 p ))] = ker(p + (1 p )) = H, and therefore Im(p + (1 p )) is dense in H. In particular, the subspace [π(a)h] + Nil π(a) is dense in H. Now let ξ H and ε > 0. Choose x [π(a)h] and y Nil π(a) such that ξ x y < ε 4C, with C := sup π(u λ). Now choose λ < µ large enough such that π(u λ u µ )x < ε 2. Then π(u λ u µ )ξ π(u λ u µ )(x + y) + π(u λ u µ )(ξ x y) π(u λ u µ )x + π(u λ u µ ) (ξ x y) ε 2 + ε 2 = ε, which shows that (π(u λ )) is a strong Cauchy net. Since the strong operator topology is complete on bounded sets, the sequence has a limit q. By definition of q which proves 1). From this it follows that qπ(a) = π(a) = π(a)q, (1.5) q 2 ξ = lim λ π(u λ )qξ = lim λ π(u λ )ξ = qξ, so q is idempotent and in particular has closed range. It is immediate from the definiton of q and Equation (1.5) that π(a)h Im q [π(a)h], 9
12 and so Im q = [π(a)h], proving 2). For 3), observe that π(a)(1 q) = (1 q)π(a) = 0, so we have Im(1 q) Nil π(a). If h Nil π(a), then qh = 0, so h = (1 q)h Im(1 q). Finally, 4) follows from q = sup qh sup lim h 1 h 1 λ π(u λ )h π sup u λ λ Corollary 1.8. The Hilbert space H splits as a non-orthogonal direct sum H = [π(a)h] [π(a) H]. Such splittings for C -modules need to be handled with more care, and we only treat the case of symmetric Kasparov modules with some additional convergence hypotheses. Recall that the strict topology on End B (E) is defined by the seminorms T e := max{ T e, T e }, and thus models pointwise convergence on E B. Proposition 1.9. Let (A, E B, D) be a symmetric Kasparov module for which [π(a)e B ] is a complemented submodule of E B and p End B (E B) the corresponding projection. Let (u n ) be an even sequential bounded approximate unit for the differentiable algebra A. Then: 1) p is the strict limit of (u n ); 2) p[d, u n ]p 0 strictly; 3) if (Du n e) converges for all e Dom D then p Lip(D ) and [D, p] is the strict limit of the sequence ([D, u n ]). Proof. Let p be the projection onto [π(a)e B ], which exists because this submodule is complemented. For e [π(a)e B ] we have u n e e, since u n a a in the C -norm. Moreover pa = ap = a for all a A, and thus (1 p)a = a(1 p) = 0. Therefore lim n u n e = lim n u n pe + u n (1 p)e = lim n u n pe = pe, and u n p strictly, proving 1). Since (u n ) is a bounded approximate unit for A, the sequence of operators [D, u n ] is uniformly bounded. For a A and e Dom D we have [D, u n ]ae = [D, u n a]e u n [D, a]e. Since ae = pae = ape, multiplying on the left by p yields p[d, u n ]pae = p[d, u n a]pe pu n [D, a]pe. Both terms on the right hand side converge to p[d, a]pe, and so the right hand side converges to zero. Hence the left hand side also converges to zero. As vectors of the form ae are dense in pe B, we see that p[d, u n ]p converges pointwise to zero. Since we have a symmetric Kasparov module and u n is even, it holds that (p[d, u n ]p) = p[d, u n]p, and so (u n) is also a bounded approximate unit for A. Repeating the previous arguments for u n shows that p[d, u n]p converges pointwise to zero, and so we see that p[d, u n ]p converges strictly to 0, which proves 2). To prove 3) we first show that p maps Dom D into Dom D. As (A, E B, D) is a symmetric Kasparov module, each u n maps the domain of D into the domain of D. Since, by assumption, ( ) ( ) e un e π D (u n ) D =, e Du n e 10
13 is convergent and by 1) the projection p is the strict limit of the u n, we find that ( ) ( ) e pe lim u n n D =. e x Now the graph of D is closed so it follows that pe Dom D and x = lim n Du ne = Dpe. (1.6) Now observe that, since p Dom D Dom D we can write for e Dom D [D, u n ]e = [D, u n ]pe + [D, u n ](1 p)e = Du n pe u n Dpe + Du n (1 p)e u n D (1 p)e = Du n e u n Dpe u n D (1 p)e Dpe pdpe pd (1 p)e by Equation (1.6) = [D, p]e, which tells us that [D, u n ] converges to [D, p] on Dom D. Since the sequence [D, u n ] is bounded, it converges strictly on all of E B, and the operator [D, p] is thus bounded on Dom D. This proves 3). Remark It would be desirable to remove the convergence hypothesis in 3). At present it seems unlikely to be possible without further assumptions. In fact our seeming flexibility in allowing symmetric operators is redundant in the presence of a bounded approximate unit. Corollary Let (A, E B, D) be a symmetric Kasparov module with A E B dense in E B. If A has a sequential bounded approximate unit then D is self-adjoint. Proof. Suppose we have an approximate identity (u n ) with [D, u n ] uniformly bounded in n. Then by Lemma 1.9, [D, u n ] 0 strictly, since p = 1. Thus for e Dom D we find D u n e = [D, u n ]e + u n D e D e. As we also have u n e e, and u n e Dom D, we see that e is in the graph norm completion of Dom D. As e Dom D was arbitrary, Dom D Dom D and so D is self-adjoint. For the differential algebras appearing in unbounded (symmetric) Kasparov modules, we can always assume that approximate units are self-adjoint and even and we do so from here on. 1.3 Bounded and unbounded multipliers of differentiable algebras It is a well-known fact that for a Banach algebra A with a bounded approximate unit, the multiplier algebra M(A) is isomorphic to the strict closure of A, and contains A as an essential ideal [44, Ch 5]. Similarly, a representation A B(H) of a C -algebra A on a Hilbert space H extends to a representation of the multiplier algebra M(A) on that same Hilbert space. We discuss these notions here for operator algebras with bounded approximate unit. For an operator algebra A, M(A) inherits matrix norms by viewing elements of M(A) as operators on A. The next lemma shows that the presence of a bounded approximate unit ensures that this norm, when restricted to A, is cb-equivalent to the original norm on A, ensuring that the inclusion is a cb-equivalence. 11
14 Lemma 1.12 (cf. Chapter 5 of [44]). Let A be an operator algebra with bounded approximate unit. Then the norm on M n (A) is equivalent to the norm a op,n := with C a constant independent of n. sup ab n, a op,n a n C a op,n, (1.7) b n 1 Proof. Obviously, it holds that a op a. If u λ is a bounded approximate unit, then 1 C u λ 1 for some fixed constant C and all λ. For any ε > 0 there exists λ such that b bu λ < ε and thus 1 C ( b ε) < 1 C ( b b bu λ ) 1 C bu λ b op, which proves the assertion. The argument for the matrix norms n is verbatim the same using the bounded approximate unit (u λ Id n ). Definition Let A be an operator algebra with bounded approximate unit. We define the multiplier algebra M(A) to be the strict closure of A. That is M(A):= { T : A A : a net (b λ ) A such that a A lim b λ a T a = lim ab λ at = 0 }, with norm T := T op cf. Lemma It is worth noting that the strict topology on End B (E) as defined before Proposition 1.9 coincides with the strict topology in the sense of Definition 1.13 defined by the ideal K(E B ). Lemma Let A be an operator algebra with bounded approximate unit (u λ ) and π : A B(H) be an essential cb-representation. Then π extends uniquely to a cb-representation π : M(A) B(H) such that π(1) = 1. Proof. By assumption H = [π(a)h], so for all h H we have π(u λ )h h by Lemma 1.6. Since M(A) is the strict closure of A, for all b M(A) it holds that sup λ bu λ < and for all a A, (bu λ a) is a Cauchy net in A. Therefore π(b)π(a)h := lim λ π(bu λ a)h, is a Cauchy net for all a A and h H. Thus π(bu λ )h converges for h π(a)h. Since this subspace is dense in H and the net (π(bu λ )) is uniformly bounded, the net is strongly Cauchy on H. This proves that the assigment h lim λ π(bu λ )h defines a bounded operator on H. For a A and b M(A), it is immediate from the definition that π(ab) = π(a)π(b). Then for a, b M(A) we have π(a)π(b)h = π(a) ( lim λ π(bu λ )h ) = lim λ π(abu λ )h = π(ab)h, proving that the extension of π is a homomorphism. Since for all a A and b M(A) we have bu λ a ba in A, it is immediate that any other cb-extension of π must coincide with the one given, proving uniqueness. 12
15 Lemma Let A be an operator algebra with bounded approximate unit (u λ ) A and π : A B(H) an essential cb-isomorphic representation. Then: 1) the strict closure M(A) of π(a) is cb-isomorphic to the idealiser of π(a) B(H); 2) every element T M(A) is the strict limit of a bounded net in A; 3) if J A is a closed ideal, then J is a closed ideal in M(A). Proof. By Lemma 1.14, π extends to a representation of M(A). Let T be an element of π(m(a)), so that there is a net (b λ ) A with the property that for all a A b λ a T a, ab λ at 0. Since A is norm closed and π is cb-isomorphic, it follows that π(t a), π(at ) π(a) for all a A, so π(t ) idealises π(a). Now let T B(H) be such that T π(a), π(a)t π(a) for all a A. Consider the net T π(u λ ) π(a). For a A we have T π(u λ a) T π(a) T π(u λ a a) 0, π(a)t π(u λ ) π(a)t 0, so since π is cb-isomorphic and essential, T is the image of an element in M(A). For the second statement, observe that T is the strict limit of the bounded net (T u λ ), as in Lemma For the third assertion, let T M(π(A)) and j J. Since T j A, the net (u λ T j) converges to T j in norm. But u λ T A so this net actually lies in J. Since J is closed, T j J, and similarly for jt. Theorem Any cb-representation π : A B(H) of an operator algebra with bounded approximate unit extends uniquely to a representation π : M(A) B(H) of the multiplier algebra M(A), such that π(1) is an idempotent satisfying π(1)h = [π(a)h] and (1 π(1))h = Nil π(a). Proof. The Hilbert space H is cb-isomorphic to the nonorthogonal direct sum qh (1 q)h, with q as in Proposition 1.7. The representation π is essential on qh and 0 on (1 q)h. Thus, Lemma 1.14 gives a representation M(A) B(qH), which extends to 0 on (1 q)h, thus giving the desired representation π : M(A) B(H). By construction π(1) = q. We now consider multiplier algebras for closed subalgebras of Lip(D), and in particular for differentiable algebras of spectral triples. Proposition Let D : Dom D E B be a self-adjoint regular operator and A Lip(D) a closed subalgebra with bounded approximate unit and assume [AE B ] = E B. The multiplier algebra M(A) is cb-isomorphic to the algebra { } T M(A) : T Dom D Dom D, T A, AT A, [D, T ] End B(E B ), (1.8) topologised by the representation given in Equation (1.2). The inclusion M(A) M(A) is spectral invariant. Proof. The algebra defined in (1.8) is clearly a subalgebra of M(A) contained in the idealiser of π D (A) inside End B (E E). The other inclusion can be seen by writing ( ) ( ) ( ) T11 T 12 a 0 T11 a + T = 12 [D, a] T 12 a, T 21 T 22 [D, a] a T 21 a + T 22 [D, a] T 22 a 13
16 and observing that for this to be an element of A for all a A, T 12 a = 0 for all a A and hence T 12 = 0 since A is essential. It then follows that T 11 a = T 22 a for all a A which implies T 11 = T 22, again because A is essential. Writing T 11 = T, one again derives from essentiality of A that T must preserve the domain of D. Finally we get the equation [D, T a] = T 21 a+t [D, a], which implies that T 21 = [D, T ] which is therefore bounded. Thus the algebra (1.8) contains the idealiser of π D (A), and is therefore equal to it. Since [AE B ] = E B, we have π D (1) = 1, using Lemma 1.14, and the representation π D is essential. An argument similar to that given in the proof of Lemma 1.14 shows that the strict closure M(A) maps into End B (E E), whereas the argument given in Lemma 1.15 shows that the idealiser of π D (A) in End B (E E) coincides with the image of this strict closure. The norm on the strict closure is given by Equation (1.7), and the equivalence of norms given there proves that M(A) is cb-isomorphic to the idealiser (1.8). Spectral invariance of the inclusion M(A) M(A) now follows from spectral invariance of the inclusion Lip(D) End B (E B), cf. [42, Thm B.3]. In [43] it was shown that any operator algebra A admits a canonical unitisation. In this paper, our main examples are closed subalgebras A Lip(D), where D is a self-adjoint regular operator on a C -module E B with essential A representation. In this setting we can construct unitisations concretely. Definition Let D : Dom D E B be a self-adjoint regular operator and A Lip(D) a differentiable algebra with bounded approximate unit and C -closure A. If [AE B ] = E B, the unitisation A + M(A) Lip(D) is the algebra generated by A and π D (1) = 1. Remark The requirement that [AE B ] = E B is not a severe restriction. By [34, Lemma 2.8] every class in KK(A, B) can be represented by a bounded Kasparov module (A, E B, F ) with [AE B ] = E B. Combining this with Kucerovsky s lifting results [37, Lemma 1.4, Lemma 2.2], every class in KK(A, B) can be represented by an unbounded module (A, E B, D) with [AE B ] = E B. Thus, the only serious hypothesis in Definition 1.18 is that A have a bounded approximate unit. Unless otherwise stated, from now on we assume that all unbounded Kasparov modules are essential. Unbounded multipliers of C -algebras were introduced by Baaj ([3]) and Woronowicz ([51]). In the differentiable setting, the definition of unbounded multiplier requires a bit more care, because of the absence of the strong relation between norm and spectrum. Definition Let A be a differentiable algebra. A linear map c : Dom c A A, defined on the dense right ideal Dom c A is a multiplier if c(ab) = (ca)b for all a Dom c and b A. The operator c is a symmetric unbounded multiplier if: 1) c is closed; 2) for all a, b Dom c we have (ca) b = a (cb); and c is self-adjoint if 3) c ± i are surjective and (c ± i) 1 M(A). The multiplier c is positive if for all a Dom c we have (ca) a 0 in A, the C -closure of A. The spectral invariance of the inclusion M(A) M(A) (cf. Proposition 1.17) ensures that some of the usual properties of positive and self-adjoint multipliers remain valid in the differentiable context. As a first consequence of the inclusion M(A) M(A), the resolvents (c±i) 1 M(A) 14
17 define elements in the C -multiplier algebra M(A). Hence c defines a self-adjoint multiplier on the C -algebra A in the usual sense, with Dom c = Im (c ± i) 1 A. Lemma Let c : Dom c A be a self-adjoint multiplier. For all λ C \ R, the operators (c ± λ) : Dom c A are bijective and (c ± λ) 1 M(A). Moreover if c is positive then for all λ C \ [0, ), the operators c λ : Dom c A are bijective and (c λ) 1 M(A). Proof. The operators c ± λ are bijective in the C -closure A, and thus (c ± λ)(c ± i) 1 M(A) are invertible. Spectral invariance then tells us that g = (c ± λ)(c ± i) 1 is invertible in M(A), whence c ± λ : Dom c A is bijective. The inverse satisfies the equation g 1 = (c ± i)(c ± λ) 1 = 1 (λ i)(c ± λ) 1, in M(A), and since both 1, g 1 M(A), it follows that (c ± λ) 1 M(A). The positive case is proved similarly. If there is an orthogonal decomposition E B = [π(a)e B ] [π(a)e B ] (which is always the case for Hilbert spaces) we can extend the self-adjoint multiplier to a self-adjoint operator on E B by defining c([π(a)e B ] ) = 0. We denote this extension to E B by c as well. It is the affiliated operator from [3, 51]. In case A has a bounded approximate unit, condition 3) of Definition 1.20 can be weakened to the requirement that c ± i have dense range and (c ± i) 1 are norm bounded, as we now show. Lemma Let A be a differentiable algebra with bounded approximate unit. Then any multiplier c : Dom c A satisfying (ca) b = a cb for all a, b Dom c is closable. Proof. Since A has a bounded approximate unit, the norm on A is equivalent to the norm a op := sup a 1 ab by Lemma Let (a n ) be a sequence in Dom c with a n 0 and ca n b. Since (ca n ) = (ca n ) and c is symmetric, for arbitrary a Dom c, we get b a = lim n (ca n) a = lim n a n(ca) = 0. From this it follows that b op = 0, and therefore b = 0 so b = 0. Corollary Let A be a differentiable algebra with bounded approximate unit and let c be a symmetric multiplier such that (c ± i) 1 are densely defined and bounded. Then the closure of c is a self-adjoint unbounded multiplier with Dom c = Im (c ± i) 1. In the context of separable C -algebras, the notion of unbounded multiplier, approximate unit, and strictly positive element are closely related. For a differentiable algebra A, an element h A is strictly positive if it has positive spectrum and ha is dense in A (for the topology coming from π D ). Note that this implies that h is strictly positive in the C -algebra A. A more refined notion of unbounded multiplier for differentiable algebras which is compatible with strict positivity is given in the next definition. The core idea is abstracted from [27, Definition ], which gives a commutator approach to properness of the metric. Examples illustrating the connection are presented in Section 2. 15
18 Definition Let (A, E B, D) be an unbounded Kasparov module, and c a self-adjoint multiplier of A. Then c is a complete multiplier if: 1) (c ± i) 1 A; 2) Im (D ± i) 1 (c ± i) 1 = Im (c ± i) 1 (D ± i) 1 E B ; 3) [D, c] is bounded on the set Im (D ± i) 1 (c ± i) 1. It should be noted that the condition in 2) is natural when dealing with commutators of unbounded operators. The sets mentioned are the natural domain for the operators Dc and cd, as c maps Im (c ± i) 1 (D ± i) 1 into Dom D and similarly for D. The following theorem provides the relationships between unbounded complete multipliers, approximate units, and strictly positive elements for differentiable algebras, and gives us our strong notion of completeness. This strong completeness is analogous to that of a geodesically complete Riemannian manifold, and is much stronger than completeness of a general complete metric space. We exemplify these statements in Section 2. Theorem Let D : Dom D E B E B be self-adjoint and regular and A Lip(D) a differentiable algebra such that [AE B ] = E B. Then the following are equivalent: 1) there exists an increasing commutative approximate unit (u n ) A with [D, u n ] 0; 2) there exists a positive self-adjoint complete multiplier c for A; 3) there is a strictly positive element h A with Im (D ± i) 1 h = Im h(d ± i) 1, and constant C > 0 with ±i[d, h] Ch 2. Proof. We show that 1) 2) and 2) 3). We assume 1), so that there is an increasing commutative approximate unit (u n ) A with [D, u n ] 0 in norm. Suppose without loss of generality that there exists 0 < ε < 1 such that [D, u n ] < ε 2n. Moreover, let {a i } i N be a subset of A whose linear span is dense, and assume without loss of generality that for 1 i n we have (u n+1 u n )a i < ε 2n. Write d n := u n+1 u n 0 and define c = ε n d n, n=1 which is a sum of positive elements of A. Then c is densely defined, since for fixed a i and i < k < l we have l ε n d n a i n=k l ε n (u n+1 u n )a i n=k l ε n, which goes to zero as k and therefore ca i A. Moreover, c is obviously symmetric, so by Corollary 1.23 it suffices to show that the resolvents (c ± i) 1 are densely defined and bounded. Consider the truncations c k := k n=1 ε n d n A. By Proposition 1.17, M(A) is spectral invariant in M(A), so as the operators c k ± i M(A) are invertible in M(A), the resolvents (c k ± i) 1 are elements of M(A). Subsequently estimate [D, c k ] = k ε n ([D, u n+1 ] [D, u n ]) n=1 2 n=k k ε n ( [D, u n+1 ] + [D, u n ] ) n=1 k ε n, n=1 16
19 from which we deduce that sup k [D, c k ] <. Therefore sup k [D, (c k ± i) 1 ] = sup k (c k ± i) 1 [D, c k ](c k ± i) 1 sup [D, c k ] <, k so (c k ± i) 1 is a bounded sequence in M(A). Moreover, for the elements a i we have ((c l ± i) 1 (c m ± i) 1 )a i = (c l ± i) 1 (c m ± i) 1 m n=l ε n d n a i, so the sequence is strictly Cauchy, with limit (c ± i) 1 M(A), whence these operators are densely defined and bounded. Hence the closure of c is a positive, self-adjoint unbounded multiplier on A. Now we show that properties 1)-3) of Definition 1.24 hold true for c, starting with points 2) and 3). For 2), we need to show that the domain equality Im (c±i) 1 (D±i) 1 = Im (D±i) 1 (c±i) 1 is true. Observe that for each y E B, the vector (c ± i) 1 (D ± i) 1 y is a limit Writing lim (c k ± i) 1 (D ± i) 1 y. k (c k ± i) 1 (D ± i) 1 = (D ± i) 1 (c k ± i) 1 + (D ± i) 1 (c k ± i) 1 [D, c k ](c k ± i) 1 (D ± i) 1, and recalling that the sequence [D, c k ](c k ± i) 1 (D ± i) 1 is uniformly bounded in operator norm, it follows that lim (c k ± i) 1 [D, c k ](c k ± i) 1 (D ± i) 1 y = (c ± i) 1 [D, c](c ± i) 1 (D ± i) 1 y Im (c ± i) 1. k Thus Im (c ± i) 1 (D ± i) 1 Im (D ± i) 1 (c ± i) 1. The other inclusion is proved in the same way by writing (D ± i) 1 (c k ± i) 1 = (c k ± i) 1 (D ± i) 1 + (c k ± i) 1 (D ± i) 1 [D, c k ](c k ± i) 1 (D ± i) 1. To prove that point 3) of Definition 1.24 holds, observe that the commutator [D, c], defined on Im (c ± i) 1 (D ± i) 1, is bounded because it is the strong limit of the operators [D, c k ] on this subset, and sup k [D, c k ] is bounded. Lastly, for 1), we need to show that (c ± i) 1 A. Since these are elements of M(A), we have a(c ± i) 1, (c ± i) 1 a A for a A and (c ± i) 1 Lip(D) by Proposition We claim that it suffices to show that (c ± i) 1 A. For then u n (c ± i) 1 (c ± i) 1 in C -norm and and since [D, c] is bounded and [D, u n ] 0 we find [D, u n (c ± i) 1 ] = u n [D, (c ± i) 1 ] + [D, u n ](c ± i) 1 = u n (c ± i) 1 [D, c](c ± i) 1 + [D, u n ](c ± i) 1 [D, (c ± i) 1 ]. Hence π D (u n (c ± i) 1 ) π D ((c ± i) 1 ) and since u n (c ± i) 1 A, it follows that (c ± i) 1 A. To prove that (c ± i) 1 A, we restrict to the commutative C -subalgebra B A generated by the u n, so that by Gelfand theory there is a locally compact Hausdorff space X with B = C ({u n }) = C 0 (X) via the Gelfand transform. Every closed unbounded multiplier is 17
20 determined by its Gelfand transform [50, Thm 2.1,2.3]. Under this identification, we wish to show that (c ± i) 1 C 0 (X) A. To this end, fix t (0, 1) and consider the sets X n := {x X : u n (x) t}. The X n form an increasing sequence of compact sets such that X = X n. We claim that ε n d n (x) (1 t)ε k, for x X \ X k, which implies that (c ± i) 1 C 0 (X). For such x X \ X k, and any m k it holds that m ε n d n (x) ε n d n (x) = ε n d n (x) n=0 n=k ε n d n (x) + n=k n>m m ε k d n (x) + ε n d n (x) n=k n>m = ε k (u m+1 u k )(x) + ε n d n (x) n>m ε k (u m+1 (x) t) + ε n d n (x), n>m and since u m+1 (x) 1 and n>m ε n d n (x) 0, the estimate follows. This proves 1) 2). Conversely, let c be an unbounded positive complete multiplier for A. Let f n : R R be given by f n (x) = e x/n. For y Dom D [D, f n (c)]y = 1 0 d ( ) e c(1 s)/n De cs/n y ds = 1 ds n 1 0 e c(1 s)/n [D, c]e cs/n y ds, and since both sides are bounded, this equality extends to all of E B. Moreover [D, f n (c)] 1 n [D, c], so that [D, f n (c)] 0 in norm as n. Finally we need to see that the f n (c) define an approximate unit. The density of (c ± i) 1 A in A says that the inclusion of the commutative subalgebra C generated by (c±i) 1 in A is essential. Since (f n (c)) is obviously an approximate unit for C, we are done. To see that 2) and 3) are equivalent, let c be an unbounded multiplier on A and set h := (1 + c) 1, which is positive with dense range in A. On the other hand, if h A is positive with dense range, then c := h 1 is densely defined on Dom h 1 = Im h. The domain condition follows from the fact that (h 1 ± i) 1 = h(1 ± ih) 1, and 1 ± ih M(A) is invertible, so that (1 ± ih) 1 maps Dom D = Im (D ± i) 1 bijectively onto itself. Then Im h(1 ± ih) 1 (D ± i) 1 = Im h(d ± i) 1 = Im (D ± i) 1 h = Im (D ± i) 1 h(1 ± ih) 1. From the further assumption that i[d, h] Ch 2, it follows that for e Im h(d ± i) 1 h i[d, h 1 ]e, e = h 1 i[d, h]h 1 e, e = i[d, h]h 1 e, h 1 e C he, h 1 e = C e, e. Taking a sequence hy n y E B, boundedness on the whole of Im h(d ± i) 1 follows. From now on, in addition to being self-adjoint and even, in view of Theorem 1.25 we assume all approximate units for differentiable algebras to be commutative. 18
Unbounded KK-theory and KK-bordisms
Unbounded KK-theory and KK-bordisms joint work with Robin Deeley and Bram Mesland University of Gothenburg 161026 Warzaw 1 Introduction 2 3 4 Introduction In NCG, a noncommutative manifold is a spectral
Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
A Brief Introduction to Functional Analysis
A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with
The second dual of a C*-algebra
The second dual of a C*-algebra The main goal is to expose a short proof of the result of Z Takeda, [Proc Japan Acad 30, (1954), 90 95], that the second dual of a C*-algebra is, in effect, the von Neumann
Kasparov s operator K-theory and applications 4. Lafforgue s approach
Kasparov s operator K-theory and applications 4. Lafforgue s approach Georges Skandalis Université Paris-Diderot Paris 7 Institut de Mathématiques de Jussieu NCGOA Vanderbilt University Nashville - May
Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
Two-sided multiplications and phantom line bundles
Two-sided multiplications and phantom line bundles Ilja Gogić Department of Mathematics University of Zagreb 19th Geometrical Seminar Zlatibor, Serbia August 28 September 4, 2016 joint work with Richard
Topological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological
Hilbert space methods for quantum mechanics. S. Richard
Hilbert space methods for quantum mechanics S. Richard Spring Semester 2016 2 Contents 1 Hilbert space and bounded linear operators 5 1.1 Hilbert space................................ 5 1.2 Vector-valued
4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
arxiv: v1 [math.kt] 31 Mar 2011
A NOTE ON KASPAROV PRODUCTS arxiv:1103.6244v1 [math.kt] 31 Mar 2011 MARTIN GRENSING November 14, 2018 Combining Kasparov s theorem of Voiculesu and Cuntz s description of KK-theory in terms of quasihomomorphisms,
Part III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE
COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE MICHAEL LAUZON AND SERGEI TREIL Abstract. In this paper we find a necessary and sufficient condition for two closed subspaces, X and Y, of a Hilbert
CHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
Preliminaries on von Neumann algebras and operator spaces. Magdalena Musat University of Copenhagen. Copenhagen, January 25, 2010
Preliminaries on von Neumann algebras and operator spaces Magdalena Musat University of Copenhagen Copenhagen, January 25, 2010 1 Von Neumann algebras were introduced by John von Neumann in 1929-1930 as
Math 123 Homework Assignment #2 Due Monday, April 21, 2008
Math 123 Homework Assignment #2 Due Monday, April 21, 2008 Part I: 1. Suppose that A is a C -algebra. (a) Suppose that e A satisfies xe = x for all x A. Show that e = e and that e = 1. Conclude that e
Peter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.
and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra
5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1
Robert Oeckl FA NOTES 5 19/05/2010 1 5 Banach Algebras 5.1 Invertibility and the Spectrum Suppose X is a Banach space. Then we are often interested in (continuous) operators on this space, i.e, elements
arxiv: v2 [math.kt] 12 Dec 2008
EQUIVARIANT REPRESENTABLE K-THEORY HEATH EMERSON AND RALF MEYER arxiv:0710.1410v2 [math.kt] 12 Dec 2008 Abstract. We interpret certain equivariant Kasparov groups as equivariant representable K-theory
Compact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
I teach myself... Hilbert spaces
I teach myself... Hilbert spaces by F.J.Sayas, for MATH 806 November 4, 2015 This document will be growing with the semester. Every in red is for you to justify. Even if we start with the basic definition
CHAPTER 3. Hilbert spaces
CHAPTER 3 Hilbert spaces There are really three types of Hilbert spaces (over C). The finite dimensional ones, essentially just C n, for different integer values of n, with which you are pretty familiar,
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr
Spectral Theory, with an Introduction to Operator Means. William L. Green
Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps
MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
Metric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
Finite-dimensional representations of free product C*-algebras
Finite-dimensional representations of free product C*-algebras Ruy Exel Terry A. Loring October 28, 2008 preliminary version Department of Mathematics and Statistics University of New Mexico Albuquerque,
An introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
Combinatorics in Banach space theory Lecture 12
Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)
Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
285K Homework #1. Sangchul Lee. April 28, 2017
285K Homework #1 Sangchul Lee April 28, 2017 Problem 1. Suppose that X is a Banach space with respect to two norms: 1 and 2. Prove that if there is c (0, such that x 1 c x 2 for each x X, then there is
Fiberwise two-sided multiplications on homogeneous C*-algebras
Fiberwise two-sided multiplications on homogeneous C*-algebras Ilja Gogić Department of Mathematics University of Zagreb XX Geometrical Seminar Vrnjačka Banja, Serbia May 20 23, 2018 joint work with Richard
1 Functional Analysis
1 Functional Analysis 1 1.1 Banach spaces Remark 1.1. In classical mechanics, the state of some physical system is characterized as a point x in phase space (generalized position and momentum coordinates).
UNITIZATIONS AND CROSSED PRODUCTS
UNITIZATIONS AND CROSSED PRODUCTS AIDAN SIMS Abstract. These are course notes for an honours course offered at the University of Wollongong in Spring of 2014. They are a modified and updated version of
Introduction to the Baum-Connes conjecture
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
Commutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
are Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication
7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =
On Fréchet algebras with the dominating norm property
On Fréchet algebras with the dominating norm property Tomasz Ciaś Faculty of Mathematics and Computer Science Adam Mickiewicz University in Poznań Poland Banach Algebras and Applications Oulu, July 3 11,
7 Lecture 7: Rational domains, Tate rings and analytic points
7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss
THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS
THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a
Chapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
Functional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
ORDERED INVOLUTIVE OPERATOR SPACES
ORDERED INVOLUTIVE OPERATOR SPACES DAVID P. BLECHER, KAY KIRKPATRICK, MATTHEW NEAL, AND WEND WERNER Abstract. This is a companion to recent papers of the authors; here we consider the selfadjoint operator
MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES
MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of
On Unitary Relations between Kre n Spaces
RUDI WIETSMA On Unitary Relations between Kre n Spaces PROCEEDINGS OF THE UNIVERSITY OF VAASA WORKING PAPERS 2 MATHEMATICS 1 VAASA 2011 III Publisher Date of publication Vaasan yliopisto August 2011 Author(s)
Cyclic cohomology of projective limits of topological algebras
Cyclic cohomology of projective limits of topological algebras Zinaida Lykova Newcastle University 9 August 2006 The talk will cover the following points: We present some relations between Hochschild,
Chern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
arxiv: v1 [math.kt] 7 Jun 2013
Dense domains symmetric operators and spectral triples arxiv:36.58v [math.kt] 7 Jun 23 Iain Forsyth Bram Mesland Adam Rennie Mathematical Sciences Institute Australian National University Canberra Australia
Notes on Ordered Sets
Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,
Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.
Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differential equations. 1 Metric spaces 2 Completeness and completion. 3 The contraction
A note on the σ-algebra of cylinder sets and all that
A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In
PROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
Spectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
Groups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
1.4 The Jacobian of a map
1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p
Exercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
Banach Spaces II: Elementary Banach Space Theory
BS II c Gabriel Nagy Banach Spaces II: Elementary Banach Space Theory Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we introduce Banach spaces and examine some of their
arxiv: v1 [math.oa] 20 Feb 2018
C*-ALGEBRAS FOR PARTIAL PRODUCT SYSTEMS OVER N RALF MEYER AND DEVARSHI MUKHERJEE arxiv:1802.07377v1 [math.oa] 20 Feb 2018 Abstract. We define partial product systems over N. They generalise product systems
Functional Analysis II held by Prof. Dr. Moritz Weber in summer 18
Functional Analysis II held by Prof. Dr. Moritz Weber in summer 18 General information on organisation Tutorials and admission for the final exam To take part in the final exam of this course, 50 % of
Regularity conditions for Banach function algebras. Dr J. F. Feinstein University of Nottingham
Regularity conditions for Banach function algebras Dr J. F. Feinstein University of Nottingham June 2009 1 1 Useful sources A very useful text for the material in this mini-course is the book Banach Algebras
Spectral Triples on the Sierpinski Gasket
Spectral Triples on the Sierpinski Gasket Fabio Cipriani Dipartimento di Matematica Politecnico di Milano - Italy ( Joint works with D. Guido, T. Isola, J.-L. Sauvageot ) AMS Meeting "Analysis, Probability
Where is matrix multiplication locally open?
Linear Algebra and its Applications 517 (2017) 167 176 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Where is matrix multiplication locally open?
SPECTRAL THEORY EVAN JENKINS
SPECTRAL THEORY EVAN JENKINS Abstract. These are notes from two lectures given in MATH 27200, Basic Functional Analysis, at the University of Chicago in March 2010. The proof of the spectral theorem for
Math 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
G-frames in Hilbert Modules Over Pro-C*-algebras
Available online at http://ijim.srbiau.ac.ir/ Int. J. Industrial Mathematics (ISSN 2008-5621) Vol. 9, No. 4, 2017 Article ID IJIM-00744, 9 pages Research Article G-frames in Hilbert Modules Over Pro-C*-algebras
01. Review of metric spaces and point-set topology. 1. Euclidean spaces
(October 3, 017) 01. Review of metric spaces and point-set topology Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 017-18/01
Chapter 8 Integral Operators
Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,
EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS
EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS CLARA LÖH Abstract. By Gromov s mapping theorem for bounded cohomology, the projection of a group to the quotient by an amenable normal subgroup
where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
CONVERGENCE OF QUOTIENTS OF AF ALGEBRAS IN QUANTUM PROPINQUITY BY CONVERGENCE OF IDEALS KONRAD AGUILAR
CONVERGENCE OF QUOTIENTS OF AF ALGEBRAS IN QUANTUM PROPINQUITY BY CONVERGENCE OF IDEALS KONRAD AGUILAR ABSTRACT. We provide conditions for when quotients of AF algebras are quasi- Leibniz quantum compact
Your first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
Problem 1: Compactness (12 points, 2 points each)
Final exam Selected Solutions APPM 5440 Fall 2014 Applied Analysis Date: Tuesday, Dec. 15 2014, 10:30 AM to 1 PM You may assume all vector spaces are over the real field unless otherwise specified. Your
Lecture 1 Operator spaces and their duality. David Blecher, University of Houston
Lecture 1 Operator spaces and their duality David Blecher, University of Houston July 28, 2006 1 I. Introduction. In noncommutative analysis we replace scalar valued functions by operators. functions operators
Fréchet algebras of finite type
Fréchet algebras of finite type MK Kopp Abstract The main objects of study in this paper are Fréchet algebras having an Arens Michael representation in which every Banach algebra is finite dimensional.
Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
THE CORONA FACTORIZATION PROPERTY AND REFINEMENT MONOIDS
THE CORONA FACTORIZATION PROPERTY AND REFINEMENT MONOIDS EDUARD ORTEGA, FRANCESC PERERA, AND MIKAEL RØRDAM ABSTRACT. The Corona Factorization Property of a C -algebra, originally defined to study extensions
6 Classical dualities and reflexivity
6 Classical dualities and reflexivity 1. Classical dualities. Let (Ω, A, µ) be a measure space. We will describe the duals for the Banach spaces L p (Ω). First, notice that any f L p, 1 p, generates the
arxiv:math.oa/ v1 22 Nov 2000
arxiv:math.oa/0011184 v1 22 Nov 2000 A module frame concept for Hilbert C*-modules Michael Frank and David R. Larson Abstract. The goal of the present paper is a short introduction to a general module
B. Appendix B. Topological vector spaces
B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function
arxiv: v2 [math.ag] 24 Jun 2015
TRIANGULATIONS OF MONOTONE FAMILIES I: TWO-DIMENSIONAL FAMILIES arxiv:1402.0460v2 [math.ag] 24 Jun 2015 SAUGATA BASU, ANDREI GABRIELOV, AND NICOLAI VOROBJOV Abstract. Let K R n be a compact definable set
Introduction to Index Theory. Elmar Schrohe Institut für Analysis
Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a
LECTURE OCTOBER, 2016
18.155 LECTURE 11 18 OCTOBER, 2016 RICHARD MELROSE Abstract. Notes before and after lecture if you have questions, ask! Read: Notes Chapter 2. Unfortunately my proof of the Closed Graph Theorem in lecture
Functional Analysis HW #3
Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
Topological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
the fiber of not being finitely generated. On the other extreme, even if the K-theory of the fiber vanishes,
J. Bosa and M. Dadarlat. () Local triviality for continuous field C -algebras, International Mathematics Research Notices, Vol., Article ID, 10 pages. doi:10.1093/imrn/ Local triviality for continuous
Topologically pure extensions of Fréchet algebras and applications to homology. Zinaida Lykova
Topologically pure extensions of Fréchet algebras and applications to homology Zinaida Lykova University of Newcastle 26 October 2006 The talk will cover the following points: Topologically pure extensions
Functional Analysis F3/F4/NVP (2005) Homework assignment 3
Functional Analysis F3/F4/NVP (005 Homework assignment 3 All students should solve the following problems: 1. Section 4.8: Problem 8.. Section 4.9: Problem 4. 3. Let T : l l be the operator defined by
DEFINABLE OPERATORS ON HILBERT SPACES
DEFINABLE OPERATORS ON HILBERT SPACES ISAAC GOLDBRING Abstract. Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize
The projectivity of C -algebras and the topology of their spectra
The projectivity of C -algebras and the topology of their spectra Zinaida Lykova Newcastle University, UK Waterloo 2011 Typeset by FoilTEX 1 The Lifting Problem Let A be a Banach algebra and let A-mod
Simple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute
M A E NS G I T A T MOLEM UNIVERSITAS WARWICENSIS Simple Abelian Topological Groups by Luke Dominic Bush Hipwood supervised by Dr Dmitriy Rumynin 4th Year Project Submitted to The University of Warwick
Reflexivity of Locally Convex Spaces over Local Fields
Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric
E.7 Alaoglu s Theorem
E.7 Alaoglu s Theorem 359 E.7 Alaoglu s Theorem If X is a normed space, then the closed unit ball in X or X is compact if and only if X is finite-dimensional (Problem A.25). Even so, Alaoglu s Theorem
Completeness and quasi-completeness. 1. Products, limits, coproducts, colimits
(April 24, 2014) Completeness and quasi-completeness Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07d quasi-completeness.pdf]
A PRIMER ON SESQUILINEAR FORMS
A PRIMER ON SESQUILINEAR FORMS BRIAN OSSERMAN This is an alternative presentation of most of the material from 8., 8.2, 8.3, 8.4, 8.5 and 8.8 of Artin s book. Any terminology (such as sesquilinear form