Related papers: Basic classes for four-manifolds not of simple typ…

We introduce Manifold tensor categories, which make precise the notion of a tensor category with a manifold of simple objects. A basic example is the category of vector spaces graded by a Lie group. Unlike classic tensor category theory,…

Let $X$ be a compact complex Calabi-Yau 4-fold. Under certain assumptions, we define Donaldson-Thomas type deformation invariants ($DT_{4}$ invariants) by studying moduli spaces of solutions to the Donaldson-Thomas equations on $X$. We also…

We generalize the notion of expanded degenerations and pairs for a simple degeneration or smooth pair to the case of smooth Deligne-Mumford stacks. We then define stable quotients on the classifying stacks of expanded degenerations and…

We present constructions of simply connected symplectic 4-manifolds which have (up to sign) one basic class and which fill up the geographical region between the half-Noether and Noether lines.

Recently Andrei Teleman considered instanton moduli spaces over negative definite four-manifolds $X$ with $b_2(X) \geq 1$. If $b_2(X)$ is divisible by four and $b_1(X) =1$ a gauge-theoretic invariant can be defined; it is a count of flat…

We prove a surface embedding theorem for 4-manifolds with good fundamental group in the presence of dual spheres, with no restriction on the normal bundles. The new obstruction is a Kervaire-Milnor invariant for surfaces and we give a…

We prove that a compact smooth 4-manifold admits generalized complex structures of odd type if and only if it has a transversely holomorphic 2-foliation. Consequently, there exist generalized complex structures of odd type on a circle…

For each odd integer $p > 1$, we construct infinitely many pairwise non-diffeomorphic irreducible smooth structures on a definite 4-manifold with infinite fundamental group whose abelianization is $\Z/2p\Z\times \Z/2\Z$.

We use Donaldson invariants of regular surfaces with p_g >0 to make quantitative statements about modulispaces of stable rank 2 sheaves. We give two examples: a quantitative existence theorem for stable bundles, and a computation of the…

We introduce the concept of s-formal minimal model as an extension of formality. We prove that any orientable compact manifold M, of dimension 2n or (2n-1), is formal if and only if M is (n-1)-formal. The formality and the hard Lefschetz…

We explain how a version of Floer homology can be used as an invariant of symplectic manifolds with $b_1>0$. As a concrete example, we look at four-manifolds produced from braids by a surgery construction. The outcome shows that the…

We prove a surgery formula for the ordinary Seiberg-Witten invariants of smooth $4$-manifolds with $b_1 =1$. Our formula expresses the Seiberg-Witten invariants of the manifold after the surgery, in terms of the original Seiberg-Witten…

We provide new branched covering representations for bounded and/or non-compact 4-manifolds, which extend the known ones for closed 4-manifolds. Assuming $M$ to be a connected oriented PL 4-manifold, our main results are the following: (1)…

Given a quiver algebra A with relations defined by a superpotential, this paper defines a set of invariants of A counting framed cyclic A-modules, analogous to rank-1 Donaldson-Thomas invariants of Calabi-Yau threefolds. For the special…

Using the $u$-plane integral as a tool, we derive a formula for the partition function of the simplest nontrivial (topologically twisted) Argyres-Douglas theory on compact, oriented, simply connected, four-manifolds without boundary and…

New birational invariants for a projective manifold are defined by using Lawson homology. These invariants can be highly nontrivial even for projective threefolds. Our techniques involve the weak factorization theorem of Wlodarczyk and…

A survey of some results and open questions related to the following algebraic invariants of compact complex manifolds, that can be obtained from differential forms: cohomology groups, Chern classes, rational homotopy groups, and higher…

In this paper we study a special class of Calabi-Yau algebras (in the sense of Ginzburg): those arising as the fundamental group algebras of acyclic manifolds. Motivated partly by the usefulness of `superpotential descriptions' in motivic…

An orientation preserving diffeomorphism over a surface embedded in a 4-manifold is called extendable, if this diffeomorphism is a restriction of an orientation preserving diffeomorphism on this 4-manifold. In this paper, we investigate…

We introduce semisimple 2-categories, fusion 2-categories, and spherical fusion 2-categories. For each spherical fusion 2-category, we construct a state-sum invariant of oriented singular piecewise-linear 4-manifolds.