Next: 2. Zariski's multiplicity conjecture Up: 7. Computer algebra solutions Previous: 7. Computer algebra solutions   Contents

## 1. exactness of the Poincaré complex

The first application is a counterexample to a conjectured generalisation of a theorem of Saito which says that, for an isolated hypersurface singularity, the exactness of the Poincaré complex implies that the defining polynomial is, after some analytic coordinate change, weighted homogeneous.

Theorem [Saito1971]:

If has an isolated singularity at 0, then the following are equivalent:

1. is weighted homogeneous for a suitable choice of coordinates.

2. where is the Milnor number and
the Tjurina number.

3. The holomorphic Poincaré complex

is exact.

A natural problem is whether the theorem holds also for complete intersections with . Again we have a Milnor number and a Tjurina number ,

Theoretical reduction [Greuel, Martin and Pfister1985]:

If is a complete intersection of dimension 1, then (1) (2) (3).
If , then (3) (2) if and if are weighted homogeneous.

PS showed that (3) (2) does not hold in general:

is a counterexample.

The proof uses an implementation of the standard basis algorithm in a forerunner of SINGULAR and goes as follows:

1. Compute to show that is exact;

2. compute .
One obtains , that is, is not weighted homogeneous.

To do this we must be able to compute standard bases of modules over local rings.

The counterexample was found through a computer search in a list of singularities classified by Wa.

Next: 2. Zariski's multiplicity conjecture Up: 7. Computer algebra solutions Previous: 7. Computer algebra solutions   Contents
| ZCA Home | Reports |