SearcharxivSearch

arXiv subjects

Frederick Wilhelm

Publications and source records attributed to Frederick Wilhelm.

At least 19 recordsLinked to original sources

Do Riemannian Submersions Preserve Positive Intermediate Ricci Curvature?

Pro and the third author showed that there are Riemannian submersions $\pi: M \to B$ with $M$ a compact manifold with positive Ricci curvature, whose base $B$, has Ricci curvatures with both signs. Thus, Riemannian submersions need not preserve positive Ricci curvature. In this note we establish the degree to which this result extends into the setting of positive intermediate Ricci curvature. It is an immediate consequence of the Gray--O'Neill Horizontal curvature equation that if $\pi: M\to B$ is a Riemannian submersion whose base is $b$-dimensional and $\mathrm{Ric}_{k}(M) >0$ for any $k \in \{ 1,2,\cdots, b-1\}$, then $ \mathrm{Ric}_{k}(B)$ is also positive. Here we show that this observation is optimal in the following strong sense: For $k \geq \mathrm{dim}(B)$, let $\pi: (M,g_M) \to (B,g_B)$ be a Riemannian submersion from a complete Riemannian manifold with $\mathrm{Ric}_{k}(M) >0$. We show how to perturb $g_M$ in the $C^1$-topology to produce a Riemannian submersion $\pi: (M,\tilde{g}_M) \to (B,\tilde{g}_B)$ whose total space has $\mathrm{Ric}_{k} >0$, but whose base has Ricci curvature of both signs. In particular, this shows that Riemannian submersions that do not preserve positive Ricci curvature are dense in the $C^1$-topology among the complete metrics on $M$ with $\mathrm{Ric}>0$ for which a given submersion $\pi: M\to B$ is Riemannian.

math.DG

Random 3-Manifolds Have No Totally Geodesic Submanifolds

Murphy and the second author showed that a generic closed Riemannian manifold has no totally geodesic submanifolds, provided it is at least four dimensional. Lytchak and Petrunin established the same thing in dimension 3. For the higher dimensional result, the generic set is open and dense in the $C^{q}$--topology for any $% q\geq 2.$ In Lytchak and Petrunin's work, the generic set is a dense $G_{\delta }$ in the $C^{q}$-topology for any $q\geq 2.$ Here we show that the set of such metrics on a compact $3$-manifold contains a set that is open and dense in the $C^{q}$-topology for any $q\geq 3.$

math.DG

Stability, Finiteness and Dimension Four

We prove that for any $k\in \mathbb{R},$ $v>0,$ and $D>0$ there are only finitely many diffeomorphism types of closed Riemannian $4$-manifolds with sectional curvature $\geq k,$ volume $\geq v,$ and diameter $\leq D.$

math.DG

On Delaunay Triangulations of Gromov Sets

Let $Y$ be a subset of a metric space $X.$ We say that $Y$ is $\eta $-Gromov provided $Y$ is $\eta $-separated and not properly contained in any other $\eta $-separated subset of $X.$ In this paper, we review a result of Chew which says that any $\eta $-Gromov subset of $\mathbb{R}^{2} $ admits a triangulation $\mathcal{T}$ whose smallest angle is at least $\pi /6 $ and whose edges have length between $\eta $ and $2\eta .$ We then show that given any $k = 1,2,3\ldots$, there is a subdivision $\mathcal{T} _{k}$ of $\mathcal{T}$ whose edges have length in $\left[ \frac{\eta}{10 k},\frac{2\eta}{10 k} \right] $ and whose minimum angle is also $\pi /6$. These results are used in the proof of the following theorem in [10]: For any $k\in R,v>0,$ and $D>0,$ the class of closed Riemannian $4$-manifolds with sectional curvature $\geq k,$ volume $\geq v,$ and diameter $\leq D$ contains at most finitely many diffeomorphism types. Additionally, these results imply that for any $\varepsilon >0$, if $\eta >0$ is sufficiently small, any $\eta $-Gromov subset of a compact Riemannian $2$-manifold admits a geodesic triangulation $\mathcal{T}$ for which all side lengths are in $\left[ \eta \left( 1-\varepsilon \right) ,2\eta \left( 1+\varepsilon \right) \right] $ and all angles are $\geq \frac{\pi }{6}-\varepsilon .$

math.DG

A softer connectivity principle

We give soft, quantitatively optimal extensions of the classical Sphere Theorem, Wilking's connectivity principle and Frankel's Theorem to the context of ${k}$-th Ricci curvature. The hypotheses are soft in the sense that they are satisfied on sets of metrics that are open in the $C^{2}$-topology.

math.DG

Random Manifolds have no Totally Geodesic Submanifolds

For $n\geq 4$ we show that generic closed Riemannian $n$-manifolds have no nontrivial totally geodesic submanifolds, answering a question of Spivak. An immediate consequence is a severe restriction on the isometry group of a generic Riemannian metric. Both results are widely believed to be true, but we are not aware of any proofs in the literature.

