arXiv research

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

The paper constructs non-smoothable actions on spin 4-manifolds.

We present explicit algorithms for simplifying the topology of indefinite fibrations on 4-manifolds, which include broken Lefschetz fibrations and indefinite Morse 2-functions. The algorithms consist of sequences of moves, which modify indefinite fibrations in smooth 1-parameter families. In particular, given an arbitr…

The paper finds a new lower bound on the genus of surfaces in indefinite 4-manifolds.

We show a non-existence result for some class of equivariant maps between sphere bundles over tori. The notion of equivariant KO-degree is used in the proof. As an application to Seiberg-Witten theory, for a connected closed oriented spin 4-manifold with indefinite intersection form, we have a new bound of the second B…

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 present a definition of indefinite Kasparov modules, a generalisation of unbounded Kasparov modules modelling non-symmetric and non-elliptic (e.g. hyperbolic) operators. Our main theorem shows that to each indefinite Kasparov module we can associate a pair of (genuine) Kasparov modules, and that this process is reve…

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.

The paper bounds the genus of surfaces in four-manifolds with indefinite forms.

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.

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.

The subject of this PhD thesis is noncommutative geometry - more specifically spectral triples - and how it can be generalized to semi-Riemannian manifolds generally, and Lorentzian manifolds in particular. The first half of this thesis will thus be dedicated to the transition from Riemannian to semi-Riemannian manifol…

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…

We obtain constraints on the topology of families of smooth $4$-manifolds arising from a finite dimensional approximation of the families Seiberg-Witten monopole map. Amongst other results these constraints include a families generalisation of Donaldson's diagonalisation theorem and Furuta's $10/8$ theorem. As an appli…

Construct symplectic Lefschetz fibrations with any signature and spin type.

We present an approach to constructing broken Lefschetz fibrations (BLFs) $f:X\rightarrow S^2$ from a handle decomposition of a 4-manifold $X$. Given a handle decomposition as input these techniques yield explicit descriptions of the BLFs, and do not rely on classification results from contact topology or the choice of…

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 introduce the study of nonlinear harmonic forms. These are forms which minimize the $L_2$ energy in a cohomology class subject to a nonlinear constraint. In this note, we include only motivations and the most basic existence results. We also introduce a variant of the Bochner formula suitable for probing the structu…

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.

Given some type of fibration on a 4-manifold $X$ with a torus regular fiber $T$, we may produce a new 4-manifold $X_T$ by performing torus surgery on $T$. There is a natural way to extend the fibration to $X_T$, but a multiple fiber (non-generic) singularity is introduced. We construct explicit generic fibrations (with…

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…