相关论文: Intersection Forms of Spin 4-Manifolds and the Pin…

Using Seiberg-Witten Floer spectrum and Pin(2)-equivariant KO-theory, we prove new Furuta-type inequalities on the intersection forms of spin cobordisms between homology $3$-spheres. As an application, we give explicit constrains on the…

We introduce a variant of the Seiberg-Witten equations, Pin^-(2)-monopole equations, and give its applications to intersection forms with local coefficients of 4-manifolds. The first application is an analogue of Froyshov's results on…

We prove Furuta-type bounds for the intersection forms of spin cobordisms between homology 3-spheres. The bounds are in terms of a new numerical invariant of homology spheres, obtained from Pin(2)-equivariant Seiberg-Witten Floer K-theory.…

Let X be a smooth closed oriented non-spin 4-manifold with even intersection form kE_8\oplus nH. In this article we show that n\geq |k| on X. Thus we confirm the 10/8-conjecture affirmatively. As an application, we also give an estimate of…

We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose…

We introduce a diffeomorphism invariant of $4$-manifolds, the $\mathrm{Pin}^-(2)$-monopole invariant, defined by using the $\mathrm{Pin}^-(2)$-monopole equations. We compute the invariants of several $4$-manifolds, and prove gluing…

We show a rigidity theorem for the Seiberg-Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of…

We define a variant of the Seiberg-Witten equations using the Rarita-Schwinger operators for closed simply connected spin smooth 4-manifold X. The moduli space of solutions to the system of non-linear differential equations consist of…

We completely determine the mod $2$ Seiberg-Witten invariants for any spin structure on any closed, oriented, smooth $4$-manifold $X$. Our computation confirms the validity of the simple type conjecture mod $2$ for spin structures. Our…

We use Furuta's result, usually referred to as ``10/8-conjecture'', to show that for any compact 3-manifold $M$ the open manifold $M\times\r$ has infinitely many different smooth structures. Another consequence of Furuta's result is…

We use new homotopy-theoretic tools to prove the existence of smooth $U(1)$- and $Sp(1)$-actions on infinite families of exotic spheres. Such families of spheres are propagated by the complex and quaternionic analogues of the Mahowald…

We present an explicit expression for the topological invariants associated to $SU(2)$ monopoles in the fundamental representation on spin four-manifolds. The computation of these invariants is based on the analysis of their corresponding…

We study closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature…

This is the beginning of an obstruction theory for deciding whether a map f:S^2 --> X^4 is homotopic to a topologically flat embedding, in the presence of fundamental group and in the absence of dual spheres. The first obstruction is Wall's…

Furuta's ``10/8-th's'' theorem gives a bound on the magnitude of the signature of a smooth spin 4-manifold in terms of the second Betti number. We show that in the presence of a Z/2^p action, his bound can be strengthened. As applications,…

General aspects of higher-spin gauge theory and unfolded formulation are briefly recalled with some emphasize on the recent results on the breaking of $sp(8)$ symmetry by current interactions and construction of invariant functionals…

This paper investigates the geometric structures and properties of 8-dimensional manifolds with Spin(7)-holonomy. We focus on the characterization and implications of 4-planes within these manifolds, which are endowed with an almost…

In relation to the 4-dimensional smooth Poincar\'e conjecture we construct a tentative invariant of homotopy 4-spheres using embedded contact homology (ECH) and Seiberg-Witten theory (SWF). But for good reason it is a constant value…

Inspired by the Ozsv\'ath-Szab\'o mixed invariant in ordinary Heegaard Floer theory, we define a mixed invariant $\Phi_{X, \mathfrak{s}}^{I}$ for closed, spin four-manifolds $(X, \mathfrak{s})$ using the cobordism maps on involutive…

An obstruction theory for representing homotopy classes of surfaces in 4-manifolds by immersions with pairwise disjoint images is developed, using the theory of non-repeating Whitney towers. The accompanying higher-order intersection…