arxiv: v1 [math.ra] 3 Nov 2016

Transcription

1 JORDAN TRIALGEBRAS AND POST-JORDAN ALGEBRAS FATEMEH BAGHERZADEH, MURRAY BREMNER, AND SARA MADARIAGA rxiv:6.024v [mth.ra] 3 Nov 206 Astrt. We ompute miniml sets of genertors for the S n -moules (n 4) of multiliner polynomil ientities of rity n stisfie y the Jorn prout n the Jorn iprout (resp. pre-jorn prout) in every trissoitive (resp. trienriform) lger. These ientities efine Jorn trilgers n post-jorn lgers: Jorn nlogues of the Lie trilgers n post-lie lgers introue y Dotsenko et l., Pei et l., Vllette & Loy. We inlue n extensive review of nlogous strutures existing in the literture, n their interreltions, in orer to ientify the gps fille y our two new vrieties of lgers. We use omputer lger (liner lger over finite fiels, representtion theory of symmetri groups), to verify in oth ses tht every polynomil ientity of rity 6 is onsequene of those of rity 4. We onjeture tht in oth ses the next inepenent ientities hve rity 8, imitting the Glennie ientities for Jorn lgers. We formulte our results s ommuttive squre of oper morphisms, whih les to the onjeture tht the squres in muh more generl lss re lso ommuttive. Contents. Introution 2.. Operi generliztion of Lie n Jorn lgers 2.2. Overview of prolems n methos The symmetri opers ΣTriAss, ΣTriDen n BW Computtionl methos Terminology n nottion 4.3. Assoitive, Lie, n Jorn lgers 4.4. Results of this pper in ontext 5 2. Preliminries on lgeri opers Free nonsymmetri inry opers Free symmetri inry opers Ientil reltions n oper iels Koszul ulity for qurti opers Dissoitive n enriform lgers Mnin lk n white prouts 0 3. Trissoitive n trienriform lgers 0 4. Jorn trilgers Reltions of rity The oper BW: skeletons, totl orer, norml forms Computing the norml form of multiliner BW monomil Mthemtis Sujet Clssifition. Primry 7C05. Seonry 05A0, 05C30, 5A69, 5B33, 6W0, 7-04, 7A30, 7A50, 7C50, 8D50, 20C30, 68R5, 68W30. Key wors n phrses. Jorn lgers, i-, n tri-lgers; pre- n post-jorn lgers; polynomil ientities; lgeri opers; triplitors; trisuessors; Koszul ulity; omintoris of inry trees; omputer lger; liner lger over prime fiels; representtion theory of symmetri groups. The uthors thnk Vlimir Dotsenko for numerous helpful isussions. The uthors were supporte y Disovery Grnt from NSERC, the Nturl Sienes n Engineering Reserh Counil of Cn.

2 2 FATEMEH BAGHERZADEH, MURRAY BREMNER, AND SARA MADARIAGA 4.3. Reltions of rity Triplitors Representtion theory of the symmetri group All reltions: kernel of the expnsion mp Ol reltions; symmetries of the skeletons Reltions of rity 5: result, prolem, n two onjetures Enumertion of ssoition types n skeletons One ommuttive opertion One nonommuttive opertion Two opertions: one ommuttive, one nonommuttive Post-Jorn lgers Gröner-Shirshov sis for the trienriform oper Reltions of rity Trisuessors Reltions of rity 5: result n two onjetures Conluing remrks Koszul ulity for nonqurti opers A ommuttive igrm: isomorphism of reonfigure opers 27 Referenes 28. Introution.. Operi generliztion of Lie n Jorn lgers. Lie n Jorn lgers re efine y the polynomil ientities of rity n 3, 4 stisfie y the (nti)ommuttor in every ssoitive lger. Lie ilgers (Leiniz lgers) were introue in the erly 990s [37] together with issoitive lgers n the (nti)iommuttor; Jorn ilgers (qusi-jorn lgers) ppere 0 yers lter [52]. Denriform lgers, governe y the Koszul ul of the issoitive oper, were introue in the lte 990s [42]; in this se, the (nti)iommuttor proues pre-lie [26, 53] n pre-jorn [33] lgers. These onstrutions stimulte the theory of lgeri opers n were reformulte in terms of Mnin white n lk prouts. It ws then short step to trissoitive n trienriform lgers, n their Lie nlogues, Lie trilgers [2] n post-lie lgers [50]. In this pper, we investigte the Jorn nlogues, n efine Jorn trilgers n post-jorn lgers. For X {Lie, Jorn}, X-trilgers omine X-lgers n X-ilgers in one struture; post-x lgers omine X-lgers n pre-x lgers in one struture. Our methos re primrily omputtionl; we etermine the multiliner ientities of rity 6 stisfie y the ntiommuttor n ntiiommuttor in every trissoitive n trienriform lger. We use omintoris of trees, liner lger over finite fiels, n representtion theory of symmetri groups. The ientities form the nullspe of wht we ll expnsion mtrix, whih represents (with respet to orere monomil ses) morphism from n oper of Jorn type to one of ssoitive type. The efining ientities One hoie of efining reltions for post-jorn lgers ppers in Appenix A.5 of the rxiv version of Bi et l. [3], where these reltions re presente s efining the trisuessor of the Jorn oper. Tht Appenix oes not pper in the pulishe version of the pper, n in ny se, our methos to otin them re entirely ifferent.

3 JORDAN TRIALGEBRAS AND POST-JORDAN ALGEBRAS 3 hve rity 4 in oth ses, n we verify tht there re no new ientities of rity 5 or 6. ASSOCIATIVE ALGEBRAS Opertion Reltion () () Lie rket [, ] = Lie lgers, eqution () Jorn prout = + Jorn lgers, eqution (2) Self-ul symmetry, reltion () () Commuttive ssoitive lgers No ul, oper is ui not qurti DIASSOCIATIVE ALGEBRAS DENDRIFORM ALGEBRAS Opertions,, Definition 2.9 Opertions,, Definition 2.9 Leiniz rket {, } = Leiniz lgers, Definition 2.2 Ziniel lgers, Definition 2.2 Pre-Lie prout {, } = Perm lgers, Definition 2.6 Pre-Lie lgers, Definition 2.6 Jorn iprout = + Jorn ilgers, Definition 2.8 No ul, oper is ui not qurti Pre-Jorn prout = + No ul, oper is ui not qurti Pre-Jorn lgers, Definition 2.8 TRIASSOCIATIVE ALGEBRAS TRIDENDRIFORM ALGEBRAS Opertions,, Opertions,, Definition 3. Definition 3. Lie rket [, ] = Leiniz rket {, } = Commuttive trienriform lgers, Lie trilgers, Definition 3.4 Definition 3.4 Lie rket [, ] = Commuttive trissoitive lgers, Pre-Lie prout {, } = Definition 3.8 Post-Lie lgers, Definition 3.8 Jorn prout = + Jorn iprout = + Jorn trilgers, Setion 4 No ul, oper is ui not qurti Jorn prout = + Pre-Jorn prout = + No ul, oper is ui not qurti Post-Jorn lgers, Setion 6 Tle. Operi generliztions of ssoitive, Lie, n Jorn lgers.2. Overview of prolems n methos. Tle isplys the generliztions of ssoitivity unerlying our results; the numer of opertions inreses from top to ottom. The left olumn ontins opers otine from ssoitive opertions (in trissoitive); the right olumn ontins their Koszul uls (enriform n trienriform). These opers re nonsymmetri (ut will e symmetrize); eh of them les to generliztions of Lie n Jorn lgers, efine y the polynomil ientities of rity 3, 4 stisfie y the nlogues of the (nti)ommuttor n (nti)iommuttor. All the opers we onsier re generte y inry opertions, with or without symmetry.

