Showing 1–33 of 33 results for author: Doubrov, B

Extrinsic geometry and linear differential equations of $\mathfrak{sl}_3$-type

Authors: Boris Doubrov, Tohru Morimoto

Abstract: As an application of the general theory on extrinsic geometry, we investigate extrinsic geometry in frag varieties and systems of linear PDE's for a class of special interest associated with the adjoint representation of $\mathfrak{sl}(3)$. We carry out a complete local classification of the homogeneous structures in this class. As a result, we find 7 kinds of new systems of linear PDE's of second… ▽ More As an application of the general theory on extrinsic geometry, we investigate extrinsic geometry in frag varieties and systems of linear PDE's for a class of special interest associated with the adjoint representation of $\mathfrak{sl}(3)$. We carry out a complete local classification of the homogeneous structures in this class. As a result, we find 7 kinds of new systems of linear PDE's of second order on a 3-dimensional contact manifold each of which has a solution space of dimension 8. Among them there are included a system of PDE's called contact Cayley's surface and one which has $\mathfrak{sl}(2)$ symmetry. △ Less

Submitted 15 August, 2023; v1 submitted 11 August, 2023; originally announced August 2023.

Comments: 34 pages, v2: Updated URL to Maple files

MSC Class: 53A55; 53C24 (Primary) 53C30; 53D10 (Secondary)

Classification of simply-transitive Levi non-degenerate hypersurfaces in $\mathbb{C}^3$

Authors: Boris Doubrov, Joël Merker, Dennis The

Abstract: Holomorphically homogeneous CR real hypersurfaces $M^3 \subset \mathbb{C}^2$ were classified by Élie Cartan in 1932. In the next dimension, we complete the classification of simply-transitive Levi non-degenerate hypersurfaces $M^5 \subset \mathbb{C}^3$ using a novel Lie algebraic approach independent of any earlier classifications of abstract Lie algebras. Central to our approach is a new coordina… ▽ More Holomorphically homogeneous CR real hypersurfaces $M^3 \subset \mathbb{C}^2$ were classified by Élie Cartan in 1932. In the next dimension, we complete the classification of simply-transitive Levi non-degenerate hypersurfaces $M^5 \subset \mathbb{C}^3$ using a novel Lie algebraic approach independent of any earlier classifications of abstract Lie algebras. Central to our approach is a new coordinate-free formula for the fundamental (complexified) quartic tensor. Our final result has a unique (Levi-indefinite) non-tubular model, for which we demonstrate geometric relations to planar equi-affine geometry. △ Less

Submitted 8 May, 2021; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 31 pages, 2 figures

MSC Class: Primary: 32V40; 17B66; 53A55; Secondary: 53C30; 57M60; 35B06; 53A15

Vector distributions with very large symmetries via rational normal curves

Authors: Boris Doubrov, Igor Zelenko

Abstract: We construct a sequence of rank 3 distributions on $n$-dimensional manifolds for any $n\geq 7$ such that the dimension of their symmetry group grows exponentially in $n$ (more precisely it is equal to $\operatorname{Fib}_{n-1}+n+2$, where $\operatorname{Fib}_n$ is the $n$-th Fibonacci number, starting with $\operatorname{Fib}_1=\operatorname{Fib}_2=1$) and such that the maximal order of weighted j… ▽ More We construct a sequence of rank 3 distributions on $n$-dimensional manifolds for any $n\geq 7$ such that the dimension of their symmetry group grows exponentially in $n$ (more precisely it is equal to $\operatorname{Fib}_{n-1}+n+2$, where $\operatorname{Fib}_n$ is the $n$-th Fibonacci number, starting with $\operatorname{Fib}_1=\operatorname{Fib}_2=1$) and such that the maximal order of weighted jet needed to determine these symmetries grows quadratically in $n$. These examples are in sharp contrast with the parabolic geometries where the dimension of a symmetry group grows polynomially with respect to the dimension of the ambient manifold and the corresponding maximal order of weighted jet space is equal to the degree of nonholonomy of the underlying distribution plus $1$. Our models are closely related to the geometry of certain curves of symplectic flags and of the rational normal curves. △ Less

Submitted 15 April, 2020; originally announced April 2020.

Comments: 18 pages

MSC Class: 58A30; 14M15; 70G65; 35B06

Extrinsic Geometry and Linear Differential Equations

Authors: Boris Doubrov, Yoshinori Machida, Tohru Morimoto

Abstract: We give a unified method for the general equivalence problem of extrinsic geometry, on the basis of our formulation of a general extrinsic geometry as that of an osculating map $\varphi\colon (M,\mathfrak f) \to L/L^0 \subset \operatorname{Flag}(V,φ)$ from a filtered manifold $(M,\mathfrak f)$ to a homogeneous space $L/L^0$ in a flag variety $\operatorname{Flag}(V,φ)$, where $L$ is a finite-dimens… ▽ More We give a unified method for the general equivalence problem of extrinsic geometry, on the basis of our formulation of a general extrinsic geometry as that of an osculating map $\varphi\colon (M,\mathfrak f) \to L/L^0 \subset \operatorname{Flag}(V,φ)$ from a filtered manifold $(M,\mathfrak f)$ to a homogeneous space $L/L^0$ in a flag variety $\operatorname{Flag}(V,φ)$, where $L$ is a finite-dimensional Lie group and $L^0$ its closed subgroup. We establish an algorithm to obtain the complete systems of invariants for the osculating maps which satisfy the reasonable regularity condition of constant symbol of type $(\mathfrak g_-, \operatorname{gr} V, L)$. We show the categorical isomorphism between the extrinsic geometries in flag varieties and the (weighted) involutive systems of linear differential equations of finite type. Therefore we also obtain a complete system of invariants for a general involutive systems of linear differential equations of finite type and of constant symbol. The invariants of an osculating map (or an involutive system of linear differential equations) are proved to be controlled by the cohomology group $H^1_+(\mathfrak g_-, \mathfrak l / \bar{\mathfrak g})$ which is defined algebraically from the symbol of the osculating map (resp. involutive system), and which, in many cases (in particular, if the symbol is associated with a simple Lie algebra and its irreducible representation), can be computed by the algebraic harmonic theory, and the vanishing of which gives rigidity theorems in various concrete geometries. We also extend the theory to the case when $L$ is infinite dimensional. △ Less

