Showing 1–50 of 93 results for author: Kruglikov, B

Invariant divisors and equivariant line bundles

Authors: Boris Kruglikov, Eivind Schneider

Abstract: Scalar relative invariants play an important role in the theory of group actions on a manifold as their zero sets are invariant hypersurfaces. Relative invariants are central in many applications, where they often are treated locally since an invariant hypersurface may not be a locus of a single function. Our aim is to establish a global theory of relative invariants. For a Lie algebra… ▽ More Scalar relative invariants play an important role in the theory of group actions on a manifold as their zero sets are invariant hypersurfaces. Relative invariants are central in many applications, where they often are treated locally since an invariant hypersurface may not be a locus of a single function. Our aim is to establish a global theory of relative invariants. For a Lie algebra $\mathfrak{g}$ of holomorphic vector fields on a complex manifold $M$, any holomorphic $\mathfrak{g}$-invariant hypersurface is given in terms of a $\mathfrak{g}$-invariant divisor. This generalizes the classical notion of scalar relative $\mathfrak{g}$-invariant. Any $\mathfrak{g}$-invariant divisor gives rise to a $\mathfrak{g}$-equivariant line bundle, and a large part of this paper is therefore devoted to the investigation of the group $\mathrm{Pic}_{\mathfrak{g}}(M)$ of $\mathfrak{g}$-equivariant line bundles. We give a cohomological description of $\mathrm{Pic}_{\mathfrak{g}}(M)$ in terms of a double complex interpolating the Chevalley-Eilenberg complex for $\mathfrak{g}$ with the Čech complex of the sheaf of holomorphic functions on $M$. We also obtain results about polynomial divisors on affine bundles and jet bundles. This has applications to the theory of differential invariants. Those were actively studied in relation to invariant differential equations, but the description of multipliers (or weights) of relative differential invariants was an open problem. We derive a characterization of them with our general theory. Examples, including projective geometry of curves and second-order ODEs, not only illustrate the developed machinery, but also give another approach and rigorously justify some classical computations. At the end, we briefly discuss generalizations of this theory. △ Less

Submitted 30 April, 2024; originally announced April 2024.

Comments: 33 pages, 1 figure

MSC Class: 53A55; 58D19 (Primary) 22F05; 32M05; 14C20; 17B56; 32L10 (Secondary)

On 3-nondegenerate CR manifolds in dimension 7 (II): the intransitive case

Authors: Boris Kruglikov, Andrea Santi

Abstract: We investigate 3-nondegenerate CR structures in the lowest possible dimension 7 and show that 8 is the maximal dimension for the Lie algebra of symmetries of such structures. The next possible symmetry dimension is 6, and for the automorphism groups the dimension 7 is also realizable. This part (II) is devoted to the case where the symmetry algebra acts intransitively. We use various methods to bo… ▽ More We investigate 3-nondegenerate CR structures in the lowest possible dimension 7 and show that 8 is the maximal dimension for the Lie algebra of symmetries of such structures. The next possible symmetry dimension is 6, and for the automorphism groups the dimension 7 is also realizable. This part (II) is devoted to the case where the symmetry algebra acts intransitively. We use various methods to bound its dimension and demonstrate the existence of infinitely many non-equivalent submaximally symmetric models. Summarizing, we get a stronger form of Beloshapka's conjecture on the symmetry dimension of hypersurfaces in $\mathbb{C}^4$. △ Less

Submitted 5 August, 2023; originally announced August 2023.

Zero-curvature subconformal structures and dispersionless integrability in dimension five

Authors: Boris Kruglikov, Omid Makhmali

Abstract: We extend the recent paradigm ''Integrability via Geometry'' from dimensions 3 and 4 to higher dimensions, relating dispersionless integrability of partial differential equations to curvature constraints of the background geometry. We observe that in higher dimensions on any solution manifold the symbol defines a vector distribution equipped with a subconformal structure, and the integrability imp… ▽ More We extend the recent paradigm ''Integrability via Geometry'' from dimensions 3 and 4 to higher dimensions, relating dispersionless integrability of partial differential equations to curvature constraints of the background geometry. We observe that in higher dimensions on any solution manifold the symbol defines a vector distribution equipped with a subconformal structure, and the integrability imposes a certain compatibility between them. In dimension 5 we express dispersionless integrability via the vanishing of a certain curvature of this subconformal structure. We also obtain a ''master equation'' governing all second order dispersionless integrable equations in 5D, and count their functional dimension. It turns out that the obtained background geometry is parabolic of the type $(A_3,P_{13})$ and we provide its Cartan theoretic description and compute the harmonic curvature components via the Kostant theorem. Then we relate it to 3D projective and 4D conformal geometries via twistor theory, discuss nested symmetry reductions, as well as give another interpretation of dispersionless integrability in 5D through Levi-degenerate CR structures in dimension 7. △ Less

Submitted 5 October, 2023; v1 submitted 9 July, 2023; originally announced July 2023.

Comments: We added a new subsection with symmetric examples and updated the list of references

On 3-nondegenerate CR manifolds in dimension 7 (I): the transitive case

Authors: Boris Kruglikov, Andrea Santi

Abstract: We investigate 3-nondegenerate CR structures in the lowest possible dimension 7, and one of our goals is to prove Beloshapka's conjecture on the symmetry dimension bound for hypersurfaces in $\mathbb{C}^4$. We claim that 8 is the maximal symmetry dimension of 3-nondegenerate CR structures in dimension 7, which is achieved on the homogeneous model. This part (I) is devoted to the homogeneous case:… ▽ More We investigate 3-nondegenerate CR structures in the lowest possible dimension 7, and one of our goals is to prove Beloshapka's conjecture on the symmetry dimension bound for hypersurfaces in $\mathbb{C}^4$. We claim that 8 is the maximal symmetry dimension of 3-nondegenerate CR structures in dimension 7, which is achieved on the homogeneous model. This part (I) is devoted to the homogeneous case: we prove that the model is locally the only homogeneous 3-nondegenerate CR structure in dimension 7. △ Less

Submitted 8 August, 2023; v1 submitted 9 February, 2023; originally announced February 2023.

Comments: This version is updated with a reference to part II and a relation of the results. The supplementary files are not reproduced in this version, but they are equally relevant and can be accessed through v1

Realization of Lie superalgebras G(3) and F(4) as symmetries of supergeometries

Authors: Boris Kruglikov, Andreu Llabres

