-
Doubling a cube with positive scalar curvature
Authors:
Haggai Nuchi
Abstract:
In a 2013 paper, Gromov proves that if smooth Riemannian metrics $g_i$ converge to a smooth Riemannian metric $g$ uniformly, and $g_i$ have scalar curvature uniformly bounded below, then $g$ shares the same scalar curvature lower bound. In some places in the paper, the proofs are only sketched. In this paper we explain one of those sketched steps in detail. Specifically, we prove that a cube (the…
▽ More
In a 2013 paper, Gromov proves that if smooth Riemannian metrics $g_i$ converge to a smooth Riemannian metric $g$ uniformly, and $g_i$ have scalar curvature uniformly bounded below, then $g$ shares the same scalar curvature lower bound. In some places in the paper, the proofs are only sketched. In this paper we explain one of those sketched steps in detail. Specifically, we prove that a cube (the product $[0,1]^n$) cannot have a Riemannian metric with positive scalar curvature, such that the faces are mean convex, and such that the dihedral angles along the edges are all acute.
The proof is accomplished by taking such a metric, and producing from it a metric on the $n$-torus with positive scalar curvature, contradicting the Geroch conjecture.
△ Less
Submitted 3 October, 2018;
originally announced October 2018.
-
Deformation and Extension of Fibrations of Spheres by Great Circles
Authors:
Patricia Cahn,
Herman Gluck,
Haggai Nuchi
Abstract:
In a 1983 paper with Frank Warner, we proved that the space of all great circle fibrations of the 3-sphere S^3 deformation retracts to the subspace of Hopf fibrations, and so has the homotopy type of a pair of disjoint two-spheres. Since that time, no generalization of this result to higher dimensions has been found, and so we narrow our sights here and show that in an infinitesimal sense explaine…
▽ More
In a 1983 paper with Frank Warner, we proved that the space of all great circle fibrations of the 3-sphere S^3 deformation retracts to the subspace of Hopf fibrations, and so has the homotopy type of a pair of disjoint two-spheres. Since that time, no generalization of this result to higher dimensions has been found, and so we narrow our sights here and show that in an infinitesimal sense explained below, the space of all smooth oriented great circle fibrations of the 2n+1 sphere S^(2n+1) deformation retracts to its subspace of Hopf fibrations. The tools gathered to prove this also serve to show that every germ of a smooth great circle fibration of S^(2n+1) extends to such a fibration of all of S^(2n+1), a result previously known only for S^3 .
△ Less
Submitted 11 February, 2015;
originally announced February 2015.
-
Fiberwise homogeneous fibrations of the 3-dimensional space forms by geodesics
Authors:
Haggai Nuchi
Abstract:
A fibration of a Riemannian manifold is fiberwise homogeneous if there are isometries of the manifold onto itself, taking any given fiber to any other one, and preserving fibers. Examples are fibrations of Euclidean n-space by parallel n-planes, and the Hopf fibrations of the round n-sphere by great n-spheres. In this paper, we describe all the fiberwise homogeneous fibrations of Euclidean and hyp…
▽ More
A fibration of a Riemannian manifold is fiberwise homogeneous if there are isometries of the manifold onto itself, taking any given fiber to any other one, and preserving fibers. Examples are fibrations of Euclidean n-space by parallel n-planes, and the Hopf fibrations of the round n-sphere by great n-spheres. In this paper, we describe all the fiberwise homogeneous fibrations of Euclidean and hyperbolic 3-space by geodesics. Our main result is that, up to fiber-preserving isometries, there is precisely a one-parameter family of such fibrations of Euclidean 3-space, and a two-parameter family in hyperbolic 3-space. By contrast, we show in another paper that the only fiberwise homogeneous fibrations of the round 3-sphere by geodesics (great circles) are the Hopf fibrations. More generally, we show in that same paper that the Hopf fibrations in all dimensions are characterized, among fibrations of round spheres by smooth subspheres, by their fiberwise homogeneity.
△ Less
Submitted 2 December, 2015; v1 submitted 16 July, 2014;
originally announced July 2014.
-
Hopf fibrations are characterized by being fiberwise homogeneous
Authors:
Haggai Nuchi
Abstract:
Heinz Hopf's famous fibrations of the 2n+1-sphere by great circles, the 4n+3-sphere by great 3-spheres, and the 15-sphere by great 7-spheres have a number of interesting properties. Besides providing the first examples of homotopically nontrivial maps from one sphere to another sphere of lower dimension, they all share two striking features:
(1) Their fibers are parallel, in the sense that any t…
▽ More
Heinz Hopf's famous fibrations of the 2n+1-sphere by great circles, the 4n+3-sphere by great 3-spheres, and the 15-sphere by great 7-spheres have a number of interesting properties. Besides providing the first examples of homotopically nontrivial maps from one sphere to another sphere of lower dimension, they all share two striking features:
(1) Their fibers are parallel, in the sense that any two fibers are a constant distance apart, and
(2) The fibrations are highly symmetric. For example, there is a fiber-preserving isometry of each total space which takes any given fiber to any other one.
Hopf fibrations have been characterized up to isometry by the first property above, initially among all fibrations of spheres by great subspheres, and later in the stronger sense among all fibrations of spheres by smooth subspheres.
In this paper, we show that the Hopf fibrations are also characterized by their "fiberwise homogeneity" expressed above in (2), and in the strong sense among all fibrations of spheres by smooth subspheres.
In the special case of the 3-sphere fibered by great circles, we prove something stronger. We prove that a fibration of a connected open set by great circles which is locally fiberwise homogeneous is part of a Hopf fibration.
△ Less
Submitted 17 July, 2014; v1 submitted 16 July, 2014;
originally announced July 2014.
-
A surprising fibration of S3 x S3 by great 3-spheres
Authors:
Haggai Nuchi
Abstract:
In this paper, we describe a new surprising example of a fibration of the Clifford torus S3 x S3 in the 7-sphere by great 3-spheres, which is fiberwise homogeneous but whose fibers are not parallel to one another. In particular it is not part of a Hopf fibration.
A fibration is fiberwise homogeneous when for any two fibers there is an isometry of the total space taking fibers to fibers and takin…
▽ More
In this paper, we describe a new surprising example of a fibration of the Clifford torus S3 x S3 in the 7-sphere by great 3-spheres, which is fiberwise homogeneous but whose fibers are not parallel to one another. In particular it is not part of a Hopf fibration.
A fibration is fiberwise homogeneous when for any two fibers there is an isometry of the total space taking fibers to fibers and taking the first given fiber to the second one.
We also describe in detail the geometry of this surprising fibration and how it differs from the Hopf fibration.
△ Less
Submitted 17 July, 2014; v1 submitted 16 July, 2014;
originally announced July 2014.
-
Generalized Gauss maps and integrals for three-component links: toward higher helicities for magnetic fields and fluid flows, Part 2
Authors:
Dennis DeTurck,
Herman Gluck,
Rafal Komendarczyk,
Paul Melvin,
Haggai Nuchi,
Clayton Shonkwiler,
David Shea Vela-Vick
Abstract:
We describe a new approach to triple linking invariants and integrals, aiming for a simpler, wider and more natural applicability to the search for higher order helicities of fluid flows and magnetic fields. To each three-component link in Euclidean 3-space, we associate a geometrically natural generalized Gauss map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and M…
▽ More
We describe a new approach to triple linking invariants and integrals, aiming for a simpler, wider and more natural applicability to the search for higher order helicities of fluid flows and magnetic fields. To each three-component link in Euclidean 3-space, we associate a geometrically natural generalized Gauss map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and Milnor triple linking number that classify the link up to link homotopy correspond to the Pontryagin invariants that classify its generalized Gauss map up to homotopy. This can be viewed as a natural extension of the familiar fact that the linking number of a two-component link in 3-space is the degree of its associated Gauss map from the 2-torus to the 2-sphere. When the pairwise linking numbers are all zero, we give an integral formula for the triple linking number analogous to the Gauss integral for the pairwise linking numbers, but patterned after J.H.C. Whitehead's integral formula for the Hopf invariant. The integrand in this formula is geometrically natural in the sense that it is invariant under orientation-preserving rigid motions of 3-space, while the integral itself can be viewed as the helicity of a related vector field on the 3-torus. In the first paper of this series [math.GT 1101.3374] we did this for three-component links in the 3-sphere. Komendarczyk has applied this approach in special cases to derive a higher order helicity for magnetic fields whose ordinary helicity is zero, and to obtain from this nonzero lower bounds for the field energy.
△ Less
Submitted 7 July, 2012;
originally announced July 2012.
