Showing 1–50 of 72 results for author: Alekseevsky, D

Conformally homogeneous Lorentzian spaces

Authors: Dmitri V. Alekseevsky, Anton S. Galaev

Abstract: We prove that if a simply connected non-conformally flat conformal Lorentzian manifold $(M,c)$ admits an essential transitive group of conformal transformations, then there exists a metric $g\in c$ such that $(M,g)$ is a complete homogeneous plane wave. We also prove that the group of conformal transformations of a non-conformally flat simply connected homogeneous plane wave $(M,g)$ consists of ho… ▽ More We prove that if a simply connected non-conformally flat conformal Lorentzian manifold $(M,c)$ admits an essential transitive group of conformal transformations, then there exists a metric $g\in c$ such that $(M,g)$ is a complete homogeneous plane wave. We also prove that the group of conformal transformations of a non-conformally flat simply connected homogeneous plane wave $(M,g)$ consists of homotheties, hence it is a 1-dimensional extension of the group of isometries. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Comments: 14 pages

Invariant Monge-Ampère equations on contactified para-Kähler manifolds

Authors: Dmitri Alekseevsky, Gianni Manno, Giovanni Moreno

Abstract: We develop a method for describing invariant Monge-Ampère equations in the sense of V. Lychagin and T. Morimoto (MAE) on a homogeneous contact manifold $N$ of a semisimple Lie group $G$, which is the contactification of the homogeneous symplectic manifold $M = G/H = \mathrm{Ad}_G Z \subset \mathfrak{g}$, where $M$ is the adjoint orbit of a splittable closed element $Z $ of the Lie algebra… ▽ More We develop a method for describing invariant Monge-Ampère equations in the sense of V. Lychagin and T. Morimoto (MAE) on a homogeneous contact manifold $N$ of a semisimple Lie group $G$, which is the contactification of the homogeneous symplectic manifold $M = G/H = \mathrm{Ad}_G Z \subset \mathfrak{g}$, where $M$ is the adjoint orbit of a splittable closed element $Z $ of the Lie algebra $\mathfrak{g} = \mathrm{Lie}(G)$. The method is then applied to a ten-dimensional semisimple orbit $M$ of the exceptional Lie group $\mathsf{G}_2$ and a complete list of mutually non-equivalent MAEs on $N$ is obtained. △ Less

Submitted 13 February, 2024; originally announced February 2024.

MSC Class: 35B06; 58A20; 58J70

The Levi-Civita connections of manifolds with prescribed optical geometries

Authors: Dmitri V. Alekseevsky, Masoud Ganji, Gerd Schmalz, Andrea Spiro

Abstract: We explicitly derive the Christoffel symbols in terms of adapted frame fields for the Levi-Civita connection of a Lorentzian $n$-manifold $(M, g)$, equipped with a prescribed optical geometry of Kähler-Sasaki type. The formulas found in this paper have several important applications, such as determining the geometric invariants of Lorentzian manifolds with prescribed optical geometries or solving… ▽ More We explicitly derive the Christoffel symbols in terms of adapted frame fields for the Levi-Civita connection of a Lorentzian $n$-manifold $(M, g)$, equipped with a prescribed optical geometry of Kähler-Sasaki type. The formulas found in this paper have several important applications, such as determining the geometric invariants of Lorentzian manifolds with prescribed optical geometries or solving curvature constraints. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Geometry of saccades and saccadic cycles

Authors: D. V. Alekseevsky, I. M. Shirokov

Abstract: The paper is devoted to the development of the differential geometry of saccades and saccadic cycles. We recall an interpretation of Donder's and Listing's law in terms of the Hopf fibration of the $3$-sphere over the $2$-sphere. In particular, the configuration space of the eye ball (when the head is fixed) is the 2-dimensional hemisphere $S^+_L$, which is called Listing's hemisphere. We give thr… ▽ More The paper is devoted to the development of the differential geometry of saccades and saccadic cycles. We recall an interpretation of Donder's and Listing's law in terms of the Hopf fibration of the $3$-sphere over the $2$-sphere. In particular, the configuration space of the eye ball (when the head is fixed) is the 2-dimensional hemisphere $S^+_L$, which is called Listing's hemisphere. We give three characterizations of saccades: as geodesic segment $ab$ in the Listing's hemisphere, as the gaze curve and as a piecewise geodesic curve of the orthogonal group. We study the geometry of saccadic cycle, which is represented by a geodesic polygon in the Listing hemisphere, and give necessary and sufficient conditions, when a system of lines through the center of eye ball is the system of axes of rotation for saccades of the saccadic cycle, described in terms of world coordinates and retinotopic coordinates. This gives an approach to the study the visual stability problem. △ Less

Submitted 26 June, 2023; originally announced June 2023.

Comments: 9 pages, 3 figures

Special Vinberg cones, invariant admissible cubics and special real manifolds

Authors: Dmitri V. Alekseevsky, Alessio Marrani, Andrea Spiro

Abstract: By Vinberg theory any homogeneous convex cone $\mathcal V$ may be realized as the cone of positive Hermitian matrices in a $T$-algebra of generalised matrices. The level hypersurfaces $\mathcal V_{q} \subset \mathcal V$ of homogeneous cubic polynomials $q$ with positive definite Hessian (symmetric) form $g_q := - \operatorname{Hess}(\log(q))|_{T \mathcal V_q}$ are the {\it special real manifolds}.… ▽ More By Vinberg theory any homogeneous convex cone $\mathcal V$ may be realized as the cone of positive Hermitian matrices in a $T$-algebra of generalised matrices. The level hypersurfaces $\mathcal V_{q} \subset \mathcal V$ of homogeneous cubic polynomials $q$ with positive definite Hessian (symmetric) form $g_q := - \operatorname{Hess}(\log(q))|_{T \mathcal V_q}$ are the {\it special real manifolds}. Such manifolds occur as scalar manifolds of the vector multiplets in $N=2$, $D=5$ supergravity and, through the $r$-map, correspond to Kähler scalar manifolds in $N = 2$ $D = 4$ supergravity. We offer a simplified exposition of the Vinberg theory in terms of $\operatorname{Nil}$-algebras (= the subalgebras of upper triangular matrices in Vinberg $T$-algebras) and we use it to describe all rational functions on a special Vinberg cone that are $G_0$- or $G'$- invariant, where $G_0$ is the unimodular subgroup of the solvable group $G$ acting simply transitively on the cone, and $G'$ is the unipotent radical of $G_0$. The results are used to determine $G_0$- and $G'$-invariant cubic polynomials $q$ that are {\it admissible} (i.e. such that the hypersurface $ \mathcal V_q=\{ q=1\}\cap \mathcal V $ has positive definite Hessian form $g_q$) for rank $2$ and rank $3$ special Vinberg cones. We get in this way examples of continuous families of non-homogeneous special real manifolds of cohomogeneity less than or equal to two. △ Less

Submitted 29 May, 2023; v1 submitted 3 January, 2023; originally announced January 2023.

Comments: 22 pages; v2 - a few changes in sect. 4.2, 4.3 and 5.3; all main results are unchanged; to appear in an AMS Contemporary Mathematics volume in honor of Alexandre Vinogradov

MSC Class: 83E50; 15B48; 32M15

Reductive homogeneous Lorentzian manifolds

Authors: Dmitri Alekseevsky, Ioannis Chrysikos, Anton Galaev

Abstract: We study homogeneous Lorentzian manifolds $M = G/L$ of a connected reductive Lie group $G$ modulo a connected reductive subgroup $L$, under the assumption that $M$ is (almost) $G$-effective and the isotropy representation is totally reducible. We show that the description of such manifolds reduces to the case of semisimple Lie groups $G$. Moreover, we prove that such a homogeneous space is reducti… ▽ More We study homogeneous Lorentzian manifolds $M = G/L$ of a connected reductive Lie group $G$ modulo a connected reductive subgroup $L$, under the assumption that $M$ is (almost) $G$-effective and the isotropy representation is totally reducible. We show that the description of such manifolds reduces to the case of semisimple Lie groups $G$. Moreover, we prove that such a homogeneous space is reductive. We describe all totally reducible subgroups of the Lorentz group and divide them into three types. The subgroups of Type I are compact, while the subgroups of Type II and Type III are non-compact. The explicit description of the corresponding homogeneous Lorentzian spaces of Type II and III (under some mild assumption) is given. We also show that the description of Lorentz homogeneous manifolds $M = G/L$ of Type I, reduces to the description of subgroups $L$ such that $M=G/L$ is an admissible manifold, i.e., an effective homogeneous manifold that admits an invariant Lorentzian metric. Whenever the subgroup $L$ is a maximal subgroup with these properties, we call such a manifold minimal admissible. We classify all minimal admissible homogeneous manifolds $G/L$ of a compact semisimple Lie group $G$ and describe all invariant Lorentzian metrics on them. △ Less

Submitted 28 April, 2022; originally announced April 2022.

Comments: 20 pages

Journal ref: Differential Geometry and its Applications 84 (2022), 101932

Conformal models for hypercolumns and the visual V1 cortex

Authors: Dmitri V. Alekseevsky, Andrea F. Spiro

