The notion of the geometrical $\Z/2 \oplus \Z/2$--control of self-intersection of a skew-framed immersion and the notion of the $\Z/2 \oplus \Z/4$-structure (the cyclic structure) on the self-intersection manifold of a $\D_4$-framed immersion are introduced. It is shown that a skew-framed immersion $f:M^{\frac{3n+q}{4}} \looparrowright \R^n$, $0 < q <<n$ (in the $\frac{3n}{4}+ε$-range) admits a geometrical $\Z/2 \oplus \Z/2$--control if the characteristic class of the skew-framing of this immersion admits a retraction of the order $q$, i.e. there exists a mapping $κ_0: M^{\frac{3n+q}{4}} \to \RP^{\frac{3(n-q)}{4}}$, such that this composition $I \circ κ_0: M^{\frac{3n+q}{4}} \to \RP^{\frac{3(n-q)}{4}} \to \RP^{\infty}$ is the characteristic class of the skew-framing of $f$. Using the notion of $\Z/2 \oplus \Z/2$-control we prove that for a sufficiently great $n$, $n=2^l-2$, an arbitrary immersed $\D_4$-framed manifold admits in the regular cobordism class (modulo odd torsion) an immersion with a $\Z/2 \oplus \Z/4$-structure. In the last section we present an approach toward the Kervaire Invariant One Problem.
We show that Kervaire invariant one elements in the homotopy groups of spheres exist only in dimensions at most 126. By Browder's Theorem, this means that smooth framed manifolds of Kervaire invariant one exist only in dimensions 2, 6, 14, 30, 62, and possibly 126. With the exception of dimension 126 this resolves a longstanding problem in algebraic topology.
The (4k+2)-dimensional Kervaire manifold is a closed, piecewise linear (PL) manifold with Kervaire invariant 1 and the same homology as the product of two (2k+1)-dimensional spheres. We show that a finite group of odd order acts freely on a Kervaire manifold if and only if it acts freely on the corresponding product of spheres. If the Kervaire manifold M is smoothable, then each smooth structure on M admits a free smooth involution. If k + 1 is not a 2-power, then the Kervaire manifold in dimension 4k+2 does not admit any free TOP involutions. Free "exotic" (PL) involutions are constructed on …
We prove that the 2-primary $π_{61}$ is zero. As a consequence, the Kervaire invariant element $θ_5$ is contained in the strictly defined 4-fold Toda bracket $\langle 2, θ_4, θ_4, 2\rangle$. Our result has a geometric corollary: the 61-sphere has a unique smooth structure and it is the last odd dimensional case - the only ones are $S^1, S^3, S^5$ and $S^{61}$. Our proof is a computation of homotopy groups of spheres. A major part of this paper is to prove an Adams differential $d_3(D_3) = B_3$. We prove this differential by introducing a new technique based on the algebraic and geometric Kahn-…
We give a generalization of Fukaya's Morse homotopy theoretic approach for 2-loop Chern--Simons perturbation theory to 3-valent graphs with arbitrary number of loops at least 2. We construct a sequence of invariants of integral homology 3-spheres with values in a space of 3-valent graphs (Jacobi diagrams or Feynman diagrams) by counting graphs in an integral homology 3-sphere satisfying certain condition described by a set of ordinary differential equations.
Geometric approach towards stable homotopy groups of spheres. The Steenrod-Hopf invariant I
本文基于Pontrjagin-Thom构造，提出了求球面稳定同伦群的一种几何方法。由此方法得到了J. F. Adams关于除$15,31,63,127$以外的所有维数的Hopf不变一定理的一个新的证明.证明了球的稳定同伦群$Π_n$中的$n>127$不存在具有Hopf不变元的元素.新的证明是基于几何拓扑方法。考虑了关于实射影无限维空间的稳定同伦群（这个群通过Khan-Priddy定理映射到球面的稳定同伦群的2-分支上）用闭流形（一般来说是不可定向的）的余维为1的浸入的协边类表示的Pontrjagin-Thom定理. Hopf不变量被表示为浸入余维1流形的自相交流形的二面体群的示性数，该流形表示稳定同伦群中的给定元素。在新的证明中，需要基于Smal-Hirsch浸入定理的浸入在给定的正则同伦类中的几何控制原理（M.Gromov）。
This paper extends widely the work in \cite{GT13}. Existence and non-existence results of isoparametric functions on exotic spheres and Eells-Kuiper projective planes are established. In particular, every homotopy $n$-sphere ($n>4$) carries an isoparametric function (with certain metric) with 2 points as the focal set, in strong contrast to the classification of cohomogeneity one actions on homotopy spheres \cite{St96} ( only exotic Kervaire spheres admit cohomogeneity one actions besides the standard spheres ). As an application, we improve a beautiful result of Bérard-Bergery \cite{BB77} ( s…
We establish an interesting connection between Morin singularities and stable homotopy groups of spheres. We apply this connection to computations of cobordism groups of certain singular maps. The differentials of the spectral sequence computing these cobordism groups are given by the composition multiplication in the stable homotopy groups of spheres.
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 the technique of Stein factorization we introduce and study certain special generic maps of homotopy spheres into Euclidean spaces called standard. Modifying a construction due to Weiss, we show that standard special generic maps give naturally rise to a filtration of the group of…
With any (open or closed) cover of a space T we associate certain homotopy classes of maps T into n-spheres. These homotopy invariants can be considered as obstructions for extensions of covers of a subspace A to a space X. We using these obstructions for generalizations of the classic KKM (Knaster-Kuratowski-Mazurkiewicz) and Sperner lemmas. In particular, we show that in the case when A is a k-sphere and X is a (k+1)-disk there exist KKM type lemmas for covers by n+2 sets if and only if the k-homotopy group of n-sphere is not zero.
We give a brief survey of some facts about homotopy $4$-spheres \cite{a1}, then give a proof that the curious homotopy sphere constructed in \cite{a2} is in fact diffeomorphic to the standard $S^4$, and discuss its relation to infinite order loose corks and anti-corks.
We establish a connection between Morin singularities and stable homotopy groups of spheres. This connection allows us to describe how the images of singularity strata behave around the image of a more complicated stratum.
Gompf proposed a conjecture on Cappell-Shaneson matrices whose affirmative answer implies that all Cappell-Shaneson homotopy 4-spheres are diffeomorphic to the standard 4-sphere. We study Gompf conjecture on Cappell-Shaneson matrices using various algebraic number theoretic techniques. We find a hidden symmetry between trace $n$ Cappell-Shaneson matrices and trace $5-n$ Cappell-Shaneson matrices which was suggested by Gompf experimentally. Using this symmetry, we prove that Gompf conjecture for the trace $n$ case is equivalent to the trace $5-n$ case. We confirm Gompf conjecture for the specia…
We show the homotopy spheres $Σ_{n} = -W\smile_{f^{n}}W$, formed by doubling the infinite order loose-cork $(W,f)$ by iterates of the cork diffeomorphism $f: \partial W \to \partial W$ is $S^4$. To do this we first show that $Σ_{n} $ are obtained by Gluck twistings of $S^4$; then from this we show how to cancel $3$-handles of $Σ_{n}$ and identify it by $S^{4}$.
David Gabai recently proved a smooth 4-dimensional "Light Bulb Theorem" in the absence of 2-torsion in the fundamental group. We extend his result to 4-manifolds with arbitrary fundamental group by showing that an invariant of Mike Freedman and Frank Quinn gives the complete obstruction to "homotopy implies isotopy" for embedded 2-spheres which have a common geometric dual. The invariant takes values in an Z/2Z-vector space generated by elements of order 2 in the fundamental group and has applications to unknotting numbers and pseudo-isotopy classes of self-diffeomorphisms. Our methods also gi…
We discuss an "extrinsic" property of knots in a 3-subspace of the 3-sphere $S^3$ to characterize how the subspace is embedded in $S^3$. Specifically, we show that every knot in a subspace of the 3-sphere is transient if and only if the exterior of the subspace is a disjoint union of handlebodies, i.e. regular neighborhoods of embedded graphs, where a knot in a 3-subspace of $S^3$ is said to be transient if it can be moved by a homotopy within the subspace to the trivial knot in $S^3$. To show this, we discuss relation between certain group-theoretic and homotopic properties of knots in a comp…
We compute the group of link homotopy classes of link maps of two 2-spheres into 4-space. It turns out to be free abelian, generated by geometric constructions applied to the Fenn-Rolfsen link map and detected by two self-intersection invariants introduced by Paul Kirk in this setting. As a corollary, we show that any link map with one topologically embedded component is link homotopic to the unlink. Our proof introduces a new basic link homotopy, which we call a Whitney homotopy, that shrinks an embedded Whitney sphere constructed from four copies of a Whitney disk. Freedman's disk embedding …
