The classical Three Gap Theorem asserts that for a natural number n and a real number p, there are at most three distinct distances between consecutive elements in the subset of [0,1) consisting of the reductions modulo 1 of the first n multiples of p. Regarding it as a statement about rotations of the circle, we find results in a similar spirit pertaining to isometries of compact Riemannian manifolds and the distribution of points along their geodesics.
In the present paper we prove Liouville-type theorems: non-existence theorems for some complete Riemannian almost product manifolds and special mappings of complete Riemannian manifolds which generalize similar results for compact manifolds.
Lecture notes for the minicourse "Holonomy Groups in Riemannian geometry", a part of the XVII Brazilian School of Geometry, to be held at UFAM (Amazonas, Brazil), in July of 2012.
We define a Riemannian structure as a pre-homogeneous geometric structure with curvature R. We show that R=0 if and only if the underlying metric has constant curvature. We define pre-homogeneous geometric structures and pose some problems.
We compute the curvature tensor of the tangent bundle of a Riemannian manifold endowed with a natural metric and we get some relationships between the geometry of the base manifold and the geometry of the tangent bundle.
In the paper, we give a Schur-Toponogov theorem in Riemannian geometry, which not only generalizes Schur's and Toponogov's theorem but also indicates their relation. Inspired by its proof, we also supply a new proof of Toponogov's theorem (in the large) in Alexandrov geometry.
If Pi: M -> B is an onto smooth maximal rank map between complete Riemannian manifolds M and B with bounded geometry, we prove sufficient conditions for M to be roughly isometric to the Riemannian product FxB, where F is a fiber of M.
In this article we show how holomorphic Riemannian geometry can be used to relate certain submanifolds in one pseudo-Riemannian space to submanifolds with corresponding geometric properties in other spaces. In order to do so, we shall first rephrase and extend some background theory on holomorphic Riemannian manifolds, which is essential for the later application of the presented method.
We show that every paracomplex space form is locally isometric to a modified Riemannian extension and give necessary and sufficient conditions so that a modified Riemannian extension is Einstein. We exhibit Riemannian extension Osserman manifolds of signature (3,3) whose Jacobi operators have non-trivial Jordan normal form and which are not nilpotent. We present new four dimensional results in Osserman geometry.
Using a new type of Jacobi field estimate we will prove a duality theorem for singular Riemannian foliations in complete manifolds of nonnegative sectional curvature.
We consider local geometry of sub-pseudo-Riemannian structures on contact manifolds. We construct fundamental invariants of the structures and show that the structures give rise to Einstein-Weyl geometries in dimension 3, provided that certain additional conditions are satisfied.
We obtain geometric characterizations of isospectral minimal Riemannian Legendre foliations on compact Sasakian manifolds of constant $ϕ$-sectional curvature.
We prove the semi-Riemannian bumpy metric theorem using equivariant variational genericity. The theorem states that, on a given compact manifold $M$, the set of semi-Riemannian metrics that admit only nondegenerate closed geodesics is generic relatively to the $C^k$-topology, $k=2,...,\infty$, in the set of metrics of a given index on $M$. A higher order genericity Riemannian result of Klingenberg and Takens is extended to semi-Riemannian geometry.
If a (non-constant) polynomial has no zero, then a certain Riemannian metric is constructed on the two dimensional sphere. Several geometric arguments are then shown to contradict this fact.
Lorentzian versions of classical Riemannian volume comparison theorems by Gunther, Bishop and Bishop-Gromov, are stated for suitable natural subsets of general semi-Riemannian manifolds. The problem is more subtle in the Bishop-Gromov case, which is extensively discussed. For the general semi-Riemannian case, a local version of the Gunther and Bishop theorems is given and applied.
These notes on Riemannian geometry use the bases bundle and frame bundle, as in Geometry of Manifolds, to express the geometric structures. It has more problems and omits the background material. It starts with the definition of Riemannian and semi-Riemannian structures on manifolds. Affine connections, geodesics, torsion and curvature, the exponential map, and the Riemannian connection follow quickly. The Taylor series for of the metric in normal coordinates is an unusual feature. The last third covers, first and second variation of energy, completeness, cut points, the Hadamard-Cartan theore…
Shape analysis and compuational anatomy both make use of sophisticated tools from infinite-dimensional differential manifolds and Riemannian geometry on spaces of functions. While comprehensive references for the mathematical foundations exist, it is sometimes difficult to gain an overview how differential geometry and functional analysis interact in a given problem. This paper aims to provide a roadmap to the unitiated to the world of infinite-dimensional Riemannian manifolds, spaces of mappings and Sobolev metrics: all tools used in computational anatomy and shape analysis.
Arnlind, Hoppe and Huisken showed how to express the Gauss and mean curvature of a surface embedded in a Riemannian manifold in terms of Poisson brackets of the embedding coordinates. We generalize these expressions to the pseudo-Riemannian setting and derive explicit formulas for the case of surfaces embedded in $\R^m$ with indefinite metric.
In this paper, we define and study sub-Riemannian structures on Banach manifolds. We obtain extensions of the Chow-Rashevski theorem for exact controllability, and give conditions for the existence of a Hamiltonian geodesic flow despite the lack of a Pontryagin Maximum Principle in the infinite dimensional setting.
We use reduced homogeneous coordinates to study Riemannian geometry of the octonionic (or Cayley) projective plane. Our method extends to the para-octonionic (or split octonionic) projective plane, the octonionic projective plane of indefinite signature, and the hyperbolic dual of the octonionic projective plane; we discuss these manifolds in the later sections of the paper.
Using vertical and complete lifts, any left invariant Riemannian metric on a Lie group induces a left invariant Riemannian metric on the tangent Lie group. In the present article we study the Riemannian geometry of tangent bundle of two families of Lie groups. The first one is the family of special Lie groups considered by J. Milnor and the second one is the class of Lie groups with one-dimensional commutator groups. The Levi-Civita connection, sectional and Ricci curvatures have been investigated.
We discover a fundamental exterior differential system of Riemannian geometry; indeed, an intrinsic and invariant global system of differential forms of degree $n$ associated to any given oriented Riemannian manifold $M$ of dimension $n+1$. The framework is that of the tangent sphere bundle of $M$. We generalise to a Riemannian setting some results from the theory of hypersurfaces in flat Euclidean space. We give new applications and examples of the associated Euler-Lagrange differential systems.
There are many equivalent definitions of Riemannian geodesics. They are naturally generalised to sub-Riemannian manifold, but become non-equivalent. We give a review of different definitions of geodesics of a sub-Riemannian manifold and interrelation between them. We recall three variational definitions of geodesics as (locally) shortest curves (Euler-Lagrange, Pontyagin and Hamilton) and three definitions of geodesics as straightest curves (d'Alembert , Levi-Civita-Schouten and Cartan-Tanaka ), used in nonholonomic mechanics and discuss their interrelations. We consider a big class of sub-Rie…
In this paper we will investigate the global properties of complete Hilbert manifolds with upper and lower bounded sectional curvature. We shall prove the Focal Index Lemma that we will allow us to extend some classical results of finite dimensional Riemannian geometry such as Rauch and Berger Theorems and the Topogonov Theorem in the class of manifolds on which the Hopf-Rinow Theorem holds.
In this paper, we study and partially classify those Riemannian man-ifolds carrying a non-identically vanishing function f whose Hessian is minus f times the Ricci-tensor of the manifold.
On a compact foliated Riemannian manifold with some transversal curvature conditions, there are no nontrivial basic harmonic forms (M. Min-Oo et al., J. Reine Angew. Math. 415 (1991). In this paper, we extend the above facts to a complete foliated Riemannian manifold.
We consider $H$(eisenberg)-type groups whose law of left translation gives rise to a bracket generating distribution of step 2. In the contrast with sub-Riemannian studies we furnish the horizontal distribution with a nondegenerate indefinite metric of arbitrary index and investigate the problem concerning causal geodesics on underlying manifolds. The exact formulae for geodesics are obtained.
The authors Balogh-Tyson-Vecchi in arXiv:1604.00180 utilize the Riemannian approximations scheme $(\mathbb H^1,<,>_L)$, in the Heisenberg group, introduced by Gromov, to calculate the limits of Gaussian and normal curvatures defined on surfaces of $\mathbb H^1$ when $L\rightarrow\infty$. They show that these limits exist (unlike the limit of Riemannian surface area form or length form), and they obtain Gauss-Bonnet theorem in $\mathbb H^1$ as limit of Gauss-Bonnet theorems in $(\mathbb H^1,<,>_L)$ when $L$ goes to infinity. This construction was extended by Wang-Wei in arXiv:1912.00302 to the …
We obtain sharp quantitative Laplacian upper and lower estimates under no assumption on curvatures. As a result, we derive quantitative Laplacian, area and volume comparison theorems for tubes in Riemannian and Kähler manifolds under weak integral curvature assumptions. We also give some applications, such as a general Bonnet-Myers theorem and Cheng's eigenvalue estimate under weak integral curvature assumptions.
Each sub-Riemannian geometry with bracket generating distribution enjoys a background structure determined by the distribution itself. At the same time, those geometries with constant sub-Riemannian symbols determine a unique Cartan connection leading to their principal invariants. We provide cohomological description of the structure of these curvature invariants in the cases where the background structure is one of the parabolic geometries. As an illustration, constant curvature models are discussed for certain sub-Riemannian geometries.
We investigate contact Lie groups having a left invariant Riemannian or pseudo-Riemannian metric with specific properties such as being bi-invariant, flat, negatively curved, Einstein, etc. We classify some of such contact Lie groups and derive some obstruction results to the existence of left invariant contact structures on Lie groups
We prove an estimate on the difference of Maslov indices relative to the choice of two distinct reference Lagrangians of a continuous path in the Lagrangian Grassmannian of a symplectic space. We discuss some applications to the study of conjugate and focal points along a geodesic in a semi-Riemannian manifold.
The recently introduced Lipschitz-Killing curvature measures on pseudo-Riemannian manifolds satisfy a Weyl principle, i.e. are invariant under isometric embeddings. We show that they are uniquely characterized by this property. We apply this characterization to prove a Künneth-type formula for Lipschitz-Killing curvature measures, and to classify the invariant generalized valuations and curvature measures on all isotropic pseudo-Riemannian space forms.
A method to generalize results from Riemannian Geometry to Finsler geometry is presented. We use the method to generalize several results that involve only metric conditions. Between them we show that the topology induced by the Finsler structure is equivalent to the manifold topology, we provide a new proof of the Hopf-Rinow theorem in Finsler geometry and we prove the existence of the center of mass of a convex body when the non-symmetric distance function comes from a non-reversible Finsler function.
We derive a formula for the first variation of horizontal perimeter measure for $C^2$ hypersurfaces of completely general sub-Riemannian manifolds, allowing for the existence of characteristic points. For $C^2$ hypersurfaces in vertically rigid sub-Riemannian manifolds we also produce a second variation formula for variations supported away from the characteristic locus. This variation formula is used to show the bubble sets in \hn{2} are stable under volume preserving variations.
We describe a new class of holonomy groups on pseudo-Riemannian manifolds. Namely, we prove the following theorem. Let g be a nondegenerate bilinear form on a vector space V, and L:V -> V a g-symmetric operator. Then the identity component of the centraliser of L in SO(g) is a holonomy group for a suitable Levi-Civita connection.
We give manifolds in both the Riemannian and in the higher signature settings whose Riemann curvature operators commute, i.e. which satisfy R(a,b)R(c,d)=R(c,d)R(a,b) for all tangent vectors. These manifolds have global geometric phenomena which are quite different for higher signature manifolds than they are for Riemannian manifolds. Our focus is on global properties; questions of geodesic completeness and the behaviour of the exponential map are investigated.
We prove that the L^2 Riemannian metric on the manifold of all smooth Riemannian metrics on a fixed closed, finite-dimensional manifold induces a metric space structure. As the L^2 metric is a weak Riemannian metric, this fact does not follow from general results. In addition, we prove several results on the exponential mapping and distance function of a weak Riemannian metric on a Hilbert/Frechet manifold. The statements are analogous to, but weaker than, what is known in the case of a Riemannian metric on a finite-dimensional manifold or a strong Riemannian metric on a Hilbert manifold.
In this article, we prove Talenti's comparison theorem for Poisson equation on complete noncompact Riemannian manifold with nonnegative Ricci curvature. Furthermore, we obtain the Faber-Krahn inequality for the first eigenvalue of Dirichlet Laplacian, $L^1$- and $L^\infty$-moment spectrum, especially Saint-Venant theorem for torsional rigidity and a reverse Hölder inequality for eigenfunctions of Dirichlet Laplacian.
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.
If the Killing vector field in a Riemannian manifold is the gradient of a smooth real valued function, then it is called Killing potential. In this paper we have deduced a necessary condition for the existence of Killing potential in a complete Riemannian manifold. Yau proved the Liouville theorem of harmonic function in a Riemannian manifold using gradient estimation and after that many authors have generalized this concept and investigated various types of Liouville theorems of harmonic functions. In this article we have also proved a Liouville theorem in integral form of harmonic functions …
In this article, we first consider the $L^{2}$ \textit{Morse-Novikov cohomology} on a complete Riemannian manifold $M$ equipped with a parallel $1$-form which includes Vaisman manifold. Based on a vanishing theorem of $L^{2}$ \textit{Morse-Novikov cohomology}, we prove that the $L^{2}$-harmonic forms on $M$ are identically zero.
We prove a version of Gauss-Bonnet theorem in sub-Riemannian Heisenberg space $H^1$. The sub-Riemannian distance makes $H^1$ a metric space and consenquently with a spherical Hausdorff measure. Using this measure, we define a Gaussian curvature at points of a surface S where the sub-Riemannian distribution is transverse to the tangent space of S. If all points of S have this property, we prove a Gauss-Bonnet formula and for compact surfaces (which are topologically a torus) we obtain $\int_S K = 0$.
In this paper, we consider generic corank 2 sub-Riemannian structures, and we show that the Spherical Hausdorf measure is always a C^1-smooth volume, which is in fact generically C^2- smooth out of a stratified subset of codimension 7. In particular, for rank 4, it is generically C^2 . This is the continuation of a previous work by the auhors.
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.
A few formulas and theorems for statistical structures are proved. They deal with various curvatures as well as with metric properties of the cubic form or its covariant derivative. Some of them generalize formulas and theorems known in the case of Lagrangian submanifolds or affine hypersurfaces.
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…
A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. We compute the connection forms of these metrics and the higher symbols of their curvature forms, which take values in pseudodifferential operators. These calculations are used in a followup paper "The Geometry of Loop Spaces II: Characteristic Classes" to construct Chern-Simons classes on the tangent bundle TLM which detect nontrivial elements in the diffeomorphism group of certain Sasakian 5-manifolds associated to Kaehler surfaces.
In this article we extend the Gallot-Tanno theorem to closed pseudo-Riemannian manifolds. It is done by showing that if the cone over such a manifold admits a parallel symmetric 2-tensor then it is incomplete and has non zero constant curvature. An application of this result to the existence of metrics with distinct Levi-Civita connections but having the same unparametrized geodesics is given.
