arXiv research

The paper characterizes stable cohomotopy groups in codimensions two and three, linking algebraic and geometric perspectives.

The monopole map defines an element in an equivariant stable cohomotopy group refining the Seiberg-Witten invariant. This first of two articles presents the details of the definition of the stable cohomotopy invariant and discusses its relation to the integer valued Seiberg-Witten invariant.

This is a survey article on the stable cohomotopy refinement of Seiberg-Witten invariants containing also new results, for example: - Stable cohomotopy groups describe path components of certain mapping spaces. - Relation of stable cohomotopy invariants to Seiberg-Witten invariants without restriction on Betti numbers.…

Established a stable cohomotopy refinement for Pin(2) monopole invariants.

We will define a version of Seiberg-Witten-Floer stable homotopy types for a closed, oriented 3-manifold $Y$ with $b_1(Y) > 0$ and a spin-c structure $\mathfrak{c}$ on $Y$ with $c_1(\mathfrak{c})$ torsion under an assumption on $Y$. Using the Seiberg-Witten-Floer stable homotopy type, we will construct a gluing formula…

We show that every positive definite closed 4-manifold with $b_2^+>1$ and without 1-handles has a vanishing stable cohomotopy Seiberg-Witten invariant, and thus admits no symplectic structure. We also show that every closed oriented 4-manifold with $b_2^+\not\equiv 1$ and $b_2^-\not\equiv 1\pmod{4}$ and without 1-handl…

The main theorem describes the behaviour of the stable cohomotopy invariant defined in the first article (joint with M. Furuta) in this series of two under the operation of taking connected sums of four-manifolds: The invariant of a connected sum is the smash product (in the sense of equivariant spectra) of the invaria…

We shall prove a new non-vanishing theorem for the stable cohomotopy Seiberg-Witten invariant of connected sums of 4-manifolds with positive first Betti number. The non-vanishing theorem enables us to find many new examples of 4-manifolds with non-trivial stable cohomotopy Seiberg-Witten invariants and it also gives a …

Families of smooth closed oriented 4-manifolds with a complex spin structure are studied by means of a family version of the Bauer--Furuta invariants in the context of parametrised stable homotopy theory, leading to a definition of characteristic cohomotopy classes on Thom spectra associated to the classifying spaces o…

For a complex projective space the inertia group, the homotopy inertia group and the concordance inertia group are isomorphic. In complex dimension 4n+1, these groups are related to computations in stable cohomotopy. Using stable homotopy theory, we make explicit computations to show that the inertia group is non-trivi…

In this article we extend the classical definitions of equivariant cohomotopy theory to the setting of proper actions of Lie groups. We combine methods originally developed in the analysis of nonlinear differential equations, mainly in connection with Leray-Schauder theory, and on the other hand from developments of eq…

Develops a new spectrum for annular links, recovering a transverse invariant at extreme gradings.

Study cohomotopy sets of simply connected 7-manifolds using suspension decompositions.

The paper characterizes cohomotopy sets of specific manifolds.

New mathematical framework connects M-theory charges to stable homotopy groups.

In this article, we produce infinite families of 4-manifolds with positive first betti numbers and meeting certain conditions on their homotopy and smooth types so as to conclude the non-vanishing of the stable cohomotopy Seiberg-Witten invariants of their connected sums. Elementary building blocks used in the earlier …

S.Bauer and M.Furuta defined a stable cohomotopy refinement of the Seiberg-Witten invariants. In this paper, we prove a vanishing theorem of Bauer-Furuta invariants for 4-manifolds with smooth Z/2-actions. As an application, we give a constraint on smooth Z/2-actions on homotopy K3#K3, and construct a nonsmoothable loc…

The paper determines modular cohomotopy groups up to extensions using classical and unstable homotopy methods.

Starting from ideas of Furuta, we develop a general formalism for the construction of cohomotopy invariants associated with a certain class of $S^1$-equivariant non-linear maps between Hilbert bundles. Applied to the Seiberg-Witten map, this formalism yields a new class of cohomotopy Seiberg-Witten invariants which hav…

We introduce a differential refinement of Cohomotopy cohomology theory, defined on Penrose diagram spacetimes, whose cocycle spaces are unordered configuration spaces of points. First we prove that brane charge quantization in this differential 4-Cohomotopy theory implies intersecting p/(p+2)-brane moduli given by orde…

We show that charge-quantization of the M-theory C-field in J-twisted Cohomotopy implies emergence of a higher Sp(1)-gauge field on single heterotic M5-branes, which exhibits worldvolume twisted String structure.

Geometrically computes cohomotopy groups for higher-dimensional manifolds.

There are fundamental open problems in the precise global nature of RR-field tadpole cancellation conditions in string theory. Moreover, the non-perturbative lift as M5/MO5-anomaly cancellation in M-theory had been based on indirect plausibility arguments,lacking a microscopic underpinning in M-brane charge quantizatio…

