Related papers: On four-dimensional 2-handlebodies and three-manif…

Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

We adapt the commutator theory of universal algebra to the particular setting of racks and quandles, exploiting a Galois connection between congruences and certain normal subgroups of the displacement group. Congruence properties such as…

Let $R$ be an integral domain and $G$ be a subgroup of its group of units. We consider the category $\mathbf{\mathsf{Cob}}_G$ of 3-dimensional cobordisms between oriented surfaces with connected boundary, equipped with a representation of…

Using fibrations over K3 orbisurfaces we construct new smooth solutions to the Hull-Strominger system. In particular, we prove that, for $4 \leq k \leq 22$ and $5 \leq r\leq 22$, the smooth manifolds $S^1\times \sharp_k(S^2\times S^3)$ and…

In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…

We offer a new proof that two closed oriented 4-manifolds are cobordant if their signatures agree, in the spirit of Lickorish's proof that all closed oriented 3-manifolds bound 4-manifolds. Where Lickorish uses Heegaard splittings we use…

We give a new proof of Laudenbach and Po\'enaru's theorem, which states that any diffeomorphism of the boundary of a 4-dimensional 1-handlebody extends to the whole handlebody. Our proof is based on the cassification of Heegaard splittings…

We introduce a Heegaard-Floer homology functor from the category of oriented links in closed $3$-manifolds and oriented surface cobordisms in $4$-manifolds connecting them to the category of $\mathbb{F}[v]$-modules and…

We construct an explicit equivalence between the (bi)category of gl(2) webs and foams and the Bar-Natan (bi)category of Temperley-Lieb diagrams and cobordisms. With this equivalence we can fix functoriality of every link homology theory…

First steps towards a classification of irreducible symplectic 4-folds whose integral 2-cohomology with 4-tuple cup product is isomorphic to that of Hilb^2(K3). We prove that any such 4-fold deforms to an irreducible symplectic 4-fold of…

In this paper we generalize Tannakian formalism to fiber functors over general tensor categories. We will show that (under some technical conditions) if the fiber functor has a section, then the source category is equivalent to the category…

We show that the total space of the Milnor fibration associated with any cusp or simple elliptic singularity in complex three variables admits an $S^1$-parametric genus-one Lefschetz fibration structure over the $2$-disk. As a consequence,…

We sharpen and generalize the dimension growth bounds for the number of points of bounded height lying on an irreducible algebraic variety of degree $d$, over any global field. In particular, we focus on the affine hypersurface situation by…

We use 4-valent planar graphs and singular cobordisms (called foams) to construct an integral doubly-graded cohomology for tangles, and in particular for links, whose graded Euler characteristic yields the sl(n) link polynomial (for n > 3).

We prove categorical Torelli theorems for four families of Fano double covers with Picard rank greater than 1. Among these is the family of Verra fourfolds. The other three families manifest as double covers of Fano threefolds, branched in…

Kirby diagrams for smooth four-dimensional manifolds typically depict only the 1- and 2-handles, omitting the 3-handles. In this work, we undertake a study of 3-handle attachments and provide tools to explicitly include them in handle…

We prove that the canonical 4-dimensional surgery problems can be solved after passing to a double cover. This contrasts the long-standing conjecture about the validity of the topological surgery theorem for arbitrary fundamental groups…

In the study of 2d (the space dimension) topological orders, it is well-known that bulk excitations are classified by unitary modular tensor categories. But these categories only describe the local observables on an open 2-disk in the long…

We consider certain universal functors on symmetric quotient stacks of Abelian varieties. In dimension two, we discover a family of $\mathbb{P}$-functors which induce new derived autoequivalences of Hilbert schemes of points on Abelian…