arXiv:1603.06338v2 [gr-qc] 30 May 2016 ueagba nsprrvt akrud 1,13]. [10, backgrounds supergravity in pnr orsodt Yfrsadte a eue nteconstr the in used be can they the and Similary, forms [10–12]. KY theories to correspond spinors om hc r xesoso h ofra ueagba cons superalgebras conformal supe the conformal ma bracket. of of Einstein SN construction extensions in the the are algebra for which Lie to step forms respect first a a with satisfy provides also forms This ma forms a KY curvature CKY forms constant of the normal CKY in algebra called for of bracket ap bracket Lie extension this are Lie graded the under which a the for propose literature Lie we result the a paper, known in or this no exist In is also forms. there forms CKY However, KY algebra of 16]. Different duals [15, background. Hodge bra the the (SN) of to Schouten-Nijenhuis algebra under symmetry structure extended algebra Lie graded Yfrs[] hyaeas sdi h osrcino ymtyope to symmetry related of constru symm be are the construction can which for the manifold used currents the in are gravitational of forms Conserved used CKY geodes also [6]. Similarly the are equation 5]. of They [4, integrals backgrounds first curved [3]. the example, ar forms For There KY 2]. problems. [1, antisymmetr physical respectively have called t in forms also is Besides (CKY) they Killing-Yano which fields. tensors, conformal fields vector and Killing confor vector Killing conformal called conformal of and of bracket are tensors subset Lie metrics a isom the of to b the to correspond of class Lie respect algebra conformal the Lie with a Under the algebra the to preserve symmetric. corresponds of that that maximally symmetries fields algebra called the Lie are a to vectors satisfy corresponds Killing vectors of Killing number of number the ncntn uvtr aiod.W loso h rddLebrack an Lie manifolds graded Einstein paper. the in the show concludes form also 4 CKY We Section normal bracket. manifolds. a brac d curvature also Lie also constant is a We in propose forms we manifold. CKY 3, the normal Section two of In characteristics conditions. curvature integrability the relevant of terms in ∗ lcrncades [email protected] address: Electronic i ler fKligvcoscnb eeaie oK om nconstan in forms KY to generalized be can vectors Killing of algebra Lie h ae sognzda olw.I eto ,w osdrteCYe CKY the consider we 2, Section In follows. as organized is paper The iln etrfilsgnrt h smtiso ie aiod hi fl Their manifold. given a of isometries the generate fields vector Killing i lerso ofra iln n iln etrfilsi fields vector Killing and Lie Killing graded conformal the of to algebras reduce manif algebras Lie Einstein Lie in constant graded constructed forms in The Killing-Yano algebra conformal Lie i normal graded that forms a satisfy differential forms of Killing-Yano bracket Schouten-Nijenhuis modified iln-aofrs e i rce o ofra Killing conformal for bracket Lie new A forms. Killing-Yano epoieagnrlzto fteLeagbao ofra K conformal of algebra Lie the of generalization a provide We i ler fcnomlKligYn forms Killing-Yano conformal of algebra Lie p fr ia urnso wso pnr r K om n a er be can and forms CKY are spinors twistor of currents Dirac -form aut fSine,010 Tando˘gan-Ankara, Turkey 06100, Sciences, of Faculty p baecags[–] oevr the Moreover, [7–9]. charges -brane eateto hsc,Akr University, Ankara Physics, of Department .INTRODUCTION I. mtErtem Umit ¨ agba hticuetegae i ler fCKY of algebra Lie graded the include that ralgebras rce u fcnomlKligvectors. Killing conformal of out tructed ∗ tdfo Yfrsadcrauecharacteristics curvature and forms KY from cted kti hs ae 1] hscrepnst the to corresponds This [14]. cases those in cket iod.Frtesbe fK om,i eue to reduces it forms, KY of subset the For nifolds. esmerctno eeaiain aldKilling called generalizations tensor symmetric he tutrsfrcoe K om htcorrespond that forms CKY closed for structures pca cases. special n cgnrlztoscle iln-ao(Y forms (KY) Killing-Yano called generalizations ic Yn om htcrepnst slightly to corresponds that forms -Yano a iln etrfils hyas omaLie a form also They fields. vector Killing mal rpsd eso htconformal that show We proposed. s tygopo h aiod iial,tevector the Similarly, manifold. the of group etry cmto fapril a ecntutdfrom constructed be can particle a of motion ic e o K om n hwta h rce of bracket the that show and forms CKY for ket uvtr aiod.I sas proven also is It manifolds. curvature lsas aif rddLealgebra. Lie graded a satisfy also olds cino ueagba nsprymti field supersymmetric in superalgebras of uction fietesbe fnra K om n the and forms CKY normal of subset the efine ler fKligYn om n the and forms Killing-Yano of algebra aiu set fte hthv importance have that them of aspects various e dso htte aif rddLealgebra Lie graded a satisfy they that show nd tadLesprler rpriso h new the of properties superalgebra Lie and et all to vectors Killing conformal of algebra Lie aiod h aiod hthv maximal have that manifolds The manifold. oevr usto K om hc are which forms CKY of subset a Moreover, tyoeao osrcino asesDirac massless of construction operator etry h ofra ler.Kligvco fields vector Killing algebra. conformal the p iod ihrsett h endbracket. defined the to respect with nifolds ligvco ed oconformal to fields vector illing lcbet oaigbakhl spacetimes hole black rotating to plicable fr ia urnso emti Killing geometric of currents Dirac -form w rsretemti endo tand it on defined metric the preserve ows aoso h asv ia qainin equation Dirac massive the of rators uto n t nerblt conditions integrability its and quation uvtr aiod.Te aif a satisfy They manifolds. curvature t ti K omfralCYforms CKY all for form CKY a is it d akto etrfils iln vectors Killing fields, vector of racket ltdt conformal to elated 2

II. CKY FORMS AND INTEGRABILITY CONDITIONS

A p-form ω is a CKY p-form in an n-dimensional manifold, if it satisfies the following equation which is the antisymmetric generalization of conformal Killing equation to higher-degree differential forms 1 1 ∇X ω = iX dω − X ∧ δω (1) p +1 n − p +1 e where X is any vector field, X its metric dual, ∇ is the Levi-Civita connection, iX is the interior derivative or contraction with respect to X, d and δ are exterior derivative and co-derivative operators respectively. Co-closed CKY forms, namely δω = 0, corresponde to KY forms. CKY equation is invariant under Hodge star operation which is denoted by *. If ω is a CKY p-form, then ∗ω is a CKY (n − p)-form in an n-dimensional manifold and we have the following equation 1 1 ∇X ∗ ω = iX d ∗ ω − X ∧ δ ∗ ω. (2) n − p +1 p +1 e This can be seen from the properties of * and the equality ∇X ∗ = ∗∇X . CKY equation is also covariant under conformal rescalings of the metric. If ω is a CKY p-form in a background with metric g, then for a background with metric g = e2λg, the p-form ω = e(p+1)λω is again a CKY p-form where λ is a function. This can be proven directly from (1) by using the following relations between operators defined for the metric g and conformally rescaled metric g b b b ∇X ω = ∇X ω − pX(λ)ω − dλ ∧ iX ω + X ∧ idλf ω b dω = dω e (3)

δωb = δω − (n − 2p)idλfω. Integrability conditions of CKY formsb can be obtained by taking second derivatives of the CKY equation [17]. The curvature operator on a manifold is defined as follows

R(X, Y ) = [∇X , ∇Y ] − ∇[X,Y ] (4) where X and Y are arbitrary vector fields. For the ease of calculations, we will choose a frame basis Xa in normal coordinates, so the connection coefficients will be zero and we have ∇Xa Xb = 0 = [Xa,Xb]. By taking the second covariant derivative of (1), we obtain 1 1 ∇Xa ∇Xb ω = ∇Xa iXb dω − ∇Xa (eb ∧ δω) p +1 n − p +1 1 1 = iXb ∇Xa dω − eb ∧ ∇Xa δω (5) p +1 n − p +1 where eb is coframe basis with the property eb(Xa)= δba and we have used the relation [iX , ∇Y ]= i∇X Y . By using (5), the action of the curvature operator on a CKY p-form can be obtained in the following form

R(Xa,Xb)ω = ∇Xa ∇Xb ω − ∇Xb ∇Xa ω 1 1 = (iXb ∇Xa − iXa ∇Xb ) dω − (eb ∧ ∇Xa − ea ∧ ∇Xb ) δω. (6) p +1 n − p +1 By taking the wedge product with ea, (6) transforms into

a p 1 e ∧ R(Xa,Xb)ω = − ∇Xb dω + eb ∧ dδω (7) p +1 n − p +1

a a where we have used the relations e ∧ iXa ω = pω and e ∧ ∇Xa ω = dω with the definition of the 2 LX = iX d + diX and the properties [LX , d] = 0 and d = 0. Since the action of the curvature operator on a p-form a can be written in terms of curvature 2-forms Rab as e ∧ R(Xa,Xb)ω = −Rab ∧ iXa ω (see [8]), the first integrability condition of the CKY equation is obtained as follows p +1 p +1 ∇ a dω = e ∧ dδω + R ∧ i b ω. (8) X p(n − p + 1) a p ba X 3

On the other hand, by taking the interior product of (6) with iXa we obtain 1 n − p a iX R(Xa,Xb)ω = iXb δdω + ∇Xb δω (9) p +1 n − p +1

a 2 where we have used the relations iXa iXb = −iXb iXa and iX ∇Xa = −δ with δ = 0. Since the action of the curvature operator on ω can be written in terms of curvature 2-forms Rab and Ricci 1-forms Pb = iXa Rab as iXa R(Xa,Xb)ω = c a c iXc Pb ∧ iX ω + iXc Rab ∧ iX iX ω, the second integrability condition of the CKY equation is found as n − p +1 n − p +1 b c b ∇Xa δω = − iXa δdω + (iXb Pa ∧ i ω + iXb Rca ∧ iX i ω) . (10) (p + 1)(n − p) n − p X X

a a In fact, by using the definitions δdω = −iX ∇Xa dω and dδω = e ∧ ∇Xa δω, the integrability conditions (8) and (10) can be combined into the following equality p n − p δdω + dδω = Pa ∧ iXa ω + Rab ∧ iXa i b ω (11) p +1 n − p +1 X where we have used the identities iXa Pb = iXb Pa and iXa Rbc + iXb Rca + iXc Rab = 0 which are relevant for zero torsion.

A. Normal CKY forms

A subset of CKY forms can be defined in terms of the following 1-form which plays an important role in conformal geometry and corresponds to the metric dual of the so-called Schouten tensor

1 R Ka = ea − Pa (12) n − 2 2(n − 1)  where R = iXa Pa is the curvature scalar. A CKY p-form ω is called a normal CKY p-form, if it satisfies the following integrability conditions besides the CKY equation [18, 19] p +1 ∇Xa dω = ea ∧ dδω + 2(p + 1)Ka ∧ ω (13) p(n − p + 1)

n − p +1 b ∇Xa δω = − iXa δdω − 2(n − p + 1)i Ka ∧ iXb ω. (14) (p + 1)(n − p) X

These correspond to special cases of (8) and (10). For normal CKY forms, (11) is written as p n − p δdω + dδω = −2(n − p)Ka ∧ iXa ω. (15) p +1 n − p +1

Moreover, in constant curvature manifols, (13) and (14) are equal to (8) and (10) respectively. This can be seen as R follows. For a constant curvature manifold, the curvature 2-forms are written as Rab = n(n−1) ea ∧ eb and the Ricci R 1-forms are Pa = n ea. So, the curvature parts of (8) and (10) are written as p +1 p +1 Rba ∧ i b ω = − Rea ∧ ω p X n(n − 1) n − p +1 n − p +1 b c b (iXb Pa ∧ i ω + iXb Rca ∧ iX i ω) = RiXa ω (16) n − p X X n(n − 1) and the right hand sides of (16) are also equivalent to the curvature terms in (13) and (14) p +1 2(p + 1)Ka ∧ ω = − Rea ∧ ω n(n − 1) n − p +1 −2(n − p + 1)i b K ∧ i ω = Ri a ω. (17) X a Xb n(n − 1) X 4

This means that in constant curvature manifolds, all CKY forms are normal CKY forms. So, in that case the integrability conditions are written in the following form p +1 p +1 ∇Xa dω = ea ∧ dδω − Rea ∧ ω (18) p(n − p + 1) n(n − 1)

n − p +1 n − p +1 ∇Xa δω = − iXa δdω + RiXa ω (19) (p + 1)(n − p) n(n − 1)

p n − p p(n − p) δdω + dδω = Rω. (20) p +1 n − p +1 n(n − 1) The motivation for defining normal CKY forms is the generalization of the properties of CKY forms in constant curvature or conformally flat manifolds to the general cases. Integrability conditions of CKY forms in constant curvature case are more well-behaved in the calculations than the general case and normal CKY forms share this good properties in Einstein manifolds and other cases. Indeed, normal CKY forms correspond to the parallel sections of conformal Cartan conection and they are important for the calculation of the holonomy of the Cartan connection. So, they can be used in the classification of the conformal geometries [18]. There are some special physical backgrounds that have normal CKY forms besides the constant curvature spacetimes like de Sitter (dS) or anti-de Sitter (AdS) spacetimes in which there are maximal number of CKY forms that are also normal CKY forms. For example, gravitational instantons constructed from Eguchi-Hanson metric have normal CKY forms that are composed of twistor spinors in the background [20]. Generally, the squaring map of twistor spinors give normal CKY forms. Moreover, Fefferman spaces in Lorentzian geometry and pp-wave spacetimes also have normal CKY forms [18].

III. A LIE BRACKET FOR CKY FORMS

Killing vector fields and conformal Killing vector fields constitute a structure under the ordinary Lie bracket of vector fields. It is defined for the vector fields X and Y as follows

[X, Y ]= ∇X Y − ∇Y X. The natural generalization of the Lie bracket of vector fields to higher-degree differential forms is the SN bracket and it is defined for a p-form α and a q-form β as

a p a [α, β]SN = iXa α ∧ ∇X β + (−1) ∇Xa α ∧ iX β. (21) The SN bracket has the graded Lie bracket properties and it is known that KY forms satisfy a graded Lie algebra under SN bracket in constant curvature spacetimes [14]. However, there is no known such a result about the Lie algebra structure of antisymmetric generalizations of conformal Killing vectors that are CKY forms. Although it can be thought that the SN bracket can provide a graded Lie algebra structure for CKY forms as a generalization of ordinary Lie bracket of conformal Killing vector fields, this is not the case even in constant curvature manifolds. Instead of this, we propose another generalization of the Lie bracket of vector fields which is slightly different from the SN bracket and provide a graded Lie algebra structure for CKY forms in some special cases. The bracket that we propose for a CKY p-form ω1 and a CKY q-form ω2 is the following 1 (−1)p a a [ω ,ω ]CKY = iXa ω ∧ iX dω + iXa dω ∧ iX ω 1 2 q +1 1 2 p +1 1 2 (−1)p 1 + ω ∧ δω + δω ∧ ω . (22) n − q +1 1 2 n − p +1 1 2 This gives a (p + q − 1)-form and for p = q = 1, it reduces to the Lie bracket of vector fields. For the subset of KY forms which correspond to the co-closed CKY forms that have the property δω = 0, this bracket reduces to the SN bracket of KY forms. However, for general CKY forms, it differs from the SN bracket in terms of the coefficients of the third and fourth terms in (22). We will show that the CKY bracket defined in (22) is a graded Lie bracket for normal CKY forms in Einstein manifolds and for all CKY forms in constant curvature manifolds. Namely, they satisfy the following equality in those cases 1 1 ∇Xa [ω ,ω ]CKY = iXa d[ω ,ω ]CKY − ea ∧ δ[ω ,ω ]CKY . (23) 1 2 p + q 1 2 n − p − q +2 1 2 5

To prove (23), we first calculate the covariant derivative of CKY bracket defined in (22) 1 1 b b ∇Xa [ω ,ω ]CKY = iXb ∇Xa ω ∧ i dω + iXb ω ∧ i ∇Xa dω 1 2 q +1 1 X 2 q +1 1 X 2 (−1)p (−1)p + iXb ∇Xa dω ∧ i b ω + iXb dω ∧ i b ∇Xa ω p +1 1 X 2 p +1 1 X 2 (−1)p (−1)p + ∇Xa ω ∧ δω + ω ∧ ∇Xa δω n − q +1 1 2 n − q +1 1 2 1 1 + ∇Xa δω ∧ ω + δω ∧ ∇Xa ω (24) n − p +1 1 2 n − p +1 1 2 where we have used [iXb , ∇Xa ] = 0 for normal coordinates. We will use the CKY equation (1) and the integrability conditions (8) and (10) by defining the following curvature quantities of a p-form ω1 and similarly of a q-form ω2 for the ease of calculations p +1 α M := R ∧ i b ω (25) p 1a p ba X 1 q +1 α M := R ∧ i b ω q 2a q ba X 2 n − p +1 b c b γpN a := (iXb Pa ∧ i ω + iXb Rca ∧ iX i ω ) (26) 1 n − p X 1 X 1 n − q +1 b c b γqN a := (iXb Pa ∧ i ω + iXb Rca ∧ iX i ω ) . 2 n − q X 2 X 2 So, we obtain

1 (−1)p b b ∇Xa [ω ,ω ]CKY = iXb iXa dω ∧ i dω + iXb dω ∧ i iXa dω 1 2 (p + 1)(q + 1) 1 X 2 (p + 1)(q + 1) 1 X 2 1 (−1)p + iXa ω ∧ dδω + dδω ∧ iXa ω q(n − q + 1) 1 2 p(n − p + 1) 1 2 1 (−1)p − iXa δdω ∧ ω − ω ∧ iXa δdω (p + 1)(n − p) 1 2 (q + 1)(n − q) 1 2 1 (−1)p b b + ea ∧ iXb δω ∧ i dω + iXb dω ∧ ea ∧ i δω (n − p + 1)(q + 1) 1 X 2 (p + 1)(n − q + 1) 1 X 2 1 (−1)p b b − iXb ω ∧ ea ∧ i dδω − ea ∧ iXb dδω ∧ i ω q(n − q + 1) 1 X 2 p(n − p + 1) 1 X 2 p αq (−1) αp + iXb ω ∧ i b M a + iXb M a ∧ i b ω q +1 1 X 2 p +1 1 X 2 p γp (−1) γq + N a ∧ ω + ω ∧ N a (27) n − p +1 1 2 n − q +1 1 2

By taking the wedge product of (27) with ea from the left and then applying the interior product operation, we arrive at the first term of the right hand side of (23) as follows

1 1 (−1)p b b iXa d[ω ,ω ]CKY = iXb iXa dω ∧ i dω + iXb dω ∧ i iXa dω p + q 1 2 (p + 1)(q + 1) 1 X 2 (p + 1)(q + 1) 1 X 2 1 (−1)p + iXa ω ∧ dδω − ω ∧ iXa δdω q(n − q + 1) 1 2 (q + 1)(n − q) 1 2 1 (−1)p − iXa δdω ∧ ω + dδω ∧ iXa ω (p + 1)(n − p) 1 2 p(n − p + 1) 1 2 αq c + (iXb ω ∧ i b M a − e ∧ iXa (iXb ω ∧ i b M c)) (q + 1)(p + q) 1 X 2 1 X 2 p (−1) αp c b b + (iXb M a ∧ i ω − e ∧ iXa (iXb M c ∧ i ω )) (p + 1)(p + q) 1 X 2 1 X 2 6

p αqq (−1) αpp + iXa ω ∧ i b M b + i b M b ∧ iXa ω (q + 1)(n − q)(p + q) 1 X 2 (p + 1)(n − p)(p + q) X 1 2 p (−1) γq b + ω ∧ N a − e ∧ ω ∧ iXa N b q(n − q + 1) 1 2 1 2  γp b + N a ∧ ω − e ∧ iXa N b ∧ ω p(n − p + 1) 1 2 1 2 p  p (−1) γq b (−1) γp b − e ∧ iXa ω ∧ N b + e ∧ N b ∧ iXa ω (28) (n − q + 1)(p + q) 1 2 (n − p + 1)(p + q) 1 2 where we have used the integrability condition (11). Similarly, applying the interior product operation to (27) and then taking the wedge product with ea from the left gives the second term on the right hand side of (23) 1 1 (−1)p b b − ea ∧ δ[ω ,ω ]CKY = ea ∧ iXb δω ∧ i dω + ea ∧ iXb ω ∧ i dδω n − p − q +2 1 2 (n − p + 1)(q + 1) 1 X 2 q(n − q + 1) 1 X 2 1 (−1)p + ea ∧ iXb dω ∧ i b δω − ea ∧ iXb dδω ∧ i b ω (p + 1)(n − q + 1) 1 X 2 p(n − p + 1) 1 X 2 p (−1) αp(n − p + 1) c b − ea ∧ iXb iX M c ∧ i ω (p + 1)(n − p)(n − p − q + 2) 1 X 2 p (−1) αq(n − q + 1) b c + ea ∧ iXb ω ∧ i iX M c (q + 1)(n − q)(n − p − q + 2) 1 X 2

1 αp αq c c − ea ∧ iXb M c ∧ iX i b ω − ea ∧ iX i b ω ∧ i b M c (n − p − q + 2) p +1 1 X 2 q +1 X 1 X 2  γq p + (ea ∧ ω ∧ i b N b + (−1) ea ∧ i b ω ∧ N b) (n − q + 1)(n − p − q + 2) 1 X 2 X 1 2 γp p + (ea ∧ i b N b − (−1) ea ∧ N b ∧ i b ω ) . (29) (n − p + 1)(n − p − q + 2) X 1 1 X 2 Now, we have all the ingredients to check the Lie bracket property of the CKY bracket defined in (22). First, we start with flat manifolds in which we have all the curvature terms equal to zero Ma =0= Na. It can easily be seen that the non-curvature terms in (27) are equivalent to the non-curvature terms in the sum of (28) and (29). Hence, we prove that the CKY bracket of CKY p-form ω1 and CKY q-form ω2 is again a CKY (p + q − 1)-form in flat manifolds. On the other hand, the curvature terms in (27), (28) and (29) are not equal to each other in manifolds of arbitrary curvature. However, we will see in the next subsection that the Lie bracket property can still be satisfied in some manifolds of special curvature such as constant curvature and Einstein manifolds.

A. Constant curvature manifolds

We first consider the manifolds with constant curvature in which the curvature 2-forms are written as Rab = R n(n−1) ea ∧ eb. In this case, the curvature terms defined in (25) and (26) transforms into p +1 αpM a := − Rea ∧ ω (30) 1 n(n − 1) 1 q +1 αqM a := − Rea ∧ ω 2 n(n − 1) 2 n − p +1 γpN a := RiXa ω (31) 1 n(n − 1) 1 n − q +1 γqN a := RiXa ω . 2 n(n − 1) 2 From these definitions, it can easily be seen that the curvature terms in (27) vanish. Moreover, the sum of the curvature terms in (28) and (29) is exactly equal to zero. So, this proves that the CKY bracket of two CKY forms in constant curvature manifolds is again a CKY form. The importance of this result is in the fact that the maximally symmetric spacetimes such as dS and AdS backgrounds are constant curvature manifolds and have maximal number of CKY forms. This provides a way to extend the Lie algebra of conformal Killing vector fields to CKY forms and define an extended conformal algebra in maximally symmetric spacetimes of various dimensions. 7

B. Einstein manifolds

The second case that we consider is the normal CKY forms in Einstein manifolds. For the normal CKY forms, the curvature terms defined in (25) and (26) are written as

αpM1a := 2(p + 1)Ka ∧ ω1 (32)

αqM2a := 2(q + 1)Ka ∧ ω2

γpN1a := −2(n − p + 1)iXb Ka ∧ iXb ω1 (33)

b γqN2a := −2(n − q + 1)iX Ka ∧ iXb ω2. So, the curvature terms in (27) are found to be zero p b b b 2iXb ω1 ∧ (iX Ka ∧ ω2 − Ka ∧ iX ω2) + (−1) 2 (iXb Ka ∧ ω1 − Ka ∧ iXb ω1) ∧ iX ω2 p b b −(−1) 2ω1 ∧ iX Ka ∧ iXb ω2 − 2iX Ka ∧ iXb ω1 ∧ ω2 =0. (34) We need to prove that the curvature terms in the sum of (28) and (29) also vanish. In Einstein manifolds, the Ricci R 1-forms satisfy the relation Pa = n ea. Hence, we have R Ka = − ea (35) 2n(n − 1) and p +1 αpM a := − Rea ∧ ω (36) 1 n(n − 1) 1 q +1 αqM a := − Rea ∧ ω 2 n(n − 1) 2 n − p +1 γpN a := RiXa ω (37) 1 n(n − 1) 1 n − q +1 γqN a := RiXa ω . 2 n(n − 1) 2 These are exactly the same as in the case of (30) and (31). So, the curvature terms in the sum of (28) and (29) are exactly equal to zero. This means that the CKY bracket of two normal CKY forms in Einstein manifolds is again a CKY form. Moreover, it is a normal CKY form since the curvature characteristics defined in the definition of the normal CKY forms in (13) and (14) reduces to the curvature characteristics of ordinary CKY forms in Einstein manifolds. To prove the Lie algebra structure of CKY forms, we will consider the Lie bracket properties of the CKY bracket in the next subsection.

C. Lie bracket properties of the CKY bracket

The CKY bracket defined in (22) satisfy the graded Lie bracket properties. Those are the following (skew)-symmetry condition for a p-form α and a q-form β pq [α, β]CKY = (−1) [β, α]CKY (38) and the graded Jacobi identity p(r+1) q(p+1) r(q+1) (−1) [α, [β,γ]CKY ]CKY + (−1) [β, [γ, α]CKY ]CKY + (−1) [γ, [α, β]CKY ]CKY = 0 (39) where γ is an r-form. In fact, one can see from (38) that for odd forms the CKY bracket is a skew-symmetric bracket while for even forms it is a symmetric bracket. This means that CKY forms in constant curvature manifolds and normal CKY forms in Einstein manifolds satisfy a structure with respect to the CKY bracket. A Lie superalgebra g = g0 ⊕ g1 consists of an even part g0 which is a Lie algebra and an odd part g1 which is a vector space that is acted on by g0. There is a bilinear multiplication [., .] on the superalgebra that satisfies the following (skew)- and super-Jacobi identities [a,b] = −(−1)|a||b|[b,a] [a, [b,c]] = [[a,b],c] + (−1)|a||b|[b, [a,c]] (40) 8 where a,b,c are elements of g and |a| denotes the degree of a which corresponds to 0 or 1 depending on a is in g0 or g1, respectively. For the case of CKY superalgebra, g0 corresponds to the Lie algebra of odd CKY forms and g1 corresponds to the space of even CKY forms. The properties (38) and (39) of the CKY bracket corresponds to the Lie superalgebra properties in (40). For the subset of KY forms, namely CKY forms ω that satisfy δω = 0, the CKY superalgebra reduces to the Lie superalgebra of KY forms with respect to the SN bracket. For p = q = 1, they correspond to the Lie algebra of conformal Killing vector fields and Killing vector fields respectively. Graded Lie algebra of CKY forms can be used in the extended conformal superalgebras of supersymmetric field theories in different curved backgrounds. Conformal Killing vector fields and twistor spinors are main tools in the construction of conformal symmetry superalgebras in various supergravity backgrounds. By using the Lie algebra structure of conformal Killing vector fields and adding an extra R-symmetry to the theory, the conformal superalgebra gain a Lie superalgebra structure [13, 18]. Lie algebra of conformal Killing vectors correspond to the even part of the superalgebra and twistor spinors constitute the odd part of it. So, the Lie algebra of odd CKY forms in maximally symmetric spacetimes is a natural candidate for the extended conformal superalgebras of supersymmetric field theories in relevant maximally symmetric backgrounds. The similar extension can be done for conformal superalgebras in Einstein manifolds from the Lie algebra of normal odd CKY forms. These investigations can give way to obtain different supersymmetric field theories in various supergravity backgrounds.

IV. CONCLUSION

Lie algebra of Killing vector fields can be generalized to KY forms in constant curvature manifolds by the SN bracket of differential forms. A generalization of the Lie algebra of conformal Killing vector fields is provided by defining a new bracket for CKY forms. Although it is similar to the SN bracket, it differs from it in the coefficients of some terms. By computing the covariant derivative of the CKY bracket and compraring it with the exterior and co-derivatives of the bracket, it is shown that CKY forms constitute a graded Lie algebra in constant curvature manifolds. A similar graded Lie algebra structure can also be constructed for normal CKY forms in Einstein manifolds. In fact, they are Lie superalgebras and the even part of it corresponds to the Lie algebra of odd CKY forms while the odd part of it is equal to the space of even CKY forms. The construction of the graded Lie algebra of CKY forms can be related to the investigation of extended super- algebras in supergravity theories. Killing superalgebras in supergravity backgrounds are constructed out of Killing spinors and Killing vector fields. The even part of the superalgebra corresponds to the Lie algebra of Killing vector fields. Similarly, conformal superalgebras in supergravity backgrounds can be constructed out of twistor spinors and conformal Killing vector fields by using the Lie algebra of conformal Killing vector fields. They are used for obtaining results about the classification problem of supergravity backgrounds. The construction of the graded Lie algebras of KY forms and CKY forms can be used to extend the Killing superalgebras to include higher-degree differential forms. It is known that the higher-degree Dirac currents of Killing spinors correspond to KY forms while for twistor spinors they are equal to CKY forms [10]. So, the odd parts of the superalgebras can generate the even parts of them. An investigation for the extensions of Killing superalgebras in AdS5 background is done in [12]. Similar analysis is under investigation for conformal superalgebras by using the construction of the graded Lie algebra of CKY forms.

Acknowledgments

The author thanks School of Mathematics of The University of Edinburgh for the kind hospitality and providing a fruitful scientific atmosphere during his stay in Edinburgh where this work started.

[1] Yano K 1952 Some remarks on tensor fields and curvature Ann. Math. 55 328 [2] Tachibana S and Kashiwada T 1969 On the integrability of Killing-Yano equations J. Math. Soc. Japan 21 259 [3] Hughston L P, Penrose R, Sommers P and Walker M 1972 On a quadratic first integral for the charged particle orbits in the charged Kerr solution Commun. Math. Phys. 27 303 [4] Benn I M and Kress J 2004 First-order Dirac symmetry operators Class. Quantum Grav. 21 427 [5] A¸cık O,¨ Ertem U,¨ Onder¨ M and Ver¸cin A 2009 First-order symmetries of the Dirac equation in a curved background: a unified dynamical symmetry condition Class. Quantum Grav. 26 075001 [6] Benn I M and Charlton P 1997 Dirac symmetry operators from conformal Killing-Yano tensors Class. Quantum Grav. 14 1037 9

[7] Kastor D and Traschen J 2004 Conserved gravitational charges from Yano tensors J. High Energy Phys. 0408 045 [8] A¸cık O,¨ Ertem U,¨ Onder¨ M and Ver¸cin A 2010 Basic gravitational currents and Killing-Yano forms Gen. Relativ. Gravit. 42 2543 [9] Ertem U¨ and A¸cık O¨ 2013 Couplings of gravitational currents with Chern-Simons gravities Phys. Rev. D 87 044052 [10] A¸cık O¨ and Ertem U¨ 2015 Higher-degree Dirac currents of twistor and Killing spinors in supergravity theories Class. Quantum Grav. 32 175007 [11] Figueroa-O‘Farrill J, Hackett-Jones E, Moutsopoulos G and Simon J 2009 On the maximal superalgebras of supersymmetric backgrounds Class. Quantum Grav. 26 035016 [12] Ertem U¨ 2016 Symmetry operators of Killing spinors and superalgebras in AdS5 J. Math. Phys. 57 042502 [13] de Medeiros P and Hollands S 2013 Conformal symmetry superalgebras Class. Quantum Grav. 30 175016 [14] Kastor D, Ray S and Traschen J 2007 Do Killing-Yano tensors form a Lie algebra? Class. Quantum Grav. 24 3759 [15] Krtous P, Kubiznak D, Page D N and Frolov V 2007 Killing-Yano tensors, rank-2 Killing tensors and conserved quantities in higher dimensions J. High Energy Phys. 0702 004 [16] Cariglia M, Krtous P and Kubiznak D 2011 Commuting symmetry operators of the Dirac equation, Killing-Yano and Schouten-Nijenhuis brackets Phys. Rev. D 84 024004 [17] Semmelmann U 2003 Conformal Killing forms on Riemannian manifolds Math. Z. 245 503 [18] Leitner F 2004 Normal conformal Killing forms e-print arXiv:math/0406316 [19] Lischewski A 2014 Conformal superalgebras via tractor calculus Class. Quantum Grav. 32 015020 [20] K¨uhnel W and Rademacher H B 1996 Twistor spinors and gravitational instantons Lett. Math. Phys. 38 411