Abstract:A germ of normal complex analytical surface is called a Hirzebruch-Jung singularity if it is analytically isomorphic to the germ at the 0-dimensional orbit of an affine toric surface. Two such germs are known to be isomorphic if and only if the toric surfaces corresponding to them are equivariantly isomorphic. We extend this result to higher-dimensional Hirzebruch-Jung singularities, which we define to be the germs analytically isomorphic to the germ at the 0-dimensional orbit of an affine toric variety determined by a lattice and a simplicial cone of maximal dimension. We deduce a normalization algorithm for quasi-ordinary hypersurface singularities.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the concept of Hirzebruch - Jung singularities to arbitrary dimensions and show how to classify these singularities up to analytic isomorphism by combinatorial data. Specifically, the author defines high - dimensional Hirzebruch - Jung singularities and proves that their analytic types determine the associated lattice and cone pairs (i.e., \((W, \sigma)\)), thus solving the classification problem of these singularities.
### Main Contributions
1. **Concept Generalization**:
- Generalize the concept of two - dimensional Hirzebruch - Jung singularities to arbitrary dimensions. In the two - dimensional case, Hirzebruch - Jung singularities are defined as being analytically isomorphic to the germ of an affine toric variety at the 0 - dimensional orbit. The author extends this concept to arbitrary dimensions and defines the germ of an irreducible normal complex analytic space as a Hirzebruch - Jung singularity if it is analytically isomorphic to the germ of an affine toric variety defined by a maximal simplicial cone pair at the 0 - dimensional orbit.
2. **Classification Method**:
- Classify high - dimensional Hirzebruch - Jung singularities by combinatorial data (such as lattices and cones). The author proves that two Hirzebruch - Jung singularities are analytically isomorphic if and only if the corresponding lattice and cone pairs are isomorphic. This makes the classification problem into a combinatorial problem, that is, classifying lattice and cone pairs.
3. **Normalization Algorithm**:
- Provide a normalization algorithm for irreducible quasi - constant hypersurface singularities. This algorithm can calculate the normalization type of the singularity, that is, the type of the corresponding Hirzebruch - Jung singularity. The algorithm is based on characteristic exponents and is a generalization of the previous algorithm for the three - dimensional case.
### Key Results
- **Main Theorem**: Let \((Z, 0)\simeq(Z(W, \sigma), 0)\) be a Hirzebruch - Jung singularity, then its analytic type determines the lattice and cone pair \((W, \sigma)\) up to isomorphism.
\[
\text{The analytical type of a Hirzebruch - Jung singularity }(Z, 0)\simeq(Z(W, \sigma), 0)\text{ determines the pair }(W, \sigma)\text{ up to isomorphism.}
\]
- **Corollary**: Two toric varieties \(Z\) and \(Z'\) defined by maximal simplicial cone pairs, if the Hirzebruch - Jung singularities at their closed orbits are analytically isomorphic, then the two toric varieties themselves are isomorphic.
### Methods and Techniques
- **Orbifold Mapping**: The author introduces the Orbifold mapping \(\mu\), which is the Riemann extension of the universal covering mapping of the smooth part. By studying the action of the local fundamental group, a lattice and cone pair determined by the analytic type is constructed.
- **Combinatorial Representation**: By choosing the order of the edges of the cone, a normal form of the maximal simplicial cone pair is given. This makes it possible to uniquely determine the type of each Hirzebruch - Jung singularity by matrix representation.
In summary, the main purpose of this paper is to generalize the concept of Hirzebruch - Jung singularities and provide an effective classification method, and at the same time give an algorithm for calculating the normalization type of irreducible quasi - constant hypersurface singularities.