skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Ricci flow and diffeomorphism groups of 3-manifolds
We complete the proof of the Generalized Smale Conjecture, apart from the case of R P 3 RP^3 , and give a new proof of Gabai’s theorem for hyperbolic 3 3 -manifolds. We use an approach based on Ricci flow through singularities, which applies uniformly to spherical space forms, except S 3 S^3 and R P 3 RP^3 , as well as hyperbolic manifolds, to prove that the space of metrics of constant sectional curvature is contractible. As a corollary, for such a 3 3 -manifold X X , the inclusion Isom ⁡ ( X , g ) → Diff ⁡ ( X ) \operatorname {Isom}(X,g)\rightarrow \operatorname {Diff}(X) is a homotopy equivalence for any Riemannian metric g g of constant sectional curvature.  more » « less
Award ID(s):
1906500
PAR ID:
10359613
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Journal of the American Mathematical Society
ISSN:
0894-0347
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract Let M be a complete Riemannian manifold and suppose {p\in M} . For each unit vector {v\in T_{p}M} , the Jacobi operator , {\mathcal{J}_{v}:v^{\perp}\rightarrow v^{\perp}} is the symmetric endomorphism, {\mathcal{J}_{v}(w)=R(w,v)v} . Then p is an isotropic point if there exists a constant {\kappa_{p}\in{\mathbb{R}}} such that {\mathcal{J}_{v}=\kappa_{p}\operatorname{Id}_{v^{\perp}}} for each unit vector {v\in T_{p}M} . If all points are isotropic, then M is said to be isotropic; it is a classical result of Schur that isotropic manifolds of dimension at least 3 have constant sectional curvatures. In this paper we consider almost isotropic manifolds , i.e. manifolds having the property that for each {p\in M} , there exists a constant {\kappa_{p}\in\mathbb{R}} such that the Jacobi operators {\mathcal{J}_{v}} satisfy {\operatorname{rank}({\mathcal{J}_{v}-\kappa_{p}\operatorname{Id}_{v^{\perp}}}% )\leq 1} for each unit vector {v\in T_{p}M} . Our main theorem classifies the almost isotropic simply connected Kähler manifolds, proving that those of dimension {d=2n\geqslant 4} are either isometric to complex projective space or complex hyperbolic space or are totally geodesically foliated by leaves isometric to {{\mathbb{C}}^{n-1}} . 
    more » « less
  2. Abstract LetXbe acompact orientable non-Haken 3-manifold modeled on the Thurston geometry Nil {\operatorname{Nil}}. We show that the diffeomorphism group Diff ( X ) {\operatorname{Diff}(X)}deformation retracts to the isometry group Isom ( X ) {\operatorname{Isom}(X)}. Combining this with earlier work by many authors, this completes the determination the homotopy type of Diff ( X ) {\operatorname{Diff}(X)}for any compact, orientable, prime 3-manifoldX. 
    more » « less
  3. Abstract Let $${\mathrm{Diff}}_{0}(N)$$ represent the subgroup of diffeomorphisms that are homotopic to the identity. We show that if $$N$$ is a closed hyperbolic 4-manifold, then $$\pi _{0}{\mathrm{Diff}}_{0}(N)$$ is not finitely generated with similar results holding topologically. This proves in dimension-4 results previously known for $$n$$-dimensional hyperbolic manifolds of dimension $$n\ge 11$$ by Farrell and Jones in 1989 and $$n\ge 10$$ by Farrell and Ontaneda in 2010. Our proof relies on the technical result that $$\pi _{0}{\mathrm{Homeo}}(S^{1}\times D^{3})$$ is not finitely generated, which extends to the topological category smooth results of the authors. We also show that $$\pi _{n-4} {\mathrm{Homeo}}(S^{1} \times D^{n-1})$$ is not finitely generated for $$n \geq 4$$ and in particular $$\pi _{0}{\mathrm{Homeo}}(S^{1}\times D^{3})$$ is not finitely generated. These results are new for $n=4, 5$ and $$7$$. We also introduce higher dimensional barbell maps and establish some of their basic properties. 
    more » « less
  4. De Gruyter (Ed.)
    In this article we show that for every finite area hyperbolic surface X of type (g; n) and any harmonic Beltrami differential 􏰚 on X , then the magnitude of 􏰚 at any point of small injectivity radius is uniform bounded from above by the ratio of the Weil–Petersson norm of 􏰚 over the square root of the systole of X up to a uniform positive constant multiplication. We apply the uniform bound above to show that the Weil–Petersson Ricci curvature, restricted at any hyperbolic surface of short systole in the moduli space, is uniformly bounded from below by the negative reciprocal of the systole up to a uniform positive constant multiplication. As an application, we show that the average total Weil–Petersson scalar curvature over the moduli space is uniformly comparable to -g as the genus g goes to infinity. 
    more » « less
  5. Abstract We show that the bounded Borel class of any dense representation $$\rho : G\to{\operatorname{PSL}}_n{\mathbb{C}}$$ is non-zero in degree three bounded cohomology and has maximal semi-norm, for any discrete group $$G$$. When $n=2$, the Borel class is equal to the three-dimensional hyperbolic volume class. Using tools from the theory of Kleinian groups, we show that the volume class of a dense representation $$\rho : G\to{\operatorname{PSL}}_2{\mathbb{C}}$$ is uniformly separated in semi-norm from any other representation $$\rho ^{\prime}: G\to{\operatorname{PSL}}_2 {\mathbb{C}}$$ for which there is a subgroup $$H\le G$$ on which $$\rho $$ is still dense but $$\rho ^{\prime}$$ is discrete or indiscrete but stabilizes a point, line, or plane in $${\mathbb{H}}^3\cup \partial{\mathbb{H}}^3$$. We exhibit a family of dense representations of a non-abelian free group on two letters and a family of discontinuous dense representations of $${\operatorname{PSL}}_2{\mathbb{R}}$$, whose volume classes are linearly independent and satisfy some additional properties; the cardinality of these families is that of the continuum. We explain how the strategy employed may be used to produce non-trivial volume classes in higher dimensions, contingent on the existence of a family of hyperbolic manifolds with certain topological and geometric properties. 
    more » « less