DOCSLIB.ORG

Arxiv:1807.05227V2 [Math.RA] 1 Oct 2019 Conjugation Es That Sense field a 2.1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1807.05227V2 [Math.RA] 1 Oct 2019 Conjugation Es That Sense field a 2.1 THE SPECIAL LINEAR GROUP FOR NONASSOCIATIVE RINGS HARRY PETYT Abstract. We extend to arbitrary rings a definition of the octonion special linear group due to Baez. At the infinitesimal level we get a Lie ring, which we describe over some large classes of rings, including all associative rings and all algebras over a field. As a corollary we compute all the groups Baez defined. 1. Introduction The special linear groups SL2(R) and SL2(C) are, respectively, the double covers of SO0(2, 1) and SO0(3, 1) – the isometry groups of the hyperbolic plane and hyperbolic 3-space. The pattern continues with the quaternions H, as shown by Kugo and Townsend in [KT83], and Sudbery deals with the final normed real division algebra, the octonions O, in [Sud84]. Unfortunately the way Sudbery defines the special linear group over O only makes sense in dimensions two and three. In his celebrated survey [Bae02], Baez suggests a unified definition of SLm(O) for all m, and shows that it agrees with Sudbery’s definition when m = 2. He does not discuss the case m> 2, and it seems that until now no further investigation has been made. Motivated by this, in Section 2 we reformulate Baez’s definition of the special linear group and algebra in a natural way that lends itself to computation, and note that it naturally extends to arbitrary nonassociative rings (in the present paper, we do not in general assume rings to be associative). We then determine the corresponding special linear ring (we do not necessarily get an algebra structure) for all associative rings. In Section 3 we cover the two dimensional case for unital real composition algebras. In Section 4 we characterise SLm, with m> 2, for a large class of algebras that includes O. This allows us to compute Baez’s groups. In doing so, we find that in three dimensions his definition disagrees with Sudbery’s, which gives a real form of the exceptional Lie group E6. An alternative definition for SL2(O) has been proposed by Hitchin [Hit18]. This defi- nition is motivated by a dimension argument, and does not give a Lie group. I would like to thank Dmitriy Rumynin for introducing me to the problem and for his arXiv:1807.05227v2 [math.RA] 1 Oct 2019 helpful comments and suggestions. 2. Preliminaries 2.1. A composition algebra is a not necessarily unital or associative algebra C over a field F, together with a nondegenerate quadratic form | · |2 that is multiplicative in the sense that |zw|2 = |z|2|w|2. Such algebras come with an anti-involution, which we call conjugation and denote by a bar, e.g. z¯. They are also necessarily alternative. That is, the associator [·, ·, ·] : C3 → C, given by [z, w, u] = (zw)u − z(wu), is alternating. 1 THE SPECIAL LINEAR GROUP FOR NONASSOCIATIVE RINGS 2 If the characteristic of F is not two, then all unital composition algebras can be obtained from F by the Cayley–Dickson construction (a description of which can be found in [Sch95]), and have famously been classified by Jacobson [Jac58]. We are mainly interested in real composition algebras, and we state his classification in this case. Theorem 2.1 (Jacobson). The unital real composition algebras are exactly: (i) R (ii) C (iii) R2, with quadratic form |(a, b)|2 = ab 2 (iv) H (v) M2(R), the 2 × 2 matrices over R, with | · | = det (vi) O (vii) The split octonions O′ We write 1, e1,...,ed−1 for an orthonormal basis of a unital composition algebra of 2 dimension d. We then have ei = ±1 for all i, and eiej = −ejei whenever i 6= j. Letting Lz : C → C denote the left multiplication map w 7→ zw, alternativity of C gives us (1) Le Le = L 2 = ±1 i i ei Moreover, whenever ei 6= ej we have 0 = [ei, ej, z] + [ej, ei, z]= Leiej +ej ei (z) − (Lei Lej + Lej Lei )(z) and hence (2) Lei Lej = −Lej Lei Let Rp,q denote Rp+q with the standard quadratic form of signature (p,q). The algebras in the left-hand column of Theorem 2.1 have signature (d, 0), and those in the right-hand d d column have signature ( 2 , 2 ). 2.2. For a ring R we write Mm(R) to mean the space of m × m matrices with entries in R, and Eij for an element of the standard basis. The trace of a matrix x is written tr x, and left multiplication maps are again denoted Lx. The definition of the octonion special linear group and algebra given by Baez is as follows [Bae02, p.177]. Definition 2.2 (Baez). The octonion special linear algebra slm(O) is the Lie algebra generated under commutators by the set {Lx : x ∈ Mm(O), tr x = 0}. The octonion special linear group SLm(O) is the Lie group generated by exponentiating slm(O). This definition is not well suited to computation, and we prefer to use the following, which is easily seen to agree with Definition 2.2 in the case R = O. Definition 2.3. For R a not necessarily associative or unital ring, slm(R) is the ring generated by LaEij : a ∈ R, i 6= j under commutators. Similarly, SLm(R) is the group generated by LI+aEij : a ∈ R, i 6= j under composition. Straight from the definition we can obtain a nice description of the special linear algebra of an associative ring. Theorem 2.4. Let R be an associative (not necessarily unital) ring. Then there is an isomorphism slm(R) =∼ {x ∈ Mm(R) : tr x ∈ [R, R]} THE SPECIAL LINEAR GROUP FOR NONASSOCIATIVE RINGS 3 Proof. Since R is associative, we have LaLb = Lab for all a, b ∈ R, so we can identify LaEij with the matrix aEij and consider slm(R) ⊂ Mm(R). Now slm(R) contains all matrices with all diagonal entries zero, as these form the linear span of the generators. Furthermore, the commutator of two generators is [aEij, bEkl] = δjkabEil − δilbaEkj, where δ denotes the Kronecker delta. If δjk and δil are not both 1 then we get either zero or a generator. If both are 1 then we get abEii − baEjj. Clearly this has trace lying in [R, R], and by varying a and b we can get the whole of [R, R]. Then varying i and j gives the right hand side of the result. Note that the commutator of such a diagonal matrix with a generator is traceless, so all further commutators have trace in [R, R], and we are done. Theorem 2.4 shows that Definition 2.3 gives a true generalisation of the usual special linear algebra, for if R is a field then [R, R] = 0, and, moreover, if R = H then [H, H]= {z ∈ H : Re(z) = 0}, which gives the standard definition of slm(H) [Har90, p.52]. 3. The Two Dimensional Case Let C be a unital real composition algebra. For x = (xij) ∈ Mm(C), the hermitian ∗ ∗ conjugate of x is x = (xji). If x = x then x is said to be hermitian, and the set of such matrices is denoted hm(C). Note that all diagonal entries of a hermitian matrix lie in R. We restrict our attention to the case m = 2, where alternativity of C ensures that the determinant map x 7→ x11x22 − x12x12 is a well defined quadratic form on h2(C) (see [Bae02, p.176]). If C has dimension d and signature (p,q), then writing z = z0 + z1e1 + · · · + zd−1ed−1 q+1,p+1 for an element of C, we have that h2(C) is isometric to R via the map r z r + s r − s 7−→ , , z , z ,...,zd− z¯ s 2 2 0 1 1 We now define a representation of SL2(C) on h2(C). Let y = LI+aEij be a generator of SL2(C), and for x ∈ h2(C) set y · x = (I + aEij)x(I +aE ¯ ji). This product is well defined because C is alternative, and we extend to SL2(C) in the obvious way. Lemma 3.1. The action of SL2(C) on h2(C) is by isometries. That is, if x ∈ h2(C) and y ∈ SL2(C) then det(y · x) = det x. Proof. It suffices to show that this holds for generators of SL2(C). The two cases are r z similar, so we just do y = LI aE21 . Let x = , recalling that r, s ∈ R. Since + z¯ s ww¯ =ww ¯ for all w ∈ C we obtain r ra¯ + z det(y · x) = det = rs − zz¯ = det x ra +z ¯ raa¯ +z ¯a¯ + az + s It follows that there is a homomorphism of connected Lie groups ψ : SL2(C) −→ SO0(q + 1,p + 1) In order to analyse ψ, we describe a basis of sl2(C), but first a remark. Remark 3.2. If F = C then the same argument as the one above gives a homomorphism SL2(C) → SO(d + 2, C). THE SPECIAL LINEAR GROUP FOR NONASSOCIATIVE RINGS 4 Lemma 3.3. sl2(C) is based by the set LE12 ,LE21 , [LE12 ,LE21 ], αi = LeiE12 , βi = LeiE21 , γi = [LE12 , βi], εij = [αi, βj ] : i < j n o (d−1)(d−2) (d+1)(d+2) In particular, dimSL2(C) = 3 + 3(d − 1) + 2 = 2 . Proof. It follows from identities (1) and (2) that the set in question bases the subspace spanned by products of length at most two, so it suffices to show that this is the whole T of sl2(C).
Load more