Abstract: This paper consists of two parts strictly related one to the other. The first is a survey of important facts and leading problems concerning the applications of differential geometry in studies on the functional architecture of the visual system. The second part presents a model for the hypercolumns, which originates from the symplectic model of the primary visual cortex by A. Sarti, G. Citti and… ▽ More This paper consists of two parts strictly related one to the other. The first is a survey of important facts and leading problems concerning the applications of differential geometry in studies on the functional architecture of the visual system. The second part presents a model for the hypercolumns, which originates from the symplectic model of the primary visual cortex by A. Sarti, G. Citti and J. Petitot, the spherical model of hypercolumns by P. Bressloff and J. Cowan and basic results of the conformal geometry of sphere. The first part is designed for a mathematically oriented audience and provides motivations for the model in the second part. △ Less

Submitted 27 December, 2022; v1 submitted 21 February, 2022; originally announced February 2022.

Comments: 39 pages, 2 figures -- In v.2, the Abstract and the Introduction have been radically modified, to clarify the motivations. Almost no changes in the other sections with respect to v.1. The contents of Part I and Part II are going to appear in two separate papers

MSC Class: 92B99

Third-order affine-invariant (systems of) PDEs in two independent variables as vanishing of the Fubini-Pick invariant

Authors: Dmitri Alekseevsky, Gianni Manno, Giovanni Moreno

Abstract: In this paper we study $3^{\mathrm{rd}}$ order (system of) PDEs in two independent variables $x,y$ and one unknown function $u$ that are invariant with respect to the group of affine transformation $\mathrm{Aff}(3)$ of $\mathbb{R}^3=\{(x,y,u)\}$. After proving their relationship with the Fubini-Pick invariant, we derive the aforementioned PDEs by using a general method introduced in [D.V. Alekseev… ▽ More In this paper we study $3^{\mathrm{rd}}$ order (system of) PDEs in two independent variables $x,y$ and one unknown function $u$ that are invariant with respect to the group of affine transformation $\mathrm{Aff}(3)$ of $\mathbb{R}^3=\{(x,y,u)\}$. After proving their relationship with the Fubini-Pick invariant, we derive the aforementioned PDEs by using a general method introduced in [D.V. Alekseevsky, J. Gutt, G. Manno, and G. Moreno: A general method to construct invariant {PDEs} on homogeneous manifolds. Communications in Contemporary Mathematics (2021)], which sheds light on some of their geometrical properties. △ Less

Submitted 10 April, 2024; v1 submitted 20 February, 2022; originally announced February 2022.

Comments: 16 pages, 1 figure

MSC Class: 35A30; 35B06; 58A20; 58J70

Ernest Borisovich Vinberg

Authors: D. V. Alekseevsky, M. V. Belolipetsky, S. G. Gindikin, V. G. Kac, D. I. Panyushev, D. A. Timashev, O. V. Shvartsman, A. G. Elashvili, O. S. Yakimova

Abstract: The article is a report on the biography and achievements of Ernest Borisovich Vinberg, an outstanding Russian mathematician, who passed away in Moscow on May 12, 2020. We discuss his contributions to various areas of mathematics such as Riemannian and Lobachevsky geometries, homogeneous convex cones, Lie groups and Invariant theory, equivariant symplectic geometry and Poisson structures. The article is a report on the biography and achievements of Ernest Borisovich Vinberg, an outstanding Russian mathematician, who passed away in Moscow on May 12, 2020. We discuss his contributions to various areas of mathematics such as Riemannian and Lobachevsky geometries, homogeneous convex cones, Lie groups and Invariant theory, equivariant symplectic geometry and Poisson structures. △ Less

Submitted 5 August, 2021; originally announced August 2021.

Comments: In Russian!

Special Vinberg Cones and the Entropy of BPS Extremal Black Holes

Authors: Dmitri V. Alekseevsky, Alessio Marrani, Andrea Spiro

Abstract: We consider the static, spherically symmetric and asymptotically flat BPS extremal black holes in ungauged N = 2 D = 4 supergravity theories, in which the scalar manifold of the vector multiplets is homogeneous. By a result of Shmakova on the BPS attractor equations, the entropy of this kind of black holes can be expressed only in terms of their electric and magnetic charges, provided that the inv… ▽ More We consider the static, spherically symmetric and asymptotically flat BPS extremal black holes in ungauged N = 2 D = 4 supergravity theories, in which the scalar manifold of the vector multiplets is homogeneous. By a result of Shmakova on the BPS attractor equations, the entropy of this kind of black holes can be expressed only in terms of their electric and magnetic charges, provided that the inverse of a certain quadratic map (uniquely determined by the prepotential of the theory) is given. This inverse was previously known just for the cases in which the scalar manifold of the theory is a homogeneous symmetric space. In this paper we use Vinberg's theory of homogeneous cones to determine an explicit expression for such an inverse, under the assumption that the scalar manifold is homogeneous, but not necessarily symmetric. As immediate consequence, we get a formula for the entropy of BPS black holes that holds in any model of N = 2 supergravity with homogeneous scalar manifold. △ Less

Submitted 6 July, 2023; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: 38 pages; v4: this version is the same of v3; only these comments are modified to announce that a detailed description of the correction of the computational error of v2 -- now fixed in v3 and in this version v4 - can be found in "Erratum to: Special Vinberg Cones and the Entropy of BPS Extremal Black Holes", published in JHEP 06 (2023) 192

Journal ref: JHEP 11 (2021) 100

Lorentzian manifolds with shearfree congruences and Kähler-Sasaki geometry

Authors: Dmitri V. Alekseevsky, Masoud Ganji, Gerd Schmalz, Andrea Spiro

Abstract: We study Lorentzian manifolds $(M, g)$ of dimension $n\geq 4$, equipped with a maximally twisting shearfree null vector field $p_o$, for which the leaf space $S = M/\{\exp t p_o\}$ is a smooth manifold. If $n = 2k$, the quotient $S = M/\{\exp t p_o\}$ is naturally equipped with a subconformal structure of contact type and, in the most interesting cases, it is a regular Sasaki manifold projecting o… ▽ More We study Lorentzian manifolds $(M, g)$ of dimension $n\geq 4$, equipped with a maximally twisting shearfree null vector field $p_o$, for which the leaf space $S = M/\{\exp t p_o\}$ is a smooth manifold. If $n = 2k$, the quotient $S = M/\{\exp t p_o\}$ is naturally equipped with a subconformal structure of contact type and, in the most interesting cases, it is a regular Sasaki manifold projecting onto a quantisable Kähler manifold of real dimension $2k -2$. Going backwards through this line of ideas, for any quantisable Kähler manifold with associated Sasaki manifold $S$, we give the local description of all Lorentzian metrics $g$ on the total spaces $M$ of $A$-bundles $π: M \to S$, $A = S^1, \mathbb R$, such that the generator of the group action is a maximally twisting shearfree $g$-null vector field $p_o$. We also prove that on any such Lorentzian manifold $(M, g)$ there exists a non-trivial generalized electromagnetic plane wave having $p_o$ as propagating direction field, a result that can be considered as a generalization of the classical $4$-dimensional Robinson Theorem. We finally construct a 2-parametric family of Einstein metrics on a trivial bundle $M = \mathbb R \times S$ for any prescribed value of the Einstein constant. If $\dim M = 4$, the Ricci flat metrics obtained in this way are the well-known Taub-NUT metrics. △ Less

Submitted 13 January, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 37 pages; in v4, we corrected a sign in (5.1) and, in cascade, made adjustments in the subsequent formulas; the changes correspond to a change of orientation and have no effect in any result; we also improved the presentation in Sections 2 and 4 and added ackowledgments

MSC Class: 83C20; 83C50; 53C25; 32V05; 32V30; 53C17

A general method to construct invariant PDEs on homogeneous manifolds

Authors: Dmitri V. Alekseevsky, Jan Gutt, Gianni Manno, Giovanni Moreno

Abstract: Let $M = G/H$ be an $(n+1)$-dimensional homogeneous manifold and $J^k(n,M)=:J^k$ be the manifold of $k$-jets of hypersurfaces of $M$. The Lie group $G$ acts naturally on each $J^k$. A $G$-invariant PDE of order $k$ for hypersurfaces of $M$ (i.e., with $n$ independent variables and $1$ dependent one) is defined as a $G$-invariant hypersurface $\mathcal{E} \subset J^k$. We describe a general method… ▽ More Let $M = G/H$ be an $(n+1)$-dimensional homogeneous manifold and $J^k(n,M)=:J^k$ be the manifold of $k$-jets of hypersurfaces of $M$. The Lie group $G$ acts naturally on each $J^k$. A $G$-invariant PDE of order $k$ for hypersurfaces of $M$ (i.e., with $n$ independent variables and $1$ dependent one) is defined as a $G$-invariant hypersurface $\mathcal{E} \subset J^k$. We describe a general method for constructing such invariant PDEs for $k\geq 2$. The problem reduces to the description of hypersurfaces, in a certain vector space, which are invariant with respect to the linear action of the stability subgroup $H^{(k-1)}$ of the $(k-1)$-prolonged action of $G$. We apply this approach to describe invariant PDEs for hypersurfaces in the Euclidean space $\mathbb{E}^{n+1 }$ and in the conformal space $\mathbb{S}^{n+1}$. Our method works under some mild assumptions on the action of $G$, namely: A1) the group $G$ must have an open orbit in $J^{k-1}$, and A2) the stabilizer $H^{(k-1)}\subset G$ of the fibre $J^k\to J^{k-1}$ must factorize via the group of translations of the fibre itself. △ Less

Submitted 15 September, 2020; v1 submitted 8 April, 2020; originally announced April 2020.

