Showing 1–50 of 53 results for author: Spiro, A

Flows of vector fields and the Kalman Theorem

Authors: Fabio Bagagiolo, Cristina Giannotti, Andrea Spiro, Marta Zoppello

Abstract: We give two proofs of the Kalman Theorem, alternative to the most common ones, which infer such a classical result of Control Theory using just very basic facts on flows of vector fields. These proofs are apt to be generalised in diverse directions -- in fact one of them has been already generalised, yielding new criteria for local controllability of non-linear real analytic controlled systems. We give two proofs of the Kalman Theorem, alternative to the most common ones, which infer such a classical result of Control Theory using just very basic facts on flows of vector fields. These proofs are apt to be generalised in diverse directions -- in fact one of them has been already generalised, yielding new criteria for local controllability of non-linear real analytic controlled systems. △ Less

Submitted 6 March, 2025; v1 submitted 10 December, 2024; originally announced December 2024.

Conformal models for hypercolumns in the primary visual cortex V1

Authors: D. V. Alekseevsky, A. Spiro

Abstract: We propose a differential geometric model of hypercolumns in the primary visual cortex V1 that combines features of the symplectic model of the primary visual cortex by A. Sarti, G. Citti and J. Petitot and of the spherical model of hypercolumns by P. Bressloff and J. Cowan. The model is based on classical results in Conformal Geometry. We propose a differential geometric model of hypercolumns in the primary visual cortex V1 that combines features of the symplectic model of the primary visual cortex by A. Sarti, G. Citti and J. Petitot and of the spherical model of hypercolumns by P. Bressloff and J. Cowan. The model is based on classical results in Conformal Geometry. △ Less

Submitted 26 October, 2024; originally announced October 2024.

Comments: 18 pages - This is the second of the two separate papers, in which "D.V.Alekseevsky and A. Spiro, Conformal models for hypercolumns and the visual V1 cortex'', posted on arXiv on 2022, has been split. The other paper is "D.V.Alekseevsky and A. Spiro, The functional architecture of the early vision and neurogeometric models'', posted on arXiv as well

MSC Class: 92B99; 68T45

Einstein manifolds with optical geometries of Kerr type

Authors: Masoud Ganji, Cristina Giannotti, Gerd Schmalz, Andrea Spiro

Abstract: We classify the Ricci flat Lorentzian $n$-manifolds satisfying three particular conditions, encoding and combining some crucial features of the Kerr metrics and the Robinson-Trautman optical structures. We prove that: (a) If $n>4$, there is no Lorentzian manifold satisfying the considered Kerr type conditions, in unexpected contrast with what occurs for the metrics satisfying (very similar) Taub-N… ▽ More We classify the Ricci flat Lorentzian $n$-manifolds satisfying three particular conditions, encoding and combining some crucial features of the Kerr metrics and the Robinson-Trautman optical structures. We prove that: (a) If $n>4$, there is no Lorentzian manifold satisfying the considered Kerr type conditions, in unexpected contrast with what occurs for the metrics satisfying (very similar) Taub-NUT type conditions; (b) If $n=4$ there are two large classes of such Kerr type manifolds. Each class consists of manifolds fibering over open Riemann surfaces, equipped with a metric of constant Gaussian curvature $κ= 1$ or $κ= -1$. The first class includes a three parameter family of metrics admitting real analytic extensions to $(\mathbb R^3 \setminus\{0\}) \times \mathbb R = (S^2 \times \mathbb R_+) \times \mathbb R$ and a large class of other metrics not admitting this kind of extensions. The metrics of this first class admitting such extensions are all isometric to the well known Kerr metrics, with the three parameters corresponding to the three space-like components of the angular momentum of the gravitational field. The second class contains a subclass of metrics defined on $\big(\mathbb D\times \mathbb R_+\big)\times \mathbb R$, where $\mathbb D$ is the Lobachevsky Poincaré disc. This subclass is in bijection with the holomorphic functions on $\mathbb D$ satisfying an appropriate open condition. These and other results are consequences of a very simple way to construct totally explicit examples of Ricci flat Lorentzian manifolds. △ Less

Submitted 21 August, 2024; v1 submitted 23 May, 2024; originally announced May 2024.

Comments: 47 pages; in v2, the only changes are in the Abstract and the Introduction, which are expanded and improved with additional references

MSC Class: 53B30; 83C05

Journal ref: Ann. Physics, 474 (2025), Paper No. 169908

Distributions and controllability problems (II)

Authors: Cristina Giannotti, Andrea Spiro, Marta Zoppello

Abstract: In [C. Giannotti, A. Spiro, M. Zoppello, {\it Distributions and controllability problems (I)}, preprint posted on ArXiv (2024)], we introduced a new approach to the real analytic non-linear control systems of the form $\dot q^i = f^i(t, q, w)$, with controls $w = (w^α)$ running in a connected open set $\mathcal{K}$ of $ \mathbb{R}^m$ and states represented by points $q = (q^i)$ in a configuration… ▽ More In [C. Giannotti, A. Spiro, M. Zoppello, {\it Distributions and controllability problems (I)}, preprint posted on ArXiv (2024)], we introduced a new approach to the real analytic non-linear control systems of the form $\dot q^i = f^i(t, q, w)$, with controls $w = (w^α)$ running in a connected open set $\mathcal{K}$ of $ \mathbb{R}^m$ and states represented by points $q = (q^i)$ in a configuration space $\mathcal{Q} := \mathbb{R}^n$. The new approach consists of a differential-geometric study of (a) the oriented piecewise regular curves in the {\it extended space-time} $\mathcal{M} = \mathbb{R} \times \mathcal{Q} \times \mathcal{K}$, which are the (completed) graphs of the piecewise real analytic solutions $t \mapsto (q(t), w(t))$ of the control system, and (b) the local structure of the sets of points of $\mathcal{M}$ that are reachable from an initial point $x_o = (t_o, q_o, w_o) \in \mathcal{M}$ through such (completed) graphs. The main results of that paper are two new criterions which can be used to establish the small time local controllability near stable points of real analytic non-linear systems. The goal of this paper is to offer a friendly user's guide to those criterions, illustrating them by several examples. In particular, we analyse certain non-linear control systems, for which the new criterions show that they are small time locally controllable at their stable points, while, at the best of our knowledge, all other previous criterions are either inconclusive or not applicable. △ Less

Submitted 13 June, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Comments: 23 pages, 2 figures This paper is a revision of the previous manuscript, now we removed an unnecessary assumption, enhancing in this way all results, which now hold in a much more general setting

MSC Class: 93B03; 93B05; 34H05

Distributions and controllability problems (I)

Authors: Cristina Giannotti, Andrea Spiro, Marta Zoppello

Abstract: We consider a non-linear real analytic control system of first order $\dot q^i = f^i(t, q, w)$, with controls $w = (w^α)$ in a connected open set $\mathcal{K} \subset \mathbb{R}^m$ and configurations $q = (q^i)$ in $\mathcal{Q} := \mathbb{R}^n$. The set of points in the extended space-time $\mathcal{M} = \mathbb{R} \times \mathcal{Q} \times \mathcal{K}$, which can be reached from a triple… ▽ More We consider a non-linear real analytic control system of first order $\dot q^i = f^i(t, q, w)$, with controls $w = (w^α)$ in a connected open set $\mathcal{K} \subset \mathbb{R}^m$ and configurations $q = (q^i)$ in $\mathcal{Q} := \mathbb{R}^n$. The set of points in the extended space-time $\mathcal{M} = \mathbb{R} \times \mathcal{Q} \times \mathcal{K}$, which can be reached from a triple $x_o = (t_o , q_o, w_o) \in \mathcal{M}$ through a continuous graph completion $γ(s) = \big(t(s), q(t(s)), w(t(s))\big)$ of the graph of a solution $t \to (q(t), w(t))$, $t \in [t_o ,t_o + T]$, with piecewise real analytic controls, is called the {\it $\mathcal{M}$-attainable set of $x_o$ in time $T$}. We prove that if $y_o$ is an $\mathcal{M}$-attainable point of $x_o$, a large set of other nearby $\mathcal{M}$-attainable points of $x_o$ can be determined starting directly from $y_o$ and applying an appropriate ordered composition of flows of vector fields in a distinguished distribution $\mathcal{D}^{II} \subset T \mathcal{M}$, canonically associated with the control system. We then determine sufficient conditions for such neighbouring points to constitute an orbit of the pseudogroup of local diffeomorphisms generated by the vector fields in $\mathcal{D}^{II}$. If such conditions are satisfied and if the tangent spaces of these orbits have maximal rank projections onto $\mathcal{Q}$, the control system is locally accessible and has the small time local controllability property near the state points of equilibrium. These results lead to new proofs of classical local controllability criterions and yield new methods to establish the accessibility and the small time local controllability of non-linear control systems. △ Less