4 4 FATEMEH BAGHERZADEH, MURRAY BREMNER, AND SARA MADARIAGA.2.. The symmetri opers ΣTriAss, ΣTriDen n BW. We re primrily onerne with three opers; the first two form Koszul ul pir: The symmetri trissoitive oper ΣTriAss (the symmetriztion of TriAss) whih is generte y three inry opertions,, with no symmetry, stisfying seven qurti reltions; see Definition 3.. The symmetri trienriform oper ΣTriDen (the symmetriztion of TriDen) whih is generte y three inry opertions,, with no symmetry, stisfying qurti reltions; see Definition 3.. The free symmetri oper BW generte y two inry opertions, one ommuttive n one nonommuttive (with no symmetry). The opers governing Jorn trilgers n post-jorn lgers re quotients of BW. The expnsion mp E(n): BW(n) ΣTriAss(n) is efine y + n + ; its kernel ontins the efining ientities for Jorn trilgers. The expnsion mp E(n): BW(n) ΣTriDen(n) is efine y + n + ; its kernel ontins the efining ientities for post-jorn lgers. The stnr monogrph on the theory of lgeri opers is Loy & Vllette [44] Computtionl methos. All omputtions re performe with Mple using rithmeti over Z or Q or finite fiel. To sve time n memory we usully work over finite prime fiel F p, where p is greter thn the rity n of the ientities eing onsiere; this gurntees tht the group lger F p S n is semisimple. In rity n, oth the omin n the oomin of the expnsion mp re S n -moules, n so if p > n then semisimpliity of F p S n gurntees tht it is isomorphi to the iret sum of simple two-sie iels eh of them isomorphi to full mtrix lger. The oeffiients in the formuls for the mtrix units in F p S n s liner omintions of permuttions hve enomintors whih re ivisors of n! n hene re well-efine moulo p. We re left with the prolem of reonstruting orret rtionl results from moulr lultions, ut in this respet we h very goo luk: ll mtrix entries re in {0, ±}. Using the representtion theory of the symmetri group llows us to eompose lrge mtrix into muh smller piees Terminology n nottion. The numer of rguments in monomil is often lle its egree; here we use rity: for lgeri opers, egree refers to (homologil) egree in ifferentil gre vetor spe. From the homologil point of view, ll our vetor spes re gre ut onentrte in egree 0 over se fiel F of hrteristi 0, unless otherwise stte. We write Vet F for the tegory of vetor spes over F. If X is set then FX is the vetor spe 2 with sis X. If O is nonsymmetri oper then ΣO enotes its symmetriztion..3. Assoitive, Lie, n Jorn lgers. An ssoitive lger is vetor spe A with iliner prout m: A A A, (, ), stisfying the reltion () () 0 whih is nonsymmetri (hene multiliner): every term hs the ientity permuttion of the rguments. The symol inites tht equlity hols for ll vlues of the rguments. 2 From tegoril perspetive, the funtor X FX is left joint to the forgetful funtor VetF Sets; tht is, FX is the free vetor spe over F generte y X.

5 JORDAN TRIALGEBRAS AND POST-JORDAN ALGEBRAS 5 In every ssoitive lger, the ommuttor (Lie rket) [, ] = is ntisymmetri n stisfies the Joi ientity; these properties efine Lie lgers: () [, ] 0, [[, ], ] + [[, ], ] + [[, ], ] 0. In every ssoitive lger, the ntiommuttor (Jorn prout) = + is symmetri n stisfies the Jorn ientity; these properties efine Jorn lgers: (2), (( ) ) ( ) ( ). Let L e Lie lger with rket [, ], let J e Jorn lger with prout, n let X e either L or J. Then X hs universl ssoitive enveloping lger U(X) in the following sense: if f : X A is liner mp to n ssoitive lger A then there is unique lger morphism g: U(X) A suh tht g h = f where h: X U(X) is the nturl mp rising s follows. If T(V) is the tensor lger with prout of the vetor spe V, then U(X) T(X)/I(X) for the following (two-sie) iels: I(L) = [, ], L, I(J) = +, J. For every Lie lger L, h is injetive; this follows from the Poinré-Birkhoff-Witt theorem n implies tht every polynomil ientity stisfie y the ommuttor in every ssoitive lger is onsequene of skewsymmetry n the Joi ientity. The sme oes not hol for Jorn lgers. A Jorn lger J is speil if it is isomorphi to sulger of A + for some ssoitive lger A, where A + is the sme vetor spe with the nonssoitive prout = +. For Jorn lger J, the nturl mp h: J U(J) is injetive if n only if J is speil. There re polynomil ientities stisfie y every speil Jorn lger whih re not onsequenes of symmetry n the Jorn ientity [28]; the smllest exmples re the so-lle Glennie ientities n our in rity 8. Quotients of speil Jorn lgers re not neessrily speil [20], so speil Jorn lgers o not form vriety efine y polynomil ientities. TriLie ComTriDen! [,], {,} ΣTriAss ΣTriDen!, TriJor DiLie = Lei Zin! = ComDen! {,} ΣDiAss ΣDen! DiJor Lie ComAss! [,] ΣAsso ΣAsso! Jor PreLie Perm! = ComDiAss! {,} ΣDen ΣDiAss! PostLie ComTriAss! [,], {,} ΣTriDen ΣTriAss!, PreJor PostJor Tle. Generliztions of the Lie, ssoitive, n Jorn opers Figure. Generliztions of the Lie, ssoitive, n Jorn opers.4. Results of this pper in ontext. In lter setions, we inlue onise reviews of nlogous strutures existing in the literture, n their interreltions, in orer to ientify the gps whih motivte the writing of this pper. Tle shows the lgeri opers with whih we re onerne. Our results provie efinitions of Jorn trilgers n post-jorn lgers whih re inite y oxes. (A somewht similr igrm ppers in the leture notes [35].) The otte stright