Abstract: For every parabolic subgroup $P$ of a Lie supergroup $G$ the homogeneous superspace $G/P$ carries a $G$-invariant supergeometry. We address the quesiton whether $\mathfrak{g}=\operatorname{Lie}(G)$ is the maximal symmetry of this supergeometry in the case of exceptional Lie superalgebras $G(3)$ and $F(4)$. Our approach is to consider the negatively graded Lie superalgebras for every choice of para… ▽ More For every parabolic subgroup $P$ of a Lie supergroup $G$ the homogeneous superspace $G/P$ carries a $G$-invariant supergeometry. We address the quesiton whether $\mathfrak{g}=\operatorname{Lie}(G)$ is the maximal symmetry of this supergeometry in the case of exceptional Lie superalgebras $G(3)$ and $F(4)$. Our approach is to consider the negatively graded Lie superalgebras for every choice of parabolic, and to compute the Tanaka-Weisfeiler prolongations, with reduction of the structure group when required (2 resp 3 cases), thus realizing $G(3)$ and $F(4)$ as symmetries of supergeometries. This gives 19 inequivalent $G(3)$-supergeometries and 55 inequivalent $F(4)$-supergeometries, in majority of cases (17 resp 52 cases) those being encoded as vector superdistributions. We describe those supergeometries and realize supersymmetry explicitly in some cases. △ Less

Submitted 26 December, 2022; originally announced December 2022.

Comments: We supplement this submission with ancillary maple files where most important computations were performed

Killing Tensors in Koutras-McIntosh Spacetimes

Authors: Boris Kruglikov, Wijnand Steneker

Abstract: The Koutras-McIntosh family of metrics include conformally flat pp-waves and the Wils metric. It appeared in a paper of 1996 by Koutras-McIntosh as an example of a pure radiation spacetime without scalar curvature invariants or infinitesimal symmetries. Here we demonstrate that these metrics have no "hidden symmetries", by which we mean Killing tensors of low degrees. For the particular case of Wi… ▽ More The Koutras-McIntosh family of metrics include conformally flat pp-waves and the Wils metric. It appeared in a paper of 1996 by Koutras-McIntosh as an example of a pure radiation spacetime without scalar curvature invariants or infinitesimal symmetries. Here we demonstrate that these metrics have no "hidden symmetries", by which we mean Killing tensors of low degrees. For the particular case of Wils metrics we show the nonexistence of Killing tensors up to degree 6. The technique we use is the geometric theory of overdetermined PDEs and the Cartan prolongation-projection method. Application of those allows to prove the nonexistence of polynomial in momenta integrals for the equation of geodesics in a mathematical rigorous way. Using the same technique we can completely classify all lower degree Killing tensors and, in particular, prove that for generic pp-waves all Killing tensors of degree 3 and 4 are reducible. △ Less

Submitted 7 July, 2022; originally announced July 2022.

Almost every path structure is not variational

Authors: Boris S. Kruglikov, Vladimir S. Matveev

Abstract: Given a smooth family of unparameterized curves such that through every point in every direction there passes exactly one curve, does there exist a Lagrangian with extremals being precisely this family? It is known that in dimension 2 the answer is positive. In dimension 3, it follows from the work of Douglas that the answer is, in general, negative. We generalise this result to all higher dimensi… ▽ More Given a smooth family of unparameterized curves such that through every point in every direction there passes exactly one curve, does there exist a Lagrangian with extremals being precisely this family? It is known that in dimension 2 the answer is positive. In dimension 3, it follows from the work of Douglas that the answer is, in general, negative. We generalise this result to all higher dimensions and show that the answer is actually negative for almost every such a family of curves, also known as path structure or path geometry. On the other hand, we consider path geometries possessing infinitesimal symmetries and show that path and projective structures with submaximal symmetry dimensions are variational. Note that the projective structure with the submaximal symmetry algebra, the so-called Egorov structure, is not pseudo-Riemannian metrizable; we show that it is metrizable in the class of Kropina pseudo-metrics and explicitly construct the corresponding Kropina Lagrangian. △ Less

Submitted 28 March, 2022; originally announced March 2022.

Journal ref: General Relativity and Gravitation volume 54, Article number: 121 (2022) (open access)

ODEs whose symmetry groups are not fiber-preserving

Authors: Boris Kruglikov, Eivind Schneider

Abstract: We observe that, up to conjugation, a majority of symmetric higher order ODEs (ordinary differential equations) and ODE systems have only fiber-preserving point symmetries. By exploiting Lie's classification of Lie algebras of vector fields, we describe all the exceptions to this in the case of scalar ODEs and systems of ODEs on a pair of functions. The scalar ODEs whose symmetry algebra is not… ▽ More We observe that, up to conjugation, a majority of symmetric higher order ODEs (ordinary differential equations) and ODE systems have only fiber-preserving point symmetries. By exploiting Lie's classification of Lie algebras of vector fields, we describe all the exceptions to this in the case of scalar ODEs and systems of ODEs on a pair of functions. The scalar ODEs whose symmetry algebra is not fiber preserving can be expressed via absolute and relative scalar differential invariants, while a similar description for ODE systems requires us to also invoke conditional differential invariants and vector-valued relative invariants to deal with singular orbits of the action. Investigating prolongations of the actions, we observe some interesting relations between different realizations of Lie algebras. We also note that it may happen that the prolongation of a finite-dimensional Lie algebra acting on a differential equation never becomes free. An example of an underdetermined ODE system for which this phenomenon occurs shows limitations of the method of moving frames. △ Less

Submitted 1 June, 2023; v1 submitted 21 February, 2022; originally announced February 2022.

Comments: 37 pages, 4 figures. V4: Added tables summarizing invariant ODE systems and diagrams of relevant Lie algebra inclusions, and formalized several results in sect. 3 and appendices. V5: Small correction to Th. 13 and Table 2

MSC Class: 53A55 (Primary) 17B66; 34C14 (Secondary)

Differential invariants of curves in G(2) flag varieties

Authors: Boris Kruglikov, Andreu Llabrés

Abstract: We compute the algebra of differential invariants of unparametrized curves in the homogeneous G(2) flag varieties, namely in G(2)/P. This gives a solution to the equivalence problem for such curves. We consider the cases of integral and generic curves and relate the equivalence problems for all three choices of the parabolic subgroup P. We compute the algebra of differential invariants of unparametrized curves in the homogeneous G(2) flag varieties, namely in G(2)/P. This gives a solution to the equivalence problem for such curves. We consider the cases of integral and generic curves and relate the equivalence problems for all three choices of the parabolic subgroup P. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Symmetries of supergeometries related to nonholonomic superdistributions

Authors: Boris Kruglikov, Andrea Santi, Dennis The

Abstract: We extend Tanaka theory to the context of supergeometry and obtain an upper bound on the supersymmetry dimension of geometric structures related to strongly regular bracket-generating distributions on supermanifolds and their structure reductions. We extend Tanaka theory to the context of supergeometry and obtain an upper bound on the supersymmetry dimension of geometric structures related to strongly regular bracket-generating distributions on supermanifolds and their structure reductions. △ Less

Submitted 14 February, 2022; v1 submitted 9 April, 2021; originally announced April 2021.

Comments: 37 pages, v2: final version to appear in Transformation Groups

Journal ref: Transformation Groups, online first, 2022

Second-order PDEs in 3D with Einstein-Weyl conformal structure

Authors: Sobhi Berjawi, Eugene Ferapontov, Boris Kruglikov, Vladimir Novikov

