Hypersurface singularities in positive characteristic

Abstract

We present results on multiplicity theory. Differential operators on smooth schemes play a central role in the study of the multiplicity of an embedded hypersurface at a point. This follows from the fact that the multiplicity is defined by the Taylor development of the defining equation at such point; and the Taylor development involves higher order differentials. On the other hand, the multiplicity of a hypersurface can be expressed in terms of general projections defined at étale neighborhoods of such point: Given a local embedding of a (d − 1)-dimensional hypersurface in a smooth d-dimensional scheme, a general projection on a smooth (d − 1)-dimensional scheme is a finite map on the hypersurface; and the multiplicity at the point is the degree of this finite map.We relate both approaches. In fact we study invariants of embedded hypersurfaces, defined in terms of differential operators, which express properties of the ramification of the morphism. Of particular interest is the case of hypersurfaces over fields of positive characteristic.A central result in multiplicity theory of hypersurfaces is a form of elimination of one variable in the description of highest multiplicity locus. This form of elimination, known over fields of characteristic zero, is achieved with the notion of Tschirnhausen polynomial introduced by Abhyankar. This is a key point in the proof of embedded desingularization.In this paper we provide a characteristic free approach to this form of elimination. Our alternative approach is based on projections on smooth (d − 1)-dimensional schemes.The properties of this new form of elimination remain weaker in positive characteristic, than it does in characteristic zero, when it comes to compatibility of elimination with permissible monoidal transformation. This opens the way to new questions on resolution problems. We also discuss the behavior of invariants, attached to a singularity at a point, with this form of elimination.

Singularities in positive characteristic, stratification and simplification of the singular locus

“…In [31], the concepts of hypersurfaces of maximal contact and restriction to hypersurfaces of maximal contact are replaced by the notion of transversal projections and elimination algebras (respectively). This allows us to use induction in any characteristic.…”

Rees algebras on smooth schemes: integral closure and higher differential operator

“…The results in this paper were also applied in [19], in relation with the study of hypersurface singularities over fields of positive characteristic.…”

“…In fact, these results were essential in order to develop a notion of elimination, defined in terms of Rees algebras; a notion with application to the study of singularities of hypersurfaces over fields of positive characteristic (see [19]). …”

A game for the resolution of singularities

“…The local resolution invariant could then be defined directly by a local surgery, and Hironaka's trick showed its independence from any choices. In the present paper, the construction of mobiles is refined even further, combining it with ideas from [35,27] and, most essentially, from [24,34].…”

“…34 The structure of gallimaufries allows an induction in dimension that does not depend on any local choice of hypersurfaces. The global definition then permits a significant simplification of the induction argument.…”