Searcharxiv⌕ Search

arXiv subjects

Giovanni Moreno

Publications and source records attributed to Giovanni Moreno.

At least 19 recordsLinked to original sources
arXiv2026

Classifying Slice-Regular Polynomials via Group Actions on the Twistor Space

We study the equivalence classes of slice-regular functions $f:\Omega\to\mathbb{H}$ on a symmetric slice domain $\Omega$, and of their subclass made of polynomial slice-regular functions, with respect to the natural action of $\mathrm{PGL}(2,\mathbb{H})$ and its subgroups, by employing the twistor construction. In particular, we characterize slice--regular functions whose twistor lift is planar and belongs to a given orbit, and we find normal classes of slice-regular polynomials with respect to the action of a parabolic subgroup of $\mathrm{GL}(2,\mathbb{H})$.

math.DG↗
arXiv2025

Path signatures of ODE solutions

The signature of a path is a sequence of tensors which allows to uniquely reconstruct the path. By employing the geometric theory of nonlinear systems of ordinary differential equations, we find necessary and sufficient algebraic conditions on the signature tensors of a path to be a solution of a given system of ODEs. As an application, we describe in detail the systems of ODEs that describe the trajectories of a vector field, in particular a linear and Hamiltonian one.

math.AG↗
arXiv2024

Invariant Monge-Amp\`ere equations on contactified para-K\"ahler manifolds

We develop a method for describing invariant Monge-Amp\`ere 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↗
arXiv2023

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↗
arXiv2022

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↗
arXiv2020

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↗
arXiv2019

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↗
arXiv2019

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↗
arXiv2019

Complex contact manifolds, varieties of minimal rational tangents, and exterior differential systems

Complex contact manifolds arise naturally in differential geometry, algebraic geometry and exterior differential systems. Their classification would answer an important question about holonomy groups. The geometry of such manifold $X$ is governed by the contact lines contained in $X$. These are related to the notion of a variety of minimal rational tangents. In this review we discuss the partial classification theorems of projective complex contact manifolds. Among such manifolds one finds contact Fano manifolds (which include adjoint varieties) and projectivised cotangent bundles. In the first case we also discuss a distinguished contact cone structure, arising as the variety of minimal rational tangents. We discuss the repercussion of the aforementioned classification theorems for the geometry of quaternion-Kähler manifolds with positive scalar curvature and for the geometry of second-order PDEs imposed on hypersurfaces.

math.AG↗
arXiv2017

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

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}$.

math.DG↗
arXiv2017

Contact manifolds, Lagrangian Grassmannians and PDEs

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.

math.DG↗
arXiv2017

An introduction to completely exceptional $2^{\textrm{nd}}$ order scalar PDEs

In his 1954 paper about the initial value problem for 2D hyperbolic nonlinear PDEs, P. Lax declared that he had "a strong reason to believe" that there must exist a well-defined class of "not genuinely nonlinear" nonlinear PDEs. In 1978 G. Boillat coined the term "completely exceptional" to denote it. In the case of $2^{\textrm{nd}}$ order (nonlinear) PDEs, he also proved that this class reduces to the class of Monge-Ampère equations. We review here, against a unified geometric background, the notion of complete exceptionality, the definition of a Monge-Ampère equation, and the interesting link between them.

math.DG↗
arXiv2017

Geometry of the free-sliding Bernoulli beam

If a variational problem comes with no boundary conditions prescribed beforehand, and yet these arise as a consequence of the variation process itself, we speak of a free boundary values variational problem. Such is, for instance, the problem of finding the shortest curve whose endpoints can slide along two prescribed curves. There exists a rigorous geometric way to formulate this sort of problems on smooth manifolds with boundary, which we review here in a friendly self-contained way. As an application, we study a particular free boundary values variational problem, the free-sliding Bernoulli beam.

math.DG↗
arXiv2016

On a geometric framework for Lagrangian supermechanics

We re-examine classical mechanics with both commuting and anticommuting degrees of freedom. We do this by defining the phase dynamics of a general Lagrangian system as an implicit differential equation in the spirit of Tulczyjew. Rather than parametrising our basic degrees of freedom by a specified Grassmann algebra, we use arbitrary supermanifolds by following the categorical approach to supermanifolds.

math-ph↗
arXiv2016

Meta-Symplectic Geometry of $3^{\rm rd}$ Order Monge-Ampère Equations and their Characteristics

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.

math.DG↗
arXiv2016

Completely exceptional $2^\textrm{nd}$ order PDEs via conformal geometry and BGG resolution

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.

math.DG↗
arXiv2014

Symplectic structures related with higher order variational problems

In this paper we derive the symplectic framework for field theories defined by higher-order Lagrangians. The construction is based on the symplectic reduction of suitable spaces of iterated jets. The possibility of reducing a higher-order system of PDEs to a constrained first-order one, the symplectic structures naturally arising in the dynamics of a first-order Lagrangian theory, and the importance of the Poincaré-Cartan form for variational problems, are all well-established facts. However, their adequate combination corresponding to higher-order theories is missing in the literature. Here we obtain a consistent and truly finite-dimensional canonical formalism, as well as a higher-order version of the Poincaré-Cartan form. In our exposition, the rigorous global proofs of the main results are always accompanied by their local coordinate descriptions, indispensable to work out practical examples.

math.DG↗