6 6 FATEMEH BAGHERZADEH, MURRAY BREMNER, AND SARA MADARIAGA (resp. urve) up-own rrows inite the white (resp- lk) Mnin prouts with the opers Perm n PreLie (resp. ComTriAss n PostLie); see 2.6. These proeures my lso e esrie s uplitors n isuessors (resp. triplitors n trisuessors); see 4.4, 6.3. Reversing n rrow orrespons to relizing simpler struture s sulger or quotient of more omplex struture. The left-right rrows represent morphisms etween opers whih reple the (generlize) ssoitive prout y one or two (generlize) Lie rkets or Jorn prouts. We use the symols [, ] n/or {, } for the Lie se, n/or for Jorn. Reversing left-right rrow represents onstruting the universl enveloping lger of the orresponing Lie or Jorn struture. All these opers re inry: the generting opertions re iliner. In olumns, 2 the opers re qurti: the terms of the reltions ontin two opertions. In olumn 3, the opers re ui: the terms ontin three opertions. Koszul ulity for qurti opers n e pplie to olumns, 2 ut not Preliminries on lgeri opers 2.. Free nonsymmetri inry opers. Let Ω = {,..., m } e finite orere set of inry opertions; let O m e the free nonsymmetri oper in Vet F generte y FΩ. The unerlying vetor spe of O m is the iret sum over n of homogeneous omponents O m (n) of rity n. We never elements of ifferent rities, so we oul reple the iret sum y isjoint union (ut then we woul leve Vet F ). The following onstrution of O m lso mkes sense in the tegory Set of sets. We efine sets X of opertions of rity n n then onsier the vetor spes FX. Disjoint union (resp. iret prout) of sets orrespons to iret sum (resp. tensor prout) of vetor spes. The oper O m in Set my e ientifie with the free mgm on one genertor with m inry opertions. Definition 2.. For n, let P n = {p,..., p (n) } e the ssoition types of rity n: the istint plements of lne pirs of prentheses for single inry opertion in sequene of n rguments. If we omit the outermost pir then for n 2 there re n 2 pirs. The size of P n is the Ctln numer (n) = (2n 2)!/(n!(n )!). We write P = n P n ; the set P is sis for O, the free nonsymmetri oper on one inry opertion. Exmple 2.2. We write x for the rguments n juxtposition for the opertion. For n = we hve only x, for n = 2 only xx, n for n = 3 only (xx)x, x(xx). For n = 4, 5 we hve: n = 4 n = 5 ((xx)x)x, (x(xx))x, (xx)(xx), x((xx)x), x(x(xx)). (((xx)x)x)x, ((x(xx))x)x, ((xx)(xx))x, (x((xx)x))x, (x(x(xx)))x, ((xx)x)(xx), (x(xx))(xx), (xx)((xx)x), (xx)(x(xx)), x(((xx)x)x), x((x(xx))x), x((xx)(xx)), x(x((xx)x)), x(x(x(xx))). Definition 2.3. The reveglex orer on P is efine s follows. If f P n, f P n, n < n then f f. If f, f P n then we proee y inution. If n 2 then P n = n f = f. If n 3 then there re unique ftoriztions f = gh, f = g h ; we set f f if n only if either h h, or h = h, g g. (This orer ws use in Exmple 2.2.) If m 2 then we must istinguish the m opertion symols in Ω. An element of P n ontins n multiplitions orere from left to right, n eh my e

7 JORDAN TRIALGEBRAS AND POST-JORDAN ALGEBRAS 7 reple y ny element of Ω. We ientify the m n possiilities with Ω n whose lex orer Ω n is inue y Ω: if α, β Ω n then α Ω n β if n only if α i Ω β i where i is miniml for α i β i. Definition 2.4. Opertions re inepenent of ssoition types, n so we ientify sis of O m (n) with P (m) n = P n Ω n. The elements of P (m) n re the skeletons of rity n; eh skeleton is n n-tuple ( p i ; j,..., jn ) whih represents the sis element of O m (n) with ssoition type p i n opertions j,..., jn from left to right. The totl orers on P n n Ω n exten to P (m) n : for p, p P n n α, α Ω n we hve (p, α) (p, α ) if n only if either p P p, or p = p, α Ω n α. Definition 2.5. To voi onfusion with the opertions in Ω, we enote the sustitution mps in O m (n) y n sterisk inste of irle, i : O m (n) O m (n ) O m (n+n ) for i n. For skeletons f P (m) n O m (n) n f P (m) n O m (n ), the skeleton f i f P (m) n+n O m(n+n ), is otine y sustituting f for the i-th rgument of f. These efinitions exten ilinerly to O m, n the resulting sustitutions generte ll ompositions in O m. Definition 2.6. We my now stte preisely tht the free nonsymmetri oper with m inry opertions Ω with no symmetry is the iret sum O m of the finite imensionl vetor spes O m (n) with the ompositions generte y the sustitutions i of Definition Free symmetri inry opers. The free nonsymmetri oper O m hs sis of skeletons ontining prentheses n opertion symols; rguments re enote y x. Definition 2.7. A multiliner monomil of rity n is skeleton s P (m) n in whih the rgument symols hve een reple y permuttion of x,..., x n. We ientify the set of suh monomils with W (m) n = P (m) n S n where S n is the symmetri group, n efine ΣO m (n) to e the vetor spe with sis W (m) n on whih there is right S n -tion. The iret sum ΣO m of the homogeneous omponents ΣO m (n) is the symmetriztion of O m. In ft, ΣO m is the (unerlying vetor spe of the) free symmetri oper on m inry opertions with no symmetry. Definition 2.5 shows how to ompose skeletons, ut in ΣO m we lso nee to ompose monomils: if α, α re monomils of rities n, n with rguments x,..., x n n x,..., x n, then α i α ( i n) is monomil of rity n+n with rguments x,..., x n+n. For further informtion, see of [44]. A regulr oper is symmetri oper (free or not) whih is the symmetriztion of nonsymmetri oper Ientil reltions n oper iels. Let P e free symmetri oper generte y P(2); tht is, inry opertions with or without symmetry. The symmetries of the opertions re etermine y the S 2 -moule struture of P(2), whih is the iret sum of S 2 -moules isomorphi to either the unit moule [+] (representing ommuttivity), the sign moule [ ] (ntiommuttivity), or the group lger FS n (no symmetry). (Sine FS n [+] [ ], n opertion with no symmetry n e polrize into two opertions, one ommuttive n one ntiommuttive, ut this will not onern us.) We impose n S 3 -moule of qurti reltions R P(3) on the opertions generting P.