Submitted 17 June, 2021; v1 submitted 11 April, 2019; originally announced April 2019.

Journal ref: SIGMA 17 (2021), 061, 60 pages

Homogeneous Levi non-degenerate hypersurfaces in $\mathbb{C}^3$

Authors: Boris Doubrov, Alexandr Medvedev, Dennis The

Abstract: We classify all (locally) homogeneous Levi non-degenerate real hypersurfaces in $\mathbb{C}^3$ with symmetry algebra of dimension $\geq 6$. We classify all (locally) homogeneous Levi non-degenerate real hypersurfaces in $\mathbb{C}^3$ with symmetry algebra of dimension $\geq 6$. △ Less

Submitted 7 November, 2017; originally announced November 2017.

Comments: 30 pages

MSC Class: 32V40 (Primary); 32V05; 58J70; 53A15 (Secondary)

Journal ref: Mathematische Zeitschrift (2020)

On C-class equations

Authors: Andreas Cap, Boris Doubrov, Dennis The

Abstract: The concept of a C-class of differential equations goes back to E. Cartan with the upshot that generic equations in a C-class can be solved without integration. While Cartan's definition was in terms of differential invariants being first integrals, all results exhibiting C-classes that we are aware of are based on the fact that a canonical Cartan geometry associated to the equations in the class… ▽ More The concept of a C-class of differential equations goes back to E. Cartan with the upshot that generic equations in a C-class can be solved without integration. While Cartan's definition was in terms of differential invariants being first integrals, all results exhibiting C-classes that we are aware of are based on the fact that a canonical Cartan geometry associated to the equations in the class descends to the space of solutions. For sufficiently low orders, these geometries belong to the class of parabolic geometries and the results follow from the general characterization of geometries descending to a twistor space. In this article we answer the question of whether a canonical Cartan geometry descends to the space of solutions in the case of scalar ODEs of order at least four and of systems of ODEs of order at least three. As in the lower order cases, this is characterized by the vanishing of the generalized Wilczynski invariants, which are defined via the linearization at a solution. The canonical Cartan geometries (which are not parabolic geometries) are a slight variation of those available in the literature based on a recent general construction. All the verifications needed to apply this construction for the classes of ODEs we study are carried out in the article, which thus also provides a complete alternative proof for the existence of canonical Cartan connections associated to higher order (systems of) ODEs. △ Less

Submitted 23 July, 2020; v1 submitted 4 September, 2017; originally announced September 2017.

Comments: 33 pages; improved exposition around Theorem 4.1; added references to 2017 Tanaka technical reports; typos corrected

MSC Class: 53C10; 53C15; 53B15; 34C14 (Primary); 34A34; 53A40; 53A55 (Secondary)

Journal ref: Comm. Anal. Geom. 30 (2022), no. 10, 2231-2266

Integrable systems in 4D associated with sixfolds in Gr(4,6)

Authors: Boris Doubrov, Eugene Ferapontov, Boris Kruglikov, Vladimir Novikov

Abstract: Let $Gr(d,n)$ be the Grassmannian of $d$-dimensional linear subspaces of an $n$-dimensional vector space $V$. A submanifold $X\subset Gr(d, n)$ gives rise to a differential system $Σ(X)$ that governs $d$-dimensional submanifolds of $V$ whose Gaussian image is contained in $X$. We investigate a special case of this construction where $X$ is a sixfold in $Gr(4, 6)$. The corresponding system $Σ(X)$ r… ▽ More Let $Gr(d,n)$ be the Grassmannian of $d$-dimensional linear subspaces of an $n$-dimensional vector space $V$. A submanifold $X\subset Gr(d, n)$ gives rise to a differential system $Σ(X)$ that governs $d$-dimensional submanifolds of $V$ whose Gaussian image is contained in $X$. We investigate a special case of this construction where $X$ is a sixfold in $Gr(4, 6)$. The corresponding system $Σ(X)$ reduces to a pair of first-order PDEs for 2 functions of 4 independent variables. Equations of this type arise in self-dual Ricci-flat geometry. Our main result is a complete description of integrable systems $Σ(X)$. These naturally fall into two subclasses. (1) Systems of Monge-Ampère type. The corresponding sixfolds $X$ are codimension 2 linear sections of the Plücker embedding $Gr(4,6)\subset\mathbb{P}^{14}$. (2) General linearly degenerate systems. The corresponding sixfolds $X$ are the images of quadratic maps $\mathbb{P}^6- Gr(4, 6)$ given by a version of the classical construction of Chasles. We prove that integrability is equivalent to the requirement that the characteristic variety of system $Σ(X)$ gives rise to a conformal structure which is self-dual on every solution. In fact, all solutions carry hyper-Hermitian geometry. △ Less

Submitted 18 May, 2017; originally announced May 2017.

Comments: arXiv admin note: substantial text overlap with arXiv:1503.02274

Three-dimensional homogeneous spaces with non-solvable transformation groups

Authors: Boris Doubrov

