FERMIONIC NOVIKOV ALGEBRAS ADMITTING INVARIANT NON-DEGENERATE SYMMETRIC BILINEAR FORMS ARE NOVIKOV ALGEBRAS ZHIQI CHEN AND MING DING arxiv:155967v1 [math-ph] 5 May 215 Abstract This paper is to prove that a fermionic Novikov algebra equipped with an invariant non-degenerate symmetric bilinear form is a Novikov algebra 1 Introduction Gel fand and Dikii gave a bosonic formal variational calculus in [5 6] and Xu gave a fermionic formal variational calculus in [13] Combining the bosonic theory of Gel fand-dikii and the fermionic theory Xu gave in [14] a formal variational calculus of super-variables Fermionic Novikov algebras are related to the Hamiltonian super-operator in terms of this theory A fermionic Novikov algebra is a finite-dimensional vector space A over a field F with a bilinear product x y xy satisfying xyz xyz = yxz yxz 11 xyz = xzy 12 for any xyz A It corresponds to the following Hamiltonian operator H of type [14]: Hαβ = γ Ia γ αβ Φ γ2+b γ αβ Φ γd a γ αβ bγ αβ R 13 Fermionic Novikov algebras are a class of left-symmetric algebras which are defined by the identity 11 Left-symmetric algebras are a class of non-associative algebras arising from the study of affine manifolds affine structures and convex homogeneous cones [2 12] Novikov algebras are another class of left-symmetric algebras A satisfying xyz = xzy xyz A 14 Novikov algebras were introduced in connection with the Poisson brackets of hydrodynamic type [1 3 4] and Hamiltonian operators in the formal variational calculus [5 6 7 13 15] The commutator of a left-symmetric algebra A [xy] = xy yx 15 21 Mathematics Subject Classification 17B6 17A3 17D25 Key words and phrases Novikov algebra Fermionic Novikov algebra invariant bilinear form 1
2 ZHIQI CHEN AND MING DING defines a Lie algebra which is called the underlying Lie algebra of A A bilinear form on a left-symmetric algebra A is invariant if R x yz = yr x z 16 for any xyz A Zelmanov [16] classifies real Novikov algebras with invariant positive definite symmetric bilinear forms In [8] Guediri gives the classification for the Lorentzian case This paper is to study real fermionic Novikov algebras admitting invariant non-degenerate symmetric bilinear forms The main result is the following theorem Theorem 11 Any finite dimensional real fermionic Novikov algebra admitting an invariant non-degenerate symmetric bilinear form is a Novikov algebra In order to prove Theorem 11 we describe the structure of these fermionic Novikov algebras But we only give part of the classification since the complete classification is very complicated 2 The proof of Theorem 11 LetAbeafermionicNovikov algebraandletl x andr x denotetheleftandrightmultiplication operator by the element x A respectively ie L x y = xy R x y = yx for any y A By the equation 12 we have R x R y = R y R x xy A In particular Rx 2 = for any x A Definition 21 A non-degenerate bilinear form on V is of type n pp if there is a basis {e 1 e n } of V such that e i e i = 1 for 1 i p e i e i = 1 for p+1 i n and e i e j = for otherwise The bilinear form is positive definite if p = ; Lorentzian if p = 1 A linear operator σ of V is self-adjoint if σxy = xσy xy V Lemma 22 [1] pp 26-261 A linear operator σ on V = R n is self-adjiont if and only if V can be expressed as a direct sum of V k that are mutually orthogonal hence non-degenerate
FERMIONIC NOVIKOV ALGEBRAS 3 σ invariant and each σ Vk has a r r matrix form either λ 1 λ λ 1 λ relative to a basis α 1 α r r 1 with all scalar products zero except α i α j = ±1 if i+j = r +1 or a b b a 1 a b 1 b a 1 a b 1 b a 1 1 a b b a where b relative to a basis β 1 α 1 β m α m with all scalar products zero except β i β j = 1 = α i α j if i+j = m+1 If A admits an invariant non-degenerate symmetric bilinear form of type n pp then is an invariant non-degenerate symmetric bilinear form on A of type pn p So we can assume p n p Lemma 23 Let A be a fermionic Novikov algebra admitting an invariant non-degenerate symmetric bilinear form of type n pp then dimimr x p for any x A Proof Recall that R 2 x = it follows that ImR x KerR x By the invariance of we have R x yr x z = yr 2 xz = which yields ImR x ImR x = Hence dimimr x p Let x A satisfy dimimr x dimimr x for any x A By Lemma 23 dimimr x p For convenience let dimimr x = k By Lemma 22 and R 2 x = there exists a basis {e 1 e n } of A such that the operator R x relative to the basis has the matrix of form 1 2k n 2k 1 2k 2k n 2k 2k n 2k n 2k
4 ZHIQI CHEN AND MING DING where the matrix of the metric with respect to {e 1 e n } is C 2k I p k I n p k 1 1 Here C 2k = diag and I 1 1 s denotes the s s identity matrix For any x A the matrix of the operator R x relative to the basis is A 1 A 2 A 3 A 4 A 5 A 6 A 7 A 8 A 9 whose blocks are the same as those of the metric matrix under the basis {e 1 e n } Firstly we can prove that A5 A 6 = A 8 A n 2k n 2k 9 A5 A In fact assume that there exists some nonzero entry of 6 which denoted by d A 8 A 9 Consider the matrix form of the operator R x +lr x With no confusions we do not distinguish between the operator R x and its matrix form in the following For any l R by the choice of x we know that rr x +lr x = rr x+lx k Taking 2nd 2k-th rows 1st 2k-1-th columns and the row and column containing the element d in the matrix of R x +lr x we have B +lik α B +lik α the k +1 k +1 matrix Note that the determinant of β d β d ie B +li k α β d is a polynomial of degree k in a single indeterminate l So we can choose some l R such that the determinant is nonzero It follows that which is a contradiction rr x +l R x = rr x+l x k +1 Secondly by R x R x +R x R x = we have that A 1 = M ij k k where M ij = A 2 = A 3 = a 21 a 2p k a 2k1 a 2kp k c 21 c 2n p k c 2k1 c 2kn p k bij d ij b ij
FERMIONIC NOVIKOV ALGEBRAS 5 Furthermore since R x yz = yr x z we obtain that bij bij M ij = M d ij b ji = ij d ij b ij where b ii = for any 1 i k and A 4 = A 7 = a 21 a 2k1 a 2p k a 2kp k c 21 c 2k1 c 2n p k c 2kn p k Since R 2 x = we have that A2 1 +A 2A 4 +A 3 A 7 = 2k 2k Note that It follows that b ij = for any ij Then = A 2 1 +A 2A 4 +A 3 A 7 ii = A 2 1 ii M ij = M ji = d ij Finally weclaimthata 2 A 3 A 4 anda 7 arezeromatrices HereweonlyproveA 2 = 2k p k similar for others Assume that there exists some nonzero entry of A 2 which denoted by d Consider the matrix of the operator R x +lr x Similar to the proof of A5 A 6 = A 8 A n 2k n 2k 9 we consider the matrix A 1 +li k α T α wheredisanentry inthevector αanda 1 = d ij k k isasymmetricmatrix Thusthereexists an λ 1 orthogonal matrix P such that P T A 1 P = Choose some l > { λ 1 λ k } λ k Then the matrix A 1 +li k is invertible We have A 1 +li k α T P α = T A 1 +li k α T P 1 α 1 λ 1 +l β = T = Π k i=1 λ k +l λ i +lσ k 1 i=1 λ i +l b2 i β where β = αp = b 1 b k is a nonzero vector It follows that rr x +lr x = rr x+lx k +1
6 ZHIQI CHEN AND MING DING which is a contradiction That is A 2 = 2k p k Up to now we know that the matrix of R x is A 1 2k n 2k n 2k 2k n 2k n 2k where A 1 = M ij k k here M ij = M ji = Hence R d ij x x R y = for any xy A which implies Theorem 11 3 The structure of such fermionic Novikov algebras Let A be an n-dimensional fermionic Novikov algebra with an invariant non-degenerate symmetric bilinear form of type n pp By the above section if x A satisfies dimimr x dimimr x = k p for any x A then there exists a basis {e 1 e n } such that the matrix of R x is A 1 2k n 2k n 2k 2k n 2k n 2k where A 1 = M ij k k here M ij = M ji = 1 k and others zero Clearly d ij x In particular d ii x = 1 for i = Proposition 31 dimaa = dimimr x = k If k = then xy = for any xy A If k = 1 then there exists a basis {e 1 e n } such that the matrix of R x is M 2 n 2 n 2 2 n 2 n 2 where M = Clearly the matrices of L dx ei are zero matrices if i 1 Thus L x L y = L y L x xy A Together with R x R y = for any xy A the matrices of R ei for 1 i n determine a fermionic Novikov algebra Furthermore A is one of the following cases: 1 k = 1 and there exists a basis {e 1 e n } such that e 1 e 1 = e 2 and others zero 2 k = 1 and there exists a basis {e 1 e n } such that e 1 e 2 = e 2 and others zero 3 k = 1 and there exists a basis {e 1 e n } such that e 1 e 3 = e 2 and others zero In particular the above discussion gives the classification of fermionic Novikov algebras admitting invariant Lorentzian symmetric bilinear forms which is obtained in [8]
FERMIONIC NOVIKOV ALGEBRAS 7 If k = 2 then there exists a basis {e 1 e n } such that nonzero products are given by e 1 e i = λ i e 2 +µ i e 4 e 3 e i = µ i e 2 +γ i e 4 For this case A is a fermionic Novikov algebra if and only if L e1 L e3 = L e3 L e1 But the complete classification is very complicated It is similar for k 3 4 Acknowledgements This work was supported by NSF of China No 1131282 and Specialized Research Fund for the Doctoral Program of Higher Education No 21331124 References [1] AA Balinskii and SP Novikov Poisson Brackets of Hydrodynamic Type Frobenius Algebras and Lie Algebras Sov Math Dokl 32 1985 228 231 [2] D Burde Simple left-symmetric algebras with solvable Lie algebra Manuscr Math 95 1998 397 411 [3] BA Dubrovin and SP Novikov Hamiltonian formalism of one-dimensional systems of hydrodynamic type and the Bogolyubov-Whitman averaging method Sov Math Dokl 27 1983 665 669 [4] BA Dubrovin and SP Novikov On Poisson brackets of hydrodynamic type Sov Math Dokl 3 1984 651 654 [5] IM Gel fand and LA Dikii Asymptotic behaviour of the resolvent of Sturm-Liouville equations and the algebra of the Korteweg-De Vries equations Russ Math Surv 3 1975 77 113 [6] IM Gel fand and LA Dikii A Lie algebra structure in a formal variational calculation Funct Anal Appl 1 1976 16 22 [7] IM Gel fand and IYa Dorfman Hamiltonian operators and algebraic structures related to them Funkts Anal Prilozh 13 1979 13 3 [8] M Guediri Novikov algebras carrying an invariant Lorentzian symmetric bilinear form J Geom Phys 82 214 132 144 [9] J Milnor Curvatures of left invariant metrics on Lie groups Adv Math 21 1976 293 329 [1] B O Neill Semi-Riemannian Geometry with applications to Relativity Academic Press 1983 [11] AA Sagle Nonassociative algebras and Lagrangian mechanics on homogeneous spaces Algebras Groups Geom 2 1985 478 494 [12] EB Vinberg The theory of convex homogeneous cones Trans Mosc Math Soc 12 1963 34 43 [13] X Xu Hamiltonian superoperators J Phys A: Math Gen 28 1995 1681 1698 [14] X Xu Variational calculus of supervariables and related algebraic structures J Algebra 223 2 396 437 [15] X Xu Hamiltonian operators and associative algebras with a derivation Lett Math Phys 33 1995 1 6 [16] E Zelmanov On a class of local translation invariant Lie algebras Sov Math Dokl 35 1987 216 218 School of Mathematical Sciences and LPMC Nankai University Tianjin 371 PR China E-mail address: chenzhiqi@nankaieducn Corresponding author School of Mathematical Sciences and LPMC Nankai University Tianjin 371 PR China E-mail address: dingming@nankaieducn