Related papers: Fibrations of classifying spaces in the simplicial…
In this note we show that if a compact Kahler manifold with trivial canonical bundle is the total space of a holomorphic fibration without singular fibers, then the fibration is a holomorphic fiber bundle. In the algebraic case, the…
Given a map of simplicial topological spaces, mild conditions on degeneracies and the levelwise maps imply that the geometric realization of the simplicial map is a cofibration. These conditions are not formal consequences of model category…
Let $\pi: P\to B$ be a locally trivial fiber bundle over a connected CW complex $B$ with fiber equal to the closed symplectic manifold $(M,\om)$. Then $\pi$ is said to be a symplectic fiber bundle if its structural group is the group of…
We introduce the notion of an effective Kan fibration, a new mathematical structure that can be used to study simplicial homotopy theory. Our main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective…
Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial…
A separable, proper morphism of varieties with geometrically connected fibers induces a homotopy exact sequence relating the \'etale fundamental groups of source, target and fiber. Extending work of dos Santos, we prove the existence of an…
A relative category is a category with a chosen class of weak equivalences. Barwick and Kan produced a model structure on the category of all relative categories, which is Quillen equivalent to the Joyal model structure on simplicial sets…
A characterization of simplicial objects in categories with finite products obtained by the reduced bar construction is given. The condition that characterizes such simplicial objects is a strictification of Segal's condition guaranteeing…
We give an example of a morphism of simplicial sets which is a monomorphism, bijective on 0-simplices, and a weak categorical equivalence, but which is not inner anodyne. This answers an open question of Joyal. Furthermore, we use this…
The character varieties of representations of a surface group into the Lie groups SL(m,H), SO(2m,H) and Sp(m,m) have a holomorphic description in terms of the moduli space of Higgs bundles. We show that the fibres of the integrable system…
The singular simplicial set Sing(X) of a space X completely captures its weak homotopy type. We introduce a category of_controlled sets_, yielding _simplicial controlled sets_, such that one can functorially produce a singular simplicial…
Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…
In this note we define fibrations of topological stacks and establish their main properties. We prove various standard results about fibrations (fiber homotopy exact sequence, Leray-Serre and Eilenberg-Moore spectral sequences, etc.). We…
We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the…
We explain how to set up the homotopy spectral sequence of a (co)simplicial object in an $\infty$-category, with an emphasis on how to construct the differentials in a model-invariant manner.
In this paper, we discuss the theory of quasi-fibrations in proper Bousfield localizations of model categories of simplicial sheaves. We provide a construction of fibrewise localization and use this construction to generalize a criterion…
Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce…
Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…
In this work we propose a realization of Lurie's prediction that inner fibrations $p: X \rightarrow A$ are classified by $A$-indexed diagrams in a ``higher category" whose objects are $\infty$-categories, morphisms are correspondences…
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,…