Related papers: Fiber bundles over Alexandroff spaces
If $q:Y\longrightarrow{B}$ is a fibration and $Z$ is a space, then the free range mapping space $Y!Z$ has a collection of partial maps from $Y$ to $Z$ as underline space, i.e. those such maps whose domains are individual fibre of $q$. It is…
The geometry of P, the bundle of null directions over an Einstein space-time, is studied. The full set of invariants of the natural G-structure on P is constructed using the Cartan method of equivalence. This leads to an extension of P…
We construct characteristic classes of smooth (Hamiltonian) fibrations as as fiber integrals of products of Pontriagin (or Chern) classes of vertical vector bundles over the total space of the universal fibration. We give explicit formulae…
This note is a part of the lecture notes of a graduate student algebraic geometry seminar held at the department of mathematics in National Taiwan Normal University, 2020 Falls. It aims to introduce an example of sheaves defined on posets…
Alexandrov spaces are defined via axioms similar to those given by Euclid. The Alexandrov axioms replace certain equalities with inequalities. Depending on the signs of the inequalities, we obtain Alexandrov spaces with curvature bounded…
We continue studying net bundles over partially ordered sets (posets), defined as the analogues of ordinary fibre bundles. To this end, we analyze the connection between homotopy, net homology and net cohomology of a poset, giving versions…
In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…
In this note we prove the Borel Conjecture for closed, irreducible and sufficiently collapsed three-dimensional Alexandrov spaces. We also pose several questions related to characterization of fundamental groups of three-dimensional…
We study tiling spaces in the diffeological context. We prove some basic diffeological properties for tiling spaces and analyze two different fiber bundle structures of tiling spaces over irrational tori. We use the diffeological…
We give a classification theorem for a relevant class of $t$-structures in triangulated categories, which includes in the case of the derived category of a Grothendieck category, the $t$-structures whose hearts have at most $n$ fixed…
We generalise some results of R. E. Stong concerning finite spaces to wider subclasses of Alexandroff spaces. These include theorems on function spaces, cores and homotopy type. In particular, we characterize pairs of spaces X,Y such that…
Categories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this work we show how they can be considered a special case of an overarching fibrational construction,…
We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…
We show that the category of abelian gerbes over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These principal bundles are equipped with fusion products and are equivariant with respect…
Let F be a fibration on a simply-connected base with symplectic fibre (M, \omega). Assume that the fibre is nilpotent and T^{2k}-separable for some integer k or a nilmanifold. Then our main theorem, Theorem 1.8, gives a necessary and…
The principal aim of this note is to give an elementary proof of the fact that any two fiber functors of a Tannakian category are locally isomorphic. This builds on an idea of Deligne concerning scalar extensions of Tannakian categories and…
In this paper, we introduce a Grothendieck topology on the category of totally bounded metric spaces and develop a theory of stacks with respect to this topology. We further define the fine moduli stack of compact metric spaces and prove…
A topological space is called self-covering if it is a nontrivial cover of itself. We prove that, under mild assumptions, a closed self-covering manifold with an abelian fundamental group fibers over a torus in various senses. As a…
We introduce the notion of local fibration, a generalization of the notion of fibration which takes into account the presence of Grothendieck topologies on the two categories, and show that the classical results about fibrations lift to…
We produce an indexed version of the Grothendieck construction. This gives an equivalence of categories between opfibrations over a fixed base in the 2-category of 2-copresheaves and 2-copresheaves on the Grothendieck construction of the…