We consider the moduli space of the extremal Kähler metrics on compact manifolds. We show that under the conditions of two-sided total volume bounds, $L^{n\over2}$-norm bounds on $\Riem$, and Sobolev constant bounds, this Moduli space can be compactified by including (reduced) orbifolds with finitely many singularities. Most of our results go through for certain other classes of critical Riemannian metrics.
We obtain a compactness result for various classes of Riemannian metrics in dimension four; in particular our method applies to anti-self-dual metrics, Kahler metrics with constant scalar curvature, and metrics with harmonic curvature. With certain geometric assumptions, the moduli space can be compactified by adding metrics with orbifold singularities. Similar results were obtained previously for Einstein metrics, but our analysis differs substantially from the Einstein case in that we do not assume any pointwise Ricci curvature bound.
For a given smooth manifold, we consider the moduli space of Riemannian metrics up to isometry and scaling. One can define a preorder on the moduli space by the size of isometry groups. We call a Riemannian metric that attains a maximal element with respect to the preorder a maximal metric. Maximal metrics give nice examples of self-similar solutions for various metric evolution equations such as the Ricci flow. In this paper, we construct many examples of maximal metrics on Euclidean spaces.
In this paper, we formulate a procedure to obtain a generalization of Milnor frames for left-invariant pseudo-Riemannian metrics on a given Lie group. This procedure is an analogue of the recent studies on left-invariant Riemannian metrics, and is based on the moduli space of left-invariant pseudo-Riemannian metrics. As one of applications, we show that any left-invariant pseudo-Riemannian metrics of arbitrary signature on the Lie groups of real hyperbolic spaces have constant sectional curvatures.
We describe the topology of the moduli spaces of flat metrics for all the 3-dimensional closed manifolds. We give an algebraic description of the moduli spaces for the 4-dimensional closed flat manifolds with a single generator in their holonomy and, in some cases, also study their topology.
We study spaces and moduli spaces of Riemannian metrics with non-negative Ricci or non-negative sectional curvature on closed and open manifolds. We construct, in particular, the first classes of manifolds for which these moduli spaces have non-trivial rational homotopy, homology and cohomology groups. We also show that in every dimension at least seven (respectively, at least eight) there exist closed (respectively, open) manifolds for which the space and moduli space of Riemannian metrics with non-negative sectional curvature has infinitely many path components. A completely analogous statem…
We construct the moduli space of r-jets at a point of Riemannian metrics on a smooth manifold. The construction is closely related to the problem of classification of jet metrics via differential invariants. The moduli space is proved to be a differentiable space which admits a finite canonical stratification into smooth manifolds. A complete study on the stratification of moduli spaces is carried out for metrics in dimension n=2.
In this short note we explain how to adapt the construction of two Riemannian metrics on the $\mathrm{SL}(3,\mathbb{R})$-Hitchin component to the deformation space of globally hyperbolic anti-de Sitter structures: the pressure metric and the Loftin metric (studied by Qiongling Li). We show that the former is degenerate and we characterize its degenerate locus, whereas the latter is nowhere degenerate and the Fuchsian locus is a totally geodesic copy of Teichmüller space endowed with a multiple of the Weil-Petersson metric.
A totally umbilical submanifold in pseudo-Riemannian manifolds is a fundamental notion, which is characterized by the condition that the second fundamental form is proportional to the metric. It is also a generalization of the notion of a totally geodesic submanifold. In this paper, we classify congruent classes of full totally umbilical submanifolds in non-flat pseudo-Riemannian space forms, and consider their moduli spaces. As a consequence, we show that some moduli spaces of isometric immersions between space forms which one of the same constant curvature are non-Hausdorff.
This article is based on a talk at the RIEMain in Contact conference in Cagliari, Italy in honor of the 78th birthday of David Blair one of the founders of modern Riemannian contact geometry. The present article is a survey of a special type of Riemannian contact structure known as Sasakian geometry. An ultimate goal of this survey is to understand the moduli of classes of Sasakian structures as well as the moduli of extremal and constant scalar curvature Sasaki metrics, and in particular the moduli of Sasaki-Einstein metrics.
We show that the moduli space of Riemannian metrics of nonnegative sectional curvature on certain quotients of Brieskorn varieties in dimension 5 has infinitely many path components. The same is true for the corresponding moduli space of positive Ricci curvature.
We prove a Gauss-Bonnet theorem for (finite coverings of) moduli spaces of Riemann surfaces endowed with the McMullen metric. The proof uses properties of an exhaustion of moduli spaces by compact submanifolds with corners and the Gauss-Bonnet formula of Allendoerfer and Weil for Riemannian polyhedra.
We show that in each dimension $4n+3$, $n\ge 1$, there exist infinite sequences of closed smooth simply connected manifolds $M$ of pairwise distinct homotopy type for which the moduli space of Riemannian metrics with nonnegative sectional curvature has infinitely many path components. Closed manifolds with these properties were known before only in dimension seven, and our result does also hold for moduli spaces of Riemannian metrics with positive Ricci curvature. Moreover, in conjunction with work of Belegradek, Kwasik and Schultz, we obtain that for each such $M$ the moduli space of complete…
We introduce a new notion of a homogeneous pair for a pseudo-Riemannian metric $g$ and a positive function $f$ on a manifold $M$ admitting a free $\mathbb{R}_{>0}$-action. There are many examples admitting this structure. For example, (a) a class of pseudo-Hessian manifolds admitting a free $\mathbb{R}_{>0}$-action and a homogeneous potential function such as the moduli space of torsion-free $G_2$-structures, (b) the space of Riemannian metrics on a compact manifold, and (c) many moduli spaces of geometric structures such as torsion-free ${\rm Spin}(7)$-structures admit this structure. Hence w…
In this article we first show that any finite cover of the moduli space of closed Riemann surfaces of genus $g$ with $g\geq 2$ does not admit any Riemannian metric $ds^2$ of nonnegative scalar curvature such that $ds^2 \succ ds_{T}^2$ where $ds_{T}^2$ is the Teichmüller metric. Our second result is the proof that any cover $M$ of the moduli space $\mathbb{M}_{g}$ of a closed Riemann surface $S_{g}$ does not admit any complete Riemannian metric of uniformly positive scalar curvature in the quasi-isometry class of the Teichmüller metric, which implies a conjecture of Farb-Weinberger.
In this paper we study the main geometric properties of the Carnot-Carathéodory (abbreviated CC) distance $\dc$ in the setting of $k$-step sub-Riemannian Carnot groups from many different points of view. An extensive study of the so-called normal CC-geodesics is given. We state and prove some related variational formulae and we find suitable Jacobi-type equations for normal CC-geodesics. One of our main results is a sub-Riemannian version of the Gauss Lemma. We show the existence of the metric normal for smooth non-characteristic hypersurfaces. We also compute the sub-Riemannian exponential ma…
We study the limiting behavior of eigenfunctions/eigenvalues of the Laplacian of a family of Riemannian metrics that degenerates on a hypersurface. Our results generalize earlier work concerning the degeneration of hyperbolic surfaces.
Let $M$ be a topological spherical space form, i.e. a smooth manifold whose universal cover is a homotopy sphere. We determine the number of path components of the space and moduli space of Riemannian metrics with positive scalar curvature on $M$ if the dimension of $M$ is at least 5 and $M$ is not simply-connected.
On the thick part of the moduli space of Riemann surfaces, where there is a positive lower bound of the systole of the surface, we show that all Weil-Petersson Riemannian curvatures are bounded, independent of the genus of the surface.
In this article, we show some domination results on the Hitchin fibration, mainly focusing on the $n$-Fuchsian fibers. More precisely, we show the energy density of associated harmonic map of an $n$-Fuchsian representation dominates the ones of all other representations in the same Hitchin fiber, which implies the domination of topological invariants: translation length spectrum and entropy. As applications of the energy density domination results, we obtain the existence and uniqueness of equivariant minimal (or maximal) surfaces in certain product Riemannian (or pseudo-Riemannian) manifold. …
For all left-invariant Riemannian metrics on three-dimensional unimodular Lie groups, there exist particular left-invariant orthonormal frames, so-called Milnor frames. In this paper, for any left-invariant Riemannian metrics on any Lie groups, we give a procedure to obtain an analogous of Milnor frames, in the sense that the bracket relations among them can be written with relatively smaller number of parameters. Our procedure is based on the moduli space of left-invariant Riemannian metrics. Some explicit examples of such frames and applications will also be given.
We study deformations of shrinking Ricci solitons on a compact manifold M, generalising the classical theory of deformations of Einstein metrics. Using appropriate notions of twisted slices S_f inside the space of all Riemannian metrics on M, we define the infinitesimal solitonic deformations and the local solitonic pre-moduli spaces. We prove the existence of a finite dimensional submanifold of S_f x C^infty(M), which contains the pre-moduli space of solitons around a fixed shrinking Ricci soliton as an analytic subset. We define solitonic rigidity and give criteria which imply it.
We apply various topological methods to distinguish connected components of moduli spaces of complete Riemannian metrics of nonnegative sectional curvature on open manifolds. The new geometric ingredient is that souls of nearby nonnegatively curved metrics are ambiently isotopic.
Based on a general formula due to R.Bryant, we work out the topological structure of the space of torsion-free $G_2$-structures generating the same associated Riemannian metric on a compact $7$-manifold. We also identify a corresponding Lie group-theoretic structure of the space. These observations are then used to describe the moduli space of torsion-free $G_2$-structures in certain cases - by way of covering spaces.
Studied are moduli spaces of self dual or anti-self dual connections on noncommutative 4-manifolds, especially deformation quantization of compact spin Riemannian 4-manifolds and their isometry groups have 2-torus subgroup. Then such moduli spaces of irreducible modules associated with highestweights of compact connected semisimple Lie groups are smooth manifolds with dimension determined by their weights. This is a generalization of Atiyah-Hitchin-Singer's classical result as well as Landi-Suijlekom's noncommutative 4-sphere case.
Sufficient and necessary results have been proven on Lipschitz type integral conditions and bounds of its Fourier transform for an $L^2$ function, in the setting of Riemannian symmetric spaces of rank $1$ whose growth depends on a $k$th-order modulus of continuity.
In this paper we study weakly irreducible holonomy representations of the normal connection of a spacelike submanifold in a pseudo-Riemannian space from. We associate screen representations to weakly irreducible normal holonomy groups and classify the screen representations having the Borel-Lichnérowicz property. In particular, we derive a classification of Lorentzian normal holonomy representations.
In this work we prove convergence results of sequences of Riemannian $4$-manifolds with almost vanishing $L^2$-norm of a curvature tensor and a non-collapsing bound on the volume of small balls. In Theorem 1.1, we consider a sequence of closed Riemannian $4$-manifolds, whose $L^2$-norm of the Riemannian curvature tensor tends to zero. Under the assumption of a uniform non-collapsing bound and a uniform diameter bound, we prove that there exists a subsequence that converges with respect to the Gromov-Hausdorff topology to a flat manifold. In Theorem 1.2, we consider a sequence of closed Riemann…
We consider the group of sense-preserving diffeomorphisms $\Diff S^1$ of the unit circle and its central extension, the Virasoro-Bott group, with their respective horizontal distributions chosen to be Ehresmann connections with respect to a projection to the smooth universal Teichmüller space and the universal Teichmüller curve associated to the space of normalized univalent functions. We find formulas for the normal geodesics with respect to the pullback of the invariant Kählerian metrics, namely, the Velling-Kirillov metric on the class of normalized univalent functions and the Weil-Petersso…
Two pseudo-Riemannian metrics $g $ and $\bar g$ are geodesically equivalent, if they share the same (unparameterized) geodesics. We give a complete local description of such metrics which solves the natural generalisation of Beltrami problem for pseudo-Riemannian metrics.
Let $\mathcal{K}(n, V)$ be the set of $n$-dimensional compact Kahler-Einstein manifolds $(X, g)$ satisfying $Ric(g)= - g$ with volume bounded above by $V$. We prove that after passing to a subsequence, any sequence $\{ (X_j, g_j)\}_{j=1}^\infty$ in $\mathcal{K}(n, V)$ converges, in the pointed Gromov-Hausdorff topology, to a finite union of complete Kahler-Einstein metric spaces without loss of volume. The convergence is smooth off a closed singular set of Hausdorff dimension no greater than $2n-4$, and the limiting metric space is biholomorphic to an $n$-dimensional semi-log canonical model w…
We show that in each dimension $n\ge 10$ there exist infinite sequences of homotopy equivalent but mutually non-homeomorphic closed simply connected Riemannian $n$-manifolds with $0\le \sec\le 1$, positive Ricci curvature and uniformly bounded diameter. We also construct open manifolds of fixed diffeomorphism type which admit infinitely many complete nonnegatively pinched metrics with souls of bounded diameter such that the souls are mutually non-homeomorphic. Finally, we construct examples of noncompact manifolds whose moduli spaces of complete metrics with $\sec\ge 0$ have infinitely many co…
It was shown by Seaman that if a compact, oriented 4-dimensional riemannian manifold (M, g) of positive sectional curvature admits a harmonic 2-form of constant length, its intersection form is definite and such a harmonic form is unique up to constant multiples. In this paper, we show that such a manifold is diffeomorphic to $\mathbb{CP}_{2}$ with a slightly weaker curvature hypothesis and there is an infinite dimensional moduli space of such metrics near the Fubini-Study metric on $\mathbb{CP}_{2}$. We discuss some of conditions which can be added in order to get the Fubini-Study metric up t…
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 prove that a normal homogeneous space with the property that every Jacobi field along a geodesic vanishing at two points is the restriction of a Killing field along that geodesic is a globally symmetric space.
In every point of a Kähler manifold there exist special holomorphic coordinates well adapted to the underlying geometry. Comparing these Kähler normal coordinates with the Riemannian normal coordinates defined via the exponential map we prove that their difference is a universal power series in the curvature tensor and its iterated covariant derivatives and devise an algorithm to calculate this power series to arbitrary order. As a byproduct we generalize Kähler normal coordinates to the class of complex affine manifolds with (1,1)-curvature tensor. Moreover we describe the Spencer connection …
We compute the Riemannian volume on the moduli space of flat connections on a nonorientable 2-manifold, for a natural class of metrics. We also show that Witten's volume formula for these moduli spaces may be derived using Haar measure, and we give a new proof of Witten's volume formula for the moduli space of flat connections on an orientable surface using Haar measure.
Killing vector fields of constant length correspond to isometries of constant displacement. Those in turn have been used to study homogeneity of Riemannian and Finsler quotient manifolds. Almost all of that work has been done for group manifolds or, more generally, for symmetric spaces. This paper extends the scope of research on constant length Killing vector fields to a class of Riemannian normal homogeneous spaces.
Let $g$ be locally homogeneous (LH) Riemannian metric on a differentiable compact manifold $M$, and $K$ be a compact Lie group endowed with an $\mathrm {ad}$-invariant inner product on its Lie algebra $\mathfrak{k}$. A connection $A$ on a principal $K$-bundle $p:P\to M$ on $M$ is locally homogeneous if for any two points $x_1$, $x_2\in M$ there exists an isometry $φ:U_1\to U_2$ between open neighborhoods $U_i\ni x_i$ which sends $x_1$ to $x_2$ and admits a $φ$-covering bundle isomorphism preserving the connection $A$. This condition is invariant under the action of the automorphism group (gaug…
The observer moduli space of Riemannian metrics is the quotient of the space $\mathcal{R}(M)$ of all Riemannian metrics on a manifold $M$ by the group of diffeomorphisms $\mathrm{Diff}_{x_0}(M)$ which fix both a basepoint $x_0$ and the tangent space at $x_0$. The group $\mathrm{Diff}_{x_0}(M)$ acts freely on $\mathcal{R}(M)$ providing $M$ is connected. This offers certain advantages over the classic moduli space, which is the quotient by the full diffeomorphism group. Results due to Botvinnik, Hanke, Schick and Walsh, and to Hanke, Schick and Steimle have demonstrated that the higher homotopy …
In this paper we develop new methods of study of generalized normal homogeneous Riemannian manifolds. In particular, we obtain a complete classification of generalized normal homogeneous Riemannian metrics on spheres. We prove that for any connected (almost effective) transitive on $S^n$ compact Lie group $G$, the family of $G$-invariant Riemannian metrics on $S^n$ contains generalized normal homogeneous but not normal homogeneous metrics if and only if this family depends on more than one parameters. Any such family (that exists only for $n=2k+1$) contains a metric $g_{\can}$ of constant sect…
We study the moduli space of quaternionic Kaehler structures on a compact manifold of dimension 4n (n>2) from a point of view of Riemannian geometry, not twistor theory. Then we obtain a rigidity theorem for quaternionic Kaehler structures of nonzero scalar curvature by observing the moduli space.
Let $M$ be a compact oriented 3-dimensional smooth manifold. In this paper, we construct a moduli space consisting of pairs $(Σ, ψ)$ where $Σ$ is a $C^1$-embedding simple closed curve in $M$, $ψ$ is a $\mathbb{Z}/2$-harmonic spinor vanishing only on $Σ$, and $\|ψ\|_{L^2_1}\neq 0$. We prove that when $Σ$ is $C^2$, a neighborhood of $(Σ, ψ)$ in the moduli space can be parametrized by the space of Riemannian metrics on $M$ locally as the kernel of a Fredholm operator.
Geometric reduction of the Newtonian planar three-body problem is investigated in the framework of equivariant Riemannian geometry, which reduces the study of trajectories of three-body motions to the study of their moduli curves, that is, curves which record the change of size and shape, in the moduli space of oriented mass-triangles. The latter space is a Riemannian cone over the shape 2-sphere, and the shape curve is the image curve on this sphere. It is shown that the time parametrized moduli curve is in general determined by the relative geometry of the shape curve and the shape potential…
In this paper, we consider a Riemannian foliation whose normal bundle carries a parallel or harmonic basic form. We estimate the norm of the O'Neill tensor in terms of the curvature data of the whole manifold. Some examples are then given.
Riemannian cubics are critical points for the $L^2$ norm of acceleration of curves in Riemannian manifolds $M$. In the present paper the $L^\infty$ norm replaces the $L^2$ norm, and a less direct argument is used to derive necessary conditions analogous to those for Riemannian cubics. The necessary conditions are examined when $M$ is a sphere or a bi-invariant Lie group.
Local normal form theorems for smooth equivariant maps between infinite-dimensional manifolds are established. These normal form results are new even in finite dimensions. The proof is inspired by the Lyapunov-Schmidt reduction for dynamical systems and by the Kuranishi method for moduli spaces. It uses a Slice Theorem for Fréchet manifolds as the main technical tool. As a consequence, the abstract moduli space obtained by factorizing a level set of the equivariant map with respect to the group action carries the structure of a Kuranishi space, i.e., such moduli spaces are locally modeled on t…
We study the hypersymplectic geometry of the moduli space of solutions to Hitchin's harmonic map equations on a $G$-bundle. This is the split-signature analogue of Hitchin's Higgs bundle moduli space. Due to the lack of definiteness, this moduli space is globally not well-behaved. However, we are able to construct a smooth open set consisting of solutions with small Higgs field, on which we can investigate the hypersymplectic geometry. Finally, we reinterpret our results in terms of the Riemannian geometry of the moduli space of $G$-connections.
We exhibit examples of closed Riemannian 7-manifolds with holonomy G_2 such that the underlying manifolds are diffeomorphic but whose associated G_2-structures are not homotopic. This is achieved by defining two invariants of certain U(3)-structures. We show that these agree with the invariants of G_2-structures defined by Crowley and Nordström. We construct a suitable coboundary for G_2 manifolds obtained via the Twisted Connected Sum method that allows the invariants to be computed in terms of the input data of the construction. We find explicit examples where the invariants detect different…
For a subRiemannian manifold and a given Riemannian extension of the metric, we define a canonical global connection. This connection coincides with both the Levi-Civita connection on Riemannian manifolds and the Tanaka-Webster connection on strictly pseudoconvex CR manifolds. We define a notion of normality generalizing Tanaka's notion for CR manifolds to the subRiemannian case. Under the assumption of normality, we construct local frames that simplify computations in a manner analogous to Riemannian normal coordinates. We then use these frames to establish Bianchi Identities and symmetries f…
The real homology of a compact Riemannian manifold $M$ is naturally endowed with the stable norm. The stable norm on $H_1(M,\mathbb{R})$ arises from the Riemannian length functional by homogenization. It is difficult and interesting to decide which norms on the finite-dimensional vector space $H_1(M,\mathbb{R})$ are stable norms of a Riemannian metric on $M$. If the dimension of $M$ is at least three, I. Babenko and F. Balacheff proved in \cite{baba} that every polyhedral norm ball in $H_1(M,\mathbb{R})$, whose vertices are rational with respect to the lattice of integer classes in $H_1(M,\mat…
