DOCSLIB.ORG

C*-Algebras, States and Representations

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
C*-Algebras, States and Representations Chapter 2 C*-algebras, states and representations 2.1 C*-algebras Let be an associative algebra over C. is a normed algebra if there is a norm x x A A A3 7! k k2 R+ such that xy x y . A complete normed algebra is a Banach algebra. A mapping k kk kk k x x of into itself is an involution if 7! ⇤ A (x⇤)⇤ = x; (x + y)⇤ = x⇤ + y⇤; (xy)⇤ = y⇤x⇤; (λx)⇤ = λx⇤. An algebra with an involution is a *-algebra. Definition 1. A Banach *-algebra is called a C*-algebra if A 2 x⇤x = x ,x. k k k k 2A Proposition 1. Let be a C*-algebra. A 1. x = x ; k ⇤k k k 2. If does not have an identity, let be the algebra obtained from by adjoining an A A A identity 1. Then is a C*-algebra with norm defined by A k·k e λy + xy e λ1+x =supk k,λC. k k y=0 y 2 6 k k Proof. Exercise. In the following, will always denote a C*-algebras with an identity if not specified other- A wise. Definition 2. The spectrum Sp(x) of x is the set 2A Sp(x):= λ C : x λ1 is not invertible in . { 2 − A} 3 1 n 1 If λ > x ,thentheseriesλ− n N (x/λ) is norm convergent and sums to (λ1 x)− . | | k k 2 − Hence, Sp(x) B x (0). Assume now that x is a self-adjoint element and that a +ib ⇢ k k P 2A 2 Sp(x), a, b R.Thena+i(b+t) Sp(x+it1). Since x+it1 2 = x+it1 x it1 = x2+t21 2 2 k k k kk − k k k x 2 + t2, and by the remark above, a +i(b + t) 2 x 2 + t2, and further 2bt x a2 b2 k k | | k k nk k − for all t R, so that b = 0. For any polynomial P over C, P (µ) λ = A i=1(µ zi), and 2 n − − P (x) λ1=A (x zi) for any x . Hence, λ Sp(P (x)) i↵ zj Sp(x) for a − i=1 − 2A 2A 2 Q 2 1 j n.SinceP (zj)=λ, we have that λ Sp(P (x)) i↵ λ P (Sp(x)). We have proved Q 2 2 Proposition 2. Let x . 2A 1. Sp(x) B x (0); ⇢ k k 2. if x = x , then Sp(x) [ x , x ]; ⇤ ⇢ k k k k 3. if xx = x x, i.e. x is normal, then x =sup λ : λ Sp(x) ; ⇤ ⇤ k k {| | 2 } 4. for any polynomial P , Sp(P (x)) = P (Sp(x)); The proof of 3. is left as an exercise. Note that the condition holds in particular for x = x⇤ An element x is positive if it is self-adjoint and Sp(x) R+. 2A ⇢ Proposition 3. Let x , x =0. The following are equivalent: 2A 6 1. x is positive; 2. there is a self-adjoint z such that x = z2; 2A 3. there is y such that x = y y; 2A ⇤ Proof. (3) (2) by choosing y = z. (3) (1) since z2 is self-adjoint and since, by Proposition 2, ) ) Sp(z2) [0, z 2]. To show (1) (3), we note that1 for any µ>0, ⇢ k k ) 1 1 1 2 µ = 1 pλ dλ (2.1) ⇡ λ − λ + µ Z0 ✓ ◆ Since x is positive, (x+λ1) is invertible for all λ>0 so that z := ⇡ 1 pλ λ 1 (x + λ1) 1 dλ 0 − − − is well defined as a norm convergent integral, and x = z2. Using again (2.1) with µ = 1, we R have that 1/2 1/2 x 1 pλ 1 1 x 1 z = k k (ˆx + λ1)− (ˆx 1)dλ, xˆ = x x − k k − ⇡ λ +1 − k k Z0 Butx ˆ positive implies Sp(ˆx) [0, 1], hence Sp(1 xˆ) [0, 1] and 1 xˆ 1. Moreover, since ⇢ − ⇢ k − k Sp((ˆx + λ1) 1)=(Sp(ˆx + λ1)) 1 [(1 + λ) 1,λ 1], we have (ˆx + λ1) 1 λ 1 for λ>0. − − ⇢ − − k − k − Hence, 1 z x 1/2 1 so that Sp(z) [0, 2 x 1/2] and finally z is positive. k − k k− k ⇢ k k It remains to prove (2) (1). Since x = y y is self-adjoint, x2 is positive and we denote by ) ⇤ x its positive square root defined by the integral above. Then x := ( x x)/2 is positive and | | ± | |± x x+ = x+x = 0. Decomposing yx = s +it, with self-adjoint s, t,wehave(yx )⇤(yx )+ − − 2 2 − 3 − − (yx )(yx )⇤ = 2(s +t ) 0. But (yx )⇤(yx )= x ( x +x+)x = x is positive, so that − − ≥ − − − − − − − − − (yx )(yx )⇤ is positive. On the other hand, Sp((yx )(yx )⇤) 0 =Sp((yx )⇤(yx )) 0 − − − − [{ } − − [{ }⇢ R ,hence(yx )⇤(yx ) = 0 so that x = 0, and finally x = x+ is positive. − − − − 1 1/2 3/2 Convergence follows from the asymptotics O(s− )ass 0andO(s− )ass ,whilethechangeof ! !1 variables λ = µ⇠ yields immediately that the integral is pµ,uptoaconstant. 4 Definition 3. A *-morphism between two *-algebras and is a linear map ⇡ : A B A!B such that ⇡(A A )=⇡(A )⇡(A ) and ⇡(A )=⇡(A) ,forallA, A ,A .Itiscalleda 1 2 1 2 ⇤ ⇤ 1 2 2A *-isomorphism if it is bijective. A *-isomorphism is an automorphism. A!A Proposition 4. Let , be two C*-algebras and ⇡ : a *-morphism. Then ⇡(x) A B A!B k kB x , and the range ⇡(A):A is a *-subalgebra of . k kA { 2A} B Proof. If x is self-adjoint, so is ⇡(x) and ⇡(x) =sup λ : λ Sp(⇡(x)) .Ifx λ1isinvertible, k k {| | 2 } − then 1 = ⇡((x λ1) 1(x λ1)) = ⇡((x λ1) 1)⇡(x λ1) so that ⇡(x) λ1isinvertible,whence − − − − − − − Sp(⇡(x)) Sp(x), we have that ⇡(x) sup λ : λ Sp(x) = x . The general case follows ⇢ k k {| | 2 } k k from ⇡(x) 2 = ⇡(x x) x x = x 2. k k k ⇤ kk ⇤ k k k Let Γbe a locally compact Hausdor↵space, and let C0(Γ) be the algebra, under pointwise multiplication, of all complex valued continuous functions that vanish at infinity. Theorem 5. If is a commutative C*-algebra, then there is a locally compact Hausdor↵space A Γ such that is *-isomorphic to C (Γ). A 0 Proof. See Robert’s lectures. In classical mechanics, the space Γis usually referred to as the phase space. If is a commutative C*-algebra with an identity, then is isomorphic to C(K), the A A algebra of continuous functions on a compact Hausdor↵space K. Let be a *-subalgebra of ( ). The commutant is the subset of ( ) of operators U L H U 0 L H that commute with every element of , and so forth with := ( ) . In particular, , U U 00 U 0 0 U⇢U00 and further = . U 0 U 000 Definition 4. A von Neumann algebra or W*-algebra on is a *-subalgebra of ( ) such H U L H that 00 = .Itscenter is ( ):= 0,and is a factor if ( )=C 1. U U Z U U\U U Z U · Theorem 6. Let be a *-subalgebra of ( ) such that = . Then is a von Neumann U L H UH H U algebra i↵ is weakly closed. U Note that = is automatically satisfied if 1 . Furthermore, for any *-subalgebra UH H 2U U of ( ), let be its weak closure for which 00 = by the theorem. Since ,wehave L H U U U U⇢U 0 . Furthermore, if x , and y ,with y *y,thenx commutes with y for all U ⇢U0 2U0 2 U U3 n n n and hence with y, so that 0. It follows that 0 = ,whence 00 = and so: U 0 ⇢ U U U 0 U U 00 Corollary 7. is weakly dense in , namely = . U U 00 U U 00 2.2 Representations and states Definition 5. Let be a C*-algebra and a Hilbert space. A representation of in is a A H A H *-morphism ⇡ : ( ). Moreover, A!LH 1. Two representations ⇡,⇡ in , are equivalent if there is a unitary map U : 0 H H0 H!H0 such that U⇡(x)=⇡0(x)U; 2. A representation ⇡ is topologically irreducible if the only closed subspaces that are invari- ant under ⇡( ) are 0 and ; A { } H 3. A representation ⇡ is faithful if it is an isomorphism, namely Ker⇡ = 0 . { } 5 Note that in general ⇡(x) x , with equality if and only if ⇡ is faithful. One can further k kk k show that for any C*-algebra, there exists a faithful representation. n n If ( ,⇡) is a representation of and n N,thenn⇡(A)( i):= ⇡(A) i defines a H A 2 ⊕i=1 ⊕i=1 representation n⇡ on n . ⊕i=1H Proposition 8. Let ⇡ be a representation of in .T.f.a.e A H 1. ⇡ is topologically irreducible; 2. ⇡( )0 := B ( ):[B,⇡(x)] = 0, for all x = C 1; A { 2LH 2A} · 3. Any ⇠ , ⇠ =0is cyclic: ⇡(x)⇠ = ,or⇡ =0. 2H 6 H Proof. (1) (3) : If ⇡( )⇠ is not dense, then ⇡( )⇠ = 0 . It follows that C⇠ is an invariant ) A A { } subspace, and hence = C⇠ and ⇡ =0 H (3) (1) : Let = 0 be a closed invariant subspace. For any ⇠ , ⇡( )⇠ and since ⇠ ) K6 { } 2K A ⇢K is cyclic, ⇡( )⇠ is dense in A H (2) (1) : Let = 0 be a closed invariant subspace, and let P be the orthogonal projection ) K6 { } K on .ThenP ⇡( )0, since for ⇠ ,⌘ ?, ⇠,⇡(x)⌘ = ⇡(x⇤)⇠,⌘ = 0 so that K K 2 A 2K 2K h i h i ⇡(x)⌘ ? for any x .
Load more