8 8 FATEMEH BAGHERZADEH, MURRAY BREMNER, AND SARA MADARIAGA Definition 2.8. The oper iel I = R generte y the reltions R is the smllest sum n I(n) of S n-sumoules I(n) P(n) whih is lose uner ritrry ompositions with elements of P. Tht is, if f I(r) n g P(s) then f i g I(r+s ) for i r, n g j f I(r+s ) for j s. The quotient oper P/I hs homogeneous omponents P(n)/I(n) with ompositions efine in the nturl wy. For given reltions R, we onstrut set of S n -moule genertors of I(n) for ll n. The S 3 -moule R = I(3) is generte y finite set of reltions. Assume tht we hve lrey onstrute finite set of S n -moule genertors of I(n). If f is suh genertor then we inrement the rity y omposing f (x,..., x n ) with some g(x, x 2 ) P(2). By multilinerity, we my ssume tht g(x, x 2 ) = x x 2 where is one of the generting opertions. There re n possiilities for f i g n two for g j f ; sine every reltion must e multiliner, we hnge susripts of some rguments: (3) f i g = f (x,..., x n ) i g(x, x 2 ) = f (x,..., x i, x i x n+, x i+,..., x n ) { f (x,..., x g j f = g(x, x 2 ) j f (x,..., x n ) = n ) x n+ (j = ) x n+ f (x,..., x n ) (j = 2) As f runs over the set of S n -moule genertors of I(n), the elements (3) form set of S n+ -moule genertors for I(n+) Koszul ulity for qurti opers. For ny tegory of lgers governe y qurti oper, one n onstrut its Koszul ul oper, whih governs nother tegory of lgers. For ssoitive lgers, the nonsymmetri oper is self-ul: Asso! Asso. The symmetri opers ComAss for ommuttive ssoitive lgers n Lie for Lie lgers form Koszul ul pir: ComAss! = Lie, Lie! = ComAss. (If P is qurti oper then (P! )! P.) If we generlize ssoitivity to more thn one inry opertion (issoitive, trissoitive,... ), the qurti opers re not self-ul, n efine further generliztions of ssoitivity (enriform, trienriform,... ). Loy showe tht for n oper (symmetri or nonsymmetri) generte y inry opertions with no symmetry, the reltions for the Koszul ul n e otine from the originl reltions y mens of elementry liner lger; see Theorem 8.5 n Proposition B.3 of [40] n Tle 2 of [4]. In this pper we give two exmples, one of whih extens the lgorithm to opertions with symmetry; see Lemms 3.3 n Dissoitive n enriform lgers. Definition 2.9. [38], [42], [40]. A vetor spe with iliner opertions, is issoitive lger if it stisfies these reltions: left n right ssoitivity: ( ) ( ), ( ) ( ), inner ssoitivity: ( ) ( ), left n right r ientities: ( ) ( ), ( ) ( ). A vetor spe with iliner opertions, is enriform lger if it stisfies: inner ssoitivity: ( ) ( ), left-right symmetriztion: ( ) ( ) + ( ), right-left symmetriztion: ( ) ( ) + ( ).

9 JORDAN TRIALGEBRAS AND POST-JORDAN ALGEBRAS 9 Remrk 2.0. The issoitive (ut not enriform) reltions hve the form m m 2 for monomils m, m 2. Denriform lgers re relte to Rot-Bxter opertors [], [24]. Lemm 2.. [42], [40]. The opertion = + is ssoitive in every enriform lger. The opers DiAss (ΣDiAss) n Den (ΣDen) re Koszul uls. Definition 2.2. [6], [37], [39]. A vetor spe with iliner opertion {, } (resp. ) is (left) Leiniz (resp. Ziniel) lger if it stisfies the reltion {, {, }} {{, }, } + {, {, }} ( resp. ( ) ( ) + ( ) ). Lemm 2.3. [38, 39, 40]. The opertion stisfies the left Leiniz ientity in every issoitive lger. In every Ziniel lger the ntiiommuttor + is ommuttive n ssoitive. Every Ziniel lger eomes enriform lger if we efine = ; onversely, every enriform lger whih is ommuttive ( ) is Ziniel lger. The opers Lei n Zin re Koszul uls. Remrk 2.4. The opertion {, } = efines funtor etween the tegories of issoitive n Leiniz lgers; the left joint sens Leiniz lger to its universl enveloping issoitive lger; see [2], [7], [29], [40]. Prolem 2.5. Determine the polynomil ientities stisfie y () the iommuttor n ntiiommuttor in Leiniz lgers; (2) the iommuttor in Ziniel lgers. Definition 2.6. [6], [8], [26], [53]. A vetor spe with iliner opertion {, } is (left) pre-lie (or left-symmetri) lger if it stisfies the reltion (,, ) (,, ) where the ssoitor is (,, ) = {{, }, } {, {, }}. A (right) perm lger is ssoitive n right-ommuttive:. Lemm 2.7. [5], [7], [38], [40]. In every enriform lger the opertion stisfies the pre-lie ientity. The ommuttor in pre-lie lger stisfies (ntiommuttivity n) the Joi ientity. Every ientity for the ntiommuttor in pre-lie lger is onsequene of ommuttivity. The opers PreLie n Perm re Koszul uls. Definition 2.8. [9], [2], [33], [34], [52]. A (right) Jorn ilger is vetor spe with iliner prout stisfying the following three reltions (one of rity 3 n two of rity 4) where (,, ) = ( ) ( ) is the ssoitor: right ommuttivity ( ) ( ) right qusi-jorn ientity ( ) ( ) ( ( )) right ssoitor-erivtion ientity (,, ) 2(,, ) A (right) pre-jorn lger is vetor spe with iliner prout stisfying the following two reltions of rity 4 where we write for short = + : ( ) ( ) + ( ) ( ) + ( ) ( ) [( ) ] + [( ) ] + [( ) ], [ ( )] + [ ( )] + [( ) ] [( ) ] + [( ) ] + [( ) ]. Lemm 2.9. [9], [2], [33]. In every issoitive lger the opertion + stisfies the ientities efining Jorn ilgers. In every enriform lger the opertion + stisfies the ientities efining pre-jorn lgers.

10 0 FATEMEH BAGHERZADEH, MURRAY BREMNER, AND SARA MADARIAGA 2.6. Mnin lk n white prouts. We n interpret the vertil rrows in Tle using Mnin white n lk prouts of opers; for etils see [4], [27], [3], [44], [5]. Strting with ΣAsso in the enter of Tle, we ompute the white prout ΣDiAss Perm ΣAsso to move up in olumn 2. Similrly, we otin the Leiniz oper Lei Perm Lie from the oper Lie, n the i-jorn oper DiJor Perm Jor from the Jorn oper Jor. Tking the white prout with Perm is sometimes lle uplition [30], [47]; this proess hs lso een lle the KP lgorithm []. Strting gin from ΣAsso, we move own y omputing the lk prout ΣDen PreLie ΣAsso. Similrly, we otin PreLie PreLie Lie n PreJor PreLie Jor. Tking the lk prout with PreLie is sometimes lle omputing the isuessor [3]. For ny finitely generte inry qurti opers P n Q, Koszul ulity interhnges Mnin lk n white prouts: we hve (P Q)! P! Q!. Therefore, DiAss n Den re Koszul ul: ΣDiAss! (ΣAsso Perm)! ΣAsso! Perm! ΣAsso PreLie ΣDen. For the Lie olumn, the opers Lei n PreLie re not ul pir, ut we hve Lei Perm Lie = PreLie! ComAss! (PreLie ComAss)! = Zin!, PreLie PreLie Lie Perm! ComAss! (Perm ComAss)! Perm!. For the Jorn olumn, if the Jorn oper h Koszul ul, then we woul otin: DiJor Perm Jor = PreLie! (Jor! )! (PreLie Jor! )!, PreJor PreLie Jor Perm! (Jor! )! (Perm Jor! )!. See 7. for one wy in whih Koszul ul for the Jorn oper oul e efine. Similr onsiertions pply to the top n ottom rows of Tle. Going from the mile to the top orrespons to tking the triplitor of the oper [30], [47]; this is the white prout with the oper ComTriAss (Definition 3.): TriLie ComTriAss Lie, ΣTriAss ComTriAss ΣAsso, TriJor ComTriAss Jor. Going from the mile to the ottom represents tking the trisuessor of the oper [3]: the lk prout with the oper PostLie (Definition 3.8). The opers ΣTriAss n ΣTriDen t top n ottom of the ssoitive olumn re Koszul ul. For the Lie olumn, TriLie ComTriAss Lie = PostLie! ComAss! (PostLie ComAss)! ComTriDen!, PostLie PostLie Lie ComTriAss! ComAss! (ComTriAss ComAss)! ComTriAss!. 3. Trissoitive n trienriform lgers Definition 3.. [43]. A trissoitive lger is vetor spe with iliner opertions,, stisfying these reltions where {,, }: left, mile, n right ssoitivity: ( ) ( ), r ientities: ( ) ( ) n ( ) ( ), inner ssoitivity: if (, 2 ) {(, ), (, ), (, )} then ( ) 2 ( 2 ), Loy-Rono reltion: ( ) ( ). A trienriform lger is vetor spe with iliner opertions,, stisfying: mile ssoitivity: ( ) ( ),

11 JORDAN TRIALGEBRAS AND POST-JORDAN ALGEBRAS left to right n right to left expnsions: ( ) ( ) + ( ) + ( ), ( ) ( ) + ( ) + ( ), inner ssoitivity: if (, 2 ) {(, ), (, ), (, )} then ( ) 2 ( 2 ), Loy-Rono reltion: ( ) ( ). Definition 3.2. We write BBB for the free nonsymmetri oper generte y three inry opertions; the orere set Ω of opertions will e either {,, } or {,, }. Lemm 3.3. [43]. The opertion = + + is ssoitive in every trienriform lger. The opers TriAss n TriDen re Koszul ul pir. Proof. (of the seon lim). Both opers re qurti, inry (n nonsymmetri), so the lim n e verifie following [40]. An orere sis for BBB(3) onsists of the following 8 monomils where the pirs (, 2 ) re in lex orer: (4) ( ) 2, ( 2 ), (, 2 ) Ω 2, Ω = {,, }. Let R e the mtrix whose rows re the oeffiient vetors of the trissoitive reltions; thus rowspe(r) BBB(3). We write m m 2 s m m 2 0 n ot for 0: R = We write R = [R, R 2 ] s two loks of 9 olumns, set R = [R, R 2 ] to negte the entries for ssoition type ( ), n ompute RCF(R ). From this we extrt the mtrix S in RCF whose row spe is the nullspe of R : S = If we reple the opertion symols y {,, } then the rows of S re the oeffiient vetors of the efining reltions for trienriform lgers. Definition 3.4. [2], [4], [46], [47]. A vetor spe with iliner opertions, is ommuttive trienriform lger if it stisfies these reltions: mile ommuttivity n ssoitivity:, ( ) ( ), mile-left ssoitivity: ( ) ( ) left to right expnsion: ( ) ( ) + ( ) + ( ), A vetor spe L with iliner opertions [, ] n {, } is (right) Lie trilger if: (L, [, ]) is Lie lger, (L, {, }) is (right) Leiniz lger, n the opertions stisfy {, [, ]} {, {, }} n {[, ], } [{, }, ] + [, {, }]

12 2 FATEMEH BAGHERZADEH, MURRAY BREMNER, AND SARA MADARIAGA Lemm 3.5. [2], [46], [47]. In every trissoitive lger the opertions [, ] = n {, } = stisfy the ientities efining (right) Lie trilgers. The opers TriLie for Lie trilgers n ComTriDen for ommuttive trienriform lgers re Koszul ul pir. Definition 3.6. We write BW for the free symmetri oper generte y two inry opertions, one ommuttive n one nonommuttive. In the next proof, we enote these opertions y n, ut lter we will use the symols n. Proof. (of the seon sttement in Lemm 3.5). This reues to liner lger lultion s in the proof of Lemm 3.3, ut now we hve symmetri opers, so we must inlue ll permuttions of the rguments. An orere sis of BW(3) onsists of 27 monomils: ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), (5) ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ). We hve lrey ounte for the ommuttivity of. Eh (rity 3) reltion in Definition 3.4 hs six permuttions. Let R e the mtrix whose rows re the oeffiient vetors of these 8 reltions with respet to the orere sis (5). R = The row spe of R is the S 3 -sumoule of BW(3) generte y the ommuttive trienriform reltions. For i 27 let σ i S 3 e the permuttion of the rguments in the i-th monomil (5). Let D e the igonl mtrix whose (i, i) entry is sgn(σ i ) if i 8 (ssoition type ) or sgn(σ i ) if 9 i 27 (ssoition type 2). (This generlizes [40] to n oper with ommuttive opertion.) We set R = RD, ompute RCF(R ), n otin the mtrix S in RCF whose row spe is the nullspe of R : The rows of S re the oeffiient vetors of the reltions for Lie trilgers in Definition 3.4. We reple the symols, in (5) y [, ], {, }; sine is ommuttive, its ul [, ] is ntiommuttive. The lst 6 rows of S re permuttions of {, [, ]} {, {, }}. Row 7 is the Joi ientity for [, ]. Rows 4 6 re permuttions of the sttement tht {, } is erivtion of [, ], nmely {[, ], } [{, }, ] + [, {, }]. Applying {, [, ]} {, {, }} to rows 3 gives permuttions of the Leiniz ientity for {, }.

