arXiv research

In this paper we use the G-spin theorem to show that the Davis hyperbolic 4-manifold admits harmonic spinors. This is the first example of a closed hyperbolic 4-manifold that admits harmonic spinors. We also explicitly describe the Spinor bundle of a spin hyperbolic 2- or 4-manifold and show how to calculated the subtl…

We determine the contributions of isolated singularities of spin V 4-manifolds to the index of the Dirac operator over them. From these data we derive certain constraints on the intersection forms of spin 4-manifolds bounded by spherical 3-manifolds, and also on the embeddings of the real projective planes into 4-manif…

No spin structures found in a hyperbolic 4D space.

Paper computes G-index for specific hyperbolic manifolds.

Study cohomotopy classes for 4-manifolds using complex spin structures.

New method classifies spin 4-manifolds using Kervaire-Milnor invariant.

Develops Floer cohomology for 4-manifolds with involutions and links.

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 non-smoothable topological families of 4-manifolds whose fiber, base space, and tota…

We study trisections of 4-manifolds obtained by spinning and twist-spinning 3-manifolds, and we show that, given a (suitable) Heegaard diagram for the 3-manifold, one can perform simple local modifications to obtain a trisection diagram for the 4-manifold. We also show that this local modification can be used to conver…

We prove that for 4-manifolds $M$ with residually finite fundamental group and non-spin universal covering $\Wi M$, the inequality $\dim_{mc}\Wi M\le 3$ implies the inequality $\dim_{mc}\Wi M\le 2$.

Simply-connected 4-manifolds are covered by products with a 2-torus.

Simplified proof of spin^c structures using twistor spaces.

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 intersection forms of spin coverings of non-spin 4-manifolds with even intersect…

New exotic 4-manifolds with zero signature found.

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 intersection forms of spin $4$-manifolds bounded by Brieskorn spheres $\pmΣ(2,3,6k\…

Classifies stable diffeomorphism of spin 4-manifolds with specific fundamental groups.

We show that every closed, simply connected, spin topological 4-manifold except $S^4$ and $S^2\times S^2$ admits a homologically trivial, pseudofree, locally linear action of $\mathbb{Z}_p$ for any sufficiently large prime number $p$ which is nonsmoothable for any possible smooth structure.

Study shows non-spin 4-manifolds where smooth Nielsen realization fails.

We prove that for each closed smooth spin 4-manifold M there exists a closed smooth 4-manifold N such that the connected sum M # N admits a conformally flat Riemannian metric.

Study shows only two topological configurations for Spin(7)-manifold fibrations, ruling out smooth Cayley fibrations.

Study shows Dehn twists on certain 4-manifolds cannot be realized by finite order diffeomorphisms.

Study determines scalar curvature invariants for 3-spheres embedded in 4-manifolds.

The study finds smooth structures on specific 4-manifolds with even fundamental groups.

Researchers compute mod 2 Seiberg-Witten invariants for spin structures and families.

The study sets constraints on 4-manifold forms linked to specific invariants.

Researchers construct irreducible 4-manifolds with specific properties.

In this paper we construct a family of simply connected, spin, non-complex, symplectic 4-manifolds which cover all but finitely many allowed lattice points $(χ, c)$ lying in $0 \leq c \leq 8.76χ$. Furthermore, as a corollary, we prove that there exist infinitely many exotic smooth structures on $(2n+1)(S^2 \times S^2)$…

Study cyclic group actions on spin 4-manifolds with boundary using Seiberg-Witten theory.

Let $X$ be a closed, simply-connected, smooth, spin 4-manifold whose intersection form is isomorphic to $n(-E_8)\bigoplus mH$, where $H$ is the hyperbolic form. In this paper, we prove that for $n$ such that $n\equiv 2 ~{\rm mod} ~4$, there exists a locally linear pseudofree $\mathbb{Z}_2$-action on $X$ which is nonsmo…

Construct symplectic Lefschetz fibrations with any signature and spin type.

We exhibit the first examples of compact orientable hyperbolic manifolds that do not have any spin structure. We show that such manifolds exist in all dimensions $n \geq 4$. The core of the argument is the construction of a compact orientable hyperbolic $4$-manifold $M$ that contains a surface $S$ of genus $3$ with sel…

In this paper, results of J. Park and of B.D Park and Szabo on simply connected symplectic 4-manifolds are re-proven and extended to non-simply connected manifolds using Luttinger surgeries.

In this paper, we exploit a subtle indeterminacy in the definition of the spherical Kervaire-Milnor invariant which was discovered by R. Stong to construct non-spin 4-manifolds with even intersection form and prescribed signature.

We define and study branched shadows of 4-manifolds as a combination of branched spines of 3-manifolds and Turaev's shadows. We use these objects to combinatorially represent 4-manifolds equipped with $Spin^c$-structures and homotopy classes of almost complex structures. We then use branched shadows to study complex 4-…

We study moduli spaces of Seiberg-Witten monopoles over spin^c Riemannian 4-manifolds with long necks and/or tubular ends. This first part discusses compactness, exponential decay, and transversality. As applications we prove two vanishing theorems for Seiberg-Witten invariants.

Exotic diffeomorphisms found on complex surfaces and 4-manifolds.

In this short article we give a geometric meaning of the divisibility of $KO$-theoretical Euler classes for given two spin modules. We are motivated by Furuta's 10/8-inequality for a closed spin $4$-manifold. The role of the reducibles is clarified in the monopole equations of Seiberg-Witten theory, as done by Donaldso…

New 4-manifolds found without 1- and 3-handles.

We study closed, oriented 4-manifolds whose fundamental group is that of a closed, oriented, aspherical 3-manifold. We show that two such 4-manifolds are stably diffeomorphic if and only if they have the same w_2-type and their equivariant intersection forms are stably isometric. We also find explicit algebraic invaria…

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 4-manifolds which have definite forms with local coefficients. The second is a local …

The paper sets lower bounds for a Kirby-Thompson invariant of 4-manifolds.

We give topological conditions to ensure that a noncollapsed almost Ricci-flat 4-manifold admits a Ricci-flat metric. One sufficient condition is that the manifold is spin and has a nonzero A-hat genus. Another condition is that the fundamental group is infinite or, more generally, of sufficiently large cardinality.

This paper provides a topological method to construct all simply-connected, spin, smooth $6$-manifolds with torsion-free homology using simply-connected, smooth $4$-manifolds as building blocks. We explicitly determine the invariants that classify these $6$-manifolds from the intersection form and specific homology cla…

We show that if a compact, oriented 4-manifold admits a coassociative-free immersion into the Euclidean 7-space then its Euler characteristic and signature vanish. Moreover, in the spin case the Gauss map is contractible, so that the immersed manifold is parallelizable. The proof makes use of homotopy theory in particu…

We work on a parallelizable time-orientable Lorentzian 4-manifold and prove that in this case the notion of spin structure can be equivalently defined in a purely analytic fashion. Our analytic definition relies on the use of the concept of a non-degenerate two-by-two formally self-adjoint first order linear differenti…

For a closed 4-manifold $X$ and a knot $K$ in the boundary of punctured $X$, we define $γ_X^0(K)$ to be the smallest first Betti number of non-orientable and null-homologous surfaces in punctured $X$ with boundary $K$. Note that $γ^0_{S^4}$ is equal to the non-orientable 4-ball genus and hence $γ^0_X$ is a generalizati…

We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a 4-manifold. We also give examples of 4-manifolds which admit positive scalar curvatu…

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, we give new genus bounds on classes with divisibility and we give a classificati…