-
Deformation retraction of the group of strict contactomorphisms of the three-sphere to the unitary group
Authors:
Dennis DeTurck,
Herman Gluck,
Leandro Lichtenfelz,
Mona Merling,
Jingye Yang,
Yi Wang
Abstract:
We prove that the group of strict contactomorphisms of the standard tight contact structure on the three-sphere deformation retracts to its unitary subgroup U(2).
We prove that the group of strict contactomorphisms of the standard tight contact structure on the three-sphere deformation retracts to its unitary subgroup U(2).
△ Less
Submitted 22 July, 2022; v1 submitted 19 August, 2021;
originally announced August 2021.
-
Making matrices better: Geometry and topology of polar and singular value decomposition
Authors:
Dennis DeTurck,
Amora Elsaify,
Herman Gluck,
Benjamin Grossmann,
Joseph Hoisington,
Anusha M. Krishnan,
Jianru Zhang
Abstract:
Our goal here is to see the space of matrices of a given size from a geometric and topological perspective, with emphasis on the families of various ranks and how they fit together. We pay special attention to the nearest orthogonal neighbor and nearest singular neighbor of a given matrix, both of which play central roles in matrix decompositions, and then against this visual backdrop examine the…
▽ More
Our goal here is to see the space of matrices of a given size from a geometric and topological perspective, with emphasis on the families of various ranks and how they fit together. We pay special attention to the nearest orthogonal neighbor and nearest singular neighbor of a given matrix, both of which play central roles in matrix decompositions, and then against this visual backdrop examine the polar and singular value decompositions and some of their applications.
△ Less
Submitted 7 February, 2017;
originally announced February 2017.
-
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.
-
Pontryagin invariants and integral formulas for Milnor's triple linking number
Authors:
Dennis DeTurck,
Herman Gluck,
Rafal Komendarczyk,
Paul Melvin,
Clayton Shonkwiler,
David Shea Vela-Vick
Abstract:
To each three-component link in the 3-sphere, we associate a geometrically natural characteristic 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 characteristic map up to homotopy. This can be viewed as a natural extension of the fam…
▽ More
To each three-component link in the 3-sphere, we associate a geometrically natural characteristic 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 characteristic 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. The integrand in this formula is geometrically natural in the sense that it is invariant under orientation-preserving rigid motions of the 3-sphere, while the integral itself can be viewed as the helicity of a related vector field on the 3-torus.
△ Less
Submitted 17 January, 2011;
originally announced January 2011.
-
Lipschitz minimality of Hopf fibrations and Hopf vector fields
Authors:
Dennis DeTurck,
Herman Gluck,
Peter A. Storm
Abstract:
Given a Hopf fibration of a round sphere by parallel great subspheres, we prove that the projection map to the base space is, up to isometries of domain and range, the unique Lipschitz constant minimizer in its homotopy class. Similarly, given a Hopf fibration of a round sphere by parallel great circles, we view a unit vector field tangent to the fibres as a cross-section of the unit tangent bundl…
▽ More
Given a Hopf fibration of a round sphere by parallel great subspheres, we prove that the projection map to the base space is, up to isometries of domain and range, the unique Lipschitz constant minimizer in its homotopy class. Similarly, given a Hopf fibration of a round sphere by parallel great circles, we view a unit vector field tangent to the fibres as a cross-section of the unit tangent bundle of the sphere, and prove that it is, up to isometries of domain and range, the unique Lipschitz constant minimizer in its homotopy class. Previous attempts to find a mathematical sense in which Hopf fibrations and Hopf vector fields are optimal have met with limited success.
△ Less
Submitted 28 September, 2010;
originally announced September 2010.
-
Linking, twisting, writhing and helicity on the 3-sphere and in hyperbolic 3-space
Authors:
Dennis DeTurck,
Herman Gluck
Abstract:
We obtain explicit, isometry-invariant integral formulas for twisting, writhing and helicity, and prove the theorem LINK = TWIST + WRITHE on the 3-sphere and in hyperbolic 3-space. We then use these results to derive upper bounds for the helicity of vector fields and lower bounds for the first eigenvalue of the curl operator on subdomains of these two spaces.
We obtain explicit, isometry-invariant integral formulas for twisting, writhing and helicity, and prove the theorem LINK = TWIST + WRITHE on the 3-sphere and in hyperbolic 3-space. We then use these results to derive upper bounds for the helicity of vector fields and lower bounds for the first eigenvalue of the curl operator on subdomains of these two spaces.
△ Less
Submitted 18 September, 2010;
originally announced September 2010.
-
Triple linking numbers, ambiguous Hopf invariants and integral formulas for three-component links
Authors:
Dennis DeTurck,
Herman Gluck,
Rafal Komendarczyk,
Paul Melvin,
Clayton Shonkwiler,
David Shea Vela-Vick
Abstract:
Three-component links in the 3-dimensional sphere were classified up to link homotopy by John Milnor in his senior thesis, published in 1954. A complete set of invariants is given by the pairwise linking numbers p, q and r of the components, and by the residue class of one further integer mu, the "triple linking number" of the title, which is well-defined modulo the greatest common divisor of p,…
▽ More
Three-component links in the 3-dimensional sphere were classified up to link homotopy by John Milnor in his senior thesis, published in 1954. A complete set of invariants is given by the pairwise linking numbers p, q and r of the components, and by the residue class of one further integer mu, the "triple linking number" of the title, which is well-defined modulo the greatest common divisor of p, q and r.
To each such link L we associate a geometrically natural characteristic map g_L from the 3-torus to the 2-sphere in such a way that link homotopies of L become homotopies of g_L. Maps of the 3-torus to the 2-sphere were classified up to homotopy by Lev Pontryagin in 1941. A complete set of invariants is given by the degrees p, q and r of their restrictions to the 2-dimensional coordinate subtori, and by the residue class of one further integer nu, an "ambiguous Hopf invariant" which is well-defined modulo twice the greatest common divisor of p, q and r.
We show that the pairwise linking numbers p, q and r of the components of L are equal to the degrees of its characteristic map g_L restricted to the 2-dimensional subtori, and that twice Milnor's mu-invariant for L is equal to Pontryagin's nu-invariant for g_L.
When p, q and r are all zero, the mu- and nu-invariants are ordinary integers. In this case we use J. H. C. Whitehead's integral formula for the Hopf invariant, adapted to maps of the 3-torus to the 2-sphere, together with a formula for the fundamental solution of the scalar Laplacian on the 3-torus as a Fourier series in three variables, to provide an explicit integral formula for nu, and hence for mu.
△ Less
Submitted 12 January, 2009;
originally announced January 2009.
-
Linking integrals in the n-sphere
Authors:
Dennis DeTurck,
Herman Gluck
Abstract:
Let K and L be disjoint closed oriented submanifolds of the n-sphere, with dimensions adding up to n-1. We define a map from their join K*L to the n-sphere whose degree up to sign equals their linking number, and then use this to find the desired linking integral.
Let K and L be disjoint closed oriented submanifolds of the n-sphere, with dimensions adding up to n-1. We define a map from their join K*L to the n-sphere whose degree up to sign equals their linking number, and then use this to find the desired linking integral.
△ Less
Submitted 3 February, 2008;
originally announced February 2008.
-
The Four Vertex Theorem and its Converse
Authors:
Dennis DeTurck,
Herman Gluck,
Daniel Pomerleano,
David Shea Vick
Abstract:
The Four Vertex Theorem, one of the earliest results in global differential geometry, says that a simple closed curve in the plane, other than a circle, must have at least four "vertices", that is, at least four points where the curvature has a local maximum or local minimum. In 1909 Syamadas Mukhopadhyaya proved this for strictly convex curves in the plane, and in 1912 Adolf Kneser proved it fo…
▽ More
The Four Vertex Theorem, one of the earliest results in global differential geometry, says that a simple closed curve in the plane, other than a circle, must have at least four "vertices", that is, at least four points where the curvature has a local maximum or local minimum. In 1909 Syamadas Mukhopadhyaya proved this for strictly convex curves in the plane, and in 1912 Adolf Kneser proved it for all simple closed curves in the plane, not just the strictly convex ones.
The Converse to the Four Vertex Theorem says that any continuous real-valued function on the circle which has at least two local maxima and two local minima is the curvature function of a simple closed curve in the plane. In 1971 Herman Gluck proved this for strictly positive preassigned curvature, and in 1997 Bjorn Dahlberg proved the full converse, without the restriction that the curvature be strictly positive. Publication was delayed by Dahlberg's untimely death in January 1998, but his paper was edited afterwards by Vilhelm Adolfsson and Peter Kumlin, and finally appeared in 2005.
The work of Dahlberg completes the almost hundred-year-long thread of ideas begun by Mukhopadhyaya, and we take this opportunity to provide a self-contained exposition.
△ Less
Submitted 10 September, 2006;
originally announced September 2006.
-
Electrodynamics and the Gauss Linking Integral on the 3-Sphere and in Hyperbolic 3-Space
Authors:
Dennis DeTurck,
Herman Gluck
Abstract:
In this first of two papers, we develop a steady-state version of classical electrodynamics on the 3-sphere and in hyperbolic 3-space, including an explicit formula for the vector-valued Green's operator, an explicit formula of Biot-Savart type for the magnetic field, and a corresponding Ampere's Law contained in Maxwell's equations.
We then use this to obtain explicit integral formulas for th…
▽ More
In this first of two papers, we develop a steady-state version of classical electrodynamics on the 3-sphere and in hyperbolic 3-space, including an explicit formula for the vector-valued Green's operator, an explicit formula of Biot-Savart type for the magnetic field, and a corresponding Ampere's Law contained in Maxwell's equations.
We then use this to obtain explicit integral formulas for the linking number of two disjoint closed curves in these spaces.
All the formulas, like their prototypes in Euclidean 3-space, are geometric rather than just topological, in the sense that their integrands are invariant under orientation-preserving isometries of the ambient space.
In the second paper, we obtain integral formulas for twisting, writhing and helicity, and prove the theorem LINK = TWIST + WRITHE in the 3-sphere and in hyperbolic 3-space. We then use these results to derive upper bounds for the helicity of vector fields and lower bounds for the first eigenvalue of the curl operator on subdomains of these two spaces.
An announcement of most of these results, and a hint of their proofs, can be found in the Math ArXiv, math.GT/0406276.
△ Less
Submitted 18 October, 2005;
originally announced October 2005.
-
Cohomology of Harmonic Forms on Riemannian Manifolds With Boundary
Authors:
Sylvain Cappell,
Dennis DeTurck,
Herman Gluck,
Edward Y. Miller
Abstract:
Theorem. Let M be a compact, connected, oriented smooth Riemannian n-manifold with non-empty boundary. Then the cohomology of the complex (Harm*(M),d) of harmonic forms on M is given by the direct sum H^p(Harm*(M),d) = H^p(M;R) + H^(p-1)(M;R) for p=0,1,...,n.
When M is a closed manifold, a form is harmonic if and only if it is both closed and co-closed. In this case, all the maps in the comple…
▽ More
Theorem. Let M be a compact, connected, oriented smooth Riemannian n-manifold with non-empty boundary. Then the cohomology of the complex (Harm*(M),d) of harmonic forms on M is given by the direct sum H^p(Harm*(M),d) = H^p(M;R) + H^(p-1)(M;R) for p=0,1,...,n.
When M is a closed manifold, a form is harmonic if and only if it is both closed and co-closed. In this case, all the maps in the complex (Harm*(M),d) are zero, and so H^p(Harm*(M),d) = Harm^p(M) = H^p(M;R) according to the classical theorem of Hodge.
By contrast, when M is connected and has non-empty boundary, it is possible for a p-form to be harmonic without being both closed and co-closed. Some of these, which are exact, although not exterior derivatives of harmonic p-1-forms, represent the "echo" of the ordinary p-1-dimensional cohomology within the p-dimensional harmonic cohomology that appears in the above theorem.
△ Less
Submitted 19 August, 2005;
originally announced August 2005.
-
The Gauss linking integral on the 3-sphere and in hyperbolic 3-space
Authors:
Dennis DeTurck,
Herman Gluck
Abstract:
We introduce here explicit integral formulas for linking, twisting, writhing and helicity on the 3-sphere and in hyperbolic 3-space. These formulas, like their prototypes in Euclidean 3-space, are geometric rather than just topological, in the sense that their integrands are invariant under orientation-preserving isometries of the ambient space. They are obtained by developing and then applying…
▽ More
We introduce here explicit integral formulas for linking, twisting, writhing and helicity on the 3-sphere and in hyperbolic 3-space. These formulas, like their prototypes in Euclidean 3-space, are geometric rather than just topological, in the sense that their integrands are invariant under orientation-preserving isometries of the ambient space. They are obtained by developing and then applying a steady-state version of classical electrodynamics in these two spaces, including an explicit Biot-Savart formula for the magnetic field and a corresponding Ampere's law contained in Maxwell's equations. The Biot-Savart formula leads, in turn, to upper bounds for the helicity of vector fields and lower bounds for the first eigenvalue of the curl operator on subdomains of the 3-sphere and hyperbolic 3-space. We give only a hint of the proofs.
△ Less
Submitted 14 June, 2004;
originally announced June 2004.
