Related papers: Joyal's cylinder conjecture

We undertake a systematic study of the notion of fibration in the setting of abstract simplicial complexes, where the concept of `homotopy' has been replaced by that of `contiguity'. Then a fibration will be a simplicial map satisfying the…

We study the following conjecture of Matt DeVos: If there is a graph homomorphism from Cayley graph Cay(M, B) to another Cayley graph Cay(M', B') then every graph with an (M, B)-flow has an (M', B')-flow. This conjecture was originally…

We study cocartesian fibrations in the setting of the synthetic $(\infty,1)$-category theory developed in the simplicial type theory introduced by Riehl and Shulman. Our development culminates in a Yoneda Lemma for cocartesian fibrations.

We prove that the sectional category of the universal fibration with fibre X, for X any space that satisfies a well-known conjecture of Halperin, equals one after rationalization.

Motivated by an example, due to Voisin, of a smooth simply-connected projective variety with trivial canonical class and cyclic Picard group, admitting a meromorphic endomorphism of high degree, we study meromorphic fibrations on certain…

Given a Q-Cartier divisor $S \subset X$ admitting a fibration $S \rightarrow B$ onto a curve we give sufficient conditions for the existence of a bimeromorphic contraction contracting S onto B. As a corollary we recover a contraction result…

Given a foliation $\mathcal{F}$ on $X$ and an embedding $X\subseteq Y$, is there a foliation on $Y$ extending $\mathcal{F}$? Using formal methods, we show that this question has an affirmative answer whenever the embedding is sufficiently…

We extend all known results about transferred model structures on algebraically cofibrant and fibrant objects by working with weak model categories. We show that for an accessible weak model category there are always Quillen equivalent…

We formulate the concept of minimal fibration in the context of fibrations in the model category $\mathbf{S}^\mathcal{C}$ of $\mathcal{C}$-diagrams of simplicial sets, for a small index category $\mathcal{C}$. When $\mathcal{C}$ is an…

A model structure on the category of (small) bigroupoids and pseudofunctors is constructed. In this model structure, every object is cofibrant. In order to keep certain calculations of manageable size, a coherence theorem for bigroupoids…

We prove a connexity theorem for abelian varieties in characteristic $0$: if $X$ is an abelian variety and $V\rightarrow X$ and $W\rightarrow X$ two morphisms, then, under certain hypotheses, the fiber product of $V$ and $W$ over $X$ is…

If C is the model category of simplicial presheaves on a site with enough points, with fibrations equal to the global fibrations, then it is well-known that the fibrant objects are, in general, mysterious. Thus, it is not surprising that,…

Let X be a compact hyperk\"ahler manifold containing a complex torus L as a Lagrangian subvariety. Beauville posed the question whether X admits a Lagrangian fibration with fibre L. We show that this is indeed the case if X is not…

For a polynomial function $f \colon \mathbb{C}^n \longrightarrow \mathbb{C}$, it is well-known in singularity theory (after Thom, Pham, Verdier,...) that outside a finite subset of $\mathbb{C}$, the function is a locally trivial…

In this article, we develop a notion of Quillen bifibration which combines the two notions of Grothendieck bifibration and of Quillen model structure. In particular, given a bifibration $p:\mathcal E\to\mathcal B$, we describe when a family…

In [Joyal] where the category $\Theta$ is first defined it is noted that the dimensional shift on $\Theta$ suggests an elegant presentation of the unreduced suspension on cellular sets. In this note we prove that the reduced suspension…

We consider birational projective contractions f:X -> Y from a smooth symplectic variety X over the complex numbers. We first show that exceptional rational curves on X deform in a family of dimension at least 2n-2. Then we show that these…

We study Quillen's model category structure for homotopy of simplicial objects in the context of Janelidze, Marki and Tholen's semi-abelian categories. This model structure exists as soon as the base category A is regular Mal'tsev and has…

In this paper, we prove that a compact K\"ahler manifold $X$ with semi-positive holomorphic sectional curvature admits a locally trivial fibration $\phi \colon X \to Y$, where the fiber $F$ is a rationally connected projective manifold and…

We consider the question whether a real threefold X fibred into quadric surfaces over the real projective line is stably rational (over R) if the topological space X(R) is connected. We give a counterexample. When all geometric fibres are…