Abstract: Einstein-Weyl geometry is a triple (D,g,w), where D is a symmetric connection, [g] is a conformal structure and w is a covector such that: (i) connection D preserves the conformal class [g], that is, Dg=wg; (ii) trace-free part of the symmetrised Ricci tensor of D vanishes. Three-dimensional Einstein-Weyl structures arise naturally on solutions of second-order dispersionless integrable PDEs in 3… ▽ More Einstein-Weyl geometry is a triple (D,g,w), where D is a symmetric connection, [g] is a conformal structure and w is a covector such that: (i) connection D preserves the conformal class [g], that is, Dg=wg; (ii) trace-free part of the symmetrised Ricci tensor of D vanishes. Three-dimensional Einstein-Weyl structures arise naturally on solutions of second-order dispersionless integrable PDEs in 3D. In this context, [g] coincides with the characteristic conformal structure and is therefore uniquely determined by the equation. On the contrary, the covector w is a somewhat more mysterious object, recovered from the Einstein-Weyl conditions. We demonstrate that, for generic second-order PDEs (for instance, for all equations not of Monge-Ampere type), the covector w is also expressible in terms of the equation, thus providing an efficient dispersionless integrability test. The knowledge of g and w provides a dispersionless Lax pair by an explicit formula which is apparently new. Some partial classification results of PDEs with Einstein-Weyl characteristic conformal structure are obtained. A rigidity conjecture is proposed according to which for any generic second-order PDE with Einstein-Weyl property, all dependence on the 1-jet variables can be eliminated via a suitable contact transformation. △ Less

Submitted 6 April, 2021; originally announced April 2021.

MSC Class: 35L70; 35Q75; 35Q76; 37K25; 53A40; 53B50; 53C25

Differential invariants of Kundt spacetimes

Authors: Boris Kruglikov, Eivind Schneider

Abstract: We find generators for the algebra of rational differential invariants for general and degenerate Kundt spacetimes and relate this to other approaches to the equivalence problem for Lorentzian metrics. Special attention is given to dimensions three and four. We find generators for the algebra of rational differential invariants for general and degenerate Kundt spacetimes and relate this to other approaches to the equivalence problem for Lorentzian metrics. Special attention is given to dimensions three and four. △ Less

Submitted 5 March, 2021; originally announced March 2021.

Comments: 24 pages

MSC Class: 53A55; 53B50; 83C20; 58A20

Joint Invariants of Linear Symplectic Actions

Authors: Fredrik Andreassen, Boris Kruglikov

Abstract: We review computations of joint invariants on a linear symplectic space, discuss variations for an extension of group and space and relate this to other equivalence problems and approaches, most importantly to differential invariants. We review computations of joint invariants on a linear symplectic space, discuss variations for an extension of group and space and relate this to other equivalence problems and approaches, most importantly to differential invariants. △ Less

Submitted 21 November, 2020; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: In this revision we added missing references, and essentially changed the presentation into a review. We corrected small errors, reduced the material on algebraic part, and extended it on geometric part. Thus we elaborate on known results from the classical invariant theory, discuss some extensions and draw relations to the differential invariants theory via symplectic invariant discretizations

Differential Invariants of Linear Symplectic Actions

Authors: Jørn Olav Jensen, Boris Kruglikov

Abstract: We consider the equivalence problem for symplectic and conformal symplectic group actions on submanifolds and functions of symplectic and contact linear spaces. This is solved by computing differential invariants via the Lie-Tresse theorem. We consider the equivalence problem for symplectic and conformal symplectic group actions on submanifolds and functions of symplectic and contact linear spaces. This is solved by computing differential invariants via the Lie-Tresse theorem. △ Less

Submitted 15 November, 2020; v1 submitted 15 October, 2020; originally announced October 2020.

Comments: Minor revision of the text plus ancillary files are added in this version

Second-order PDEs in 4D with half-flat conformal structure

Authors: Sobhi Berjawi, Eugene Ferapontov, Boris Kruglikov, Vladimir Novikov

Abstract: We study second-order PDEs in 4D for which the conformal structure defined by the characteristic variety of the equation is half-flat (self-dual or anti-self-dual) on every solution. We prove that this requirement implies the Monge-Ampere property. Since half-flatness of the conformal structure is equivalent to the existence of a nontrivial dispersionless Lax pair, our result explains the observat… ▽ More We study second-order PDEs in 4D for which the conformal structure defined by the characteristic variety of the equation is half-flat (self-dual or anti-self-dual) on every solution. We prove that this requirement implies the Monge-Ampere property. Since half-flatness of the conformal structure is equivalent to the existence of a nontrivial dispersionless Lax pair, our result explains the observation that all known scalar second-order integrable dispersionless PDEs in dimensions four and higher are of Monge-Ampere type. Some partial classification results of Monge-Ampere equations in 4D with half-flat conformal structure are also obtained. △ Less

Submitted 2 February, 2020; originally announced February 2020.

MSC Class: 35L70; 35Q51; 35Q75; 53A30; 53Z05

Journal ref: Proceedigns Royal Society A 476, 20190642 (2020)

G(3)-supergeometry and a supersymmetric extension of the Hilbert-Cartan equation

Authors: Boris Kruglikov, Andrea Santi, Dennis The

Abstract: We realize the simple Lie superalgebra G(3) as supersymmetry of various geometric structures, most importantly super-versions of the Hilbert-Cartan equation (SHC) and Cartan's involutive PDE system that exhibit G(2) symmetry. We provide the symmetries explicitly and compute, via the first Spencer cohomology groups, the Tanaka-Weisfeiler prolongation of the negatively graded Lie superalgebras assoc… ▽ More We realize the simple Lie superalgebra G(3) as supersymmetry of various geometric structures, most importantly super-versions of the Hilbert-Cartan equation (SHC) and Cartan's involutive PDE system that exhibit G(2) symmetry. We provide the symmetries explicitly and compute, via the first Spencer cohomology groups, the Tanaka-Weisfeiler prolongation of the negatively graded Lie superalgebras associated with two particular choices of parabolics. We discuss non-holonomic superdistributions with growth vector (2|4,1|2,2|0) deforming the flat model SHC, and prove that the second Spencer cohomology group gives a binary quadratic form, thereby providing a "square-root" of Cartan's classical binary quartic invariant for generic rank 2 distributions in a 5-dimensional space. Finally, we obtain super-extensions of Cartan's classical submaximally symmetric models, compute their symmetries and observe a supersymmetry dimension gap phenomenon. △ Less

Submitted 25 September, 2020; v1 submitted 24 August, 2019; originally announced August 2019.

Comments: final version; the ancillary files can be accessed via version 1

Journal ref: Adv. Math. 376 (2021), 107420

Differential invariants of Kundt waves

Authors: Boris Kruglikov, David McNutt, Eivind Schneider

Abstract: Kundt waves belong to the class of spacetimes which are not distinguished by their scalar curvature invariants. We address the equivalence problem for the metrics in this class via scalar differential invariants with respect to the equivalence pseudo-group of the problem. We compute and finitely represent the algebra of those on the generic stratum and also specify the behavior for vacuum Kundt wa… ▽ More Kundt waves belong to the class of spacetimes which are not distinguished by their scalar curvature invariants. We address the equivalence problem for the metrics in this class via scalar differential invariants with respect to the equivalence pseudo-group of the problem. We compute and finitely represent the algebra of those on the generic stratum and also specify the behavior for vacuum Kundt waves. The results are then compared to the invariants computed by the Cartan-Karlhede algorithm. △ Less