13 JORDAN TRIALGEBRAS AND POST-JORDAN ALGEBRAS 3 S = Conjeture 3.7. The opertions in Lemm 3.5 efine funtor F: TriAss TriLie. We elieve tht F hs left joint U whih sens Lie trilger L to its universl enveloping trissoitive lger U(L), n tht the nturl mp from L to U(L) is injetive. Definition 3.8. [4], [50]. A vetor spe C with iliner opertions, is ommuttive trissoitive lger if it stisfies these onitions: (C, ) is ommuttive ssoitive lger, n (C, ) is right perm lger, inner ssoitivity: ( ) ( ), right r ientity: ( ) ( ). A vetor spe L with iliner opertions [, ] n {, } is (right) post-lie lger if it stisfies these onitions: (L, [, ]) is Lie lger, {, } is right erivtion of [, ], tht is, {[, ], } [{, }, ] + [, {, }], the reltion [{{, }, } {, {, }}] [ {{, }, } {, {, }} ] {, [, ]} Lemm 3.9. [50]. In every trienriform lger the opertions [, ] = n {, } = stisfy the ientities efining (right) post-lie lgers. The opers PostLie for post-lie lgers n ComTriAss for ommuttive trissoitive lgers re Koszul ul pir. Conjeture 3.0. The opertions in Lemm 3.9 efine funtor F: TriDen PostLie. We elieve tht F hs left joint U whih sens post-lie lger L to its universl enveloping trienriform lger U(L), n tht the nturl mp from L to U(L) is injetive. 4. Jorn trilgers In this setion we present the first originl ontriution of this pper: we use omputer lger to etermine set of S n -moule genertors for the multiliner polynomil ientities of rities n = 3, 4 stisfie y the Jorn prout = + (ommuttive) n Jorn iprout = + (nonommuttive) in every trissoitive lger. These genertors re the ientities efining Jorn trilgers. We use representtion theory of the symmetri group to show tht there re no new ientities in rities 5 n 6. Definition 4.. We lso use, for the opertions in BW; this use of nottion shoul not use onfusion. The expnsion mp E(n): BW(n) ΣTriAss(n) is efine on sis monomils in BW(n) s follows: E(n) is the ientity on rguments, n expns every opertion symol, using the expressions in the previous prgrph, to proue liner omintion of sis monomils in ΣTriAss(n) with