Submitted 13 June, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Comments: 50 pages, 3 figures This paper is a revision of the previous manuscript, now we removed an unnecessary assumption, enhancing in this way all results, which now hold in a much more general setting

MSC Class: 93B03; 93B05; 34H05

Proving the Chow-Rashevskii Theorem à la Rashevskii

Authors: Cristina Giannotti, Andrea Spiro, Marta Zoppello

Abstract: We give a new independent proof of a generalised version of the theorem by Rashevskii, which appeared in [Uch. Zapiski Ped. Inst. K. 2 (1938), 83 -- 94] and from which the classical Chow-Rashevskii Theorem follows as a corollary. The proof is structured to allow generalisations to the case of orbits of compositions of flows in absence of group structures, thus appropriate for applications in Contr… ▽ More We give a new independent proof of a generalised version of the theorem by Rashevskii, which appeared in [Uch. Zapiski Ped. Inst. K. 2 (1938), 83 -- 94] and from which the classical Chow-Rashevskii Theorem follows as a corollary. The proof is structured to allow generalisations to the case of orbits of compositions of flows in absence of group structures, thus appropriate for applications in Control Theory. In fact, the same structure of the proof has been successfully exploited in [C. Giannotti, A. Spiro and M. Zoppello, arXiv 2401.07555 \& 2401.07560 (2024)] to determine new controllability criteria for real analytic non-linear control systems. It also yields a corollary, which can be used to derive results under lower regularity assumptions, as it is illustrated by a simple explicit example. △ Less

Submitted 17 July, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Comments: 20 pages. In the new version there are minor corrections and we added an explicit example of application of our theorem. To appear on "Hokkaido Math. J."

MSC Class: 58A30; 34H05; 58J60

The Levi-Civita connections of manifolds with prescribed optical geometries

Authors: Dmitri V. Alekseevsky, Masoud Ganji, Gerd Schmalz, Andrea Spiro

Abstract: We explicitly derive the Christoffel symbols in terms of adapted frame fields for the Levi-Civita connection of a Lorentzian $n$-manifold $(M, g)$, equipped with a prescribed optical geometry of Kähler-Sasaki type. The formulas found in this paper have several important applications, such as determining the geometric invariants of Lorentzian manifolds with prescribed optical geometries or solving… ▽ More We explicitly derive the Christoffel symbols in terms of adapted frame fields for the Levi-Civita connection of a Lorentzian $n$-manifold $(M, g)$, equipped with a prescribed optical geometry of Kähler-Sasaki type. The formulas found in this paper have several important applications, such as determining the geometric invariants of Lorentzian manifolds with prescribed optical geometries or solving curvature constraints. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Special Vinberg cones, invariant admissible cubics and special real manifolds

Authors: Dmitri V. Alekseevsky, Alessio Marrani, Andrea Spiro

Abstract: By Vinberg theory any homogeneous convex cone $\mathcal V$ may be realized as the cone of positive Hermitian matrices in a $T$-algebra of generalised matrices. The level hypersurfaces $\mathcal V_{q} \subset \mathcal V$ of homogeneous cubic polynomials $q$ with positive definite Hessian (symmetric) form $g_q := - \operatorname{Hess}(\log(q))|_{T \mathcal V_q}$ are the {\it special real manifolds}.… ▽ More By Vinberg theory any homogeneous convex cone $\mathcal V$ may be realized as the cone of positive Hermitian matrices in a $T$-algebra of generalised matrices. The level hypersurfaces $\mathcal V_{q} \subset \mathcal V$ of homogeneous cubic polynomials $q$ with positive definite Hessian (symmetric) form $g_q := - \operatorname{Hess}(\log(q))|_{T \mathcal V_q}$ are the {\it special real manifolds}. Such manifolds occur as scalar manifolds of the vector multiplets in $N=2$, $D=5$ supergravity and, through the $r$-map, correspond to Kähler scalar manifolds in $N = 2$ $D = 4$ supergravity. We offer a simplified exposition of the Vinberg theory in terms of $\operatorname{Nil}$-algebras (= the subalgebras of upper triangular matrices in Vinberg $T$-algebras) and we use it to describe all rational functions on a special Vinberg cone that are $G_0$- or $G'$- invariant, where $G_0$ is the unimodular subgroup of the solvable group $G$ acting simply transitively on the cone, and $G'$ is the unipotent radical of $G_0$. The results are used to determine $G_0$- and $G'$-invariant cubic polynomials $q$ that are {\it admissible} (i.e. such that the hypersurface $ \mathcal V_q=\{ q=1\}\cap \mathcal V $ has positive definite Hessian form $g_q$) for rank $2$ and rank $3$ special Vinberg cones. We get in this way examples of continuous families of non-homogeneous special real manifolds of cohomogeneity less than or equal to two. △ Less

Submitted 29 May, 2023; v1 submitted 3 January, 2023; originally announced January 2023.

Comments: 22 pages; v2 - a few changes in sect. 4.2, 4.3 and 5.3; all main results are unchanged; to appear in an AMS Contemporary Mathematics volume in honor of Alexandre Vinogradov

MSC Class: 83E50; 15B48; 32M15

The functional architecture of the early vision and neurogeometric models

Authors: Dmitri V. Alekseevsky, Andrea Spiro

Abstract: The initial sections of the paper give a concise presentation, specially designed for a mathematically oriented audience, of some of the most basic facts on the functional architecture of early vision. Such information is usually scattered in a variety of papers and books, which are not easily accessible by non-specialists. Our goal is thus to offer a handy and short introduction to this topics, w… ▽ More The initial sections of the paper give a concise presentation, specially designed for a mathematically oriented audience, of some of the most basic facts on the functional architecture of early vision. Such information is usually scattered in a variety of papers and books, which are not easily accessible by non-specialists. Our goal is thus to offer a handy and short introduction to this topics, which might be helpful for researchers willing to enter the area of the applications of modern Differential Geometry in studies on the visual systems, baptized neurogeometry by J. Petitot. We then offer a survey of three of the most important neurogeometric models: Petitot's contact model of the primary visual cortex, its extension to A. Sarti, G. Citti and J. Petitot's symplectic model, and P. C. Bressloff and J. D. Cowan's spherical model of hypercolumns. We finally discuss the main points of the so-called ``conformal model'' for hypercolumns (a model that was briefly presented in [D. V. Alekseevsky, Conformal model of hypercolumns in V1 cortex and the Moebius group, in ``Geometric science of information'', pp. 65--72, Springer, 2021] and given in detail in [D. V. Alekseevsky and A. Spiro, Conformal models for hypercolumns in the primary visual cortex V1, arXiv 2024]), which can be considered as a synthesis of the symplectic and the spherical models. △ Less

Submitted 26 October, 2024; v1 submitted 21 February, 2022; originally announced February 2022.

Comments: 39 pages, 2 figures -- The previous version v.2 has been split into two separate papers, corresponding to previous Part I and Part II. This v.3 is the first, the second is posted with the title "Conformal models for hypercolumns in the primary visual cortex V1''. The contents are basically unchanged, but the presentations is improved in many aspects. Many references are added

MSC Class: 92B99

On the Pontryagin Maximum Principle under differential constraints of higher order

Authors: Franco Cardin, Cristina Giannotti, Andrea Spiro