Submitted 9 January, 2019; originally announced January 2019.

MSC Class: 53A55; 53B50; 83C20; 58A20

Submaximally Symmetric Quaternion Hermitian Structures

Authors: Boris Kruglikov, Henrik Winther

Abstract: We consider and resolve the gap problem for almost quaternion-Hermitian structures, i.e. we determine the maximal and submaximal symmetry dimensions, both for Lie algebras and Lie groups, in the class of almost quaternion-Hermitian manifolds. We classify all structures with such symmetry dimensions. Geometric properties of the submaximally symmetric spaces are studied, in particular we identify lo… ▽ More We consider and resolve the gap problem for almost quaternion-Hermitian structures, i.e. we determine the maximal and submaximal symmetry dimensions, both for Lie algebras and Lie groups, in the class of almost quaternion-Hermitian manifolds. We classify all structures with such symmetry dimensions. Geometric properties of the submaximally symmetric spaces are studied, in particular we identify locally conformally quaternion-Kähler structures as well as quaternion-Kähler with torsion. △ Less

Submitted 18 August, 2020; v1 submitted 28 December, 2018; originally announced December 2018.

Comments: final version: minor corrections

MSC Class: 58D19; 53C26; 22E46; 53B20

Blow-ups and infinitesimal automorphisms of CR-manifolds

Authors: Boris Kruglikov

Abstract: Let $M$ be a real-analytic connected CR-hypersurface of CR-dimension $n>0$ having a point of Levi-nondegeneracy. The following alternative is demonstrated for both the symmetry algebra $s$ and the automorphism group $G$ of $M$. Denote by $d$ the dimension of $s$ or $G$. Then (i) either $d=n^2+4n+3$ and $M$ is spherical everywhere; (ii) or $d\le n^2+2n+2+δ_{2,n}$ and in the case of equality $M$ is… ▽ More Let $M$ be a real-analytic connected CR-hypersurface of CR-dimension $n>0$ having a point of Levi-nondegeneracy. The following alternative is demonstrated for both the symmetry algebra $s$ and the automorphism group $G$ of $M$. Denote by $d$ the dimension of $s$ or $G$. Then (i) either $d=n^2+4n+3$ and $M$ is spherical everywhere; (ii) or $d\le n^2+2n+2+δ_{2,n}$ and in the case of equality $M$ is spherical of fixed Levi signature in the open dense subset of Levi-nondegenerate points. Explicit examples of CR-hypersurfaces and their infinitesimal and global automorphisms realizing the bound in (ii) are constructed. We provide many other models with large symmetry using the technique of blow-up, in particular we realize all maximal parabolic subalgebras of the pseudo-unitary algebras as a symmetry. △ Less

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

Comments: A bit more corrections and improvements, essentially supported in Section 2

A criterion for the existence of Killing vectors in 3D

Authors: Boris Kruglikov, Kentaro Tomoda

Abstract: A three-dimensional Riemannian manifold has locally 6, 4, 3, 2, 1 or none independent Killing vectors. We present an explicit algorithm for computing dimension of the infinitesimal isometry algebra. It branches according to the values of curvature invariants. These are relative differential invariants computed via curvature, but they are not scalar polynomial Weyl invariants. We compare our obstru… ▽ More A three-dimensional Riemannian manifold has locally 6, 4, 3, 2, 1 or none independent Killing vectors. We present an explicit algorithm for computing dimension of the infinitesimal isometry algebra. It branches according to the values of curvature invariants. These are relative differential invariants computed via curvature, but they are not scalar polynomial Weyl invariants. We compare our obstructions to the existence of Killing vectors with the known existence criteria due to Singer, Kerr and others. △ Less

Submitted 29 April, 2018; originally announced April 2018.

Comments: 24 pages, 5 figures

Poincare function for moduli of differential-geometric structures

Authors: Boris Kruglikov

Abstract: The Poincare function is a compact form of counting moduli in local geometric problems. We discuss its property in relation to V.Arnold's conjecture, and derive this conjecture in the case when the pseudogroup acts algebraically and transitively on the base. Then we survey the known counting results for differential invariants and derive new formulae for several other classification problems in ge… ▽ More The Poincare function is a compact form of counting moduli in local geometric problems. We discuss its property in relation to V.Arnold's conjecture, and derive this conjecture in the case when the pseudogroup acts algebraically and transitively on the base. Then we survey the known counting results for differential invariants and derive new formulae for several other classification problems in geometry and analysis. △ Less

Submitted 5 February, 2018; originally announced February 2018.

Differential invariants of Einstein-Weyl structures in 3D

Authors: Boris Kruglikov, Eivind Schneider

Abstract: Einstein-Weyl structures on a three-dimensional manifold $M$ is given by a system $E$ of PDEs on sections of a bundle over $M$. This system is invariant under the Lie pseudogroup $G$ of local diffeomorphisms on $M$. Two Einstein-Weyl structures are locally equivalent if there exists a local diffeomorphism taking one to the other. Our goal is to describe the quotient equation $E/G$ whose solutions… ▽ More Einstein-Weyl structures on a three-dimensional manifold $M$ is given by a system $E$ of PDEs on sections of a bundle over $M$. This system is invariant under the Lie pseudogroup $G$ of local diffeomorphisms on $M$. Two Einstein-Weyl structures are locally equivalent if there exists a local diffeomorphism taking one to the other. Our goal is to describe the quotient equation $E/G$ whose solutions correspond to nonequivalent Einstein-Weyl structures. The approach uses symmetries of the Manakov-Santini integrable system and the action of the corresponding Lie pseudogroup. △ Less

Submitted 2 February, 2018; originally announced February 2018.

Symmetries of second order ODEs

Authors: Boris Kruglikov

Abstract: It is demonstrated that point symmetry algebras of general analytic second order ODEs, not necessary of principal type, can have all dimensions between 0 and 8 except for 7. For the symmetry dimension 8 the ODE must be locally trivializable. It is demonstrated that point symmetry algebras of general analytic second order ODEs, not necessary of principal type, can have all dimensions between 0 and 8 except for 7. For the symmetry dimension 8 the ODE must be locally trivializable. △ Less

Submitted 14 November, 2017; originally announced November 2017.

Comments: 4 pages

Non-existence of orthogonal complex structures on 6-sphere with a metric close to the round one

Authors: Boris Kruglikov

Abstract: I review several proofs for non-existence of orthogonal complex structures on the six-sphere, most notably by G. Bor and L. Hernandez-Lamoneda, but also by K. Sekigawa and L. Vanhecke that we generalize for metrics close to the round one. Invited talk at MAM-1 workshop, 27-30 March 2017, Marburg. I review several proofs for non-existence of orthogonal complex structures on the six-sphere, most notably by G. Bor and L. Hernandez-Lamoneda, but also by K. Sekigawa and L. Vanhecke that we generalize for metrics close to the round one. Invited talk at MAM-1 workshop, 27-30 March 2017, Marburg. △ Less

Submitted 24 August, 2017; originally announced August 2017.

Comments: a part of collection of papers to be published in a special issue of the journal Differential Geometry and its Applications

Integrability of dispersionless Hirota type equations in 4D and the symplectic Monge-Ampere property

Authors: E. V. Ferapontov, B. Kruglikov, V. Novikov

Abstract: We prove that integrability of a dispersionless Hirota type equation implies the symplectic Monge-Ampere property in any dimension $\geq 4$. In 4D this yields a complete classification of integrable dispersionless PDEs of Hirota type through a list of heavenly type equations arising in self-dual gravity. As a by-product of our approach we derive an involutive system of relations characterising sym… ▽ More We prove that integrability of a dispersionless Hirota type equation implies the symplectic Monge-Ampere property in any dimension $\geq 4$. In 4D this yields a complete classification of integrable dispersionless PDEs of Hirota type through a list of heavenly type equations arising in self-dual gravity. As a by-product of our approach we derive an involutive system of relations characterising symplectic Monge-Ampere equations in any dimension. Moreover, we demonstrate that in 4D the requirement of integrability is equivalent to self-duality of the conformal structure defined by the characteristic variety of the equation on every solution, which is in turn equivalent to the existence of a dispersionless Lax pair. We also give a criterion of linerisability of a Hirota type equation via flatness of the corresponding conformal structure, and study symmetry properties of integrable equations. △ Less

Submitted 9 January, 2018; v1 submitted 25 July, 2017; originally announced July 2017.

Comments: In this version: (1) We correct an error in the proof of Lemma from Sec.2.3 due to an index shift; (2) We extend the characterisation of Monge-Ampere property for PDE in implicit form, in addition to evolutionary form; (3) We prove that integrability in higher dimensions also implies the Monge-Ampere property. The ancillary files should be accessed via the previous version, arXiv:1707.08070v1

MSC Class: 35L70; 35Q51; 35Q75; 53A30; 53Z05

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

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

Erratum to: Almost complex structures in 6D with non-degenerate Nijenhuis tensors and large symmetry groups

Authors: Boris Kruglikov, Henrik Winther

Abstract: We correct an error in the second part of Theorem 3 of our original paper (arXiv:1512.07161). We correct an error in the second part of Theorem 3 of our original paper (arXiv:1512.07161). △ Less

Submitted 18 December, 2016; originally announced December 2016.

Comments: 2 pages

Integrability via geometry: dispersionless differential equations in three and four dimensions

Authors: David M. J. Calderbank, Boris Kruglikov

Abstract: We prove that the existence of a dispersionless Lax pair with spectral parameter for a nondegenerate hyperbolic second order partial differential equation (PDE) is equivalent to the canonical conformal structure defined by the symbol being Einstein-Weyl on any solution in 3D, and self-dual on any solution in 4D. The first main ingredient in the proof is a characteristic property for dispersionless… ▽ More We prove that the existence of a dispersionless Lax pair with spectral parameter for a nondegenerate hyperbolic second order partial differential equation (PDE) is equivalent to the canonical conformal structure defined by the symbol being Einstein-Weyl on any solution in 3D, and self-dual on any solution in 4D. The first main ingredient in the proof is a characteristic property for dispersionless Lax pairs. The second is the projective behaviour of the Lax pair with respect to the spectral parameter. Both are established for nondegenerate determined systems of PDEs of any order. Thus our main result applies more generally to any such PDE system whose characteristic variety is a quadric hypersurface. △ Less

Submitted 4 January, 2019; v1 submitted 8 December, 2016; originally announced December 2016.

Comments: 26 pages, v2 substantially expanded and restructured, with new theorem on projective property of Lax pair in 3D

MSC Class: 35L70; 37K10; 53C28; 58J60; 14D21; 32L25; 35A30; 35Q75; 53C25; 58A20

Non-degenerate Para-Complex Structures in 6D with Large Symmetry Groups

Authors: Boris Kruglikov, Henrik Winther

Abstract: For an almost product structure $J$ on a manifold $M$ of dimension $6$ with non-degenerate Nijenhuis tensor $N_J$, we show that the automorphism group $G=Aut(M,J)$ has dimension at most 14. In the case of equality $G$ is the exceptional Lie group $G_2^*$. The next possible symmetry dimension is proved to be equal to 10, and $G$ has Lie algebra $sp(4,R)$. Both maximal and submaximal symmetric struc… ▽ More For an almost product structure $J$ on a manifold $M$ of dimension $6$ with non-degenerate Nijenhuis tensor $N_J$, we show that the automorphism group $G=Aut(M,J)$ has dimension at most 14. In the case of equality $G$ is the exceptional Lie group $G_2^*$. The next possible symmetry dimension is proved to be equal to 10, and $G$ has Lie algebra $sp(4,R)$. Both maximal and submaximal symmetric structures are globally homogeneous and strictly nearly para-Kähler. We also demonstrate that whenever the symmetry dimension is at least 9, then the automorphism algebra acts locally transitively. △ Less

Submitted 16 May, 2017; v1 submitted 17 November, 2016; originally announced November 2016.

Comments: v2: several minor corrections and typos are fixed; reference list is updated

Reconstruction from Representations: Jacobi via Cohomology

Authors: Boris Kruglikov, Henrik Winther

Abstract: A subalgebra of a Lie algebra $\mathfrak{h}\subset\mathfrak{g}$ determines $\mathfrak{h}$-representation $ρ$ on $\mathfrak{m}=\mathfrak{g}/\mathfrak{h}$. In this note we discuss how to reconstruct $\mathfrak{g}$ from $(\mathfrak{h},\mathfrak{m},ρ)$. In other words, we find all the ingredients for building non-reductive Klein geometries. The Lie algebra cohomology plays a decisive role here. A subalgebra of a Lie algebra $\mathfrak{h}\subset\mathfrak{g}$ determines $\mathfrak{h}$-representation $ρ$ on $\mathfrak{m}=\mathfrak{g}/\mathfrak{h}$. In this note we discuss how to reconstruct $\mathfrak{g}$ from $(\mathfrak{h},\mathfrak{m},ρ)$. In other words, we find all the ingredients for building non-reductive Klein geometries. The Lie algebra cohomology plays a decisive role here. △ Less

Submitted 16 May, 2017; v1 submitted 15 November, 2016; originally announced November 2016.

Comments: v2: typo in the definition of q_sigma on p.3 is corrected; reference [9] updated

MSC Class: 17B56

On the symmetry algebras of 5-dimensional CR-manifolds

Authors: Alexander Isaev, Boris Kruglikov