Abstract: We classify all transitive actions of Lie algebras of vector fields on C^3 and R^3 up to a local equivalence and discuss why this classification can not be extended in general to the solvable case. The main technical tool is the structure of one-dimensional invariant foliations on homogeneous spaces. We classify all transitive actions of Lie algebras of vector fields on C^3 and R^3 up to a local equivalence and discuss why this classification can not be extended in general to the solvable case. The main technical tool is the structure of one-dimensional invariant foliations on homogeneous spaces. △ Less

Submitted 14 April, 2017; originally announced April 2017.

Comments: 25 pages

MSC Class: Primary: 17B66; Secondary: 17B56; 17B35; 57S20; 57S25

On a class of integrable systems of Monge-Ampère type

Authors: Boris Doubrov, Eugene Ferapontov, Boris Kruglikov, Vladimir Novikov

Abstract: We investigate a class of multi-dimensional two-component systems of Monge-Ampère type that can be viewed as generalisations of heavenly-type equations appearing in self-dual Ricci-flat geometry. Based on the Jordan-Kronecker theory of skew-symmetric matrix pencils, a classification of normal forms of such systems is obtained. All two-component systems of Monge-Ampère type turn out to be integrabl… ▽ More We investigate a class of multi-dimensional two-component systems of Monge-Ampère type that can be viewed as generalisations of heavenly-type equations appearing in self-dual Ricci-flat geometry. Based on the Jordan-Kronecker theory of skew-symmetric matrix pencils, a classification of normal forms of such systems is obtained. All two-component systems of Monge-Ampère type turn out to be integrable, and can be represented as the commutativity conditions of parameter-dependent vector fields. Geometrically, systems of Monge-Ampère type are associated with linear sections of the Grassmannians. This leads to an invariant differential-geometric characterisation of the Monge-Ampère property. △ Less

Submitted 9 January, 2017; originally announced January 2017.

Comments: arXiv admin note: text overlap with arXiv:1503.02274

On local geometry of vector distributions with given Jacobi symbols

Authors: Boris Doubrov, Igor Zelenko

Abstract: Based on the ideas of Optimal Control, we introduce the new basic characteristic of a bracket generating distribution, the Jacobi symbol. In contrast to the classical Tanaka symbol, the set of Jacobi symbols is discrete and classifiable. We give an explicit and unified algebraic procedure for the construction of the canonical frames (the structure of absolute parallelism) for all distribution with… ▽ More Based on the ideas of Optimal Control, we introduce the new basic characteristic of a bracket generating distribution, the Jacobi symbol. In contrast to the classical Tanaka symbol, the set of Jacobi symbols is discrete and classifiable. We give an explicit and unified algebraic procedure for the construction of the canonical frames (the structure of absolute parallelism) for all distribution with given Jacobi symbol. We describe all Jacobi symbols for which this procedure ends up in a finite number of steps (i.e. all Jacobi symbols of finite type) and distinguish the symplectically flat distributions with given Jacobi symbol, which in the case of finite type are the maximally symmetric distribution among all distribution with given Jacobi symbol. Also, for the most of Jacobi symbols we relate the prolongation procedure and the resulting prolongation algebra, which is the algebra of infinitesimal symmetries of the corresponding symplectically flat distribution, to the standard (in the sense of Kobayashi and Sternberg) prolongation of certain subspace in the algebra of infinitesimal symmetries of the flat (unparametrized) curve of flags associated with the Jacobi symbol. Finally, we give an upper bounds for the size of the resulting prolongation algebra in terms of certain spaces of polynomials vanishing on certain projective varieties. For some class of Jacobi symbols we are able to identify the resulting prolongation algebra with such spaces of polynomials. In this way we get the description of the prolongation algebra for all Jacobi symbols of finite type appearing in rank 2 and rank 3 distributions and also for most of such Jacobi symbols appearing in rank 4 distributions. In particular, in the case of rank 3 distributions this description is given in terms of the tangential developable and the secant varieties of a rational normal curve. △ Less

Submitted 29 October, 2016; originally announced October 2016.

Comments: 56 pages

MSC Class: 58A30; 58A17; 53A33

The geometry of second-order ordinary differential equations

Authors: Boris Doubrov, Boris Komrakov

Abstract: These are lecture notes of the Summer school on the geometry of differential equations held in Nordfjordeid, Norway in 1996. They cover geometric structures related to scalar second order ODEs, the construction of the associated Cartan connection, techniques for computing invariants of differential equations starting from the Cartan connection, recognition of symmetric 2nd order ODEs by their diff… ▽ More These are lecture notes of the Summer school on the geometry of differential equations held in Nordfjordeid, Norway in 1996. They cover geometric structures related to scalar second order ODEs, the construction of the associated Cartan connection, techniques for computing invariants of differential equations starting from the Cartan connection, recognition of symmetric 2nd order ODEs by their differential invariants and the constructive aspects of the local equivalence problem. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Comments: 53 pages

MSC Class: 53B10; 34A26

On the integrability in Grassmann geometries: integrable systems associated with fourfolds Gr(3, 5)

Authors: Boris Doubrov, Eugene Ferapontov, Boris Kruglikov, Vladimir Novikov

Abstract: We investigate dispersionless integrable systems in 3D associated with fourfolds in the Grassmannian Gr(3,5). Such systems appear in numerous applications in continuum mechanics, general relativity and differential geometry, and include such well-known examples as the dispersionless Kadomtsev-Petviashvili equation, the Boyer-Finley equation, etc. We prove the equivalence of the four different appr… ▽ More We investigate dispersionless integrable systems in 3D associated with fourfolds in the Grassmannian Gr(3,5). Such systems appear in numerous applications in continuum mechanics, general relativity and differential geometry, and include such well-known examples as the dispersionless Kadomtsev-Petviashvili equation, the Boyer-Finley equation, etc. We prove the equivalence of the four different approaches to integrability, revealing a remarkable correspondence with Einstein-Weyl geometry and the theory of GL(2,R) structures. △ Less

