Complexity of Villamayor's algorithm in the non-exceptional monomial case

R Blanco�- International Journal of Mathematics, 2009 - World Scientific
International Journal of Mathematics, 2009World Scientific
We study monomial ideals, always locally given by a monomial, like a reasonable first step
to estimate in general the number of monoidal transformations of Villamayor's algorithm of
resolution of singularities. The resolution of a monomial ideal is interesting due to its
identification with the particular toric problem. In the special case, when all the exponents ai
are greater than or equal to the critical value c, we construct the largest branch of the
resolution tree which provides an upper bound involving partial sums of Catalan numbers�…
We study monomial ideals, always locally given by a monomial, like a reasonable first step to estimate in general the number of monoidal transformations of Villamayor's algorithm of resolution of singularities. The resolution of a monomial ideal is interesting due to its identification with the particular toric problem .
In the special case, when all the exponents ai are greater than or equal to the critical value c, we construct the largest branch of the resolution tree which provides an upper bound involving partial sums of Catalan numbers. This case will be called "minimal codimensional case". Partial sums of Catalan numbers (starting 1,2,5,…) are 1,3,8,22,…. These partial sums are well known in Combinatorics and count the number of paths starting from the root in all ordered trees with n + 1 edges. Catalan numbers appear in many combinatorial problems, counting the number of ways to insert n pairs of parenthesis in a word of n + 1 letters, plane trees with n + 1 vertices,…, etc.
The non-minimal case, when there exists some exponent ai0 smaller than c, will be called "case of higher codimension". In this case, still unresolved, we give an example to state the foremost troubles.
Computation of examples has been helpful in both cases to study the behavior of the resolution invariant. Computations have been made in Singular (see [8]) using the desing package by Bodn�r and Schicho, see [4].
World Scientific