math.DG

Crosscap Stability

We provide an alternative proof that Crosscaps are diffeomorphically stable.

math.DG

Restrictions on Submanifolds via Focal Radius Bounds

We give an optimal estimate for the norm of any submanifold's second fundamental form in terms of its focal radius and the lower sectional curvature bound of the ambient manifold. This is a special case of a similar theorem for intermediate Ricci curvature, and leads to a $C^{1,\alpha}$ compactness result for submanifolds, as well as a "soul-type" structure theorem for manifolds with nonnegative $k^{th}$--intermediate Ricci curvature that have a closed submanifold with dimension $\geq k$ and infinite focal radius. To prove these results, we use the comparison lemma for Jacobi fields from arXiv:1603.04050 that exploits Wilking's transverse Jacobi equation. The comparison lemma also yields new information about group actions, Riemannian submersions, and submetries, including generalizations to intermediate Ricci curvature of results of Chen and Grove.

math.DG

Diffeomorphism Stability and Codimension Three

Given $k\in \mathbb{R},$ $v,$ $D>0,$ and $n\in \mathbb{N},$ let $\left\{ M_{\alpha }\right\} _{\alpha =1}^{\infty }$ be a Gromov-Hausdorff convergent sequence of Riemannian $n$--manifolds with sectional curvature $\geq k,$ volume $>v,$ and diameter $\leq D.$ Perelman's Stability Theorem implies that all but finitely many of the $M_{\alpha }$s are homeomorphic. The Diffeomorphism Stability Question asks whether all but finitely many of the $ M_{\alpha }$s are diffeomorphic. We answer this question affirmatively in the special case when all of the singularities of the limit space occur along smoothly and isometrically embedded Riemannian manifolds of codimension $\leq 3$. We then describe several applications. For instance, if the limit space is an orbit space whose singular strata are of codimension at $\leq 3,$ then all but finitely many of the $M_{\alpha }$s are diffeomorphic.

math.DG

Focal Radius, Rigidity, and Lower Curvature Bounds

We show that the focal radius of any submanifold $N$ of positive dimension in a manifold $M$ with sectional curvature greater than or equal to $1$ does not exceed $\frac{\pi }{2}.$ In the case of equality, we show that $N$ is totally geodesic in $M$ and the universal cover of $M$ is isometric to a sphere or a projective space with their standard metrics, provided $N$ is closed. Our results also hold for $k^{th}$--intermediate Ricci curvature, provided the submanifold has dimension $\geq k.$ Thus in a manifold with Ricci curvature $\geq n-1,$ all hypersurfaces have focal radius $\leq \frac{\pi }{2},$ and space forms are the only such manifolds where equality can occur, if the submanifold is closed. To prove these results, we develop a new comparison lemma for Jacobi fields that exploits Wilking's transverse Jacobi equation.

math.DG

The Diffeomorphism Type of Manifolds with Almost Maximal Volume

The smallest $r$ so that a metric $r$-ball covers a metric space $M$ is called the radius of $M$. The volume of a metric $r$-ball in the space form of constant curvature $k$ is an upper bound for the volume of any Riemannian manifold with sectional curvature $\geq k$ and radius $\leq r$. We show that when such a manifold has volume almost equal to this upper bound, it is diffeomorphic to a sphere or a real projective space.

math.DG

On Jacobi Field Splitting Theorems

We formulate extensions of Wilking's Jacobi field splitting theorem to uniformly positive sectional curvature and also to positive and nonnegative intermediate Ricci curvatures.

math.DG

How to lift positive Ricci curvature

We show how to lift positive Ricci and almost non-negative curvatures from an orbit space $M/G$ to the corresponding $G$-manifold, $M$. We apply the results to get new examples of Riemannian manifolds that satisfy both curvature conditions simultaneously.

math.DG

Riemannian Submersions Need Not Preserve Positive Ricci Curvature

If $π:M\rightarrow B$ is a Riemannian Submersion and $M$ has positive sectional curvature, O'Neill's Horizontal Curvature Equation shows that $B$ must also have positive curvature. We show there are Riemannian submersions from compact manifolds with positive Ricci curvature to manifolds that have small neighborhoods of (arbitrarily) negative Ricci curvature, but that there are no Riemannian submersions from manifolds with positive Ricci curvature to manifolds with nonpositive Ricci curvature.

math.DG

Flats and Submersions in Non-Negative Curvature

We find constraints on the extent to which O'Neill's horizontal curvature equation can be used to create positive curvature on the base space of a Riemannian submersion. In particular, we study when K. Tapp's theorem on Riemannian submersions of compact Lie groups with bi-invariant metrics generalizes to arbitrary manifolds of non-negative curvature.

math.DG