Submitted 9 December, 2016; v1 submitted 8 March, 2015; originally announced March 2015.

Comments: This is an elaborated version of the main part concerning dispersionless integrable systems in 3D, reflected in the title of the paper. We omitted the last two sections on systems in 4D and higher dimensional Monge-Ampere equations that will be expanded and posted in arXiv separately in the near future. These parts, as well as supplementary materials, are still accessible via arXiv:1503.02274v1

Homogeneous integrable Legendrian contact structures in dimension five

Authors: Boris Doubrov, Alexandr Medvedev, Dennis The

Abstract: We consider Legendrian contact structures on odd-dimensional complex analytic manifolds. We are particularly interested in integrable structures, which can be encoded by compatible complete systems of second order PDEs on a scalar function of many independent variables and considered up to point transformations. Using the techniques of parabolic differential geometry, we compute the associated reg… ▽ More We consider Legendrian contact structures on odd-dimensional complex analytic manifolds. We are particularly interested in integrable structures, which can be encoded by compatible complete systems of second order PDEs on a scalar function of many independent variables and considered up to point transformations. Using the techniques of parabolic differential geometry, we compute the associated regular, normal Cartan connection and give explicit formulas for the harmonic part of the curvature. The PDE system is trivializable by means of point transformations if and only if the harmonic curvature vanishes identically. In dimension five, the harmonic curvature takes the form of a binary quartic field, so there is a Petrov classification based on its root type. We give a complete local classification of all five-dimensional integrable Legendrian contact structures whose symmetry algebra is transitive on the manifold and has at least one-dimensional isotropy algebra at any point. △ Less

Submitted 8 February, 2016; v1 submitted 12 November, 2014; originally announced November 2014.

Comments: 35 pages; added details on integration of Cartan structure equations

MSC Class: Primary: 58J70; Secondary: 35A30; 53A40; 53B15; 53D10; 22E46

Journal ref: J. Geom. Anal. (2019)

Fundamental invariants of systems of ODEs of higher order

Authors: Boris Doubrov, Alexandr Medvedev

Abstract: We find the complete set of fundamental invariants for systems of ordinary differential equations of order $\ge 4$ under the group of point transformations generalizing similar results for contact invariants of a single ODE and point invariants of systems of the second and the third order. It turns out that starting from systems of order $(k+1)\ge 4$, the complete set of fundamental invariants i… ▽ More We find the complete set of fundamental invariants for systems of ordinary differential equations of order $\ge 4$ under the group of point transformations generalizing similar results for contact invariants of a single ODE and point invariants of systems of the second and the third order. It turns out that starting from systems of order $(k+1)\ge 4$, the complete set of fundamental invariants is formed by $k$ generalized Wilczynski invariants coming from the linearized system and an additional invariant of degree 2. △ Less

Submitted 2 July, 2014; v1 submitted 2 December, 2013; originally announced December 2013.

Comments: 29 pages; restructured the paper, added more computational details, corrected the the fundamental invariant of degree 2

MSC Class: 53B15; 17B70; 34C14

On the models of submaximal symmetric rank 2 distributions in 5D

Authors: Boris Doubrov, Boris Kruglikov

Abstract: There are two different approaches to exhibit submaximal symmetric rank 2 distributions in 5D via Monge equations. In this note we establish precise relations between these models, find auto-equivalences of one family, and treat two special equations. There are two different approaches to exhibit submaximal symmetric rank 2 distributions in 5D via Monge equations. In this note we establish precise relations between these models, find auto-equivalences of one family, and treat two special equations. △ Less

Submitted 11 June, 2014; v1 submitted 27 November, 2013; originally announced November 2013.

Comments: 11 pages, minor corrections, more careful analysis of complex versus real cases

MSC Class: 58D19; 58A30; 17B25

A new example of a generic 2-distribution on a 5-manifold with large symmetry algebra

Authors: Boris Doubrov, Artem Govorov

Abstract: We discover a new example of a generic rank 2-distribution on a 5-manifold with a 6-dimensional transitive symmetry algebra, which is not present in Cartan's classical five variables paper. It corresponds to the Monge equation z' = y + (y'')^(1/3) with invariant quartic having root type [4], and a 6-dimensional non-solvable symmetry algebra isomorphic to the semidirect product of sl(2) and the 3-d… ▽ More We discover a new example of a generic rank 2-distribution on a 5-manifold with a 6-dimensional transitive symmetry algebra, which is not present in Cartan's classical five variables paper. It corresponds to the Monge equation z' = y + (y'')^(1/3) with invariant quartic having root type [4], and a 6-dimensional non-solvable symmetry algebra isomorphic to the semidirect product of sl(2) and the 3-dimensional Heisenberg algebra. △ Less

Submitted 30 May, 2013; originally announced May 2013.

Comments: 6 pages

MSC Class: 58D19; 58A30; 17B25

Maximally degenerate Weyl tensors in Riemannian and Lorentzian signatures

Authors: Boris Doubrov, Dennis The

