Related papers: Classification of fiber sequences with a prescribe…
A sequence is difference algebraic (or D-algebraic) if finitely many shifts of its general term satisfy a polynomial relationship; that is, they are the coordinates of a generic point on an affine hypersurface. The corresponding equations…
A near permutation of a set is a bijection between two cofinite subsets, modulo coincidence on smaller cofinite subsets. Near permutations of a set form its near symmetric group. In this monograph, we define near actions as homomorphisms…
We define the thin fundamental categorical group ${\mathcal P}_2(M,*)$ of a based smooth manifold $(M,*)$ as the categorical group whose objects are rank-1 homotopy classes of based loops on $M$, and whose morphisms are rank-2 homotopy…
In this paper we look at the notion of cohomological triviality of fibrations of homogeneous spaces of affine algebraic groups defined over $\mathbb{C}$ and use topological methods, primarily the theory of covering spaces. This is made…
We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further…
Moduli spaces of stable pseudoholomorphic curves can be defined parametrically, i.e. over total spaces of symplectic fibrations. This imposes several restrictions on the spectral sequence of a symplectic fibration. We prove that, under…
Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…
A very important class of homogeneous Riemannian manifolds are the so-called normal homogeneous spaces, which have associated a canonical connection. In this work we obtain geometrically the (connected component of the) group of affine…
We define in the setting of homotopy type theory an H-space structure on $\mathbb S^3$. Hence we obtain a description of the quaternionic Hopf fibration $\mathbb S^3\hookrightarrow\mathbb S^7\twoheadrightarrow\mathbb S^4$, using only…
We consider a proper flat fibration with real base and complex fibers. First we construct odd characteristic classes for such fibrations by a method that generalizes constructions of Bismut-Lott. Then we consider the direct image of a…
A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…
A category of FI type is one which is sufficiently similar to finite sets and injections so as to admit nice representation stability results. Several common examples admit a Grothendieck fibration to finite sets and injections. We begin by…
We show how to treat families of $\infty$-categories fibered in categorical patterns (e.g., $\infty$-operads and monoidal $\infty$-categories) in terms of fibrations by relativizing the Grothendieck construction. As applications, we…
In this note we classify sequences according to whether they are morphic, pure morphic, uniform morphic, pure uniform morphic, primitive morphic, or pure primitive morphic, and for each possibility we either give an example or prove that no…
We introduce a natural generalisation of holomorphic curves to morphisms of supermanifolds, referred to as holomorphic supercurves. More precisely, supercurves are morphisms from a Riemann surface, endowed with the structure of a…
Which spaces occur as a classifying space for fibrations with a given fibre? We address this question in the context of rational homotopy theory. We construct an infinite family of finite complexes realized (up to rational homotopy) as…
In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…
In this paper, we develop the theory for classifying all the geometric fibrations of compact, connected, flat $n$-orbifolds, over a 1-orbifold, up to affine equivalence. We apply our classification theory to classify all the geometric…
In this paper we compute in some new cases the cardinalities of the fibers of certain natural fibrations that appear in the analysis of the configuration space of the Heisenberg ring. This is done by means of certain cyclic group actions on…
We consider real spectra, collections of Z/(2)-spaces indexed over Z oplus Z alpha with compatibility conditions. We produce fibrations connecting the homotopy fixed points and the spaces in these spectra. We also evaluate the map which is…