Abstract: Exploiting our previous results on higher order controlled Lagrangians in [Nonlinear Anal. {\bf 207} (2021), 112263], we derive here an analogue of the classical first order Pontryagin Maximum Principle (PMP) for cost minimising problems subjected to higher order differential constraints $\frac{d^k x^j}{dt^k} = f^j\big(t, x(t), \frac{d x}{dt}(t), \ldots, \frac{d^{k-1} x}{dt^{k-1}}(t), u(t)\big)$,… ▽ More Exploiting our previous results on higher order controlled Lagrangians in [Nonlinear Anal. {\bf 207} (2021), 112263], we derive here an analogue of the classical first order Pontryagin Maximum Principle (PMP) for cost minimising problems subjected to higher order differential constraints $\frac{d^k x^j}{dt^k} = f^j\big(t, x(t), \frac{d x}{dt}(t), \ldots, \frac{d^{k-1} x}{dt^{k-1}}(t), u(t)\big)$, $t \in [0,T]$, where $u(t)$ is a control curve in a compact set $K \subset \mathbb R^m$. This result and its proof can be considered as a detailed illustration of one of the claims of that previous paper, namely that the results of that paper, originally established in a smooth differential geometric framework, yield directly properties holding under much weaker and more common assumptions. In addition, for further clarifying our motivations, in the last section we display a couple of quick indications on how the two-step approach of this paper (i.e., a preliminary easy-to-get differential geometric discussion followed by a refining analysis to weaken the regularity assumptions) might be fruitfully exploited also in the context of control problems governed by partial differential equations or in studies on the dynamics of controlled mechanical systems. △ Less

Submitted 15 March, 2023; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: 43 pages, 2 figures; a few paragraphs added in several sections, with the purpose of clarifying some arguments; all results and proofs unchanged; to appear on Annales Polonici Mathematici

MSC Class: 49K15; 34H05

Special Vinberg Cones and the Entropy of BPS Extremal Black Holes

Authors: Dmitri V. Alekseevsky, Alessio Marrani, Andrea Spiro

Abstract: We consider the static, spherically symmetric and asymptotically flat BPS extremal black holes in ungauged N = 2 D = 4 supergravity theories, in which the scalar manifold of the vector multiplets is homogeneous. By a result of Shmakova on the BPS attractor equations, the entropy of this kind of black holes can be expressed only in terms of their electric and magnetic charges, provided that the inv… ▽ More We consider the static, spherically symmetric and asymptotically flat BPS extremal black holes in ungauged N = 2 D = 4 supergravity theories, in which the scalar manifold of the vector multiplets is homogeneous. By a result of Shmakova on the BPS attractor equations, the entropy of this kind of black holes can be expressed only in terms of their electric and magnetic charges, provided that the inverse of a certain quadratic map (uniquely determined by the prepotential of the theory) is given. This inverse was previously known just for the cases in which the scalar manifold of the theory is a homogeneous symmetric space. In this paper we use Vinberg's theory of homogeneous cones to determine an explicit expression for such an inverse, under the assumption that the scalar manifold is homogeneous, but not necessarily symmetric. As immediate consequence, we get a formula for the entropy of BPS black holes that holds in any model of N = 2 supergravity with homogeneous scalar manifold. △ Less

Submitted 6 July, 2023; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: 38 pages; v4: this version is the same of v3; only these comments are modified to announce that a detailed description of the correction of the computational error of v2 -- now fixed in v3 and in this version v4 - can be found in "Erratum to: Special Vinberg Cones and the Entropy of BPS Extremal Black Holes", published in JHEP 06 (2023) 192

Journal ref: JHEP 11 (2021) 100

Lorentzian manifolds with shearfree congruences and Kähler-Sasaki geometry

Authors: Dmitri V. Alekseevsky, Masoud Ganji, Gerd Schmalz, Andrea Spiro

Abstract: We study Lorentzian manifolds $(M, g)$ of dimension $n\geq 4$, equipped with a maximally twisting shearfree null vector field $p_o$, for which the leaf space $S = M/\{\exp t p_o\}$ is a smooth manifold. If $n = 2k$, the quotient $S = M/\{\exp t p_o\}$ is naturally equipped with a subconformal structure of contact type and, in the most interesting cases, it is a regular Sasaki manifold projecting o… ▽ More We study Lorentzian manifolds $(M, g)$ of dimension $n\geq 4$, equipped with a maximally twisting shearfree null vector field $p_o$, for which the leaf space $S = M/\{\exp t p_o\}$ is a smooth manifold. If $n = 2k$, the quotient $S = M/\{\exp t p_o\}$ is naturally equipped with a subconformal structure of contact type and, in the most interesting cases, it is a regular Sasaki manifold projecting onto a quantisable Kähler manifold of real dimension $2k -2$. Going backwards through this line of ideas, for any quantisable Kähler manifold with associated Sasaki manifold $S$, we give the local description of all Lorentzian metrics $g$ on the total spaces $M$ of $A$-bundles $π: M \to S$, $A = S^1, \mathbb R$, such that the generator of the group action is a maximally twisting shearfree $g$-null vector field $p_o$. We also prove that on any such Lorentzian manifold $(M, g)$ there exists a non-trivial generalized electromagnetic plane wave having $p_o$ as propagating direction field, a result that can be considered as a generalization of the classical $4$-dimensional Robinson Theorem. We finally construct a 2-parametric family of Einstein metrics on a trivial bundle $M = \mathbb R \times S$ for any prescribed value of the Einstein constant. If $\dim M = 4$, the Ricci flat metrics obtained in this way are the well-known Taub-NUT metrics. △ Less

Submitted 13 January, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 37 pages; in v4, we corrected a sign in (5.1) and, in cascade, made adjustments in the subsequent formulas; the changes correspond to a change of orientation and have no effect in any result; we also improved the presentation in Sections 2 and 4 and added ackowledgments

MSC Class: 83C20; 83C50; 53C25; 32V05; 32V30; 53C17

Control problems with differential constraints of higher order

Authors: Franco Cardin, Cristina Giannotti, Andrea Spiro

Abstract: We consider cost minimising control problems, in which the dynamical system is constrained by higher order differential equations of Euler-Lagrange type. Following ideas from a previous paper by the first and the third author, we prove that a curve of controls $u_o(t)$ and a set of initial conditions $σ_o$ gives an optimal solution for a control problem of the considered type if and only if an app… ▽ More We consider cost minimising control problems, in which the dynamical system is constrained by higher order differential equations of Euler-Lagrange type. Following ideas from a previous paper by the first and the third author, we prove that a curve of controls $u_o(t)$ and a set of initial conditions $σ_o$ gives an optimal solution for a control problem of the considered type if and only if an appropriate double integral is greater than or equal to zero along any homotopy $(u(t, s), σ(s))$ of control curves and initial data starting from $u_o(t) = u(t, 0)$ and $σ_o = σ(0)$. This property is called "Principle of Minimal Labour". From this principle we derive a generalisation of the classical Pontryagin Maximum Principle that holds under higher order differential constraints of Euler-Lagrange type and without the hypothesis of fixed initial data. △ Less

Submitted 26 January, 2021; v1 submitted 29 June, 2020; originally announced June 2020.

Comments: 44 pages, 3 figures; in v. 4, two overlooked terms are added to formula (5.22) and a few minor consequent corrections are made throughout the paper; no changes in proofs and results; to appear on Nonlinear Anal

MSC Class: 49J15; 34H05; 49J05

Hyperkähler cones and instantons on quaternionic Kähler manifolds

Authors: Chandrashekar Devchand, Massimiliano Pontecorvo, Andrea Spiro

Abstract: We present a novel approach to the study of Yang-Mills instantons on quaternionic Kähler manifolds, based on an extension of the harmonic space method of constructing instantons on hyperkähler manifolds. Our results establish a bijection between local equivalence classes of instantons on quaternionic Kähler manifolds M and equivalence classes of certain holomorphic maps on an appropriate SL_2(C)-b… ▽ More We present a novel approach to the study of Yang-Mills instantons on quaternionic Kähler manifolds, based on an extension of the harmonic space method of constructing instantons on hyperkähler manifolds. Our results establish a bijection between local equivalence classes of instantons on quaternionic Kähler manifolds M and equivalence classes of certain holomorphic maps on an appropriate SL_2(C)-bundle over the Swann bundle of M. △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: 35 pages

MSC Class: 70S15; 53C26; 14J60; 53C28

Pontryagin Maximum Principle and Stokes Theorem

Authors: Franco Cardin, Andrea Spiro

Abstract: We present a new geometric unfolding of a prototype problem of optimal control theory, the Mayer problem. This approach is crucially based on the Stokes Theorem and yields to a necessary and sufficient condition that characterizes the optimal solutions, from which the classical Pontryagin Maximum Principle is derived in a new insightful way. It also suggests generalizations in diverse directions o… ▽ More We present a new geometric unfolding of a prototype problem of optimal control theory, the Mayer problem. This approach is crucially based on the Stokes Theorem and yields to a necessary and sufficient condition that characterizes the optimal solutions, from which the classical Pontryagin Maximum Principle is derived in a new insightful way. It also suggests generalizations in diverse directions of such famous principle. △ Less