Abstract: We establish the submaximal symmetry dimension for Riemannian and Lorentzian conformal structures. The proof is based on enumerating all subalgebras of orthogonal Lie algebras of sufficiently large dimension and verifying if they stabilize a non-zero Weyl tensor up to scale. Our main technical tools include Dynkin's classification of maximal subalgebras in complex simple Lie algebras, a theorem of… ▽ More We establish the submaximal symmetry dimension for Riemannian and Lorentzian conformal structures. The proof is based on enumerating all subalgebras of orthogonal Lie algebras of sufficiently large dimension and verifying if they stabilize a non-zero Weyl tensor up to scale. Our main technical tools include Dynkin's classification of maximal subalgebras in complex simple Lie algebras, a theorem of Mostow, and Kostant's Bott-Borel-Weil theorem. △ Less

Submitted 20 May, 2013; v1 submitted 15 May, 2013; originally announced May 2013.

Comments: Minor typos corrected; role of automorphisms clarified

MSC Class: 58J70 (Primary); 53A30; 22E46 (Secondary)

Journal ref: Differential Geometry and its Applications 34 (2014), 25-44

Symmetries of trivial systems of ODEs of mixed order

Authors: Boris Doubrov, Igor Zelenko

Abstract: We compute symmetry algebras of a system of two equations y^(k)=z^(l)=0, where 2<=k<l. It appears that there are many ways to convert such system of ODEs to an exterior differential system. They lead to different series of finite-dimensional symmetry algebras. For example, for (k,l)=(2,3) we get two non-isomorphic symmetry algebras of the same dimension. We explore how these symmetry algebras are… ▽ More We compute symmetry algebras of a system of two equations y^(k)=z^(l)=0, where 2<=k<l. It appears that there are many ways to convert such system of ODEs to an exterior differential system. They lead to different series of finite-dimensional symmetry algebras. For example, for (k,l)=(2,3) we get two non-isomorphic symmetry algebras of the same dimension. We explore how these symmetry algebras are related to both Sternberg prolongation of G-structures and Tanaka prolongation of graded nilpotent Lie algebras. Surprisingly, the case (k,l)=(2,3) provides an example of a linear subalgebra g in gl(5,R) such that the Sternberg prolongations of g and g^t are both of the same dimension, but are non-isomorphic. We also discuss the non-linear case and the link with flag structures on smooth manifolds. △ Less

Submitted 5 July, 2013; v1 submitted 28 February, 2013; originally announced February 2013.

Comments: Corrected misprints, added more details on symmetry computation

MSC Class: 17B70; 34A26; 34A34; 34C14; 53C10

Geometry of rank 2 distributions with nonzero Wilczynski invariants and affine control systems with one input

Authors: Boris Doubrov, Igor Zelenko

Abstract: We demonstrate how the novel approach to the local geometry of structures of nonholonomic nature, originated by Andrei Agrachev, works in the following two situations: rank 2 distributions of maximal class in R^n with non-zero generalized Wilczynski invariants and rank 2 distributions of maximal class in R^n with additional structures such as affine control system with one input spanning these dis… ▽ More We demonstrate how the novel approach to the local geometry of structures of nonholonomic nature, originated by Andrei Agrachev, works in the following two situations: rank 2 distributions of maximal class in R^n with non-zero generalized Wilczynski invariants and rank 2 distributions of maximal class in R^n with additional structures such as affine control system with one input spanning these distributions, sub-(pseudo)Riemannian structures etc. The common feature of these two situations is that each abnormal extremal (of the underlying rank 2 distribution) possesses a distinguished parametrization. This fact allows one to construct the canonical frame on a (2n-3)-dimensional bundle in both situations for arbitrary n greater than 4. The moduli spaces of the most symmetric models for both situations are described as well. The relation of our results to the divergence equivalence of Lagrangians of higher order is given △ Less

Submitted 13 January, 2013; originally announced January 2013.

Comments: 27 pages, submitted to the proceedings of the conference "Geometric Control and sub-Riemannian geometry" in honor of the 60th birthday of Andrei Agrachev

MSC Class: 58A30; 53A55; 34C14; 34A26; 53C17

Prolongation of quasi-principal frame bundles and geometry of flag structures on manifolds

Authors: Boris Doubrov, Igor Zelenko

Abstract: Motivated by the geometric theory of differential equations and the variational approach to the equivalence problem for geometric structures on manifolds, we consider the problem of equivalence for distributions with fixed submanifolds of flags on each fiber. We call them flag structures. The construction of the canonical frames for these structures can be given in the two prolongation steps: the… ▽ More Motivated by the geometric theory of differential equations and the variational approach to the equivalence problem for geometric structures on manifolds, we consider the problem of equivalence for distributions with fixed submanifolds of flags on each fiber. We call them flag structures. The construction of the canonical frames for these structures can be given in the two prolongation steps: the first step, based on our previous works, gives the canonical bundle of moving frames for the fixed submanifolds of flags on each fiber and the second step consists of the prolongation of the bundle obtained in the first step. The bundle obtained in the first step is not as a rule a principal bundle so that the classical Tanaka prolongation procedure for filtered structures can not be applied to it. However, under natural assumptions on submanifolds of flags and on the ambient distribution, this bundle satisfies a nice weaker property. The main goal of the present paper is to formalize this property, introducing the so-called quasi-principle frame bundles, and to generalize the Tanaka prolongation procedure to these bundles. Applications to the equivalence problems for systems of differential equations of mixed order, bracket generating distributions, sub-Riemannian and more general structures on distributions are given. △ Less

Submitted 19 September, 2013; v1 submitted 27 October, 2012; originally announced October 2012.

Comments: 49 pages. The Introduction was extended substantially: we demonstrate how flag structures appear in the geometry of double fibrations and, using this language, we discuss the motivating examples in more detail

MSC Class: 58A30; 58A17

On geometry of curves of flags of constant type

Authors: Boris Doubrov, Igor Zelenko

