arXiv:2011.14234v1 [math.RA] 28 Nov 2020 ler.Oecneunei htprilscnb lsie nothr calle into Dyson Freeman classified [ 1962, way” be In can . particles throughout that percolate is describe consequence which mechanics, One quantum in algebra. important especially is fact This H o xml n hi ope,etro ler,o lffr ler is algebra Clifford or fundamental algebra, a exterior space. are complex, chain spaces alternative any vector or example For super fermions, be mathematician, and can pure bosons parts sp these the particles: physics, vector In of a part. classes simply odd different is and space even vector its called super parts, A spaces”. vector “super odlbrtl raea ler,nml h utrin.Ti saf a is This . the namely algebra, an space create born. deliberately was way to tenfold the thus And more! seven are from em,i mle htteeaetnfnaetlydffrn id fm of kinds different fundamentally ten are there that implies it terms, ahmtc smc older. much is mathematics oet efudta besides that found He moment. oeyuhv “representation” fi a be have will tod you on of now pose part from not space thus vector and every associative, Also, not algebras. are associative they but close, come nt-iesoa iiinagba vrtefil fra ubr ar real as of soon field 1 the As in over but algebras algebras, inverse. more multiplicative created finite-dimensional and a in has rushed others element quaternions, nonzero identity. every multiplicative where the be 1 that requirement the with together ihteascaieblna rdc eemndb hs relations: these by determined product bilinear associative the with so pntrlyweee rusata iertransformations linear as act groups whenever naturally up —show n16,C .C al[ Wall C. T. C. 1964, In h tr eoe vnmr neetn hnw study we when interesting more even becomes story The u esol ei ttebgnig h tr trswt Hamilton, with starts story The beginning. the at begin should we But h efl a us nopoiec rud21 hni a applie was it when 2010 around prominence into burst way tenfold The h he eldvso lerstera numbers real algebras—the division real three The etefrQatmTcnlge,Ntoa nvriyo Sing of University National Date Technologies, River Quantum California, for of Centre University Mathematics, of Department h r iiinagba motn?Oerao oe rmgopr group from comes reason One important? algebras division are Why h utrin r etrta eeagba hyaea“divisio a are they algebra: mere a than better are quaternions The G 3 eebr1 2020. 1, December : ]. otegopo netbelna rnfrain of transformations linear invertible of group the to 7 tde el“ue iiinagba” hc ewl xli na in explain will we which algebras”, division “super real studied ] H R = , ρ C { H EFL WAY TENFOLD THE a fagroup a of and i + 1 2 = ee o h wr-od nterhlso stone.... of halls their in sky, Dwarf-lords the the under for Elven-kings Seven the for Rings Three bi H j ONC BAEZ C. JOHN hc ie“ueyee”sprdvso lers there algebras, division super even” “purely give which , 2 + = cj k G + 2 1 = dk navco space vector a on R ijk : h ope numbers complex the , ,b ,d c, b, a, = − V Z 1 / h iertasomtosof transformations linear The . ieC,951 USA 92521, CA, side -rddvco pcs lokonas known also spaces, vector 2-graded pr,174,Singapore 117543, apore, ∈ sdt ecietofundamentally two describe to used 7 rbnu rvdta h only the that proved Frobenius 877 y atce n niatce.For antiparticles. and particles ly, hscrl fieste“threefold the ideas of circle this d c rte sadrc u ftwo of sum direct a as written ace ato h adcp fthought. of landscape the of part yssoy esalol consider only shall we story: ay’s R ekns h aictosalso ramifications The kinds. ee } fra rcmlxvco spaces. vector complex or real of nite-dimensional. e hsclssesuiglinear using systems physical s V te [ atter uoaial ue vector super a automatically R hti,ahomomorphism a is, that : u-iesoa elvector real our-dimensional peetto hoy Sup- theory. epresentation , C aitnanucdthe announced Hamilton ler” enn one meaning algebra”, n h n14 a h first the was 1843 in who opyis nsimple in physics: to d and 5 C .Btteunderlying the But ]. n h quaternions the and , H h The . .R .Tolkien R. R. J. V that commute with every map ρ(g): V → V form an algebra with composition as multiplication, called End(ρ). Now suppose ρ is “irreducible”, meaning that the only subspaces preserved by all the maps ρ(g): V → V are {0} and V itself. Then Schur’s lemma holds: any transformation T ∈ End(ρ) must have kernel and range equal to {0} or V , so T must be either invertible or zero. Thus, End(ρ) is a division algebra! If ρ is a real irreducible representation of a group, we thus have three choices: R, C, and H. In quantum physics, states of a physical system are described by vectors in a Hilbert space, and symmetries act as unitary operators on this Hilbert space. Elementary particles—systems that have no parts—are described by irreducible representations. Thus, if quantum physics used real Hilbert spaces, elementary particles would come in three kinds. In fact, quantum physicists use complex Hilbert spaces. The only finite-dimensional division algebra over an algebraically closed field is the field itself, and C is algebraically closed. Thus, End(ρ) must be C for any irreducible representation ρ of a group on a complex . But remarkably, there is still a threefold classification of irreducible representations of groups on complex vector spaces, coming from the three real division algebras [1]. So, elementary particles really do come in three kinds! The whole story so far generalizes to super vector spaces. As mentioned, a “super vector space’ is simply a vector space V that is written as a direct sum of two subspaces:

V = V0 ⊕ V1.

