Related papers: Joyal's cylinder conjecture

Let $(X,B)$ be a log Calabi-Yau pair of dimension $n$, index one, and birational complexity $c$. We show that $(X,B)$ has a crepant birational model that admits a tower of Mori fiber spaces of which at least $n-c$ are conic fibrations.…

We prove that an \'etale fibration between $L_\infty$-bundles admits local sections composed of several elementary morphisms of particularly simple and accessible type. As applications, we establish an inverse function theorem for…

Let $\mathcal{A}$ be a essentially small abelian category and $\mathcal{C}$ be a Serre subcategory of $\mathcal{A}$. Consider the quotient functor $q:\mathcal{A}\rightarrow \mathcal{A}/\mathcal{C}$. For an object $A\in \mathcal{A}$ and a…

Let $f : X \rightarrow B$ be a proper flat dominant morphism between two smooth quasi-projective complex varieties $X$ and $B$. Assume that there exists an integer $l$ such that all closed fibres $X_b$ of $f$ satisfy $CH_j(X_b) = \Q$ for…

We explore the relationship between fibrations arising naturally from a surjective morphism to an abelian variety. These fibrations encode geometric information about the morphism. Our study focuses on the interplay of these fibrations and…

For a smooth projective complex variety $X$, we prove that there exists a birational morphism $X\times X\to Y$ to a projective variety $Y$ contracting the diagonal $\Delta_X\subset X\times X$ to a point if and only if $X$ has maximal…

This paper focuses on a topological version on the Strominger-Yau-Zaslow mirror symmetry conjecture. Roughly put, the SYZ conjecture suggests that mirror pairs of Calabi-Yau manifolds are related by the existence of dual special Lagrangian…

If Y,Z are three-dimensional smooth varieties related by a flop, then Bondal and Orlov conjectured that the derived categories of coherent sheaves on Y and Z are equivalent. This conjecture was recently proved by Bridgeland. Our aim in this…

We use the complete Segal approach to the theory of Cartesian fibrations to define and study representable Cartesian fibrations, generalizing representable right fibrations which have played a key role in $\infty$-category theory. In…

Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…

We study fibrations arising from indexed categories of the following form: fix two categories $\mathcal{A},\mathcal{X}$ and a functor $F : \mathcal{A} \times \mathcal{X} \longrightarrow\mathcal{X} $, so that to each $F_A=F(A,-)$ one can…

I show that any locally Cartesian left localisation of a presentable infinity-category admits a right proper model structure in which all morphisms are cofibrations, and obtain a Koszul duality classification of its fibrations. By a simple…

We show that the category of categories fibred over a site is a generalized Quillen model category in which the weak equivalences are the local equivalences and the fibrant objects are the stacks, as they were defined by J. Giraud. The…

We study $\infty$-categories in the synthetic simplicial type theory developed by Riehl and Shulman. In particular, we define cocartesian fibrations and prove their closure properties using a novel equivalence between LARI adjunctions and…

Let C be a triangulated category with a Serre functor S and X a non-zero contravariantly finite rigid subcategory of C. Then X is cluster tilting if and only if the quotient category C/X is abelian and S(X)=X[2]. As an application, this…

Let $X$ be a smooth cubic threefold and $J(X)$ be its intermediate Jacobian. We show that there exists a codimension 2 cycle $Z$ on $J(X)\times X$ with $Z_{t}$ homologically trivial for each $t\in J(X)$, such that the morphism $\phi_{Z}:…

We show that for various natural classes of groups and appropriately defined K- and L-theoretic functors, injectivity or bijectivity of the assembly map follows from the Isomorphism Conjecture being true for acyclic groups lying within that…

By the Telescope Conjecture for Module Categories, we mean the following claim: "Let R be any ring and (A, B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A, B) is of finite type." We prove a…

In this paper, we show that the Thomason model structure restricts to a Quillen equivalent cofibrantly generated model structure on the category of acyclic categories, whose generating cofibrations are the same as those generating the…

Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as…