14 4 FATEMEH BAGHERZADEH, MURRAY BREMNER, AND SARA MADARIAGA some permuttion of the rguments. The (nonzero) elements of the kernel of E(n) re the (multiliner) polynomil ientities of rity n stisfie y the opertions, in every trissoitive lger. 4.. Reltions of rity 3. Lemm 4.2. Over fiel F of hrteristi 0 or p > 3, every element of the kernel of E(3) is onsequene of the ommuttivity of n the reltion ( ) ( ). Definition 4.3. The reltion of rity 3 in Lemm 4.2 is the lk right r ientity. Proof. (of Lemm 4.2). We first fin monomil ses for BW(3) n ΣTriAss(3) so tht we n represent E(3) y mtrix n ompute sis for its nullspe. Sine TriAss is efine y monomil reltions, we fin sis for TriAss(3) s follows. The trissoitive reltions generte n equivlene reltion on the set B of 8 (nonsymmetri) monomils (4): we efine t t 2 if n only if t t 2 is one of the reltions in Definition 3.. We tke the quotient of B y to otin set prtition B/. In eh equivlene lss we hoose, s the norml form of the elements in the lss, the monomil whih is miniml with respet to the totl orer in the proof of Lemm 3.3; we use these representtives s sis of TriAss(3). We otin the following norml forms; the first two lsses eh ontin four monomils, n the lst five eh ontin two: ( ), ( ), ( ), ( ), ( ), ( ), ( ). To symmetrize, we pply ll 6 permuttions of,, to the rguments of the norml forms, n otin sis of 42 monomils for ΣTriAss(3). Sine BW is symmetri oper, to fin n orere sis for BW(3), we tke the 27 monomils (5) from the proof of Lemm 3.5 n reple the symols, y,. The olumns of the mtrix representing E(3) with these orere ses re the oeffiient vetors of the expnsions of the sis monomils of BW(3) into ΣTriAss(3); we must reple the trissoitive monomils y their norml forms. For exmple, ( ) ( + ) + ( + ) expnsion mp = ( ) + ( ) + ( ) + ( ) ilinerity = ( ) + ( ) + ( ) + ( ) norml form The mtrix hs rnk 2 n nullity 6. We fin sis for the nullspe n write own the orresponing ientities, whih re the 6 permuttions of the lk right r ientity. Remrk 4.4. The lk right r ientity n the ommuttivity of imply right ommuttivity for (Definition 2.8): we hve ( ) ( ) ( ) ( ) The oper BW: skeletons, totl orer, norml forms. Before stuying rities n 4, we nee to unerstn skeletons in BW; s efore, skeleton in rity n is plement of prentheses n hoie of opertion symols in sequene of n inistinguishle rguments. For the oper BW, their enumertion is not trivil ue to the ommuttivity of. Definition 4.5. It is onvenient to onsier BW not in the monoil tegory Vet F with tensor prout, ut in Set with iret prout; we ll the ltter oper BW- Set. (Equivlently, we onsier sis of eh BW(n) rther thn the entire vetor

15 JORDAN TRIALGEBRAS AND POST-JORDAN ALGEBRAS 5 spe.) Sine BW-Set is symmetri oper, we nnot use the symol x for every rgument. But we hieve the sme gol y onsiering the free lger BWS over BW-Set generte y x; this lger onsists of ll BW-skeletons. We write BWS(n) for the suset of BWS onsisting of the elements of rity n; tht is, those in whih x ours extly n times. This evie llows us to use the symol x s pleholer for unspeifie rguments in symmetri oper. Definition 4.6. For n, we inutively efine totl orer n on BWS(n): () For n =, we hve BWS() = {x}. In wht follows we omit the susript on n. (2) For n 2, if h BWS(n) then h = f g or h = f g with rity( f ), rity(g) < n. () We set f g f 2 g 2 for ll f g, f 2 g 2 BWS(n). () Consier f g n f 2 g 2. If rity( f ) > rity( f 2 ), or rity( f ) = rity( f 2 ) n f f 2, or f = f 2 n g g 2, then we set f g f 2 g 2. () Consier f g n f 2 g 2. We my ssume rity( f i ) rity(g i ) for i =, 2. (i) If rity( f ) > rity( f 2 ) then we set f g f 2 g 2. (ii) If rity( f ) = rity( f 2 ) then we lso hve rity(g ) = rity(g 2 ). Assume rity( f ) > rity(g ). If f f 2, or f = f 2 n g g 2, then we set f g f 2 g 2. Assume rity( f ) = rity(g ). In this se, n is even n ll four ftors hve rity n/2. By ommuttivity, f i g i (or f i = g i ) for i =, 2. If f f 2, or f = f 2 n g g 2, then we set f g f 2 g 2. Exmple 4.7. The 25 skeletons in BWS(4) in the orer of Definition 4.6 re s follows: ((x x) x) x, ((x x) x) x, ((x x) x) x, ((x x) x) x, (x (x x)) x, (x (x x)) x, (x x) (x x), (x x) (x x), (x x) (x x), ((x x) x) x, ((x x) x) x, ((x x) x) x, ((x x) x) x, (x (x x)) x, (x (x x)) x, (x x) (x x), (x x) (x x), (x x) (x x), (x x) (x x), x ((x x) x), x ((x x) x), x ((x x) x), x ((x x) x), x (x (x x)), x (x (x x)) Computing the norml form of multiliner BW monomil. We pply ommuttivity of to strighten first the skeleton n then the rguments; for exmple, ( ) eomes ( ) n then ( ). Strightening the skeleton is equivlent to hoosing unique representtive of eh equivlene lss in BWS(n) with respet to ommuttivity: the skeleton x (x x) hs representtive (x x) x. This lgorithm is neessry when we ompute the onsequenes in rity n+ of BW polynomil in rity n: pplying the sustitution mps of Definition 2.5 to the set of representtives of equivlene lsses in BWS(n) oes not neessrily proue representtives of equivlene lsses in BWS(n + ). Algorithm 4.8. For n = there is only one multiliner monomil x whih y efinition is lrey in norml form. For n 2, every multiliner monomil of rity n hs the form f g or f g (we write f g to over oth ses) where rity( f ), rity(g) < n: () Reursively ompute f n g, the norml forms of f n g. (2) If rity( f ) > rity(g ) then return f g. (3) If rity( f ) < rity(g ) then: if = then return g f else return f g. (4) If rity( f ) = rity(g ) then: () Extrt s( f ) n s(g ), the skeletons of f n g. () If s( f ) s(g ) in the totl orer on BWS(n/2) then return f g. () If s( f ) s(g ) then: if = then return g f else return f g.

