Related papers: Classification of metric fibrations

In this article, we give a framework for studying the Euler characteristic and its categorification of objects across several areas of geometry, topology and combinatorics. That is, the magnitude theory of filtered sets enriched categories.…

In this article, we show that each two metric fibrations with a common base and a common fiber have isomorphic magnitude homology, and even more, the same magnitude homotopy type. That can be considered as a generalization of a fact proved…

Grothendieck fibrations provide a unifying algebraic framework that underlies the treatment of various form of logics, such as first order logic, higher order logics and dependent type theories. In the categorical approach to logic proposed…

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 study the geometry of elliptic fibrations satisfying the conditions of Step 8 of Tate's algorithm. We call such geometries F$_4$-models, as the dual graph of their special fiber is the twisted affine Dynkin diagram…

We study geometrical aspects of the space of fibrations between two given manifolds M and B, from the point of view of Frechet geometry. As a first result, we show that any connected component of this space is the base space of a…

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…

We complete a minor gap in Gromoll and Walschap classification of metric fibrations from the Euclidean space, thus completing the classification of Riemannian foliations on Euclidean spaces.

Consider a fibred compact K\"ahler manifold X endowed with a relatively ample line bundle, such that each fibre admits a constant scalar curvature K\"ahler metric and has discrete automorphism group. Assuming the base of the fibration…

Cartesian fibrations were originally defined by Lurie in the context of quasi-categories and are commonly used in $(\infty,1)$-category theory to study presheaves valued in $(\infty,1)$-categories. In this work we define and study…

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…

We introduce a topological variant of the Grothendieck construction which serves to represent every fiber bundle over an Alexandroff space. Using this result we give a classification theorem for fiber bundles over Alexandroff spaces with…

To study problems involving heights as, eg, Manin's conjecture on the number of points of bounded height on an algebraic variety defined over a number field, it is desirable to have a good normalization of these height functions. We show…

We classify the total spaces of bundles over the four sphere with fiber a three sphere up to orientation preserving and reversing homotopy equivalence, homeomorphism and diffeomorphism. These total spaces have been of interest to both…

This work is the geometric part of our proof of the weighted fundamental lemma, which is an extension of Ng\^o Bao Ch\^au's proof of the Langlands-Shelstad fundamental lemma. Ng\^o's approach is based on a study of the elliptic part of the…

We study the analogue of tautological rings of fibre bundles in the context of fibrations with Poincar\' e fibre, i.e. the ring obtained by fibre integrating powers of the fibrewise Euler class. We discuss how to compute the Euler ring with…

Initiated by Gromov, the study of holomorphic curves in symplectic manifolds has been a powerfull tool in symplectic topology, however the moduli space of holomorphic curves is often very difficult to find. A common technique is to study…

We formalize the ``metric bundle'' viewpoint by defining, for any smooth $n$--manifold $M$, the open fiberwise cones $\mathcal{G}^{p,q}\subset S^2\Tstar M$ of nondegenerate symmetric bilinear forms with fixed signature $(p,q)$, and we…

In this survey, we remind some fibrations structure theorems (also called Milnor's fibrations) recently proved in the real and complex case, in the local and global settings. We give several Poincar\'e-Hopf type formulae which relates the…