Abstract: We show that for a real-analytic connected holomorphically nondegenerate 5-dimensional CR-hypersurface $M$ and its symmetry algebra $\mathfrak{s}$ one has either: (i) $\dim\mathfrak{s}=15$ and $M$ is spherical (with Levi form of signature either $(2,0)$ or $(1,1)$ everywhere), or (ii) $\dim\mathfrak{s}\le11$ where $\dim\mathfrak{s}=11$ can only occur if on a dense open subset $M$ is spherical with… ▽ More We show that for a real-analytic connected holomorphically nondegenerate 5-dimensional CR-hypersurface $M$ and its symmetry algebra $\mathfrak{s}$ one has either: (i) $\dim\mathfrak{s}=15$ and $M$ is spherical (with Levi form of signature either $(2,0)$ or $(1,1)$ everywhere), or (ii) $\dim\mathfrak{s}\le11$ where $\dim\mathfrak{s}=11$ can only occur if on a dense open subset $M$ is spherical with Levi form of signature $(1,1)$. Furthermore, we construct a series of examples of pairwise nonequivalent CR-hypersurfaces with $\dim\mathfrak{s}=11$. △ Less

Submitted 14 October, 2017; v1 submitted 20 July, 2016; originally announced July 2016.

Comments: A new example added to the last section, references updated and expanded

MSC Class: 32C05; 32V40

Submaximally Symmetric Almost Quaternionic Structures

Authors: Boris Kruglikov, Henrik Winther, Lenka Zalabova

Abstract: The symmetry dimension of a geometric structure is the dimension of its symmetry algebra. We investigate symmetries of almost quaternionic structures of quaternionic dimension $n$. The maximal possible symmetry is realized by the quaternionic projective space $\mathbb{H}P^n$, which is flat and has the symmetry algebra $\mathfrak{sl}(n+1,\mathbb{H})$ of dimension $4n^2+8n+3$. For non-flat almost qu… ▽ More The symmetry dimension of a geometric structure is the dimension of its symmetry algebra. We investigate symmetries of almost quaternionic structures of quaternionic dimension $n$. The maximal possible symmetry is realized by the quaternionic projective space $\mathbb{H}P^n$, which is flat and has the symmetry algebra $\mathfrak{sl}(n+1,\mathbb{H})$ of dimension $4n^2+8n+3$. For non-flat almost quaternionic manifolds we compute the next biggest (submaximal) symmetry dimension. We show that it is equal to $4n^2-4n+9$ for $n>1$ (it is equal to 8 for $n=1$). This is realized both by a quaternionic structure (torsion--free) and by an almost quaternionic structure with vanishing quaternionic Weyl curvature. △ Less

Submitted 7 July, 2016; originally announced July 2016.

Dispersionless integrable hierarchies and GL(2,R) geometry

Authors: E. V. Ferapontov, B. Kruglikov

Abstract: Paraconformal or $GL(2)$ geometry on an $n$-dimensional manifold $M$ is defined by a field of rational normal curves of degree $n-1$ in the projectivised cotangent bundle $\mathbb{P} T^*M$. Such geometry is known to arise on solution spaces of ODEs with vanishing Wünschmann (Doubrov-Wilczynski) invariants. In this paper we discuss yet another natural source of $GL(2)$ structures, namely dispersion… ▽ More Paraconformal or $GL(2)$ geometry on an $n$-dimensional manifold $M$ is defined by a field of rational normal curves of degree $n-1$ in the projectivised cotangent bundle $\mathbb{P} T^*M$. Such geometry is known to arise on solution spaces of ODEs with vanishing Wünschmann (Doubrov-Wilczynski) invariants. In this paper we discuss yet another natural source of $GL(2)$ structures, namely dispersionless integrable hierarchies of PDEs (for instance the dKP hierarchy). In the latter context, $GL(2)$ structures coincide with the characteristic variety (principal symbol) of the hierarchy. Dispersionless hierarchies provide explicit examples of various particularly interesting classes of $GL(2)$ structures studied in the literature. Thus, we obtain torsion-free $GL(2)$ structures of Bryant that appeared in the context of exotic holonomy in dimension four, as well as totally geodesic $GL(2)$ structures of Krynski. The latter, also known as involutive $GL(2)$ structures, possess a compatible affine connection (with torsion) and a two-parameter family of totally geodesic $α$-manifolds (coming from the dispersionless Lax equations), which makes them a natural generalisation of the Einstein-Weyl geometry. Our main result states that involutive $GL(2)$ structures are governed by a dispersionless integrable system. This establishes integrability of the system of Wünschmann conditions. △ Less

Submitted 14 November, 2018; v1 submitted 7 July, 2016; originally announced July 2016.

Comments: This version is further elaborated by providing some more details (especially about relation of compatibility operators to free resolutions). The results are the same but they are slightly rearranged. All Maple programs used in symbolic computations can be accessed as ancillary files in version arXiv:1607.01966v2

MSC Class: 35Q51; 37K10; 37K25; 53A40; 53B05; 53B50; 53C26; 53C80

Differential Invariants of Self-Dual conformal structures

Authors: Boris Kruglikov, Eivind Schneider

Abstract: We compute the quotient of the self-duality equation for conformal metrics by the action of the diffeomorphism group. We also determine Hilbert polynomial, counting the number of independent scalar differential invariants depending on the jet-order, and the corresponding Poincaré function. We describe the field of rational differential invariants separating generic orbits of the diffeomorphism pse… ▽ More We compute the quotient of the self-duality equation for conformal metrics by the action of the diffeomorphism group. We also determine Hilbert polynomial, counting the number of independent scalar differential invariants depending on the jet-order, and the corresponding Poincaré function. We describe the field of rational differential invariants separating generic orbits of the diffeomorphism pseudogroup action, resolving the local recognition problem for self-dual conformal structures. △ Less

Submitted 4 May, 2016; originally announced May 2016.

Jet-determination of symmetries of parabolic geometries

Authors: Boris Kruglikov, Dennis The

Abstract: We establish 2-jet determinacy for the symmetry algebra of the underlying structure of any (complex or real) parabolic geometry. At non-flat points, we prove that the symmetry algebra is in fact 1-jet determined. Moreover, we prove 1-jet determinacy at any point for a variety of non-flat parabolic geometries - in particular torsion-free, parabolic contact, and several other classes. We establish 2-jet determinacy for the symmetry algebra of the underlying structure of any (complex or real) parabolic geometry. At non-flat points, we prove that the symmetry algebra is in fact 1-jet determined. Moreover, we prove 1-jet determinacy at any point for a variety of non-flat parabolic geometries - in particular torsion-free, parabolic contact, and several other classes. △ Less

Submitted 12 December, 2016; v1 submitted 25 April, 2016; originally announced April 2016.

Comments: Some historical remarks and references added; text further polished and minor corrections made. The main changes concern: some formulations in the introduction, Remark 3.9, Theorem 6.6, Section 7.3

MSC Class: 58D19 (Primary); 57S25; 58K70; 22F30 (Secondary)

Journal ref: Math. Ann. (2017). https://doi.org/10.1007/s00208-017-1545-z

Conformal Differential Invariants

Authors: Boris Kruglikov

