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

Examples suggest that there is a correspondence between L-spaces and 3-manifolds whose fundamental groups cannot be left-ordered. In this paper we establish the equivalence of these conditions for several large classes of such manifolds. In…

We give an algorithm for a surgery description of a $p$-fold cyclic branched cover of $B^3$ branched along a tangle. We generalize constructions of Montesinos and Akbulut-Kirby.

For a cofibrantly generated Quillen model category, we show that the cofibrant replacement functor constructed using the small object argument admits a cotriple structure. If all acyclic cofibrations are monomorphisms, the fibrant…

Let $X$ be a smooth, closed, connected, orientable four-manifold with $b^1(X)=0$ and $b^+(X)\geq 3$ and odd. We show that if $X$ has Seiberg-Witten simple type, then the SO(3)-monopole cobordism formula of Feehan and Leness (2002) implies…

We provide a more economical refined version of Evrard's categorical cocylinder factorization of a functor [Ev1,2]. We show that any functor between small categories can be factored into a homotopy equivalence followed by a (co)fibred…

We show that the category of abelian gerbes over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These principal bundles are equipped with fusion products and are equivariant with respect…

We show that for many moduli spaces M of torsion sheaves on K3 surfaces S, the functor D(S) -> D(M) induced by the universal sheaf is a P-functor, hence can be used to construct an autoequivalence of D(M), and that this autoequivalence can…

Our recent approach to the Finkelberg-Kazhdan-Lusztig equivalence theorem centers on the construction of a fiber functor associated with the categories in the equivalence theorem, which in turn explains the underlying algebraic and analytic…

We study (pre-)sheaves in bicategories on geometric categories: smooth manifolds, manifolds with a Lie group action and Lie groupoids. We present three main results: we describe equivariant descent, we generalize the plus construction to…

We address the problem of classification of hyper-K\"ahler fourfolds with $b_2=23$. In particular we prove some special cases of the Conjecture of O'Grady about hyper-K\"ahler $4$-folds numerically equivalent to the Hilbert scheme of two…

We recall an extension of Kirby's Calculus on non-simply connected 3-manifolds given in [FR], and the surgery calculus of bridged links from [Ke], which involves only local moves. We give a short combinatorial proof that the two calculi are…

A combinatorial presentation of closed orientable 3-manifolds as bi-tricolored links is given together with two versions of a calculus via moves to manipulate bi-tricolored links without changing the represented manifold. That is, we…

We consider branched coverings which are simple in the sense that any point of the target has at most one singular preimage. The cobordism classes of $k$-fold simple branched coverings between $n$-manifolds form an abelian group…

In this article we show that for every collection $\mathcal{C}$ of an even number of polynomials, all of the same degree $d>2$ and in general position, there exist two hyperbolic $3$-orbifolds $M_1$ and $M_2$ with a M\"obius morphism…

Given two vector bundles E and F on a variety X and a morphism from Sym^2(E) to F, we compute the cohomology class of the locus in X where the kernel of this morphism contains a quadric of prescribed rank. Our formulas have many…

We provide a complete set of moves relating any two Lefschetz fibrations over the disk having as their total space the same 4-dimensional 2-handlebody up to 2-equivalence. As a consequence, we also obtain moves relating diffeomorphic…

A theory of higher colimits over categories of free presentations is developed. It is shown that different homology functors such as Hoshcshild and cyclic homology of algebras over a field of characteristic zero, simplicial derived…

We prove that the complex cobordism class of any hyper-K\"{a}hler manifold of dimension $2n$ is a unique combination with rational coefficients of classes of products of punctual Hilbert schemes of $K3$ surfaces. We also prove a similar…

Modular functors are traditionally defined as systems of projective representations of mapping class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the…

We introduce hyperelliptic simplified (more generally, directed) broken Lefschetz fibrations, which is a generalization of hyperelliptic Lefschetz fibrations. We construct involutions on the total spaces of such fibrations of genus $g\geq…