Abstract: We develop an algebraic version of Cartan method of equivalence or an analog of Tanaka prolongation for the (extrinsic) geometry of curves of flags of a vector space $W$ with respect to the action of a subgroup $G$ of the $GL(W)$. Under some natural assumptions on the subgroup $G$ and on the flags, one can pass from the filtered objects to the corresponding graded objects and describe the construc… ▽ More We develop an algebraic version of Cartan method of equivalence or an analog of Tanaka prolongation for the (extrinsic) geometry of curves of flags of a vector space $W$ with respect to the action of a subgroup $G$ of the $GL(W)$. Under some natural assumptions on the subgroup $G$ and on the flags, one can pass from the filtered objects to the corresponding graded objects and describe the construction of canonical bundles of moving frames for these curves in the language of pure Linear Algebra. The scope of applicability of the theory includes geometry of natural classes of curves of flags with respect to reductive linear groups or their parabolic subgroups. As simplest examples, this includes the projective and affine geometry of curves. The case of classical groups is considered in more detail. △ Less

Submitted 2 October, 2011; originally announced October 2011.

Comments: 39 pages

MSC Class: 53B25; 53B15; 53A55; 17B70

Geometry of curves in parabolic homogeneous spaces

Authors: Boris Doubrov, Igor Zelenko

Abstract: The current paper is devoted to the study of integral curves of constant type in parabolic homogeneous spaces. We construct a canonical moving frame bundle for such curves and give the criterium when it turns out to be a Cartan connection. Generalizations to parametrized curves, to higher-dimensional submanifolds and to general parabolic geometries are discussed. The current paper is devoted to the study of integral curves of constant type in parabolic homogeneous spaces. We construct a canonical moving frame bundle for such curves and give the criterium when it turns out to be a Cartan connection. Generalizations to parametrized curves, to higher-dimensional submanifolds and to general parabolic geometries are discussed. △ Less

Submitted 13 January, 2013; v1 submitted 2 October, 2011; originally announced October 2011.

Comments: 28 pages; added conditions on the existence of natural symplectic, conformal and G_2 structures on the solution space of a scalar ODE

MSC Class: 53B25; 53B15; 53A55; 17B70

Journal ref: Transformation Groups, 2013, Volume 18, Issue 2 , pp 361-383

Co--calibrated $G_2$ structure from cuspidal cubics

Authors: Boris Doubrov, Maciej Dunajski

Abstract: We establish a twistor correspondence between a cuspidal cubic curve in a complex projective plane, and a co-calibrated homogeneous $G_2$ structure on the seven--dimensional parameter space of such cubics. Imposing the Riemannian reality conditions leads to an explicit co-calibrated $G_2$ structure on $SU(2, 1)/U(1)$. This is an example of an SO(3) structure in seven dimensions. Cuspidal cubics an… ▽ More We establish a twistor correspondence between a cuspidal cubic curve in a complex projective plane, and a co-calibrated homogeneous $G_2$ structure on the seven--dimensional parameter space of such cubics. Imposing the Riemannian reality conditions leads to an explicit co-calibrated $G_2$ structure on $SU(2, 1)/U(1)$. This is an example of an SO(3) structure in seven dimensions. Cuspidal cubics and their higher degree analogues with constant projective curvature are characterised as integral curves of 7th order ODEs. Projective orbits of such curves are shown to be analytic continuations of Aloff--Wallach manifolds, and it is shown that only cubics lift to a complete family of contact rational curves in a projectivised cotangent bundle to a projective plane. △ Less

Submitted 26 January, 2012; v1 submitted 14 July, 2011; originally announced July 2011.

Comments: 18 pages, two figures. Final version - to appear in Annals of Global Analysis and Geometry

Report number: DAMTP-2011-54

Equivalence of variational problems of higher order

Authors: Boris Doubrov, Igor Zelenko