Comments: 16 pages; it reworks and expands the first part of the preprint "Invariant PDEs on homogeneous manifolds via the affine structure of the bundles of jet spaces", see arXiv:1907.06283; to appear in Communications in Contemporary Mathematics

MSC Class: 58A20; 58J70; 53C30; 35A30

Semisimple symmetric contact spaces

Authors: Dmitri Alekseevsky, Claudio Gorodski

Abstract: We classify contact manifolds $(M,\mathcal D)$ which are homogeneous under a connected semisimple Lie group $G$, and symmetric in the sense that there exists a contactomorphism of $(M,\mathcal D)$ normalizing $G$, fixing a point $o$ in $M$ and restricting to minus identity along $\mathcal D_o$. We classify contact manifolds $(M,\mathcal D)$ which are homogeneous under a connected semisimple Lie group $G$, and symmetric in the sense that there exists a contactomorphism of $(M,\mathcal D)$ normalizing $G$, fixing a point $o$ in $M$ and restricting to minus identity along $\mathcal D_o$. △ Less

Submitted 2 March, 2020; originally announced March 2020.

Comments: 24 pages

MSC Class: 53D10; 53C30

Shortest and Straightest Geodesics in Sub-Riemannian Geometry

Authors: Dmitri V. Alekseevsky

