Related papers: Diagonal fibrations are pointwise fibrations
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…
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…
We define a new notion of an algebraic model structure, in which the cofibrations and fibrations are retracts of coalgebras for comonads and algebras for monads, and prove "algebraic" analogs of classical results. Using a modified version…
A smooth, projective surface $S$ is called a $\emph{standard isotrivial fibration}$ if there exists a finite group $G$ which acts faithfully on two smooth projective curves $C$ and $F$ so that $S$ is isomorphic to the minimal…
We introduce the notion of an enriched fibration, i.e. a fibration whose total category and base category are enriched in those of a monoidal fibration in an appropriate way. Furthermore, we provide a way to obtain such a structure,…
We introduce a new model structure on the category of dendroidal spaces, designed to provide a further model for the homotopy theory of $\infty$-operads. This model is directly analogous to a recent construction on the category of…
A symplectic fibration is a fibre bundle in the symplectic category. We find the relation between deformation quantization of the base and the fibre, and the total space. We use the weak coupling form of Guillemin, Lerman, Sternberg and…
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…
We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseudofunctors to the 2-category of categories. In doing so, we…
The notion of parametrized topological complexity, introduced by Cohen, Farber and Weinberger, is extended to fibrewise spaces which are not necessarily Hurewicz fibrations. After exploring some formal properties of this extension we also…
In this paper, we prove that certain spherical fibrations over certain CW-complexes are stably fibre homotopy equivalent to $\mm{TOP}$-spherical fibrations (see Definition 1,1). Applying this result, we get a sufficient condition for…
We propose a simplified definition of Quillen's fibration sequences in a pointed model category that fully captures the theory, although it is completely independent of the concept of action. This advantage arises from the understanding…
Around 1960, R. Palais and J. Cerf proved a fundamental result relating spaces of diffeomorphisms and imbeddings of manifolds: If V is a submanifold of M, then the map from Diff(M) to Imb(V,M) that takes f to its restriction to V is locally…
A rational Lagrangian fibration f on an irreducible symplecitc variety V is a rational map which is birationally equivalent to a regular surjective morphism with Lagrangian fibers. By analogy with K3 surfaces, it is natural to expect that a…
We give a model-independent construction of directed univalent cocartesian fibrations of $(\infty,1)$-categories, and prove a straightening equivalence against such fibrations. The key step is showing that cocartesian fibrations descend…
The usual notion of a site fibred over a stack is expanded to a definition of a site C/A fibred over a presheaf of categories A. Presheaves of simplicial sets on the site fibred over a presheaf of categories A are contravariant enriched…
The higher rank graphs of Kumjian and Pask are discrete Conduche fibrations over the monoid of k-tuples of natural numbers for some k in which every morphism in the base has a finite preimage under the the fibration. We examine the…
We study a family of polynomials introduced by Daigle and Freudenburg, which contains the famous V\'en\'ereau polynomials and defines $\mathbb{A}^2$-fibrations over $\mathbb{A}^2$. According to the Dolgachev-Weisfeiler conjecture, every…
We study fibrations in the category of cubespaces/nilspaces. We show that a fibration of finite degree $f \colon X\rightarrow Y$ between compact ergodic gluing cubespaces (in particular nilspaces) factors as a (possibly countable) tower of…
For a small simplicial category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the homotopy-coherent nerve of A provides a left Quillen equivalence between…