Abstract: We show that for n>2 the following equivalence problems are essentially the same: the equivalence problem for Lagrangians of order n with one dependent and one independent variable considered up to a contact transformation, a multiplication by a nonzero constant, and modulo divergence; the equivalence problem for the special class of rank 2 distributions associated with underdetermined ODEs z'=f… ▽ More We show that for n>2 the following equivalence problems are essentially the same: the equivalence problem for Lagrangians of order n with one dependent and one independent variable considered up to a contact transformation, a multiplication by a nonzero constant, and modulo divergence; the equivalence problem for the special class of rank 2 distributions associated with underdetermined ODEs z'=f(x,y,y',..., y^{(n)}); the equivalence problem for variational ODEs of order 2n. This leads to new results such as the fundamental system of invariants for all these problems and the explicit description of the maximally symmetric models. The central role in all three equivalence problems is played by the geometry of self-dual curves in the projective space of odd dimension up to projective transformations via the linearization procedure (along the solutions of ODE or abnormal extremals of distributions). More precisely, we show that an object from one of the three equivalence problem is maximally symmetric if and only if all curves in projective spaces obtained by the linearization procedure are rational normal curves. △ Less

Submitted 10 April, 2010; originally announced April 2010.

Comments: 20 pages

MSC Class: 58A30; 53A55; 34C14

Graded nilpotent Lie algebras of infinite type

Authors: Boris Doubrov, Olga Radko

Abstract: The paper gives the complete characterization of all graded nilpotent Lie algebras with infinite-dimensional Tanaka prolongation as extensions of graded nilpotent Lie algebras of lower dimension by means of a commutative ideal. We introduce a notion of weak characteristics of a vector distribution and prove that if a bracket-generating distribution of constant type does not have non-zero complex… ▽ More The paper gives the complete characterization of all graded nilpotent Lie algebras with infinite-dimensional Tanaka prolongation as extensions of graded nilpotent Lie algebras of lower dimension by means of a commutative ideal. We introduce a notion of weak characteristics of a vector distribution and prove that if a bracket-generating distribution of constant type does not have non-zero complex weak characteristics, then its symmetry algebra is necessarily finite-dimensional. The paper also contains a number of illustrative algebraic and geometric examples including the proof that any metabelian Lie algebra with a 2-dimensional center always has an infinite-dimensional Tanaka prolongation. △ Less

Submitted 3 January, 2010; originally announced January 2010.

Comments: 18 pages

MSC Class: 17B70; 53C30; 58A17

On the integrability of symplectic Monge-Ampére equations

Authors: B. Doubrov, E. V. Ferapontov

Abstract: Let u be a function of n independent variables x^1, ..., x^n, and U=(u_{ij}) the Hessian matrix of u. The symplectic Monge-Ampere equation is defined as a linear relation among all possible minors of U. Particular examples include the equation det U=1 governing improper affine spheres and the so-called heavenly equation, u_{13}u_{24}-u_{23}u_{14}=1, describing self-dual Ricci-flat 4-manifolds. In… ▽ More Let u be a function of n independent variables x^1, ..., x^n, and U=(u_{ij}) the Hessian matrix of u. The symplectic Monge-Ampere equation is defined as a linear relation among all possible minors of U. Particular examples include the equation det U=1 governing improper affine spheres and the so-called heavenly equation, u_{13}u_{24}-u_{23}u_{14}=1, describing self-dual Ricci-flat 4-manifolds. In this paper we classify integrable symplectic Monge-Ampere equations in four dimensions (for n=3 the integrability of such equations is known to be equivalent to their linearisability). This problem can be reformulated geometrically as the classification of 'maximally singular' hyperplane sections of the Plucker embedding of the Lagrangian Grassmannian. We formulate a conjecture that any integrable equation of the form F(u_{ij})=0 in more than three dimensions is necessarily of the symplectic Monge-Ampere type. △ Less

Submitted 13 April, 2010; v1 submitted 18 October, 2009; originally announced October 2009.

Comments: 20 pages; added more details of proofs

MSC Class: 35L70; 35Q58; 35Q75; 53A20; 53D99; 53Z05

Space-time and G_2

Authors: Boris Doubrov, Jonathan Holland, George Sparling

Abstract: A Weyl structure is a bundle over space-time, whose fiber at each space-time point is a space of maximally isotropic complex tangent planes. We develop the theory of Weyl connections for Weyl structures and show that the requirement that the connection be torsion-free fixes the Weyl connection uniquely. Further we show that to each such Weyl connection, there is naturally associated a (2, 3, 5)-… ▽ More A Weyl structure is a bundle over space-time, whose fiber at each space-time point is a space of maximally isotropic complex tangent planes. We develop the theory of Weyl connections for Weyl structures and show that the requirement that the connection be torsion-free fixes the Weyl connection uniquely. Further we show that to each such Weyl connection, there is naturally associated a (2, 3, 5)-Pfaffian system, as first analyzed by Cartan. We determine the associated G_2-conformal structure and calculate it explicitly in the cases of the Kapadia family of space-times and of the Schwarzschild solution △ Less

Submitted 5 January, 2009; originally announced January 2009.

Comments: 49 pages

Inclusions between parabolic geometries

Authors: Boris Doubrov, Jan Slovak

Abstract: Some of the well known Fefferman like constructions of parabolic geometries end up with a new structure on the same manifold. In this paper, we classify all such cases with the help of the classical Onishchik's lists \cite{onish1} and we treat in detail the only new series of inclusions providing the spinorial structures on the manifolds with generic free distributions. Our technique relies on t… ▽ More Some of the well known Fefferman like constructions of parabolic geometries end up with a new structure on the same manifold. In this paper, we classify all such cases with the help of the classical Onishchik's lists \cite{onish1} and we treat in detail the only new series of inclusions providing the spinorial structures on the manifolds with generic free distributions. Our technique relies on the cohomological understanding of the canonical normal Cartan connections for parabolic geometries and the classical computations with exterior forms. Apart of the complete discussion of the distributions from the geometrical point of view and the new functorial construction of the inclusion into the spinorial geometry, we also discuss the normality problem of the resulting spinorial connections. In particular, there is a non--trivial subclass of distributions providing normal spinorial connections directly by the construction. △ Less

Submitted 1 August, 2008; v1 submitted 21 July, 2008; originally announced July 2008.

Comments: 16 pages, to appear in the PAMQ, the special issue dedicated to Joseph J. Kohn

MSC Class: 58A15; 53C05

On local geometry of rank 3 distributions with 6-dimensional square

Authors: Boris Doubrov, Igor Zelenko

Abstract: We solve the equivalence problem for rank 3 completely nonholonomic vector distributions with 6-dimensional square on a smooth manifold of arbitrary dimension n under very mild genericity conditions. The main idea is to consider the projectivization of the annihilator of a given 3-dimensional distribution. It is naturally foliated by characteristic curves, which are also called the abnormal extr… ▽ More We solve the equivalence problem for rank 3 completely nonholonomic vector distributions with 6-dimensional square on a smooth manifold of arbitrary dimension n under very mild genericity conditions. The main idea is to consider the projectivization of the annihilator of a given 3-dimensional distribution. It is naturally foliated by characteristic curves, which are also called the abnormal extremals of the distribution. The dynamics of vertical fibers along characteristic curves defines certain curves of flags of isotropic and coisotropic subspaces in a linear symplectic space. The problem of equivalence of distributions can be essentially reduced to the differential geometry of such curves. The class of all 3-distributions under consideration is split into a finite number of subclasses according to the Young diagram of their flags. The local geometry of distributions can be recovered from the properties of the symmetry group of so-called flat curves of flags associated with this Young diagram. In each subclass we describe the flat distribution and construct a canonical frame for any other distribution. It turns out that for n>6 in the most nontrivial case the symmetry algebra of the flat distribution can be described in terms of rational normal curves (their secants and tangential developables) in projective spaces and its dimension grows exponentially with respect to n. △ Less

Submitted 21 July, 2008; originally announced July 2008.

Comments: 40 pages

MSC Class: 58A30; 53A55

On local geometry of nonholonomic rank 2 distributions

Authors: Boris Doubrov, Igor Zelenko

Abstract: In 1910 E. Cartan constructed a canonical frame and found the most symmetric case for maximally nonholonomic rank 2 distributions in $\mathbb R^5$. We solve the analogous problem for germs of generic rank 2 distributions in ${\mathbb R}^n$ for n>5. We use a completely different approach based on the symplectification of the problem. The main idea is to consider a special odd-dimensional submanif… ▽ More In 1910 E. Cartan constructed a canonical frame and found the most symmetric case for maximally nonholonomic rank 2 distributions in $\mathbb R^5$. We solve the analogous problem for germs of generic rank 2 distributions in ${\mathbb R}^n$ for n>5. We use a completely different approach based on the symplectification of the problem. The main idea is to consider a special odd-dimensional submanifold $W_D$ of the cotangent bundle associated with any rank 2 distribution D. It is naturally foliated by characteristic curves, which are also called the abnormal extremals of the distribution D. The dynamics of vertical fibers along characteristic curves defines certain curves of flags of isotropic and coisotropic subspaces in a linear symplectic space. Using the classical theory of curves in projective spaces, we construct the canonical frame of the distribution D on a certain (2n-1)-dimensional fiber bundle over $W_D$ with the structure group of all Möbius transformations, preserving 0. △ Less

Submitted 22 March, 2007; originally announced March 2007.

Comments: 21 pages, this is the long version of the short note math.DG/0504319 (the latter was published in C.R. Acad. Sci. Paris, Ser. I, Vol. 342, Issue 8 (15 April 2006), 589-594

MSC Class: 58A30; 53A55

Generalized Wilczynski invariants for non-linear ordinary differential equations

Authors: Boris Doubrov

Abstract: We show that classical Wilczynski--Se-ashi invariants of linear systems of ordinary differential equations are generalized in a natural way to contact invariants of non-linear ODEs. We explore geometric structures associated with equations that have vanishing generalized Wilczynski invariants and establish relationship of such equations with deformation theory of rational curves on complex algeb… ▽ More We show that classical Wilczynski--Se-ashi invariants of linear systems of ordinary differential equations are generalized in a natural way to contact invariants of non-linear ODEs. We explore geometric structures associated with equations that have vanishing generalized Wilczynski invariants and establish relationship of such equations with deformation theory of rational curves on complex algebraic surfaces. △ Less

Submitted 5 April, 2007; v1 submitted 9 February, 2007; originally announced February 2007.

Comments: 18 pages; corrected typos, added reference

MSC Class: 34A26; 53B15

Journal ref: Proceedings of the IMA summer program, Minneapolis, MN, USA, July 17--August 4, 2006. New York, NY: Springer. The IMA Volumes in Mathematics and its Applications 144, 25-40 (2008).

A Canonical Frame for Nonholonomic Rank Two Distributions of Maximal Class

Authors: Boris Doubrov, Igor Zelenko

Abstract: In 1910 E. Cartan constructed the canonical frame and found the most symmetric case for maximally nonholonomic rank 2 distributions on a 5-dimensional manifold. We solve the analogous problems for rank 2 distributions on an n-dimensional manifold for arbitrary n greater than 5. Our method is a kind of symplectification of the problem and it is completely different from the Cartan method of equiv… ▽ More In 1910 E. Cartan constructed the canonical frame and found the most symmetric case for maximally nonholonomic rank 2 distributions on a 5-dimensional manifold. We solve the analogous problems for rank 2 distributions on an n-dimensional manifold for arbitrary n greater than 5. Our method is a kind of symplectification of the problem and it is completely different from the Cartan method of equivalence. △ Less

Submitted 15 April, 2005; originally announced April 2005.

Comments: 8 pages

Report number: SISSA preprint 25/2005/M MSC Class: 58A30; 34A26; 53A55

Contact Lie algebras of vector fields on the plane

Authors: Boris M. Doubrov, Boris P. Komrakov

Abstract: The paper is devoted to the complete classification of all real Lie algebras of contact vector fields on the first jet space of one-dimensional submanifolds in the plane. This completes Sophus Lie's classification of all possible Lie algebras of contact symmetries for ordinary differential equations. As a main tool we use the abstract theory of filtered and graded Lie algebras. We also describe… ▽ More The paper is devoted to the complete classification of all real Lie algebras of contact vector fields on the first jet space of one-dimensional submanifolds in the plane. This completes Sophus Lie's classification of all possible Lie algebras of contact symmetries for ordinary differential equations. As a main tool we use the abstract theory of filtered and graded Lie algebras. We also describe all differential and integral invariants of new Lie algebras found in the paper and discuss the infinite-dimensional case. △ Less

Submitted 14 March, 1999; originally announced March 1999.

Comments: 20 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTVol3/paper1.abs.html

Report number: G&T migration 1999-1 MSC Class: 17B66; 53C30; 34A26; 58A20

Journal ref: Geom. Topol. 3 (1999) 1-20