Abstract: There are many equivalent definitions of Riemannian geodesics. They are naturally generalised to sub-Riemannian manifold, but become non-equivalent. We give a review of different definitions of geodesics of a sub-Riemannian manifold and interrelation between them. We recall three variational definitions of geodesics as (locally) shortest curves (Euler-Lagrange, Pontyagin and Hamilton) and three de… ▽ More There are many equivalent definitions of Riemannian geodesics. They are naturally generalised to sub-Riemannian manifold, but become non-equivalent. We give a review of different definitions of geodesics of a sub-Riemannian manifold and interrelation between them. We recall three variational definitions of geodesics as (locally) shortest curves (Euler-Lagrange, Pontyagin and Hamilton) and three definitions of geodesics as straightest curves (d'Alembert , Levi-Civita-Schouten and Cartan-Tanaka ), used in nonholonomic mechanics and discuss their interrelations. We consider a big class of sub-Riemannian manifolds associated with principal bundle over a Riemannian manifolds, for which shortest geodesics coincides with straightest geodesics. Using the geometry of flag manifolds, we describe some classes of compact homogeneous sub-Riemannian manifolds (including contact sub-Riemannian manifolds and symmetric sub-Riemannian manifolds) where straightest geodesics coincides with shortest geodesics. Construction of geodesics in these cases reduces to description of Riemannian geodesics of the Riemannian homogeneous manifold or left-invariant metric on a Lie group. △ Less

Submitted 26 March, 2020; v1 submitted 18 September, 2019; originally announced September 2019.

Comments: 35 pages

MSC Class: 53C17; 53C22; 53C30

Projectively and affinely invariant PDEs on hypersurfaces

Authors: Dmitri V. Alekseevsky, Gianni Manno, Giovanni Moreno

Abstract: In [Alekseevsky, Gutt, Manno, Moreno: "A general method to construct invariant PDEs on homogeneous manifolds", Communications in Contemporary Mathematics (2021)] the authors have developed a method for constructing $G$-invariant PDEs imposed on hypersurfaces of an $(n+1)$-dimensional homogeneous space $G/H$, under mild assumptions on the Lie groups $G$. In the present paper the method is applied t… ▽ More In [Alekseevsky, Gutt, Manno, Moreno: "A general method to construct invariant PDEs on homogeneous manifolds", Communications in Contemporary Mathematics (2021)] the authors have developed a method for constructing $G$-invariant PDEs imposed on hypersurfaces of an $(n+1)$-dimensional homogeneous space $G/H$, under mild assumptions on the Lie groups $G$. In the present paper the method is applied to the case when $G=\mathsf{PGL}(n+1)$ or $G=\mathsf{Aff}(n+1)$ and the homogeneous space $G/H$ is the $(n+1)$-dimensional projective $\mathbb{P}^{n+1}$ or affine $\mathbb{A}^{n+1}$ space, respectively. The paper's main result is that projectively or affinely invariant PDEs with $n$ independent and one unknown variables are in one-to-one correspondence with $\mathsf{CO}(d,n-d)$-invariant hypersurfaces of the space of trace-free cubic forms in $n$ variables. Local descriptions are also provided. △ Less

Submitted 23 March, 2024; v1 submitted 14 July, 2019; originally announced July 2019.

Comments: 14 pages, 1 figure; to appear in Proceedings of the Edinburgh Mathematical Society

MSC Class: 53C30; 58J70; 35A30; 58A20

Cohomogeneity one Kaehler and Kaehler-Einstein manifolds with one singular orbit, II

Authors: Dmitri Alekseevsky, Fabio Zuddas

Abstract: F. Podestà and A. Spiro introduced a class of $G$-manifolds $M$ with a cohomogeneity one action of a compact semisimple Lie group $G$ which admit an invariant Kaehler structure $(g,J)$ (``standard $G$-manifolds") and studied invariant Kaehler and Kaehler-Einstein metrics on $M$. In the first part of this paper, we gave a combinatoric description of the standard non compact $G$-manifolds as the tot… ▽ More F. Podestà and A. Spiro introduced a class of $G$-manifolds $M$ with a cohomogeneity one action of a compact semisimple Lie group $G$ which admit an invariant Kaehler structure $(g,J)$ (``standard $G$-manifolds") and studied invariant Kaehler and Kaehler-Einstein metrics on $M$. In the first part of this paper, we gave a combinatoric description of the standard non compact $G$-manifolds as the total space $M_{\varphi}$ of the homogeneous vector bundle $M = G\times_H V \to S_0 =G/H$ over a flag manifold $S_0$ and we gave necessary and sufficient conditions for the existence of an invariant Kaehler-Einstein metric $g$ on such manifolds $M$ in terms of the existence of an interval in the $T$-Weyl chamber of the flag manifold $F = G \times _H PV$ which satisfies some linear condition. In this paper, we consider standard cohomogeneity one manifolds of a classical simply connected Lie group $G = SU_n, Sp_n. Spin_n$ and reformulate these necessary and sufficient conditions in terms of easily checked arithmetic properties of the Koszul numbers associated with the flag manifold $S_0 = G/H$. If this conditions is fulfilled, the explicit construction of the Kaehler-Einstein metric reduces to the calculation of the inverse function to a given function of one variable. △ Less

Submitted 25 June, 2019; originally announced June 2019.

Comments: 27 pages

Homogeneous 8-manifolds admitting invariant Spin(7)-structures

Authors: Dmitri Alekseevsky, Ioannis Chrysikos, Anna Fino, Alberto Raffero

Abstract: We study compact, simply connected, homogeneous 8-manifolds admitting invariant Spin(7)-structures, classifying all canonical presentations G/H of such spaces, with G simply connected. For each presentation, we exhibit explicit examples of invariant Spin(7)-structures and we describe their type, according to Fernández classification. Finally, we analyse the associated Spin(7)-connection with torsi… ▽ More We study compact, simply connected, homogeneous 8-manifolds admitting invariant Spin(7)-structures, classifying all canonical presentations G/H of such spaces, with G simply connected. For each presentation, we exhibit explicit examples of invariant Spin(7)-structures and we describe their type, according to Fernández classification. Finally, we analyse the associated Spin(7)-connection with torsion. △ Less

Submitted 10 August, 2020; v1 submitted 1 April, 2019; originally announced April 2019.

Comments: To appear in the International Journal of Mathematics

Geometry and holonomy of indecomposable cones

Authors: Dmitri Alekseevsky, Vicente Cortés, Thomas Leistner

Abstract: We study the geometry and holonomy of semi-Riemannian, time-like metric cones that are indecomposable, i.e., which do not admit a local decomposition into a semi-Riemannian product. This includes irreducible cones, for which the holonomy can be classified, as well as non irreducible cones. The latter admit a parallel distribution of null $k$-planes, and we study the cases $k=1$ and $k=2$ in detail… ▽ More We study the geometry and holonomy of semi-Riemannian, time-like metric cones that are indecomposable, i.e., which do not admit a local decomposition into a semi-Riemannian product. This includes irreducible cones, for which the holonomy can be classified, as well as non irreducible cones. The latter admit a parallel distribution of null $k$-planes, and we study the cases $k=1$ and $k=2$ in detail. In these cases, i.e., when the cone admits a distribution of parallel null tangent lines or planes, we give structure theorems about the base manifold. Moreover, in the case $k=1$ and when the base manifold is Lorentzian, we derive a description of the cone holonomy. This result is obtained by a computation of certain cocycles of indecomposable subalgebras in $\mathfrak{so}(1,n-1)$. △ Less

Submitted 7 September, 2021; v1 submitted 7 February, 2019; originally announced February 2019.

Comments: 42 pages; in v2 the proofs in Sections 5.2 and 5.3 are shortened by using results by Hochschild and Serre

MSC Class: Primary 53C50; Secondary 53C29; 53B30

Journal ref: Rev. Mat. Iberoam. (2022)

Homogeneous almost Kähler manifolds and the Chern-Einstein equation

Authors: Dmitri V. Alekseevsky, Fabio Podestà

Abstract: Given a non compact semisimple Lie group $G$ we describe all homogeneous spaces $G/L$ carrying an invariant almost Kähler structure $(ω,J)$. When $L$ is abelian and $G$ is of classical type, we classify all such spaces which are Chern-Einstein, i.e. which satisfy $ρ= λω$ for some $λ\in\mathbb R$, where $ρ$ is the Ricci form associated to the Chern connection. Given a non compact semisimple Lie group $G$ we describe all homogeneous spaces $G/L$ carrying an invariant almost Kähler structure $(ω,J)$. When $L$ is abelian and $G$ is of classical type, we classify all such spaces which are Chern-Einstein, i.e. which satisfy $ρ= λω$ for some $λ\in\mathbb R$, where $ρ$ is the Ricci form associated to the Chern connection. △ Less

Submitted 6 December, 2018; v1 submitted 9 November, 2018; originally announced November 2018.

Comments: Some sentences have been added in the Introduction

Einstein extensions of Riemannian manifolds

Authors: D. Alekseevsky, Y. Nikolayevsky

Abstract: Given a Riemannian space $N$ of dimension $n$ and a field $D$ of symmetric endomorphisms on $N$, we define the extension $M$ of $N$ by $D$ to be the Riemannian manifold of dimension $n+1$ obtained from $N$ by a construction similar to extending a Lie group by a derivation of its Lie algebra. We find the conditions on $N$ and $D$ which imply that the extension $M$ is Einstein. In particular, we sho… ▽ More Given a Riemannian space $N$ of dimension $n$ and a field $D$ of symmetric endomorphisms on $N$, we define the extension $M$ of $N$ by $D$ to be the Riemannian manifold of dimension $n+1$ obtained from $N$ by a construction similar to extending a Lie group by a derivation of its Lie algebra. We find the conditions on $N$ and $D$ which imply that the extension $M$ is Einstein. In particular, we show that in this case, $D$ has constant eigenvalues; moreover, they are all integer (up to scaling) if $\det D \ne 0$. They must satisfy certain arithmetic relations which imply that there are only finitely many eigenvalue types of $D$ in every dimension (a similar result is known for Einstein solvmanifolds). We give the characterisation of Einstein extensions for particular eigenvalue types of $D$, including the complete classification for the case when $D$ has two eigenvalues, one of which is multiplicity free. In the most interesting case, the extension is obtained, by an explicit procedure, from an almost Kähler Ricci flat manifold (in particular, from a Calabi-Yau manifold). We also show that all Einstein extensions of dimension four are Einstein solvmanifolds. A similar result holds valid in the case when $N$ is a Lie group with a left-invariant metric, under some additional assumptions. △ Less

Submitted 21 October, 2018; originally announced October 2018.

Comments: 22 pages

MSC Class: 53C25; 53B20 (Primary) 53C30 (Secondary)

Homogeneous Sasaki and Vaisman manifolds of unimodular Lie groups

Authors: Dmitry Alekseevsky, Keizo Hasegawa, Yoshinobu Kamishima

Abstract: A Vaisman manifold is a special kind of locally conformally Kaehler manifold, which is closely related to a Sasaki manifold. In this paper we show a basic structure theorem of simply connected homogeneous Sasaki and Vaisman manifods of unimodular Lie groups, up to holomorphic isometry. For the case of unimodular Lie groups, we obtain a complete classification of simply connected Sasaki and Vaisman… ▽ More A Vaisman manifold is a special kind of locally conformally Kaehler manifold, which is closely related to a Sasaki manifold. In this paper we show a basic structure theorem of simply connected homogeneous Sasaki and Vaisman manifods of unimodular Lie groups, up to holomorphic isometry. For the case of unimodular Lie groups, we obtain a complete classification of simply connected Sasaki and Vaisman unimodular Lie groups, up to modification. △ Less

Submitted 7 April, 2020; v1 submitted 2 October, 2018; originally announced October 2018.

Comments: 18 pages

MSC Class: Primary 32M10; 53A30; Secondary 53B35

Journal ref: Nagoya Mathematical Journal, 08 November (2019), pp. 1-14

Homogeneous symplectic 4-manifolds and finite dimensional Lie algebras of symplectic vector fields on the symplectic 4-space

Authors: D. Alekseevsky, A. Santi

Abstract: We classify the finite type (in the sense of E. Cartan theory of prolongations) subalgebras $\mathfrak{h}\subset\mathfrak{sp}(V)$, where $V$ is the symplectic 4-dimensional space, and show that they satisfy $\mathfrak{h}^{(k)}=0$ for all $k>0$. Using this result, we reduce the problem of classification of graded transitive finite-dimensional Lie algebras $\mathfrak{g}$ of symplectic vector fields… ▽ More We classify the finite type (in the sense of E. Cartan theory of prolongations) subalgebras $\mathfrak{h}\subset\mathfrak{sp}(V)$, where $V$ is the symplectic 4-dimensional space, and show that they satisfy $\mathfrak{h}^{(k)}=0$ for all $k>0$. Using this result, we reduce the problem of classification of graded transitive finite-dimensional Lie algebras $\mathfrak{g}$ of symplectic vector fields on $V$ to the description of graded transitive finite-dimensional subalgebras of the full prolongations $\mathfrak{p}_1^{(\infty)}$ and $\mathfrak{p}_2^{(\infty)}$, where $\mathfrak{p}_1$ and $\mathfrak{p}_2$ are the maximal parabolic subalgebras of $\mathfrak{sp}(V)$. We then classify all such $\mathfrak{g}\subset\mathfrak{p}_i^{(\infty)}$, $i=1,2$, under some assumptions and describe the associated homogeneous symplectic 4-manifolds $(M=G/K,ω)$. We prove that any reductive homogeneous symplectic manifold (of any dimension) admits an invariant torsion free symplectic connection, i.e., it is a homogeneous Fedosov manifold, and give conditions for uniqueness of the Fedosov structure. Finally, we show that any nilpotent symplectic Lie group (of any dimension) admits a natural invariant Fedosov structure which is Ricci-flat. △ Less

Submitted 21 August, 2019; v1 submitted 23 March, 2018; originally announced March 2018.

Comments: 37 pages, 2 tables; v4: minor comments, few typos corrected and one reference added. To appear on Mosc. Math. J

Journal ref: Mosc. Math. J. 20 (2020), 217-256

Decomposable $(4,7)$ solutions in eleven-dimensional supergravity

Authors: Dmitri Alekseevsky, Ioannis Chrysikos, Arman Taghavi-Chabert

Abstract: Consider an oriented four-dimensional Lorentzian manifold $(\widetilde{M}^{3, 1}, \widetilde{g})$ and an oriented seven-dimensional Riemannian manifold $(M^{7}, g)$. We describe a class of decomposable eleven-dimensional supergravity backgrounds on the product manifold $({\mathcal{M}}^{10, 1}=\widetilde{M}^{3,1} \times M^7, g_{\mathcal{M}}=\widetilde{g}+g)$, endowed with a flux form given in terms… ▽ More Consider an oriented four-dimensional Lorentzian manifold $(\widetilde{M}^{3, 1}, \widetilde{g})$ and an oriented seven-dimensional Riemannian manifold $(M^{7}, g)$. We describe a class of decomposable eleven-dimensional supergravity backgrounds on the product manifold $({\mathcal{M}}^{10, 1}=\widetilde{M}^{3,1} \times M^7, g_{\mathcal{M}}=\widetilde{g}+g)$, endowed with a flux form given in terms of the volume form on $\widetilde{M}^{3, 1}$ and a closed $4$-form $F^{4}$ on $M^{7}$. We show that the Maxwell equation for such a flux form can be read in terms of the co-closed 3-form $φ=\star_{7}F^{4}$. Moreover, the supergravity equation reduces to the condition that $(\widetilde{M}^{3,1},\widetilde{g})$ is an Einstein manifold with negative Einstein constant and $(M^7, g, F)$ is a Riemannian manifold which satisfies the Einstein equation with a stress-energy tensor associated to the 3-form $φ$. Whenever this 3-form is generic, the Maxwell equation induces a weak ${\rm G}_2$-structure on $M^{7}$ and then we obtain decomposable supergravity backgrounds given by the product of a weak ${\rm G}_2$-manifold $(M^7, φ, g)$ with a Lorentzian Einstein manifold $(\widetilde{M}^{3,1},\widetilde{g})$. We classify homogeneous 7-manifolds $M^{7}=G/H$ of a compact Lie group $G$ and indicate the cosets which admit an invariant or non-invariant ${\rm G}_2$-structure, or even no ${\rm G}_2$-structure. Then we construct examples of compact homogeneous Riemannian 7-manifolds endowed with non-generic invariant 3-forms which satisfy the Maxwell equation, but the construction of decomposable homogeneous supergravity backgrounds of this type remains an open problem. △ Less

Submitted 1 February, 2018; originally announced February 2018.

Comments: 22 pages

Journal ref: Class. Quantum Grav. 36 075002, 2019

Constant Curvature Models in Sub-Riemannian Geometry

Authors: D. Alekseevsky, A. Medvedev, J. Slovak

Abstract: Each sub-Riemannian geometry with bracket generating distribution enjoys a background structure determined by the distribution itself. At the same time, those geometries with constant sub-Riemannian symbols determine a unique Cartan connection leading to their principal invariants. We provide cohomological description of the structure of these curvature invariants in the cases where the background… ▽ More Each sub-Riemannian geometry with bracket generating distribution enjoys a background structure determined by the distribution itself. At the same time, those geometries with constant sub-Riemannian symbols determine a unique Cartan connection leading to their principal invariants. We provide cohomological description of the structure of these curvature invariants in the cases where the background structure is one of the parabolic geometries. As an illustration, constant curvature models are discussed for certain sub-Riemannian geometries. △ Less

Submitted 4 October, 2018; v1 submitted 29 December, 2017; originally announced December 2017.

Comments: The second version reflected comments from the reviewing process. Introduction and parts of exposition are extended, some proofs made more precise. Paper accepted in Journal of Geometry adn Physics

MSC Class: 53C17; 17B56; 58A15

Cohomogeneity one Kahler and Kahler-Einstein manifolds with one singular orbit, I

Authors: Dmitri Alekseevsky, Fabio Zuddas

Abstract: Let $M$ be a cohomogeneity one manifold of a compact semisimple Lie group $G$ with one singular orbit $S_0 = G/H$. Then $M$ is $G$- diffeomorphic to the total space $G \times_H V$ of the homogeneous vector bundle over $S_0$ defined by a sphere transitive representation of $G$ in a vector space $V$. We describe all such manifolds $M$ which admit an invariant Kahler structure of standard type. This… ▽ More Let $M$ be a cohomogeneity one manifold of a compact semisimple Lie group $G$ with one singular orbit $S_0 = G/H$. Then $M$ is $G$- diffeomorphic to the total space $G \times_H V$ of the homogeneous vector bundle over $S_0$ defined by a sphere transitive representation of $G$ in a vector space $V$. We describe all such manifolds $M$ which admit an invariant Kahler structure of standard type. This means that the restriction $μ: S = Gx = G/L \rightarrow F = G/K$ of the moment map of $M$ to a regular orbit $S = G/L$ is a holomorphic map of $S$ with the induced CR structure onto a flag manifold $F = G/K$, where $K = N_G(L)$, endowed with an invariant complex structure $J^F$ . We describe all such standard Kahler cohomogeneity one manifolds in terms of the painted Dynkin diagram associated with $(F=G/K; J^F)$ and a parametrized interval in some T-Weyl chamber. We determine which of these manifolds admit invariant Kahler-Einstein metrics. △ Less

Submitted 20 November, 2016; originally announced November 2016.

Lorentzian manifolds with transitive conformal group

Authors: Dmitri V. Alekseevsky

Abstract: We study pseudo-Riemanniasn manifolds $(M,g)$ with transitive group of conformal transformation which is essential, i.e. does not preserves any metric conformal to $g$. All such manifolds of Lorentz signature with non exact isotropy representation of the stability subalgebra are described. A construction of essential conformally homogeneous manifolds with exact isotropy represenatation is given. U… ▽ More We study pseudo-Riemanniasn manifolds $(M,g)$ with transitive group of conformal transformation which is essential, i.e. does not preserves any metric conformal to $g$. All such manifolds of Lorentz signature with non exact isotropy representation of the stability subalgebra are described. A construction of essential conformally homogeneous manifolds with exact isotropy represenatation is given. Using spinor formalism, we prove that it provides all 4-dimensional non conformally flat Lorentzian 4-dimensional manifolds with transitive essentially conformal group. △ Less

Submitted 10 November, 2016; originally announced November 2016.

Comments: 12 pages

Lowest degree invariant 2nd order PDEs over rational homogeneous contact manifolds

Authors: Dmitri V. Alekseevsky, Jan Gutt, Gianni Manno, Giovanni Moreno

Abstract: For each simple Lie algebra $\mathfrak{g}$ (excluding, for trivial reasons, type ${\sf C}$) we find the lowest possible degree of an invariant second-order PDE over the adjoint variety in $\mathbb{P}\mathfrak{g}$, a homogeneous contact manifold. Here a PDE $F(x^i,u,u_i,u_{ij})=0$ has degree $\le d$ if $F$ is a polynomial of degree $\le d$ in the minors of $(u_{ij})$, with coefficients functions of… ▽ More For each simple Lie algebra $\mathfrak{g}$ (excluding, for trivial reasons, type ${\sf C}$) we find the lowest possible degree of an invariant second-order PDE over the adjoint variety in $\mathbb{P}\mathfrak{g}$, a homogeneous contact manifold. Here a PDE $F(x^i,u,u_i,u_{ij})=0$ has degree $\le d$ if $F$ is a polynomial of degree $\le d$ in the minors of $(u_{ij})$, with coefficients functions of the contact coordinates $x^i$, $u$, $u_i$ (e.g., Monge-Ampère equations have degree 1). For $\mathfrak{g}$ of type ${\sf A}$ or ${\sf G}$ we show that this gives all invariant second-order PDEs. For $\mathfrak{g}$ of type ${\sf B}$ and ${\sf D}$ we provide an explicit formula for the lowest-degree invariant second-order PDEs. For $\mathfrak{g}$ of type ${\sf E}$ and ${\sf F}$ we prove uniqueness of the lowest-degree invariant second-order PDE; we also conjecture that uniqueness holds in type ${\sf D}$. △ Less

Submitted 2 October, 2017; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: to appear on "Communications in Contemporary Mathematics", 28 pages, extended and revised version of the original "Homogeneous 2nd order PDEs on the adjoint contact manifold of a simple complex Lie group"

MSC Class: 35A30; 58J70; 53C30; 53D10; 17B08; 17B10

Prolongation of Tanaka structures: an alternative approach

Authors: Dmitri V. Alekseevsky, Liana David

Abstract: The classical theory of prolongation of G-structures was generalized by N. Tanaka to a wide class of geometric structures (Tanaka structures), which are defined on a non-holonomic distribution. Examples of Tanaka structures include subriemannian, subconformal, CR-structures, structures associated to second order differential equations and structures defined by gradings of Lie algebras (in the sett… ▽ More The classical theory of prolongation of G-structures was generalized by N. Tanaka to a wide class of geometric structures (Tanaka structures), which are defined on a non-holonomic distribution. Examples of Tanaka structures include subriemannian, subconformal, CR-structures, structures associated to second order differential equations and structures defined by gradings of Lie algebras (in the setting of parabolic geometry). Tanaka's prolongation procedure associates to a Tanaka structure of finite order a manifold with an absolute parallelism. It is a very fruitful method for the description of local invariants, investigation of the automorphism group and the equivalence problem. In this paper we develop an alternative constructive approach for Tanaka's prolongation procedure, based on the theory of quasi-gradations in filtered vector spaces, G-structures and their torsion functions. △ Less

Submitted 19 August, 2016; v1 submitted 2 March, 2016; originally announced March 2016.

Comments: 28 pages, minor changes, one reference added

Spin structures on compact homogeneous pseudo-Riemannian manifolds

Authors: Dmitri V. Alekseevsky, Ioannis Chrysikos

Abstract: We study spin structures on compact simply-connected homogeneous pseudo-Riemannian manifolds (M = G/H, g) of a compact semisimple Lie group G. We classify flag manifolds F = G/H of a compact simple Lie group which are spin. This yields also the classification of all flag manifolds carrying an invariant metaplectic structure. Then we investigate spin structures on principal torus bundles over flag… ▽ More We study spin structures on compact simply-connected homogeneous pseudo-Riemannian manifolds (M = G/H, g) of a compact semisimple Lie group G. We classify flag manifolds F = G/H of a compact simple Lie group which are spin. This yields also the classification of all flag manifolds carrying an invariant metaplectic structure. Then we investigate spin structures on principal torus bundles over flag manifolds, i.e. C-spaces, or equivalently simply-connected homogeneous complex manifolds M=G/L of a compact semisimple Lie group G. We study the topology of M and we provide a sufficient and necessary condition for the existence of an (invariant) spin structure, in terms of the Koszul form of F. We also classify all C-spaces which are fibered over an exceptional spin flag manifold and hence they are spin. △ Less

Submitted 17 December, 2016; v1 submitted 25 February, 2016; originally announced February 2016.

MSC Class: 53C10; 53C30; 53C50; 53D05

Journal ref: Transformation Groups (2019) 24, 659

Homogeneous irreducible supermanifolds and graded Lie superalgebras

Authors: D. V. Alekseevsky, A. Santi

Abstract: A depth one grading $\mathfrak{g}= \mathfrak{g}^{-1}\oplus \mathfrak{g}^0 \oplus \mathfrak{g}^1 \oplus \cdots \oplus \mathfrak{g}^{\ell}$ of a finite dimensional Lie superalgebra $\mathfrak{g}$ is called nonlinear irreducible if the isotropy representation $\mathrm{ad}_{\mathfrak{g}^0}|_{\mathfrak{g}^{-1}}$ is irreducible and $\mathfrak{g}^1 \neq (0)$. An example is the full prolongation of an irr… ▽ More A depth one grading $\mathfrak{g}= \mathfrak{g}^{-1}\oplus \mathfrak{g}^0 \oplus \mathfrak{g}^1 \oplus \cdots \oplus \mathfrak{g}^{\ell}$ of a finite dimensional Lie superalgebra $\mathfrak{g}$ is called nonlinear irreducible if the isotropy representation $\mathrm{ad}_{\mathfrak{g}^0}|_{\mathfrak{g}^{-1}}$ is irreducible and $\mathfrak{g}^1 \neq (0)$. An example is the full prolongation of an irreducible linear Lie superalgebra $\mathfrak{g}^0 \subset \mathfrak{gl}(\mathfrak{g}^{-1})$ of finite type with non-trivial first prolongation. We prove that a complex Lie superalgebra $\mathfrak{g}$ which admits a depth one transitive nonlinear irreducible grading is a semisimple Lie superalgebra with the socle $\mathfrak{s}\otimes Λ(\mathbb{C}^n)$, where $\mathfrak{s}$ is a simple Lie superalgebra, and we describe such gradings. The graded Lie superalgebra $\mathfrak{g}$ defines an isotropy irreducible homogeneous supermanifold $M=G/G_0$ where $G$, $G_0$ are Lie supergroups respectively associated with the Lie superalgebras $\mathfrak{g}$ and $\mathfrak{g}_0 := \bigoplus_{p\geq 0} \mathfrak{g}^p$. △ Less

Submitted 26 October, 2016; v1 submitted 22 November, 2015; originally announced November 2015.

Comments: 28 pages, 8 Tables (v2: acknowledgments updated, final version to be published in IMRN)

MSC Class: 17B66; 17B20; 58A50

Journal ref: Int. Math. Res. Not. IMRN 4 (2018), 1045--1079

Tanaka structures (non holonomic G-structures) and Cartan connections

Authors: Dmitri V. Alekseevsky, Liana David

Abstract: Let \gh = \gh_{-k}\oplus \cdots \oplus \gh_{l} (k >0, l \geq 0) be a finite dimensional real graded Lie algebra, with a Euclidian metric \langle \cdot , \cdot \rangle adapted to the gradation. The metric \langle\cdot , \cdot \rangle is called admissible if the codifferentials \partial^{*} : C^{k+1}(\gh_{-}, \gh ) \ra C^{k} (\gh_{-}, \gh) (k\geq 0) are Ad_{Q}-invariant (Lie(Q) = \gh_{0}\oplus \gh_{… ▽ More Let \gh = \gh_{-k}\oplus \cdots \oplus \gh_{l} (k >0, l \geq 0) be a finite dimensional real graded Lie algebra, with a Euclidian metric \langle \cdot , \cdot \rangle adapted to the gradation. The metric \langle\cdot , \cdot \rangle is called admissible if the codifferentials \partial^{*} : C^{k+1}(\gh_{-}, \gh ) \ra C^{k} (\gh_{-}, \gh) (k\geq 0) are Ad_{Q}-invariant (Lie(Q) = \gh_{0}\oplus \gh_{+}). We find necessary and sufficient conditions for a Euclidian metric, adapted to the gradation, to be admissible, and we develop a theory of normal Cartan connections, when these conditions are satisfied. We show how the treatment by A. Cap and J. Slovak (Parabolic Geometry I, Mathematical Surveys and Monographs, vol. 154, 2009), about normal Cartan connections of semisimple type, fits into our theory. We also consider in some detail the case when \gh = t^{*} (\gg ) is the cotangent Lie algebra of a non-positively graded Lie algebra \gg. △ Less

Submitted 1 February, 2015; v1 submitted 30 September, 2014; originally announced September 2014.

Comments: 24 pages; minor corrections with respect to the previous version

Homogeneous locally conformally Kaehler and Sasaki manifolds

Authors: Dmitri V. Alekseevsky, Vicente Cortes, Keizo Hasegawa, Yoshinobu Kamishima

Abstract: We prove various classification results for homogeneous locally conformally symplectic manifolds. In particular, we show that a homogeneous locally conformally Kaehler manifold of a reductive group is of Vaisman type, if the normalizer of the isotropy group is compact. We also show that such a result does not hold in the case of noncompact normalizer and determine all left-invariant locally confor… ▽ More We prove various classification results for homogeneous locally conformally symplectic manifolds. In particular, we show that a homogeneous locally conformally Kaehler manifold of a reductive group is of Vaisman type, if the normalizer of the isotropy group is compact. We also show that such a result does not hold in the case of noncompact normalizer and determine all left-invariant locally conformally Kaehler structures on reductive Lie groups. △ Less

Submitted 19 February, 2015; v1 submitted 13 March, 2014; originally announced March 2014.

Comments: 33 pages

Journal ref: International Journal of Mathematics, Vol. 26 (06), 1-29 (2015)

Homogeneous almost complex structures in dimension 6 with semi-simple isotropy

Authors: Dmitri V. Alekseevsky, Boris Kruglikov, Henrik Winther

Abstract: We classify invariant almost complex structures on homogeneous manifolds of dimension 6 with semi-simple isotropy. Those with non-degenerate Nijenhuis tensor have the automorphism group of dimension either 14 or 9. An invariant almost complex structure with semi-simple isotropy is necessarily either of specified 6 homogeneous types or a left-invariant structure on a Lie group. For integrable invar… ▽ More We classify invariant almost complex structures on homogeneous manifolds of dimension 6 with semi-simple isotropy. Those with non-degenerate Nijenhuis tensor have the automorphism group of dimension either 14 or 9. An invariant almost complex structure with semi-simple isotropy is necessarily either of specified 6 homogeneous types or a left-invariant structure on a Lie group. For integrable invariant almost complex structures we classify all compatible invariant Hermitian structures on these homogeneous manifolds, indicate their integrability properties (Kahler, SNK, SKT) and mark the other interesting geometric properties (including the Gray-Hervella type). △ Less

Submitted 12 February, 2014; v1 submitted 31 January, 2014; originally announced January 2014.

Comments: A correction and a remark are added to GH-types. Two more references are added. Ancillary files are unzipped

Quaternionic Kähler metrics associated with special Kähler manifolds

Authors: Dmitri V. Alekseevsky, Vicente Cortés, Malte Dyckmanns, Thomas Mohaupt

Abstract: We give an explicit formula for the quaternionic Kähler metrics obtained by the HK/QK correspondence. As an application, we give a new proof of the fact that the Ferrara-Sabharwal metric as well as its one-loop deformation is quaternionic Kähler. A similar explicit formula is given for the analogous (K/K) correspondence between Kähler manifolds endowed with a Hamiltonian Killing vector field. As a… ▽ More We give an explicit formula for the quaternionic Kähler metrics obtained by the HK/QK correspondence. As an application, we give a new proof of the fact that the Ferrara-Sabharwal metric as well as its one-loop deformation is quaternionic Kähler. A similar explicit formula is given for the analogous (K/K) correspondence between Kähler manifolds endowed with a Hamiltonian Killing vector field. As an example, we apply this formula in the case of an arbitrary conical Kähler manifold. △ Less

Submitted 30 March, 2015; v1 submitted 15 May, 2013; originally announced May 2013.

Comments: 30 pages, appendix extended, final version published in JGP

MSC Class: 53C26

Journal ref: J. Geom. Phys. 92 (2015) 271-287

Conification of Kähler and hyper-Kähler manifolds

Authors: Dmitri V. Alekseevsky, Vicente Cortés, Thomas Mohaupt

Abstract: Given a Kähler manifold $M$ endowed with a Hamiltonian Killing vector field $Z$, we construct a conical Kähler manifold $\hat{M}$ such that $M$ is recovered as a Kähler quotient of $\hat{M}$. Similarly, given a hyper-Kähler manifold $(M,g,J_1,J_2,J_3)$ endowed with a Killing vector field $Z$, Hamiltonian with respect to the Kähler form of $J_1$ and satisfying $\mathcal{L}_ZJ_2= -2J_3$, we construc… ▽ More Given a Kähler manifold $M$ endowed with a Hamiltonian Killing vector field $Z$, we construct a conical Kähler manifold $\hat{M}$ such that $M$ is recovered as a Kähler quotient of $\hat{M}$. Similarly, given a hyper-Kähler manifold $(M,g,J_1,J_2,J_3)$ endowed with a Killing vector field $Z$, Hamiltonian with respect to the Kähler form of $J_1$ and satisfying $\mathcal{L}_ZJ_2= -2J_3$, we construct a hyper-Kähler cone $\hat{M}$ such that $M$ is a certain hyper-Kähler quotient of $\hat{M}$. In this way, we recover a theorem by Haydys. Our work is motivated by the problem of relating the supergravity c-map to the rigid c-map. We show that any hyper-Kähler manifold in the image of the c-map admits a Killing vector field with the above properties. Therefore, it gives rise to a hyper-Kähler cone, which in turn defines a quaternionic Kähler manifold. Our results for the signature of the metric and the sign of the scalar curvature are consistent with what we know about the supergravity c-map. △ Less

Submitted 17 July, 2012; v1 submitted 14 May, 2012; originally announced May 2012.

Comments: conjecture replaced by reference

MSC Class: 53C26

Homogeneous Lorentzian manifolds of a semisimple group

Authors: D. V. Alekseevsky

Abstract: We describe the structure of $d$-dimensional homogeneous Lorentzian $G$-manifolds $M=G/H$ of a semisimple Lie group $G$. Due to a result by N. Kowalsky, it is sufficient to consider the case when the group $G$ acts properly, that is the stabilizer $H$ is compact. Then any homogeneous space $G/\bar H$ with a smaller group $\bar H \subset H$ admits an invariant Lorentzian metric. A homogeneous manif… ▽ More We describe the structure of $d$-dimensional homogeneous Lorentzian $G$-manifolds $M=G/H$ of a semisimple Lie group $G$. Due to a result by N. Kowalsky, it is sufficient to consider the case when the group $G$ acts properly, that is the stabilizer $H$ is compact. Then any homogeneous space $G/\bar H$ with a smaller group $\bar H \subset H$ admits an invariant Lorentzian metric. A homogeneous manifold $G/H$ with a connected compact stabilizer $H$ is called a minimal admissible manifold if it admits an invariant Lorentzian metric, but no homogeneous $G$-manifold $G/\tilde H$ with a larger connected compact stabilizer $\tilde H \supset H$ admits such a metric. We give a description of minimal homogeneous Lorentzian $n$-dimensional $G$-manifolds $M = G/H$ of a simple (compact or noncompact) Lie group $G$. For $n \leq 11$, we obtain a list of all such manifolds $M$ and describe invariant Lorentzian metrics on $M$. △ Less

Submitted 16 January, 2011; originally announced January 2011.

Two-symmetric Lorentzian manifolds

Authors: Dmitri V. Alekseevsky, Anton S. Galaev

Abstract: We classify two-symmetric Lorentzian manifolds using methods of the theory of holonomy groups. These manifolds are exhausted by a special type of pp-waves and, like the symmetric Cahen-Wallach spaces, they have commutative holonomy. We classify two-symmetric Lorentzian manifolds using methods of the theory of holonomy groups. These manifolds are exhausted by a special type of pp-waves and, like the symmetric Cahen-Wallach spaces, they have commutative holonomy. △ Less

Submitted 18 August, 2011; v1 submitted 15 November, 2010; originally announced November 2010.

Comments: 11 pages, the final version

MSC Class: 53C29; 53C35; 53C50

Journal ref: Journal of Geometry and Physics 61 (2011) 2331--2340

Invariant generalized complex structures on Lie groups

Authors: Dmitri V. Alekseevsky, Liana David

Abstract: We describe a class (called regular) of invariant generalized complex structures on a real semisimple Lie group G. The problem reduces to the description of admissible pairs (\gk, ω), where \gk is an appropriate regular subalgebra of the complex Lie algebra \gg^{C} associated to G and ωis a closed 2-form on \gk, such that a non-degeneracy condition holds. In the case when G is a semisimple Lie g… ▽ More We describe a class (called regular) of invariant generalized complex structures on a real semisimple Lie group G. The problem reduces to the description of admissible pairs (\gk, ω), where \gk is an appropriate regular subalgebra of the complex Lie algebra \gg^{C} associated to G and ωis a closed 2-form on \gk, such that a non-degeneracy condition holds. In the case when G is a semisimple Lie group of inner type (in particular, when G is compact) a classification of regular generalized complex structures on G is given. We show that any invariant generalized complex structure on a compact semisimple Lie group G is regular, provided that an additional natural condition holds. In the case when G is a semisimple Lie group of outer type, we describe the subalgebras \gk in terms of appropriate root subsystems of a root system of \gg^{C} and we construct a large class of admissible pairs (\gk ,ω) (hence, regular generalized complex structures on G). △ Less

Submitted 25 February, 2012; v1 submitted 6 September, 2010; originally announced September 2010.

Comments: 38 pages; abstract changed; one reference added; other minor modifications

Contact geometry of multidimensional Monge-Ampère equations: characteristics, intermediate integrals and solutions

Authors: Dmitri Alekseevsky, Ricardo Alonso-Blanco, Gianni Manno, Fabrizio Pugliese

Abstract: We study the geometry of multidimensional scalar $2^{nd}$ order PDEs (i.e. PDEs with $n$ independent variables) with one unknown function, viewed as hypersurfaces $\mathcal{E}$ in the Lagrangian Grassmann bundle $M^{(1)}$ over a $(2n+1)$-dimensional contact manifold $(M,\mathcal{C})$. We develop the theory of characteristics of the equation $\mathcal{E}$ in terms of contact geometry and of the geo… ▽ More We study the geometry of multidimensional scalar $2^{nd}$ order PDEs (i.e. PDEs with $n$ independent variables) with one unknown function, viewed as hypersurfaces $\mathcal{E}$ in the Lagrangian Grassmann bundle $M^{(1)}$ over a $(2n+1)$-dimensional contact manifold $(M,\mathcal{C})$. We develop the theory of characteristics of the equation $\mathcal{E}$ in terms of contact geometry and of the geometry of Lagrangian Grassmannian and study their relationship with intermediate integrals of $\mathcal{E}$. After specifying the results to general Monge-Ampère equations (MAEs), we focus our attention to MAEs of type introduced by Goursat, i.e. MAEs of the form $$ \det|\frac{\partial^2 f}{\partial x^i\partial x^j}-b_{ij}(x,f,\nabla f)\|=0. $$ We show that any MAE of the aforementioned class is associated with an $n$-dimensional subdistribution $\mathcal{D}$ of the contact distribution $\mathcal{C}$, and viceversa. We characterize this Goursat-type equations together with its intermediate integrals in terms of their characteristics and give a criterion of local contact equivalence. Finally, we develop a method of solutions of a Cauchy problem, provided the existence of a suitable number of intermediate integrals. △ Less

Submitted 26 March, 2010; originally announced March 2010.

Comments: 49 pages

MSC Class: 53D10; 35A30; 58A30; 58A17

A note about invariant SKT structures and generalized Kahler structures on flag manifolds

Authors: Dmitri V. Alekseevsky, Liana David

Abstract: We prove that any invariant strong Kahler structure with torsion (SKT structure) on a flag manifold M=G/K of a semisimple compact Lie group G is Kahler. As an application we describe invariant generalized Kahler structures on M. We prove that any invariant strong Kahler structure with torsion (SKT structure) on a flag manifold M=G/K of a semisimple compact Lie group G is Kahler. As an application we describe invariant generalized Kahler structures on M. △ Less

Submitted 25 February, 2012; v1 submitted 2 February, 2010; originally announced February 2010.

Comments: 9 pages; paper reorganized; title and abstract changed; reference [7] updated

MSC Class: 53D18

On the Geometry of Spaces of Oriented Geodesics

Authors: Dmitri V. Alekseevsky, Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: Let M be either a simply connected pseudo-Riemannian space of constant curvature or a rank one Riemannian symmetric space (other than the octonion hyperbolic plane), and consider the space L(M) of oriented geodesics of M. The space L(M) is a smooth homogeneous manifold and in this paper we describe all invariant symplectic structures, (para)complex structures, pseudo-Riemannian metrics and (para… ▽ More Let M be either a simply connected pseudo-Riemannian space of constant curvature or a rank one Riemannian symmetric space (other than the octonion hyperbolic plane), and consider the space L(M) of oriented geodesics of M. The space L(M) is a smooth homogeneous manifold and in this paper we describe all invariant symplectic structures, (para)complex structures, pseudo-Riemannian metrics and (para)Kaehler structure on L(M). △ Less

Submitted 13 November, 2009; originally announced November 2009.

Comments: 29 pages LaTEX

MSC Class: 53A25 (Primary); 53B35 (Secondary)

Journal ref: Ann. Global Anal. Geom. 40 (2011) 389--409, and Erratum: Ann. Global Anal. Geom. 50 (2016) 97--99

Rolling of Coxeter polyhedra along mirrors

Authors: Dmitri V. Alekseevsky, Peter W. Michor, Yurii A. Neretin

Abstract: The topic of the paper are developments of $n$-dimensional Coxeter polyhedra. We show that the surface of such polyhedron admits a canonical cutting such that each piece can be covered by a Coxeter $(n-1)$-dimensional domain. The topic of the paper are developments of $n$-dimensional Coxeter polyhedra. We show that the surface of such polyhedron admits a canonical cutting such that each piece can be covered by a Coxeter $(n-1)$-dimensional domain. △ Less

Submitted 20 July, 2009; originally announced July 2009.

Comments: 20pages, 15 figures

Report number: ESI-2155 MSC Class: 51F15; 53C20; 20F55; 22E40

Journal ref: Geometric Methods in Physics, XXXI Workshop Białowieża, Poland, Birkhauser (2013), 67-86

Compact Riemannian Manifolds with Homogeneous Geodesics

Authors: D. V. Alekseevsky, Yu. G. Nikonorov

Abstract: A homogeneous Riemannian space $(M= G/H,g)$ is called a geodesic orbit space (shortly, GO-space) if any geodesic is an orbit of one-parameter subgroup of the isometry group $G$. We study the structure of compact GO-spaces and give some sufficient conditions for existence and non-existence of an invariant metric $g$ with homogeneous geodesics on a homogeneous space of a compact Lie group $G$. We… ▽ More A homogeneous Riemannian space $(M= G/H,g)$ is called a geodesic orbit space (shortly, GO-space) if any geodesic is an orbit of one-parameter subgroup of the isometry group $G$. We study the structure of compact GO-spaces and give some sufficient conditions for existence and non-existence of an invariant metric $g$ with homogeneous geodesics on a homogeneous space of a compact Lie group $G$. We give a classification of compact simply connected GO-spaces $(M = G/H,g)$ of positive Euler characteristic. If the group $G$ is simple and the metric $g$ does not come from a bi-invariant metric of $G$, then $M$ is one of the flag manifolds $M_1=SO(2n+1)/U(n)$ or $M_2= Sp(n)/U(1)\cdot Sp(n-1)$ and $g$ is any invariant metric on $M$ which depends on two real parameters. In both cases, there exists unique (up to a scaling) symmetric metric $g_0$ such that $(M,g_0)$ is the symmetric space $M = SO(2n+2)/U(n+1)$ or, respectively, $\mathbb{C}P^{2n-1}$. The manifolds $M_1$, $M_2$ are weakly symmetric spaces. △ Less

Submitted 30 September, 2009; v1 submitted 22 April, 2009; originally announced April 2009.

MSC Class: 53C20 (Primary); 53C25; 53C35 (Secondary)

Journal ref: SIGMA 5 (2009), 093, 16 pages

On pseudo-Riemannian manifolds with many Killing spinors

Authors: D. V. Alekseevsky, V. Cortés

Abstract: Let $M$ be a pseudo-Riemannian spin manifold of dimension $n$ and signature $s$ and denote by $N$ the rank of the real spinor bundle. We prove that $M$ is locally homogeneous if it admits more than ${3/4}N$ independent Killing spinors with the same Killing number, unless $n\equiv 1 \pmod 4$ and $s\equiv 3 \pmod 4$. We also prove that $M$ is locally homogeneous if it admits $k_+$ independent Kill… ▽ More Let $M$ be a pseudo-Riemannian spin manifold of dimension $n$ and signature $s$ and denote by $N$ the rank of the real spinor bundle. We prove that $M$ is locally homogeneous if it admits more than ${3/4}N$ independent Killing spinors with the same Killing number, unless $n\equiv 1 \pmod 4$ and $s\equiv 3 \pmod 4$. We also prove that $M$ is locally homogeneous if it admits $k_+$ independent Killing spinors with Killing number $λ$ and $k_-$ independent Killing spinors with Killing number $-λ$ such that $k_++k_->{3/2}N$, unless $n\equiv s\equiv 3\pmod 4$. Similarly, a pseudo-Riemannian manifold with more than ${3/4}N$ independent \emph{conformal} Killing spinors is \emph{conformally} locally homogeneous. For (positive or negative) definite metrics, the bounds ${3/4}N$ and ${3/2}N$ in the above results can be relaxed to ${1/2}N$ and $N$, respectively. Furthermore, we prove that a pseudo-Riemannnian spin manifold with more than ${3/4}N$ parallel spinors is flat and that ${1/4}N$ parallel spinors suffice if the metric is definite. Similarly, a Riemannnian spin manifold with more than ${3/8}N$ Killing spinors with the Killing number $λ\in \bR$ has constant curvature $4λ^2$. For Lorentzian or negative definite metrics the same is true with the bound ${1/2}N$. Finally, we give a classification of (not necessarily complete) Riemannian manifolds admitting Killing spinors, which provides an inductive construction of such manifolds. △ Less

Submitted 26 February, 2009; originally announced February 2009.

MSC Class: 53C27; 53C50

Journal ref: AIP Conference Proceedings Vol. 1093, Special Metrics and Supersymmetry: Proceedings of the Workshop on Geometry and Physics (Bilbao, 2008), Eds. O.J. Garay, M. Fernández, L.C. de Andrés, L. Ugarte

Geometric construction of the r-map: from affine special real to special Kähler manifolds

Authors: Dmitri V. Alekseevsky, Vicente Cortés

Abstract: We give an intrinsic definition of (affine very) special real manifolds and realise any such manifold $M$ as a domain in affine space equipped with a metric which is the Hessian of a cubic polynomial. We prove that the tangent bundle $N=TM$ carries a canonical structure of (affine) special Kähler manifold. This gives an intrinsic description of the $r$-map as the map $M\mapsto N=TM$. On the phys… ▽ More We give an intrinsic definition of (affine very) special real manifolds and realise any such manifold $M$ as a domain in affine space equipped with a metric which is the Hessian of a cubic polynomial. We prove that the tangent bundle $N=TM$ carries a canonical structure of (affine) special Kähler manifold. This gives an intrinsic description of the $r$-map as the map $M\mapsto N=TM$. On the physics side, this map corresponds to the dimensional reduction of rigid vector multiplets from 5 to 4 space-time dimensions. We generalise this construction to the case when $M$ is any Hessian manifold. △ Less

Submitted 11 November, 2008; originally announced November 2008.

MSC Class: 53C26; 53A15; 81T60

Maximally homogeneous para-CR manifolds of semisimple type

Authors: Dmitri V. Alekseevsky, Costantino Medori, Adriano Tomassini

Abstract: An almost para-CR structure on a manifold $M$ is given by a distribution $HM \subset TM$ together with a field $K \in Γ({\rm End}(HM))$ of involutive endomorphisms of $HM$. If $K$ satisfies an integrability condition, then $(HM,K)$ is called a para-CR structure. The notion of maximally homogeneous para-CR structure of a semisimple type is given. A classification of such maximally homogeneous par… ▽ More An almost para-CR structure on a manifold $M$ is given by a distribution $HM \subset TM$ together with a field $K \in Γ({\rm End}(HM))$ of involutive endomorphisms of $HM$. If $K$ satisfies an integrability condition, then $(HM,K)$ is called a para-CR structure. The notion of maximally homogeneous para-CR structure of a semisimple type is given. A classification of such maximally homogeneous para-CR structures is given in terms of appropriate gradations of real semisimple Lie algebras. △ Less

Submitted 4 August, 2008; originally announced August 2008.

Homogeneous para-Kähler Einstein manifolds

Authors: Dmitri V. Alekseevsky, Costantino Medori, Adriano Tomassini

Abstract: A para-Kähler manifold can be defined as a pseudo-Riemannian manifold $(M,g)$ with a parallel skew-symmetric para-complex structures $K$, i.e. a parallel field of skew-symmetric endomorphisms with $ K^2 = \mathrm{Id} $ or, equivalently, as a symplectic manifold $(M,ω)$ with a bi-Lagrangian structure $L^\pm$, i.e. two complementary integrable Lagrangian distributions. A homogeneous manifold… ▽ More A para-Kähler manifold can be defined as a pseudo-Riemannian manifold $(M,g)$ with a parallel skew-symmetric para-complex structures $K$, i.e. a parallel field of skew-symmetric endomorphisms with $ K^2 = \mathrm{Id} $ or, equivalently, as a symplectic manifold $(M,ω)$ with a bi-Lagrangian structure $L^\pm$, i.e. two complementary integrable Lagrangian distributions. A homogeneous manifold $M = G/H$ of a semisimple Lie group $G$ admits an invariant para-Kähler structure $(g,K)$ if and only if it is a covering of the adjoint orbit $\mathrm{Ad}_Gh$ of a semisimple element $h.$ We give a description of all invariant para-Kähler structures $(g,K)$ on a such homogeneous manifold. Using a para-complex analogue of basic formulas of Kähler geometry, we prove that any invariant para-complex structure $K$ on $M = G/H$ defines a unique para-Kähler Einstein structure $(g,K)$ with given non-zero scalar curvature. An explicit formula for the Einstein metric $g$ is given. A survey of recent results on para-complex geometry is included. △ Less

Submitted 23 December, 2008; v1 submitted 13 June, 2008; originally announced June 2008.

Comments: 44 pages

MSC Class: 53C15; 53C56

Cones over pseudo-Riemannian manifolds and their holonomy

Authors: D. V. Alekseevsky, V. Cortés, A. Galaev, T. Leistner

Abstract: By a classical theorem of Gallot (1979), a Riemannian cone over a complete Riemannian manifold is either flat or has irreducible holonomy. We consider metric cones with reducible holonomy over pseudo-Riemannian manifolds. First we describe the local structure of the base of the cone when the holonomy of the cone is decomposable. For instance, we find that the holonomy algebra of the base is alwa… ▽ More By a classical theorem of Gallot (1979), a Riemannian cone over a complete Riemannian manifold is either flat or has irreducible holonomy. We consider metric cones with reducible holonomy over pseudo-Riemannian manifolds. First we describe the local structure of the base of the cone when the holonomy of the cone is decomposable. For instance, we find that the holonomy algebra of the base is always the full pseudo-orthogonal Lie algebra. One of the global results is that a cone over a compact and complete pseudo-Riemannian manifold is either flat or has indecomposable holonomy. Then we analyse the case when the cone has indecomposable but reducible holonomy, which means that it admits a parallel isotropic distribution. This analysis is carried out, first in the case where the cone admits two complementary distributions and, second for Lorentzian cones. We show that the first case occurs precisely when the local geometry of the base manifold is para-Sasakian and that of the cone is para-Kählerian. For Lorentzian cones we get a complete description of the possible (local) holonomy algebras in terms of the metric of the base manifold. △ Less

Submitted 25 July, 2007; v1 submitted 20 July, 2007; originally announced July 2007.

Comments: 47 pages, typos corrected, keywords and acknowledgements added

MSC Class: 53C29; 53C50

Journal ref: J. Reine Angew. Math. 635 (2009), 23-69

Pseudo-conformal quaternionic CR structure on (4n+3)-dimensional manifolds

Authors: Dmitri Alekseevsky, Yoshinobu Kamishima

Abstract: The purpose of this paper is to introduce a geometric structure called pseudo-conformal quaternionic CR structure on a (4n+3)-dimensional mamnifold and then exhibit a quaternionic analogue of Chern-Moser's CR structure and uniformization. The purpose of this paper is to introduce a geometric structure called pseudo-conformal quaternionic CR structure on a (4n+3)-dimensional mamnifold and then exhibit a quaternionic analogue of Chern-Moser's CR structure and uniformization. △ Less

Submitted 24 February, 2005; originally announced February 2005.

MSC Class: 53C55; 57S25; 51M10

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.

Comments: 41 pages, minor corrections

Report number: KUL-TF-03/16

Journal ref: Commun.Math.Phys. 253 (2004) 385-422