Related papers: Some remarks on flatness of morphisms over smooth …
We generalize Luna's fundamental lemma to smooth morphisms between stacks with good moduli spaces. We also give a precise condition for when it holds for non-smooth morphisms and versions for coherent sheaves and complexes. This generalizes…
We present necessary and sufficient conditions for a group homomorphism between spaces of smooth sections of Lie group bundles to be a weighted composition operator. These results provide new insights into a wide range of problems related…
This text is devoted to the systematic study of relative properties in the context of Berkovich analytic spaces. We first develop a theory of flatness in this setting. After having shown through a counter-example that naive flatness cannot…
We use a generic notion of flatness in the enriched context to define various completions of metric spaces -- enrichments over [0,\infty] -- and preorders -- enrichments over 2. We characterize the weights of colimits commuting in…
We show that there exist flat surface bundles with closed leaves having non-trivial normal bundles. This leads us to compute the Abelianisation of surface diffeomorphism groups with marked points. We also extend a formula of Tsuboi that…
We show that given a dominant morphism between two smooth varieties of the same dimension, the induced morphism between the formal neighborhoods of two arcs on these varieties is a closed embedding, of codimension given by the order of…
Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in…
In this article we present a unified way to smooth certain multiple structures called ropes on smooth varieties. We prove that most ropes of arbitrary multiplicity, supported on smooth curves can be smoothed. By a rope being smoothable we…
We construct a universal partial compactification of the relative moduli space of semistable meromorphic Higgs bundles over the stack of stable pointed curves. It parametrizes meromorphic Gieseker Higgs bundles, and is equipped with a flat…
We show that the linked Grassmannian scheme, which arises in a functorial compactification of spaces of limit linear series, and in local models of certain Shimura varieties, is Cohen-Macaulay, reduced, and flat. We give an application to…
We study here systems of symmetries on $|1|$--graded parabolic geometries. We are interested in smooth systems of symmetries and we discuss non--flat homogeneous $|1|$--graded geometries. We show the existence of an invariant admissible…
We give a bound on embedding dimensions of geometric generic fibers in terms of the dimension of the base, for fibrations in positive characteristic. This generalizes the well-known fact that for fibrations over curves, the geometric…
We give sufficient conditions for cohomological flatness (in dimension 0) over discrete valuation rings, generalizing classical results of Raynaud in two different ways. The first is a higher dimensional generalization of Raynaud's…
We limit the singularities that arise in geometric generic fibers of morphisms between smooth varieties of positive characteristic by studying changes in embedding dimension under inseparable field extensions. We then use this result in the…
This paper proves a number of flatness results for centralizers of sections of a reductive group scheme over a general base scheme. To this end, we establish relative versions of the Jordan decomposition. Using our results, we obtain a…
For a reduced pure dimensional complex space $X$, we show that if Barlet's recently introduced sheaf $\alpha_X^1$ of holomorphic $1$-forms or the sheaf of germs of weakly holomorphic $1$-forms is locally free, then $X$ is smooth. Moreover,…
We present a constructive criterion for flatness of a morphism of analytic spaces X -> Y or, more generally, for flatness over Y of a coherent sheaf of modules on X. The criterion is a combination of a simple linear-algebra condition "in…
In this paper, we investigate the moduli of surfaces of general type admitting genus 2 fibrations with irregularity q = g_b + 1, where g_b >= 2 is the genus of the base. We prove that smooth fibrations are parametrized by a unique component…
In this paper, we explore the structure of the Hitchin morphism for higher dimensional varieties. We show that the Hitchin morphism factors through a closed subscheme of the Hitchin base, which is in general a non-linear subspace of lower…
We study the moduli functor of flat bundles on smooth, possibly non-proper, algebraic variety $X$ (over a field of characteristic zero). For this we introduce the notion of \emph{formal boundary} of $X$, denoted by $\partial X$, which is a…