Given a smooth free action of a compact connected Lie group $G$ on a smooth compact manifold $M$, we show that the space of $G$-invariant Riemannian metrics on $M$ whose automorphism group is precisely $G$ is open dense in the space of all $G$-invariant metrics, provided the dimension of $M$ is "sufficiently large" compared to that of $G$. As a consequence, it follows that every compact connected Lie group can be realized as the automorphism group of some compact connected Riemannian manifold; this recovers prior work by Bedford-Dadok and Saerens-Zame under less stringent dimension conditions. Along the way we also show, under less restrictive conditions on both dimensions and actions, that the space of $G$-invariant metrics whose automorphism groups preserve the $G$-orbits is dense $G_δ$ in the space of all $G$-invariant metrics.
It is proved the existence and uniqueness of graphs with prescribed mean curvature in Riemannian submersions fibered by flow lines of a vertical Killing vector field.
We prove the existence of smooth closed hypersurfaces of prescribed mean curvature homeomorphic to $S^n$ for small $n, n\le6$, provided there are barriers.
In this paper we consider surfaces of class $C^1$ with continuous prescribed mean curvature in a three-dimensional contact sub-Riemannian manifold and prove that their characteristic curves are of class $C^2$. This regularity result also holds for critical points of the sub-Riemannian perimeter under a volume constraint. All results are valid in the first Heisenberg group $\mathbb{H}^1$.
Let M be a compact Riemannian manifold and E a Riemannian vector bundle on M. We look for hypersurfaces of E with a prescribed vertical Gaussian curvature. In trying to solve this problem fibre-wise, we loose the regularity of the resulting solution. To unsure the smoothness of the solution, we construct it as a radial graph over the unit sphere subbundle of E and prove its existence by solving in this one a nonlinear partial differential equation of Monge-Ampère type.
In this paper we consider a set $E\subsetΩ$ with prescribed mean curvature $f\in C(Ω)$ and Euclidean Lipschitz boundary $\partial E=Σ$ inside a three-dimensional contact sub-Riemannian manifold $M$. We prove that if $Σ$ is locally a regular intrinsic graph, the characteristic curves are of class $C^2$. The result is shape and improves the ones contained in \cite{MR2583494} and \cite{GalRit15}.
In this article we study a class of prescribed curvature problems on complete noncompact Riemannian manifolds. To be precise, we derive local $C^0$-estimate under an asymptotic condition which is in effect optimal, and prove the existence of complete conformal metrics with prescribed curvature functions. A key ingredient of our strategy is Aviles-McOwen's result or its fully nonlinear version on the existence of complete conformal metrics with prescribed curvature functions on manifolds with boundary.
We consider the following generalisation of a well-known problem in Riemannian geometry: When is a smooth real-valued function s on a given compact n-dimensional manifold M (with or without boundary) the scalar curvature of some smooth pseudo-Riemannian metric of index q on M? We prove that this is the case for every s if 2<q<n-2, provided M admits a metric of index q at all. In fact, if 2<q<n-2, then each connected component of the space of pseudo-Riemannian metrics of index q on M contains a metric with scalar curvature s. We prove several theorems for pseudo-Riemannian metrics of index 1 or…
We prove the existence of metrics with prescribed $Q$-curvature under natural assumptions on the sign of the prescribing function and the background metric. In the dimension four case, we also obtain existence results for curvature forms requiring only restrictions on the Euler characteristic. Moreover, we derive a prescription result for open submanifolds which allow us to conclude that any smooth function on $\mathbb{R}^n$ can be realized as the $Q$-curvature of a Riemannian metric.
Assuming that there exists a translating soliton $u_\infty$ with speed $C$ in a domain $Ω$ and with prescribed contact angle on $\partialΩ$, we prove that a graphical solution to the mean curvature flow with the same prescribed contact angle converges to $u_\infty +Ct$ as $t\to\infty$. We also generalize the recent existence result of Gao, Ma, Wang and Weng to non-Euclidean settings under suitable bounds on convexity of $Ω$ and Ricci curvature in $Ω$.
In this article, we first show that for all compact Riemannian manifolds with non-empty smooth boundary and dimension at least 3, there exists a metric, pointwise conformal to the original metric, with constant scalar curvature in the interior, and constant scalar curvature on the boundary by considering the boundary as a manifold of its own with dimension at least 2. We then show a series of prescribed scalar curvature results in the interior and on the boundary, with pointwise conformal deformation. These type of results is both an analogy and an extension of Kazdan and Warner's "Trichotomy …
We obtain some results on symmetries of sub-Riemannian surfaces. In case of contact sub-Riemannian surface we base on invariants found by Hughen \cite{Hughen}. Using these invariants, we find conditions under which a sub-Riemannian surface does not admit symmetries. If a surface admits symmetries, we show how invariants help to find them. It is worth noting, that the obtained conditions can be explicitly checked for a given contact sub-Riemannian surface. Also, we consider sub-Riemannian surfaces which are not contact and find their invariants along the surface where the distribution fails to …
We prove a lower bound for the first eigenvalue of the sub-Laplacian on sub-Riemannian manifolds with transverse symmetries. When the manifold is of H-type, we obtain a corresponding rigidity result: If the optimal lower bound for the first eigenvalue is reached, then the manifold is equivalent to a 1 or a 3-Sasakian sphere.
We study symmetries of specific left--invariant sub--Riemannian structure with filtration $(4,7)$ and their impact on sub--Riemannian geodesics of corresponding control problem. We show that there are two very different types of geodesics, they either do not intersect the fixed point set of symmetries or are contained in this set for all times. We use the symmetry reduction to study properties of geodesics.
We prove a geometrically meaningful stochastic representation of the derivative of the heat semigroup on sub-Riemannian manifolds with tranverse symmetries. This representation is obtained from the study of Bochner-Weitzenbock type formulas for sub-Laplacians on 1-forms. As a consequence, we prove new hypoelliptic heat semigroup gradient bounds under natural global geometric conditions. The results are new even in the case of the Heisenberg group which is the simplest example of a sub-Riemannian manifold with transverse symmetries.
Flag manifolds are in general not symmetric spaces. But they are provided with a structure of $\mathbb{Z}_2^k$-symmetric space. We describe the Riemannian metrics adapted to this structure and some properties of reducibility. We detail for the flag manifold $SO(5)/SO(2)\times SO(2) \times SO(1)$ what are the conditions for a metric adapted to the $\mathbb{Z}_2^2$-symmetric structure to be naturally reductive.
The notion of $Γ$-symmetric space is a natural generalization of the classical notion of symmetric space based on $\z_2$-grading of Lie algebras. In our case, we consider homogeneous spaces $G/H$ such that the Lie algebra $\g$ of $G$ admits a $Γ$-grading where $Γ$ is a finite abelian group. In this work we study Riemannian metrics and Lorentzian metrics on the Heisenberg group $\mathbb{H}_3$ adapted to the symmetries of a $Γ$-symmetric structure on $\mathbb{H}_3$. We prove that the classification of $\z_2^2$-symmetric Riemannian and Lorentzian metrics on $\mathbb{H}_3$ corresponds to the class…
Given a complete $n$-dimensional Riemannian manifold $M$, we study the existence of vertical graphs in $M\times\mathbb{R}$ with prescribed mean curvature $H=H(x,z)$. Precisely, we prove that the Dirichlet problem for the vertical mean curvature equation in a smooth bounded domain $Ω\subset M$ has solution for arbitrary smooth boundary data if $(n-1)\mathcal{H}_{\partialΩ}(y)\geq n\sup\limits_{z\in\mathbb{R}}\left|{H(y,z)}\right|$ for each $y\in\partialΩ$ provided the function $H$ also satisfies $\mathrm{Ricc}_x\geq n\sup\limits_{z\in\mathbb{R}}\left\|\nabla_x H(x,z)\right\|-\dfrac{n^2}{n-1}\in…
Inspired by the Lichnerowicz-Obata theorem for the first eigenvalue of the Laplacian, we define a new family of invariants $\{Ω_k(g)\}$ for closed Riemannian manifolds. The value of $Ω_k(g)$ delicately reflects the spherical part of the manifold. Indeed, $Ω_1(g)$ and $Ω_2(g)$ characterize the standard sphere.
The notion of $Γ$-symmetric space is a natural generalization of the classical notion of symmetric space based on $\Z_2$-grading of Lie algebras. In our case, we consider homogeneous spaces $G/H$ such that the Lie algebra $\g$ of $G$ admits a $Γ$-grading where $Γ$ is a finite abelian group. In this work we study Riemannian metrics and Lorentzian metrics on the Heisenberg group $\mathbb{H}_3$ adapted to the symmetries of a $Γ$-symmetric structure on $\mathbb{H}_3$. We prove that the classification of $\z$-symmetric Riemannian and Lorentzian metrics on $\mathbb{H}_3$ corresponds to the classific…
In 2015, Mantoulidis and Schoen constructed $3$-dimensional asymptotically Euclidean manifolds with non-negative scalar curvature whose ADM mass can be made arbitrarily close to the optimal value of the Riemannian Penrose Inequality, while the intrinsic geometry of the outermost minimal surface can be ``far away'' from being round. The resulting manifolds, called extensions, are geometrically not ``close'' to a spatial Schwarzschild manifold. This suggests instability of the Riemannian Penrose Inequality. Their construction was later adapted to $n+1$ dimensions by Cabrera Pacheco and Miao. In …
Let G be a three-dimensional unimodular Lie group, and let T be a left-invariant symmetric (0, 2)-tensor field on G. We provide the necessary and sufficient conditions on T for the existence of a pair (g, c) consisting of a left-invariant Riemannian metric g and a positive constant c such that Ric(g) = cT, where Ric(g) is the Ricci curvature of g. We also discuss the uniqueness of such pairs and show that, in almost all cases, there exists at most one positive constant c such that Ric(g) = cT is solvable for some left-invariant Riemannian metric g.
We prove the existence of extremal domains with small prescribed volume for the first eigenvalue of the Laplace-Beltrami operator in any compact Riemannian manifold. This result generalizes a results of F. Pacard and the second author where the existence of a nondegenerate critical point of the scalar curvature of the Riemannian manifold was required.
We determine the space of commuting symmetries of the Laplace operator on pseudo-Riemannian manifolds of constant curvature, and derive its algebra structure. Our construction is based on the Riemannian tractor calculus, allowing to construct a prolongation of the differential system for symmetric Killing tensors. We also discuss some aspects of its relation to projective differential geometry.
Let $(M,g)$ be a compact Riemannian manifold on dimension $n \geq 4$ not conformally diffeomorphic to the sphere $S^n$. We prove that a smooth function $f$ on $M$ is a critical function for a metric $\tilde{g}$ conformal to $g$ if and only if there exists $x \in M$ such that $f(x)>0$.
We consider the problem of conformally deforming a metric to one with a prescribed symmetric function of the eigenvalues of the Ricci tensor, in the case of negative curvature.
The Jacobi curve of an extremal of optimal control problem is a curve in a Lagrangian Grassmannian defined up to a symplectic transformation and containing all information about the solutions of the Jacobi equations along this extremal. In our previous works we constructed the canonical bundle of moving frames and the complete system of symplectic invariants, called curvature maps, for parametrized curves in Lagrange Grassmannians satisfying very general assumptions. The structural equation for a canonical moving frame of the Jacobi curve of an extremal can be interpreted as the normal form fo…
We prove that there exist solutions for a non-parametric capillary problem in a wide class of Riemannian manifolds endowed with a Killing vector field. In other terms, we prove the existence of Killing graphs with prescribed mean curvature and prescribed contact angle along its boundary. These results may be useful for modelling stationary hypersurfaces under the influence of a non-homogeneous gravitational field defined over an arbitrary Riemannian manifold.
Let $M$ be a compact and connected smooth manifold endowed with a smooth action of a finite group $Γ$, and let $f$ be a $Γ$-invariant Morse function on $M$. We prove that the space of $Γ$-invariant Riemannian metrics on $M$ contains a residual subset ${\mathcal Met}_f$ with the following property. Let $g\in{\mathcal Met}_f$ and let $\nabla^gf$ be the gradient vector field of $f$ with respect to $g$. For any diffeomorphism $ϕ$ of $M$ preserving $\nabla^gf$ there exists some real number $t$ and some $γ\inΓ$ such that for every $x\in M$ we have $ϕ(x)=γ\,Φ_t^g(x)$, where $Φ_t^g$ is the time-$t$ fl…
A proposal is made for what could well be the most natural symmetrical Riemannian spaces which are homogeneous but not isotropic, i.e. of what could well be the most natural class of symmetrical spaces beyond the spaces of constant Riemannian curvature, that is, beyond the spaces which are homogeneous and isotropic, or, still, the spaces which satisfy the axiom of free mobility.
The curvature and the reduced curvature are basic differential invariants of the pair (Hamiltonian system, Lagrange distribution) on the symplectic manifold. It is shown that the negativity of the reduced curvature implies the hyperbolicity of any compact invariant set of the Hamiltonian flow restricted to a prescribed energy level. We consider the Hamiltonian flows of the curve of least action of natural mechanical systems in sub-Riemannian structures with symmetries. We give sufficient conditions for the reduced flows (after reduction of the first integrals induced from the symmetries) to be…
Consider a compact Lie group $G$ and a closed Lie subgroup $H<G$. Let $\mathcal M$ be the set of $G$-invariant Riemannian metrics on the homogeneous space $M=G/H$. By studying variational properties of the scalar curvature functional on $\mathcal M$, we obtain an existence theorem for solutions to the prescribed Ricci curvature problem on $M$. To illustrate the applicability of this result, we explore cases where $M$ is a generalised Wallach space and a generalised flag manifold.
Let $\M$ be a smooth connected manifold endowed with a smooth measure $μ$ and a smooth locally subelliptic diffusion operator $L$ satisfying $L1=0$, and which is symmetric with respect to $μ$. Associated with $L$ one has \textit{le carré du champ} $Γ$ and a canonical distance $d$, with respect to which we suppose that $(M,d)$ be complete. We assume that $\M$ is also equipped with another first-order differential bilinear form $Γ^Z$ and we assume that $Γ$ and $Γ^Z$ satisfy the Hypothesis below. With these forms we introduce in \eqref{cdi} below a generalization of the curvature-dimension inequa…
Existence of Riemannian invariants for integrable systems of hydrodynamic type
School of Mathematics, Loughborough University（拉夫堡大学数学学院）；Institute of Mathematics and Mathematical Modeling（数学与数学建模研究所）；Faculty of Mechanics and Mathematics and Center for Fundamental and Applied Mathematics, Moscow State University（莫斯科国立大学力学数学系及基础与应用数学中心）；Institut für Mathematik, Friedrich Schiller Universität Jena（耶拿弗里德里希·席勒大学数学研究所）
In this work we study riemannian metrics on flag manifolds adapted to the symmetries of these homogeneous nonsymmetric spaces. We first introduce the notion of riemannian $Γ$-symmetric space when $Γ$ is a general abelian finite group, the symmetric case corresponding to $Γ=\Z_2$. We describe and study all the riemannian metrics on $SO(2n+1)/SO(r_1)\times SO(r_2)\times SO(r_3)\times SO(2n+1-r_1-r_2-r_3)$ for which the symmetries are isometries. We consider also the lorentzian case and give an example of a lorentzian homogeneous space which is not a symmetric space.
By adapting a technique of Molchanov, we obtain the heat kernel asymptotics at the sub-Riemannian cut locus, when the cut points are reached by an $r$-dimensional parametric family of optimal geodesics. We apply these results to the bi-Heisenberg group, that is, a nilpotent left-invariant sub-Rieman\-nian structure on $\mathbb{R}^{5}$ depending on two real parameters $α_{1}$ and $α_{2}$. We develop some results about its geodesics and heat kernel associated to its sub-Laplacian and we illuminate some interesting geometric and analytic features appearing when one compares the isotropic ($α_{1}=…
Let M be a compact Riemannian manifold without boundary and let E be a Riemannian vector bundle over M. If $σ$ denotes the sphere subbundle of E, we look for embeddings of $σ$ into E admitting a prescribed mean curvature.
We build new examples of extremal domains with small prescribed volume for the first eigenvalue of the Laplace-Beltrami operator in some Riemannian manifold with boundary. These domains are close to half balls of small radius centered at a nondegenerate critical point of the mean curvature function of the boundary of the manifold, and their boundary intersects the boundary of the manifold orthogonally.
We consider maps into Riemannian manifolds of non-positive curvature and start developing a systematic PDE theory. We control the Sobolev $H^{2,2}$-norm of such a map in terms of its energy, the $L^2$-norm of its tension field and a topological term depending on the homotopy class. We also solve a Dirchlet problem without an underlying variational structure, as an extension of the topic of harmonic maps with potentials.
On Riemannian manifolds of dimension 4, for prescribed scalar curvature equation, under lipschitzian condition on the prescribed curvature, we have an uniform estimate for the solutions of the equation if we control their minimas.
Given a class of closed Riemannian manifolds with prescribed geometric conditions, we introduce an embedding of the manifolds into $\ell^2$ based on the heat kernel of the Connection Laplacian associated with the Levi-Civita connection on the tangent bundle. As a result, we can construct a distance in this class which leads to a pre-compactness theorem on the class under consideration.
