Related papers: Hurewicz fibrations in elementary toposes
Let $(1\to N_n\to G_n\to Q_n\to 1)_{n\in\mathbb{N}}$ be a sequence of extensions of finite groups. Assume that the coarse disjoint unions of $(N_n)_{n \in \mathbb{N}}$, $(G_n)_{n \in \mathbb{N}}$ and $(Q_n)_{n \in \mathbb{N}}$ have bounded…
In this article, we discuss some properties of holomorphic fibrations in the complex analytic setting.
This paper introduces the trivial fiber topology on schemes. For one-dimensional base schemes, we use it to describe fibrant replacements in the stable motivic homotopy category and motivic infinite loop spaces. We also extend the…
We study linear functions on fibrations whose central fibre is a linear free divisor. We analyse the Gauss-Manin system associated to these functions, and prove the existence of a primitive and homogenous form. As a consequence, we show…
A noetherian form is an abstract self-dual framework suitable for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for group-like structures. In this paper we identify and carry out an…
We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of univalent foundations. For this, we prove constructive counterparts of the necessary results of simplicial homotopy theory,…
Grothendieck fibrations are fundamental in capturing the concept of dependency, notably in categorical semantics of type theory and programming languages. A relevant instance are Dialectica fibrations which generalise G\"odel's Dialectica…
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…
We introduce the higher topological complexity (TC_{n}) of a fibration in two ways: the higher homotopic distance and the Schwarz genus. Then we have some results on this notion related to TC, TC_{n} or cat of a topological space or a…
This is an introduction to Grothendieck's descent theory, with some stress on the general machinery of fibered categories and stacks.
We develop various aspects of classical enumerative geometry, including Euler characteristics and formulas for counting degenerate fibres in a pencil, with the classical numerical formulas being replaced by identitites in the…
A simple definition of torsion theory is presented, as a factorization system with both classes satisfying the 3--for--2 property. Comparisons with the traditional notion are given, as well as connections with the notions of fibration and…
We recover the Newton diagram (modulo a natural ambiguity) from the link for any surface hypersurface singularity with non-degenerate Newton principal part whose link is a rational homology sphere. As a corollary, we show that the link…
In the present paper we consider fibrations $f: S \ra B$ of an algebraic surface onto a curve $B$, with general fibre a curve of genus $g$. Our main results are: 1) A structure theorem for such fibrations in the case $g=2$ 2) A structure…
Consider a locally cartesian closed category with an object I and a class of trivial fibrations, which admit sections and are stable under pushforward and retract as arrows. Define the fibrations to be those maps whose Leibniz exponential…
We study different notions of connected constructive metric spaces. They differ the types of connected components and how different components relate to each other. These notions are equivalent in classical point set topology but they give…
We consider the question, which of the major classes defined by topological diagonalizations of open or Borel covers is hereditary. Many of the classes in the open case are not hereditary already in ZFC, and none of them is provably…
We consider t-structures that naturally arise on elliptic fibrations. By filtering the category of coherent sheaves on an elliptic fibration using the torsion pairs corresponding to these t-structures, we prove results describing…
The purpose of this note is to explain a combinatorial description of closed smooth oriented 4-manifolds in terms of positive Dehn twist factorizations of surface mapping classes, and further explore these connections. This is obtained via…
Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison…