Access the full text.

Sign up today, get DeepDyve free for 14 days.

Mathematics
, Volume 2020 (2001) – Jan 16, 2020

/lp/arxiv-cornell-university/modular-classes-of-q-manifolds-part-ii-riemannian-structures-odd-9F97fzVJnd

- ISSN
- 0044-8753
- eISSN
- ARCH-3343
- DOI
- 10.5817/AM2020-3-153
- Publisher site
- See Article on Publisher Site

MODULAR CLASSES OF Q-MANIFOLDS, PART II: RIEMANNIAN STRUCTURES & ODD KILLING VECTORS FIELDS ANDREW JAMES BRUCE Abstract. We deﬁne and make an initial study of (even) Riemannian supermanifolds equipped with a homolog- ical vector ﬁeld that is also a Killing vector ﬁeld. We refer to such supermanifolds as Riemannian Q-manifolds. We show that such Q-manifolds are unimodular, i.e., come equipped with a Q-invariant Berezin volume. Keywords: Q-manifolds; Riemannian supermanifolds; Killing vector ﬁelds; modular classes. MSC 2010: 17B66; 57R20; 57R25; 58A50; 58B20. Contents 1. Introduction 1 2. Riemannian supermanifolds 2 2.1. The tangent bundle of a supermanifold and symmetric tensors 2 2.2. Riemannian structures 3 2.3. Killing vector ﬁelds 5 2.4. The inverse metric and the trace 5 2.5. The divergence operator and the canonical Berezin volume 6 3. Q-manifolds and their modular classes 7 3.1. Homological vector ﬁelds and Q-manifolds 7 3.2. Modular classes of Q-manifolds 8 4. Riemannian Q-manifolds 8 4.1. Homological-Killing vector ﬁelds 8 4.2. The modular class of a Riemannian Q-manifold 9 4.3. Killing–Shander coordinates 10 5. Concluding remarks 11 Acknowledgements 11 References 11 1. Introduction This paper is a direct continuation of an earlier paper by the author [3] in which the notion of the modular class of a Q-manifold was reviewed and various illustrative examples are given. Q-manifolds (see [23]), i.e., supermanifolds equipped with an odd vector ﬁeld that ‘squares to zero’, have become an important part of mathematical physics due to their prominence in the AKSZ-formalism [1] and the conceptionally neat formalism they provide for describe Lie algebroids [27] and Courant algebroids [22], as well as various generalisations thereof. The modular class of a Q-manifold (see [19, 20]) is a natural generalisation of the modular class of a Lie algebroid [7]. The modular class of a Q-manifold is given in terms of the divergence of the homological vector ﬁeld, though it does not depend on the chosen Berezin volume. The vanishing of the modular class is a necessary and suﬃciency condition for the existence of a Q-invariant Berezin volume. Q-manifolds with vanishing modular class are known as unimodular Q-manifolds. Here we given another class of examples of unimodular Q-manifolds by considering (even) Riemannian supermanifolds that admit an odd Killing vector ﬁeld that is homological. We will refer to such supermanifolds as Riemannian Q-manifolds. To our knowledge, such supermanifolds have not appeared in the literature before now. The notion of supersymmetric Killing structures appears in the work of Klinker [15]. Riemannian Q-manifolds are reminiscent of even symplectic supermanifolds in the sense that Killing vector ﬁelds are akin to Hamiltonian vector ﬁelds. Moreover, we have a version of Liouville’s theorem on even symplectic supermanifolds that states that there is always a Berezin volume that is invariant with respect to all Hamiltonian vector ﬁelds. This implies, for example, that the modular class of a Courant algebroid (or more properly, a symplectic Lie 2-algebroid [22]) vanishes. The direct analogue of this is explicitly proved in this paper, though Date: January 17, 2020. arXiv:2001.05701v1 [math-ph] 16 Jan 2020 2 ANDREW JAMES BRUCE the result should not come as a surprise: the canonical Berezin volume on a Riemannian supermanifold is invariant under the action of Killing vector ﬁelds. This directly implies that the modular class of a Riemannian Q-manifold vanishes. This paper is devoted to explicitly proving this. Moreover, at each stage, we give concrete examples. An incomplete list of relatively recent papers on Riemannian supermanifolds includes [8, 9, 10, 11, 13, 14]. We do not believe that this paper contains anything truly new about Riemannian supergeometry. However, ﬁnding clear references to the expressions we require is not so easy. Thus, part of this paper is devoted to setting-up what we need to describe Riemannian Q-manifolds. Arrangement. In Section 2 we recall the basic facets of Riemannian supergeometry relevant to our needs. In particular, we pay attention to Killing vector ﬁelds, the canonical Berezin volume and the divergence operator. We then move on to Q-manifolds and their modular classes in Section 3. Much of this section is taken from [3] and references therein. In Section 4 we deﬁne the notion of a Riemannian Q-manifold and explore some of their basic properties. We end with Section 5 with a few concluding remarks. Our use of supermanifolds. We assume that the reader has some familiarity with the basics of the theory of supermanifolds. We will understand a supermanifold M := (|M|, O ) of dimension n|m to be a supermanifold n|m in the sense of Berezin & Leites [2], i.e., as a locally superringed space that is locally isomorphic to R := n ∞ n 1 m R , C (R ) ⊗ Λ(ξ , · · · ξ ) . In particular, given any point on |M| we can always ﬁnd a ‘small enough’ open a µ i neighbourhood |U| ⊆ |M| such that we can employ local coordinates x := (x , ξ ) on M. We will call (global) sections of the structure sheaf functions, and often denote the supercommutative algebra of all functions as C (M). The underlying smooth manifold |M| we refer to as the reduced manifold. We will make heavy use of local coordinates on supermanifolds and employ the standard abuses of notation when it comes to describing, for example, morphisms of supermanifolds. We will denote the Grassmann parity of an object A by ‘tilde’, i.e., A ∈ Z . By ‘even’ and ‘odd’ we will be referring to the Grassmann parity of the objects in question. As we will work in the category of smooth supermanifolds, all the algebras, commutators etc. will be Z -graded. The tangent sheaf T M of a supermanifold M is the sheaf of derivations of sections of the structure sheaf – this is, of course, a sheaf of locally free O -modules. Global sections of the tangent sheaf we refer to as vector ﬁelds, and denote the O (|M|)-module of vector ﬁelds as Vect(M). The total space of the tangent sheaf we will denote by TM and refer to this as the tangent bundle. By shifting the parity of the ﬁbre coordinates one obtains the antitangent bundle ΠTM. We will reserve the nomenclature vector bundle for the total space of a sheaf of locally free O -modules, that is we will be referring to ‘geometric vector bundles’. There are several good books on the subject of supermanifolds and we suggest Carmeli, Caston & Fioresi [4], Manin [16] and Varadrajan [28] as general references. The encyclopedia edited by Duplij, Siegel & Bagger [6] is also indispensable, as is the review paper by Leites [18]. DeWitt [5, Section 2.8] discusses in some detail Riemannian geometry on DeWitt–Rogers supermanifolds. While some care is needed in translating between supermanifolds (as locally ringed spaces) and DeWitt–Rogers supermanifolds, most of the expressions given by DeWitt on Riemannian structures remain valid in Riemannian supergeometry. 2. Riemannian supermanifolds 2.1. The tangent bundle of a supermanifold and symmetric tensors. The tangent bundle TM of a supermanifold M, we deﬁne as a natural bundle via local coordinates in almost exactly the same way as one can for a smooth manifold. For convenience, we sketch the construction here. Let M = (|M|, O ) be a supermanifold equipped with an atlas {U , h } . Here |U | ⊂ |M| form an open M i i i∈I i cover of M and U = (|U |, O | ). The maps i i M |Ui| n|m h : U −→ U i i n|m n|m are supermanifold diﬀeomorphisms. Here U are superdomains, i.e., open subsupermanifolds of R . Over non-empty |U | = |U | ∩ |U | we have transition functions (induced glueing data) ij i j n|m n|m −1 h ◦ h : U −→ U , i j were we have neglected to write out the obvious restrictions. It is clear that such maps satisfy the cocycle n|m n|m a a conditions and so constitute glueing data. Suppose that we have coordinates x on U and x on U . j i Then the changes of coordinates we write as ′ ′ a a x = x (x), by employing the standard abuses of notation. We deﬁne the tangent bundle TM by its atlas {TU , Th } induced from the given atlas on M. That is, i i i∈I given any U in the atlas we have n|m n|m Th : TU −→ U ×R . i i i MODULAR CLASSES OF Q-MANIFOLDS, PART II: RIEMANNIAN STRUCTURES & ODD KILLING VECTORS FIELDS 3 n n a b Clearly, |TU | U × R . The induced glueing data is easiest to explain using natural coordinates (x , x˙ ). Again using the standard abuses of notation, the admissible coordinate transformations are of the form ′ ′ ′ ∂x a a b b x = x (x), x˙ = x˙ . ∂x One can show that we do indeed construct a supermanifold of dimension 2n|2m in this way. Moreover, it is clear that we have a vector bundle structure on TM. As such, the tangent bundle can be considered as a non-negatively graded supermanifold (see [12, 22, 29]). In particular, we assign weight zero to the base coordinates x and weight one to the ﬁbre coordinates x˙. As the admissible coordinate transformations respect the assignment of weight, it makes sense to speak of functions on TM of a given weight. Moreover, it is known that homogeneous functions on TM are monomial on the ﬁbre coordinates. We will denote the polynomial 0 ∞ algebra on TM as A(TM). Clearly, A (TM) = C (M). Note that the polynomial algebra as a natural (right) ∞ k C (M)-module structure. We will denote the submodule of monomials of degree k as A (TM). We make the following deﬁnition. Deﬁnition 2.1. The C (M)-module of rank k symmetric covariant tensors on a supermanifold M is deﬁned to be the C (M)-module of monomials on TM of weight k. Locally in natural coordinates, T ∈ A (TM) looks like a a a 1 2 k T = x˙ x˙ · · · x˙ T (x) a ···a a k 2 1 where the components T are (super)symmetric. a ···a a k 2 1 2.2. Riemannian structures. Deﬁnition 2.2. A Riemannian metric on a supermanifold M, is an even, symmetric, non-degenerate, O - linear morphisms of sheaves T M ⊗ T M −→ O . O M A Riemannian supermanifold is a supermanifold equipped with a Riemannian metric. In terms of vector ﬁelds, we have the following properties: ^ e e (1) hX|Y i = X + Y ; e e X Y (2) hX|Y i = (−1) hY |Xi ; g g (3) If hX|Y i = 0 for all Y ∈ Vect(M), then X = 0; (4) hfX + Y |Zi = fhX|Zi + hY |Zi , g g g For all (homogeneous) X, Y, Z ∈ Vect(M) and f ∈ C (M). Remark 2.3. A Riemannian metric on M naturally induces a pseudo-Riemannian metric on the reduced manifold |M|. As we will not explicitly make use of this reduced structure we will not spell-out the construction. A Riemannian metric is speciﬁed by an even degree two function g ∈ A (TM), i.e., a Grassmann degree zero rank 2 symmetric covariant tensor. In local coordinates, we write a b g(x, x˙) = x˙ x˙ g (x). ba a a Under changes of coordinates x 7→ x (x) the components of the metric transform as b a ′ ∂x ∂x ′ ea b ′ ′ g (x ) = (−1) g , b a ab ′ ′ b a ∂x ∂x ea b where we have explicitly used the symmetry g = (−1) g . ab ba If we denote the vertical lift of a vector ﬁeld by ι , which in local coordinates is given by ∂ ∂ a a X = X (x) ι := X (x) ∈ Vect(TM) , a a ∂x ∂x˙ then we observe that hX|Y i = ι ι g , g X Y which leads to the local expression Y ea a b hX|Y i = (−1) X (x)Y (x)g (x). g ba It is a straightforward exercise to show that the above local expression for the metric pairing is invariant under changes of coordinates. It is well-known that the non-degeneracy condition forces the dimensions of the supermanifold M to be n|2 p, i.e., we require an even number of odd dimensions. 4 ANDREW JAMES BRUCE Example 2.4. As any manifold can be considered as a supermanifold with vanishing ‘odd directions’, i.e., a supermanifold of dimension n|0, any (pseudo-)Riemannian manifold can be considered as a Riemannian supermanifold. 1|2 1 2 Example 2.5. ConsiderR equipped with canonical global coordinates (t, ξ , ξ ). Any vector ﬁeld decomposes as ∂ ∂ ∂ 0 1 2 X = X + X + X , 1 2 ∂t ∂ξ ∂ξ where each component is a function of the canonical coordinates. The standard metric is given by 2 1 2 ˙ ˙ g = (t) ± 2 ξ ξ , where we have a choice with the sign for the ‘odd part’ of the metric. Then a simple calculation gives 0 0 Y 1 2 2 1 hX, |Y i = X Y ± (−1) (X Y − X Y ). 3|2 1 2 Example 2.6. Consider R equipped with standard global coordinates (x, y, z, ξ , ξ ). The equation 2 2 2 1 2 x + y + z − 2 ξ ξ = 1 2|2 3|2 2|2 deﬁnes the super-sphere S ⊂ R (using slight abuse of notation). As (local) coordinates on S we can use the standard angles (θ, φ), i.e., the coordinates inherited from using polar coordinates on R , complemented 1 2 by (ξ , ξ ) inherited from the ‘super-environment’. The reduced manifold is standard two-sphere. As a sub- 3|2 supermanifold of the Riemannian supermanifoldR , the super-sphere is equipped with a nondegenerate metric inhered from the embedding. This metric is given by 2 1 2 ˙ ˙ ˙ ˙ g = θ + sin θ φ − 2 ξ ξ . Example 2.7. Let M be an almost symplectic manifold, i.e., a manifold equipped with a non-degenerate two- form ω, that this not necessary closed. This forces the dimension of M to be even. Furthermore, let us assume that M is equipped with a Riemannian metric, which we will denote as h. It is always possible to equip any smooth manifold with a Riemannian metric and we will not require any compatibility condition between the almost symplectic structure ω and the Riemannian structure h. We want to build a Riemannian metric on the supermanifold ΠTM. To do this, consider the double supervector bundle T(ΠTM), which we equip with a b c d natural coordinates (x , dx , x˙ , dx˙ ). Admissible changes of coordinates are of the form (using standard abuses of notation) ′ ′ ′ ∂x a a b a x = x (x), dx = dx , ∂x ′ ′ ′ c b 2 d ′ ′ ∂x ∂x ∂ x c b d c b c x˙ = x˙ , dx˙ = dx˙ + x˙ dx . b c c b ∂x ∂x ∂x ∂x The Levi-Civita connection ∇ associated with the metric induces a splitting T(ΠTM) −−−−→ ΠTM × TM × ΠTM , M M which we write in natural coordinates as ∗ a a b c a a φ ξ = dx˙ + dx x˙ Γ (x) =: ∇x˙ . h cb Here ξ are the (ﬁbre) coordinates on last factor of the decomposed or split double supervector bundle. The splitting φ is understood as acting as the identity on the remaining coordinates, i.e., we just canonically make the required identiﬁcations. On the decomposed double supervector bundle we can take the sum of the Riemannian metric and the almost symplectic structure. In natural coordinates we have a b a b G := x˙ x˙ g (x) + ξ ξ ω (x). ba ba The metric on T(ΠTM) is then the pull-back of G by the splitting. Thus, we write ∗ a b a b g = φ G = x˙ x˙ g (x) + ∇x˙ ∇x˙ ω (x). ba ba Remark 2.8. Odd Riemannian structures can similarly be deﬁned. There are no changes to the above deﬁnition e e except that the parity now is shifted, i.e., the pairing between two vector ﬁelds will now be X + Y + 1. The condition of being non-degenerate now forces there to be an equal number of even and odd dimensions. We will only consider even metrics in this paper. The reason, in part, is that while even metrics, together with even and odd symplectic structures, have found application in physics, odd Riemannian structures remain a mathematical curiosity. All the standard constructions of classical Riemannian geometry generalise to Riemannian supermanifolds, for example the fundamental theorem holds. We will not make use of the Levi-Civita connection or the curvature tensors in this paper. They can all be deﬁned via minor sign modiﬁcations of the classical deﬁnitions (see for example [21]). MODULAR CLASSES OF Q-MANIFOLDS, PART II: RIEMANNIAN STRUCTURES & ODD KILLING VECTORS FIELDS 5 Remark 2.9. There is also the notion of a quasi-Riemannian structure due to Mosman & Sharapov [17], which intriguingly exists on any supermanifold. This structure understood as a pair (G, ∇), where G symmetric positive deﬁnite tensor ﬁeld of type (0, 2) and ∇ is a compatible aﬃne connection, which in general is not symmetric. Naturally, an even Riemannian structures and metric compatible, but not necessarily torsion free aﬃne connection is an example of a quasi-Riemannian structure. 2.3. Killing vector ﬁelds. Killing vector ﬁelds are deﬁned in exactly the same way as in classical Riemannian geometry. Deﬁnition 2.10. A vector ﬁeld X ∈ Vect(M) is said to be a Killing vector ﬁeld if and only if L g = 0 . At this juncture, we need to explain the above Lie derivative and derive a local expression. Recall that any homogeneous vector ﬁeld X ∈ Vect(M) deﬁnes a local inﬁnitesimal diﬀeomorphism (see [30, §2.3.9.]) of TM, which in local coordinates is of the form a a a x 7→ x + λ X (x) , ∂X a a b x˙ 7→ x˙ + λ x˙ (x) , ∂x e e where λ is an external parameter of degree λ = X. Under this local diﬀeomorphism a quick calculation shows that the metric g changes as c c ∂X ∂X ∂g e e e e e ba a b X ea b(X+ea) X(ea+b) c 2 g(x, x˙) 7→ g(x, x˙) + λ x˙ x˙ (−1) g + (−1) g + (−1) X + O(λ ). ca cb b a c ∂x ∂x ∂x By deﬁnition, locally, the Lie derivative is given by the ﬁrst-order term in λ. Thus, we have the local expression c c ∂X ∂X ∂g e e e e e ba X ea b(X+ea) X(ea+b) c (2.1) (L g) = (−1) g + (−1) g + (−1) X . X ba ca cb b a c ∂x ∂x ∂x Naturally, this local expression is identical to the classical one up to some sign factors. Proposition 2.11. The set of all Killing vector ﬁelds on even Riemannian supermanifold (M, g) forms a Lie algebra with respect to the standard Lie bracket of vector ﬁelds on M. Proof. This follows in complete parallel with the classical case using L = [L , L ]. [X,Y ] X Y 2.4. The inverse metric and the trace. The non-degeneracy of a metric implies that the components, thought of as a rank-2 covariant tensor, is invertible. The deﬁning relation for the inverse metric is ac ca a g g = g g = δ , cb bc just as it is on a classical Riemannian manifold. Clearly, the inverse metric is even. The above relation allows us to deduce the symmetry property of the inverse metric. ab Proposition 2.12. The inverse metric g has the following symmetry: e e b ab ea b+ea ba (−1) g = (−1) g . ab λ ba Proof. Let g = (−1) g , where λ is to be determined. From the deﬁning relation and the symmetry of the metric we have ac eae c+eab+e c+λ ca g g = (−1) g g . cb bc Then, once a = b we see that λ = eaec + ea + ec. This gives the required symmetry. Deﬁnition 2.13. Let (M, g) be a Riemannian supermanifold we deﬁne the metric trace or just trace as the C (M)-linear map 2 ∞ A (TM) −→ C (M) , given in local coordinates as ea ab Str T := (−1) g T , g ba a b 2 for any arbitrary T = x˙ x˙ T (x) ∈ A (TM). ba In words, the metric trace is given by contraction of the rank two symmetric rank two covariant tensor with the inverse metric to form a matrix, and then we take the standard supertrace. Remark 2.14. The metric trace can also be deﬁned for rank two covariant tensors without any symmetry condition. We focus on the symmetric case as this is what we will need in later sections of this paper. 6 ANDREW JAMES BRUCE 2.5. The divergence operator and the canonical Berezin volume. Let us for simplicity assume that the supermanifolds that we will be dealing with are superoriented (see [25] and/or [6, page 285]). That is the underlying reduced manifold will be oriented, and we further require that we have chosen an atlas such that the Jacobian associated with any change of coordinates is strictly positive. The Berezin bundle Ber(M), is understood as the (even) line bundle over M whose sections in a local trivialisation are of the form s = D[x]s(x), where D[x] is the coordinate volume element. Under changes of local coordinate we have ∂x D[x ] = D[x] Ber . ∂x Sections of Ber(M) are Berezin forms on M. Note the the Grassmann parity of a Berezin density is determined by s(x). A Berezin volume on M is a nowhere vanishing even Berezin form. In the classical case on a manifold, one needs a volume form (or in the non-oriented case a density) in order to deﬁne the divergence of a vector ﬁeld. The same is true for supermanifolds, and we take the deﬁnition of the divergence of a vector ﬁeld X ∈ Vect(M) with respect to a chosen Berezin volume to be (2.2) ρ Div X = L ρ. ρ X In local coordinates, this deﬁnition amounts to 1 ∂ ea(X+1) a (2.3) Div X = (−1) (X ρ) . ρ ∂x Up to a sign factor, this local expression is exactly the same as the classical case. Moreover, one can show that the following expressions hold. ee fX Div (f X) = f Div X + (−1) X(f); ρ ρ Div ′X = Div X + X(f ); ρ ρ e e XY Div [X, Y ] = X(Div Y ) − (−1) Y (Div X); ρ ρ ρ ∞ ′ ′ ′ ∞ where X and Y ∈ Vect(M), f ∈ C (M), and ρ = exp(f )ρ with f ∈ C (M) is even. These properties, again up to some signs are identical to the properties of the classical divergence operator on a manifold. Much like the classical situation, a Riemannian metric deﬁnes a canonical Berezin volume on M. This is well explained in [31, Appendix B] and our treatment of the construction is taken directly from there. The transformation rules for (components of) the metric can be written as b a ∂x ∂x ′ ea b g ′ ′(x ) = (−1) g b a ab ′ ′ b a ∂x ∂x b a ∂x ∂x ′ ea(ea +1) = g (−1) . ′ ba ′ b a ∂x ∂x The third factor (along with the signs) is recognised as the supertranspose of the Jacobian matrix. Note that st Ber(A ) = Ber(A). Thus, we obtain b a ∂x ∂x Ber(g ′ ′) = Ber Ber(g ) Ber b a ′ ba ′ b a ∂x ∂x ∂x = Ber Ber(g ). ba ∂x ′ ′ Following classical notation, we set |g| := Ber(g ) and |g | := Ber(g ), and so we can write ba b a ∂x |g | = |g| Ber . ∂x Deﬁnition 2.15. Let (M, g) be a Riemannian supermanifold. Then the canonical Berezin volume is deﬁned as dV := D[x] |g|, where |g| := Ber(g ). ba Remark 2.16. It should be noted that there is no canonical Berezin volume on an odd Riemannian supermani- fold (or indeed, an odd symplectic supermanifold and this has important consequences for the Batalin–Vilkovisky formalism). The above considerations cannot be repeated for odd structures. In complete parallel with the classical case, the divergence of a vector ﬁeld with respect to the canonical Berezin volume is related to the trace of the Lie derivative of the metric. MODULAR CLASSES OF Q-MANIFOLDS, PART II: RIEMANNIAN STRUCTURES & ODD KILLING VECTORS FIELDS 7 Proposition 2.17. Let (M, g) be a Riemannian supermanifold and let dV be the canonical Berezin volume. Then Str L g = Div X . g X dV Proof. Direct computation in local coordinates produces 1 ∂X 1 ∂g ab ea ab ea(X+1) c ba (−1) g (L g) = (−1) + X g . X ba a c 2 ∂x 2 ∂x −1 Next, we need the well-known formula δBer(A) = Ber(A) Str(δA A ), which implies 1 1 −1 Str(δA A ) = p δ Ber(A) . Ber(A) Thus, 1 ∂X 1 ∂ |g| ea ab ea(X+1) a (−1) g (L g) = (−1) + X X ba a a 2 ∂x ∂x |g| e 1 ∂ ea(X+1) a = (−1) p (X |g|) . ∂x |g| Comparing this with (2.3) (and using Deﬁnition 2.15) establishes the proposition. Proposition 2.18. Let (M, g) be a Riemannian supermanifold. If X ∈ Vect(M) is a Killing vector ﬁeld then it is divergenceless (with respect to the canonical Berezin volume). Proof. This is a direct consequence of Proposition 2.17 together with Deﬁnition 2.10. Corollary 2.19. The canonical Berezin volume on a Riemannian supermanifold (M, g) is invariant under the action of a Killing vector ﬁeld, i.e., L dV = 0 , if X ∈ Vect(M) is a Killing vector ﬁeld. 3. Q-manifolds and their modular classes 3.1. Homological vector ﬁelds and Q-manifolds. We now turn our attention to homological vector ﬁelds and Q-manifolds. Deﬁnition 3.1. A Q-manifold is a supermanifold M, equipped with a distinguished odd vector ﬁeld Q ∈ Vect(M) that ‘squares to zero’, i.e., Q = [Q, Q] = 0. The vector ﬁeld Q is referred to as a homological vector ﬁeld or a Q-structure. Note that due to extra signs that appear in supergeometry, [Q, Q] := Q ◦ Q + Q ◦ Q, and hence Q = 0 is a a ∂ non-trivial condition. In local coordinates, we have Q = Q (x) , and the condition that Q is homological is ∂x ∂Q 2 a Q = 0 ⇐⇒ Q = 0. ∂x Deﬁnition 3.2. Let (M , Q ) and (M , Q ) be Q-manifolds. Then a morphism of supermanifolds ψ : M → M 1 1 2 2 1 2 is a morphism of Q-manifolds if it relates the two homological vector ﬁelds, i.e., ∗ ∗ Q ◦ ψ = ψ ◦ Q . 1 2 a α To be explicit, let us employ local coordinates x on M and y on M . We will write, using standard abuses 1 2 ∗ α α of notation ψ y = ψ (x). The statement that ψ be a morphism of Q-manifolds means locally that ∂ψ (x) a α Q (x) = Q (ψ(x)). 1 2 ∂x Evidently, we obtain the category of Q-manifolds via standard composition of supermanifold morphisms. Deﬁnition 3.3. The standard cochain complex associated with a Q-manifold is the Z -graded cochain complex (C (M), Q). The resulting cohomology is referred to as the standard cohomology of the Q-manifold. We then see that morphisms of Q-manifolds are cochain maps between the respective standard cochain complexes. p|q Theorem 3.4 (Shander [24]). Let Q be a homological vector ﬁeld on a superdomain U , then the following are equivalent: (1) Q is weakly non-degenerate at all points p ∈ U , i.e., not all the components of Q vanish at any given point; 8 ANDREW JAMES BRUCE 1 p 1 q p|q (2) there exists a coordinate system (x , · · · , x ; ξ , · · · , ξ ) on U such that Q = . ∂ξ The above theorem tells us that locally and assuming that the homological vector ﬁeld weakly non-degenerate a µ λ on some appropriate neighbourhood, then we can employ local coordinates x = (x , ξ , τ), where µ = 1, · · ·p and λ = 1, · · · , q − 1. This theorem was extended by Vaintrob [26] in the following way. Theorem 3.5 (Vaintrob [26]). Let Q be a homological vector ﬁeld on a supermanifold M. If Q is non-singular (i.e., weakly non-degenerate in neighbourhoods of any point on |M|), then there exists another a supermanifold N, such that 0|1 M ≃ N ×R , and the homological vector ﬁeld takes the form Q = , ∂τ 0|1 where τ is the global coordinate on R . 3.2. Modular classes of Q-manifolds. The modular class of a Q-manifold ([19, 20]) is deﬁned in terms of the divergence (see 2.2) of the homological vector ﬁeld. Deﬁnition 3.6. The modular class of a Q-manifold is the standard cohomology class of Div Q, i.e., Mod(Q) := [Div Q] . ρ St The modular class is independent of any chosen Berezin volume as any other choice of volume leads to divergences that diﬀer only by something Q-exact, and so Q-closed (this follows directly from the properties of the divergence operator). This means that the modular class is a characteristic class of a Q-manifold. The vanishing of the modular class is a necessary and suﬃcient condition for the existence of a Berezin volume that is Q-invariant. In some given set of local coordinates, one can write out the divergence as ∂Q Div Q = + Q(log(ρ)). ∂x The local (characteristic) representative of the modular class is understood as just the term ∂Q (3.1) φ (x) := (x). ∂x In general, this term is not invariant under changes of coordinates, only the full expression for the divergence is. However, as we are always dropping terms that are Q-exact, the local representative is still meaningful, though as written it is only a local function on M. Remark 3.7. The expression (3.1) gives the local representative of the standard (coordinate) volume. In general we do not have a version of the Poincar´e lemma: meaning that Q-closed functions are not necessarily locally Q-exact. Thus, it makes sense to speak of a local representative of the modular class. Deﬁnition 3.8. A Q-manifold (M, Q) is said to be a unimodular Q-manifold if its modular class vanishes. In other words, if there exists a Q-invariant Berezinian volume. Example 3.9. The prototypical example of a Q-manifold is the antitangent bundle ΠTM. In natural local a b coordinates (x , dx ), we have the de Rham diﬀerential d = dx . ∂x Clearly, the local representative of the modular class vanishes and so ΠTM is unimodular. The invariant Berezin volume is just the canonical coordinate volume D[x, dx]. 4. Riemannian Q-manifolds 4.1. Homological-Killing vector ﬁelds. If a supermanifold is both simultaneously a Riemannian superman- ifold and a Q-manifold, we have the natural question of the compatibility of the two structures. In practice, this often reduces to one structure generating a symmetry of the other and maybe vice-versa. We, therefore, make the following deﬁnition. Deﬁnition 4.1. Let (M, g) be a Riemannian supermanifold. Then a homological-Killing vector ﬁeld Q ∈ Vect(M) is a homological vector ﬁeld that is also a Killing vector ﬁeld. That is, it satisﬁes 2 1 (1) Q = [Q, Q] = 0, and, (2) L g = 0. Q MODULAR CLASSES OF Q-MANIFOLDS, PART II: RIEMANNIAN STRUCTURES & ODD KILLING VECTORS FIELDS 9 Remark 4.2. The standard cohomology of a Q-manifold can be extended to all tensor ﬁelds on (M, Q) via the Lie derivative. In particular, (A (TM), L ) is a Z -graded cochain complex. Thus, the Killing condition of a Q 2 homological vector ﬁeld can be restated as the metric g being Q-closed. Deﬁnition 4.3. A Riemannian Q-manifold is a triple (M, g, Q), where (M, g) is a Riemannian manifold, (M, Q) is a Q-manifold such that Q is a homological-Killing vector ﬁeld. 1|2 1 2 Example 4.4 (Euclidean superspace). Consider R equipped with global coordinates (t, ξ , ξ ) and with standard metric 2 1 2 ˙ ˙ g = t ± 2 ξ ξ . This metric is clearly invariant under translations of any of the even or odd directions. We may take Q = ∂ξ as our distinguished homological-Killing vector ﬁeld in this particular chart. 1|2 1 2 Example 4.5 (Positive half-superline). Consider R equipped with global coordinates (t, ξ , ξ ). The positive 1|2 1|2 half-superline R we deﬁne to be the open subsupermanifold of R deﬁned by t > 0. We equip the positive >0 half-superline with the metric 2 1 2 −2 ˙ ˙ g = (t ± 2 ξ ξ ) t . This metric is clearly invariant under translation in either of the odd directions. However, unlike the previous example, it is not invariant under translations in the even direction. We may take Q = ∂ξ as our distinguished homological-Killing vector ﬁeld in this particular chart. We will shortly see that the above examples are somewhat generic (see Proposition 4.10 and Corollary 4.11). Deﬁnition 4.6. A morphism between two Riemannian Q-manifolds ′ ′ ′ φ : (M, g, Q) −→ (m , g , Q ), is a morphism of supermanifolds such that ∗ ′ (1) φ g = g, and, ∗ ∗ ′ (2) Q ◦ φ = φ ◦ Q . In local coordinates the two above condition can be written in the following way. If we consider local a α ′ ∗ α α coordinates x on M and y on M , and then denote φ y = φ (x), then we can write β α ∂φ (x) ∂φ (x) ea α e (−1) g (φ(x)) = g (x), αβ ab b a ∂x ∂x ∂φ (x) a α Q (x) = Q (φ(x)). ∂x One can quickly see that morphisms between Riemannian Q-manifolds can be composed (as morphisms between supermanifolds) and that in this way we obtain the category of Riemannian Q-manifolds. 4.2. The modular class of a Riemannian Q-manifold. We are now in a position to state the following. Theorem 4.7. Let (M, g, Q) be a Riemannian Q-manifold. Then as a Q-manifold, (M, Q) is unimodular (see Deﬁnition 3.8). Proof. From Proposition 2.18 we see that any Killing vector ﬁeld has vanishing divergence with respect to the canonical Berezin volume. From the deﬁnition of the divergence, it is clear that L dV = 0. Moreover, the existence of a Q-invariant Berezin volume is equivalent to the vanishing of the modular class. Hence, the Q-manifold (M, Q) is unimodular. Remark 4.8. It is clear that not all unimodular Q-manifolds can be equipped with a Riemannian metric that renders them a Riemannian Q-manifold. For one, we require the dimension of the supermanifold to be n|2 p. This immediately rules out the possibility of constructing a Riemannian metric on ΠTM such that the de Rham diﬀerential d is a Killing vector ﬁeld. However, it is known that odd Riemannian metrics exist for which the de Rham diﬀerential is Killing. See Monterde & Sa´nchez-Valenzuela [21] for details. 10 ANDREW JAMES BRUCE Example 4.9. Let (g, [−, −] be a (non-super) Lie algebra of dimension 2p. Furthermore, let us assume that this Lie algebra comes equipped with an almost symplectic structure, i.e., a Lie algebra two form of maximal rank, which is not necessarily closed with respect to the Chevalley–Eilenberg diﬀerential. Let us now pass to the “super-picture”. As standard, Πg is a Q-manifold, were, in natural linear coordinates, the homological vector ﬁeld is 1 ∂ α β Q = ξ ξ Q , βα 2 ∂ξ here Q are the structure constants of the Lie algebra. The Jacobi identity for the Lie bracket is equivalent βα to Q = 0. The almost symplectic structure we can interpret as a Riemannian metric on Πg, α β ˙ ˙ g = ξ ξ g , βα where g = −g . The Killing equation reduces to the algebraic condition βα αβ γ γ (4.1) Q g − Q g = 0. γβ γα δα δβ If (4.1) holds, then (Πg, Q) is a Riemannian Q-manifold. Assuming that this is the case, then g is a unimodular Lie algebra in the classical sense. Note that the Killing equation is a more restrictive condition that just unimodularity of the Lie algebra. To see the classical unimodularity, consider contraction of the Killing equation γ βǫ γ βǫ ǫ γ βǫ Q g g − Q g g = Q − Q g g = 0. γβ γα γα δα δα δβ δβ Now setting ǫ = α, as this is what we are interested in when it comes to unimodularity, gives γ γ β α βα α βα α Q − Q g g = Q + Q g g = Q + Q = 0. γα αγ δα δα δα δβ δβ δβ Thus, Q = 0, which is precisely the condition that g be unimodular. βα 4.3. Killing–Shander coordinates. Assuming that Q is weakly non-degenerate in the neighbourhood of a a i point p ∈ |U|, then using Theorem 3.4, we can employ local coordinates x = (x , τ). In these privileged coordinates, the Killing equation (see Deﬁnition 2.10 and (2.1)) reduces to ∂g ba (4.2) = 0. ∂τ We will refer to this choice of coordinates as Killing–Shander coordinates. Thus we are lead to the following: Proposition 4.10. Let (M, g, Q) be a Riemannian Q-manifold. In the neighbourhood of a point p ∈ |U| ⊂ |M| a i on which Q is weakly non-degenerate, there exists coordinates x := (x , τ) such that all the components of the Riemannian metric are independent of τ. Conversely, if in the neighbourhood of any point on |M| there exists a i coordinates x := (x , τ) such that all the components of the Riemannian metric are independent of τ, then there exists a nowhere vanishing homological vector ﬁeld Q. Proof. The ﬁrst part of the proposition is a direct consequence of (4.2). The converse statement follows as in the given coordinate systems Q = is clearly homological and Killing. The homological Killing vector ﬁeld ∂τ must be nowhere vanishing in order for the required coordinates to exists in the neighbourhood of any point. Corollary 4.11. With the conditions of the previous proposition in place, in Killing–Shander coordinates the metric has the form i j i g = x˙ x˙ g (x) + τ˙x˙ g (x) , ji i and the homological Killing vector ﬁeld has the form Q = . ∂τ Using Theorem 3.5, if we have a nowhere vanishing homological vector ﬁeld, then we can consider M ≃ 0|1 N ×R as a trivial odd line bundle. Thus, changes of Killing–Shander coordinates are of the form ′ ′ i i ′ x = x (x), τ = c τ, where c ∈ R . The naturally induced changes of coordinates on the tangent bundle are ′ ∂x i i ′ x˙ = x˙ , τ˙ = c τ˙. ∂x i j 2 Then, examining the local form of the metric show that the term x˙ x˙ g (x) belongs to A (TN). However, it is ji not a Riemannian metric as N has an odd number of ‘odd directions’, i.e., locally we have an odd number of anticommuting coordinates. Examining the second term, we see that we have the transformation rule ∂x −1 g = c g , i i ∂x and this term as the interpretation (under the speciﬁed coordinate changes) as an odd twisted covariant one- −1 form. Under these transformations, the homological vector ﬁeld transforms by an irrelevant rescaling by c , i.e., simply rescaling the odd coordinates again will remove this factor. MODULAR CLASSES OF Q-MANIFOLDS, PART II: RIEMANNIAN STRUCTURES & ODD KILLING VECTORS FIELDS 11 5. Concluding remarks We have shown, rather explicitly, that Riemannian Q-manifolds represent a large class of unimodular Q- manifolds, i.e., supermanifolds that admit a Q-invariant Berezin volume. The Q-invariant volume is just the canonical Berezin volume associated with the (even) Riemannian metric. If instead of an even metric one considers an odd metric, then a Berezin volume needs to be separately speciﬁed. Thus, in general, a Killing vector ﬁeld on an odd Riemannian supermanifold does not automatically preserve the volume. This is, of course, in complete parallel with the case of even and odd symplectic supermanifolds and Hamiltonian vector ﬁelds. It would be interesting to construct further examples of Riemannian Q-manifolds and examine the interplay between their standard cohomology and their Riemannian geometry. To the author’s knowledge there has been no published works in this direction. Acknowledgements The author cordially thanks Steven Duplij for his helpful comments on an earlier draft of this work. References [1] Alexandrov, M., Schwarz, A., Zaboronsky, O., Kontsevich, M., The geometry of the master equation and topological quantum ﬁeld theory, Internat. J. Modern Phys. A 12 (1997), no. 7, 1405–1429, arXiv:hep-th/9502010. [2] Berezin, F.A., Leites, D.A., Supermanifolds, Soviet Math. Dokl. 16 (1975), no. 5, 12181222 (1976). [3] Bruce, A.J., Modular classes of Q-manifolds: a review and some applications, Arch. Math. (Brno) 53 (2017), no. 4, 203–219, arXiv:1705.03323. [4] Carmeli, C., Caston L., Fioresi, R., Mathematical foundations of supersymmetry, EMS Series of Lectures in Math- ematics, European Mathematical Society (EMS), Zu¨rich, 2011. xiv+287 pp. ISBN: 978-3-03719-097-5 [5] DeWitt, B., Supermanifolds, Second edition, Cambridge Monographs on Mathematical Physics. Cambridge Univer- sity Press, Cambridge, 1992. xviii+407 pp. ISBN: 0-521-41320-6; 0-521-42377-5 [6] Duplij S., Siegel W., Bagger J. (editors), Concise encyclopedia of supersymmetry and noncommutative structures in mathematics and physics, Kluwer Academic Publishers, Dordrecht, 2004. iv+561 pp. ISBN: 1-4020-1338-8 . [7] Evens, S., Lu J.H., Weinstein, A., Transverse measures, the modular class and a cohomology pairing for Lie algebroids. Quart. J. Math. Oxford Ser. (2) 50 (1999), no. 200, 417–436, arXiv:dg-ga/9610008. [8] Galaev, A.S., Irreducible holonomy algebras of Riemannian supermanifolds, Ann. Global Anal. Geom. 42 (2012), no. 1, 1–27, arXiv:0906.5250. [9] Garnier S., Kalus M., A lossless reduction of geodesics on supermanifolds to non-graded diﬀerential geometry, Arch. Math. (Brno) 50 (2014), no. 4, 205–218, arXiv:1406.5870 . [10] Garnier,S., Wurzbacher, T., The geodesic ﬂow on a Riemannian supermanifold, J. Geom. Phys. 62 (2012), no. 6, 1489–1508, arXiv:1107.1815. [11] Goertsches, O., Riemannian supergeometry, Math. Z. 260 (2008), no. 3, 557–593, arXiv:math/0604143. [12] Grabowski, J., Rotkiewicz, M., Graded bundles and homogeneity structures, J. Geom. Phys. 62 (2012), no. 1, 21–36, arXiv:1102.0180. [13] Groeger, J., Killing vector ﬁelds and harmonic superﬁeld theories, J. Math. Phys. 55 (2014), no. 9, 093503, 17 pp, arXiv:1301.5474. [14] Kalus M., Non-split almost complex and non-split Riemannian supermanifolds, Arch. Math. (Brno) 55 (2019), no. 4, 229–238, arXiv:1501.07117. [15] Klinker, F., Supersymmetric Killing structures, Comm. Math. Phys. 255 (2005), no. 2, 419–467, arXiv:2001.03239. [16] Manin, Y.I., Gauge ﬁeld theory and complex geometry, Second edition, Fundamental Principles of Mathematical Sciences, 289. Springer-Verlag, Berlin, 1997. xii+346 pp. ISBN: 3-540-61378-1 [17] Mosman, E.A., Sharapov, A.A., Quasi-Riemannian structures on supermanifolds and characteristic classes, Russian Phys. J. 54 (2011), no. 6, 668–672. [18] Leites D.A., Introduction to the theory of supermanifolds, Russ. Math. Surv. 35 (1980), no. 1, 1–64. [19] Lyakhovich, S.L., Sharapov, A.A., Characteristic classes of gauge systems, Nuclear Phys. B 703 (2004), no. 3, 419–453., arXiv:hep-th/0407113. [20] Lyakhovich, S.L., Mosman, E.A., Sharapov, A.A., Characteristic classes of Q-manifolds: classiﬁcation and applica- tions, J. Geom. Phys. 60 (2010), no. 5, 729–759, arXiv:0906.0466. [21] Monterde, J., S´anchez-Valenzuela, O.A., The exterior derivative as a Killing vector ﬁeld, Israel J. Math. 93 (1997), 157–170. [22] Roytenberg, D., On the structure of graded symplectic supermanifolds and Courant algebroids, Quantization, Poisson brackets and beyond (Manchester, 2001), 169–185, Contemp. Math., 315, Amer. Math. Soc., Providence, RI, 2002, arXiv:math/0203110. [23] Schwarz, A., Semiclassical approximation in Batalin-Vilkovisky formalism, Comm. Math. Phys. 158 (1993), no. 2, 373–396, arXiv:hep-th/9210115. [24] Shander, V.N., Vector ﬁelds and diﬀerential equations on supermanifolds, Functional Anal. Appl. 14 (1980), no. 2, 160–162. [25] Shander, V.N., Orientations of supermanifolds, Funct. Anal. Appl. 22 (1988), no. 1, 80–82. [26] Vaintrob, A., Normal forms of homological vector ﬁelds. J. Math. Sci. 82 (1996), no. 6, 3865–3868. [27] Va˘ıntrob A.Yu., Lie algebroids and homological vector fields, Russ. Math. Surv. 52 (1997), 428–429. 12 ANDREW JAMES BRUCE [28] Varadarajan, V.S., Supersymmetry for mathematicians: an introduction, Courant Lecture Notes in Mathematics, 11. New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2004. viii+300 pp. ISBN: 0-8218-3574-2. [29] Voronov, Th., Graded manifolds and Drinfeld doubles for Lie bialgebroids, Quantization, Poisson brackets and beyond (Manchester, 2001), 131–168, Contemp. Math., 315, Amer. Math. Soc., Providence, RI, 2002, arXiv:math/0105237. [30] Voronov, Th., Geometric integration theory on supermanifolds, Classic Reviews in Mathematics & Mathematical Physics, Cambridge Scientiﬁc Publishers, 2014. 150pp ISBN: 978-1-904868-82-8. [31] Voronov, Th., On volumes of classical supermanifolds, Sb. Math. 207 (2016), no. 11-12, 1512–1536, arXiv:1503.06542. Mathematics Research Unit, University of Luxembourg, Maison du Nombre 6, avenue de la Fonte, L-4364 Esch- sur-Alzette E-mail address: andrewjamesbruce@googlemail.com

Mathematics – arXiv (Cornell University)

**Published: ** Jan 16, 2020

Loading...

You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.

Copy and paste the desired citation format or use the link below to download a file formatted for EndNote

Access the full text.

Sign up today, get DeepDyve free for 14 days.

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.