arXiv research

Here we generalize the Gromoll-Meyer construction of an exotic 7-sphere by producing geometric models of exotic 8, 10 and Kervaire spheres as quotients of sphere bundles over spheres by free isometric actions. We give a geometric application at the end.

We construct a new infinite family of models of exotic 7-spheres. These models are direct generalizations of the Gromoll-Meyer sphere. From their symmetries, geodesics and submanifolds half of them are closer to the standard 7-sphere than any other known model for an exotic 7-sphere.

The Gromoll-Meyer sphere is constructed and studied in a homogeneous space.

We studied isometric stochastic flows of a Stratonovich stochastic differential equation on spheres, i.e. on the standard sphere and Gromoll-Meyer exotic sphere. The standard sphere $S^7_s$ can be constructed as the quotient manifold $\mathrm{Sp}(2, \mathbb{H})/S^3$ with the so-called ${\bullet}$-action of $S^3$, where…

The first part of the paper is to improve the fundamental theory of isoparametric functions on general Riemannian manifolds. Next we focus our attention on exotic spheres, especially on "exotic" 4-spheres (if exist) and the Gromoll-Meyer sphere. In particular, as one of main results we prove: there exists no properly t…

We show that there is a metric on the Gromoll-Meyer sphere with positive sectional curvature.

We recognize the Gromoll-Meyer sphere Sigma^7 as the geodesic join of a simple closed geodesic and a minimal subsphere Sigma^5, which can be equivariantly identified with the Brieskorn sphere W^5_3. As applications we in particular determine the full isometry group of Sigma^7, classify all closed subgroups that act fre…

We construct a co-dimension $3$ completely non-holonomic sub-bundle on the Gromoll-Meyer exotic $7$ sphere based on its realization as a base space of a Sp(2)-principal bundle with the structure group Sp(1). The same method is valid for constructing a co-dimension 3 completely non-holonomic sub-bundle on the standard 7…

Study geodesics on nested non-holonomic systems.

We classify all biquotients whose rational cohomology rings are generated by one element. As a consequence we show that the Gromoll-Meyer 7-sphere is the only exotic sphere which can be written as a biquotient.

A physicist explores exotic 7-spheres using fibre bundles and instantons.

Paper constructs exotic spacetimes with same physical properties.

A metric with positive sectional curvature on the Gromoll-Meyer exotic 7-sphere is constructed explicitly. The proof relies on a 2-parameter family of left invariant metrics on Sp(2) and a one-parameter family of conformal deformations via an isoparametric function F on it. One byproduct is a metric with positive secti…

Gromoll and Meyer have represented a certain exotic 7-sphere $Σ^7$ as a biquotient of the Lie group $G = Sp(2)$. We show for a 2-parameter family of left invariant metrics on $G$ that the induced metric on $Σ^7$ has strictly positive sectional curvature at all points outside four subvarieties of codimension $\geq 1$ wh…

A closed manifold is called a biquotient if it is diffeomorphic to K\G/H for some compact Lie group G with closed subgroups K and H such that K acts freely on G/H. Biquotients are a major source of examples of Riemannian manifolds with nonnegative sectional curvature. We prove several classification results for biquoti…

We describe a few abstract principles that are used in the deformation of the Gromoll-Meyer metric to positive curvature.

Study on curvature properties of exotic 7-sphere using quaternionic geometry.

This is a survey paper on Morse theory and the existence problem for closed geodesics. The free loop space plays a central role, since closed geodesics are critical points of the energy functional. As such, they can be analyzed through variational methods. The topics that we discuss include: Riemannian background, the …

Following the lines of the celebrated Riemannian result of Gromoll and Meyer, we use infinite dimensional equivariant Morse theory to establish the existence of infinitely many geometrically distinct closed geodesics in a class of globally hyperbolic stationary Lorentzian manifolds.

In this paper we prove several multiplicity results of $t$-periodic light rays in conformally stationary spacetimes using the Fermat metric and the extensions of the classical theorems of Gromoll-Meyer and Bangert-Hingston to Finsler manifolds. Moreover, we exhibit some stationary spacetimes with a finite number of $t$…

