arXiv research

Classifies two families of simply connected 7-manifolds with minimal homological complexity.

The paper identifies conditions for free circle actions on specific 7-manifolds.

New Sasaki-Einstein 7-manifolds found, including rational homology 7-spheres and connected sums.

We show that the group of smooth homotopy $7$-spheres acts freely on the set of smooth manifold structures on a topological manifold $M$ which is homotopy equivalent to the real projective $7$-space. We classify, up to diffeomorphism, all closed manifolds homeomorphic to the real projective $7$-space. We also show that…

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…

A so-called special generic map is by definition a map of smooth manifolds all of whose singularities are definite fold points. It is in general an open problem posed by Saeki in 1993 to determine the set of integers $p$ for which a given homotopy sphere admits a special generic map into $\mathbb{R}^{p}$. By means of t…

New Sasaki-Einstein 7-spheres found via Berglund-Hübsch transpose.

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.

In this paper we demonstrate the existence of Sasakian-Einstein structures on certain 2-connected rational homology 7-spheres. These appear to be the first non-regular examples of Sasakian-Einstein metrics on simply connected rational homology spheres. We also briefly describe the rational homology 7-spheres that admit…

Study $\mathrm{G}_2$-instantons on 7-sphere from 4-sphere instantons.

The quaternions are non-commutative. The deviation from commutativity is encapsulated in the commutator of unit quaternions. It is known that the k-th power of the commutator is null-homotopic if and only if k is divisible by 12. The main purpose of this paper is to construct a concrete null-homotopy of the 12-th power…

The squashed 7-sphere $S^{7}$ is a 7-sphere with an Einstein metric given by the canonical variation and its cone $\mathbb{R}^{8} - \{ 0 \}$ has full holonomy ${\rm Spin}(7)$. There is a canonical calibrating 4-form $Φ$ on $\mathbb{R}^{8} - \{ 0 \}$. A minimal 3-submanifold in $S^{7}$ is called associative if its cone …

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

The paper studies $G_2$-Poisson equations on 7-spheres and classifies invariant solutions.

Researchers describe $G_2$-structures on $7$-sphere, finding harmonic representatives.

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

Study local moduli of Sasaki-Einstein metrics on specific polynomial links.

Abstract: Investigates octonion product deformations and related geometries.

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…

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.

Nearly $G_2$-structures are unstable under a modified $G_2$-Laplacian co-flow.

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.

The study constructs associative 3-folds in squashed 3-Sasakian manifolds.

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…

Associative submanifolds of the 7-sphere S^7 are 3-dimensional minimal submanifolds which are the links of calibrated 4-dimensional cones in R^8 called Cayley cones. Examples of associative 3-folds are thus given by the links of complex and special Lagrangian cones in C^4, as well as Lagrangian submanifolds of the near…

Smooth Freund-Rubin backgrounds of eleven-dimensional supergravity of the form AdS_4 x X^7 and preserving at least half of the supersymmetry have been recently classified. Requiring that amount of supersymmetry forces X to be a spherical space form, whence isometric to the quotient of the round 7-sphere by a freely-act…

For each nonnegative integer we find an open (4m+9)-dimensional simply-connected manifold admitting complete nonnegatively curved metrics whose souls are non-diffeomorphic, homeomorphic, and have codimension 2. We give a diffeomorphism classification of the pairs (N, soul) when N is a nontrivial complex line bundle ove…

Study 3-Sasakian and G2 structures on manifolds.

In this paper we prove a new version of the Schoenflies extension theorem for collared domains in Euclidean n-space: for 1 < p < n, locally bi-Lipschitz homeomorphisms between collared domains with locally p-integrable, second-order weak derivatives admit homeomorphic extensions of the same regularity. Moreover, the th…

We prove that there does not exist any connected topological proper loop homeomorphic to a quasi-simple Lie group and having a compact Lie group as the group topologically generated by its left translations. Moreover, any connected topological loop homeomorphic to the 7-sphere and having a compact Lie group as the grou…

A nearly parallel $G_{2}$-manifold $Y$ is a Riemannian 7-manifold whose cone $C(Y) = \mathbb{R}_{>0} \times Y$ has the holonomy group contained in ${\rm Spin(7)}$. In other words, it is a spin 7-manifold with a real Killing spinor. We have a special class of calibrated submanifolds called Cayley submanifolds in $C(Y)$.…

Study calculates deformations of instantons on a specific $Spin(7)$-manifold.

We classify Freund-Rubin backgrounds of eleven-dimensional supergravity of the form AdS_4 x X^7 which are at least half BPS; equivalently, smooth quotients of the round 7-sphere by finite subgroups of SO(8) which admit an (N>3)-dimensional subspace of Killing spinors. The classification is given in terms of pairs consi…

New solutions found for G2 system on squashed manifolds.

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 fi…

The volume of a k-dimensional foliation $\mathcal{F}$ in a Riemannian manifold $M^{n}$ is defined as the mass of image of the Gauss map, which is a map from M to the Grassmann bundle of k-planes in the tangent bundle. Generalizing a construction by Gluck and Ziller, "singular" foliations by 3-spheres are constructed on…

We find Weitzenböck formula for the Fueter-Dirac operator which controls the infinitesimal deformations of an associative submanifold in a $7$--manifold with a $G_2$--structure. We establish a vanishing theorem to conclude rigidity under some positivity assumptions on curvature, which are particularly mild in the nearl…

Associative submanifolds $A$ in nearly parallel $G_2$-manifolds $Y$ are minimal 3-submanifolds in spin 7-manifolds with a real Killing spinor. The Riemannian cone over $Y$ has the holonomy group contained in ${\rm Spin(7)}$ and the Riemannian cone over $A$ is a Cayley submanifold. Infinitesimal deformations of associat…

The conformal infinity of a quaternionic-Kahler metric on a 4n-manifold with boundary is a codimension 3-distribution on the boundary called quaternionic contact. In dimensions 4n-1 greater than 7, a quaternionic contact structure is always the conformal infinity of a quaternionic-Kahler metric. On the contrary, in dim…

Homotopy on nanophrases is an equivalence relation defined using some data called a homotopy data triple. We define a product on homotopy data triples. We show that any homotopy data triple can be factorized into a product of prime homotopy data triples and this factorization is unique up to isomorphism and order. If a…

New examples of manifolds that are homotopy but not simple homotopy equivalent.

By considering homotopies that preserve the stratification, one obtains a natural notion of homotopy for stratified spaces. In this short note, we introduce invariants of stratified homotopy, the stratified homotopy groups. We show that they satisify a stratified version of Whitehead's theorem. As an example, we introd…

We generalise the Kreck-Stolz invariants s_2 and s_3 by defining a new invariant, the t-invariant, for quaternionic line bundles E over closed spin-manifolds M of dimension 4k-1 with H^3(M; \Q) = 0 such that c_2(E)\in H^4(M) is torsion. The t-invariant classifies closed smooth oriented 2-connected rational homology 7-s…

Classifies colored links and spatial graphs up to colored link-homotopy.

Paper proves homotopy braid group properties over integers and three strands.

New examples of manifolds with similar homotopy but different simple homotopy types.

V. Turaev introduced the theory of topology of words and phrases in 2005. This is a combinatorialy extension of the theory of virtual knots and links. In this paper we generalize the notion of homotopy of words and phrases and we give geometric meanings of the generalized homotopy of words. Moreover using the generaliz…

The study shows how stabilizing manifolds with projective spaces affects their homotopy structure.