Related papers: Classification of fiber sequences with a prescribe…
In this paper, we prove that a normal subgroup N of an n-dimensional crystallographic group G determines a geometric fibered orbifold structure on the flat orbifold E^n/G, and conversely every geometric fibered orbifold structure on E^n/G…
In this paper we compute the homology of the braid groups, with coefficients in the module Z[q^+-1] given by the ring of Laurent polynomials with integer coefficients and where the action of the braid group is defined by mapping each…
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…
For $\Cc$ a $G$-category, we give a condition on a diagram of simplicial sets indexed on $\Cc$ that allows us to define a natural $G$-action on its homotopy colimit, and in some other simplicial sets and categories defined in terms of the…
Morphisms are homomorphisms under the concatenation operation of the set of words over a finite set. Changing the elements of the finite set does not essentially change the morphism. We propose a way to select a unique representing member…
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…
Let $(W,\Pi)$ be a Riemann domain over a complex manifold $M$ and $w_0$ be a point in $W$. Let $\mathbb D$ be the unit disk in $\mathbb C$ and $\mathbb T=\bd\mathbb D$. Consider the space ${\mathcal S}_{1,w_0}({\bar{\mathbb D}},W,M)$ of…
The localising subcategories of the derived category of the cochains on the classifying space of a finite group are classified. They are in one to one correspondence with the subsets of the set of homogeneous prime ideals of the cohomology…
Suppose an extension map $U\colon \mathbb{T}_1 \to \mathbb{T}_0$ in the 2-category $\mathfrak{Con}$ of contexts for arithmetic universes satisfies a Chevalley criterion for being an (op)fibration in $\mathfrak{Con}$. If $M$ is a model of…
Let p be a finite regular covering on a 2-sphere with at least three branch points. In this paper, we construct a local signature for the class of fibrations whose general fibers are isomorphic to the covering p.
It is a deep fact that the homotopy classification of topological manifolds is convariantly functorial. In other words, a map from a topological manifold M to another N naturally induces a map from the structure set S(M) to S(N). We extend…
Every singular foliation has an associated topological groupoid, called holonomy groupoid (see arXiv:math/0612370). In this note we exhibit some functorial properties of this assignment: if a foliated manifold $(M,\mathcal{F}_M)$ is the…
We provide a simple condition on rational cohomology for the total space of a pullback fibration over a connected sum to have the rational homotopy type of a connected sum, after looping. This takes inspiration from recent work of Jeffrey…
We construct a flagged $\infty$-category ${\sf Corr}$ of $\infty$-categories and bimodules among them. We prove that ${\sf Corr}$ classifies exponentiable fibrations. This representability of exponentiable fibrations extends that…
We provide a necessary and sufficient condition for the derived self-intersection of a smooth subscheme inside a smooth scheme to be a fibration over the subscheme. As a consequence we deduce a generalized HKR isomorphism. We also…
We prove the well-definedness of some deformations of the fibred biset category in characteristic zero. The method is to realize the fibred biset category and the deformations as the invariant parts of some categories whose compositions are…
Let $f$ be a polynomial map from $\mathbb R^m$ to $\mathbb R^n$ with $m>n>0$ and $t_0$ be a regular value of $f$. For a small open ball $D_{t_0}$ centered at $t_0$, we show that the map $f:f^{-1}(D_{t_0})\to D_{t_0}$ is a Serre fibration if…
We study the existence problem and the enumeration problem for sections of Serre fibrations over compact orientable surfaces. When the fundamental group of the fiber is finite, a complete solution is given in terms of 2-dimensional…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
In this paper, we study equivariant Hurewicz fibrations, obtain their internal characteristics, and prove theorems on relationship between equivariant fibrations and fibrations generated by them. Local and global properties of equivariant…