Submitted 18 April, 2019; v1 submitted 19 December, 2018; originally announced December 2018.

Comments: 21 pages, 7 figures; we corrected a few minor misprints, added a couple of references and inserted a new section (Sect. 7); to appear in Journal of Geometry and Physics

MSC Class: 49J15; 34H05

Instantons on hyperkähler manifolds

Authors: Chandrashekar Devchand, Massimiliano Pontecorvo, Andrea Spiro

Abstract: An instanton $(E, D)$ on a (pseudo-)hyperkähler manifold $M$ is a vector bundle $E$ associated to a principal $G$-bundle with a connection $D$ whose curvature is pointwise invariant under the quaternionic structures of $T_x M, \ x\in M$, and thus satisfies the Yang-Mills equations. Revisiting a construction of solutions, we prove a local bijection between gauge equivalence classes of instantons on… ▽ More An instanton $(E, D)$ on a (pseudo-)hyperkähler manifold $M$ is a vector bundle $E$ associated to a principal $G$-bundle with a connection $D$ whose curvature is pointwise invariant under the quaternionic structures of $T_x M, \ x\in M$, and thus satisfies the Yang-Mills equations. Revisiting a construction of solutions, we prove a local bijection between gauge equivalence classes of instantons on $M$ and equivalence classes of certain holomorphic functions taking values in the Lie algebra of $G^\mathbb{C}$ defined on an appropriate $SL_2(\mathbb{C})$-bundle over $M$. Our reformulation affords a streamlined proof of Uhlenbeck's Compactness Theorem for instantons on (pseudo-)hyperkähler manifolds. △ Less

Submitted 16 December, 2018; originally announced December 2018.

Comments: 35 pages

MSC Class: 70S15; 14D21; 53C28; 53C26; 32L05; 58D27

Journal ref: Annali di Matematica (2019)

On the geometric order of totally nondegenerate CR manifolds

Authors: Masoud Sabzevari, Andrea Spiro

Abstract: A CR manifold $M$, with CR distribution $\mathcal D^{10}\subset T^\mathbb C M$, is called {\it totally nondegenerate of depth $μ$} if: (a) the complex tangent space $T^\mathbb C M$ is generated by all complex vector fields that might be determined by iterated Lie brackets between at most $μ$ fields in $\mathcal D^{10} + \overline{\mathcal D^{10}}$; (b) for each integer $2 \leq k \leq μ-1$, the fam… ▽ More A CR manifold $M$, with CR distribution $\mathcal D^{10}\subset T^\mathbb C M$, is called {\it totally nondegenerate of depth $μ$} if: (a) the complex tangent space $T^\mathbb C M$ is generated by all complex vector fields that might be determined by iterated Lie brackets between at most $μ$ fields in $\mathcal D^{10} + \overline{\mathcal D^{10}}$; (b) for each integer $2 \leq k \leq μ-1$, the families of all vector fields that might be determined by iterated Lie brackets between at most $k$ fields in $\mathcal D^{10} + \overline{\mathcal D^{10}}$ generate regular complex distributions; (c) the ranks of the distributions in (b) have the {\it maximal values} that can be obtained amongst all CR manifolds of the same CR dimension and satisfying (a) and (b) -- this maximality property is the {\it total nondegeneracy} condition. In this paper, we prove that, for any Tanaka symbol $\frak m = \frak m^{-μ}+ \ldots + \frak m^{-1}$ of a totally nondegenerate CR manifold of depth $μ\geq 4$, the full Tanaka prolongation of $\frak m$ has trivial subspaces of degree $k \geq 1$, i.e. it has the form $\frak m^{-μ}+ \ldots + \frak m^{-1} + \frak g^0$. This result has various consequences. For instance it implies that any (local) CR automorphism of a regular totally nondegenerate CR manifold is uniquely determined by its first order jet at a fixed point of the manifold. It also gives a complete proof of a conjecture by Beloshapka on the group of automorphisms of homogeneous totally nondegenerate CR manifolds. △ Less

Submitted 29 September, 2019; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: A faulty argument in the proof of Proposition 5.6 is replaced by a correct one, the presentation of the proof of the main theorem (Section 5.4, p. 25) is improved and several misprints are corrected. To appear on Math. Z

MSC Class: 32V05; 32V40; 22F30; 22F50; 57S25

Regularity of Kobayashi metric

Authors: Giorgio Patrizio, Andrea Spiro

Abstract: We review some recent results on existence and regularity of Monge-Ampère exhaustions on the smoothly bounded strongly pseudoconvex domains, which admit at least one such exhaustion of sufficiently high regularity. A main consequence of our results is the fact that the Kobayashi pseudo-metric k on an appropriare open subset of each of the above domains is actually a smooth Finsler metric. The clas… ▽ More We review some recent results on existence and regularity of Monge-Ampère exhaustions on the smoothly bounded strongly pseudoconvex domains, which admit at least one such exhaustion of sufficiently high regularity. A main consequence of our results is the fact that the Kobayashi pseudo-metric k on an appropriare open subset of each of the above domains is actually a smooth Finsler metric. The class of domains to which our result apply is very large. It includes for instance all smoothly bounded strongly pseudoconvex complete circular domains and all their sufficiently small deformations. △ Less

Submitted 5 September, 2018; v1 submitted 26 October, 2017; originally announced October 2017.

Comments: 14 pages, 8 figures - The previously announced main result had a gap. In this new version the corrected statement is given. To appear on the volume "Geometric Complex Analysis - Proceedings of KSCV 12 Symposium"

MSC Class: 32Q45; 32U35; 32G05; 32W20

Propagation of regularity for Monge-Ampère exhaustions and Kobayashi metrics

Authors: Giorgio Patrizio, Andrea Spiro

