-
Para-Kaehler immersions in para-Kaehler space forms
Authors:
Gianni Manno,
Filippo Salis
Abstract:
In this paper, we provide necessary and sufficient conditions for the existence of para-Kaehler immersions in para-Kaehler space forms. As a consequence, we prove that, in general, a local para-Kaehler immersion cannot be globally extended, even if it is defined on a simply connected para-Kaehler manifold. Finally, we classify para-Kaehler immersions between para-Kaehler space forms.
In this paper, we provide necessary and sufficient conditions for the existence of para-Kaehler immersions in para-Kaehler space forms. As a consequence, we prove that, in general, a local para-Kaehler immersion cannot be globally extended, even if it is defined on a simply connected para-Kaehler manifold. Finally, we classify para-Kaehler immersions between para-Kaehler space forms.
△ Less
Submitted 14 March, 2025;
originally announced March 2025.
-
$\mathbb{T}^n$-invariant Kaehler-Einstein manifolds immersed in complex projective spaces
Authors:
Gianni Manno,
Filippo Salis
Abstract:
We give a complete list, for $n \leq 6$, of non-isometric $\mathbb{T}^n$-invariant Kaehler-Einstein manifolds immersed in a finite dimensional complex projective space endowed with the Fubini-Study metric. This solves, in the aforementioned case, a classical and long-staying problem addressed among others by Calabi and Chern.
We give a complete list, for $n \leq 6$, of non-isometric $\mathbb{T}^n$-invariant Kaehler-Einstein manifolds immersed in a finite dimensional complex projective space endowed with the Fubini-Study metric. This solves, in the aforementioned case, a classical and long-staying problem addressed among others by Calabi and Chern.
△ Less
Submitted 17 July, 2024;
originally announced July 2024.
-
Invariant Monge-Ampère equations on contactified para-Kähler manifolds
Authors:
Dmitri Alekseevsky,
Gianni Manno,
Giovanni Moreno
Abstract:
We develop a method for describing invariant Monge-Ampère equations in the sense of V. Lychagin and T. Morimoto (MAE) on a homogeneous contact manifold $N$ of a semisimple Lie group $G$, which is the contactification of the homogeneous symplectic manifold $M = G/H = \mathrm{Ad}_G Z \subset \mathfrak{g}$, where $M$ is the adjoint orbit of a splittable closed element $Z $ of the Lie algebra…
▽ More
We develop a method for describing invariant Monge-Ampère equations in the sense of V. Lychagin and T. Morimoto (MAE) on a homogeneous contact manifold $N$ of a semisimple Lie group $G$, which is the contactification of the homogeneous symplectic manifold $M = G/H = \mathrm{Ad}_G Z \subset \mathfrak{g}$, where $M$ is the adjoint orbit of a splittable closed element $Z $ of the Lie algebra $\mathfrak{g} = \mathrm{Lie}(G)$. The method is then applied to a ten-dimensional semisimple orbit $M$ of the exceptional Lie group $\mathsf{G}_2$ and a complete list of mutually non-equivalent MAEs on $N$ is obtained.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
The c-projective symmetry algebras of Kähler surfaces
Authors:
Gianni Manno,
Jan Schumm,
Andreas Vollmer
Abstract:
Let $M$ be a Kähler manifold with complex structure $J$ and Kähler metric $g$. A c-projective vector field is a vector field on $M$ whose flow sends $J$-planar curves to $J$-planar curves, where $J$-planar curves are analogs of what (unparametrised) geodesics are for pseudo-Riemannian manifolds (without complex structure). The c-projective symmetry algebras of Kähler surfaces with essential (i.e.,…
▽ More
Let $M$ be a Kähler manifold with complex structure $J$ and Kähler metric $g$. A c-projective vector field is a vector field on $M$ whose flow sends $J$-planar curves to $J$-planar curves, where $J$-planar curves are analogs of what (unparametrised) geodesics are for pseudo-Riemannian manifolds (without complex structure). The c-projective symmetry algebras of Kähler surfaces with essential (i.e., non-affine) c-projective vector fields are computed.
△ Less
Submitted 6 December, 2024; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Third-order affine-invariant (systems of) PDEs in two independent variables as vanishing of the Fubini-Pick invariant
Authors:
Dmitri Alekseevsky,
Gianni Manno,
Giovanni Moreno
Abstract:
In this paper we study $3^{\mathrm{rd}}$ order (system of) PDEs in two independent variables $x,y$ and one unknown function $u$ that are invariant with respect to the group of affine transformation $\mathrm{Aff}(3)$ of $\mathbb{R}^3=\{(x,y,u)\}$. After proving their relationship with the Fubini-Pick invariant, we derive the aforementioned PDEs by using a general method introduced in [D.V. Alekseev…
▽ More
In this paper we study $3^{\mathrm{rd}}$ order (system of) PDEs in two independent variables $x,y$ and one unknown function $u$ that are invariant with respect to the group of affine transformation $\mathrm{Aff}(3)$ of $\mathbb{R}^3=\{(x,y,u)\}$. After proving their relationship with the Fubini-Pick invariant, we derive the aforementioned PDEs by using a general method introduced in [D.V. Alekseevsky, J. Gutt, G. Manno, and G. Moreno: A general method to construct invariant {PDEs} on homogeneous manifolds. Communications in Contemporary Mathematics (2021)], which sheds light on some of their geometrical properties.
△ Less
Submitted 10 April, 2024; v1 submitted 20 February, 2022;
originally announced February 2022.
-
3-dimensional Levi-Civita metrics with projective vector fields
Authors:
Gianni Manno,
Andreas Vollmer
Abstract:
Projective vector fields are the infinitesimal transformations whose local flow preserves geodesics up to reparametrisation. In 1882 Sophus Lie posed the problem of describing 2-dimensional metrics admitting a non-trivial projective vector field, which was solved in recent years. In the present paper, we solve the analog of Lie's problem in dimension 3, for Riemannian metrics and, more generally,…
▽ More
Projective vector fields are the infinitesimal transformations whose local flow preserves geodesics up to reparametrisation. In 1882 Sophus Lie posed the problem of describing 2-dimensional metrics admitting a non-trivial projective vector field, which was solved in recent years. In the present paper, we solve the analog of Lie's problem in dimension 3, for Riemannian metrics and, more generally, for Levi-Civita metrics of arbitrary signature.
△ Less
Submitted 2 December, 2021; v1 submitted 13 October, 2021;
originally announced October 2021.
-
The moment map on the space of symplectic 3D Monge-Ampère equations
Authors:
Jan Gutt,
Gianni Manno,
Giovanni Moreno,
Robert Śmiech
Abstract:
For any second-order scalar PDE $\mathcal{E}$ in one unknown function, that we interpret as a hypersurface of a second-order jet space $J^2$, we construct, by means of the characteristics of $\mathcal{E}$, a sub-bundle of the contact distribution of the underlying contact manifold $J^1$, consisting of conic varieties. We call it the contact cone structure associated with $\mathcal{E}$. We then foc…
▽ More
For any second-order scalar PDE $\mathcal{E}$ in one unknown function, that we interpret as a hypersurface of a second-order jet space $J^2$, we construct, by means of the characteristics of $\mathcal{E}$, a sub-bundle of the contact distribution of the underlying contact manifold $J^1$, consisting of conic varieties. We call it the contact cone structure associated with $\mathcal{E}$. We then focus on symplectic Monge-Ampère equations in 3 independent variables, that are naturally parametrized by a 13-dimensional real projective space. If we pass to the field of complex numbers $\mathbb{C}$, this projective space turns out to be the projectivization of the 14-dimensional irreducible representation of the simple Lie group $\mathsf{Sp}(6,\mathbb{C})$: the associated moment map allows to define a rational map $\varpi$ from the space of symplectic 3D Monge-Ampère equations to the projectivization of the space of quadratic forms on a $6$-dimensional symplectic vector space. We study in details the relationship between the zero locus of the image of $\varpi$, herewith called the cocharacteristic variety, and the contact cone structure of a 3D Monge-Ampère equation $\mathcal{E}$: under the hypothesis of non-degenerate symbol, we prove that these two constructions coincide. A key tool in achieving such a result will be a complete list of mutually non-equivalent quadratic forms on a $6$-dimensional symplectic space, which has an interest on its own.
△ Less
Submitted 25 July, 2023; v1 submitted 14 May, 2021;
originally announced May 2021.
-
2-dimensional Kähler-Einstein metrics induced by finite dimensional complex projective spaces
Authors:
Gianni Manno,
Filippo Salis
Abstract:
We give a complete list of non-isometric bidimensional rotation invariant Kähler-Einstein submanifolds of a finite dimensional complex projective space endowed with the Fubini-Study metric. This solves in the aforementioned case a classical and long-staying problem addressed among others in [5] and [24].
We give a complete list of non-isometric bidimensional rotation invariant Kähler-Einstein submanifolds of a finite dimensional complex projective space endowed with the Fubini-Study metric. This solves in the aforementioned case a classical and long-staying problem addressed among others in [5] and [24].
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
A general method to construct invariant PDEs on homogeneous manifolds
Authors:
Dmitri V. Alekseevsky,
Jan Gutt,
Gianni Manno,
Giovanni Moreno
Abstract:
Let $M = G/H$ be an $(n+1)$-dimensional homogeneous manifold and $J^k(n,M)=:J^k$ be the manifold of $k$-jets of hypersurfaces of $M$. The Lie group $G$ acts naturally on each $J^k$. A $G$-invariant PDE of order $k$ for hypersurfaces of $M$ (i.e., with $n$ independent variables and $1$ dependent one) is defined as a $G$-invariant hypersurface $\mathcal{E} \subset J^k$. We describe a general method…
▽ More
Let $M = G/H$ be an $(n+1)$-dimensional homogeneous manifold and $J^k(n,M)=:J^k$ be the manifold of $k$-jets of hypersurfaces of $M$. The Lie group $G$ acts naturally on each $J^k$. A $G$-invariant PDE of order $k$ for hypersurfaces of $M$ (i.e., with $n$ independent variables and $1$ dependent one) is defined as a $G$-invariant hypersurface $\mathcal{E} \subset J^k$. We describe a general method for constructing such invariant PDEs for $k\geq 2$. The problem reduces to the description of hypersurfaces, in a certain vector space, which are invariant with respect to the linear action of the stability subgroup $H^{(k-1)}$ of the $(k-1)$-prolonged action of $G$. We apply this approach to describe invariant PDEs for hypersurfaces in the Euclidean space $\mathbb{E}^{n+1 }$ and in the conformal space $\mathbb{S}^{n+1}$. Our method works under some mild assumptions on the action of $G$, namely:
A1) the group $G$ must have an open orbit in $J^{k-1}$, and
A2) the stabilizer $H^{(k-1)}\subset G$ of the fibre $J^k\to J^{k-1}$ must factorize via the group of translations of the fibre itself.
△ Less
Submitted 15 September, 2020; v1 submitted 8 April, 2020;
originally announced April 2020.
-
Projectively and affinely invariant PDEs on hypersurfaces
Authors:
Dmitri V. Alekseevsky,
Gianni Manno,
Giovanni Moreno
Abstract:
In [Alekseevsky, Gutt, Manno, Moreno: "A general method to construct invariant PDEs on homogeneous manifolds", Communications in Contemporary Mathematics (2021)] the authors have developed a method for constructing $G$-invariant PDEs imposed on hypersurfaces of an $(n+1)$-dimensional homogeneous space $G/H$, under mild assumptions on the Lie groups $G$. In the present paper the method is applied t…
▽ More
In [Alekseevsky, Gutt, Manno, Moreno: "A general method to construct invariant PDEs on homogeneous manifolds", Communications in Contemporary Mathematics (2021)] the authors have developed a method for constructing $G$-invariant PDEs imposed on hypersurfaces of an $(n+1)$-dimensional homogeneous space $G/H$, under mild assumptions on the Lie groups $G$. In the present paper the method is applied to the case when $G=\mathsf{PGL}(n+1)$ or $G=\mathsf{Aff}(n+1)$ and the homogeneous space $G/H$ is the $(n+1)$-dimensional projective $\mathbb{P}^{n+1}$ or affine $\mathbb{A}^{n+1}$ space, respectively. The paper's main result is that projectively or affinely invariant PDEs with $n$ independent and one unknown variables are in one-to-one correspondence with $\mathsf{CO}(d,n-d)$-invariant hypersurfaces of the space of trace-free cubic forms in $n$ variables. Local descriptions are also provided.
△ Less
Submitted 23 March, 2024; v1 submitted 14 July, 2019;
originally announced July 2019.
-
(Super-)integrable systems associated to 2-dimensional projective connections with one projective symmetry
Authors:
Gianni Manno,
Andreas Vollmer
Abstract:
Projective connections arise from equivalence classes of affine connections under the reparametrization of geodesics. They may also be viewed as quotient systems of the classical geodesic equation. After studying the link between integrals of the (classical) geodesic flow and its associated projective connection, we turn our attention to 2-dimensional metrics that admit one projective vector field…
▽ More
Projective connections arise from equivalence classes of affine connections under the reparametrization of geodesics. They may also be viewed as quotient systems of the classical geodesic equation. After studying the link between integrals of the (classical) geodesic flow and its associated projective connection, we turn our attention to 2-dimensional metrics that admit one projective vector field, i.e. whose local flow sends unparametrized geodesics into unparametrized geodesics. We review and discuss the classification of these metrics, introducing special coordinates on the linear space of solutions to a certain system of partial differential equations, from which such metrics are obtained. Particularly, we discuss those that give rise to free second-order superintegrable Hamiltonian systems, i.e. which admit 2 additional, functionally independent quadratic integrals. We prove that these systems are parametrized by the 2-sphere, except for 6 exceptional points where the projective symmetry becomes homothetic.
△ Less
Submitted 3 May, 2019;
originally announced May 2019.
-
On Lie algebras responsible for integrability of (1+1)-dimensional scalar evolution PDEs
Authors:
Sergei Igonin,
Gianni Manno
Abstract:
Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable PDEs. In particular, Lax pairs for (1+1)-dimensional PDEs can be interpreted as ZCRs. In [arXiv:1303.3575], for any (1+1)-dimensional scalar evolution equation $E$, we defined a family of Lie algebras $F(E)$ which are responsible for all ZCRs of $E$ in the following sense. Representations of the algebras…
▽ More
Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable PDEs. In particular, Lax pairs for (1+1)-dimensional PDEs can be interpreted as ZCRs. In [arXiv:1303.3575], for any (1+1)-dimensional scalar evolution equation $E$, we defined a family of Lie algebras $F(E)$ which are responsible for all ZCRs of $E$ in the following sense. Representations of the algebras $F(E)$ classify all ZCRs of the equation $E$ up to local gauge transformations. In [arXiv:1804.04652] we showed that, using these algebras, one obtains necessary conditions for existence of a Bäcklund transformation between two given equations. The algebras $F(E)$ are defined in terms of generators and relations. In this paper we show that, using the algebras $F(E)$, one obtains some necessary conditions for integrability of (1+1)-dimensional scalar evolution PDEs, where integrability is understood in the sense of soliton theory. Using these conditions, we prove non-integrability for some scalar evolution PDEs of order $5$. Also, we prove a result announced in [arXiv:1303.3575] on the structure of the algebras $F(E)$ for certain classes of equations of orders $3$, $5$, $7$, which include KdV, mKdV, Kaup-Kupershmidt, Sawada-Kotera type equations. Among the obtained algebras for equations considered in this paper and in [arXiv:1804.04652], one finds infinite-dimensional Lie algebras of certain polynomial matrix-valued functions on affine algebraic curves of genus $1$ and $0$. In this approach, ZCRs may depend on partial derivatives of arbitrary order, which may be higher than the order of the equation $E$. The algebras $F(E)$ generalize Wahlquist-Estabrook prolongation algebras, which are responsible for a much smaller class of ZCRs.
△ Less
Submitted 1 February, 2020; v1 submitted 19 October, 2018;
originally announced October 2018.
-
The geometry of marked contact Engel structures
Authors:
Gianni Manno,
Pawel Nurowski,
Katja Sagerschnig
Abstract:
A contact twisted cubic structure (M,C,S) is a 5-dimensional manifold M together with a contact distribution C and a bundle S of twisted cubics that is compatible with the conformal symplectic form on C. In Engel's classical work, the Lie algebra of the exceptional Lie group G_2 was realized as the symmetry algebra of the most symmetric contact twisted cubic structure; we thus refer to this one as…
▽ More
A contact twisted cubic structure (M,C,S) is a 5-dimensional manifold M together with a contact distribution C and a bundle S of twisted cubics that is compatible with the conformal symplectic form on C. In Engel's classical work, the Lie algebra of the exceptional Lie group G_2 was realized as the symmetry algebra of the most symmetric contact twisted cubic structure; we thus refer to this one as the contact Engel structure. In the present paper we equip the contact Engel structure with a smooth section s: M-> S that `marks' a point in each twisted cubic. We study the local geometry of the resulting structures (M,C,S,s), which we call marked contact Engel structures. Equivalently, our study can be viewed as a study of foliations of M by curves whose tangent directions are everywhere contained in S. We provide a complete set of local invariants of marked contact Engel structures, we classify all homogeneous models with symmetry groups of dimension greater than 5, and we prove an analogue of the classical Kerr theorem from relativity.
△ Less
Submitted 17 September, 2018;
originally announced September 2018.
-
Geometry of Lagrangian Grassmannians and nonlinear PDEs
Authors:
Jan Gutt,
Gianni Manno,
Giovanni Moreno
Abstract:
This paper contains a thorough introduction to the basic geometric properties of the manifold of Lagrangian subspaces of a linear symplectic space, known as the Lagrangian Grassmannian. It also reviews the important relationship between hypersurfaces in the Lagrangian Grassmannian and second-order PDEs.
This paper contains a thorough introduction to the basic geometric properties of the manifold of Lagrangian subspaces of a linear symplectic space, known as the Lagrangian Grassmannian. It also reviews the important relationship between hypersurfaces in the Lagrangian Grassmannian and second-order PDEs.
△ Less
Submitted 25 February, 2019; v1 submitted 11 May, 2018;
originally announced May 2018.
-
On Lie algebras responsible for zero-curvature representations and Backlund transformations of (1+1)-dimensional scalar evolution PDEs
Authors:
Sergei Igonin,
Gianni Manno
Abstract:
Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable PDEs. In particular, Lax pairs for $(1+1)$-dimensional PDEs can be interpreted as ZCRs.
In [arXiv:1303.3575], for any $(1+1)$-dimensional scalar evolution equation $E$, we defined a family of Lie algebras $F(E)$ which are responsible for all ZCRs of $E$ in the following sense. Representations of the algeb…
▽ More
Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable PDEs. In particular, Lax pairs for $(1+1)$-dimensional PDEs can be interpreted as ZCRs.
In [arXiv:1303.3575], for any $(1+1)$-dimensional scalar evolution equation $E$, we defined a family of Lie algebras $F(E)$ which are responsible for all ZCRs of $E$ in the following sense. Representations of the algebras $F(E)$ classify all ZCRs of the equation $E$ up to local gauge transformations. Also, using these algebras, one obtains necessary conditions for existence of a Backlund transformation between two given equations. The algebras $F(E)$ are defined in [arXiv:1303.3575] in terms of generators and relations.
In this approach, ZCRs may depend on partial derivatives of arbitrary order, which may be higher than the order of the equation $E$. The algebras $F(E)$ generalize Wahlquist-Estabrook prolongation algebras, which are responsible for a much smaller class of ZCRs.
In this preprint we prove a number of results on $F(E)$ which were announced in [arXiv:1303.3575]. We present applications of $F(E)$ to the theory of Backlund transformations in more detail and describe the explicit structure (up to non-essential nilpotent ideals) of the algebras $F(E)$ for a number of equations of orders $3$ and $5$.
△ Less
Submitted 12 April, 2018;
originally announced April 2018.
-
Contact manifolds, Lagrangian Grassmannians and PDEs
Authors:
Olimjon Eshkobilov,
Gianni Manno,
Giovanni Moreno,
Katja Sagerschnig
Abstract:
In this paper we review a geometric approach to PDEs. We mainly focus on scalar PDEs in n independent variables and one dependent variable of order one and two, by insisting on the underlying (2n+1)-dimensional contact manifold and the so-called Lagrangian Grassmannian bundle over the latter. This work is based on a 30-hours Ph.D course given by two of the authors (GM and GM). As such, it was main…
▽ More
In this paper we review a geometric approach to PDEs. We mainly focus on scalar PDEs in n independent variables and one dependent variable of order one and two, by insisting on the underlying (2n+1)-dimensional contact manifold and the so-called Lagrangian Grassmannian bundle over the latter. This work is based on a 30-hours Ph.D course given by two of the authors (GM and GM). As such, it was mainly designed as a quick introduction to the subject for graduate students. But also the more demanding reader will be gratified, thanks to the frequent references to current research topics and glimpses of higher-level mathematics, found mostly in the last sections.
△ Less
Submitted 30 August, 2017; v1 submitted 9 August, 2017;
originally announced August 2017.
-
Normal forms of two-dimensional metrics admitting exactly one essential projective vector field
Authors:
Gianni Manno,
Andreas Vollmer
Abstract:
We give a complete list of mutually non-diffeomorphic normal forms for the two-dimensional metrics that admit one essential (i.e., non-homothetic) projective vector field. This revises a result from the literature and extends the results of two papers, by R.L. Bryant & G. Manno & V.S. Matveev (2008) and V.S. Matveev (2012) respectively, solving a problem posed by Sophus Lie in 1882.
We give a complete list of mutually non-diffeomorphic normal forms for the two-dimensional metrics that admit one essential (i.e., non-homothetic) projective vector field. This revises a result from the literature and extends the results of two papers, by R.L. Bryant & G. Manno & V.S. Matveev (2008) and V.S. Matveev (2012) respectively, solving a problem posed by Sophus Lie in 1882.
△ Less
Submitted 18 December, 2019; v1 submitted 18 May, 2017;
originally announced May 2017.
-
On Lie algebras responsible for zero-curvature representations of multicomponent (1+1)-dimensional evolution PDEs
Authors:
Sergei Igonin,
Gianni Manno
Abstract:
Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable $(1+1)$-dimensional PDEs. According to the preprint arXiv:1212.2199, for any given $(1+1)$-dimensional evolution PDE one can define a sequence of Lie algebras $F^p$, $p=0,1,2,3,\dots$, such that representations of these algebras classify all ZCRs of the PDE up to local gauge equivalence. ZCRs depending on d…
▽ More
Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable $(1+1)$-dimensional PDEs. According to the preprint arXiv:1212.2199, for any given $(1+1)$-dimensional evolution PDE one can define a sequence of Lie algebras $F^p$, $p=0,1,2,3,\dots$, such that representations of these algebras classify all ZCRs of the PDE up to local gauge equivalence. ZCRs depending on derivatives of arbitrary finite order are allowed. Furthermore, these algebras provide necessary conditions for existence of Backlund transformations between two given PDEs. The algebras $F^p$ are defined in arXiv:1212.2199 in terms of generators and relations.
In the present paper, we describe some methods to study the structure of the algebras $F^p$ for multicomponent $(1+1)$-dimensional evolution PDEs. Using these methods, we compute the explicit structure (up to non-essential nilpotent ideals) of the Lie algebras $F^p$ for the Landau-Lifshitz, nonlinear Schrodinger equations, and for the $n$-component Landau-Lifshitz system of Golubchik and Sokolov for any $n>3$. In particular, this means that for the $n$-component Landau-Lifshitz system we classify all ZCRs (depending on derivatives of arbitrary finite order), up to local gauge equivalence and up to killing nilpotent ideals in the corresponding Lie algebras.
The presented methods to classify ZCRs can be applied also to other $(1+1)$-dimensional evolution PDEs. Furthermore, the obtained results can be used for proving non-existence of Backlund transformations between some PDEs, which will be described in forthcoming publications.
△ Less
Submitted 21 March, 2017;
originally announced March 2017.
-
Hydrodynamic-type systems describing 2-dimensional polynomially integrable geodesic flows
Authors:
Gianni Manno,
Maxim V. Pavlov
Abstract:
Starting from a homogeneous polynomial in momenta of arbitrary order we extract multi-component hydrodynamic-type systems which describe 2-dimensional geodesic flows admitting the initial polynomial as integral. All these hydrodynamic-type systems are semi-Hamiltonian, thus implying that they are integrable according to the generalized hodograph method. Moreover, they are integrable in a construct…
▽ More
Starting from a homogeneous polynomial in momenta of arbitrary order we extract multi-component hydrodynamic-type systems which describe 2-dimensional geodesic flows admitting the initial polynomial as integral. All these hydrodynamic-type systems are semi-Hamiltonian, thus implying that they are integrable according to the generalized hodograph method. Moreover, they are integrable in a constructive sense as polynomial first integrals allow to construct generating equations of conservation laws. According to the multiplicity of the roots of the polynomial integral, we separate integrable particular cases.
△ Less
Submitted 10 December, 2016;
originally announced December 2016.
-
Lowest degree invariant 2nd order PDEs over rational homogeneous contact manifolds
Authors:
Dmitri V. Alekseevsky,
Jan Gutt,
Gianni Manno,
Giovanni Moreno
Abstract:
For each simple Lie algebra $\mathfrak{g}$ (excluding, for trivial reasons, type ${\sf C}$) we find the lowest possible degree of an invariant second-order PDE over the adjoint variety in $\mathbb{P}\mathfrak{g}$, a homogeneous contact manifold. Here a PDE $F(x^i,u,u_i,u_{ij})=0$ has degree $\le d$ if $F$ is a polynomial of degree $\le d$ in the minors of $(u_{ij})$, with coefficients functions of…
▽ More
For each simple Lie algebra $\mathfrak{g}$ (excluding, for trivial reasons, type ${\sf C}$) we find the lowest possible degree of an invariant second-order PDE over the adjoint variety in $\mathbb{P}\mathfrak{g}$, a homogeneous contact manifold. Here a PDE $F(x^i,u,u_i,u_{ij})=0$ has degree $\le d$ if $F$ is a polynomial of degree $\le d$ in the minors of $(u_{ij})$, with coefficients functions of the contact coordinates $x^i$, $u$, $u_i$ (e.g., Monge-Ampère equations have degree 1). For $\mathfrak{g}$ of type ${\sf A}$ or ${\sf G}$ we show that this gives all invariant second-order PDEs. For $\mathfrak{g}$ of type ${\sf B}$ and ${\sf D}$ we provide an explicit formula for the lowest-degree invariant second-order PDEs. For $\mathfrak{g}$ of type ${\sf E}$ and ${\sf F}$ we prove uniqueness of the lowest-degree invariant second-order PDE; we also conjecture that uniqueness holds in type ${\sf D}$.
△ Less
Submitted 2 October, 2017; v1 submitted 8 June, 2016;
originally announced June 2016.
-
Completely exceptional $2^\textrm{nd}$ order PDEs via conformal geometry and BGG resolution
Authors:
Jan Gutt,
Gianni Manno,
Giovanni Moreno
Abstract:
By studying the development of shock waves out of discontinuity waves, in 1954 P. Lax discovered a class of PDEs, which he called 'completely exceptional', where such a transition does not occur after a finite time. A straightforward integration of the completely exceptionality conditions allowed Boillat to show that such PDEs are actually of Monge-Ampere type. In this paper, we first recast these…
▽ More
By studying the development of shock waves out of discontinuity waves, in 1954 P. Lax discovered a class of PDEs, which he called 'completely exceptional', where such a transition does not occur after a finite time. A straightforward integration of the completely exceptionality conditions allowed Boillat to show that such PDEs are actually of Monge-Ampere type. In this paper, we first recast these conditions in terms of characteristics, and then we show that the completely exceptional PDEs, with 2 or 3 independent variables, can be described in terms of the conformal geometry of the Lagrangian Grassmannian, where they are naturally embedded. Moreover, for an arbitrary number of independent variables, we show that the space of r-th degree sections of the Lagrangian Grassmannian can be resolved via a BGG operator. In the particular case of 1st degree sections, i.e., hyperplane sections or, equivalently, Monge-Ampere equations, such operator is a close analog of the trace-free second fundamental form.
△ Less
Submitted 28 April, 2016;
originally announced April 2016.
-
Ordinary differential equations described by their Lie symmetry algebra
Authors:
Gianni Manno,
Francesco Oliveri,
Giuseppe Saccomandi,
Raffaele Vitolo
Abstract:
The theory of Lie remarkable equations, i.e. differential equations characterized by their Lie point symmetries, is reviewed and applied to ordinary differential equations. In particular, we consider some relevant Lie algebras of vector fields on $\mathbb{R}^k$ and characterize Lie remarkable equations admitted by the considered Lie algebras.
The theory of Lie remarkable equations, i.e. differential equations characterized by their Lie point symmetries, is reviewed and applied to ordinary differential equations. In particular, we consider some relevant Lie algebras of vector fields on $\mathbb{R}^k$ and characterize Lie remarkable equations admitted by the considered Lie algebras.
△ Less
Submitted 2 September, 2014;
originally announced September 2014.
-
On the extendability of parallel sections of linear connections
Authors:
Antonio J. Di Scala,
Gianni Manno
Abstract:
Let $π:E\to M$ be a vector bundle over a simply connected manifold and $\nabla$ a linear connection in $π$. Let $σ: U \rightarrow E$ be a $\nabla$-parallel section of $π$ defined on a connected open subset $U$ of $M$. We give sufficient conditions on $U$ in order to extend $σ$ to the whole $M$. We mainly concentrate to the case when $M$ is a $2$-dimensional simply connected manifold.
Let $π:E\to M$ be a vector bundle over a simply connected manifold and $\nabla$ a linear connection in $π$. Let $σ: U \rightarrow E$ be a $\nabla$-parallel section of $π$ defined on a connected open subset $U$ of $M$. We give sufficient conditions on $U$ in order to extend $σ$ to the whole $M$. We mainly concentrate to the case when $M$ is a $2$-dimensional simply connected manifold.
△ Less
Submitted 29 May, 2014;
originally announced May 2014.
-
Meta-Symplectic Geometry of $3^{\rm rd}$ Order Monge-Ampère Equations and their Characteristics
Authors:
Gianni Manno,
Giovanni Moreno
Abstract:
This paper is a natural companion of [Alekseevsky D.V., Alonso Blanco R., Manno G., Pugliese F., Ann. Inst. Fourier (Grenoble) 62 (2012), 497-524, arXiv:1003.5177], generalising its perspectives and results to the context of third-order (2D) Monge-Ampère equations, by using the so-called "meta-symplectic structure" associated with the 8D prolongation $M^{(1)}$ of a 5D contact manifold $M$. We writ…
▽ More
This paper is a natural companion of [Alekseevsky D.V., Alonso Blanco R., Manno G., Pugliese F., Ann. Inst. Fourier (Grenoble) 62 (2012), 497-524, arXiv:1003.5177], generalising its perspectives and results to the context of third-order (2D) Monge-Ampère equations, by using the so-called "meta-symplectic structure" associated with the 8D prolongation $M^{(1)}$ of a 5D contact manifold $M$. We write down a geometric definition of a third-order Monge-Ampère equation in terms of a (class of) differential two-form on $M^{(1)}$. In particular, the equations corresponding to decomposable forms admit a simple description in terms of certain three-dimensional distributions, which are made from the characteristics of the original equations. We conclude the paper with a study of the intermediate integrals of these special Monge-Ampère equations, herewith called of Goursat type.
△ Less
Submitted 10 May, 2016; v1 submitted 14 March, 2014;
originally announced March 2014.
-
Lie algebras responsible for zero-curvature representations of scalar evolution equations
Authors:
Sergei Igonin,
Gianni Manno
Abstract:
Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable PDEs. In particular, Lax pairs for (1+1)-dimensional PDEs can be interpreted as ZCRs.
For any (1+1)-dimensional scalar evolution equation $E$, we define a family of Lie algebras $F(E)$ which are responsible for all ZCRs of $E$ in the following sense. Representations of the algebras $F(E)$ classify all ZCR…
▽ More
Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable PDEs. In particular, Lax pairs for (1+1)-dimensional PDEs can be interpreted as ZCRs.
For any (1+1)-dimensional scalar evolution equation $E$, we define a family of Lie algebras $F(E)$ which are responsible for all ZCRs of $E$ in the following sense. Representations of the algebras $F(E)$ classify all ZCRs of the equation $E$ up to local gauge transformations. To achieve this, we find a normal form for ZCRs with respect to the action of the group of local gauge transformations.
As we show in other publications, using these algebras, one obtains some necessary conditions for integrability of the considered PDEs (where integrability is understood in the sense of soliton theory) and necessary conditions for existence of a Bäcklund transformation between two given equations. Examples of proving non-integrability and applications to obtaining non-existence results for Bäcklund transformations are presented in other publications as well.
In our approach, ZCRs may depend on partial derivatives of arbitrary order, which may be higher than the order of the equation $E$. The algebras $F(E)$ generalize Wahlquist-Estabrook prolongation algebras, which are responsible for a much smaller class of ZCRs.
In this paper we describe general properties of $F(E)$ and present generators and relations for these algebras. In other publications we study the structure of $F(E)$ for equations of KdV, Krichever-Novikov, Kaup-Kupershmidt, Sawada-Kotera types. Among the obtained algebras, one finds infinite-dimensional Lie algebras of certain matrix-valued functions on rational and elliptic algebraic curves.
△ Less
Submitted 18 October, 2018; v1 submitted 14 March, 2013;
originally announced March 2013.
-
Infinite-dimensional prolongation Lie algebras and multicomponent Landau-Lifshitz systems associated with higher genus curves
Authors:
S. Igonin,
J. van de Leur,
G. Manno,
V. Trushkov
Abstract:
The Wahlquist-Estabrook prolongation method constructs for some PDEs a Lie algebra that is responsible for Lax pairs and Backlund transformations of certain type. We present some general properties of Wahlquist-Estabrook algebras for (1+1)-dimensional evolution PDEs and compute this algebra for the n-component Landau-Lifshitz system of Golubchik and Sokolov for any $n\ge 3$.
We prove that the re…
▽ More
The Wahlquist-Estabrook prolongation method constructs for some PDEs a Lie algebra that is responsible for Lax pairs and Backlund transformations of certain type. We present some general properties of Wahlquist-Estabrook algebras for (1+1)-dimensional evolution PDEs and compute this algebra for the n-component Landau-Lifshitz system of Golubchik and Sokolov for any $n\ge 3$.
We prove that the resulting algebra is isomorphic to the direct sum of a 2-dimensional abelian Lie algebra and an infinite-dimensional Lie algebra L(n) of certain matrix-valued functions on an algebraic curve of genus $1+(n-3)2^{n-2}$. This curve was used by Golubchik, Sokolov, Skrypnyk, Holod in constructions of Lax pairs. Also, we find a presentation for the algebra L(n) in terms of a finite number of generators and relations. These results help to obtain a partial answer to the problem of classification of multicomponent Landau-Lifshitz systems with respect to Backlund transformations.
Furthermore, we construct a family of integrable evolution PDEs that are connected with the n-component Landau-Lifshitz system by Miura type transformations parametrized by the above-mentioned curve. Some solutions of these PDEs are described.
△ Less
Submitted 11 October, 2012; v1 submitted 13 September, 2012;
originally announced September 2012.
-
Contact geometry of multidimensional Monge-Ampère equations: characteristics, intermediate integrals and solutions
Authors:
Dmitri Alekseevsky,
Ricardo Alonso-Blanco,
Gianni Manno,
Fabrizio Pugliese
Abstract:
We study the geometry of multidimensional scalar $2^{nd}$ order PDEs (i.e. PDEs with $n$ independent variables) with one unknown function, viewed as hypersurfaces $\mathcal{E}$ in the Lagrangian Grassmann bundle $M^{(1)}$ over a $(2n+1)$-dimensional contact manifold $(M,\mathcal{C})$. We develop the theory of characteristics of the equation $\mathcal{E}$ in terms of contact geometry and of the geo…
▽ More
We study the geometry of multidimensional scalar $2^{nd}$ order PDEs (i.e. PDEs with $n$ independent variables) with one unknown function, viewed as hypersurfaces $\mathcal{E}$ in the Lagrangian Grassmann bundle $M^{(1)}$ over a $(2n+1)$-dimensional contact manifold $(M,\mathcal{C})$. We develop the theory of characteristics of the equation $\mathcal{E}$ in terms of contact geometry and of the geometry of Lagrangian Grassmannian and study their relationship with intermediate integrals of $\mathcal{E}$. After specifying the results to general Monge-Ampère equations (MAEs), we focus our attention to MAEs of type introduced by Goursat, i.e. MAEs of the form $$ \det|\frac{\partial^2 f}{\partial x^i\partial x^j}-b_{ij}(x,f,\nabla f)\|=0. $$ We show that any MAE of the aforementioned class is associated with an $n$-dimensional subdistribution $\mathcal{D}$ of the contact distribution $\mathcal{C}$, and viceversa. We characterize this Goursat-type equations together with its intermediate integrals in terms of their characteristics and give a criterion of local contact equivalence. Finally, we develop a method of solutions of a Cauchy problem, provided the existence of a suitable number of intermediate integrals.
△ Less
Submitted 26 March, 2010;
originally announced March 2010.
-
Generalized Landau-Lifshitz systems and Lie algebras associated with higher genus curves
Authors:
S. Igonin,
J. van de Leur,
G. Manno,
V. Trushkov
Abstract:
The Wahlquist-Estabrook prolongation method allows to obtain for some PDEs a Lie algebra that is responsible for Lax pairs and Backlund transformations of certain type. We study the Wahlquist-Estabrook algebra of the n-dimensional generalization of the Landau-Lifshitz equation and construct an epimorphism from this algebra onto an infinite-dimensional quasigraded Lie algebra L(n) of certain matr…
▽ More
The Wahlquist-Estabrook prolongation method allows to obtain for some PDEs a Lie algebra that is responsible for Lax pairs and Backlund transformations of certain type. We study the Wahlquist-Estabrook algebra of the n-dimensional generalization of the Landau-Lifshitz equation and construct an epimorphism from this algebra onto an infinite-dimensional quasigraded Lie algebra L(n) of certain matrix-valued functions on an algebraic curve of genus 1+(n-3)2^{n-2}. For n=3,4,5 we prove that the Wahlquist-Estabrook algebra is isomorphic to the direct sum of L(n) and a 2-dimensional abelian Lie algebra. Using these results, for any n a new family of Miura type transformations (differential substitutions) parametrized by points of the above mentioned curve is constructed. As a by-product, we obtain a representation of L(n) in terms of a finite number of generators and relations, which may be of independent interest.
△ Less
Submitted 28 November, 2008;
originally announced November 2008.
-
Normal forms for parabolic Monge-Ampere equations
Authors:
Ricardo Alonso Blanco,
Gianni Manno,
Fabrizio Pugliese
Abstract:
We find normal forms for parabolic Monge-Ampere equations. Of these, the most general one holds for any equation admitting a complete integral. Moreover, we explicitly give the determining equation for such integrals; restricted to the analytic case, this equation is shown to have solutions. The other normal forms exhaust the different classes of parabolic Monge-Ampere equations with symmetry pr…
▽ More
We find normal forms for parabolic Monge-Ampere equations. Of these, the most general one holds for any equation admitting a complete integral. Moreover, we explicitly give the determining equation for such integrals; restricted to the analytic case, this equation is shown to have solutions. The other normal forms exhaust the different classes of parabolic Monge-Ampere equations with symmetry properties, namely, the existence of classical or nonholonomic intermediate integrals. Our approach is based on the equivalence between parabolic Monge-Ampere equations and particular distributions on a contact manifold, and involves a classification of vector fields lying in the contact structure. These are divided into three types and described in terms of the simplest ones (characteristic fields of first order PDE's).
△ Less
Submitted 15 September, 2007; v1 submitted 4 July, 2007;
originally announced July 2007.
-
A solution of a problem of Sophus Lie: Normal forms of 2-dim metrics admitting two projective vector fields
Authors:
Robert L. Bryant,
Gianni Manno,
Vladimir S. Matveev
Abstract:
We give a complete list of normal forms for the 2-dimensional metrics that admit a transitive Lie pseudogroup of geodesic-preserving transformations and we show that these normal forms are mutually non-isometric. This solves a problem posed by Sophus Lie.
We give a complete list of normal forms for the 2-dimensional metrics that admit a transitive Lie pseudogroup of geodesic-preserving transformations and we show that these normal forms are mutually non-isometric. This solves a problem posed by Sophus Lie.
△ Less
Submitted 7 August, 2007; v1 submitted 24 May, 2007;
originally announced May 2007.
-
On the geometry of Grassmannian equivalent connections
Authors:
Gianni Manno
Abstract:
We introduce the equation of n-dimensional totally geodesic submanifolds of a manifold E as a submanifold of the second order jet space of n-dimensional submanifolds of E. Next we study the geometry of n-Grassmannian equivalent connections, that is linear connections without torsion admitting the same equation of n-dimensional totally geodesic submanifolds. We define the n-Grassmannian structure…
▽ More
We introduce the equation of n-dimensional totally geodesic submanifolds of a manifold E as a submanifold of the second order jet space of n-dimensional submanifolds of E. Next we study the geometry of n-Grassmannian equivalent connections, that is linear connections without torsion admitting the same equation of n-dimensional totally geodesic submanifolds. We define the n-Grassmannian structure as the equivalence class of such connections, recovering for n=1 the case of theory of projectively equivalent connections. By introducing the equation of parametrized n-dimensional totally geodesic submanifolds as a submanifold of the second order jet space of the trivial bundle on the space of parameters, we discover a relation of covering between the `parametrized' equation and the `unparametrized' one. After having studied symmetries of these equations, we discuss the case in which the space of parameters is equal to R^n.
△ Less
Submitted 18 April, 2006;
originally announced April 2006.
-
Geometric aspects of higher order variational principles on submanifolds
Authors:
Gianni Manno,
Raffaele Vitolo
Abstract:
The geometry of jets of submanifolds is studied, with special interest in the relationship with the calculus of variations. A new intrinsic geometric formulation of the variational problem on jets of submanifolds is given. Working examples are provided.
The geometry of jets of submanifolds is studied, with special interest in the relationship with the calculus of variations. A new intrinsic geometric formulation of the variational problem on jets of submanifolds is given. Working examples are provided.
△ Less
Submitted 2 July, 2008; v1 submitted 7 February, 2006;
originally announced February 2006.
-
Higher symmetries of the elliptic Euler-Darboux equation
Authors:
Diego Catalano Ferraioli,
Gianni Manno,
Fabrizio Pugliese
Abstract:
We find a remarkable subalgebra of higher symmetries of the elliptic Euler-Darboux equation. To this aim we map such equation into its hyperbolic analogue already studied by Shemarulin. Taking into consideration how symmetries and recursion operators transform by this complex contact transformation, we explicitly give the structure of this Lie algebra and prove that it is finitely generated. Fur…
▽ More
We find a remarkable subalgebra of higher symmetries of the elliptic Euler-Darboux equation. To this aim we map such equation into its hyperbolic analogue already studied by Shemarulin. Taking into consideration how symmetries and recursion operators transform by this complex contact transformation, we explicitly give the structure of this Lie algebra and prove that it is finitely generated. Furthermore, higher symmetries depending on jets up to second order are explicitly computed.
△ Less
Submitted 8 February, 2006;
originally announced February 2006.
-
On the symmetry structure of the minimal surface equation
Authors:
A. V. Kiselev,
G. Manno
Abstract:
An infinite sequence of commuting nonpolynomial contact symmetries of the two-dimensional minimal surface equation is constructed. Local and nonlocal conservation laws for $n$-dimensional minimal area surface equation are obtained by using the Noether identity.
An infinite sequence of commuting nonpolynomial contact symmetries of the two-dimensional minimal surface equation is constructed. Local and nonlocal conservation laws for $n$-dimensional minimal area surface equation are obtained by using the Noether identity.
△ Less
Submitted 26 October, 2004;
originally announced October 2004.
-
The geometry of finite order jets of submanifolds and the variational formalism
Authors:
Gianni Manno,
Raffaele Vitolo
Abstract:
We study the geometry of jets of submanifolds with special interest in the relationship with the calculus of variations. We give a new proof of the fact that higher order jets of submanifolds are affine bundles; as a by-product we obtain a new expression for the associated vector bundles. We use Green-Vinogradov formula to provide coordinate expressions for all variational forms, i.e., objects i…
▽ More
We study the geometry of jets of submanifolds with special interest in the relationship with the calculus of variations. We give a new proof of the fact that higher order jets of submanifolds are affine bundles; as a by-product we obtain a new expression for the associated vector bundles. We use Green-Vinogradov formula to provide coordinate expressions for all variational forms, i.e., objects in the finite-order variational sequence on jets of submanifolds. Finally, we formulate the variational problem in the framework of jets of submanifolds by an intrinsic geometric language, and connect it with the variational sequence. Detailed comparison with literature is provided throughout the paper.
△ Less
Submitted 6 November, 2003;
originally announced November 2003.
