Related papers: Joyal's cylinder conjecture

In this paper we prove strong toroidalization of birational morphisms of 3-folds. Suppose that f:X\to Y is a birational morphism of nonsingular complete 3-folds, and D_Y, D_X are simple normal crossings divisors on Y and X such that…

In this article the author endows the functor category [B(Z2),Gpd] with the structure of a type-theoretic fibration category with a univalent universe using the so-called injective model structure. It gives us a new model of Martin-L\"of…

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…

In the paper we introduce the notions of a singular fibration and a singular Seifert fibration. These notions are natural generalizations of the notion of a locally trivial fibration to the category of stratified pseudomanifolds. For…

A homology cylinder over a surface consists of a homology cobordism between two copies of the surface and markings of its boundary. The set of isomorphism classes of homology cylinders over a fixed surface has a natural monoid structure and…

E. Segal proved that any autoequivalence of an enhanced triangulated category can be realised as a spherical twist. However, when exhibiting an autoequivalence as a spherical twist one has various choices for the source category of the…

Let $A$ be an abelian variety and $G$ a finite group of automorphisms of $A$ fixing the origin such that $A/G$ is smooth. The quotient $A/G$ can be seen as a fibration over an abelian variety whose fibers are isomorphic to a product of…

Let $X$ be a hyperk\"ahler variety. Beauville has conjectured that a certain subring of the Chow ring of $X$ should inject into cohomology. This note proposes a similar conjecture for the ring of algebraic cycles on $X$ modulo algebraic…

We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler…

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule…

We consider fibrations by affine lines on smooth affine surfaces obtained as complements of smooth rational curves $B$ in smooth projective surfaces $X$ defined over an algebraically closed field of characteristic zero. We observe that…

Consider a smooth projective surface $S$. Consider a fibration $S\to C$ where $C$ is a quasi-projective curve such the fibers are smooth projective curves. The aim of this text is to show that the kernels of the push-forward homomorphism…

Let Y->P^n be a flat family of reduced Gorenstein curves, such that the compactified relative Jacobian X=\bar{J}^d(Y/P^n) is a Lagrangian fibration. We prove that X is a Beauville-Mukai integrable system if n=3, 4, or 5, and the curves are…

We introduce a discrete cobordism category for nested manifolds and nested cobordisms between them. A variation of stratified Morse theory applies in this case, and yields generators for a general nested cobordism category. Restricting to a…

Fibrations of flux backgrounds by supersymmetric cycles are investigated. For an internal six-manifold M with static SU(2) structure and mirror \hat{M}, it is argued that the product M x \hat{M} is doubly fibered by supersymmetric…

In this paper we discuss two major conjectures in Mirror Symmetry: Strominger-Yau-Zaslow conjecture about torus fibrations, and the homological mirror conjecture (about an equivalence of the Fukaya category of a Calabi-Yau manifold and the…

We present a new method for combining two cotorsion pairs to obtain an abelian model structure and we apply it to construct and study a new model structure on left $R$-modules over a left coherent ring $R$. Its class of fibrant objects is…

In 1996, Strominger, Yau and Zaslow made a conjecture about the geometric relationship between two mirror Calabi-Yau manifolds. Roughly put, if X and Y are a mirror pair of such manifolds, then X should possess a special Lagrangian torus…

We observe that an enriched right adjoint functor between model categories which preserves acyclic fibrations and fibrant objects is quite generically a right Quillen functor.

We consider a combinatorial reconfiguration problem on a subclass of quadrangulations of surfaces called square-tiled surfaces. Our elementary move is a shear in a cylinder that corresponds to a well-chosen sequence of diagonal flips that…