Related papers: A remark on Ehresmann's Fibration Theorem

Given a closed connected Riemannian manifold M and a connected Riemannian manifold N, we study fiberwise volume decreasing diffeomorphisms on the product M x N. Our main theorem shows that in the presence of certain cohomological condition…

We show that a compact complex surface which fibers smoothly over a curve of genus >1 with fibers of genus >1 fibers holomorphically. We deduce an improvement of a result in [D Kotschick, Math. Research Letters, 5 (1998) 227-234], and a…

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…

We prove fibration theorems \`a la Milnor for differentiable real maps with non isolated critical values. We study the situation for maps with linear discriminant, and prove that the concept of d-regularity is the key point for the…

Let $k$ be a non-archimedean complete field. We prove a substitute for the reduced fiber theorem (of Bosch, L\"utkebohmert and Raynaud) that holds for every morphism $Y\to X$ flat and with geometrically reduced fibers between $k$-affinoid…

We prove a general version of the homological perturbation lemma which works in the presence of curvature, and without the restriction to strong deformation retracts, building on work of Markl. A key observation is that the notion of strong…

We introduce the notion of cofoliation on a stack. A cofoliation is a change of the differentiable structure which amounts to giving a full representable smooth epimorphism. Cofoliations are uniquely determined by their associated Lie…

By a theorem of Bernhard Keller the de Rham cohomology of a smooth variety is isomorphic to the periodic cyclic homology of the differential graded category of perfect complexes on the variety. Both the de Rham cohomology and the cyclic…

We construct an explicit diffeomorphism taking any fibration of a sphere by great circles into the Hopf fibration, using elementary geometry--indeed the diffeomorphism is a local (differential) invariant, algebraic in derivatives.

In their 2012 paper, Bobadilla and Koll\'ar studied topological conditions which guarantee that a proper map of complex algebraic varieties is a topological or differentiable fibration. They also asked whether a certain finiteness property…

We set up the geometric background necessary to extend rigid cohomology from the case of algebraic varieties to the case of general locally noetherian formal schemes. In particular, we generalize Berthelot's strong fibration theorem to adic…

The purpose of this paper is to establish several new results about the Hodge theory of Lagrangian fibrations on (not necessarily compact) holomorphic symplectic manifolds. Let $M$ be a holomorphic symplectic manifold of dimension $2n$ that…

We prove a theorem on the existence of global surfaces of section with prescribed spanning orbits and homology class. This result is a modification and a refinement of a result due to Fried, recast in terms of invariant measures instead of…

In this paper we study a special class of fibrations on Delsarte surfaces. We call these fibrations Delsarte fibrations. We show that after a specific cyclic base change the fibration is the pull back of a fibration with three singular…

Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither…

This article contributes to the study of the generic part of the cohomology of Shimura varieties. Under a mild restriction of the characteristic of the coefficient field, we prove a torsion vanishing result for Shimura varieties of abelian…

A Kodaira fibration is a compact, complex surface admitting a holomorphic submersion onto a complex curve, such that the fibers have nonconstant moduli. We consider Kodaira fibrations X with nontrivial invariant rational cohomology in…

A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category…

Let (M,F) be a foliated manifold. We study the relationship between the basic cohomology Hb(M,F) of the foliation and the De Rham cohomology H(DF) of the space of leaves M/F as a quotient diffeological space. We prove that for an arbitrary…

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…