Abstract: We compute the Hilbert polynomial and the Poincare function counting the number of fixed jet-order differential invariants of conformal metric structures modulo local diffeomorphisms, and we describe the field of rational differential invariants separating generic orbits of the diffeomorphism pseudogroup action. This resolves the local recognition problem for conformal structures. We compute the Hilbert polynomial and the Poincare function counting the number of fixed jet-order differential invariants of conformal metric structures modulo local diffeomorphisms, and we describe the field of rational differential invariants separating generic orbits of the diffeomorphism pseudogroup action. This resolves the local recognition problem for conformal structures. △ Less

Submitted 22 April, 2016; originally announced April 2016.

Rigidity of 2-step Carnot groups

Authors: Mauricio Godoy Molina, Boris Kruglikov, Irina Markina, Alexander Vasil'ev

Abstract: In the present paper we study the rigidity of 2-step Carnot groups, or equivalently, of graded 2-step nilpotent Lie algebras. We prove the alternative that depending on bi-dimensions of the algebra, the Lie algebra structure makes it either always of infinite type or generically rigid, and we specify the bi-dimensions for each of the choices. Explicit criteria for rigidity of pseudo $H$- and $J$-t… ▽ More In the present paper we study the rigidity of 2-step Carnot groups, or equivalently, of graded 2-step nilpotent Lie algebras. We prove the alternative that depending on bi-dimensions of the algebra, the Lie algebra structure makes it either always of infinite type or generically rigid, and we specify the bi-dimensions for each of the choices. Explicit criteria for rigidity of pseudo $H$- and $J$-type algebras are given. In particular, we establish the relation of the so-called $J^2$-condition to rigidity, and we explore these conditions in relation to pseudo $H$-type algebras. △ Less

Submitted 21 May, 2017; v1 submitted 1 March, 2016; originally announced March 2016.

Comments: Except for minor polishing this version is enriched with two appendices concerning pseudo H-type algebras with J^2-condition. In Appendix A we relate these algebras to division algebras and their split versions. In Appendix B we relate these algebras to real graded simple Lie algebras

MSC Class: 17B30; 17B70; 16W55; 22E60

Veronese webs and nonlinear PDEs

Authors: Boris Kruglikov, Andriy Panasyuk

Abstract: Veronese webs are closely related to bi-Hamiltonian systems, as was shown by Gelfand and Zakharevich. Recently a correspondence between Veronese three-dimensional webs and three-dimensional Einstein-Weyl structures of hyper-CR type was established. The latter were parametrized by Dunajski and Krynski via the solutions of the dispersionless Hirota equation. In this paper we show relations of Verone… ▽ More Veronese webs are closely related to bi-Hamiltonian systems, as was shown by Gelfand and Zakharevich. Recently a correspondence between Veronese three-dimensional webs and three-dimensional Einstein-Weyl structures of hyper-CR type was established. The latter were parametrized by Dunajski and Krynski via the solutions of the dispersionless Hirota equation. In this paper we show relations of Veronese three-dimensional webs to several other integrable equations, deform these equations preserving integrability via a dispersionless Lax pair and compute the corresponding contact symmetries, Backlund transformations and Einstein-Weyl structures. Realization of Veronese webs through solutions of these deformed integrable PDE is based on a correspondence between partially integrable Nijenhuis operators to the operator fields with vanishing Nijenhuis tensor. This correspondence could be used to construct a link between bi-Hamiltonian finite-dimensional integrable systems and dispersionless integrable PDE related to the Veronese webs. △ Less

Submitted 23 February, 2016; originally announced February 2016.

Almost complex structures in 6D with nondegenerate Nijenhuis tensors and large symmetry groups

Authors: Boris Kruglikov, Henrik Winther

Abstract: For an almost complex structure $J$ in dimension 6 with nondegenerate Nijenhuis tensor $N_J$, the automorphism group $G=Aut(J)$ of maximal dimension is the exceptional Lie group $G_2$. In this paper we establish that the sub-maximal dimension of automorphism groups of almost complex structures with nondegenerate $N_J$, i.e. the largest realizable dimension that is less than 14, is $\dim G=10$. Nex… ▽ More For an almost complex structure $J$ in dimension 6 with nondegenerate Nijenhuis tensor $N_J$, the automorphism group $G=Aut(J)$ of maximal dimension is the exceptional Lie group $G_2$. In this paper we establish that the sub-maximal dimension of automorphism groups of almost complex structures with nondegenerate $N_J$, i.e. the largest realizable dimension that is less than 14, is $\dim G=10$. Next we prove that only 3 spaces realize this, and all of them are strictly nearly (pseudo-) Kähler and globally homogeneous. Moreover, we show that all examples with $\dim Aut(J)=9$ have semi-simple isotropy. △ Less

Submitted 22 December, 2015; originally announced December 2015.

The geodesic flow of a generic metric does not admit nontrivial integrals polynomial in momenta

Authors: Boris Kruglikov, Vladimir S. Matveev

Abstract: Any smooth geodesic flow is locally integrable with smooth integrals. We show that generically this fails if we require, in addition, that the integrals are polynomial (or, more generally, analytic) in momenta. Consequently we obtain that a generic real-analytic metric does not admit, even locally, a real-analytic integral. Any smooth geodesic flow is locally integrable with smooth integrals. We show that generically this fails if we require, in addition, that the integrals are polynomial (or, more generally, analytic) in momenta. Consequently we obtain that a generic real-analytic metric does not admit, even locally, a real-analytic integral. △ Less

Submitted 6 October, 2015; originally announced October 2015.

Comments: are welcome

Journal ref: Nonlinearity 29 (2016) 1755-1768

A short proof of the Dimension Conjecture for real hypersurfaces in ${\mathbb C}^2$

Authors: Alexander Isaev, Boris Kruglikov

Abstract: Recently, I. Kossovskiy and R. Shafikov have settled the so-called Dimension Conjecture, which characterizes spherical hypersurfaces in ${\mathbb C}^2$ via the dimension of the algebra of infinitesimal automorphisms. In this note, we propose a short argument for obtaining their result. Recently, I. Kossovskiy and R. Shafikov have settled the so-called Dimension Conjecture, which characterizes spherical hypersurfaces in ${\mathbb C}^2$ via the dimension of the algebra of infinitesimal automorphisms. In this note, we propose a short argument for obtaining their result. △ Less

Submitted 30 September, 2015; originally announced September 2015.

MSC Class: 32C05; 32V40

Submaximally symmetric CR-structures

Authors: Boris Kruglikov

Abstract: Hypersurface type CR-structures with non-degenerate Levi form on a manifold of dimension $(2n+1)$ have maximal symmetry dimension $n^2+4n+3$. We prove that the next (submaximal) possible dimension for a (local) symmetry algebra is $n^2+4$ for Levi-indefinite structures and $n^2+3$ for Levi-definite structures when $n>1$. In the exceptional case of CR-dimension $n=1$, the submaximal symmetry dimens… ▽ More Hypersurface type CR-structures with non-degenerate Levi form on a manifold of dimension $(2n+1)$ have maximal symmetry dimension $n^2+4n+3$. We prove that the next (submaximal) possible dimension for a (local) symmetry algebra is $n^2+4$ for Levi-indefinite structures and $n^2+3$ for Levi-definite structures when $n>1$. In the exceptional case of CR-dimension $n=1$, the submaximal symmetry dimension 3 was computed by E.\,Cartan. △ Less

