We consider a unit normal vector field of (local) hyperfoliation on a given Riemannian manifold as a submanifold in the unit tangent bundle with Sasaki metric. We give an explicit expression of the second fundamental form for this submanifold and a rather simple condition its totally geodesic property in the case of a totally umbilic hyperfoliation. A corresponding example shows the non-triviality of this condition. In the 2-dimensional case, we give a complete description of Riemannian manifolds admitting a geodesic unit vector field with totally geodesic property.
The following Theorem is proved: Let M be an n-dimensional (n>2) submanifold of a Riemannian manifold N. Suppose that through each point p of M there exist two (n-1)-dimensional extrinsic spheres of N, which are contained in M in a neighbourhood of p and are tangent to each other at p. Then M is totally geodesic in N or an extrinsic sphere of N.
The diameter of a disc filling a loop in the universal covering of a Riemannian manifold may be measured extrinsically using the distance function on the ambient space or intrinsically using the induced length metric on the disc. Correspondingly, the diameter of a van Kampen diagram filling a word that represents the identity in a finitely presented group can either be measured intrinsically its 1-skeleton or extrinsically in the Cayley graph of the group. We construct the first examples of closed manifolds and finitely presented groups for which this choice -- intrinsic versus extrinsic -- gi…
Improving a result of Eschenburg and Kim we give a criterion for semisimplicity of pseudo-Riemannian extrinsic symmetric spaces in terms of the shape operator with respect to the mean curvature vector.
We study the geometry of a codimension-one foliation with a time-dependent Riemannian metric. The work begins with formulae concerning deformations of geometric quantities as the Riemannian metric varies along the leaves of the foliation. Then the Extrinsic Geometric Flow depending on the second fundamental form of the foliation is introduced. Under suitable assumptions, this evolution yields the second order parabolic PDEs, for which the existence/uniquenes and in some cases convergence of a solution are shown. Applications to the problem of prescribing mean curvature function of a codimensio…
We prove Reilly-type upper bounds for divergence-type operators of the second order as well as for Steklov problems on submanifolds of Riemannian manifolds of bounded sectional curvature endowed with a weighted measure.
Extrinsic Geometric Flow (EGF) for a codimension-one foliation has been recently introduced by authors as deformations of Riemannian metrics subject to quantities expressed in terms of its second fundamental form. In the paper we introduce soliton solutions to EGF and study their geometry for totally umbilical foliations, foliations on surfaces, and when the EGF is produced by the extrinsic Ricci tensor.
This paper defines two new extrinsic curvature quantities on the corner of a four-dimensional Riemannian manifold with corner. One of these is a pointwise conformal invariant, and the conformal transformation of the other is governed by a new linear second-order pointwise conformally invariant partial differential operator. The Gauss-Bonnet theorem is then stated in terms of these quantities.
We proved that a conformal immersion of $M_0^{n_0}\times M_1^{n_1}$ as an hipersurface in a Euclidean space must be an extrinsic product of immersions, under the assumption that $n_0, n_1 \geq 2$ and that $M^{n_0}_0\times M^{n_1}_1$ is not conformally flat. We also stated a similar theorem for an arbitrary number of factors, more precisely, a conformal immersion $f\colon M^{n_0}_0 \times \cdots \times M^{n_k}_k \rightarrow \mathbb{R}^{n+k}$ must be an extrinsic product of immersions if one of the factors admits a plane with vanishing curvature and the remaining factors are not flat.
We study deformations of Riemannian metrics on a given manifold equipped with a codimension-one foliation subject to quantities expressed in terms of its second fundamental form. We prove the local existence and uniqueness theorem and estimate the existence time of solutions for some particular cases. The key step of the solution procedure is to find (from a system of quasilinear PDE's) the principal curvatures of the foliation. Examples for extrinsic Newton transformation flow, extrinsic Ricci flow, and applications to foliations on surfaces are given.
A Riemannian manifold endowed with $k\ge2$ complementary pairwise orthogonal distributions is called a Riemannian almost $k$-product manifold. In the article, for the first time, we study the following problem: find a relationship between intrinsic and extrinsic invariants of a Riemannian almost $k$-product manifold isometrically immersed in another Riemannian manifold. For such immersions, we establish an optimal inequality that includes the mixed scalar curvature and the square of the mean curvature. Although Riemannian curvature tensor belongs to intrinsic geometry, a special part called th…
The famous Nash embedding theorem published in 1956 was aiming for the opportunity to use extrinsic help in the study of (intrinsic) Riemannian geometry, if Riemannian manifolds could be regarded as Riemannian submanifolds. However, this hope had not been materialized yet according to \cite{G}. The main reason for this was the lack of control of the extrinsic properties of the submanifolds by the known intrinsic invariants. In order to overcome such difficulties as well as to provide answers to an open question on minimal immersions, the first author introduced in the early 1990's new types of…
The famous Nash embedding theorem was aimed for in the hope that if Riemannian manifolds could be regarded as Riemannian submanifolds, this would then yield the opportunity to use extrinsic help. However, as late as 1985 (see \cite{G}) this hope had not been materialized. The main reason for this is due to the lack of controls of the extrinsic properties of the submanifolds by the known intrinsic invariants. In order to overcome such difficulties as well as to provide answers to an open question on minimal immersions, we introduced in the early 1990's new types of Riemannian invariants, known …
We investigate ruled surfaces in 3d Riemannian manifolds, i.e., surfaces foliated by geodesics. In 3d space forms, we find the striction curve, distribution parameter, and the first and second fundamental forms, from which we obtain the Gaussian and mean curvatures. We also provide model-independent proof for the known fact that extrinsically flat surfaces in space forms are ruled. This proof allows us to identify the necessary and sufficient condition the curvature tensor must satisfy for an extrinsically flat surface in a generic 3d manifold to be ruled. Further, we show that if a 3d manifol…
Let $(M,g)$ be a complete non-compact Riemannian manifold together with a function $e^h$, which weights the Hausdorff measures associated to the Riemannian metric. In this work we assume lower or upper radial bounds on some weighted or unweighted curvatures of $M$ to deduce comparisons for the weighted isoperimetric quotient and the weighted capacity of metric balls in $M$ centered at a point $o\in M$. As a consequence, we obtain parabolicity and hyperbolicity criteria for weighted manifolds generalizing previous ones. A basic tool in our study is the analysis of the weighted Laplacian of the …
We develop variation formulas on almost-product (e.g. foliated) pseudo-Riemannian manifolds, and we consider variations of metric preserving orthogonality of the distributions. These formulae are applied to Einstein-Hilbert type actions: the total mixed scalar curvature and the total extrinsic scalar curvature of a distribution. The obtained Euler-Lagrange equations admit a number of solutions, e.g., twisted products, conformal submersions and isoparametric foliations. The paper generalizes recent results about the actions on codimension-one foliations for the case of arbitrary (co)dimension.
The famous theorems of Cartan, related to the axiom of $r$-planes, and Leung-Nomizu about the axiom of $r$-spheres were extended to Kähler geometry by several authors. In this paper we replace the strong notions of totally geodesic submanifolds ($r$-planes) and extrinsic spheres ($r$-spheres) by a wider class of special isometric immersions such that theorems of type "axioms of $r$-special submanifolds" could hold. We verify also that there are plenty of special submanifolds in real and complex space forms and, in the codimension one case, in Einstein manifolds.
We develop variation formulas for the quantities of extrinsic geometry for adapted variations of metrics on almost-product (e.g. foliated) Riemannian manifolds, and apply them to study the total mixed scalar curvature of a distribution -- analogue of the classical Einstein-Hilbert action. The mixed scalar curvature ${\rm S}_{\,\rm mix}$ is the averaged sectional curvature over all planes that contain vectors from both distributions of an almost-product structure and the variations we consider preserve orthogonality of the distributions. We derive the directional derivative $D J_{\,\rm mix}$ (o…
In this article, we prove a series of integral formulae for a codimension-one foliated sub-Riemannian manifold, i.e., a Riemannian manifold $(M,g)$ equipped with a distribution ${\mathcal D}=T{\mathcal F}\oplus\,{\rm span}(N)$, where ${\mathcal F}$ is a foliation of $M$ and $N$ a unit vector field $g$-orthogonal to ${\mathcal F}$. Our integral formulas involve $r$th mean curvatures of ${\mathcal F}$, Newton transformations of the shape operator of ${\mathcal F}$ with respect to $N$ and the curvature tensor of induced connection on ${\mathcal D}$ and generalize some known integral formulas (due…
A submanifold of a Riemannian manifold is called a parallel submanifold if its second fundamental form is parallel with respect to the van der Waerden-Bortolotti connection. From submanifold point of view, parallel submanifolds are the simplest Riemannian submanifolds next to totally geodesic ones. Parallel submanifolds form an important class of Riemannian submanifolds since extrinsic invariants of a parallel submanifold do not vary from point to point. In this paper we provide a comprehensive survey on this important class of submanifolds.
In this article, we deduce a series of integral formulas for a foliated sub-Riemannian manifold, which is a new geometric concept denoting a Riemannian manifold equipped with a distribution ${\mathcal D}$ and a foliation ${\mathcal F}$, whose tangent bundle is a subbundle of ${\mathcal D}$. Our integral formulas generalize some results for foliated Riemannian manifolds and involve the shape operators of ${\mathcal F}$ with respect to normals in ${\mathcal D}$ and the curvature tensor of induced connection on ${\mathcal D}$. The formulas also include arbitrary functions $f_j\ (0\le j<\dim{\math…
In this paper we study submanifold with nonpositive extrinsic curvature in a positively curved manifold. Among other things we prove that, if $K\subset (S^n, g)$ is a totally geodesic submanifold in a Riemannian sphere with positive sectional curvature where $n\ge 5$, then $K$ is homeomorphic to $S^{n-2}$ and the fundamental group of the knot complement $π_1(S^n-K)\cong \Bbb Z$.
This is an intuitive survey of extrinsic and intrinsic notions of convergence of manifolds complete with pictures of key examples and a discussion of the properties associated with each notion. We begin with a description of three extrinsic notions which have been applied to study sequences of submanifolds in Euclidean space: Hausdorff convergence of sets, flat convergence of integral currents, and weak convergence of varifolds. We next describe a variety of intrinsic notions of convergence which have been applied to study sequences of compact Riemannian manifolds: Gromov-Hausdorff convergence…
We establish mean curvature estimate for immersed hypersurface with nonnegative extrinsic scalar curvature in Riemannian manifold $(N^{n+1}, \bar g)$ through regularity study of a degenerate fully nonlinear curvature equation in general Riemannian manifold. The estimate has a direct consequence for the Weyl isometric embedding problem of $(\mathbb S^2, g)$ in $3$-dimensional warped product space $(N^3, \bar g)$. We also discuss isometric embedding problem in spaces with horizon in general relativity, like the Anti-de Sitter-Schwarzschild manifolds and the Reissner-Nordström manifolds.
We characterise the link of derivatives in measure, which are introduced in [AKR,Card,ORS] respectively by different means, for functions on the space $\mathbb M$ of finite measures over a Riemannian manifold $M$. For a reasonable class of functions $f$, the extrinsic derivative $D^Ef$ coincides with the linear functional derivative $D^Ff$, the intrinsic derivative $D^If$ equals to the $L$-derivative $D^Lf$, and $$D^If(η)(x)= D^{L}f(η)(x)= \lim_{s\downarrow 0} \frac 1 s \nabla f(η+s δ_\cdot)(x) = \nabla \big\{D^E f (η)\big\}(x), \ \ (x,η)\in M\times\mathbb M,$$ where $\nabla$ is the gradient o…
$\mathfrak{L}_ν$ operator is an important extrinsic differential operator of divergence type and has profound geometric settings. In this paper, we consider the clamped plate problem of $\mathfrak{L}^{2}_ν$ operator on a bounded domain of the complete Riemannian manifolds. A general formula of eigenvalues of $\mathfrak{L}^{2}_ν$ operator is established. Applying this general formula, we obtain some estimates for the eigenvalues with higer order on the complete Riemannian manifolds. As several fascinating applications, we discuss this eigenvalue problem on the complete translating solitons, min…
In a complete simply connected Riemannian manifold X of pinched negative curvature, we give a sharp criterion for a subset C to be the epsilon-neighbourhood of some convex subset of X, in terms of the extrinsic curvatures of the boundary of C.
Let $M$ be a submanifold of a Riemannian manifold $(N,g)$. $M$ induces a subbundle $O(M,N)$ of adapted frames over $M$ of the bundle of orthonormal frames $O(N)$. Riemannian metric $g$ induces natural metric on $O(N)$. We study the geometry of a submanifold $O(M,N)$ in $O(N)$. We characterize the horizontal distribution of $O(M,N)$ and state its correspondence with the horizontal lift in $O(N)$ induced by the Levi--Civita connection on $N$. In the case of extrinsic geometry, we show that minimality is equivalent to harmonicity of the Gauss map of the submanifold $M$ with deformed Riemannian me…
Principal Component Analysis can be performed over small domains of an embedded Riemannian manifold in order to relate the covariance analysis of the underlying point set with the local extrinsic and intrinsic curvature. We show that the volume of domains on a submanifold of general codimension, determined by the intersection with higher-dimensional cylinders and balls in the ambient space, have asymptotic expansions in terms of the mean and scalar curvatures. Moreover, we propose a generalization of the classical third fundamental form to general submanifolds and prove that the eigenvalue dec…
The objective of the current paper is essentially twofold. Firstly, to make clear the difference between two notions of rolling a Riemannian manifold over another, using a language accessible to a wider audience, in particular to readers with interest in applications. Secondly, we concentrate on rolling an important class of Riemannian manifolds. In the first part of the paper, the relation between intrinsic and extrinsic rollings is explained in detail, while in the second part we address rollings of symmetric spaces on flat spaces and complement the theoretical results with illustrative exam…
We give estimates on the intrinsic and the extrinsic curvature of manifolds that are isometrically immersed as cylindrically bounded submanifolds of warped products. We also address extensions of the results in the case of submanifolds of the total space of a Riemannian submersion.
Motivated from the action functional for bosonic strings with extrinsic curvature term we introduce an action functional for maps between Riemannian manifolds that interpolates between the actions for harmonic and biharmonic maps. Critical points of this functional will be called interpolating sesqui-harmonic maps. In this article we initiate a rigorous mathematical treatment of this functional and study various basic aspects of its critical points.
We prove some sharp isoperimetric type inequalities for domains with smooth boundary on Riemannian manifolds. For example, using generalized convexity, we show that among all domains with a lower bound $l$ for the cut distance and Ricci curvature lower bound $(n-1)k$, the geodesic ball of radius $l$ in the space form of curvature $k$ has the largest area-to-volume ratio. A similar but reversed inequality holds if we replace a lower bound on the cut distance by a lower bound of the mean curvature. As an application we show that $C^2$ isoperimetric domains in standard space forms are balls. Gene…
We prove a formula for the normal injectivity radius(thickness)i(K,M)for C^{1,1} compact submanifolds K^k of complete Riemannian manifolds M^n in terms of geometric focal distance and double critical points. We also prove the C^1 compactness of the set of all compact submanifolds K contained in a compact subset D of a fixed manifold M with i(K,M) bounded away from 0. This is an extrinsic and isometric embeddindg type theorem related to Gromov's compactness theorem. This yields the existence of thickest submanifolds in an isotopy class where K is not necessarily connected.
We explore the relation among volume, curvature and properness of a $m$-dimensional isometric immersion in a Riemannian manifold. We show that, when the $L^p$-norm of the mean curvature vector is bounded for some $m \leq p\leq \infty$, and the ambient manifold is a Riemannian manifold with bounded geometry, properness is equivalent to the finiteness of the volume of extrinsic balls. We also relate the total absolute curvature of a surface isometrically immersed in a Riemannian manifold with its properness. Finally, we relate the curvature and the topology of a complete and non-compact $2$-Riem…
Post-processed frozen-flow methods for the long time sampling of ergodic dynamics on Riemannian manifolds
Univ Rennes, INRIA (Research team MINGuS), IRMAR (CNRS UMR 6625) and ENS Rennes（雷恩大学、法国国家信息与自动化研究所（MINGuS研究团队）、法国国家科学研究中心联合数学研究实验室（CNRS UMR 6625）和雷恩高等师范学院）
For constant mean curvature surfaces of class $C^2$ immersed inside Sasakian sub-Riemannian 3-manifolds we obtain a formula for the second derivative of the area which involves horizontal analytical terms, the Webster scalar curvature of the ambient manifold, and the extrinsic shape of the surface. Then we prove classification results for complete surfaces with empty singular set which are stable, i.e., second order minima of the area under a volume constraint, inside the 3-dimensional sub-Riemannian space forms. In the first Heisenberg group we show that such a surface is a vertical plane. In…
We examine the total mixed scalar curvature of a fixed distribution as a functional of a pseudo-Riemannian metric. We develop variational formulas for quantities of extrinsic geometry of the distribution to find the critical points of this action. Together with the arbitrary variations of the metric, we consider also variations that preserve the volume of the manifold or partially preserve the metric (e.g. on the distribution). For each of those cases we obtain the Euler-Lagrange equation and its several solutions. The examples of critical metrics that we find are related to various fields of …
Our results concern geometry of a manifold endowed with a pair of complementary orthogonal distributions (plane fields) and a time-dependent Riemannian metric. The work begins with formulae concerning deformations of geometric quantities as the Riemannian metric varies conformally along one of the distributions. Then we introduce the Extrinsic Geometric Flow depending on the mean curvature vector field of the distribution, and show existence/uniquenes and convergence of a solution as $t\to\infty$, when the complementary distribution is integrable with compact leaves. We apply the method to the…
On a smooth manifold with distributions ${\cal D}_1$ and ${\cal D}_2$ having trivial intersection, we consider the integral of their mutual curvature, as a functional of Riemannian metrics that make the distributions orthogonal. The mutual curvature is defined as the sum of sectional curvatures of planes spanned by all pairs of vectors from an orthonormal basis, such that one vector of the pair belongs to ${\cal D}_1$ and the second vector belongs to ${\cal D}_2$. As such, it interpolates between the sectional curvature of a plane field (if both distributions are one-dimensional), and the mixe…
