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 (X_1~(a1)iX..s in_tenre~stin(ga d_.uen to)its identification with the particular toric problem (Z~c- X_l~(a_1) ..... In the special case, when all the exponents a_ iare 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 a_i_osmaler than c, wil 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].
展开▼