Abstract: We prove that if a smoothly bounded strongly pseudoconvex domain $D \subset \mathbb C^n$, $n \geq 2$, admits at least one Monge-Ampère exhaustion smooth up to the boundary (i.e. a plurisubharmonic exhaustion $τ: \overline D \to [0,1]$, which is $\mathcal C^\infty$ at all points except possibly at the unique minimum point $x$ and with $u := \log τ$ satisfying the homogeneous complex Monge-Ampère eq… ▽ More We prove that if a smoothly bounded strongly pseudoconvex domain $D \subset \mathbb C^n$, $n \geq 2$, admits at least one Monge-Ampère exhaustion smooth up to the boundary (i.e. a plurisubharmonic exhaustion $τ: \overline D \to [0,1]$, which is $\mathcal C^\infty$ at all points except possibly at the unique minimum point $x$ and with $u := \log τ$ satisfying the homogeneous complex Monge-Ampère equation), then there exists a bounded open neighborhood $\mathcal U\subset D$ of the minimum point $x$, such that for each $y \in \mathcal U$ there exists a Monge-Ampère exhaustion with minimum at $y$. This yields that for each such domain $D$, the restriction to the subdomain $\mathcal U\subset D$ of the Kobayashi pseudo-metric $κ_D$ is a smooth Finsler metric for $\mathcal U$ and each pluricomplex Green function of $D$ with pole at a point $y \in \mathcal U$ is of class $\mathcal C^\infty$. The boundary of the maximal open subset having all such properties is also explicitly characterized. The result is a direct consequence of a general theorem on abstract complex manifolds with boundary, with Monge-Ampère exhaustions of regularity $\mathcal C^{k}$ for some $k \geq 5$. In fact, analogues of the above properties hold for each bounded strongly pseudoconvex complete circular domain with boundary of such weaker regularity. △ Less

Submitted 19 October, 2019; v1 submitted 27 July, 2017; originally announced July 2017.

Comments: 45 pages - Various misprints, the minimal regularity requirements of Thm.2.8 and a minor point in the proof of Prop. 5.4 have been corrected. The introduction is improved. A subsection on examples is inserted at the end. To appear on Ann. Mat. Pura Appl

MSC Class: 32Q45; 32U35; 32G05; 32W20

On transitive contact and $CR$ algebras

Authors: Stefano Marini, Costantino Medori, Mauro Nacinovich, Andrea Spiro

Abstract: We consider locally homogeneous $CR$ manifolds and show that, under a condition only depending on their underlying contact structure, their $CR$ automorphisms form a finite dimensional Lie group. We consider locally homogeneous $CR$ manifolds and show that, under a condition only depending on their underlying contact structure, their $CR$ automorphisms form a finite dimensional Lie group. △ Less

Submitted 12 June, 2017; originally announced June 2017.

Comments: 22 pages

MSC Class: 32V35

Monge-Ampère exhaustions of almost homogeneous manifolds

Authors: Morris Kalka, Giorgio Patrizio, Andrea Spiro

Abstract: We consider three fundamental classes of compact almost homogeneous manifolds and show that the complements of singular complex orbits in such manifolds are endowed with plurisubharmonic exhaustions satisfying complex homogeneous Monge-Ampère equations. This extends to a new family of mixed type examples various classical results on parabolic spaces and complexifications of symmetric spaces. Rigid… ▽ More We consider three fundamental classes of compact almost homogeneous manifolds and show that the complements of singular complex orbits in such manifolds are endowed with plurisubharmonic exhaustions satisfying complex homogeneous Monge-Ampère equations. This extends to a new family of mixed type examples various classical results on parabolic spaces and complexifications of symmetric spaces. Rigidity results on complex spaces modeled on such new examples are given. △ Less

Submitted 4 June, 2017; originally announced June 2017.

Comments: 21 pages; to appear on Asian Journal of Mathematics

MSC Class: 32U10; 32W20; 32M12

Structure equations of Levi degenerate CR hypersurfaces of uniform type

Authors: Costantino Medori, Andrea Spiro

Abstract: We explicitly determine the structure equations of 5-dimensional Levi 2-nondegenerate CR hypersurfaces, using our recently constructed canonical Cartan connection for this class of CR manifolds. We also give an outline of the basic properties of absolute parallelisms and Cartan connections, together with a brief discussion of the absolute parallelisms for such CR manifolds existing in the literatu… ▽ More We explicitly determine the structure equations of 5-dimensional Levi 2-nondegenerate CR hypersurfaces, using our recently constructed canonical Cartan connection for this class of CR manifolds. We also give an outline of the basic properties of absolute parallelisms and Cartan connections, together with a brief discussion of the absolute parallelisms for such CR manifolds existing in the literature. △ Less

Submitted 30 March, 2016; v1 submitted 25 October, 2015; originally announced October 2015.

Comments: 23 pages; in the new version Sect.2 is slightly shorter; to appear on Rendiconti del Seminario Matematico-Università e Politecnico di Torino

MSC Class: 32V05; 32V35; 53C10; 53C05

On pseudo-hyperkähler prepotentials

Authors: Chandrashekar Devchand, Andrea Spiro

Abstract: An explicit surjection from a set of (locally defined) unconstrained holomorphic functions on a certain submanifold of (Sp_1(C) \times C^{4n}) onto the set HK_{p,q} of local isometry classes of real analytic pseudo-hyperkähler metrics of signature (4p,4q) in dimension 4n is constructed. The holomorphic functions, called prepotentials, are analogues of Kähler potentials for Kähler metrics and provi… ▽ More An explicit surjection from a set of (locally defined) unconstrained holomorphic functions on a certain submanifold of (Sp_1(C) \times C^{4n}) onto the set HK_{p,q} of local isometry classes of real analytic pseudo-hyperkähler metrics of signature (4p,4q) in dimension 4n is constructed. The holomorphic functions, called prepotentials, are analogues of Kähler potentials for Kähler metrics and provide a complete parameterisation of HK_{p,q}. In particular, there exists a bijection between HK_{p,q} and the set of equivalence classes of prepotentials. This affords the explicit construction of pseudo-hyperkähler metrics from specified prepotentials. The construction generalises one due to Galperin, Ivanov, Ogievetsky and Sokatchev. Their work is given a coordinate-free formulation and complete, self-contained proofs are provided. An appendix provides a vital tool for this construction: a reformulation of real analytic G-structures in terms of holomorphic frame fields on complex manifolds. △ Less

Submitted 31 October, 2016; v1 submitted 26 February, 2015; originally announced February 2015.

Comments: 53 pages; v2: minor amendments to Def.4.1 and Theorem 4.5; a paragraph inserted in the proof of the latter; V3: minor changes; V4: minor changes/ typos corrected for journal version

Report number: AEI-2014-040 MSC Class: 53C26; 53C28; 53C10

Journal ref: J. Math. Phys. 57, 102501 (2016)

Lie algebras of conservation laws of variational ordinary differential equations

Authors: Emanuele Fiorani, Andrea Spiro

Abstract: We establish a new version of the first Noether Theorem, according to which the (equivalence classes of) first integrals of given Euler-Lagrange equations in one independent variable are in exact one-to-one correspondence with the (equivalence classes of) vector fields satisfying two simple geometric conditions, namely they simultaneously preserve the holonomy distribution of the jets space and th… ▽ More We establish a new version of the first Noether Theorem, according to which the (equivalence classes of) first integrals of given Euler-Lagrange equations in one independent variable are in exact one-to-one correspondence with the (equivalence classes of) vector fields satisfying two simple geometric conditions, namely they simultaneously preserve the holonomy distribution of the jets space and the action from which the Euler-Lagrange equations are derived. △ Less

Submitted 22 November, 2014; originally announced November 2014.

Comments: 32 pages; to appear on Journal of Geometry and Physics

MSC Class: 70S05; 70S10; 70G65

On the singular loci and the images of proper holomorphic maps from pseudoellipsoids

Authors: Cristina Giannotti, Andrea Spiro

Abstract: We prove a generalisation of Rudin's theorem on proper holomorphic maps from the unit ball to the case of proper holomorphic maps from pseudoellipsoids. We prove a generalisation of Rudin's theorem on proper holomorphic maps from the unit ball to the case of proper holomorphic maps from pseudoellipsoids. △ Less

Submitted 2 March, 2014; originally announced March 2014.

Comments: 15 pages; to appear on Mathematica Scandinavica

MSC Class: 32H35; 32A07

Modular data and regularity of Monge-Ampère exhaustions and of Kobayashi distance

Authors: Giorgio Patrizio, Andrea Spiro

Abstract: Regularity properties of intrinsic objects for a large class of Stein Manifolds, namely of Monge-Ampère exhaustions and Kobayashi distance, is interpreted in terms of modular data. The results lead to a construction of an infinite dimensional family of convex domains with squared Kobayashi distance of prescribed regularity properties. A new sharp refinement of Stoll's characterization of… ▽ More Regularity properties of intrinsic objects for a large class of Stein Manifolds, namely of Monge-Ampère exhaustions and Kobayashi distance, is interpreted in terms of modular data. The results lead to a construction of an infinite dimensional family of convex domains with squared Kobayashi distance of prescribed regularity properties. A new sharp refinement of Stoll's characterization of $\mathbb C^n$ is also given. △ Less

Submitted 17 January, 2014; originally announced January 2014.

Comments: 25 pages

MSC Class: 32W20; 32Q45; 32G05; 32Q57; 32E10

On moduli spaces of Ricci solitons

Authors: Fabio Podesta', Andrea Spiro

Abstract: We study deformations of shrinking Ricci solitons on a compact manifold M, generalising the classical theory of deformations of Einstein metrics. Using appropriate notions of twisted slices S_f inside the space of all Riemannian metrics on M, we define the infinitesimal solitonic deformations and the local solitonic pre-moduli spaces. We prove the existence of a finite dimensional submanifold of S… ▽ More We study deformations of shrinking Ricci solitons on a compact manifold M, generalising the classical theory of deformations of Einstein metrics. Using appropriate notions of twisted slices S_f inside the space of all Riemannian metrics on M, we define the infinitesimal solitonic deformations and the local solitonic pre-moduli spaces. We prove the existence of a finite dimensional submanifold of S_f x C^infty(M), which contains the pre-moduli space of solitons around a fixed shrinking Ricci soliton as an analytic subset. We define solitonic rigidity and give criteria which imply it. △ Less

Submitted 18 February, 2013; originally announced February 2013.

Comments: 18 pages

MSC Class: 53C25; 53C21

The equivalence problem for 5-dimensional Levi degenerate CR manifolds

Authors: Costantino Medori, Andrea Spiro

Abstract: Let M be a CR manifold of hypersurface type, which is Levi degenerate but also satisfying a k-nondegeneracy condition at all points. This might be only if dim M is greater than or equal to 5 and if dim M = 5, then k= 2 at all points. We prove that for any 5-dimensional, uniformly 2-nondegenerate CR manifold M there exists a canonical Cartan connection, modelled on a suitable projective completion… ▽ More Let M be a CR manifold of hypersurface type, which is Levi degenerate but also satisfying a k-nondegeneracy condition at all points. This might be only if dim M is greater than or equal to 5 and if dim M = 5, then k= 2 at all points. We prove that for any 5-dimensional, uniformly 2-nondegenerate CR manifold M there exists a canonical Cartan connection, modelled on a suitable projective completion of the tube over the future light cone {z\in C^3: (x^1)^2+(x^2)^2-(x^3)^2 = 0, x^3>0}. This determines a complete solution to the equivalence problem for this class of CR manifolds. △ Less

Submitted 3 June, 2013; v1 submitted 20 October, 2012; originally announced October 2012.

Comments: 37 pp; corrected several typos and some minor mistakes; simplified the arguments of section 7. Proofs and results unchanged. To appear on International Mathematical Research Notices

MSC Class: 32V05; 32V40; 53C10

Kähler Ricci solitons and deformation of complex structures

Authors: Fabio Podesta', Andrea Spiro

Abstract: Given a compact Fano Kähler manifold (M,J) with a Kähler Ricci soliton g, we consider smooth families {J_t} of complex deformations of (M,J) which are invariant under the action of a maximal torus T in the full isometry group of (M,g). We prove that, under a certain condition on the spectrum of the Laplacian of g, there exists a smooth family of T-invariant Kähler Ricci solitons g_t on every compl… ▽ More Given a compact Fano Kähler manifold (M,J) with a Kähler Ricci soliton g, we consider smooth families {J_t} of complex deformations of (M,J) which are invariant under the action of a maximal torus T in the full isometry group of (M,g). We prove that, under a certain condition on the spectrum of the Laplacian of g, there exists a smooth family of T-invariant Kähler Ricci solitons g_t on every complex manifold (M, J_t) with J_t sufficiently close to J. The result extends a theorem by Koiso on complex deformations of Kähler Einstein manifolds. △ Less

Submitted 8 June, 2012; v1 submitted 3 June, 2012; originally announced June 2012.

Comments: This preprint has been withdrawn by the authors. It stated a result which has been independently proved in a stronger version by H. Li in "Complex deformation of critical Kaehler metrics" posted in ArXiv:1206.0912 [math.DG]

Super-Poincare' algebras, space-times and supergravities (II)

Authors: Andrea Santi, Andrea Spiro

Abstract: The presentation of supergravity theories of our previous paper "Super-Poincare' algebras, space-times and supergravities (I)" is re-formulated in the language of Berezin-Leites-Kostant theory of supermanifolds. It is also shown that the equations of Cremmer, Julia and Scherk's theory of 11D-supergravity are equivalent to manifestly covariant equations on a supermanifold. The presentation of supergravity theories of our previous paper "Super-Poincare' algebras, space-times and supergravities (I)" is re-formulated in the language of Berezin-Leites-Kostant theory of supermanifolds. It is also shown that the equations of Cremmer, Julia and Scherk's theory of 11D-supergravity are equivalent to manifestly covariant equations on a supermanifold. △ Less

Submitted 31 August, 2011; originally announced August 2011.

Comments: 31 pages

MSC Class: 83E50; 58A50; 17B70

Journal ref: J. Math. Phys. 53, 032505 (2012)

Stationary disks and Green functions in almost complex domains

Authors: G. Patrizio, A. Spiro

Abstract: Using generalized Riemann maps, normal forms for almost complex domains (D, J) with singular foliations by stationary disks are defined. Such normal forms are used to construct counterexamples and to determine intrinsic conditions, under which the stationary disks are extremal disks for the Kobayashi metric or determine solutions to almost complex Monge-Ampere equation. Using generalized Riemann maps, normal forms for almost complex domains (D, J) with singular foliations by stationary disks are defined. Such normal forms are used to construct counterexamples and to determine intrinsic conditions, under which the stationary disks are extremal disks for the Kobayashi metric or determine solutions to almost complex Monge-Ampere equation. △ Less

Submitted 28 March, 2011; originally announced March 2011.

Comments: 25 pages

MSC Class: 32Q60; 32Q65; 32U35; 32G05

Six-dimensional nearly Kaehler manifolds of cohomogeneity one (II)

Authors: Andrea Spiro, Fabio Podesta'

Abstract: Let M be a six dimensional manifold, endowed with a cohomogeneity one action of G= SU_2 x SU_2, and M_reg its subset of regular points. We show that M_reg admits a smooth, 2-parameter family of G-invariant, non-isometric strict nearly Kaehler structures and that a 1-parameter subfamily of such structures smoothly extend over a singular orbit of type S^3. This determines a new class of examples of… ▽ More Let M be a six dimensional manifold, endowed with a cohomogeneity one action of G= SU_2 x SU_2, and M_reg its subset of regular points. We show that M_reg admits a smooth, 2-parameter family of G-invariant, non-isometric strict nearly Kaehler structures and that a 1-parameter subfamily of such structures smoothly extend over a singular orbit of type S^3. This determines a new class of examples of nearly Kaehler structures on TS^3 △ Less

Submitted 21 November, 2010; originally announced November 2010.

Super-Poincare' algebras, space-times and supergravities (I)

Authors: A. Santi, A. Spiro

Abstract: A new formulation of theories of supergravity as theories satisfying a generalized Principle of General Covariance is given. It is a generalization of the superspace formulation of simple 4D-supergravity of Wess and Zumino and it is designed to obtain geometric descriptions for the supergravities that correspond to the super Poincare' algebras of Alekseevsky and Cortes' classification. A new formulation of theories of supergravity as theories satisfying a generalized Principle of General Covariance is given. It is a generalization of the superspace formulation of simple 4D-supergravity of Wess and Zumino and it is designed to obtain geometric descriptions for the supergravities that correspond to the super Poincare' algebras of Alekseevsky and Cortes' classification. △ Less

Submitted 25 April, 2012; v1 submitted 11 November, 2010; originally announced November 2010.

Comments: 29 pages, v2: minor improvements at the end of Section 5.2

MSC Class: 83E50; 58A50; 17B70

Journal ref: Adv. Theor. Math. Phys. 16 no. 5 (2012), 1411-1441

Steepest descent curves of convex functions on surfaces of constant curvature

Authors: Cristina Giannotti, Andrea Spiro

Abstract: Let S be a complete surface of constant curvature K = + 1 or -1, i.e. the sphere S^2 or the Lobachevskij plane L^2, and D a bounded convex subset of S. If S = S^2, assume also diameter (D) < pi/2. It is proved that the length of any steepest descent curve of a quasi-convex function in D is less than or equal to the perimeter of D. This upper bound is actually proved for the class of G-curves, a fa… ▽ More Let S be a complete surface of constant curvature K = + 1 or -1, i.e. the sphere S^2 or the Lobachevskij plane L^2, and D a bounded convex subset of S. If S = S^2, assume also diameter (D) < pi/2. It is proved that the length of any steepest descent curve of a quasi-convex function in D is less than or equal to the perimeter of D. This upper bound is actually proved for the class of G-curves, a family of curves that naturally includes all steepest descent curves. In case S = S^2, it is also proved the existence of G-curves, whose length is equal to the perimeter of their convex hull, showing that the above estimate is indeed optimal. The results generalize theorems by Manselli and Pucci on steepest descent curves in the Euclidean plane. △ Less

Submitted 21 December, 2010; v1 submitted 28 March, 2010; originally announced March 2010.

Comments: 23 pages, 3 figures; this is a revised version, with minor changes in definitions and adjustments in the proofs of Lemma 3.3 and Theorem 5.1; accepted for publication in Israel Journal of Mathematics

6-dimensional nearly Kaehler manifolds of cohomogeneity one

Authors: Fabio Podesta', Andrea Spiro

Abstract: We consider 6-dimensional strict nearly Kaehler manifolds acted on by a compact, cohomogeneity one automorphism group G. We classify the compact manifolds of this class up to G-diffeomorphisms. We also prove that the manifold has constant sectional curvature whenever the group G is simple. We consider 6-dimensional strict nearly Kaehler manifolds acted on by a compact, cohomogeneity one automorphism group G. We classify the compact manifolds of this class up to G-diffeomorphisms. We also prove that the manifold has constant sectional curvature whenever the group G is simple. △ Less

Submitted 20 July, 2009; originally announced July 2009.

Comments: 14 pages

MSC Class: 53C25; 57S15

Foliations by stationary disks of almost complex domains

Authors: Giorgio Patrizio, Andrea Spiro

Abstract: We study the problem of existence of stationary disks for domains in almost complex manifolds. As a consequence of our results, we prove that any almost complex domains which is a small deformations of a strictly linearly convex domain $D \subset C^n$ with standard complex structure admits a singular foliation by stationary disks passing through any given internal point. Similar results are give… ▽ More We study the problem of existence of stationary disks for domains in almost complex manifolds. As a consequence of our results, we prove that any almost complex domains which is a small deformations of a strictly linearly convex domain $D \subset C^n$ with standard complex structure admits a singular foliation by stationary disks passing through any given internal point. Similar results are given for foliation by stationary disks through a given boundary point △ Less

Submitted 12 May, 2009; originally announced May 2009.

Comments: 22 pages

MSC Class: 32Q60; 32Q65; 32H40; 32G05.

The two ways of gauging the Poincare' group

Authors: A. Spiro, S. Tantucci

Abstract: A description of how a theory of gravity can be considered as a gauge theory (in the sense of Trautman) of the Poincare' group is given. As a result, it is shown that a gauge theory of this kind is consistent with the Equivalence Principle only if the Lagrangian and the constraints are preserved not only by the gauge transformations but also by an additional family of transformations, called "ps… ▽ More A description of how a theory of gravity can be considered as a gauge theory (in the sense of Trautman) of the Poincare' group is given. As a result, it is shown that a gauge theory of this kind is consistent with the Equivalence Principle only if the Lagrangian and the constraints are preserved not only by the gauge transformations but also by an additional family of transformations, called "pseudo-translations". Explicit expressions of pseudo-translations and of their action on gravitational gauge fields are given. They are expected to be useful for geometric interpretations of their analogues in supergravity theories. △ Less

Submitted 8 March, 2009; originally announced March 2009.

Comments: 21 pages

MSC Class: 58E30; 53Z05; 83E99

Journal ref: Int.J.Geom.Methods Mod.Phys.06 2009:1115-1134,2009

On the localization principle for the automorphisms of pseudoellipsoids

Authors: Mario Landucci, Andrea Spiro

Abstract: We show that Alexander's extendibility theorem for a local automorphism of the unit ball is valid also for a local automorphism $f$ of a pseudoellipsoid $\E^n_{(p_1, ..., p_{k})} \= \{z \in \C^n : \sum_{j= 1}^{n - k}|z_j|^2 + |z_{n-k+1}|^{2 p_1} + ... + |z_n|^{2 p_{k}} < 1 \}$, provided that $f$ is defined on a region $\U \subset \E^n_{(p)}$ such that: i) $\partial \U \cap \partial \E^n_{(p)}$ c… ▽ More We show that Alexander's extendibility theorem for a local automorphism of the unit ball is valid also for a local automorphism $f$ of a pseudoellipsoid $\E^n_{(p_1, ..., p_{k})} \= \{z \in \C^n : \sum_{j= 1}^{n - k}|z_j|^2 + |z_{n-k+1}|^{2 p_1} + ... + |z_n|^{2 p_{k}} < 1 \}$, provided that $f$ is defined on a region $\U \subset \E^n_{(p)}$ such that: i) $\partial \U \cap \partial \E^n_{(p)}$ contains an open set of strongly pseudoconvex points; ii) $\U \cap \{z_i = 0 \} \neq \emptyset$ for any $n-k +1 \leq i \leq n$. By the counterexamples we exhibit, such hypotheses can be considered as optimal. △ Less

