Three power series techniques
The author describes three related techniques to work efficiently with power series in the context of (embedded) resolution of singularities, where the key problem is the construction of local invariants for singularities and their control under blowup and localization. The techniques are intended to provide a general framework for producing such invariants and observing their transformation rules. 1. One considers local flags in a regular ambient space, and local coordinates subordinate to the flag. The author constructs canonically new local flags on any blowup with centre transversal to the given flag. Choosing local coordinates subordinate to the flags before and after the blowup allows one to define significant invariants and to read off easily their change under the blowup. 2. The analog of the classical Gauss decomposition is proved for the group \(G\) of automorphisms of the formal (or convergent) power series in the variables \(x_1,\dots,x_n\) (i.e. local automorphisms of affine \(n\)-space): any \(\varphi \in G\) is a product \(\varphi =bus\), where \(b\) is an upper triangular automorphism, \(u\) is a lower unipotent de Joncquière automorphism and \(s\) is a permutation. As the \` Borel automorphisms\'\ \(b\) are just those which stabilize the flag with subordinate coordinates \(x_1,\dots,x_n\), one can restrict to automorphisms \(us\) when constructing subordinate coordinates out of ordinary ones. This is shown to be crucial for controlling a flag invariant under blowup or localization. 3. Initial ideals of an ideal of power series (with respect to monomial orders on \(\mathbb N^n\)) are a frequently used tool to investigate singularities, in particular the coordinate independent \textsl{generic initial ideal}. Here the author proposes to order the set of initial ideals with respect to all coordinate choices of a given ideal (by the ordering on monomial ideals through the lexicographic order taken on their minimal monomial generator systems). Then the minimal initial ideal is just the generic one, but the maximal initial ideal contains much more information on the singularity. Its existence is however not obvious and is shown in the paper. The Gauss decomposition of \(G\) is then used to determine coordinates realizing this maximal ideal. The author summarizes the most important resolution invariants in the literature and indicates that they are special cases or variants of his flag invariants or minimal/maximal initial ideal. It is also interesting that the constructions in the paper are characteristic independent, thereby providing a potential contribution to the still unsolved characteristic \(p\) case.
- Characterizing the increase of the residual order under blowup in positive characteristic
- The winning strategy for Hironaka's polyhedra game is almost arbitrary
- Book Review: Resolution of singularities; Lectures on resolution of singularities
- On the problem of resolution of singularities in positive characteristic (Or: A proof we are still waiting for)
This page was built for publication: Three power series techniques
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4812532)