We show that the minimal volume entropy of closed manifolds remains unaffected when nonessential manifolds are added in a connected sum. We combine this result with the stable cohomotopy invariant of Bauer-Furuta in order to present an infinite family of four-manifolds with the following properties: 1) They have positi…

We consider the hypothesis that the C-field 4-flux and 7-flux forms in M-theory are in the image of the non-abelian Chern character map from the non-abelian generalized cohomology theory called J-twisted Cohomotopy theory. We prove for M2-brane backgrounds in M-theory on 8-manifolds that such charge quantization of the…

Study characterizes cohomology and homotopy types for M-theory extensions.

We highlight what seems to be a remaining subtlety in the argument for the cancellation of the total anomaly associated with the M5-brane in M-theory. Then we prove that this subtlety is resolved under the hypothesis that the C-field flux is charge-quantized in the generalized cohomology theory called J-twisted Cohomot…

We introduce an equivariant Pontrjagin-Thom construction which identifies equivariant cohomotopy classes with certain fixed point bordism classes. This provides a concrete geometric model for equivariant cohomotopy which works for any compact Lie group G. In the special case when G is finite or a torus, we show that ou…

New manifold construction yields Baire-1 functions as cohomotopy groups.

Higher gauge theory via differential nonabelian cohomology

Proves a formula for a special invariant of 4-manifolds.

We develop a Chern character map for twisted equivariant non-abelian cohomology.

Paper constructs Chern character for higher twists and shows isomorphism between K-theory and cohomology.

Elementary geometric arguments are used to compute the group of homotopy classes of maps from a 4-manifold X to the 3-sphere, and to enumerate the homotopy classes of maps from X to the 2-sphere. The former completes a project initiated by Steenrod in the 1940's, and the latter provides geometric arguments for and exte…

The full 6d Hopf-Wess-Zumino term in the action functional for the M5-brane is anomalous as traditionally defined. What has been missing is a condition implying the higher analogue of level quantization familiar from the 2d Wess-Zumino term. We prove that the anomaly cancellation condition is implied by the hypothesis …

The purpose of this paper is two-fold: On the one side we would like to close a gap on the classification of vector bundles over $5$-manifolds. Therefore it will be necessary to study quaternionic line bundles over $5$-manifolds which are in $1-1$ correspondence to elements in the first cohomotopy group $π^4(M)=[M,S^4]…

We study robust properties of zero sets of continuous maps $f:X\to\mathbb{R}^n$. Formally, we analyze the family $Z_r(f)=\{g^{-1}(0):\,\,\|g-f\|<r\}$ of all zero sets of all continuous maps $g$ closer to $f$ than $r$ in the max-norm. The fundamental geometric property of $Z_r(f)$ is that all its zero sets lie outside o…

Diagonalizes tautological classes of definite 4-manifolds.

We study cubical sets without degeneracies, which we call square sets. These sets arise naturally in a number of settings and they have a beautiful intrinsic geometry; in particular a square set C has an infinite family of associated square sets J^i(C), i=1,2,..., which we call James complexes. There are mock bundle pr…

New invariant recovers known contact element and considers finite coverings.

The set of unrestricted homotopy classes $[M,S^n]$ where $M$ is a closed and connected spin $(n+1)$-manifold is called the $n$-th cohomotopy group $π^n(M)$ of $M$. Moreover it is known that $π^n(M) = H^n(M;\mathbb Z) \oplus \mathbb Z_2$ by methods from homotopy theory. We will provide a geometrical description of the $…

Extends Chern character to non-abelian cohomology, linking to physics.

We show that there exist smooth, simply connected, four-dimensional spin manifolds which do not admit Einstein metrics, but nonetheless satisfy the strict Hitchin-Thorpe inequality. Our construction makes use of the Bauer/Furuta cohomotopy refinement of the Seiberg-Witten invariant, in conjunction with curvature estima…

In low dimensional topology, we have some invariants defined by using solutions of some nonlinear elliptic operators. The invariants could be understood as Euler class or degree in the ordinary cohomology, in infinite dimensional setting. Instead of looking at the solutions, if we can regard some kind of homotopy class…

O. Plamenevskaya associated to each transverse knot K an element of the Khovanov homology of K. In this paper, we give two refinements of Plamenevskaya's invariant, one valued in Bar-Natan's deformation of the Khovanov complex and another as a cohomotopy element of the Khovanov spectrum. We show that the first of these…

New method for flux quantization on phase space stacks.

New method solves differential equations on manifolds, with applications in physics.

For closed manifolds endowed with a Riemannian foliation of codimension $4$, one can define a transversal Seiberg-Witten map. We show that there is a finite dimensional approximation for such a map. By such a method and under the condition that $H^1_b(M)\cap H^1(M,\mathbb Z)$ is a lattice of $H^1_b(M)$, we can define a…