Submitted 24 November, 2008; originally announced November 2008.

Comments: 7 pages; to appear on Proceedings of AMS

MSC Class: 32H12; 32H02; 32H35

Monge-Ampere equations and moduli spaces of manifolds of circular type

Authors: Giorgio Patrizio, Andrea Spiro

Abstract: A (bounded) manifold of circular type is a complex manifold M of dimension n admitting a (bounded) exhaustive real function u, defined on M minus a point x_o, so that: a) it is a smooth solution on $M\setminus {x_o}$ to the Monge-Ampère equation $(d d^c u)^n = 0$; b) x_o is a singular point for u of logarithmic type and e^u extends smoothly on the blow up of M at x_o; c) $d d^c (e^u) >0$ at any… ▽ More A (bounded) manifold of circular type is a complex manifold M of dimension n admitting a (bounded) exhaustive real function u, defined on M minus a point x_o, so that: a) it is a smooth solution on $M\setminus {x_o}$ to the Monge-Ampère equation $(d d^c u)^n = 0$; b) x_o is a singular point for u of logarithmic type and e^u extends smoothly on the blow up of M at x_o; c) $d d^c (e^u) >0$ at any point of $M\setminus {x_o}$. This class of manifolds naturally includes all smoothly bounded, strictly linearly convex domains and all smoothly bounded, strongly pseudoconvex circular domains of $\bC^n$. The moduli spaces of bounded manifolds of circular type are studied. In particular, for each biholomorphic equivalence class of them it is proved the existence of an essentially unique manifold in normal form. It is also shown that the class of normalizing maps for an n-dimensional manifold M is a new holomorphic invariant with the following property: it is parameterized by the points of a finite dimensional real manifold of dimension n^2 when M is a (non-convex) circular domain while it is of dimension $n^2 + 2 n$ when M is a strictly convex domain. New characterizations of the circular domains and of the unit ball are also obtained. △ Less

