Starting from the general concept of a Lie derivative of an arbitrary differentiable map, we develop a systematic theory of Lie differentiation in the framework of reductive G-structures P on a principal bundle Q. It is shown that these structures admit a canonical decomposition of the pull-back vector bundle i_P^*(TQ) = P\times_Q TQ over P. For classical G-structures, i.e. reductive G-subbundles of the linear frame bundle, such a decomposition defines an infinitesimal canonical lift. This lift extends to a prolongation Gamma-structure on P. In this general geometric framework the concept of a Lie derivative of spinor fields is reviewed. On specializing to the case of the Kosmann lift, we recover Kosmann's original definition. We also show that in the case of a reductive G-structure one can introduce a "reductive Lie derivative" with respect to a certain class of generalized infinitesimal automorphisms, and, as an interesting by-product, prove a result due to Bourguignon and Gauduchon in a more general manner. Next, we give a new characterization as well as a generalization of the Killing equation, and propose a geometric reinterpretation of Penrose's Lie derivative of "spinor fields". Finally, we present an important application of the theory of the Lie derivative of spinor fields to the calculus of variations.
Kosmann-Lie derivatives in the bundle of Weyl spinors are considered. It is shown that the basic spin-tensorial fields of this bundle are constants with respect to these derivatives.
We characterize the Lie derivative of spinor fields from a variational point of view by resorting to the theory of the Lie derivative of sections of gauge-natural bundles. Noether identities from the gauge-natural invariance of the first variational derivative of the Einstein(--Cartan)--Dirac Lagrangian provide restrictions on the Lie derivative of fields.
An integrated approach to Lie derivatives of spinors, spinor connections and the gravitational field is presented, in the context of a previously proposed, partly original formulation of a theory of Einstein-Carta-Maxwell-Dirac fields based on "minimal geometric data": all the needed underlying structure is geometrically constructed from the unique assumption of a complex vector field $S\to M$ with 2-dimensional fibers. The Lie derivatives of objects of all considered types, with respect to a vector field $X:M\to TM$, are well-defined without making any special assumption about $X$, and fulfil…
In this paper, we study spinor Frenet equations in three dimensional Lie Groups with a bi-invariant metric. Also, we obtain spinor Frenet equations for special cases of three dimensional Lie groups.
This is a survey of results on surfaces in noncommutative three-dimensional Lie groups obtained by using the Weierstrass (spinor) representation of surfaces. It is based on the talk given at the conference "Geometry related to the theory of integrable systems" (RIMS, Kyoto, September 2007).
We establish, via geometric quantization of the supercotangent bundle sM of (M,g), a correspondence between its conformal geometry and those of the spinor bundle. In particular, the Kosmann Lie derivative of spinors is obtained by quantization of the comoment map, associated to the new Hamiltonian action of conf(M,g) on sM. We study then the conf(M,g)-module structures induced on the space of differential operators acting on spinor densities and on its spaces of symbols (functions on sM). In the conformally flat case, we classify their conformal invariants, including the conformally odd powers…
We determine the holonomy of generalized Killing spinor covariant derivatives of the form $D= \nabla + Ω$ on pseudo-Riemannian reductive homogeneous spaces in a purely algebraic and algorithmic way, where $Ω: TM \rightarrow Λ^*(TM)$ is a left-invariant homomorphism. This is essentially an application of the theory of invariant principal bundle connections defined over homogeneous principal bundles. Moreover, the algorithm allows a computation of the associated Killing superalgebra in certain cases. The procedure is demonstrated by determining the supersymmetries of certain homogeneous M2 duals…
Let (M^n,g) be a Riemannian spin manifold. The basic equations in supergravity models of type IIa string theory with 4-form flux involve a 3-form T, a 4-form F, a spinorial covariant derivative \nabla depending on \nabla^g, T, F, and a \nabla-parallel spinor field Ψ. We classify and construct many explicit families of solutions to this system of spinorial field equations by means of non-integrable special geometries. The latter include α-Sasakian structures in dimensions 5 and 7, almost Hermitian structures in dimension 6 and cocalibrated G_2-structures in dimension 7. We show that there are s…
(This is a revised version of the paper) - In the present paper we study the geometry of doubly extended Lie groups with their natural biinvariant metric. We describe the curvature, the holonomy and the space of parallel spinors. This is completely done for all simply connected groups with biinvariantmetric of Lorentzian signature $(1,n-1)$, of signature $(2,n-2)$ and of signature $(p,q)$, where $p+q\leq 6$. Furthermore, some special series with higher signature are discussed.
For any manifold M, the direct sum TM \oplus T*M carries a natural inner product given by the pairing of vectors and covectors. Differential forms on M may be viewed as spinors for the corresponding Clifford bundle, and in particular there is a notion of \emph{pure spinor}. In this paper, we study pure spinors and Dirac structures in the case when M=G is a Lie group with a bi-invariant pseudo-Riemannian metric, e.g. G semi-simple. The applications of our theory include the construction of distinguished volume forms on conjugacy classes in G, and a new approach to the theory of quasi-Hamiltonia…
The compact exceptional Lie groups F4, E6, E7 and E8 have spinor groups as a subgroup as follows: E8 \supset Ss(16) \supset Spin(15) \supset Spin(14) \supset Spin(13), E7 \supset Spin(12) \supset Spin(11), E6 \supset Spin(10), F4 \supset Spin(9) \supset Spin(8) \supset Spin(7) \supset \cdot \cdot \cdot \supset Spin(1) \ni 1. We know the involution σ' induced an element σ' \in Spin(8) \subset F4 \subset E6 \subset E7 \subset E8. Now, in this paper, we determine the group structures of (Spin(n))σ' which are the fixed subgroups by the involution σ'.
We use the manifestly conformally invariant description of a Lorentzian conformal structure in terms of a parabolic Cartan geometry in order to introduce a superalgebra structure on the space of twistor spinors and normal conformal vector fields formulated in purely algebraic terms on parallel sections in tractor bundles. Via a fixed metric in the conformal class, one reproduces a conformal superalgebra structure which has been considered in the literature before. The tractor approach, however, makes clear that the failure of this object to be a Lie superalgebra in certain cases is due to pure…
Let $H$ be the quaternion algebra. Let $g$ be a complex Lie algebra and let $U(g)$ be the enveloping algebra of $g$. We define a Lie algebra structure on the tensor product space of $H$ and $U(g)$, and obtain the quaternification $g^H$ of $g$. Let $S^3g^H$ be the set of $g^H$-valued smooth mappings over $S^3$. The Lie algebra structure on $S^3g^H$ is induced naturally from that of $g^H$. On $S^3$ exists the space of Laurent polynomial spinors spanned by a complete orthogonal system of eigen spinors of the tangential Dirac operator on $S^3$. Tensoring $U(g)$ we have the space of $U(g)$-valued L…
In this paper we show how to describe the general theory of a linear metric compatible connection with the theory of Clifford valued differential forms. This is done by realizing that for each spacetime point the algebra of Clifford bivectors is isomorphic to the Lie algebra of Sl(2,C). In that way the pullback of the linear connection under a trivialization of the bundle is represented by a Clifford valued 1-form. That observation makes it possible to realize Einstein's gravitational theory can be formulated in a way which is similar to a Sl(2,C) gauge theory. Some aspects of such approach is…
Results on symplectic spinors and their higher spin versions, concerning representation theory and cohomology properties are presented. Exterior forms with values in the symplectic spinors are decomposed into irreducible modules including finding the hidden symmetry (Schur--Weyl--Howe type duality) given by a representation of the Lie superalgebra $\mathfrak{osp}(1|2)$ in this case. We also determine ranges of the induced exterior symplectic spinor derivatives when they are restricted to bundles induced by the irreducible submodules mentioned. This duality is used to decompose curvature tensor…
A proper etale Lie groupoid is modelled as a (noncommutative) spectral geometric space. The spectral triple is built on the algebra of smooth functions on the groupoid base which are invariant under the groupoid action. Stiefel-Whitney classes in Lie groupoid cohomology are introduced to measure the orientability of the tangent bundle and the obstruction to lift the tangent bundle to a spinor bundle. In the case of an orientable and spin Lie groupoid, an invariant spinor bundle and an invariant Dirac operator will be constructed. This data gives rise to a spectral triple. The algebraic orienta…
Reductive G-structures on a principal bundle Q are considered. It is shown that these structures, i.e. reductive G-subbundles P of Q, admit a canonical decomposition of the pull-back vector bundle $i_P^*(TQ) = P \times_Q TQ$ over P. For classical G-structures, i.e. reductive G-subbundles of the linear frame bundle, such a decomposition defines an infinitesimal canonical lift. This lift extends to a prolongation $Γ$-structure on P. In this general geometric framework the theory of Lie derivatives is considered. Particular emphasis is given to the morphisms which must be taken in order to state …
In this paper we examine a new class of five dimensional (5D) exact solutions in extra dimension gravity possessing Lie algebroid symmetry. The constructions provide a motivation for the theory of Clifford nonholonomic algebroids elaborated in Ref. hep-th/0501217. Such Einstein-Dirac spacetimes are parametrized by generic off--diagonal metrics and nonholonomic frames (vielbeins) with associated nonlinear connection structure. They describe self-consistent propagations of (3D) Dirac wave packets in 5D nonholonomically deformed Taub NUT spacetimes and have two physically distinct properties: Fis…
A class of Z_2-graded Lie algebra and Lie superalgebra extensions of the pseudo-orthogonal algebra of a spacetime of arbitrary dimension and signature is investigated. They have the form g = g_0 + g_1, with g_0 = so(V) + W_0 and g_1 = W_1, where the algebra of generalized translations W = W_0 + W_1 is the maximal solvable ideal of g, W_0 is generated by W_1 and commutes with W. Choosing W_1 to be a spinorial so(V)-module (a sum of an arbitrary number of spinors and semispinors), we prove that W_0 consists of polyvectors, i.e. all the irreducible so(V)-submodules of W_0 are submodules of ΛV. We…
Free differential algebras (FDA's) provide an algebraic setting for field theories with antisymmetric tensors. The "presentation" of FDA's generalizes the Cartan-Maurer equations of ordinary Lie algebras, by incorporating p-form potentials. An extended Lie derivative along antisymmetric tensor fields can be defined, and used to recover a Lie algebra dual to the FDA, that encodes all the symmetries of the theory including those gauged by the p-forms. The general method is applied to the FDA of D=11 supergravity: the resulting dual Lie superalgebra contains the M-theory supersymmetry anticommuta…
We define covariant Lie derivatives acting on vector-valued forms on Lie algebroids and study their properties. This allows us to obtain a concise formula for the Frölicher-Nijenhuis bracket on Lie algebroids.
We use classical (Penrose) two-component spinors to set up the differential geometry of two parabolic contact structures in five dimensions, namely $G_2$ contact geometry and Legendrean contact geometry. The key players in these two geometries are invariantly defined directional derivatives defined only in the contact directions. We explain how to define them and their usage in constructing basic invariants such as the harmonic curvature, the obstruction to being locally flat from the parabolic viewpoint. As an application, we calculate the invariant torsion of the $G_2$ contact structure on t…
We develop an invariant approach to $SU(2)$--structures on spin $5$--manifolds. We characterize (via spinor approach) the subspaces in the spinor bundle which induce the same group isomorphic to $SU(2)$. Moreover, we show how to induce quaternionic structure on the contact distribution of considered $SU(2)$--structure. We conclude with the invariance of certain components of the covariant derivative $\nablaφ$, where $φ$ is any spinor field defining considered $SU(2)$--structure. This shows, what expected, that (at least some of) the intrinsic torsion modules, can be derived invariantly with th…
We know that any element A of the group SO(3) can be represented as A = A1 A2 A1', where A1, A1' are elements of SO1(2)={A is an element of SO(3) | Ae1=e1}, and SO2(2)={A is an element of SO(3) | Ae2=e2} . This fact is known as Euler's angle. When this situation, a matrix A is called the generator. In the present paper, we shall show firstly that the similar results hold for the groups SU(3), and Sp(3). Secondly, we shall show that any element g of the simply connected compact Lie group F4 (respectively. E6) can be represented g= g1 g2 g1', where g1, g1' are elements of Spin1(9), g2 is an elem…
We show how the theory of invariant principal bundle connections for reductive homogeneous spaces can be applied to determine the holonomy of generalised Killing spinor covariant derivatives of the form $D= \nabla + Ω$ in a purely algebraic and algorithmic way, where $Ω: TM \rightarrow Λ^*(TM)$ is a left-invariant homomorphism. Specialising this to the case of symmetric M-theory backgrounds (i.e. $(M,g,F)$ with $(M,g)$ a symmetric space and $F$ an invariant closed 4-form), we derive several criteria for such a background to preserve some supersymmetry and consequently find all supersymmetric s…
In this paper, we describe the group SpinT (n) and give some properties of this group. We construct SpinT spinor bundle S by means of the spinor representation of the group SpinT (n) and define covariant derivative operator and Dirac operator on S. Finally, Schrodinger-Lichnerowicz-type formula is derived by using these operators.
Let $G$ be a real connected Lie group with a left invariant metric $d$, $\mathfrak{g}$ its Lie algebra. In this paper we present a set of interesting upper and lower bounds for $|d\exp_{x}(y)|,\ x,y \in \mathfrak{g}$. If $\textrm{ad}_x$ is diagonalizable, these bounds only depend on eigenvalues of $\textrm{ad}_x$, but in general they are functions of the singular values $\textrm{ad}_x$.
Using generalized Tanaka-Webster connection, we considered a real hypersurface $M$ in a complex two-plane Grassmannian $G_2({\mathbb C}^{m+2})$ when the GTW Reeb Lie derivative of the structure Jacobi operator coincides with the Reeb Lie derivative. Next using the method of simultaneous diagonalization, we prove a complete classification for a real hypersurface in $G_2({\mathbb C}^{m+2})$ satisfying such a condition. In this case, we have proved that $M$ is an open part of a tube around a totally geodesic $G_2({\mathbb C}^{m+1})$ in $G_2({\mathbb C}^{m+2})$.
We study symplectic manifolds $(M^{2l},ω)$ equipped with a symplectic torsion-free affine (also called Fedosov) connection $\nabla$ and admitting a metaplectic structure. Let $\mathcal{S}$ be the so called symplectic spinor bundle and let $R^S$ be the curvature tensor field of the symplectic spinor covariant derivative $\nabla^S$ associated to the Fedosov connection $\nabla.$ It is known that the space of symplectic spinor valued exterior differential 2-forms, $Γ(M,\bigwedge^2T^*M\otimes {\mathcal{S}}),$ decomposes into three invariant spaces with respect to the structure group, which is the m…
We calculate the Spencer cohomology of the $(1,0)$ Poincaré superalgebras in six dimensions: with and without R-symmetry. As the cases of four and eleven dimensions taught us, we may read off from this calculation a Killing spinor equation which allows the determination of which geometries admit rigidly supersymmetric theories in this dimension. We prove that the resulting Killing spinors generate a Lie superalgebra and determine the geometries admitting the maximal number of such Killing spinors. They are divided in two branches. One branch consists of the lorentzian Lie groups with bi-invari…
We determine the geometry of supersymmetric heterotic string backgrounds for which all parallel spinors with respect to the connection $\hat\nabla$ with torsion $H$, the NS$\otimes$NS three-form field strength, are Killing. We find that there are two classes of such backgrounds, the null and the timelike. The Killing spinors of the null backgrounds have stability subgroups $K\ltimes\bR^8$ in $Spin(9,1)$, for $K=Spin(7)$, SU(4), $Sp(2)$, $SU(2)\times SU(2)$ and $\{1\}$, and the Killing spinors of the timelike backgrounds have stability subgroups $G_2$, SU(3), SU(2) and $\{1\}$. The former admit…
Let $M$ be a real hypersurface in complex projective space. The almost contact metric structure on $M$ allows us to consider, for any nonnull real number $k$, the corresponding $k$-th generalized Tanaka-Webster connection on $M$ and, associated to it, a differential operator of first order of Lie type. Considering such a differential operator and Lie derivative we define, from the structure Jacobi operator $R_ξ$ on $M$ a tensor field of type (1,2), $R_{ξ_T}^{(k)}$. We obtain some classifications of real hypersurfaces for which $R_{ξ_T}^{(k)}$ is either symmetric or skew symmetric.
We develop a new framework for the study of generalized Killing spinors, where generalized Killing spinor equations, possibly with constraints, can be formulated equivalently as systems of partial differential equations for a polyform satisfying algebraic relations in the Kähler-Atiyah bundle constructed by quantizing the exterior algebra bundle of the underlying manifold. At the core of this framework lies the characterization, which we develop in detail, of the image of the spinor squaring map of an irreducible Clifford module $Σ$ of real type as a real algebraic variety in the Kähler-Atiyah…