We establish the splitting lemmas (or generalized Morse lemmas) for the energy functionals of Finsler metrics on the natural Hilbert manifolds of $H^1$-curves around a critical point or a critical $\R^1$ orbit of a Finsler isometry invariant closed geodesic. They are the desired generalization on Finsler manifolds of t…

The usual Gromoll-Meyer's generalized Morse lemma near degenerate critical points on Hilbert spaces, so called splitting lemma, is stated for at least $C^2$-smooth functionals. In this paper we establish a splitting theorem and a shifting theorem for a class of continuously directional differentiable functionals (lower…

The Gromoll-Meyer's generalized Morse lemma (so called splitting lemma) near degenerate critical points on Hilbert spaces, which is one of key results in infinite dimensional Morse theory, is usually stated for at least $C^2$-smooth functionals. It obstructs one using Morse theory to study most of variational problems …

New research finds 145 infinite families of CS spheres are standard.

Every smooth 4-sphere is the same as the standard one.

Kervaire's sphere-link is equivalent to a ribbon sphere-link, simplifying complex 2-complexes.

New theory proves infinite homology 3-spheres in homology 4-spheres.

The 3-sphere has either 2 minimal 2-spheres or an optimal foliation by 2-spheres.

Infinitely many splitting spheres found for unlinked 2-spheres in 4-space.

Reduces weak reducing pairs to spheres in 3-sphere Heegaard surfaces.

The study shows how to construct $d$-spheres from $(d-1)$-spheres and $d$-balls without additional vertices.

New proof for sphere recognition algorithm.

Proves stability of convex spheres with similar geodesic lengths.

Soliton spheres are immersed 2-spheres in the conformal 4-sphere S^4=HP^1 that allow rational, conformal parametrizations f:CP^1->HP^1 obtained via twistor projection and dualization from rational curves in CP^{2n+1}. Soliton spheres can be characterized as the case of equality in the quaternionic Pluecker estimate. A …

Study on sphere immersions and their stability indices.

The paper constructs biharmonic maps between spheres using polynomial maps.

Classification of constant curvature surfaces in Berger spheres.

Characterizes a specific type of convex curves on a 3-sphere.

Reduces connectivity problem for genus-4 Heegaard surface in 3-sphere.

Paper studies inscribed sphere and lines through centers of Apollonius spheres in n dimensions.

Author provides an alternate proof of the free ribbon lemma.

Sharp convergence theorem for sphere submanifolds proved.

In the 1-parameter family of Berger spheres S^3(a), a > 0 (S^3(1) is the round 3-sphere of radius 1) we classify the stable constant mean curvature spheres, showing that in some Berger spheres (a close to 0) there are unstable constant mean curvature spheres. Also, we classify the orientable compact stable constant mea…

We introduce and study a new class of homotopy spheres called Farrell-Jones spheres. Using Farrell-Jones sphere we construct examples of closed negatively curved manifolds $M^{2n}$, where $n=7$ or $8$, which are homeomorphic but not diffeomorphic to complex hyperbolic manifolds, thereby giving a partial answer to a que…

In this paper we show that for m>n the set of cobordism classes of maps from m-sphere to n-sphere is trivial. The determination of the cobordism homotopy groups of spheres admits applications to the covers for spheres.

Study finds infinite families of Sasaki-Einstein metrics on spheres.

We show that among Seifert fibered integer homology spheres, Poincare sphere (with either orientation) is the only non-trivial example which has trivial Heegaard Floer homology. Together with an earlier result, this shows that if an integer homology sphere has trivial Heegaard Floer homology, then it is a connected sum…

We prove a Reeb sphere theorem for finite simple graphs. The result bridges two different definitions of spheres in graph theory. We also reformulate Morse conditions in terms of the center manifolds, the level surface graphs {f=f(x)} in the unit sphere S(x). In the Morse case these graphs are either spheres, the empty…