Recommended publications
  • Low-Dimensional Representations of Matrix Groups and Group Actions on CAT (0) Spaces and Manifolds
    Low-dimensional representations of matrix groups and group actions on CAT(0) spaces and manifolds Shengkui Ye National University of Singapore January 8, 2018 Abstract We study low-dimensional representations of matrix groups over gen- eral rings, by considering group actions on CAT(0) spaces, spheres and acyclic manifolds. 1 Introduction Low-dimensional representations are studied by many authors, such as Gural- nick and Tiep [24] (for matrix groups over fields), Potapchik and Rapinchuk [30] (for automorphism group of free group), Dokovi´cand Platonov [18] (for Aut(F2)), Weinberger [35] (for SLn(Z)) and so on. In this article, we study low-dimensional representations of matrix groups over general rings. Let R be an associative ring with identity and En(R) (n ≥ 3) the group generated by ele- mentary matrices (cf. Section 3.1). As motivation, we can consider the following problem. Problem 1. For n ≥ 3, is there any nontrivial group homomorphism En(R) → En−1(R)? arXiv:1207.6747v1 [math.GT] 29 Jul 2012 Although this is a purely algebraic problem, in general it seems hard to give an answer in an algebraic way. In this article, we try to answer Prob- lem 1 negatively from the point of view of geometric group theory. The idea is to find a good geometric object on which En−1(R) acts naturally and non- trivially while En(R) can only act in a special way. We study matrix group actions on CAT(0) spaces, spheres and acyclic manifolds. We prove that for low-dimensional CAT(0) spaces, a matrix group action always has a global fixed point (cf.
    [Show full text]
  • The General Linear Group
    18.704 Gabe Cunningham 2/18/05 [email protected] The General Linear Group Definition: Let F be a field. Then the general linear group GLn(F ) is the group of invert- ible n × n matrices with entries in F under matrix multiplication. It is easy to see that GLn(F ) is, in fact, a group: matrix multiplication is associative; the identity element is In, the n × n matrix with 1’s along the main diagonal and 0’s everywhere else; and the matrices are invertible by choice. It’s not immediately clear whether GLn(F ) has infinitely many elements when F does. However, such is the case. Let a ∈ F , a 6= 0. −1 Then a · In is an invertible n × n matrix with inverse a · In. In fact, the set of all such × matrices forms a subgroup of GLn(F ) that is isomorphic to F = F \{0}. It is clear that if F is a finite field, then GLn(F ) has only finitely many elements. An interesting question to ask is how many elements it has. Before addressing that question fully, let’s look at some examples. ∼ × Example 1: Let n = 1. Then GLn(Fq) = Fq , which has q − 1 elements. a b Example 2: Let n = 2; let M = ( c d ). Then for M to be invertible, it is necessary and sufficient that ad 6= bc. If a, b, c, and d are all nonzero, then we can fix a, b, and c arbitrarily, and d can be anything but a−1bc. This gives us (q − 1)3(q − 2) matrices.
    [Show full text]
  • Center and Composition Conditions for Abel Equation
    Center and Comp osition conditions for Ab el Equation Thesis for the degree of Do ctor of Philosophy by Michael Blinov Under the Sup ervision of professor Yosef Yomdin Department of Theoretical Mathematics The Weizmann Institute of Science Submitted to the Feinb erg Graduate Scho ol of the Weizmann Institute of Science Rehovot Israel June Acknowledgments I would like to thank my advisor Professor Yosef Yomdin for his great sup ervision constant supp ort and encouragement for guiding and stimulat ing my mathematical work I should also mention that my trips to scien tic meetings were supp orted from Y Yomdins Minerva Science Foundation grant I am grateful to JP Francoise F Pakovich E Shulman S Yakovenko and V Katsnelson for interesting discussions I thank Carla Scapinello Uruguay Jonatan Gutman Israel Michael Kiermaier Germany and Oleg Lavrovsky Canada for their results obtained during summer pro jects that I sup ervised I am also grateful to my mother for her patience supp ort and lo ve I wish to thank my mathematical teacher V Sap ozhnikov who gave the initial push to my mathematical research Finally I wish to thank the following for their friendship and in some cases love Lili Eugene Bom Elad Younghee Ira Rimma Yulia Felix Eduard Lena Dima Oksana Olga Alex and many more Abstract We consider the real vector eld f x y gx y on the real plane IR This vector eld describ es the dynamical system x f x y y g x y A classical CenterFo cus problem whichwas stated byHPoincare in s is nd conditions on f g under which all tra jectories
    [Show full text]
  • Lie Group and Geometry on the Lie Group SL2(R)
    INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR Lie group and Geometry on the Lie Group SL2(R) PROJECT REPORT – SEMESTER IV MOUSUMI MALICK 2-YEARS MSc(2011-2012) Guided by –Prof.DEBAPRIYA BISWAS Lie group and Geometry on the Lie Group SL2(R) CERTIFICATE This is to certify that the project entitled “Lie group and Geometry on the Lie group SL2(R)” being submitted by Mousumi Malick Roll no.-10MA40017, Department of Mathematics is a survey of some beautiful results in Lie groups and its geometry and this has been carried out under my supervision. Dr. Debapriya Biswas Department of Mathematics Date- Indian Institute of Technology Khargpur 1 Lie group and Geometry on the Lie Group SL2(R) ACKNOWLEDGEMENT I wish to express my gratitude to Dr. Debapriya Biswas for her help and guidance in preparing this project. Thanks are also due to the other professor of this department for their constant encouragement. Date- place-IIT Kharagpur Mousumi Malick 2 Lie group and Geometry on the Lie Group SL2(R) CONTENTS 1.Introduction ................................................................................................... 4 2.Definition of general linear group: ............................................................... 5 3.Definition of a general Lie group:................................................................... 5 4.Definition of group action: ............................................................................. 5 5. Definition of orbit under a group action: ...................................................... 5 6.1.The general linear
    [Show full text]
  • GEOMETRY and GROUPS These Notes Are to Remind You of The
    GEOMETRY AND GROUPS These notes are to remind you of the results from earlier courses that we will need at some point in this course. The exercises are entirely optional, although they will all be useful later in the course. Asterisks indicate that they are harder. 0.1 Metric Spaces (Metric and Topological Spaces) A metric on a set X is a map d : X × X → [0, ∞) that satisfies: (a) d(x, y) > 0 with equality if and only if x = y; (b) Symmetry: d(x, y) = d(y, x) for all x, y ∈ X; (c) Triangle Rule: d(x, y) + d(y, z) > d(x, z) for all x, y, z ∈ X. A set X with a metric d is called a metric space. For example, the Euclidean metric on RN is given by d(x, y) = ||x − y|| where v u N ! u X 2 ||a|| = t |an| n=1 is the norm of a vector a. This metric makes RN into a metric space and any subset of it is also a metric space. A sequence in X is a map N → X; n 7→ xn. We often denote this sequence by (xn). This sequence converges to a limit ` ∈ X when d(xn, `) → 0 as n → ∞ . A subsequence of the sequence (xn) is given by taking only some of the terms in the sequence. So, a subsequence of the sequence (xn) is given by n 7→ xk(n) where k : N → N is a strictly increasing function. A metric space X is (sequentially) compact if every sequence from X has a subsequence that converges to a point of X.
    [Show full text]
  • 10 Group Theory
    10 Group theory 10.1 What is a group? A group G is a set of elements f, g, h, ... and an operation called multipli- cation such that for all elements f,g, and h in the group G: 1. The product fg is in the group G (closure); 2. f(gh)=(fg)h (associativity); 3. there is an identity element e in the group G such that ge = eg = g; 1 1 1 4. every g in G has an inverse g− in G such that gg− = g− g = e. Physical transformations naturally form groups. The elements of a group might be all physical transformations on a given set of objects that leave invariant a chosen property of the set of objects. For instance, the objects might be the points (x, y) in a plane. The chosen property could be their distances x2 + y2 from the origin. The physical transformations that leave unchanged these distances are the rotations about the origin p x cos ✓ sin ✓ x 0 = . (10.1) y sin ✓ cos ✓ y ✓ 0◆ ✓− ◆✓ ◆ These rotations form the special orthogonal group in 2 dimensions, SO(2). More generally, suppose the transformations T,T0,T00,... change a set of objects in ways that leave invariant a chosen property property of the objects. Suppose the product T 0 T of the transformations T and T 0 represents the action of T followed by the action of T 0 on the objects. Since both T and T 0 leave the chosen property unchanged, so will their product T 0 T . Thus the closure condition is satisfied.
    [Show full text]
  • Matrix Lie Groups and Their Lie Algebras
    Matrix Lie groups and their Lie algebras Alen Alexanderian∗ Abstract We discuss matrix Lie groups and their corresponding Lie algebras. Some common examples are provided for purpose of illustration. 1 Introduction The goal of these brief note is to provide a quick introduction to matrix Lie groups which are a special class of abstract Lie groups. Study of matrix Lie groups is a fruitful endeavor which allows one an entry to theory of Lie groups without requiring knowl- edge of differential topology. After all, most interesting Lie groups turn out to be matrix groups anyway. An abstract Lie group is defined to be a group which is also a smooth manifold, where the group operations of multiplication and inversion are also smooth. We provide a much simple definition for a matrix Lie group in Section 4. Showing that a matrix Lie group is in fact a Lie group is discussed in standard texts such as [2]. We also discuss Lie algebras [1], and the computation of the Lie algebra of a Lie group in Section 5. We will compute the Lie algebras of several well known Lie groups in that section for the purpose of illustration. 2 Notation Let V be a vector space. We denote by gl(V) the space of all linear transformations on V. If V is a finite-dimensional vector space we may put an arbitrary basis on V and identify elements of gl(V) with their matrix representation. The following define various classes of matrices on Rn: ∗The University of Texas at Austin, USA. E-mail: [email protected] Last revised: July 12, 2013 Matrix Lie groups gl(n) : the space of n
    [Show full text]
  • Cohomology Theory of Lie Groups and Lie Algebras
    COHOMOLOGY THEORY OF LIE GROUPS AND LIE ALGEBRAS BY CLAUDE CHEVALLEY AND SAMUEL EILENBERG Introduction The present paper lays no claim to deep originality. Its main purpose is to give a systematic treatment of the methods by which topological questions concerning compact Lie groups may be reduced to algebraic questions con- cerning Lie algebras^). This reduction proceeds in three steps: (1) replacing questions on homology groups by questions on differential forms. This is accomplished by de Rham's theorems(2) (which, incidentally, seem to have been conjectured by Cartan for this very purpose); (2) replacing the con- sideration of arbitrary differential forms by that of invariant differential forms: this is accomplished by using invariant integration on the group manifold; (3) replacing the consideration of invariant differential forms by that of alternating multilinear forms on the Lie algebra of the group. We study here the question not only of the topological nature of the whole group, but also of the manifolds on which the group operates. Chapter I is concerned essentially with step 2 of the list above (step 1 depending here, as in the case of the whole group, on de Rham's theorems). Besides consider- ing invariant forms, we also introduce "equivariant" forms, defined in terms of a suitable linear representation of the group; Theorem 2.2 states that, when this representation does not contain the trivial representation, equi- variant forms are of no use for topology; however, it states this negative result in the form of a positive property of equivariant forms which is of interest by itself, since it is the key to Levi's theorem (cf.
    [Show full text]
  • Interview with Henri Cartan, Volume 46, Number 7
    fea-cartan.qxp 6/8/99 4:50 PM Page 782 Interview with Henri Cartan The following interview was conducted on March 19–20, 1999, in Paris by Notices senior writer and deputy editor Allyn Jackson. Biographical Sketch in 1975. Cartan is a member of the Académie des Henri Cartan is one of Sciences of Paris and of twelve other academies in the first-rank mathe- Europe, the United States, and Japan. He has re- maticians of the twen- ceived honorary doc- tieth century. He has torates from several had a lasting impact universities, and also through his research, the Wolf Prize in which spans a wide va- Mathematics in 1980. riety of areas, as well Early Years as through his teach- ing, his students, and Notices: Let’s start at the famed Séminaire the beginning of your Cartan. He is one of the life. What are your founding members of earliest memories of Bourbaki. His book Ho- mathematical inter- mological Algebra, writ- est? ten with Samuel Eilen- Cartan: I have al- berg and first published ways been interested Henri Cartan’s father, Élie Photograph by Sophie Caretta. in 1956, is still in print in mathematics. But Cartan. Henri Cartan, 1996. and remains a standard I don’t think it was reference. because my father The son of Élie Cartan, who is considered to be was a mathematician. I had no doubt that I could the founder of modern differential geometry, Henri become a mathematician. I had many teachers, Cartan was born on July 8, 1904, in Nancy, France. good or not so good.
    [Show full text]
  • A STUDY on the ALGEBRAIC STRUCTURE of SL 2(Zpz)
    A STUDY ON THE ALGEBRAIC STRUCTURE OF SL2 Z pZ ( ~ ) A Thesis Presented to The Honors Tutorial College Ohio University In Partial Fulfillment of the Requirements for Graduation from the Honors Tutorial College with the degree of Bachelor of Science in Mathematics by Evan North April 2015 Contents 1 Introduction 1 2 Background 5 2.1 Group Theory . 5 2.2 Linear Algebra . 14 2.3 Matrix Group SL2 R Over a Ring . 22 ( ) 3 Conjugacy Classes of Matrix Groups 26 3.1 Order of the Matrix Groups . 26 3.2 Conjugacy Classes of GL2 Fp ....................... 28 3.2.1 Linear Case . .( . .) . 29 3.2.2 First Quadratic Case . 29 3.2.3 Second Quadratic Case . 30 3.2.4 Third Quadratic Case . 31 3.2.5 Classes in SL2 Fp ......................... 33 3.3 Splitting of Classes of(SL)2 Fp ....................... 35 3.4 Results of SL2 Fp ..............................( ) 40 ( ) 2 4 Toward Lifting to SL2 Z p Z 41 4.1 Reduction mod p ...............................( ~ ) 42 4.2 Exploring the Kernel . 43 i 4.3 Generalizing to SL2 Z p Z ........................ 46 ( ~ ) 5 Closing Remarks 48 5.1 Future Work . 48 5.2 Conclusion . 48 1 Introduction Symmetries are one of the most widely-known examples of pure mathematics. Symmetry is when an object can be rotated, flipped, or otherwise transformed in such a way that its appearance remains the same. Basic geometric figures should create familiar examples, take for instance the triangle. Figure 1: The symmetries of a triangle: 3 reflections, 2 rotations. The red lines represent the reflection symmetries, where the trianlge is flipped over, while the arrows represent the rotational symmetry of the triangle.
    [Show full text]
  • Title: Algebraic Group Representations, and Related Topics a Lecture by Len Scott, Mcconnell/Bernard Professor of Mathemtics, the University of Virginia
    Title: Algebraic group representations, and related topics a lecture by Len Scott, McConnell/Bernard Professor of Mathemtics, The University of Virginia. Abstract: This lecture will survey the theory of algebraic group representations in positive characteristic, with some attention to its historical development, and its relationship to the theory of finite group representations. Other topics of a Lie-theoretic nature will also be discussed in this context, including at least brief mention of characteristic 0 infinite dimensional Lie algebra representations in both the classical and affine cases, quantum groups, perverse sheaves, and rings of differential operators. Much of the focus will be on irreducible representations, but some attention will be given to other classes of indecomposable representations, and there will be some discussion of homological issues, as time permits. CHAPTER VI Linear Algebraic Groups in the 20th Century The interest in linear algebraic groups was revived in the 1940s by C. Chevalley and E. Kolchin. The most salient features of their contributions are outlined in Chapter VII and VIII. Even though they are put there to suit the broader context, I shall as a rule refer to those chapters, rather than repeat their contents. Some of it will be recalled, however, mainly to round out a narrative which will also take into account, more than there, the work of other authors. §1. Linear algebraic groups in characteristic zero. Replicas 1.1. As we saw in Chapter V, §4, Ludwig Maurer thoroughly analyzed the properties of the Lie algebra of a complex linear algebraic group. This was Cheval­ ey's starting point.
    [Show full text]
  • Arxiv:1711.00219V2 [Math.OA] 9 Aug 2019 R,Fe Rbblt,Glbr Coefficients
    CUMULANTS, SPREADABILITY AND THE CAMPBELL-BAKER-HAUSDORFF SERIES TAKAHIRO HASEBE AND FRANZ LEHNER Abstract. We define spreadability systems as a generalization of exchangeability systems in order to unify various notions of independence and cumulants known in noncommutative probability. In particular, our theory covers monotone independence and monotone cumulants which do not satisfy exchangeability. To this end we study generalized zeta and M¨obius functions in the context of the incidence algebra of the semilattice of ordered set partitions and prove an appropriate variant of Faa di Bruno’s theorem. With the aid of this machinery we show that our cumulants cover most of the previously known cumulants. Due to noncommutativity of independence the behaviour of these cumulants with respect to independent random variables is more complicated than in the exchangeable case and the appearance of Goldberg coefficients exhibits the role of the Campbell-Baker-Hausdorff series in this context. In a final section we exhibit an interpretation of the Campbell-Baker-Hausdorff series as a sum of cumulants in a particular spreadability system, thus providing a new derivation of the Goldberg coefficients. Contents 1. Introduction 2 2. Ordered set partitions 4 2.1. Set partitions 4 2.2. Ordered set partitions 5 2.3. Incidence algebras and multiplicative functions 8 2.4. Special functions in the poset of ordered set partitions 10 3. A generalized notion of independence related to spreadability systems 11 3.1. Notation and terminology 11 3.2. Spreadability systems 13 3.3. Examples from natural products of linear maps 14 3.4. E-independence 15 3.5.
    [Show full text]