Recommended publications
  • Can One Identify Two Unital JB $^* $-Algebras by the Metric Spaces
    CAN ONE IDENTIFY TWO UNITAL JB∗-ALGEBRAS BY THE METRIC SPACES DETERMINED BY THEIR SETS OF UNITARIES? MAR´IA CUETO-AVELLANEDA, ANTONIO M. PERALTA Abstract. Let M and N be two unital JB∗-algebras and let U(M) and U(N) denote the sets of all unitaries in M and N, respectively. We prove that the following statements are equivalent: (a) M and N are isometrically isomorphic as (complex) Banach spaces; (b) M and N are isometrically isomorphic as real Banach spaces; (c) There exists a surjective isometry ∆ : U(M) →U(N). We actually establish a more general statement asserting that, under some mild extra conditions, for each surjective isometry ∆ : U(M) → U(N) we can find a surjective real linear isometry Ψ : M → N which coincides with ∆ on the subset eiMsa . If we assume that M and N are JBW∗-algebras, then every surjective isometry ∆ : U(M) → U(N) admits a (unique) extension to a surjective real linear isometry from M onto N. This is an extension of the Hatori–Moln´ar theorem to the setting of JB∗-algebras. 1. Introduction Every surjective isometry between two real normed spaces X and Y is an affine mapping by the Mazur–Ulam theorem. It seems then natural to ask whether the existence of a surjective isometry between two proper subsets of X and Y can be employed to identify metrically both spaces. By a result of P. Mankiewicz (see [34]) every surjective isometry between convex bodies in two arbitrary normed spaces can be uniquely extended to an affine function between the spaces.
    [Show full text]
  • The Representation Theorem of Persistence Revisited and Generalized
    Journal of Applied and Computational Topology https://doi.org/10.1007/s41468-018-0015-3 The representation theorem of persistence revisited and generalized René Corbet1 · Michael Kerber1 Received: 9 November 2017 / Accepted: 15 June 2018 © The Author(s) 2018 Abstract The Representation Theorem by Zomorodian and Carlsson has been the starting point of the study of persistent homology under the lens of representation theory. In this work, we give a more accurate statement of the original theorem and provide a complete and self-contained proof. Furthermore, we generalize the statement from the case of linear sequences of R-modules to R-modules indexed over more general monoids. This generalization subsumes the Representation Theorem of multidimen- sional persistence as a special case. Keywords Computational topology · Persistence modules · Persistent homology · Representation theory Mathematics Subject Classifcation 06F25 · 16D90 · 16W50 · 55U99 · 68W30 1 Introduction Persistent homology, introduced by Edelsbrunner et al. (2002), is a multi-scale extension of classical homology theory. The idea is to track how homological fea- tures appear and disappear in a shape when the scale parameter is increasing. This data can be summarized by a barcode where each bar corresponds to a homology class that appears in the process and represents the range of scales where the class is present. The usefulness of this paradigm in the context of real-world data sets has led to the term topological data analysis; see the surveys (Carlsson 2009; Ghrist 2008; Edelsbrunner and Morozov 2012; Vejdemo-Johansson 2014; Kerber 2016) and textbooks (Edelsbrunner and Harer 2010; Oudot 2015) for various use cases. * René Corbet [email protected] Michael Kerber [email protected] 1 Institute of Geometry, Graz University of Technology, Kopernikusgasse 24, 8010 Graz, Austria Vol.:(0123456789)1 3 R.
    [Show full text]
  • FUNCTIONAL ANALYSIS 1. Banach and Hilbert Spaces in What
    FUNCTIONAL ANALYSIS PIOTR HAJLASZ 1. Banach and Hilbert spaces In what follows K will denote R of C. Definition. A normed space is a pair (X, k · k), where X is a linear space over K and k · k : X → [0, ∞) is a function, called a norm, such that (1) kx + yk ≤ kxk + kyk for all x, y ∈ X; (2) kαxk = |α|kxk for all x ∈ X and α ∈ K; (3) kxk = 0 if and only if x = 0. Since kx − yk ≤ kx − zk + kz − yk for all x, y, z ∈ X, d(x, y) = kx − yk defines a metric in a normed space. In what follows normed paces will always be regarded as metric spaces with respect to the metric d. A normed space is called a Banach space if it is complete with respect to the metric d. Definition. Let X be a linear space over K (=R or C). The inner product (scalar product) is a function h·, ·i : X × X → K such that (1) hx, xi ≥ 0; (2) hx, xi = 0 if and only if x = 0; (3) hαx, yi = αhx, yi; (4) hx1 + x2, yi = hx1, yi + hx2, yi; (5) hx, yi = hy, xi, for all x, x1, x2, y ∈ X and all α ∈ K. As an obvious corollary we obtain hx, y1 + y2i = hx, y1i + hx, y2i, hx, αyi = αhx, yi , Date: February 12, 2009. 1 2 PIOTR HAJLASZ for all x, y1, y2 ∈ X and α ∈ K. For a space with an inner product we define kxk = phx, xi . Lemma 1.1 (Schwarz inequality).
    [Show full text]
  • Frames in 2-Inner Product Spaces
    Iranian Journal of Mathematical Sciences and Informatics Vol. 8, No. 2 (2013), pp 123-130 Frames in 2-inner Product Spaces Ali Akbar Arefijamaal∗ and Ghadir Sadeghi Department of Mathematics and Computer Sciences, Hakim Sabzevari University, Sabzevar, Iran E-mail: [email protected] E-mail: [email protected] Abstract. In this paper, we introduce the notion of a frame in a 2- inner product space and give some characterizations. These frames can be considered as a usual frame in a Hilbert space, so they share many useful properties with frames. Keywords: 2-inner product space, 2-norm space, Frame, Frame operator. 2010 Mathematics subject classification: Primary 46C50; Secondary 42C15. 1. Introduction and preliminaries The concept of frames in Hilbert spaces has been introduced by Duffin and Schaeffer [12] in 1952 to study some deep problems in nonharmonic Fourier se- ries. Various generalizations of frames have been proposed; frame of subspaces [2, 6], pseudo-frames [18], oblique frames [10], continuous frames [1, 4, 14] and so on. The concept of frames in Banach spaces have been introduced by Grochenig [16], Casazza, Han and Larson [5] and Christensen and Stoeva [11]. The concept of linear 2-normed spaces has been investigated by S. Gahler in 1965 [15] and has been developed extensively in different subjects by many authors [3, 7, 8, 13, 14, 17]. A concept which is related to a 2-normed space is 2-inner product space which have been intensively studied by many math- ematicians in the last three decades. A systematic presentation of the recent results related to the theory of 2-inner product spaces as well as an extensive ∗ Corresponding author Received 16 November 2011; Accepted 29 April 2012 c 2013 Academic Center for Education, Culture and Research TMU 123 124 Arefijamaal, Sadeghi list of the related references can be found in the book [7].
    [Show full text]
  • The Index of Normal Fredholm Elements of C* -Algebras
    proceedings of the american mathematical society Volume 113, Number 1, September 1991 THE INDEX OF NORMAL FREDHOLM ELEMENTS OF C*-ALGEBRAS J. A. MINGO AND J. S. SPIELBERG (Communicated by Palle E. T. Jorgensen) Abstract. Examples are given of normal elements of C*-algebras that are invertible modulo an ideal and have nonzero index, in contrast to the case of Fredholm operators on Hubert space. It is shown that this phenomenon occurs only along the lines of these examples. Let T be a bounded operator on a Hubert space. If the range of T is closed and both T and T* have a finite dimensional kernel then T is Fredholm, and the index of T is dim(kerT) - dim(kerT*). If T is normal then kerT = ker T*, so a normal Fredholm operator has index 0. Let us consider a generalization of the notion of Fredholm operator intro- duced by Atiyah. Let X be a compact Hausdorff space and consider continuous functions T: X —>B(H), where B(H) is the set of bounded linear operators on a separable infinite dimensional Hubert space with the norm topology. The set of such functions forms a C*- algebra C(X) <g>B(H). A function T is Fredholm if T(x) is Fredholm for each x . Atiyah [1, Appendix] showed how such an element has an index which is an element of K°(X). Suppose that T is Fredholm and T(x) is normal for each x. Is the index of T necessarily 0? There is a generalization of this question that we would like to consider.
    [Show full text]
  • A Short Introduction to the Quantum Formalism[S]
    A short introduction to the quantum formalism[s] François David Institut de Physique Théorique CNRS, URA 2306, F-91191 Gif-sur-Yvette, France CEA, IPhT, F-91191 Gif-sur-Yvette, France [email protected] These notes are an elaboration on: (i) a short course that I gave at the IPhT-Saclay in May- June 2012; (ii) a previous letter [Dav11] on reversibility in quantum mechanics. They present an introductory, but hopefully coherent, view of the main formalizations of quantum mechanics, of their interrelations and of their common physical underpinnings: causality, reversibility and locality/separability. The approaches covered are mainly: (ii) the canonical formalism; (ii) the algebraic formalism; (iii) the quantum logic formulation. Other subjects: quantum information approaches, quantum correlations, contextuality and non-locality issues, quantum measurements, interpretations and alternate theories, quantum gravity, are only very briefly and superficially discussed. Most of the material is not new, but is presented in an original, homogeneous and hopefully not technical or abstract way. I try to define simply all the mathematical concepts used and to justify them physically. These notes should be accessible to young physicists (graduate level) with a good knowledge of the standard formalism of quantum mechanics, and some interest for theoretical physics (and mathematics). These notes do not cover the historical and philosophical aspects of quantum physics. arXiv:1211.5627v1 [math-ph] 24 Nov 2012 Preprint IPhT t12/042 ii CONTENTS Contents 1 Introduction 1-1 1.1 Motivation . 1-1 1.2 Organization . 1-2 1.3 What this course is not! . 1-3 1.4 Acknowledgements . 1-3 2 Reminders 2-1 2.1 Classical mechanics .
    [Show full text]
  • Geodesics of Projections in Von Neumann Algebras
    Geodesics of projections in von Neumann algebras Esteban Andruchow∗ November 5, 2020 Abstract Let be a von Neumann algebra and A the manifold of projections in . There is a A P A natural linear connection in A, which in the finite dimensional case coincides with the the Levi-Civita connection of theP Grassmann manifold of Cn. In this paper we show that two projections p, q can be joined by a geodesic, which has minimal length (with respect to the metric given by the usual norm of ), if and only if A p q⊥ p⊥ q, ∧ ∼ ∧ where stands for the Murray-von Neumann equivalence of projections. It is shown that the minimal∼ geodesic is unique if and only if p q⊥ = p⊥ q =0. If is a finite factor, any ∧ ∧ A pair of projections in the same connected component of A (i.e., with the same trace) can be joined by a minimal geodesic. P We explore certain relations with Jones’ index theory for subfactors. For instance, it is −1 shown that if are II1 factors with finite index [ : ] = t , then the geodesic N ⊂M M N 1/2 distance d(eN ,eM) between the induced projections eN and eM is d(eN ,eM) = arccos(t ). 2010 MSC: 58B20, 46L10, 53C22 Keywords: Projections, geodesics of projections, von Neumann algebras, index for subfac- tors. arXiv:2011.02013v1 [math.OA] 3 Nov 2020 1 Introduction ∗ If is a C -algebra, let A denote the set of (selfadjoint) projections in . A has a rich A P A P geometric structure, see for instante the papers [12] by H.
    [Show full text]
  • A Completely Positive Maps
    A Completely Positive Maps A.1. A linear map θ: A → B between C∗-algebrasiscalledcompletely positive if θ ⊗ id: A ⊗ Matn(C) → B ⊗ Matn(C) is positive for any n ∈ N. Such a map is automatically bounded since any ∗ positive linear functional on a C -algebra is bounded. ⊗ ∈ ⊗ C An operator T = i,j bij eij B Matn( ), where the eij’s are the usual C ∗ ≥ matrix units in Matn( ), is positive if and only if i,j bi bijbj 0 for any ∈ ⊗ C b1,...,bn B. Since every positive element in A Matn( )isthesumofn ∗ ⊗ → elements of the form i,j ai aj eij,weconcludethatθ: A B is completely positive if and only if n ∗ ∗ ≥ bi θ(ai aj)bj 0 i,j=1 for any n ∈ N, a1,...,an ∈ A and b1,...,bn ∈ B. A.2. If θ: A → B is completely positive and B ⊂ B(H), then there exist a Hilbert space K, a representation π: A → B(K) and a bounded operator V : H → K such that θ(a)=V ∗π(a)V and π(A)VH = K. The construction is as follows. Consider the algebraic tensor product AH, and define a sesquilinear form on it by (a ξ,c ζ)=(θ(c∗a)ξ,ζ). Complete positivity of θ means exactly that this form is positive definite. Thus taking the quotient by the space N = {x ∈ A H | (x, x)=0} we get a pre-Hilbert space. Denote its completion by K. Then define a representation π: A → B(K)by π(a)[c ζ]=[ac ζ], where [x] denotes the image of x in (A H)/N .
    [Show full text]
  • Tensor Products of Convex Cones, Part I: Mapping Properties, Faces, and Semisimplicity
    Tensor Products of Convex Cones, Part I: Mapping Properties, Faces, and Semisimplicity Josse van Dobben de Bruyn 24 September 2020 Abstract The tensor product of two ordered vector spaces can be ordered in more than one way, just as the tensor product of normed spaces can be normed in multiple ways. Two natural orderings have received considerable attention in the past, namely the ones given by the projective and injective (or biprojective) cones. This paper aims to show that these two cones behave similarly to their normed counterparts, and furthermore extends the study of these two cones from the algebraic tensor product to completed locally convex tensor products. The main results in this paper are the following: (i) drawing parallels with the normed theory, we show that the projective/injective cone has mapping properties analogous to those of the projective/injective norm; (ii) we establish direct formulas for the lineality space of the projective/injective cone, in particular providing necessary and sufficient conditions for the cone to be proper; (iii) we show how to construct faces of the projective/injective cone from faces of the base cones, in particular providing a complete characterization of the extremal rays of the projective cone; (iv) we prove that the projective/injective tensor product of two closed proper cones is contained in a closed proper cone (at least in the algebraic tensor product). 1 Introduction 1.1 Outline Tensor products of ordered (topological) vector spaces have been receiving attention for more than 50 years ([Mer64], [HF68], [Pop68], [PS69], [Pop69], [DS70], [vGK10], [Wor19]), but the focus has mostly been on Riesz spaces ([Sch72], [Fre72], [Fre74], [Wit74], [Sch74, §IV.7], [Bir76], [FT79], [Nie82], [GL88], [Nie88], [Bla16]) or on finite-dimensional spaces ([BL75], [Bar76], [Bar78a], [Bar78b], [Bar81], [BLP87], [ST90], [Tam92], [Mul97], [Hil08], [HN18], [ALPP19]).
    [Show full text]
  • Noncommutative Geometry and Flavour Mixing
    Noncommutative geometry and flavour mixing prepared by Jose´ M. Gracia-Bond´ıa Department of Theoretical Physics Universidad de Zaragoza, 50009 Zaragoza, Spain October 22, 2013 1 Introduction: the universality problem “The origin of the quark and lepton masses is shrouded in mystery” [1]. Some thirty years ago, attempts to solve the enigma based on textures of the quark mass matrices, purposedly reflecting mass hierarchies and “nearest-neighbour” interactions, were very popular. Now, in the late eighties, Branco, Lavoura and Mota [2] showed that, within the SM, the zero pattern 0a b 01 @c 0 dA; (1) 0 e 0 a central ingredient of Fritzsch’s well-known Ansatz for the mass matrices, is devoid of any particular physical meaning. (The top quark is above on top.) Although perhaps this was not immediately clear at the time, paper [2] marked a water- shed in the theory of flavour mixing. In algebraic terms, it establishes that the linear subspace of matrices of the form (1) is universal for the group action of unitaries effecting chiral basis transformations, that respect the charged-current term of the Lagrangian. That is, any mass matrix can be transformed to that form without modifying the corresponding CKM matrix. To put matters in perspective, consider the unitary group acting by similarity on three-by- three matrices. The classical triangularization theorem by Schur ensures that the zero patterns 0a 0 01 0a b c1 @b c 0A; @0 d eA (2) d e f 0 0 f are universal in this sense. However, proof that the zero pattern 0a b 01 @0 c dA e 0 f 1 is universal was published [3] just three years ago! (Any off-diagonal n(n−1)=2 zero pattern with zeroes at some (i j) and no zeroes at the matching ( ji), is universal in this sense, for complex n × n matrices.) Fast-forwarding to the present time, notwithstanding steady experimental progress [4] and a huge amount of theoretical work by many authors, we cannot be sure of being any closer to solving the “Meroitic” problem [5] of divining the spectrum behind the known data.
    [Show full text]
  • Absorbing Representations with Respect to Closed Operator Convex
    ABSORBING REPRESENTATIONS WITH RESPECT TO CLOSED OPERATOR CONVEX CONES JAMES GABE AND EFREN RUIZ Abstract. We initiate the study of absorbing representations of C∗-algebras with re- spect to closed operator convex cones. We completely determine when such absorbing representations exist, which leads to the question of characterising when a representation is absorbing, as in the classical Weyl–von Neumann type theorem of Voiculescu. In the classical case, this was solved by Elliott and Kucerovsky who proved that a representation is nuclearly absorbing if and only if it induces a purely large extension. By considering a related problem for extensions of C∗-algebras, which we call the purely large problem, we ask when a purely largeness condition similar to the one defined by Elliott and Kucerovsky, implies absorption with respect to some given closed operator convex cone. We solve this question for a special type of closed operator convex cone induced by actions of finite topological spaces on C∗-algebras. As an application of this result, we give K-theoretic classification for certain C∗-algebras containing a purely infinite, two- sided, closed ideal for which the quotient is an AF algebra. This generalises a similar result by the second author, S. Eilers and G. Restorff in which all extensions had to be full. 1. Introduction The study of absorbing representations dates back, in retrospect, more than a century to Weyl [Wey09] who proved that any bounded self-adjoint operator on a separable Hilbert space is a compact perturbation of a diagonal operator. This implies that the only points in the spectrum of a self-adjoint operator which are affected by compact perturbation, are the isolated points of finite multiplicity.
    [Show full text]
  • Using Functional Analysis and Sobolev Spaces to Solve Poisson’S Equation
    USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON'S EQUATION YI WANG Abstract. We study Banach and Hilbert spaces with an eye to- wards defining weak solutions to elliptic PDE. Using Lax-Milgram we prove that weak solutions to Poisson's equation exist under certain conditions. Contents 1. Introduction 1 2. Banach spaces 2 3. Weak topology, weak star topology and reflexivity 6 4. Lower semicontinuity 11 5. Hilbert spaces 13 6. Sobolev spaces 19 References 21 1. Introduction We will discuss the following problem in this paper: let Ω be an open and connected subset in R and f be an L2 function on Ω, is there a solution to Poisson's equation (1) −∆u = f? From elementary partial differential equations class, we know if Ω = R, we can solve Poisson's equation using the fundamental solution to Laplace's equation. However, if we just take Ω to be an open and connected set, the above method is no longer useful. In addition, for arbitrary Ω and f, a C2 solution does not always exist. Therefore, instead of finding a strong solution, i.e., a C2 function which satisfies (1), we integrate (1) against a test function φ (a test function is a Date: September 28, 2016. 1 2 YI WANG smooth function compactly supported in Ω), integrate by parts, and arrive at the equation Z Z 1 (2) rurφ = fφ, 8φ 2 Cc (Ω): Ω Ω So intuitively we want to find a function which satisfies (2) for all test functions and this is the place where Hilbert spaces come into play.
    [Show full text]