Isometric Lie 2-group actions on Riemannian groupoids
Juan Sebastian Herrera-Carmona, Fabricio Valencia
备注：
31 pages. Substantial changes have been made. The presentation has been improved, new results and examples have been added. Final version accepted for publication
We study isometric actions of Lie $2$-groups on Riemannian groupoids by exhibiting some of their immediate properties and implications. Firstly, we prove an existence result which allows both to obtain 2-equivariant versions of the Slice Theorem and the Equivariant Tubular Neighborhood Theorem and to construct bi-invariant groupoid metrics on compact Lie $2$-groups. We provide natural examples, transfer some classical constructions and explain how this notion of isometric $2$-action yields a way to develop a 2-equivariant Morse theory on Lie groupoids. Secondly, we give an infinitesimal description of an isometric Lie $2$-group action. We define an algebra of transversal infinitesimal isometries associated to any Riemannian $n$-metric on a Lie groupoid which in turn gives rise to a notion of geometric Killing vector field on a quotient Riemannian stack. If our Riemannian stack is separated then we prove that the algebra formed by such geometric Killing vector fields is always finite dimensional.
In this paper we prove that every proper Lie groupoid admits a desingularization to a regular proper Lie groupoid. When equipped with a Riemannian metric, we show that it admits a desingularization to a regular Riemannian proper Lie groupoid, arbitrarily close to the original one in the Gromov-Hausdorff distance between the quotient spaces. We construct the desingularization via a successive blow-up construction on a proper Lie groupoid. We also prove that our construction of the desingularization is invariant under Morita equivalence of groupoids, showing that it is a desingularization of the…
We study the Ricci flow on Riemannian groupoids. We assume that these groupoids are closed and that the space of orbits is compact and connected. We prove the short time existence and uniqueness of the Ricci flow on these groupoids. We also define a F-functional and derive the corresponding results for steady breathers on these spaces.
We introduce a notion of metric on a Lie groupoid, compatible with multiplication, and we study its properties. We show that many families of Lie groupoids admit such metrics, including the important class of proper Lie groupoids. The exponential map of these metrics allow us to establish a Linearization Theorem for Riemannian groupoids, obtaining both a simpler proof and a stronger version of the Weinstein-Zung Linearization Theorem for proper Lie groupoids. This new notion of metric has a simplicial nature which will be explored in future papers of this series.
In this paper we investigate the behavior of three-dimensional homogeneous solutions of the cross curvature flow using Riemannian groupoids. The Riemannian groupoid technique, introduced by John Lott, allows us to investigate the long term behavior of collapsing solutions of the flow, producing soliton solutions in the limit. We also review Lott's results on the long term behavior of three-dimensional homogeneous solutions of Ricci flow, demonstrating the coordinates we choose and reviewing the groupoid technique. We find cross curvature soliton metrics on Sol and Nil, and show that the cross …
We describe a local model for any Singular Riemannian Foliation in a neighbourhood of a closed saturated submanifold of a regular stratum. Moreover we construct a Lie groupoid which controls the transverse geometry of the linear approximation of the Singular Riemannian Foliation around these submanifolds. We also discuss the closure of this Lie groupoid and its Lie algebroid.
Sub-Riemannian structures and non-transitive Cartan geometries via Lie groupoids
Centre Inria d’Université Côte d’Azur（阿基坦大学蔚蓝海岸Inria中心）；Julius-Maximilians-Universität Würzburg（维尔茨堡朱利叶斯-马克西米利安大学）；CMUC, University of Coimbra（科英布拉大学数学研究中心）
Cartan-Lie algebroids, i.e. Lie algebroids equipped with a compatible connection, permit the definition of an adjoint representation, on the fiber as well as on the tangent of the base. We call (positive) quadratic Lie algebroids, Cartan-Lie algebroids with ad-invariant (Riemannian) metrics on their fibers and base $κ$ and $g$, respectively. We determine the necessary and sufficient conditions for a positive quadratic Lie algebroid to integrate to a Riemmanian Cartan-Lie groupoid. Here we mean a Cartan-Lie groupoid $\mathcal{G}$ equipped with a bi-invariant and inversion invariant metric $η$ o…
In this work we show that there is a Riemannian groupoid whose orbits are the closures of the leaves of a regular Riemannian foliation on a compact manifold. This groupoid is equivalent (in a generalized sense of Haefliger) with a transformational groupoid on the basic manifold.
In this paper, we study biharmonic isometric immersions of a surface into and biharmonic Riemannian submersion from 3-dimensional Berger spheres. We obtain a classification of proper biharmonic isometric immersions of a surface with constant mean curvature into Berger 3-spheres. We also give a complete classification of proper biharmonic Hopf tori in Berger 3-sphere. For Riemannian submersions, we prove that a Riemannian submersion from Berger 3-spheres into a surface is biharmonic if and only if it is harmonic.
Several characterizations of umbilic points of submanifolds in arbitrary Riemannian and Lorentzian manifolds are given. As a consequence, we obtain new characterizations of spheres in the Euclidean space and of hyperbolic spaces in the Lorentz-Minkowski space. We also prove the Lorentzian version of a classical result by Cartan.
We study curvature invariants of a sub-Riemannian manifold (i.e., a manifold with a Riemannian metric on a non-holonomic distribution) related to mutual curvature of several pairwise orthogonal subspaces of the distribution, and prove geometrical inequalities for a sub-Riemannian submanifold. As applications, inequalities are proved for submanifolds with mutually orthogonal distributions that include scalar and mutual curvature. For compact submanifolds, inequalities are obtained that are supported by known integral formulas for almost-product manifolds.
We study Riemannian metrics on Lie groupoids in the relative setting. We show that any split fibration between proper groupoids can be made Riemannian, and we use these metrics to linearize proper groupoid fibrations. As an application, we derive rigidity theorems for Lie groupoids, which unify, simplify and improve similar results for classic geometries. Then we establish the Morita invariance for our metrics, introduce a notion for metrics on stacks, and use them to construct stacky tubular neighborhoods and to prove a stacky Ehresmann theorem.
This work deals with the structure of the isometry group of pseudo-Riemannian 2-step nilmanifolds. We study the action by isometries of several groups and we construct examples showing substantial differences with the Riemannain situation; for instance the action of the nilradical of the isometry group does not need to be transitive. For a nilpotent Lie group endowed with left-invariant pseudo-Riemannian metric we study conditions for which the subgroup of isometries fixing the identity element equals the subgroup of isometric automorphisms. This set equality holds for pseudo-$H$-type groups.
We use a new method to give conditions for the existence of a local isometric immersion of a Riemannian $n$-manifold $M$ in $\mathbb{R}^{n+k}$, for a given $n$ and $k$. These equate to the (local) existence of a $k$-tuple of scalar fields on the manifold, satisfying a certain non-linear equation involving the Riemannian curvature tensor of $M$. Setting $k=1$, we proceed to recover the fundamental theorem of hypersurfaces. In the case of manifolds of positive sectional curvature and $n\geq 3$, we reduce the solvability of the Gauss and Codazzi equations to the cancelation of a set of obstructio…
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…
Due to Janet-Cartan's theorem, any analytic Riemannian manifolds can be locally isometrically embedded into a sufficiently high dimensional Euclidean space. However, for an individual Riemannian manifold (M,g), it is in general hard to determine the least dimensional Euclidean space into which (M,g) can be locally isometrically embedded, even in the case where (M,g) is homogeneous. In this paper, when the space (M,g) is locally isometric to a three-dimensional Lie group equipped with a left-invariant Riemannian metric, we classify all such spaces that can be locally isometrically embedded into…
We prove here that given a proper isometric action $K\times M\to M$ on a complete Riemannian manifold $M$ then every continuous isometric flow on the orbit space $M/K$ is smooth, i.e., it is the projection of an $K$-equivariant smooth flow on the manifold $M$. As a direct corollary we infer the smoothness of isometric actions on orbit spaces. Another relevant application of our result concerns Molino's conjecture, which states that the partition of a Riemannian manifold into the closures of the leaves of a singular Riemannian foliation is still a singular Riemannian foliation. We prove Molino'…
We prove that an isometric action of a Lie group on a Riemannian manifold admits a resolution preserving the transverse geometry if and only if the action is infinitesimally polar. We provide applications concerning topological simplicity of several classes of isometric actions, including polar and variationally complete ones. All results are proven in the more general case of singular Riemannian foliations.
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…
Let $M$ be a finite volume analytic pseudo-Riemannian manifold that admits an isometric $G$-action with a dense orbit, where $G$ is a connected non-compact simple Lie group. For low-dimensional $M$, i.e. $\dim(M) < 2\dim(G)$, when the normal bundle to the $G$-orbits is non-integrable and for suitable conditions, we prove that $M$ has a $G$-invariant metric which is locally isometric to a Lie group with a bi-invariant metric (local rigidity theorem). The latter does not require $M$ to be complete as in previous works. We also prove a general result showing that $M$ is, up to a finite covering, …
Let $(M^n,g)$ be an $n$-dimensional compact connected Riemannian manifold with smooth boundary. We show that the presence of a nontrivial conformal gradient vector field on $M$, with an appropriate control on the Ricci curvature makes $M$ to be isometric to a hemisphere of $\mathbb{S}^{n}$. We also prove that if an Einstein manifold admits nonzero conformal gradient vector field, then its scalar curvature is positive and it is isometric to a hemisphere of $\mathbb{S}^{n}$. Furthermore, we prove that if $ M $ admits a nontrivial conformal vector field and has constant scalar curvature, then the…
Every open manifold L of dimension greater than one has complete Riemannian metrics g with bounded geometry such that (L,g) is not quasi-isometric to a leaf of a codimension one foliation of a closed manifold. Hence no conditions on the local geometry of (L,g) suffice to make it quasi-isometric to a leaf of such a foliation. We introduce the `bounded homology property', a semi-local property of (L,g) that is necessary for it to be a leaf in a compact manifold in codimension one, up to quasi-isometry. An essential step involves a partial generalization of the Novikov closed leaf theorem to high…
We establish necessary and sufficient conditions for existence of isometric immersions of a simply connected Riemannian manifold into a two-step nilpotent Lie group. This comprises the case of immersions into $H$-type groups.
For a given simply connected Riemannian surface Sigma, we relate the problem of finding minimal isometric immersions of Sigma into S^2 x R or H^2 x R to a system of two partial differential equations on Sigma. We prove that a constant intrinsic curvature minimal surface in S^2 x R or H^2 x R is either totally geodesic or part of an associate surface of a certain limit of catenoids in H^2 x R. We also prove that if a non constant curvature Riemannian surface admits a continuous one-parameter family of minimal isometric immersions into S^2 x R or H^2 x R, then all these immersions are associate.
This note is concerned with the geometric classification of connected Lie groups of dimension three or less, endowed with left-invariant Riemannian metrics. On the one hand, assembling results from the literature, we give a review of the complete classification of such groups up to quasi-isometries and we compare the quasi-isometric classification with the bi-Lipschitz classification. On the other hand, we study the problem whether two quasi-isometrically equivalent Lie groups may be made isometric if equipped with suitable left-invariant Riemannian metrics. We show that this is the case for t…
We consider critical points of the global squared $L^2$-norms of the second fundamental form and the mean curvature vector of isometric immersions into a fixed background Riemannian manifold under deformations of the immersion. We use the critical points of the former functional to define canonical representatives of a given integer homology class of the background manifold. We study the fibration ${\mathbb S}^3 \hookrightarrow Sp(2)\stackrel {π_{\circ}}{\rightarrow} {\mathbb S}^7$ from this point of view, showing that the fibers are the canonical generators of the $3$-integer homology of $Sp(…
We consider submanifolds into Riemannian manifold with metallic structures. We obtain some new results for hypersurfaces in these spaces and we express the fundamental theorem of submanifolds into products spaces in terms of metallic structures. Moreover, we define new structures called complex metallic structures. We show that these structures are linked with complex structures. Then, we consider submanifolds into Riemannian manifold with such structures with a focus on invariant submanifolds and hypersurfaces. We also express in particular the fundamental theorem of submanifolds of complex s…
We classify positively curved Alexandrov spaces of dimension 4 with an isometric circle action up to equivariant homeomorphism, subject to a certain additional condition on the infinitesimal geometry near fixed points which we conjecture is always satisfied. As a corollary, we also classify positively curved Riemannian orbifolds of dimension 4 with an isometric circle action.
Two Riemannian manifolds are said to be isospectral if the associated Laplace-Belttrami operators have the same eigenvalue spectrum. If the manifolds have boundary, one specifies DIrichlet or Neumann isospectrality depending on the boundary conditions imposed on the eigenfunctions. We construct continuous families of (Neumann and Dirichlet) isospectral metrics which have different local geometry on manifolds with boundary in every dimension greater than 6 and also new examples of pairs of closed isospectral manifolds with different local geometry. These examples illustrate for the first time t…
In this paper, we show the rigidity of isometric immersions for a Riemannian manifold of dimension $n-1$ into the light cone of $n+1$ dimensional Minkowski, de Sitter and anti-de Sitter spacetimes for $n\geq 3$.
We introduce a flow of $G_2$-structures defining the same underlying Riemannian metric, whose stationary points are those structures with divergence-free torsion. We show short-time existence and uniqueness of the solution.
We consider two natural problems arising in geometry which are equivalent to the local solvability of specific equations of Monge-Ampere type. These two problems are: the local isometric embedding problem for two-dimensional Riemannian manifolds, and the problem of locally prescribed Gaussian curvature for surfaces in R^3. We prove a general local existence result for a large class of Monge-Ampere equations in the plane, and obtain as corollaries the existence of regular solutions to both problems, in the case that the Gaussian curvature vanishes to arbitrary finite order on a single smooth cu…
In this paper, we are concerned with the existence of local isometric embeddings into Euclidean space for analytic Riemannian metrics $g$, defined on a domain $U\subset \mathbf{R}^n$, which are singular in the sense that the determinant of the metric tensor is allowed to vanish at an isolated point (say the origin). Specifically, we show that, under suitable technical assumptions, there exists a local analytic isometric embedding $u$ from $(U',Π^*g)$ into Euclidean space $\mathbf{E}^{(n^2+3n-4)/2}$, where $Π:U' \to U\backslash\{0\}$ is a finite Riemannian branched cover of a deleted neighborho…
We prove the following to results: (1) A subgroup G of the isometry group of a Riemannian manifold M acts properly on M if and only if G is closed in the isometry group of M. (2) The orbits of an isometric action are closed if and only if the action is orbit equivalent to a proper isometric action.
Let $(Σ,g)$ be a closed Riemannian surface, $\textbf{G}=\{σ_1,\cdots,σ_N\}$ be an isometric group acting on it. Denote a positive integer $\ell=\inf_{x\inΣ}I(x)$, where $I(x)$ is the number of all distinct points of the set $\{σ_1(x),\cdots,σ_N(x)\}$. A sufficient condition for existence of solutions to the mean field equation $$Δ_g u=8π\ell\left(\frac{he^u}{\int_Σhe^udv_g}-\frac{1}{{\rm Vol}_g(Σ)}\right)$$ is given. This recovers results of Ding-Jost-Li-Wang (Asian J Math 1997) when $\ell=1$ or equivalently $\textbf{G}=\{Id\}$, where $Id$ is the identity map.
We study two aspects of the loop group formulation for isometric immersions with flat normal bundle of space forms. The first aspect is to examine the loop group maps along different ranges of the loop parameter. This leads to various equivalences between global isometric immersion problems among different space forms and pseudo-Riemannian space forms. As a corollary, we obtain a non-immersibility theorem for spheres into certain pseudo-Riemannian spheres and hyperbolic spaces. The second aspect pursued is to clarify the relationship between the loop group formulation of isometric immersions o…
Using the results of \cite{P1}, we get some estimates of warping functions for isometric immersions by changing the target manifolds by some types of Riemannian manifolds: constant space forms and Hermitian symmetric spaces. And we deal with equality cases and obtain their applications. Finally, we give some open problems.
To what extent does the eigenvalue spectrum of the Laplace-Beltrami operator on a compact Riemannian manifold determine the geometry of the manifold? We give examples of isospectral manifolds with different local geometry including continuous families of isospectral negatively curved manifolds with boundary as well as various pairs of manifolds. The latter illustrate that the spectrum does not determine whether a manifold with boundary has negative curvature, whether it has constant Ricci curvature, and whether it has parallel curvature tensor, and the spectrum does not determine whether a clo…
Let $M$ be a Riemannian manifold with dimension greater or equal to $3$ which admits a complete, finite-volume Riemannian metric $g_0$ locally isometric to a rank-1 symmetric space of non-compact type. The volume entropy rigidity theorem asserts that $g_0$ minimizes a normalized volume growth entropy among all complete, finite-volume, Riemannian metric on $M$. We will repair a gap in the proof when $g_0$ is locally isometric to the Cayley hyperbolic space.
In this paper, we generalize the notion of Serre fibration to the Morita category of topological groupoids and derive the associated long exact sequence of homotopy groups. We use this results for calculation of homotopy groups of various groupoids, such as the foliation groupoid of a Riemannian foliation.
We characterize the universal covering of connected analytic pseudo-Riemannian manifolds which admit a non-trivial and isometric action of the simple Lie group $SL(3,\mathbb{R})$ with a dense orbit preserving a finite volume. If such manifold is also weakly irreducible we prove that $M$ is isometric to, or a quotient space of, a simple Lie group containing $SL(3,\mathbb{R})$.
In this paper, we obtain a sufficient and necessary condition for a simply connected Riemannian manifold $(M^n, g)$ to be isometrically immersed, as a submanifold with codimension $p\geq 1$, into the product $S^k\times H^{n+p-k}$ of sphere and hyperboloid.
J. Nash proved that the geometry of any Riemannian manifold M imposes no restrictions to be embedded isometrically into a (fixed) ball B_{\mathbb{R}^{N}}(1) of the Euclidean space R^N. However, the geometry of M appears, to some extent, imposing restrictions on the mean curvature vector of the embedding.
We classify all smooth flat Riemannian metrics on the two-dimensional plane. In the complete case, it is well-known that these metrics are isometric to the Euclidean metric. In the incomplete case, there is an abundance of naturally-arising, non-isometric metrics that are relevant and useful. Remarkably, the study and classification of all flat Riemannian metrics on the plane -- as a subject -- is new to the literature. Much of our research focuses on conformal metrics of the form $e^{2φ}g_0$, where $φ: \mathbb{R}^2 \rightarrow \mathbb{R)$ is a harmonic function and $g_0$ is the standard Eucli…
In this paper, we use the methods of subriemannian geometry to study the dual foliation of the singular Riemannian foliation induced by isometric Lie group actions on a complete Riemannian manifold M. We show that under some conditions, the dual foliation has only one leaf.
We are concerned with the global weak rigidity of the Gauss-Codazzi-Ricci (GCR) equations on Riemannian manifolds and the corresponding isometric immersions of Riemannian manifolds into the Euclidean spaces. We develop a unified intrinsic approach to establish the global weak rigidity of both the GCR equations and isometric immersions of the Riemannian manifolds, independent of the local coordinates, and provide further insights of the previous local results and arguments. The critical case has also been analyzed. To achieve this, we first reformulate the GCR equations with div-curl structure …
Let Pi: M -> B be an onto maximal rank map or a Riemannian submersion between Riemannian manifolds M and B. Initially, we prove necessary and sufficient conditions for any fiber F to be roughly isometric to M. Then, we prove necessary and sufficient conditions for Pi to be a rough isometry. As a corollary M is roughly isometric to FxB.
We prove an existence result for local and global G-structure preserving affine immersions between affine manifolds. Several examples are discussed in the context of Riemannian and semi-Riemannian geometry, including the case of isometric immersions into Lie groups endowed with a left-invariant metric, and the case of isometric immersions into products of space forms.
