Related papers: Joyal's cylinder conjecture
Within the framework of Riehl-Shulman's synthetic $(\infty,1)$-category theory, we present a theory of two-sided cartesian fibrations. Central results are several characterizations of the two-sidedness condition \`{a} la Chevalley, Gray,…
For a small category $\mathcal{D}$ we define fibrations of simplicial presheaves on the category $\mathcal{D}\times\Delta$, which we call localized $\mathcal{D}$-left fibration. We show these fibrations can be seen as fibrant objects in a…
Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply…
We construct three new families of fibrations $\pi : S \to B$ where $S$ is an algebraic complex surface and $B$ a curve that violate Xiao's conjecture relating the relative irregularity and the genus of the general fiber. The fibers of…
Under some positivity assumptions, extension properties of rationally connected fibrations from a submanifold to its ambient variety are studied. Given a family of rational curves on a complex projective manifold X inducing a covering…
Suppose that f is a projective birational morphism with at most one-dimensional fibres between d-dimensional varieties X and Y, satisfying ${\bf R}f_* \mathcal{O}_X = \mathcal{O}_Y$. Consider the locus L in Y over which f is not an…
A standard result from the theory of Grothendieck fibrations states that if $p : E \to B$ is a fibration, then $E$ has limits of shape $\mathcal{J}$ if $B$ has limits of shape $\mathcal{J}$ the fibers of $\mathcal{E}$ have limits of shape…
It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…
We provide a short and reasonably self-contained proof of Lurie's straightening equivalence, relating cartesian fibrations over a given $\infty$-category $S$ with contravariant functors from $S$ to the $\infty$-category of small…
Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial…
On the category of bisimplicial sets there are different Quillen closed model structures associated to various definitions of fibrations. In one of them, which is due to Bousfield and Kan and that consists of seeing a bisimplicial set as a…
Given a point p of the topos of simplicial sets and the corresponding flat covariant functor F from the small category Delta to the category of sets, we determine the extensions of F to the cyclic category. We show that to each such cyclic…
There exists a canonical functor from the category of fibrant objects of a model category modulo cylinder homotopy to its homotopy category. We show that this functor is faithful under certain conditions, but not in general.
We observe that the notion of a trivial Serre fibration, a Serre fibration, and being contractible, for finite CW complexes, can be defined in terms of the Quillen lifting property with respect to a single map M-->/\ of finite topological…
In this paper we prove that for any simplicial set $B$, there is a Quillen equivalence between the covariant model structure on $\mathbf{S}/B$ and a certain localization of the projective model structure on the category of simplicial…
In this paper we study a special class of fibrations on Delsarte surfaces. We call these fibrations Delsarte fibrations. We show that after a specific cyclic base change the fibration is the pull back of a fibration with three singular…
The straightening-unstraightening correspondence of Grothendieck--Lurie provides an equivalence between cocartesian fibrations between $(\infty, 1)$-categories and diagrams of $(\infty, 1)$-categories. We provide an alternative proof of…
Let $X$ be a non-singular projective threefold over an algebraically closed field of any characteristic, and let $A^2(X)$ be the group of algebraically trivial codimension 2 algebraic cycles on $X$ modulo rational equivalence with…
The homotopy theory of infinity-operads is defined by extending Joyal's homotopy theory of infinity-categories to the category of dendroidal sets. We prove that the category of dendroidal sets is endowed with a model category structure…
We prove the uniqueness, the functoriality and the naturality of cylinder objects and path objects in closed simplicial model categories.