16 6 FATEMEH BAGHERZADEH, MURRAY BREMNER, AND SARA MADARIAGA () If s(g ) = s( f ) then: (i) Extrt p( f ) n p(g ), the sequenes of susripts of the rguments of f n g ; s sets, p( f ) p(g ) = n p( f ) p(g ) = {,..., n}. (ii) If p( f ) preees p(g ) in lex orer then return f g, where lex orer mens to ompre the leftmost unequl elements. (iii) If p(g ) preees p( f ) in lex orer then: if = then return g f else return f g. (iv) If p( f ) = p(g ) then return f g Reltions of rity 4. Theorem 4.9. Over fiel F of hrteristi 0 or p > 4, every multiliner polynomil ientity of rity 4, stisfie y the Jorn prout n iprout in every trissoitive lger, is onsequene of the ommuttivity of, the lk right r ientity, n the (lineriztions of the) following ientities of rity 4: (6) (7) (8) (9) (0) () (2) (( ) ) ( ) ( ), ( ( )) ( ) ( ), (( ) ) + (( ) ) + (( ) ) ( ( )) + ( ( )) + ( ( )), ( ) ( ) (( ) ), (( ) ) + (( ) ) + (( ) ) (( ) ) + (( ) ) + (( ) ), (( ) ) + (( ) ) + (( ) ) ( ( )) + (( ) ) + (( ) ), ( ) ( ) + ( ) ( ) + ( ) ( ) ( ( )) + (( ) ) + (( ) ). Proof. Similr to tht of Lemm 4.2, ut the mtries re lrger, n we must el with the onsequenes of the lk right r ientity of rity 3. We first onstrut the 35 sis skeletons in BBB(4), where, 2, 3 re hosen freely from {,, }: ((x x) 2 x) 3 x, (x (x 2 x)) 3 x, (x x) 2 (x 3 x), x ((x 2 x) 3 x), x (x 2 (x 3 x)). Seon, we generte the 65 onsequenes in rity 4 of the efining reltions for TriAss using (3): eh reltion f (,, ) hs 5 onsequenes where is hosen from {,, }: f (,, ), f (,, ), f (,, ), f (,, ), f (,, ). These onsequenes generte n equivlene reltion on the sis of BBB(4), whih hs 5 lsses representing sis of TriAss(4). We hoose the miniml element in eh lss s the norml form of the (nonsymmetri) monomils in tht lss: (( ) ), (( ) ), (( ) ), (( ) ), (( ) ), (( ) ), (( ) ), (( ) ), (( ) ), (( ) ), (( ) ), (( ) ), (( ) ), (( ) ), (( ) ). To onstrut monomil sis of the symmetriztion, we pply ll permuttions of,,, ; thus ΣTriAss(4), the oomin of E(4), hs imension 360. The omin of E(4) is the spe BW(4). To generte n orere sis of BW(4), we strt with the 25 skeletons in Exmple 4.7. In eh skeleton, we reple the four ourrenes of the symol x y ll permuttions of x,..., x 4 ; for eh resulting

17 JORDAN TRIALGEBRAS AND POST-JORDAN ALGEBRAS 7 multiliner monomil we ompute the norml form with respet to ommuttivity, n sve only those monomils whih re irreuile (equl to their norml forms). The numer of monomils we otin for eh skeleton is 4!/2 s where s is the numer of ommuttive symmetries in the skeleton, where y efinition symmetry is su-skeleton of the form f f. For exmple, the skeleton (x x) (x x) hs three symmetries: one with f = x x n two with f = x, so it hs only three multiliner monomils, orresponing to permuttions 234, 324, 423 of the susripts. We orer these monomils first y skeleton n then y permuttion. The totl numer of multiliner monomils over ll skeletons is im BW(4) = 405. With respet to the orere monomil ses of BW(4) n ΣTriAss(4), the expnsion mp E(4): BW(4) ΣTriAss(4) is represente y the mtrix E 4. The (i, j) entry of E 4 is the oeffiient of the i-th ΣTriAss monomil in the expnsion of the j-th BW monomil. We must reple eh ΣTriAss monomil m in eh expnsion y the equivlent element in the monomil sis for ΣTriAss(4); we reple the TriAss skeleton of m y the representtive of the orresponing equivlene lss. For exmple, E(4) ( ( ) ( ) ) = ( ) ( ) + ( ) ( ) + ( ) ( ) + ( ) ( ) + ( ) ( ) + ( ) ( ) + ( ) ( ) + ( ) ( ) = (( ) ) + (( ) ) + (( ) ) + (( ) ) + (( ) ) + (( ) ) + (( ) ) + (( ) ). In this wy, we initilize E 4, whih hs entries in {0, }. This mtrix is lrge, so we use moulr rithmeti (p = 0) to ompute its RCF n the orresponing sis for its nullspe. We fin tht E 4 hs rnk 65 n nullity 240. Its nullspe N(4) BW(4) is the S 4 - moule whih ontins the oeffiient vetors of the multiliner ientities of rity 4 stisfie y the Jorn prout n iprout in every trissoitive lger. The new ientities re the (nonzero) elements of the quotient moule N(4)/M(4) where M(4) is the S 4 -moule generte y the known ientities: () Consequenes of the lk right r ientity, f (,, ) = ( ) ( ) 0, whih generte n S 4 -moule of imension 80: f (,, ), f (,, ), f (,, ), f (,, ), f (,, ), f (,, ), f (,, ), f (,, ), f (,, ). (2) Lineriztion of the Jorn ientity for = +. Comining this with the previous genertors, we otin n S 4 -moule of imension 84. (3) Remrk 4.4 shows tht we o not nee to onsier the onsequenes of right ommuttivity for, sine they re lso onsequenes of the lk right r ientity. (4) Lineriztions of the Jorn ilger ientities for = +. Comining these with the other genertors, we otin the S 4 -moule M(4) of imension 200. We represent M(4) s the row spe of mtrix M 4. The quotient moule N(4)/M(4) of new ientities of rity 4 hs imension 40. From the RCF of E 4 we extrt nonil sis of N(4) s follows: for eh stnr sis vetor v of F 240 p, we set the 240 free vriles equl to the omponents of v n solve for the leing vriles. We put the resulting sis vetors into the rows of mtrix N 4 whose row spe is N(4). (A nonil sis for N(4)

18 8 FATEMEH BAGHERZADEH, MURRAY BREMNER, AND SARA MADARIAGA woul onsist of the rows of RCF(N 4 ).) Cheking the rows of N 4 (ll ientities) one-y-one ginst the row spe of M 4 (known ientities), we otin list of 40 rows whih inrese the rnk. Eh row ontins 6 nonzero entries, representing n ientity with 6 terms. The osets of these row vetors form sis of the quotient moule N(4)/M(4). From this liner sis of 40 vetors, we extrt miniml set of S 4 -moule genertors. Cheking gin the rows ρ of N 4 ginst the row spe of M 4, ut now inluing ll 24 permuttions of the ientity with oeffiient vetor ρ, we otin 5 rows whih inrese the rnk to 204, 26, 222, 232, 240. We fin tht the thir row elongs to the sumoule generte y the others. The remining four genertors re ientities (9)-(2). Remrk 4.0. The opertion stisfies the Jorn ientity (6); the opertion stisfies the Jorn ilger ientities (7)-(8); the opertions re relte y (9)- (2). This pttern of ientities is similr to Definition 3.4 of Lie trilgers: [, ] efines Lie lger, {, } efines Leiniz lger, n other ientities relte the two opertions. Definition 4.. Over fiel F of hrteristi 0 or p > 4, vetor spe J with iliner opertions n is Jorn trilger if: (J, ) is Jorn lger, n (J, ) is Jorn ilger, n the two opertions re relte y ientities (9) (2) of Proposition 4.9. The orresponing symmetri oper will e enote TriJor Triplitors. The oper TriJor governing Jorn trilgers my lso e otine using the tehniques of Pei et l. [47]. We strt from the linerize Jorn ientity, (()) + (()) + (()) ()() ()() ()() 0, n its representtion in terms of tree monomils, using for the opertion symol: + + Let L {,,, } e nonempty suset of the rguments. For eh L we onstrut new polynomil ientity involving opertions, 2, 3 whih we enote simply y, 2, 3. We pply the following triplitor lgorithm to eh tree monomil m in the ientity ove. Algorithm 4.2. For eh x L, let p m (x) e the unique pth from the root of m to the lef x. Let W m e the set of internl verties of m, n efine t m : L W m {, 0, }: If the internl vertex v W m oes not lie on the pth p m (x) then t m (x, v) = 0. If v W m lies on p m (x) then t m (x, v) = (resp. ) if p m (x) turns left (resp. right) t v. There re four possiilities for T m (L, v) = { t m (x, v) x L } \ {0}: If T m (L, v) = { } then the internl vertex v reeives the new opertion symol. If T m (L, v) = { } then the internl vertex v reeives the new opertion symol 3. If T m (L, v) = {, } then the internl vertex v reeives the new opertion symol 2.

