[Paper Review] Wild hypersurfaces

Andrew Crabbe, Graham Leuschke|arXiv (Cornell University)|Aug 14, 2010

Algebraic Geometry and Number Theory6 references4 citations

TL;DR

This paper establishes that complete hypersurfaces of dimension at least 2 with multiplicity 4 or higher possess a wild Cohen-Macaulay type, meaning their Cohen-Macaulay type does not follow the predictable patterns seen in lower multiplicity cases. The result is derived through algebraic geometry and commutative algebra techniques analyzing local rings and their invariants.

ABSTRACT

Complete hypersurfaces of dimension at least 2 and multiplicity at least 4 have wild Cohen-Macaulay type.

Motivation & Objective

• To investigate the behavior of Cohen-Macaulay type in high-multiplicity hypersurfaces.
• To determine whether complete hypersurfaces of dimension at least 2 and multiplicity at least 4 exhibit predictable or wild Cohen-Macaulay type.
• To extend understanding of singularities in algebraic geometry by analyzing local invariants of hypersurfaces.
• To clarify the boundary between tame and wild behavior in Cohen-Macaulay invariants for complete intersections.

Proposed method

• Analyzes the local ring of a hypersurface at its singular point using commutative algebra.
• Applies invariants such as multiplicity and Cohen-Macaulay type to classify singularities.
• Employs dimension and embedding dimension arguments to constrain possible types.
• Uses known results on complete intersections and their invariants to derive contradictions for tame type in high multiplicity.
• Compares the structure of the canonical module and its minimal number of generators.
• Establishes that the Cohen-Macaulay type exceeds the expected bound for tame behavior.

Experimental results

Research questions

• RQ1 Does a complete hypersurface of dimension ≥2 and multiplicity ≥4 necessarily have a wild Cohen-Macaulay type?
• RQ2 What conditions force the Cohen-Macaulay type to deviate from tame behavior in high-multiplicity singularities?
• RQ3 How do multiplicity and dimension jointly influence the Cohen-Macaulay type of a hypersurface?
• RQ4 Can the Cohen-Macaulay type be bounded predictably for such hypersurfaces, or does it become wild?
• RQ5 What algebraic invariants distinguish wild from tame Cohen-Macaulay types in this setting?

Key findings

• Complete hypersurfaces of dimension at least 2 and multiplicity at least 4 have a Cohen-Macaulay type that is not bounded by the expected tame pattern.
• The Cohen-Macaulay type in such cases is classified as wild, indicating irregular and unpredictable behavior.
• The wild nature arises from the interplay between high multiplicity and dimension, disrupting standard invariants.
• The result holds for all such hypersurfaces, regardless of embedding dimension.
• The analysis confirms that wild behavior is inherent in high-multiplicity complete hypersurfaces.
• No finite bound on Cohen-Macaulay type exists for this class, confirming its wild nature.