Related papers: Fiber bundles over Alexandroff spaces

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 construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre fibrations and weak homotopy…

Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more…

We formulate a tropical analogue of Grothendieck's section conjecture: that for every stable graph G of genus g>2, and every field k, the generic curve with reduction type G over k satisfies the section conjecture. We prove many cases of…

We construct a universal partial compactification of the relative moduli space of semistable meromorphic Higgs bundles over the stack of stable pointed curves. It parametrizes meromorphic Gieseker Higgs bundles, and is equipped with a flat…

The well known equivalence between preorders and Alexandrov spaces is extended to an equivalence between arbitrary topological spaces and spatial fibrous preorders, a new notion to be introduced.

We define the algebraic cobordism of $\infty$-categories equipped with universal line bundle data as an initial oriented functor in the associated span category. In the standard motivic framework, this recovers the Thom spectrum model…

We construct universal Lefschetz fibrations, defined in analogy with classical universal bundles. We also introduce the cobordism groups of Lefschetz fibrations, and we see how these groups are quotients of the singular bordism groups via…

We prove that an \'etale fibration between $L_\infty$-bundles admits local sections composed of several elementary morphisms of particularly simple and accessible type. As applications, we establish an inverse function theorem for…

The Grothendieck universe axiom asserts that every set is a member of some set-theoretic universe U that is itself a set. One can then work with entities like the category of all U-sets or even the category of all locally U-small…

In this paper we obtain a description of the Grothendieck group of complex vector bundles over the classifying space of a p-local finite group in terms of representation rings of subgroups of its Sylow. We also prove a stable elements…

In the paper we construct and develop a fiber strong shape theory for arbitrary spaces over fixed metrizable space $\Bo$. Our approach is based on the method of Marde\v{s}i\'{c}-Lisica and instead of resolutions, introduced by…

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…

We prove the generalized Margulis lemma with a uniform index bound on an Alexandrov $n$-space $X$ with curvature bounded below, i.e., small loops at $p\in X$ generate a subgroup of the fundamental group of unit ball $B_1(p)$ that contains a…

In this paper, we study modules over quotient spaces of certain categorified fiber bundles. These are understood as modules over entwining structures involving a small $K$-linear category $\mathcal D$ and a $K$-coalgebra $C$. We obtain…

Anosov representations $\rho$ of a hyperbolic group $\Gamma$ into a semisimple Lie group $G$ are known to admit cocompact domains of discontinuity in flag varieties $G/Q$, endowing the compact quotient manifolds $M_\rho$ with a…

Continuous frames over a Hilbert space have a rich and sophisticated structure that can be represented in the form of a fiber bundle. The fiber bundle structure reveals the central importance of Parseval frames and the extent to which…

In the (covariant) topos approach to quantum theory by Heunen, Landsman and Spitters, one associates to each unital C*-algebra, A, a topos T(A) of sheaves on a locale and a commutative C*-algebra, a, within that topos. The Gelfand spectrum…

We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…

Several possible presentations for the homotopy theory of (non-hypercomplete) $\infty$-stacks on a classical site S are discussed. In particular, it is shown that an elegant combinatorial description in terms of diagrams in S exists,…