Searcharxiv⌕ Search

arXiv subjects

Gianni Manno

Publications and source records attributed to Gianni Manno.

At least 19 recordsLinked to original sources

Sophus Lie's problem on two-dimensional metrics with projective symmetries: completing the local classification

We complete the local classification, up to isometry, of $2$-dimensional pseudo-Riemannian metrics (i.e. both Riemannian and Lorentzian), admitting a projective symmetry algebra of dimension at least two. The new contribution is the treatment of the non-regular case: we obtain a complete list of mutually non-isometric normal forms in neighbourhoods of points where the action of the projective Lie symmetry algebra fails to be regular, including all singular behaviours that can occur. Together with the known classification in the regular case, this completes the solution of the problem posed by Sophus Lie in 1882.

math.DG↗

Projectively equivalent para-Kaehler and para-Kaehler-Einstein metrics with non-parallel Benenti tensors and their normal forms in dimension four

The study of projectively equivalent metrics, i.e., metrics sharing the same unparametrized geodesics, is a classical and well-established area of investigation. In the Kaehler context, such branch of research goes by the name of c-projective geometry: it mainly studies c-projectively equivalent metrics, i.e., Kaehler metrics sharing the same curves that are the complex analogue of the geodesics, called J-planar, where J is the complex structure. In this paper, we develop the theory of the projective equivalence in the para-Kaehler context by studying para-Kaehler metrics sharing the same T-planar curves, where T is the para-complex structure: we call such metrics pc-projectively equivalent. After establishing some general results in arbitrary dimension, we focus on the 4-dimensional case. One of the main achievement is a local description of 4-dimensional pc-projectively (but not affinely) equivalent metrics and, as an application of this result, we characterize which of them are of Einstein type.

math.DG↗

Toric para-Kaehler-Einstein manifolds immersed in para-Kaehler space forms

A classical and long-staying problem addressed, among others, by Calabi and Chern, is that to find a complete list of mutually non-isometric Kaehler-Einstein manifolds immersed in a finite-dimensional Kaehler space form. We address the same problem in the para-Kaehler context and, then, we find a list of mutually non-isometric toric para-Kaehler manifolds analytically immersed in a finite-dimensional para-Kaehler space form

math.DG↗

Para-Kaehler immersions in 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.

math.DG↗

The c-projective symmetry algebras of Kähler surfaces

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.

math.DG↗

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

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.

math.DG↗

Projectively and affinely invariant PDEs on hypersurfaces

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.

math.DG↗

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

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.

math.DG↗

The moment map on the space of symplectic 3D Monge-Ampère equations

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.

math.DG↗

3-dimensional Levi-Civita metrics with projective vector fields

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.

math.DG↗

A general method to construct invariant PDEs on homogeneous manifolds

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.

math.DG↗

On Lie algebras responsible for integrability of (1+1)-dimensional scalar evolution PDEs

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.

nlin.SI↗

Normal forms of two-dimensional metrics admitting exactly one essential projective vector field

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.

math.DG↗

(Super-)integrable systems associated to 2-dimensional projective connections with one projective symmetry

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.

math.DG↗

Geometry of Lagrangian Grassmannians and nonlinear 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.

math.DG↗

Lie algebras responsible for zero-curvature representations of scalar evolution equations

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.

nlin.SI↗