Related papers: Joyal's cylinder conjecture

Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce…

The simplicial endofunctor induced by a comonad in some category may underly a cyclic object in its category of endofunctors. The cyclic symmetry is then given by a sequence of natural transformations. We write down the commutation…

We prove that a family of varieties is birationally isotrivial if all the fibers are birational to each other.

The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…

In this paper we construct an analogue of Lurie's "unstraightening" construction that we refer to as the "comprehension construction". Its input is a cocartesian fibration $p \colon E \to B$ between $\infty$-categories together with a third…

Four-folds with trivial canonical bundles are divided into six classes according to their holonomy group. We consider examples that are fibred by abelian surfaces over the projective plane. We construct such fibrations in five of the six…

Let $\pi\colon \mathcal{X}\to B$ be a family whose general fiber $X_b$ gives a $(d_1,...,d_a)$ polarisation of a general Abelian variety where $1\leq d_i\leq 2$, $i=1,...,a$ and $a\geq 4$. We show that the fibers are in the same birational…

In their 2012 paper, Bobadilla and Koll\'ar studied topological conditions which guarantee that a proper map of complex algebraic varieties is a topological or differentiable fibration. They also asked whether a certain finiteness property…

We show that a map between fibrant objects in a closed model category is a weak equivalence if and only if it has the right homotopy extension lifting property with respect to all cofibrations. The dual statement holds for maps between…

We show a mathematically precise version of the SYZ conjecture, proposed in the family Floer context, for the conifold with a conjectural mirror relation between smoothing and crepant resolution. The singular T-duality fibers are explicitly…

We prove that the bounded derived category of coherent sheaves on a smooth projective complex variety reconstructs the isomorphism classes of fibrations onto smooth projective curves of genus $g\geq 2$. Moreover, in dimension at most four,…

This is an announcement of the following construction: given an integral affine manifold $B$ with singularities, we build a topological space $X$ which is a torus fibration over $B$. The main new feature of the fibration $X\to B$ is that it…

We prove that each of the model structures for ($n$-trivial, saturated) comical sets on the category of marked cubical sets having only faces and degeneracies (without connections) is Quillen equivalent to the corresponding model structure…

Let X ->Y be a Zariski locally trivial fibration of smooth complex projective varieties, with fiber F. We give a structure theorem for the derived category of X provided both F and Z have a full strongly exceptional collection of line…

Fibrations over a category $B$, introduced to category theory by Grothendieck, encode pseudo-functors $B^{op} \rightsquigarrow {\bf Cat}$, while the special case of discrete fibrations encode presheaves $B^{op} \to {\bf Set}$. A two-sided…

We show that the intermediate Jacobian fibration associated to any smooth cubic fourfold $X$ admits a hyper-K\"ahler compactification $J(X)$ with a regular Lagrangian fibration $J \to \mathbb P^5$. This builds upon arXiv:1602.05534, where…

Let $G$ be a group and let $E$ be a functor from small $\Z$-linear categories to spectra. Also let $A$ be a ring with a $G$-action. Under mild conditions on $E$ and $A$ one can define an equivariant homology theory of $G$-simplicial sets…

We investigate Beauville's conjecture on the Chow ring of irreducible symplectic varieties. For special irreducible symplectic varieties we relate it to a conjecture on the existence of rational Lagrangian fibrations, which proves…

A twin Lagrangian fibration, originally introduced by Yau and the first author, is roughly a geometric structure consisting of two Lagrangian fibrations whose fibers intersect with each other cleanly. In this paper, we show the existence of…

We associate a ring R to a log Calabi-Yau pair (X,D) or a degeneration of Calabi-Yau manifolds X->B. The vector space underlying R is determined by the tropicalization of (X,D) or X->B, while the product rule is defined using punctured…