Jet schemes and minimal embedded desingularization of plane branches (Q1940351): Difference between revisions

There are different ways to study the singularities of a plane curve branch \(C \subset \mathbb{K}^2\), for \(\mathbb{K}\) algebraically close field of characteristic 0. In one way (J. Nash), various information about the singularities, their resolutions and numerical invariants could be extracted from the jet schemes and the arc space of \(C\). Another way (B. Teissier), by re-embedding \(C\) in \(\mathbb{K}^{N}\) it is possible to resolve the singularity by one toric morphism. In the article under review both approaches are used to construct an embedded resolution of \((C, \mathbb{K}^{g+1})\), \(g\) being the number of Puiseux exponents of \(C\), such that the strict transform of the plane is the minimal embedded resolution. After recalling briefly the definition of jet schemes, by a previous result of the second author, all irreducible components for the singular fiber of \(\pi_m : C_m \rightarrow C\) are grouped in three types. The restriction of the canonical morphisms \(\pi_{m+1, m}: C_{m+1} \rightarrow C_m\) then gives three types of projective systems of components in the jet schemes, and with each component is associated a divisorial valuation over \(\mathbb{A}^2\). Also, for the minimal embedded resolution of \(C\), three sets of exceptional divisors are defined. The main theorem then asserts that a valuation corresponding to a component from any type is determined by a divisor in one of these sets, which is the same for each type. In the last section, by combinatorial arguments is established a relation between regular subdivisions of some kind of the cone \(\mathbb{R}_{\geq 0}^{g+1}\), and embedded resolutions of \(C\), and is proposed an algorithm to obtain such a subdivision. The equivariant morphism defined by it is an embedded resolution of \(C \subset \mathbb{K}^{g+1}\), with the property that the minimal embedded resolution of \((C, \mathbb{A}^2)\) is induced by the strict transform of the plane. This permits also to interpret the maximal contact in terms of jet schemes.