The nonlinear equations describing all the nonsingular pencils of metrics of constant Riemannian curvature are derived and the integrability of these nonlinear equations by the method of inverse scattering problem is proved. It is proved that all the nonsingular pairs of compatible metrics of constant Riemannian curvature are described by special integrable reductions of nonlinear equations defining orthogonal curvilinear coordinate systems in the spaces of constant curvature.
We provide the first known family of examples of integrable homogeneous sub-Riemannian structures admitting strictly abnormal geodesics. These examples were obtained through the analysis of the equivalence problem for sub-Riemannian Engel structures. We formulate a criterion of strict abnormality in terms of structure functions of a canonical frame on a sub-Riemannian Engel manifold as well as estimates on conjugate times.
We address the problem of integrability of the sub-Riemannian mean curvature of an embedded hypersurface around isolated characteristic points. The main contribution of this note is the introduction of a concept of mildly degenerate characteristic point for a smooth surface of the Heisenberg group, in a neighborhood of which the sub-Riemannian mean curvature is integrable (with respect to the perimeter measure induced by the Euclidean structure). As a consequence we partially answer to a question posed by Danielli-Garofalo-Nhieu in [Danielli D., Garofalo N., Nhieu D.M., Proc. Amer. Math. Soc.,…
We discuss the integrability of rank 2 sub-Riemannian structures on low-dimensional manifolds, and then prove that some structures of that type in dimension 6, 7 and 8 have a lot of symmetry but no integrals polynomial in momenta of low degrees, except for those coming from the Killing fields and the Hamiltonian, thus indicating non-integrability of the corresponding geodesic flows.
We prove that the description of pencils of compatible (N x N)-metrics of constant Riemannian curvature is equivalent to a special class of integrable N-parametric deformations of quasi-Frobenius (in general, noncommutative) algebras.
We give a new characterisation of the unparametrised geodesics, or distinguished curves, for affine, pseudo-Riemannian, conformal, and projective geometry. This is a type of moving incidence relation. The characterisation is used to provide a very general theory and construction of quantities that are necessarily conserved along the curves. The formalism immediately yields explicit formulae for these curve first integrals. The usual role of Killing tensors and conformal Killing tensors is recovered as a special case, but the construction shows that a significantly larger class of equation solu…
The nonlinear equations for the general nonsingular pairs of compatible nonlocal Poisson brackets of hydrodynamic type are derived and the integrability of these equations by the method of inverse scattering problem is proved. For these equations, the Lax pairs with a spectral parameter are presented. Moreover, we demonstrate the integrability of the equations for some especially important partial classes of compatible nonlocal Poisson brackets of hydrodynamic type, in particular, for the most important case when one of the compatible Poisson brackets is local and also for the case when one of…
We deal with the problem of description of nonsingular pairs of compatible flat metrics for the general $N$-component case. We describe the scheme of the integrating the nonlinear equations describing nonsingular pairs of compatible flat metrics (or, in other words, nonsingular flat pencils of metrics). It is based on the reducing this problem to a special reduction of the Lame equations and the using the Zakharov method of differential reductions in the dressing method (a version of the inverse scattering method).
We construct a pair of compact, eight-dimensional, two-step Riemannian nilmanifolds $M$ and $M'$ which are isospectral for the Laplace operator on functions and such that $M$ has completely integrable geodesic flow in the sense of Liouville, while $M'$ has not. Moreover, for both manifolds we analyze the structure of the submanifolds of the unit tangent bundle given by to maximal continuous families of closed geodesics with generic velocity fields. The structure of these submanifolds turns out to reflect the above (non)integrability properties. On the other hand, their dimension is larger than…
In this paper we provide examples of maps from almost complex domains into pseudo-Riemannian symmetric targets, which are pluriharmonic and not integrable, i.e. do not admit an associated family. More precisely, for one class of examples the source has a non-integrable complex structure, like for instance a nearly Kaehler structure and the target is a Riemannian symmetric space and for the other class the source is a complex manifold and the target is a pseudo-Riemannian symmetric space. These examples show, that a former result on the existence of associated families is sharp.
Notions of compatible and almost compatible pseudo-Riemannian metrics, which are motivated by the theory of compatible (local and nonlocal) Poisson structures of hydrodynamic type and generalize the notion of flat pencil of metrics, are introduced and studied.
Given a smooth 2-dimensional Riemannian or pseudo-Riemannian manifold $(M, \boldsymbol{g})$ and an ambient 3-dimensional Riemannian or pseudo-Riemannian manifold $(N, \boldsymbol{h})$, one can ask under what circumstances does the exterior differential system $\mathcal{I}$ for the isometric embedding $M\hookrightarrow N$ have particularly nice solvability properties. In this paper we give a classification of all $2$-metrics $\boldsymbol{g}$ whose local isometric embedding system into flat Riemannian or pseudo-Riemannian 3-manifolds $(N, \boldsymbol{h})$ is Darboux integrable. As an illustratio…
We introduce Riemannian Lie algebroids as a generalization of Riemannian manifolds and we show that most of the classical tools and results known in Riemannian geometry can be stated in this setting. We give also some new results on the integrability of Riemannian Lie algebroids.
An almost Golden Riemannian structure $(φ,g)$ on a manifold is given by a tensor field $φ$ of type (1,1) satisfying the Golden section relation $φ^{2}=φ+1$, and a pure Riemannian metric $g$, i.e., a metric satisfying $g(φX,Y)=g(X,φY)$. We study connections adapted to such a structure, finding two of them, the first canonical and the well adapted, which measure the integrability of $φ$ and the integrability of the $G$-structure corresponding to $(φ,g)$.
The notion of Poisson manifold with compatible pseudo-metric was introduced by the author in [1]. In this paper, we introduce a new class of Lie algebras which we call a pseudo-Rieamannian Lie algebras. The two notions are strongly related: we prove that a linear Poisson structure on the dual of a Lie algebra has a compatible pseudo-metric if and only if the Lie algebra is a pseudo-Riemannian Lie algebra, and that the Lie algebra obtained by linearizing at a point a Poisson manifold with compatible pseudo-metric is a pseudo-Riemannian Lie algebra. Furthermore, we give some properties of the sy…
We prove the integrability of geodesic flows on the Riemannian g.o. spaces of compact Lie groups, as well as on a related class of Riemannian homogeneous spaces having an additional principal bundle structure.
Aguilar introduced isotropic almost complex structures $J_{δ, σ}$ on the tangent bundle of a Riemannian manifold $(M, g)$. In this paper, some results will be obtained on the integrability of these structures. These structures with the Liouville 1-form define a class of Riemannian metrics $g_{δ, σ}$ on $T M$ which are a generalization of the Sasaki metric. Moreover, the notion of a harmonic unit vector field is introduced with respect to these metrics like as the Sasaki metric and the necessary and sufficient conditions for a unit vector field to be a harmonic unit vector field are obtained.
The classical theory of $G$-structures, which include almost-complex structures, explains the relationship between the curvature of compatible connections and integrability. This note is an effort to understand how the curvature of Riemannian metrics can obstruct the integrability of almost-complex structures. It is shown that certain special complex structures cannot coexist with non-flat constant curvature metrics, and a formal variational realization of these structures is provided. The approach followed here is direct, meaning that it bypasses the classical theory. The idea is to find obst…
This note is about the interplay between the almost-hermitian and Riemannian geometries of a manifold. These geometries can be seen to interact through curvature. The main result is an obstruction equation to the integrability of almost-complex structures orthogonal with respect to Riemannian metrics with constrained sectional curvature. Several geometric consequences ensue, such as a formula for the norm of the Levi-Civita covariant derivative of a hypothetical orthogonal complex structure. Our results lead to a partial recovery of the well-known fact that the round $6$-sphere $S^6$ is not he…
We study a Killing spinor type equation on spin Riemannian flows. We prove integrability conditions and partially classify those Riemannian flows $M$ carrying non-trivial solutions to that equation in case $M$ is a local Riemannian product, a Sasakian manifold or 3-dimensional.
Generalized Lagrange-Weyl structures and compatible connections are introduced as a natural generalization of similar notions from Riemannian geometry. Exactly as in Riemannian case, the compatible connection is unique if certain symmetry conditions with respect to vertical and horizontal Christoffel symbols are imposed.
Let $G/K$ be an orbit of the adjoint representation of a compact connected Lie group $G$, $σ$ be an involutive automorphism of $G$ and $\tilde G$ be the Lie group of fixed points of $σ$. We find a sufficient condition for the complete integrability of the geodesic flow of the Riemannian metric on $\tilde G/(\tilde G\cap K)$, which is induced by the bi-invariant Riemannian metric on $\tilde G$. The integrals constructed here are real analytic functions, polynomial in momenta. It is checked that this sufficient condition holds when $G$ is the unitary group $U(n)$ and $σ$ is its automorphism defi…
Motivated by Wick-rotations of pseudo-Riemannian manifolds, we study real geometric invariant theory (GIT) and compatible representations. We extend some of the results from earlier works \cite{W2,W1}, in particular, we give some sufficient as well as necessary conditions for when pseudo-Riemannian manifolds are Wick-rotatable to other signatures. For arbitrary signatures, we consider a Wick-rotatable pseudo-Riemannian manifold with closed $O(p,q)$-orbits, and thus generalise the existence condition found in \cite{W1}. Using these existence conditions we also derive an invariance theorem for W…
In this paper, we study harmonic Riemannian submersions from 3-dimensional geometries using the ( generalized) integrability data associated to an orthonormal frame natural to a Riemannian submersion. We give complete classifications of harmonic Riemannian submersions from Thurston's 3-dimensional geometries, 3-dimensional BCV spaces and Berger sphere into a surface. We also give some explicit constructions of these harmonic Riemannian submersions.
We discuss the integrability of orthogonal almost complex structures on Riemannian products of even-dimensional round spheres and give a partial answer to the question raised by E. Calabi concerning the existence of complex structures on a product manifold of a round 2-sphere and a round 4-sphere.
Many classical facts in Riemannian geometry have their pseudo-Riemannian analogs. For instance, the spaces of space-like and time-like geodesics on a pseudo-Riemannian manifold have natural symplectic structures (just like in the Riemannian case), while the space of light-like geodesics has a natural contact structure. We discuss the geometry of these structures in detail, as well as introduce and study pseudo-Euclidean billiards. In particular, we prove pseudo-Euclidean analogs of the Jacobi-Chasles theorems and show the integrability of the billiard in the ellipsoid and the geodesic flow on …
Let (M, g) be a pseudo Riemannian manifold. We consider four geometric structures on M compatible with g: two almost complex and two almost product structures satisfying additionally certain integrability conditions. For instance, if r is a product structure and symmetric with respect to g, then r induces a pseudo Riemannian product structure on M. Sometimes the integrability condition is expressed by the closedness of an associated two-form: if j is almost complex on M and ω(x, y) = g(jx, y) is symplectic, then M is almost pseudo Kähler. Now, product, complex and symplectic structures on M ar…
We develop the formalism for noncommutative differential geometry and Riemmannian geometry to take full account of the *-algebra structure on the (possibly noncommutative) coordinate ring and the bimodule structure on the differential forms. We show that *-compatible bimodule connections lead to braid operators $σ$ in some generality (going beyond the quantum group case) and we develop their role in the exterior algebra. We study metrics in the form of Hermitian structures on Hilbert *-modules and metric compatibility in both the usual and a cotorsion form. We show that the theory works well f…
The fundamental tool in the classification of orthogonal coordinate systems in which the Hamilton-Jacobi and other prominent equations can be solved by a separation of variables are second order Killing tensors which satisfy the Nijenhuis integrability conditions. The latter are a system of three non-linear partial differential equations. We give a simple and completely algebraic proof that for a Killing tensor the third and most complicated of these equations is redundant. This considerably simplifies the classification of orthogonal separation coordinates on arbitrary (pseudo-)Riemannian man…
The aim of this paper is to study from the point of view of linear connections the data $(M,\mathcal{D},g,W),$ with $M$ a smooth $(n+p)$ dimensional real manifold, $(\mathcal{D},g)$ a \textit{$n$}\textit{\emph{dimensional semi-Riemannian distribution}}\emph{}on $M,$ $\mathcal{G}$ the conformal structure generated by $g$ and $W$ a Weyl substructure: a map $W:$ $\mathcal{G}\to$ $Ω^{1}(M)$ such that $W(\overline{g})=W(g)-du,$ $\overline{g}=e^{u}g;u\in C^{\infty}(M)$. Compatible linear connections are introduced as a natural extension of similar notions from Riemannian geometry and such a connecti…
This paper develops a geometric approach to the theory of integrability by hydrodynamic reductions to establish an equivalence, for a large class of quasilinear systems, between hydrodynamic integrability and the existence of nets compatible with the geometry induced on the codomain of the system. This unifies and extends known results for three subclasses of such systems. The generalization is obtained by studying the algebraic geometry of the characteristic correspondence of the system, and by introducing a generalized notion of conjugate nets.
The conjecture of D.Blair says that there are no nonflat Riemannian metrics of nonpositive curvature compatible with a contact structure. We prove this conjecture for a certain class of contact structures on closed 3-dimensional manifolds and construct a local counterexample. We also prove that a hyperbolic metric on $\mathbb{R}^3$ cannot be compatible with any contact structure.
We establish a new criterion for a compatible almost complex structure on a symplectic four-manifold to be integrable and hence Kähler. Our main theorem shows that the existence of three linearly independent closed J-anti-invariant two-forms implies the integrability of the almost complex structure. This proves the conjecture of Draghici-Li-Zhang in the almost-Kähler case
We show that solutions of the Yamabe equation on certain n-dimensional non-compact Riemannian manifolds which are bounded and L^p for p=2n/(n-2) are also L^2. This L^p-L^2-implication provides explicit constants in the surgery-monotonicity formula for the smooth Yamabe invariant in a previous article of the authors. As an application we see that the smooth Yamabe invariant of any 2-connected compact 7-dimensional manifold is at least 74.5. Similar conclusions follow in dimension 8 and in dimensions at least 11.
Generalized Berwald manifolds are Finsler manifolds admitting linear connections such that the parallel transports preserve the Finslerian length of tangent vectors. By the fundamental result of the theory \cite{V5} such a linear connection must be metrical with respect to the averaged Riemannian metric given by integration of the Riemann-Finsler metric on the indicatrix hypersurfaces. Therefore the linear connection is uniquely determined by its torsion tensor. If the torsion is zero then we have a classical Berwald manifolds. Otherwise the torsion is a strange data we need to express in term…
A linear connection on a Finsler manifold is called compatible to the metric if its parallel transports preserve the Finslerian length of tangent vectors. Generalized Berwald manifolds are Finsler manifolds equipped with a compatible linear connection. Since the compatibility to the Finslerian metric does not imply the unicity of the linear connection in general, the first step of checking the existence of compatible linear connections on a Finsler manifold is to choose the best one to look for. A reasonable choice is introduced in \cite{V14} called the extremal compatible linear connection, w…
We study integrable geodesic flows on Stiefel varieties $V_{n,r}=SO(n)/SO(n-r)$ given by the Euclidean, normal (standard), Manakov-type, and Einstein metrics. We also consider natural generalizations of the Neumann systems on $V_{n,r}$ with the above metrics and proves their integrability in the non-commutative sense by presenting compatible Poisson brackets on $(T^*V_{n,r})/SO(r)$. Various reductions of the latter systems are described, in particular, the generalized Neumann system on an oriented Grassmannian $G_{n,r}$ and on a sphere $S^{n-1}$ in presence of Yang-Mills fields or a magnetic m…
In this paper, we study the Sobolev regularity of solutions to nonlinear second order elliptic equations with super-linear first-order terms on Riemannian manifolds, complemented with Neumann boundary conditions, when the source term of the equation belongs to a Lebesgue space, under various integrability regimes. Our method is based on an integral refinement of the Bochner's identity, and leads to "semilinear Calderón-Zygmund" type results. Applications to the problem of smoothness of solutions to Mean Field Games systems with Neumann boundary conditions posed on convex domains of the Euclide…
Symmetric connections that are compatible with semi-Riemannian metrics can be characterized using an existence result for an integral leaf of a (possibly non integrable) distribution. In this paper we give necessary and sufficient conditions for a left-invariant connection on a Lie group to be the Levi-Civita connection of some semi-Riemannian metric on the group. As a special case, we will consider constant connections in $\R^n$.
For the purpose of understanding second-order scalar PDEs and their hydrodynamic integrability, we introduce G-structures that are induced on hypersurfaces of the space of symmetric matrices (interpreted as the fiber of second-order jet space) and are defined by non-degenerate scalar second-order-only (Hessian) PDEs in any number of variables. The fiber group is a conformal orthogonal group that acts on the space of independent variables, and it is a subgroup of the conformal orthogonal group for a semi-Riemannian metric that exists on the PDE. These G-structures are automatically compatible w…
In this paper a thorough study of the normal form and the first integrability conditions arising from {\em bi-conformal vector fields} is presented. These new symmetry transformations were introduced in {\em Class. Quantum Grav.}\textbf{21}, 2153-2177 and some of their basic properties were addressed there. Bi-conformal vector fields are defined on a pseudo-Riemannian manifold through the differential conditions $\lie P_{ab}=ϕP_{ab}$ and $\lieΠ_{ab}=χΠ_{ab}$ where $P_{ab}$ and $Π_{ab}$ are orthogonal and complementary projectors with respect to the metric tensor $\rmg_{ab}$. One of the main re…
We provide a general criteria for the integrability of the almost para-quaternionic structure of an almost para-quaternionic manifold (M,P) of dimension bigger or equal to eight, in terms of the integrability of two or three sections of the defining rank three vector bundle P. We relate it with the integrability of the canonical almost complex structure of the twistor space and to the integrability of the canonical almost para-complex structure of the reflector space of (M,P). We show that (M, P) has plenty of locally defined, compatible, complex and para-complex structures, provided that P is…
This is the first of two companion papers in which a thorough study of the normal form and the first integrability conditions arising from {\em bi-conformal vector fields} is presented. These new symmetry transformations were introduced in {\em Class. Quantum Grav.} \textbf{21}, 2153-2177 and some of their basic properties were addressed there. In our calculations a new affine connection ({\em bi-conformal connection}) arises quite naturally and this connection enables us to find a local characterization of {\em conformally separable} pseudo-Riemannian manifolds (also called double twisted pro…
Let N be a nilpotent Lie group and let S be an invariant geometric structure on N (cf. symplectic, complex or hypercomplex). We define a left invariant Riemannian metric on N compatible with S to be "minimal", if it minimizes the norm of the invariant part of the Ricci tensor among all compatible metrics with the same scalar curvature. We prove that minimal metrics (if any) are unique up to isometry and scaling, they develop soliton solutions for the invariant Ricci flow and are characterized as the critical points of a natural variational problem. The uniqueness allows us to distinguish geome…
Let (N,g) be a nilpotent Lie group endowed with an invariant geometric structure (cf. symplectic, complex, hypercomplex or any of their `almost' versions). We define a left invariant Riemannian metric on N compatible with g to be minimal, if it minimizes the norm of the invariant part of the Ricci tensor among all compatible metrics with the same scalar curvature. We prove that minimal metrics (if any) are unique up to isometry and scaling, they develop soliton solutions for the `invariant Ricci' flow and are characterized as the critical points of a natural variational problem. The uniqueness…
Motivated by generalized geometry (à la Hitchin), we discuss the integrability conditions for four natural almost complex structures on the product bundle ${\mathcal Z}\times {\mathcal Z}\to M$, where ${\mathcal Z}$ is the twistor space of a Riemannian 4-manifold $M$ endowed with a metric connection $D$ with skew-symmetric torsion. These structures are defined by means of the connection $D$ and four (Kähler) complex structures on the fibres of this bundle. Their integrability conditions are interpreted in terms of Weyl geometry and this is used to supply examples satisfying the conditions.
We consider a $3$-dimensional differentiable manifold with two circulant structures -- a Riemannian metric and an additional structure, whose third power is the identity. The structure is compatible with the metric such that an isometry is induced in any tangent space of the manifold. Further, we consider an associated metric with the Riemannian metric, which is necessary indefinite. We find equations of a sphere and of a circle, which are given in terms of the associated metric, with respect to the Riemannian metric.
Let $π{:}\,(M,\mathcal{H})\to (B,b)$ be a submersion equipped with a horizontal connection $\cal H$ over a Riemannian manifold $(B,b)$. We present an intrinsic curvature condition that only depends on the pair $(\cal H,b)$. By studying a set of relative flat planes, we prove that a certain class of pairs $(\cal H,b)$ admits a compatible metric with positive sectional curvature only if they are \textit{fat}, verifying Wilhelm's Conjecture in this class.
We introduce a new approach for computing curvature of sub-Riemannian manifolds. Curvature is here meant as symplectic invariants of Jacobi curves of geodesics, as introduced by Zelenko and Li. We describe how they can be expressed using a compatible affine connection and induced tensors, without any restriction on our sub-Riemannian manifold or the choice of connection. In particular, we obtain a universal Bonnet-Myers theorem of Riemannian type. We also give universal formulas for the canonical horizontal frame along each geodesic and an algorithm for computing the curvature in general. Seve…
We consider strict and complete nearly Kaehler manifolds with the canonical Hermitian connection. The holonomy representation of the canonical Hermitian connection is studied. We show that a strict and complete nearly Kaehler is locally a Riemannian product of homogenous nearly Kaehler spaces, twistor spaces over quaternionic Kaehler manifolds and 6-dimensional nearly Kaehler manifolds. As an application we obtain structure results for totally geodesic Riemannian foliations admitting a compatible Kaehler structure. Finally, we obtain a classification result for the homogenous case, reducing a …
In this paper, a Riemannian geometry of noncommutative super surfaces is developed which generalizes [4] to the super case. The notions of metric and connections on such noncommutative super surfaces are introduced and it is shown that the connections are metric-compatible and have zero torsion when the super metric is symmetric, giving rise to the corresponding super Riemann curvature. The latter also satisfies the noncommutative super analogue of the first and second Bianchi identities. We also give some examples and study them in details.