-
Hyperkähler cones and instantons on quaternionic Kähler manifolds
Authors:
Chandrashekar Devchand,
Massimiliano Pontecorvo,
Andrea Spiro
Abstract:
We present a novel approach to the study of Yang-Mills instantons on quaternionic Kähler manifolds, based on an extension of the harmonic space method of constructing instantons on hyperkähler manifolds. Our results establish a bijection between local equivalence classes of instantons on quaternionic Kähler manifolds M and equivalence classes of certain holomorphic maps on an appropriate SL_2(C)-b…
▽ More
We present a novel approach to the study of Yang-Mills instantons on quaternionic Kähler manifolds, based on an extension of the harmonic space method of constructing instantons on hyperkähler manifolds. Our results establish a bijection between local equivalence classes of instantons on quaternionic Kähler manifolds M and equivalence classes of certain holomorphic maps on an appropriate SL_2(C)-bundle over the Swann bundle of M.
△ Less
Submitted 3 February, 2020;
originally announced February 2020.
-
Instantons on hyperkähler manifolds
Authors:
Chandrashekar Devchand,
Massimiliano Pontecorvo,
Andrea Spiro
Abstract:
An instanton $(E, D)$ on a (pseudo-)hyperkähler manifold $M$ is a vector bundle $E$ associated to a principal $G$-bundle with a connection $D$ whose curvature is pointwise invariant under the quaternionic structures of $T_x M, \ x\in M$, and thus satisfies the Yang-Mills equations. Revisiting a construction of solutions, we prove a local bijection between gauge equivalence classes of instantons on…
▽ More
An instanton $(E, D)$ on a (pseudo-)hyperkähler manifold $M$ is a vector bundle $E$ associated to a principal $G$-bundle with a connection $D$ whose curvature is pointwise invariant under the quaternionic structures of $T_x M, \ x\in M$, and thus satisfies the Yang-Mills equations. Revisiting a construction of solutions, we prove a local bijection between gauge equivalence classes of instantons on $M$ and equivalence classes of certain holomorphic functions taking values in the Lie algebra of $G^\mathbb{C}$ defined on an appropriate $SL_2(\mathbb{C})$-bundle over $M$. Our reformulation affords a streamlined proof of Uhlenbeck's Compactness Theorem for instantons on (pseudo-)hyperkähler manifolds.
△ Less
Submitted 16 December, 2018;
originally announced December 2018.
-
On pseudo-hyperkähler prepotentials
Authors:
Chandrashekar Devchand,
Andrea Spiro
Abstract:
An explicit surjection from a set of (locally defined) unconstrained holomorphic functions on a certain submanifold of (Sp_1(C) \times C^{4n}) onto the set HK_{p,q} of local isometry classes of real analytic pseudo-hyperkähler metrics of signature (4p,4q) in dimension 4n is constructed. The holomorphic functions, called prepotentials, are analogues of Kähler potentials for Kähler metrics and provi…
▽ More
An explicit surjection from a set of (locally defined) unconstrained holomorphic functions on a certain submanifold of (Sp_1(C) \times C^{4n}) onto the set HK_{p,q} of local isometry classes of real analytic pseudo-hyperkähler metrics of signature (4p,4q) in dimension 4n is constructed. The holomorphic functions, called prepotentials, are analogues of Kähler potentials for Kähler metrics and provide a complete parameterisation of HK_{p,q}. In particular, there exists a bijection between HK_{p,q} and the set of equivalence classes of prepotentials. This affords the explicit construction of pseudo-hyperkähler metrics from specified prepotentials. The construction generalises one due to Galperin, Ivanov, Ogievetsky and Sokatchev. Their work is given a coordinate-free formulation and complete, self-contained proofs are provided. An appendix provides a vital tool for this construction: a reformulation of real analytic G-structures in terms of holomorphic frame fields on complex manifolds.
△ Less
Submitted 31 October, 2016; v1 submitted 26 February, 2015;
originally announced February 2015.
-
Matryoshka of Special Democratic Forms
Authors:
Chandrashekar Devchand,
Jean Nuyts,
Gregor Weingart
Abstract:
Special p-forms are forms which have components φ_{μ_1...μ_p} equal to +1,-1 or 0 in some orthonormal basis. A p-form φ\in Λ^p R^d is called democratic if the set of nonzero components {φ_{μ_1...μ_p}} is symmetric under the transitive action of a subgroup of O(d,Z) on the indices {1,...,d}. Knowledge of these symmetry groups allows us to define mappings of special democratic p-forms in d dimensi…
▽ More
Special p-forms are forms which have components φ_{μ_1...μ_p} equal to +1,-1 or 0 in some orthonormal basis. A p-form φ\in Λ^p R^d is called democratic if the set of nonzero components {φ_{μ_1...μ_p}} is symmetric under the transitive action of a subgroup of O(d,Z) on the indices {1,...,d}. Knowledge of these symmetry groups allows us to define mappings of special democratic p-forms in d dimensions to special democratic P-forms in D dimensions for successively higher P \geq p and D \geq d. In particular, we display a remarkable nested stucture of special forms including a U(3)-invariant 2-form in six dimensions, a G_2-invariant 3-form in seven dimensions, a Spin(7)-invariant 4-form in eight dimensions and a special democratic 6-form Ωin ten dimensions. The latter has the remarkable property that its contraction with one of five distinct bivectors, yields, in the orthogonal eight dimensions, the Spin(7)-invariant 4-form. We discuss various properties of this ten dimensional form.
△ Less
Submitted 16 December, 2008;
originally announced December 2008.
-
Special Graphs
Authors:
Chandrashekar Devchand,
Jean Nuyts,
Gregor Weingart
Abstract:
A special p-form is a p-form which, in some orthonormal basis {e_μ}, has components φ_{μ_1...μ_p} = φ(e_{μ_1},..., e_{μ_p}) taking values in {-1,0,1}. We discuss graphs which characterise such forms.
A special p-form is a p-form which, in some orthonormal basis {e_μ}, has components φ_{μ_1...μ_p} = φ(e_{μ_1},..., e_{μ_p}) taking values in {-1,0,1}. We discuss graphs which characterise such forms.
△ Less
Submitted 28 December, 2007; v1 submitted 26 April, 2006;
originally announced April 2006.
-
Polyvector Super-Poincare Algebras
Authors:
Dmitri V. Alekseevsky,
Vicente Cortés,
Chandrashekar Devchand,
Antoine Van Proeyen
Abstract:
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 b…
▽ More
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 provide a classification of such Lie (super)algebras for all dimensions and signatures. The problem reduces to the classification of so(V)-invariant Λ^k V-valued bilinear forms on the spinor module S.
△ Less
Submitted 16 June, 2004; v1 submitted 13 November, 2003;
originally announced November 2003.
-
Yang-Mills connections over manifolds with Grassmann structure
Authors:
Dmitri V. Alekseevsky,
Vicente Cortés,
Chandrashekar Devchand
Abstract:
Let M be a manifold with Grassmann structure, i.e. with an isomorphism of the cotangent bundle T^*M\cong E\otimes H with the tensor product of two vector bundles E and H. We define the notion of a half-flat connection \nabla^W in a vector bundle W\to M as a connection whose curvature F\in S^2E\otimes\wedge^2 H\otimes W \subset\wedge^2 T^*M\otimes W. Under appropriate assumptions, for example, wh…
▽ More
Let M be a manifold with Grassmann structure, i.e. with an isomorphism of the cotangent bundle T^*M\cong E\otimes H with the tensor product of two vector bundles E and H. We define the notion of a half-flat connection \nabla^W in a vector bundle W\to M as a connection whose curvature F\in S^2E\otimes\wedge^2 H\otimes W \subset\wedge^2 T^*M\otimes W. Under appropriate assumptions, for example, when the Grassmann structure is associated with a quaternionic Kaehler structure on M, half-flatness implies the Yang-Mills equations. Inspired by the harmonic space approach, we develop a local construction of (holomorphic) half-flat connections \nabla^W over a complex manifold with (holomorphic) Grassmann structure equipped with a suitable linear connection. Any such connection \nabla^W can be obtained from a prepotential by solving a system of linear first order ODEs. The construction can be applied, for instance, to the complexification of hyper-Kaehler manifolds or more generally to hyper-Kaehler manifolds with admissible torsion and to their higher-spin analogues. It yields solutions of the Yang-Mills equations.
△ Less
Submitted 28 August, 2003; v1 submitted 11 September, 2002;
originally announced September 2002.
-
Partially-flat gauge fields on manifolds of dimension greater than four
Authors:
Dmitri V. Alekseevsky,
Vicente Cortés,
Chandrashekar Devchand
Abstract:
We describe two extensions of the notion of a self-dual connection in a vector bundle over a manifold M from dim M=4 to higher dimensions. The first extension, Omega-self-duality, is based on the existence of an appropriate 4-form Omega on the Riemannian manifold M and yields solutions of the Yang-Mills equations. The second is the notion of half-flatness, which is defined for manifolds with cer…
▽ More
We describe two extensions of the notion of a self-dual connection in a vector bundle over a manifold M from dim M=4 to higher dimensions. The first extension, Omega-self-duality, is based on the existence of an appropriate 4-form Omega on the Riemannian manifold M and yields solutions of the Yang-Mills equations. The second is the notion of half-flatness, which is defined for manifolds with certain Grassmann structure T^C M \cong E \otimes H. In some cases, for example for hyper-Kaehler manifolds M, half-flatness implies Omega-self-duality. A construction of half-flat connections inspired by the harmonic space approach is described. Locally, any such connection can be obtained from a free prepotential by solving a system of linear first order ODEs.
△ Less
Submitted 12 September, 2002; v1 submitted 3 May, 2002;
originally announced May 2002.
-
Flows on quaternionic-Kaehler and very special real manifolds
Authors:
Dmitri V. Alekseevsky,
Vicente Cortés,
Chandrashekar Devchand,
Antoine Van Proeyen
Abstract:
BPS solutions of 5-dimensional supergravity correspond to certain gradient flows on the product M x N of a quaternionic-Kaehler manifold M of negative scalar curvature and a very special real manifold N of dimension n >=0. Such gradient flows are generated by the `energy function' f = P^2, where P is a (bundle-valued) moment map associated to n+1 Killing vector fields on M. We calculate the Hess…
▽ More
BPS solutions of 5-dimensional supergravity correspond to certain gradient flows on the product M x N of a quaternionic-Kaehler manifold M of negative scalar curvature and a very special real manifold N of dimension n >=0. Such gradient flows are generated by the `energy function' f = P^2, where P is a (bundle-valued) moment map associated to n+1 Killing vector fields on M. We calculate the Hessian of f at critical points and derive some properties of its spectrum for general quaternionic-Kaehler manifolds. For the homogeneous quaternionic-Kaehler manifolds we prove more specific results depending on the structure of the isotropy group. For example, we show that there always exists a Killing vector field vanishing at a point p in M such that the Hessian of f at p has split signature. This generalizes results obtained recently for the complex hyperbolic plane (universal hypermultiplet) in the context of 5-dimensional supergravity. For symmetric quaternionic-Kaehler manifolds we show the existence of non-degenerate local extrema of f, for appropriate Killing vector fields. On the other hand, for the non-symmetric homogeneous quaternionic-Kaehler manifolds we find degenerate local minima.
△ Less
Submitted 12 September, 2001;
originally announced September 2001.
-
Special complex manifolds
Authors:
D. V. Alekseevsky,
V. Cortés,
C. Devchand
Abstract:
We introduce the notion of a special complex manifold: a complex manifold (M,J) with a flat torsionfree connection \nabla such that (\nabla J) is symmetric. A special symplectic manifold is then defined as a special complex manifold together with a \nabla-parallel symplectic form ω. This generalises Freed's definition of (affine) special Kähler manifolds. We also define projective versions of al…
▽ More
We introduce the notion of a special complex manifold: a complex manifold (M,J) with a flat torsionfree connection \nabla such that (\nabla J) is symmetric. A special symplectic manifold is then defined as a special complex manifold together with a \nabla-parallel symplectic form ω. This generalises Freed's definition of (affine) special Kähler manifolds. We also define projective versions of all these geometries. Our main result is an extrinsic realisation of all simply connected (affine or projective) special complex, symplectic and Kähler manifolds. We prove that the above three types of special geometry are completely solvable, in the sense that they are locally defined by free holomorphic data. In fact, any special complex manifold is locally realised as the image of a holomorphic 1-form α: C^n \to T^* C^n. Such a realisation induces a canonical \nabla-parallel symplectic structure on M and any special symplectic manifold is locally obtained this way. Special Kähler manifolds are realised as complex Lagrangian submanifolds and correspond to closed forms α. Finally, we discuss the natural geometric structures on the cotangent bundle of a special symplectic manifold, which generalise the hyper-Kähler structure on the cotangent bundle of a special Kähler manifold.
△ Less
Submitted 5 November, 2001; v1 submitted 19 October, 1999;
originally announced October 1999.
-
The supersymmetric Camassa-Holm equation and geodesic flow on the superconformal group
Authors:
Chandrashekar Devchand,
Jeremy Schiff
Abstract:
We study a family of fermionic extensions of the Camassa-Holm equation. Within this family we identify three interesting classes: (a) equations, which are inherently hamiltonian, describing geodesic flow with respect to an H^1 metric on the group of superconformal transformations in two dimensions, (b) equations which are hamiltonian with respect to a different hamiltonian structure and (c) supe…
▽ More
We study a family of fermionic extensions of the Camassa-Holm equation. Within this family we identify three interesting classes: (a) equations, which are inherently hamiltonian, describing geodesic flow with respect to an H^1 metric on the group of superconformal transformations in two dimensions, (b) equations which are hamiltonian with respect to a different hamiltonian structure and (c) supersymmetric flow equations. Classes (a) and (b) have no intersection, but the intersection of classes (a) and (c) gives a candidate for a new supersymmetric integrable system. We demonstrate the Painlevé property for some simple but nontrivial reductions of this system.
△ Less
Submitted 22 November, 1998;
originally announced November 1998.
-
Killing spinors are Killing vector fields in Riemannian Supergeometry
Authors:
D. V. Alekseevsky,
V. Cortés,
C. Devchand,
U. Semmelmann
Abstract:
A supermanifold M is canonically associated to any pseudo Riemannian spin manifold (M_0,g_0). Extending the metric g_0 to a field g of bilinear forms g(p) on T_p M, p\in M_0, the pseudo Riemannian supergeometry of (M,g) is formulated as G-structure on M, where G is a supergroup with even part G_0\cong Spin(k,l); (k,l) the signature of (M_0,g_0). Killing vector fields on (M,g) are, by definition,…
▽ More
A supermanifold M is canonically associated to any pseudo Riemannian spin manifold (M_0,g_0). Extending the metric g_0 to a field g of bilinear forms g(p) on T_p M, p\in M_0, the pseudo Riemannian supergeometry of (M,g) is formulated as G-structure on M, where G is a supergroup with even part G_0\cong Spin(k,l); (k,l) the signature of (M_0,g_0). Killing vector fields on (M,g) are, by definition, infinitesimal automorphisms of this G-structure. For every spinor field s there exists a corresponding odd vector field X_s on M. Our main result is that X_s is a Killing vector field on (M,g) if and only if s is a twistor spinor. In particular, any Killing spinor s defines a Killing vector field X_s.
△ Less
Submitted 5 April, 1997; v1 submitted 2 April, 1997;
originally announced April 1997.