Submitted 9 July, 2007; originally announced July 2007.

Comments: 29 pages

MSC Class: 32G05; 32W20; 32Q45

Kaehler-Ricci solitons on homogeneous toric bundles (II)

Authors: Fabio Podesta', Andrea Spiro

Abstract: It is proved that an homogeneous toric bundles over a flag manifold G^\C/P admits a Kaehler-Ricci solitonic metric if and only if it is Fano. In particular, an homogeneous toric bundle of this kind is Kaehler-Einstein if and only if it is Fano and its Futaki invariant vanishes identically. It is proved that an homogeneous toric bundles over a flag manifold G^\C/P admits a Kaehler-Ricci solitonic metric if and only if it is Fano. In particular, an homogeneous toric bundle of this kind is Kaehler-Einstein if and only if it is Fano and its Futaki invariant vanishes identically. △ Less

Submitted 4 April, 2006; originally announced April 2006.

Comments: 16 pages

MSC Class: 14M15; 32M12; 53C55

Kaehler-Ricci solitons on homogeneous toric bundles (I)

Authors: Fabio Podesta', Andrea Spiro

Abstract: This is the first of a sequence of two papers. Here, a simple algebraic characterization of the Fano manifolds in the class of homogeneous toric bundles over a flag manifold G^C/P is provided in terms of symplectic data. The result of this paper is used in the second paper, where it is proved that an homogeneous toric bundle over a flag manifold admits a Kaehler-Ricci solitonic metric if and onl… ▽ More This is the first of a sequence of two papers. Here, a simple algebraic characterization of the Fano manifolds in the class of homogeneous toric bundles over a flag manifold G^C/P is provided in terms of symplectic data. The result of this paper is used in the second paper, where it is proved that an homogeneous toric bundle over a flag manifold admits a Kaehler-Ricci solitonic metric if and only if it is Fano. △ Less

Submitted 4 April, 2006; originally announced April 2006.

Comments: This is a new version of our previously posted paper "Homogeneous toric bundles with c_1(M)>0". The differences are mainly in the Abstract, Introdution and Title. This new version has been made necessary by the new results given in the next paper "Kaehler-Ricci solitons on homogeneous toric bundles (II)"

MSC Class: 14M15; 32M12; 53C55

Total reality of conormal bundles of hypersurfaces in almost complex manifolds

Authors: Andrea Spiro

Abstract: A generalization to the almost complex setting of a well-known result by S. Webster is given. Namely, we prove that if $Γ$ is a strongly pseudoconvex hypersurface in an almost complex manifold $(M, J)$, then the conormal bundle of $Γ$ is a totally real submanifold of $(T^*M, \J)$, where $\J$ is the lifted almost complex structure on $T^*M$ defined by Ishihara and Yano. A generalization to the almost complex setting of a well-known result by S. Webster is given. Namely, we prove that if $Γ$ is a strongly pseudoconvex hypersurface in an almost complex manifold $(M, J)$, then the conormal bundle of $Γ$ is a totally real submanifold of $(T^*M, \J)$, where $\J$ is the lifted almost complex structure on $T^*M$ defined by Ishihara and Yano. △ Less

