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

We develop the theory of probabilistic variants of the one-category and diagonal topological complexity, which bound the classical LS-category and topological complexity from below. Unlike any other classical or probabilistic invariants,…

Using an obstruction based on Donaldson's theorem on the intersection forms of definite 4-manifolds, we determine which connected sums of lens spaces smoothly embed in S^4. We also find constraints on the Seifert invariants of Seifert…

Inspired by a recent result of Levine-Lidman-Piccirillo, we construct infinitely many exotic smooth structures on some closed four-manifolds with definite intersection form and fundamental group isomorphic to $\Z /2\Z$. Similar…

We give constraints on smooth families of 4-manifolds with boundary using Manolescu's Seiberg-Witten Floer stable homotopy type, provided that the fiberwise restrictions of the families to the boundaries are trivial families of 3-manifolds.…

We construct analogs of Khovanov-Jacobsson classes and the Rasmussen invariant for links in the boundary of any smooth oriented 4-manifold. The main tools are skein lasagna modules based on equivariant and deformed versions of…

In order to include nontrivial spatial topologies in the problem of quantum creation of a universe, it seems to be necessary to generalize the sum over compact, smooth 4-manifolds to a sum over finite-volume, compact 4-orbifolds. We…

We prove a diagonalisation theorem for the tautological, or generalised Miller-Morita-Mumford classes of compact, smooth, simply-connected definite $4$-manifolds. Our result can be thought of as a families version of Donaldson's…

The notion of a Bing cell is introduced, and it is used to define invariants, link groups, of 4-manifolds. Bing cells combine some features of both surfaces and 4-dimensional handlebodies, and the link group \lambda(M) measures certain…

For a compact almost complex 4-manifold $(M,J)$, we study the subgroups $H^{\pm}_J$ of $H^2(M, \mathbb{R})$ consisting of cohomology classes representable by $J$-invariant, respectively, $J$-anti-invariant 2-forms. If $b^+ =1$, we show that…

We study almost complex structures with lower bounds on the rank of the Nijenhuis tensor. Namely, we show that they satisfy an $h$-principle. As a consequence, all parallelizable manifolds and all manifolds of dimension $2n\geq 10$…

We modify the standard perfect symmetric obstruction theory for moduli spaces of simple perfect complexes, to the situation of complexes on abelian threefolds with fixed determinant and Fourier-Mukai determinant. As outcome we attach…

We prove that Donaldson-Thomas type invariants are equal to weighted Euler characteristics of their moduli spaces. In particular, such invariants depend only on the scheme structure of the moduli space, not the symmetric obstruction theory…

For each integer $N\geq 2$, Mari\~no and Moore defined generalized Donaldson invariants by the methods of quantum field theory, and made predictions about the values of these invariants. Subsequently, Kronheimer gave a rigorous definition…

We deal with stability theory for ``reasonable'' non-elementary classes without any remanents of compactness (like: above Hanf number or definable by L_{omega_1, omega}).

We consider the possibility of semisimple tensor categories whose fusion rule includes exactly one noninvertible simple object. Conditions are given for the existence or nonexistence of coherent associative structures for such fusion rules,…

We study a class of smooth torus manifolds whose orbit space has the combinatorial structure of a simple polytope with holes. We construct moment angle manifolds for such polytopes with holes and use them to prove that the associated torus…

The paper presents a classification theorem for the class of flat connections with triangular (0,1)-components on a topologically trivial complex vector bundle over a compact Kahler manifold. As a consequence we obtain several results on…

We present the theory of higher order invariants and higher order automorphic forms in the simplest case, that of a compact quotient. In this case many things simplify and we are thus able to prove a more precise structure theorem than in…

Let $C_2$ denote the cyclic group of order two. Given a manifold with a $C_2$-action, we can consider its equivariant Bredon $RO(C_2)$-graded cohomology. In this paper, we develop a theory of fundamental classes for equivariant submanifolds…

This paper is concerned with the problem of stable diffeomorphism classification of 4-manifolds obtained using the surgery on loops. The main theorem states that under the assumption that the normal 1-type of two 4-manifolds in question is…