Related papers: Detecting flat normal cones using Segre classes
We first introduce and study the notion of semi-regular flat modules, and then show that a ring $R$ is a strong \Prufer\ ring if and only if every submodule of a semi-regular flat $R$-module is semi-regular flat, if and only if every ideal…
This paper shows some criteria for a scheme of finite type over an algebraically closed field to be non-singular in terms of jet schemes. For the base field of characteristic zero, the scheme is non-singular if and only if one of the…
We prove the vanishing of a certain characteristic class of flat vector bundles when the structure groups of the bundles are contained in GL(N,Z). We do so by explicitly writing the characteristic class as an exact form on the base of the…
We study tangential families, i.e. systems of rays emanating tangentially from given curves. We classify, up to Left-Right equivalence, stable singularities of tangential family germs (under deformations among tangential families) and we…
We prove a generic flatness result for the cohomology of thickenings of a projective scheme that is smooth over a Noetherian domain containing a field of characteristic zero. Our study is motivated, in part, by a classical question in…
We investigate flat maps where the source or target is a Noetherian ring, giving necessary and/or sufficient conditions on a ring for such maps to exist. Along the way, we develop some general facts about flat ring maps, and exhibit many…
The geometric and algebraic properties of smooth projective varieties with 1-regular structure sheaf are well understood, and the complete classification of these varieties is a classical result. The aim of this paper is to study the next…
We study the family of irreducible curves with $\delta$ nodes belonging to a free linear system $|C|$ with smooth general member on a surface $S$ such that $|K_S|$ is ample. Under the assumption that $C$ is numerically equivalent to $pK_S$,…
Consider the scheme parametrizing non-constant morphisms from a fixed projective curve to a projective surface. There is a rational map between this scheme and the Chow variety of $1$-cycles on the surface. We prove that, if the curve is…
Let q be a power of a prime integer p, and let X be a Hermitian variety of degree q+1 in the n-dimensional projective space. We count the number of rational normal curves that are tangent to X at distinct q+1 points with intersection…
Fix a flat and projective morphism $X\rightarrow\Sigma$ of schemes. We show, first, that any set of $\mathbb{P}^1$-fibrations on $X$ defines a set of simple roots, a set of simple coroots and a Cartan matrix $C$. Second, $X$ is an \'etale…
General relativity can be formally derived as a flat spacetime theory, but the consistency of the resulting curved metric's light cone with the flat metric's null cone has not been adequately considered. If the two are inconsistent, then…
We establish the existence of Springer isomorphisms for reductive group schemes over general base schemes. For this, we first study centralizers of fiberwise regular sections of reductive group schemes, and we establish their flatness in…
Let $X$ and $S$ be complex spaces with $X$ countable at infinity and $S$ reduced locally pure dimensional. Let $\pi:X\to S$ be an universally-$n$-equidimensional morphism (i.e open with constant pure $n$-dimensional fibers). If there is a…
Let (X,0) be a reduced, equidimensional germ of analytic singularity with reduced tangent cone (C_{X,0},0). We prove that the absence of exceptional cones is a necessary and sufficient condition for the smooth part \X^0 of the…
This article is dedicated to the study of the normal functor in the category of smooth real vector bundles. Particularly, we focus on a symmetry phenomena which occurs after iterating two times the normal functor on a commutative square of…
Using the classical S.Lie method we obtain a complete description of infinitesimal symmetries of a holomorphic PDE system defining the Segre family of a real analytic hypersurface. This gives a new proof of some well known results of CR…
Let $Y \subset \P^r$ be a normal nondegenerate m-dimensional subvariety and let $\sigma(Y)$ denote the maximum dimension of a subvariety $Z \subset Y_{smooth}$ such that $Z$ contains a generic point of some divisor on $Y$ and the tangent…
We introduce the N\'eron-Severi Lie algebra of a Soergel module and we determine it for a large class of Schubert varieties. This is achieved by investigating which Soergel modules admit a tensor decomposition. We also use the…
Let $R$ be a complete discrete valuation ring with fraction field $K$ and with algebraically closed residue field. Let $X$ be a faithfully flat $R$-scheme of finite type of relative dimension 1 and $G$ be any affine $K$-group scheme of…