We think of 0 and 1 as elements of Z/2. We say an element of V is “even” if it lies in V0, “odd” if it lies in V1, and “homogeneous” if it is either even or odd. A map of super vector spaces f : V → W is a linear map that preserves the grading: f(V0) ⊆ W0 and f(V1) ⊆ W1. The tensor product of super vector spaces is defined by

(V ⊗ W )i = M Vj ⊗ Wk. j+k=i A “super algebra” is an algebra A that is equipped with the structure of a super vector space and whose multiplication, regarded as a map m: A ⊗ A → A, is a map of super vector spaces. So, a super algebra is just an algebra A = A0 ⊕ A1 obeying these rules: • The product of two even elements is even. • The product of an even and an odd element is odd. • The product of two odd elements is even.

For example, take A = R[x], let A0 consist of the polynomials that are even functions, and let A1 consist of those that are odd functions. A “super division algebra” is a superalgebra such that every nonzero homogeneous element has an inverse. Just as division algebras arise naturally from irreducible representations, super division algebras arise naturally from irreducible representations in the super world. We can generalize everything about Schur’s lemma to this case. We will not give the details here, but the upshot is that we can define a representation ρ of a “supergroup” G on a super vector space V , and then there is a super algebra End(ρ) of linear maps T : V → V that “supercommute” with every map ρ(g): V → V . When ρ is irreducible in the appropriate sense, End(ρ) must be a super division algebra. This makes it important to classify super division algebras. It turns out that over the real numbers there are ten. This is not hard to prove. Suppose A is a real super division algebra. Then its even part A0 is closed under multiplication, and the inverse of an even element must be even, so A0 is a division algebra. If A1 = {0}, this gives three options:

• The super division algebra with A0 = R, A1 = {0}. • The super division algebra with A0 = C, A1 = {0}. • The super division algebra with A0 = H, A1 = {0}.

2 In short, the three real division algebras can be seen as “purely even” super division algebras. What if A1 6= {0}? Then we can choose a nonzero element e ∈ A1. Since it is invertible, multiplication by this element sets up an of vector spaces A0 =∼ A1. In the case 2 2 A0 = R, we can rescale e by a real to obtain either e = 1 or e = −1. This gives two options: 2 • The super division algebra with A0 = A1 = R and an odd element e with e = 1. 2 • The super division algebra with A0 = A1 = R and an odd element e with e = −1. −1 In the case A0 = C, note that the map a 7→ eae defines an automorphism of A0, which must be either the identity or complex conjugation. If eae−1 = a then e commutes with all complex numbers, so we can rescale it by a to obtain e2 =1. If eae−1 = a then ea = ae, so e(e2) = (e2)e implies that e2 is real. Rescaling e by a , we can obtain either e2 =1 or e2 = −1. So, we have three options: 2 • The super division algebra with A0 = A1 = C and an odd element e with ei = ie and e = 1. • The super division algebra with A0 = A1 = C and an odd element e with ei = −ie and e2 = 1. • The super division algebra with A0 = A1 = C and an odd element e with ei = −ie and e2 = −1. −1 Finally, in the case A0 = H, the map a 7→ eae defines an automorphism of A0—which, it turns out, must be conjugation by some invertible q: eae−1 = qaq−1. But this means q−1e −1 commutes with all of A0, so replacing e by qe we can assume our automorphism is the identity. 2 2 In other words, now e commutes with all of A0, so e does as well. Thus e ∈ H is actually real. Rescaling e by a real number we can obtain either e2 =1 or e2 = −1. So, we have two options: • The super division algebra with A0 = A1 = H and an odd element e that commutes with 2 everything in A0 and has e = 1. • The super division algebra with A0 = A1 = H and an odd element e that commutes with 2 everything in A0 and has e = −1. These are the ten real super division algebras! The real fun starts here. Wall showed that these ten algebras are all real or complex Clifford algebras. The eight real ones represent all eight Morita equivalence classes of real Clifford algebras. The two complex ones do the same for the complex Clifford algebras. The tenfold way thus unites real and complex Bott periodicity. The ten real super division algebras also correspond naturally to the ten infinite families of compact symmetric spaces. For the mathematician, the best way to learn about all these things is Freed and Moore’s paper “Twisted equivariant matter” [4]. The classification of real super division algebras was also explained by Deligne and Morgan [2], and by Trimble [6]. References

[1] J. C. Baez, Division algebras and quantum theory, Found. Phys. 42 (2012), 819–855. Available as arXiv:1101.5690. [2] P. Deligne and J. W. Morgan, Notes on supersymmetry (following Joseph Bernstein), in Quantum Fields and Strings: a Course for Mathematicians, Vol. 1, AMS, Providence, Rhode Island, 1999, pp. 41–97. [3] F. J. Dyson, The threefold way. Algebraic structure of symmetry groups and ensembles in quantum mechanics, J. Math. Phys. 3 (1962), 1199–1215. [4] D. S. Freed and G. W. Moore, Twisted equivariant matter, Ann. Henri Poincar´e 14 (2013), 1927–2023. Available as arXiv:1208.5055. [5] S. Ryu, A. P. Schnyde, A. Furusaki and A. W. W. Ludwig, Topological insulators and superconductors: tenfold way and dimensional hierarchy, New J. Phys. 12 (2010), 065010. Available as arXiv:0912.2157. [6] T. Trimble, The super and super division algebras, April 27, 2005. Available at http://math.ucr.edu/home/baez/trimble/superdivision.html. [7] C. T. C. Wall, Graded Brauer groups, J. Reine Angew. Math. 213 (1964), 187–199.

3