Submitted 14 February, 2005; originally announced February 2005.

Comments: 8 pages

MSC Class: 53C15; 53D10

An existence theorem for stationary discs in almost complex manifolds

Authors: Andrea Spiro, Alexandre Sukhov

Abstract: An existence theorem for stationary discs of strongly pseudoconvex domains in almost complex manifolds is proved. More precisely, it is shown that, for all points of a suitable neighborhood of the boundary and for any vector belonging to certain open subsets of the tangent spaces there exists a unique stationary disc passing through that point and tangent to the given vector. An existence theorem for stationary discs of strongly pseudoconvex domains in almost complex manifolds is proved. More precisely, it is shown that, for all points of a suitable neighborhood of the boundary and for any vector belonging to certain open subsets of the tangent spaces there exists a unique stationary disc passing through that point and tangent to the given vector. △ Less

Submitted 6 February, 2005; originally announced February 2005.

Comments: 18 pages

MSC Class: 32H02; 53C15

Homogeneous toric bundles with positive first Chern class

Authors: Fabio Podesta', Andrea Spiro

Abstract: A simple algebraic characterization of the Fano manifolds in the class of homogeneous toric bundles over a flag manifold $G^C/P$ is provided in terms of symplectic data. A simple algebraic characterization of the Fano manifolds in the class of homogeneous toric bundles over a flag manifold $G^C/P$ is provided in terms of symplectic data. △ Less

Submitted 14 December, 2004; originally announced December 2004.

Comments: 14 pages

MSC Class: 14M15; 32M12; 53C55

Explicit construction of a Chern-Moser connection for CR manifolds of codimension two

Authors: Gerd Schmalz, Andrea Spiro

Abstract: In the present paper we suggest an explicit construction of a Cartan connection for an elliptic or hyperbolic CR manifold M of dimension six and codimension two, i.e. a pair (P, w), consisting of a principal bundle P over M and of a Cartan connection form w on P, satisfying the following property: the (local) CR transformations of M are in one to one correspondence with the (local) automorphisms… ▽ More In the present paper we suggest an explicit construction of a Cartan connection for an elliptic or hyperbolic CR manifold M of dimension six and codimension two, i.e. a pair (P, w), consisting of a principal bundle P over M and of a Cartan connection form w on P, satisfying the following property: the (local) CR transformations of M are in one to one correspondence with the (local) automorphisms of P which preserve w. For any point x in M, this construction determines an explicit immersion of the stability subalgebra Lie(aut(M)_x) into the Lie algebra Lie(H) of the structure group H of P. △ Less

Submitted 5 March, 2004; v1 submitted 4 September, 2002; originally announced September 2002.

Comments: 40 pages - This is a revised version in which a misuse of formula (6.10) of the old version in the following computations has been corrected - the changes starts only from pag. 24 and do not concerns the line of arguments

MSC Class: 32V05 (Primary); 53C15; 53A55 (Secondary)

Running after a new Kaehler-Einstein metric

Authors: Fabio Podesta', Andrea Spiro

Abstract: We deal with compact Kaehler manifolds M which are acted on by a semisimple compact Lie group G of isometries with codimension one regular orbits. We provide an explicit description of the standard blow-ups of such manifolds along complex singular orbits, in case b_1(M) = 0 and the regular orbits are Levi nondegenerate. Up to very few exceptions, all the nonhomogeneous manifolds in this class ar… ▽ More We deal with compact Kaehler manifolds M which are acted on by a semisimple compact Lie group G of isometries with codimension one regular orbits. We provide an explicit description of the standard blow-ups of such manifolds along complex singular orbits, in case b_1(M) = 0 and the regular orbits are Levi nondegenerate. Up to very few exceptions, all the nonhomogeneous manifolds in this class are shown to admit a G-invariant Kaehler-Einstein metric, giving completely new examples of compact Kaehler-Einstein manifolds. △ Less

Submitted 1 March, 2001; v1 submitted 21 January, 2001; originally announced January 2001.

Comments: 43 pages; in this new version, a mistake has been corrected and hence the original classification of the Main Theorem has been slightly modified

MSC Class: 53C55; 53C25; 57S15

The Ricci tensor of an almost homogenous Kaehler manifold

Authors: Andrea Spiro

Abstract: We determine an explicit expression for the Ricci tensor of a K-manifold, that is of a compact Kaehler manifold M with vanishing first Betti number, on which a semisimple group G of biholomorphic isometries acts with an orbit of codimension one. We also prove that the Kaehler form and the Ricci form of M are uniquely determined by two special curves with values in g = Lie(G), say Z, Z': R \to g… ▽ More We determine an explicit expression for the Ricci tensor of a K-manifold, that is of a compact Kaehler manifold M with vanishing first Betti number, on which a semisimple group G of biholomorphic isometries acts with an orbit of codimension one. We also prove that the Kaehler form and the Ricci form of M are uniquely determined by two special curves with values in g = Lie(G), say Z, Z': R \to g = Lie(G) and we show how the curve Z' is determined by the curve Z. These results are used in another work with F. Podesta', where new examples of non-homogeneous compact Kaehler-Einstein manifolds with positive first Chern class are constructed. △ Less

Submitted 21 January, 2001; originally announced January 2001.

MSC Class: 53C55; 53C25; 57S15

Compact homogeneous CR manifolds

Authors: Dmitry V. Alekseevsky, Andrea F. Spiro

Abstract: We classify all compact simply connected homogeneous CR manifolds $M$ of codimension one and with non-degenerate Levi form up to CR equivalence. The classification is based on our previous results and on a description of the maximal connected compact group $G(M)$ of automorphisms of $M$. We characterize also the standard homogeneous CR manifolds as the homogeneous CR manifolds whose group… ▽ More We classify all compact simply connected homogeneous CR manifolds $M$ of codimension one and with non-degenerate Levi form up to CR equivalence. The classification is based on our previous results and on a description of the maximal connected compact group $G(M)$ of automorphisms of $M$. We characterize also the standard homogeneous CR manifolds as the homogeneous CR manifolds whose group $G(M)$ in not semisimple. △ Less

Submitted 12 December, 2000; originally announced December 2000.

MSC Class: Primary 32V05; Secondary 53D10 57S25 53C30

The Hermitian Connection and the Jacobi Fields of a Complex Finsler Manifold

Authors: A. Spiro

Abstract: It is proved that all invariant functions of a complex Finsler manifold can be totally recovered from the torsion and curvature of the connection introduced by Kobayashi for holomorphic vector bundles with complex Finsler structures. Equations of the geodesics and Jacobi fields of a generic complex Finsler manifold, expressed by means Kobayashi's connection, are also derived. It is proved that all invariant functions of a complex Finsler manifold can be totally recovered from the torsion and curvature of the connection introduced by Kobayashi for holomorphic vector bundles with complex Finsler structures. Equations of the geodesics and Jacobi fields of a generic complex Finsler manifold, expressed by means Kobayashi's connection, are also derived. △ Less

Submitted 7 September, 2000; originally announced September 2000.

MSC Class: 53B40;32H15

The Structure Equations of a Complex Finsler Manifold

Authors: Andrea Spiro

Abstract: For a strongly pseudo-convex complex Finsler manifold M, a bundle U of adapted unitary frames is canonically defined. A non-linear Hermitian connection on U, invariant under local biholomorphic isometries, is given and it proved to be unique. By means of such connection, an absolute parallelism on U is determined and a new set of structure functions which generate all the isometric invariants of… ▽ More For a strongly pseudo-convex complex Finsler manifold M, a bundle U of adapted unitary frames is canonically defined. A non-linear Hermitian connection on U, invariant under local biholomorphic isometries, is given and it proved to be unique. By means of such connection, an absolute parallelism on U is determined and a new set of structure functions which generate all the isometric invariants of a Finsler metric is obtained. A pseudo-convex complex Finsler manifolds M, which admits a totally geodesic complex curve with a given constant holomorphic sectional curvature through any point and any direction, is called E-manifold. Main examples of E-manifolds are the smoothly bounded, strictly convex domains in C^n, endowed with the Kobayashi metric. A complete characterization of E-manifolds, using the previously defined structure functions, is given and a smaller set of generating functions for the isometric invariants of E-manifolds is determined. △ Less

Submitted 7 October, 1999; originally announced October 1999.

MSC Class: Primary 53B40; 32H15; Secondary 53C60; 53A55; 53B15