Submitted 21 September, 2015; originally announced September 2015.

MSC Class: 32V20; 32M25; 57S20; 58J70

On integrability of certain rank 2 sub-Riemannian structures

Authors: Boris Kruglikov, Andreas Vollmer, Georgios Lukes-Gerakopoulos

Abstract: We discuss the integrability of rank 2 sub-Riemannian structures on low-dimensional manifolds, and then prove that some structures of that type in dimension 6, 7 and 8 have a lot of symmetry but no integrals polynomial in momenta of low degrees, except for those coming from the Killing fields and the Hamiltonian, thus indicating non-integrability of the corresponding geodesic flows. We discuss the integrability of rank 2 sub-Riemannian structures on low-dimensional manifolds, and then prove that some structures of that type in dimension 6, 7 and 8 have a lot of symmetry but no integrals polynomial in momenta of low degrees, except for those coming from the Killing fields and the Hamiltonian, thus indicating non-integrability of the corresponding geodesic flows. △ Less

Submitted 16 June, 2016; v1 submitted 11 July, 2015; originally announced July 2015.

Comments: In the second version we restructured the material, improved non-existence result in dimension 7 (to degree 6 using the modular approach), and updated references. We also refined the algorithm, and we attach the corresponding commented Maple file (together with PDF outputs of its work for several cases) as the supplement

Journal ref: Regular and Chaotic Dynamics, September 2017, Volume 22, Issue 5, pp 502-519

Submaximally symmetric c-projective structures

Authors: Boris Kruglikov, Vladimir Matveev, Dennis The

Abstract: C-projective structures are analogues of projective structures in the complex setting. The maximal dimension of the Lie algebra of c-projective symmetries of a complex connection on an almost complex manifold of C-dimension $n>1$ is classically known to be $2n^2+4n$. We prove that the submaximal dimension is equal to $2n^2-2n+4+2δ_{3,n}$. If the complex connection is minimal (encoded as a normal p… ▽ More C-projective structures are analogues of projective structures in the complex setting. The maximal dimension of the Lie algebra of c-projective symmetries of a complex connection on an almost complex manifold of C-dimension $n>1$ is classically known to be $2n^2+4n$. We prove that the submaximal dimension is equal to $2n^2-2n+4+2δ_{3,n}$. If the complex connection is minimal (encoded as a normal parabolic geometry), the harmonic curvature of the c-projective structure has three components and we specify the submaximal symmetry dimensions and the corresponding geometric models for each of these three pure curvature types. If the connection is non-minimal, we introduce a modified normalization condition on the parabolic geometry and use this to resolve the symmetry gap problem. We prove that the submaximal symmetry dimension in the class of Levi-Civita connections for pseudo-Kähler metrics is $2n^2-2n+4$, and specializing to the Kähler case, we obtain $2n^2-2n+3$. This resolves the symmetry gap problem for metrizable c-projective structures. △ Less

Submitted 30 November, 2015; v1 submitted 27 April, 2015; originally announced April 2015.

Comments: The manuscript was updated and revised. This version corrects some errors in Section 4 that do not influence the main results. The exposition is also slightly polished

Journal ref: Int. J. Math. 27, 1650022 (2016), 34 pages

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

Differential Invariants and Symmetry: Riemannian metrics and beyond

Authors: Boris Kruglikov

Abstract: We discuss Lie-Tresse theorem for the pseudogroup of diffeomorphisms acting on the space of (pseudo-)Riemannian metrics, and relate this to existence of Killing vector fields. Then we discuss the impact of symmetry in the general case. We discuss Lie-Tresse theorem for the pseudogroup of diffeomorphisms acting on the space of (pseudo-)Riemannian metrics, and relate this to existence of Killing vector fields. Then we discuss the impact of symmetry in the general case. △ Less

Submitted 10 February, 2015; originally announced February 2015.

A Bäcklund transformation between 4D Martínez Alonso -- Shabat and Ferapontov -- Khusnutdinova equations

Authors: Boris Kruglikov, Oleg Morozov

Abstract: We find a Bäcklund transformation between 4-dimensional Martínez Alonso -- Shabat and Ferapontov -- Khusnutdinova equations. We find a Bäcklund transformation between 4-dimensional Martínez Alonso -- Shabat and Ferapontov -- Khusnutdinova equations. △ Less

Submitted 27 January, 2015; originally announced February 2015.

Integrable dispersionless PDE in 4D, their symmetry pseudogroups and deformations

Authors: Boris Kruglikov, Oleg Morozov

Abstract: We study integrable non-degenerate Monge-Ampere equations of Hirota type in 4D and demonstrate that their symmetry algebras have a distinguished graded structure, uniquely determining the equations. This is used to deform these heavenly type equations into new integrable PDE of the second order with large symmetry pseudogroups. We classify the obtained symmetric deformations and discuss self-dual… ▽ More We study integrable non-degenerate Monge-Ampere equations of Hirota type in 4D and demonstrate that their symmetry algebras have a distinguished graded structure, uniquely determining the equations. This is used to deform these heavenly type equations into new integrable PDE of the second order with large symmetry pseudogroups. We classify the obtained symmetric deformations and discuss self-dual hyper-Hermitian geometry of their solutions, which encode integrability via the twistor theory. △ Less

Submitted 11 February, 2015; v1 submitted 26 October, 2014; originally announced October 2014.

Comments: This version is updated with an appendix about multi-component extensions of the integrable equations. Our deformations can be considered as reductions of such extensions (as they are reductions of the self-duality equation), but we stress that second order deformations carry the natural geometry which encodes integrability. We also expanded the introduction a bit

On the Einstein-Weyl and conformal self-duality equations

Authors: Maciej Dunajski, Eugene Ferapontov, Boris Kruglikov

Abstract: The equations governing anti-self-dual and Einstein-Weyl conformal geometries can be regarded as `master dispersionless systems' in four and three dimensions respectively. Their integrability by twistor methods has been established by Penrose and Hitchin. In this note we present, in specially adapted coordinate systems, explicit forms of the corresponding equations and their Lax pairs. In particul… ▽ More The equations governing anti-self-dual and Einstein-Weyl conformal geometries can be regarded as `master dispersionless systems' in four and three dimensions respectively. Their integrability by twistor methods has been established by Penrose and Hitchin. In this note we present, in specially adapted coordinate systems, explicit forms of the corresponding equations and their Lax pairs. In particular, we demonstrate that any Lorentzian Einstein-Weyl structure is locally given by a solution to the Manakov-Santini system, and we find a system of two coupled third-order scalar PDEs for a general anti-self-dual conformal structure in neutral signature. △ Less

Submitted 29 June, 2015; v1 submitted 30 May, 2014; originally announced June 2014.

Comments: More references added. Final version, to appear in JMP