We demonstrate how by using the intersection theory to calculate the cohomology of $G_2$-manifolds constructed by using the generalized Kummer construction. For one example we find the generators of the rational cohomology ring and describe the product structure.
In studying the 11/8-Conjecture on the Geography Problem in 4-dimensional topology, Furuta proposed a question on the existence of Pin(2)-equivariant stable maps between certain representation spheres. In this paper, we present a complete solution to this problem by analyzing the Pin(2)-equivariant Mahowald invariants. As a geometric application of our result, we prove a 10/8+4-Theorem. We prove our theorem by analyzing maps between certain finite spectra arising from BPin(2) and various Thom spectra associated with it. To analyze these maps, we use the technique of cell diagrams, known results on the stable homotopy groups of spheres, and the $j$-based Atiyah-Hirzebruch spectral sequence.
In this article we introduce flag Bott manifolds of general Lie type as the total spaces of iterated flag bundles. They generalize the notion of flag Bott manifolds and generalized Bott manifolds, and admit nice torus actions. We calculate the torus equivariant cohomology rings of flag Bott manifolds of general Lie type.
We analyze two different fibrations of a link complement M constructed by McMullen-Taubes, and studied further by Vidussi. These examples lead to inequivalent symplectic forms on a 4-manifold X = S x M, which can be distinguished by the dimension of the primitive cohomologies of differential forms. We provide a general algorithm for computing the monodromies of the fibrations explicitly, which are needed to determine the primitive cohomologies. We also investigate a similar phenomenon coming from fibrations of a class of graph links, whose primitive cohomology provides information about the fibration structure.
We prove that the 2-primary $pi_{61}$ is zero. As a consequence, the Kervaire invariant element $theta_5$ is contained in the strictly defined 4-fold Toda bracket $langle 2, theta_4, theta_4, 2rangle$. 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-Priddy theorems. The success of this technique suggests a theoretical way to prove Adams differentials in the sphere spectrum inductively by use of differentials in truncated projective spectra.
Crowley and Nordstr{o}m introduced an invariant of $G_2$-structures on the tangent bundle of a closed 7-manifold, taking values in the integers modulo 48. Using the spectral description of this invariant due to Crowley, Goette and Nordstr{o}m, we compute it for many of the closed torsion-free $G_2$-manifolds defined by Joyces generalized Kummer construction.