Toward Resolution of Singularities over a Field of Positive Characteristic (The Idealistic Filtration Program)<br>Part II. Basic invariants associated to the idealistic filtration and their properties

Abstract

This is the second of a series of four papers entitled "Toward resolution of singularities over a field of positive characteristic (the Idealistic Filtration Program)". The goal is to present the IFP, and to ultimately construct an explicit algorithm guided by the program.In the classical setting in characteristic zero, resolution of singularities was carried out by induction on dimension. We take a so-called "hypersurface of maximal contact" to reduce the dimension by one. In the algorithm, we construct the strand of invariants "inv classic " of the following form:where the unit (w, s) consists of the weak order w and the number s of the "old" components in the boundary. Going from one unit to the next, the dimension of the object which we use to extract the information to compute the invariants drops by one, manifesting the induction on dimension. We run the algorithm with the center of blowup determined as the maximal locus of "inv classic ".In our new setting in positive characteristic, we no longer have a hypersurface of maximal contact. However, we try to carry out the induction on "invariant σ", which indicates the behavior of "a Leading Generator System". The notion of an LGS plays the role of a collective substitute for a hypersurface of maximal contact in the IFP. Accordingly, in our new algorithm, we construct the strand of invariants "inv" of the following form:where the unit (σ, e µ, s) consists of the above mentioned σ, followed by e µ and s, which correspond to w and s in the classical setting, respectively. Going from one unit to the next, the invariant σ of the LGS of the object, namely an idealistic filtration, strictly drops, manifesting the induction on the invariant σ. We run the new algorithm with the center of blowup determined as the maximal locus of "inv".The main purpose of this paper, Part II of the series, is to study the basic properties of the invariants that appear in the strand of invariants "inv", establishing the upper semicontinuity of the pair (σ, e µ) among others.

Resolution of singularities of an idealistic filtration in dimension 3 after Benito-Villamayor

“…The nonsingularity of C is guaranteed by the Nonsingularity Principle (cf. [18] [19]), while the transversality of C to the boundary E is guaranteed by the invariant s = 0. After the blow up, the singular locus becomes empty, and resolution of singularities for (W, R, E) is achieved.…”

Finite morphisms and simultaneous reduction of the multiplicity

“…In such case, K (n−e) is, necessarily, an elimination algebra of G (n) (this follows from the definition of elimination algebra, and Theorem 5. 19).…”

A new strategy for resolution of singularities in the monomial case in positive characteristic

“…The problem of resolution of singularities of a basic object is further reformulated into the problem of resolution of singularities of an idealistic filtration according to the I.F.P. (See [19] [20] [21] [22] for the detail. ): Given an triplet (W, R, E), where the pair (I, a) in a basic object (W, (I, a), E) in the classical setting is replaced by an idealistic filtration R, construct a sequence of transformations…”