19 JORDAN TRIALGEBRAS AND POST-JORDAN ALGEBRAS 9 If T m (L, v) = then none of the pths p m (x) pss through v, n in this se v reeives the symol representing the union of the new opertion symols: = {, 2, 3}. Sine the linerize Jorn ientity is symmetri in,, it suffies to onsier only these susets L: {}, {}, {, }, {, }, {,, }, {,, }, {,,, }. For exmple, if L = {, } then Algorithm 4.2 proues this new ientity: Note tht term 5 ontins vertex lelle ; it thus proues three new ientities fter we reple y, then 2, then 3. These new opertions stisfy symmetries whih follow from the ommuttivity of the Jorn prout: 3 n 2 2. We reple in term 5 y opertion, n pply the symmetries of the opertions to eliminte opertion 3 from terms 3 n 6. The finl result involves only two new opertions, 2: If we reple 2 y, n y, n rewrite the tree monomils in prenthesize form, then we otin multiliner ientities whih we n ompre iretly to those of Theorem 4.9. Definition 4.3. The oper efine y the inry opertions n, where is ommuttive n hs no symmetry, stisfying the multiliner reltions resulting from ll possile pplitions of Algorithm 4.2 to the linerize Jorn ientity, is enote TripJor n is lle the triplitor of the Jorn oper Jor. Proposition 4.4. Let TriJor e the symmetri oper governing Jorn trilgers, generte y the opertions (ommuttive) n (no symmetry) stisfying the ientities of Theorem 4.9. Let TripJor e the symmetri oper generte y the sme opertions ut stisfying the ientities otine y pplying the triplitor Algorithm 4.2 to the linerize Jorn ientity. These two sets of ientities generte the sme suquotient of the S 4 -moule BW(4), n therefore the two opers re isomorphi: TriJor TripJor Representtion theory of the symmetri group. We n exten these lultions to rities n 5, ut the mtries eome very lrge, n so we use the representtion theory of the symmetri group to eompose the S n -moules into isotypi omponents. For the theoretil kgroun see the survey [3], whih inlues n extensive iliogrphy. We mention Rutherfor s exposition [48] of Young s work, Hentzel s implementtion [32] on omputer, n the importnt ontriutions y his stuents Bonri [8] n Clifton [9]. For n, over fiel F of hrteristi 0 or p > n, the group lger FS n is semisimple n hene eomposes s the iret sum of simple two-sie iels isomorphi to full mtrix rings. These iels re in ijetion with the prtitions of

20 20 FATEMEH BAGHERZADEH, MURRAY BREMNER, AND SARA MADARIAGA n: for prtition λ we hve the mtrix ring M λ (F) where the imension λ is given y the hook formul. If Y(λ) is the Young igrm for λ then λ is the numer of stnr tleux for Y(λ). For eh λ the projetion R λ : FS n M λ (F) efines n irreuile representtion of S n ; we ll R λ (π) the representtion mtrix of π for prtition λ. If we efine the tion of S n on M λ (F) y π A = R λ (π)a for A M λ (F), then M λ (F) eomes (left) S n -moule, whih is the iret sum of λ isomorphi miniml left iels in FS n : the olumn vetors in M λ (F). We write [λ] for the isomorphism lss of these miniml left iels; [λ] is the irreuile S n -moule for prtition λ. Clifton [9] foun n effiient lgorithm to ompute R λ (π) All reltions: kernel of the expnsion mp. We show how to ompute the kernel of the expnsion mp E(n) using representtion theory; rell tht E(n) is liner mp from BW(n) to ΣTriAss(n). Let BWS(n) = {β,..., β (n) } e the orere set of skeletons for BW(n) (Definition 4.5), n let NTA(n) = {τ,..., τ t(n) } e the orere sis for TriAss(n) the representtives of the equivlene lsses in BBB(n) whih re the skeletons for ΣTriAss(n). The vntge of representtion theory is tht we o not nee ll multiliner monomils, ut only the skeletons: muh smller set. For eh prtition λ of n we ompute the mtrix E n,λ, whih hs (n) rows n t(n) + (n) olumns of λ λ loks. R λ (X, ) R λ (X,2 ) R λ (X,t(n) ) I λ 0 0 (3) E n,λ = R λ (X 2, ) R λ (X 2,2 ) R λ (X 2,t(n) ) 0 I λ R λ (X (n), ) R λ (X (n),2 ) R λ (X (n),t(n) ) 0 0 I λ For i (n) n j t(n), position (i, j) ontins the representtion mtrix R λ (X i,j ) where X i,j FS n is etermine s follows: (i) (ii) Strt with the i-th skeleton β i from BWS(n). Reple the n ourrenes of the symol x in β i y the ientity permuttion x,..., x n of n inetermintes to otin the multiliner sis monomil µ i for BW(n). (iii) Apply E(n) to µ i, otining X i = E(n)(µ i ) TriAss(n). The terms of the expnsion E(n)(µ i ) elong to the symmetriztion of BBB(n), so we reple eh BBB skeleton y the representtive of its trissoitive equivlene lss; see the proofs of Lemm 4.2 n Proposition 4.9. After this normliztion of the skeletons, X i ΣTriAss(n). (iv) (v) Deompose X i = X i, + + X i,t(n) s sum of t(n) omponents where X i,j onsists of the terms of X i with trissoitive skeleton τ j. In X i,j every term hs skeleton τ j ; the only ifferenes re in the oeffiients n the permuttions. Thus X i,j is liner omintion of permuttions of n, so X i,j FS n. (vi) Compute R λ (X i,j ), the representtion mtrix of X i,j n store it in lok (i, j) of E n,λ. (vii) Finlly ompute the row nonil form of E n,λ. Remrk 4.5. The skeletons in TriAss(n) re in ijetion with the equivlene lsses of skeletons in BBB(n): equivlene is etermine y the (onsequenes of the) trissoitive reltions. Computing this equivlene reltion is only prtil