Actions of a group of prime order without equivariantly simple germs

The paper proves that equivariantly simple invariant singularities can only exist for real representations and certain "almost real" representations of a group of prime order.

The Gist

Imagine you are an architect trying to build a house that is perfectly symmetrical. You have a specific set of rules (a "group action") that tell you how the house must look if you rotate it, flip it, or spin it.

In the world of mathematics, specifically Singularity Theory, mathematicians study "cracks" or "kinks" in shapes (called singularities). A famous mathematician, V.I. Arnold, discovered that the simplest, most stable types of these cracks follow a very specific pattern, like a secret code based on shapes called Dynkin diagrams.

This paper by Ivan Proskurnin asks a very specific question: "If we force our house to be symmetrical according to a specific rule (a group of prime order), can we still find these 'simplest, most stable' cracks?"

The answer turns out to be a strict "No, unless..."

Here is the breakdown of the paper using everyday analogies:

1. The Setup: The Symmetrical Dance Floor

Imagine a dance floor with $n$ dancers. A "group of prime order" (like a group of 3, 5, or 7 people) is like a conductor who tells the dancers to spin in a circle.

• The Goal: We want to find a "perfectly simple" stumble (a singularity) that happens on this floor.
• The Problem: If the conductor's rules are too complex or the floor is too big, the dancers will inevitably get tangled in a messy, unpredictable way. In math terms, the "stumble" will have moduli (too many variables to control), meaning it's not "simple" anymore. It's like trying to balance a tower of Jenga blocks in a hurricane; it's impossible to keep it simple.

2. The "Simple" vs. "Messy" Stumble

The paper distinguishes between two types of stumbles:

• Equivariantly Stable: The "Gold Standard." If you nudge the system slightly, it stays a simple stumble. It's like a ball sitting at the very bottom of a smooth bowl. It's the most stable thing possible.
• Equivariantly Simple: A slightly more complex stumble that is still manageable, but it might be "adjacent" to a few other types of stumbles.

The author proves a crucial link: If you can't find the "Gold Standard" (Stable), you can't find the "Simple" ones either. So, to solve the problem, he just needs to prove when the "Gold Standard" is impossible to build.

3. The "Real" vs. "Fake" Mirror

The paper introduces a clever trick.

• Real Action: Imagine a dance floor where the rules are perfectly symmetrical, like a mirror image. In this case, simple stumbles always exist. It's easy to build a stable bowl.
• Complex Action: Imagine a dance floor where the rules are a bit "weird" or "imaginary" (mathematically, complex numbers). Here, things get tricky.

The author creates a "Double Floor" (The Real Representation). He takes the weird, complex dance floor and pairs it with a mirror image of itself to create a giant, perfectly symmetrical "Real" floor.

• If you can find a simple stumble on the weird floor, you can build a specific type of stumble on the Double Floor.
• If the Double Floor is too big or the rules are too weird, the stumble on the Double Floor becomes too complex to be "simple."

4. The "Counting" Argument (The Budget)

The core of the proof is a budgeting game.

• The Budget: The "Milnor Number" is like the number of independent ways the dancers can move without breaking the symmetry.
• The Cost: To have a "Simple" stumble, the number of ways the dancers can move must be very small.
• The Calculation: The author calculates the "cost" of the stumble on the Double Floor. He finds that if the original floor is too big (too many dimensions, $n$) compared to the "rank" of the symmetry (how much of the floor is actually locked down by the rules), the cost explodes.

5. The Final Verdict (The Theorem)

The paper concludes with a strict rule for when simple stumbles can exist. It depends on two things:

1. The "Determinant" (The Twist): Does the group action twist the space in a way that changes its "handedness" (like a left hand becoming a right hand)?
2. The "Gap" ($n - rk$): How many dimensions are left over after the symmetry locks some of them down?

The Rule:
Simple stumbles can only exist if the "Gap" is very small. Specifically, the gap must be smaller than the logarithm of the group size.

• If the group has 3 members, the gap must be tiny.
• If the group has 5 members, the gap can be slightly larger, but still very small.

In plain English:
If you have a group of dancers spinning in a circle, and you try to create a "perfectly simple" stumble, you can only do it if:

1. The dance floor is mostly locked down by the rules (very few free dancers).
2. OR, the rules twist the floor in a specific way that prevents the dancers from getting too tangled.

If the floor is too big and the rules are too loose, the "simple" stumble is mathematically impossible. The system will inevitably become a chaotic mess with too many variables to control.

Summary Analogy

Think of Simple Singularities as perfectly balanced mobiles.

• If you hang a mobile with a few weights (low dimensions) and a strong, symmetrical frame (real action), it balances easily.
• If you try to hang a massive mobile with hundreds of weights (high dimensions) using a wobbly, complex frame (complex group action), it will never balance. It will spin out of control.

This paper proves exactly how many weights you can have before the mobile becomes impossible to balance, depending on the type of frame you are using. The answer is: Very few.

Technical Summary

Here is a detailed technical summary of the paper "Actions of a Group of Prime Order Without Equivariantly Simple Germs" by Ivan Proskurnin.

1. Problem Statement

The paper addresses a fundamental question in equivariant singularity theory: Under what conditions do equivariantly simple singularities exist for a linear action of a finite group of prime order ($Z_p$) on $\mathbb{C}^n$?

• Context: Simple singularities (classified by Arnold via ADE Dynkin diagrams) are central to singularity theory. Equivariantly simple singularities are those invariant under a group action that remain simple under equivariant coordinate changes.
• The Challenge: While classifications exist for specific groups (like $Z_2$ and $Z_3$), determining the existence of such singularities for arbitrary prime-order groups is difficult. Standard dimension-counting arguments often fail for complex representations.
• Goal: The author aims to derive necessary conditions on the group representation $\tau$ (specifically the dimension $n$ and the rank of invariant quadratic forms) for equivariantly simple germs to exist.

2. Methodology

The proof relies on a combination of representation theory, algebraic geometry (Jacobian algebras), and topological invariants (Milnor numbers).

Key Definitions and Tools

• Equivariant Stability vs. Simplicity: The paper establishes (Theorem 3.2) that the existence of equivariantly simple singularities is equivalent to the existence of equivariantly stable singularities. A germ is stable if its orbit under equivariant diffeomorphisms is open.
• Invariant Milnor Number ($\nu(f)$): A germ is equivariantly stable if and only if $\nu(f) = 1$, where $\nu(f)$ is the multiplicity of the trivial representation in the equivariant Milnor number (the dimension of the space of invariant elements in the Jacobian algebra $Q_f$).
• Roberts' Inequality/Equality: For real group actions (admitting an invariant quadratic form of full rank) with no fixed points outside the origin, the paper utilizes Roberts' equality:
  $$\mu(f) = (\nu(f) - 1)p + 1$$
  where $\mu(f)$ is the standard Milnor number and $p$ is the order of the group.
• The "Realization" Trick ($\tau_R$): To apply Roberts' equality to arbitrary complex representations, the author constructs a "real" representation $\tau_R$ on $\mathbb{C}^{2n}$ from a given representation $\tau$ on $\mathbb{C}^n$. This is done by doubling the variables and using conjugate characters.
• Tensor Product of Jacobian Algebras: The author analyzes the function $f \oplus f$ (defined on the doubled space). Using Theorem 5.1 and 5.2, it is shown that the Jacobian algebra of $f \oplus f$ is isomorphic to $Q_f \otimes Q_f^*$, and the invariant dimension $\nu(f \oplus f)$ relates to the sum of squares of the multiplicities of irreducible representations in $Q_f$.

Proof Strategy

1. Reduction to Stable Germs: Assume an equivariantly simple germ exists. By Theorem 3.2, an equivariantly stable germ must exist, implying $\nu(f) = 1$.
2. Splitting Lemma: Any stable germ $f$ can be decomposed into a non-degenerate quadratic part (of rank $rk(\tau)$) and a remainder $h$ with no quadratic terms. Thus, $\mu(f) = \mu(h)$ and $\nu(f) = \nu(h) = 1$.
3. Application of Roberts' Equality: The author applies the Roberts equality to the constructed real germ $h \oplus h$. This yields a specific algebraic equation relating $\mu(h)$, $p$, and the representation multiplicities.
4. Representation Theory Constraints: Using the structure of $Z_p$ representations (involving the trivial representation and the regular representation restricted to the hyperplane sum=0), the author expresses $\mu(h)$ and $\nu(h \oplus h)$ in terms of integer coefficients $a$ and $b$.
5. Inequality Derivation: By equating the two expressions for $\mu(h \oplus h)$ derived from the tensor product structure and Roberts' equality, the author solves for the possible values of $\mu(h)$.
6. Bounding the Dimension: Since $\mu(h) \ge 2^{n - rk(\tau)}$ (due to the absence of quadratic terms in $h$), the calculated upper bounds on $\mu(h)$ translate into upper bounds on $n - rk(\tau)$.

3. Key Contributions and Results

The main result is Theorem 1.1, which provides necessary conditions for the existence of equivariantly simple germs for a $Z_p$ action $\tau$ on $\mathbb{C}^n$. Let $rk(\tau)$ be the maximal rank of a $\tau$-invariant quadratic form. Simple germs can only exist if:

1. Case 1: $\det(\tau) \neq 1$ (The determinant of the representation is not 1).

   • Condition: $n - rk(\tau) \le \log_2(p + 1)$.
   • In this case, the Milnor number $\mu(f)$ is bounded by $p+1$.

2. Case 2: $\det(\tau) = 1$ (The representation is special linear).

   • Condition: $n - rk(\tau) \le \log_2(2p - 1)$.
   • In this case, the Milnor number $\mu(f)$ is bounded by $2p-1$.

Specific Implications:

• If the action is real (i.e., $n = rk(\tau)$), the condition $0 \le \log_2(\dots)$ is always satisfied. This confirms that simple singularities always exist for real actions (e.g., the Morse singularity).
• If the action is complex and $n - rk(\tau)$ is large (specifically, if the "defect" from being real exceeds the logarithmic bound), no equivariantly simple singularities exist.
• The paper effectively rules out the existence of simple singularities for "most" complex representations of prime-order groups, restricting them to very specific, low-dimensional deviations from real representations.

4. Significance

• Classification Limits: The paper provides a rigorous "non-existence" theorem. It clarifies that the phenomenon of equivariantly simple singularities is rare and highly constrained by the representation theory of the group.
• Unification of Concepts: It successfully bridges the gap between the topological properties of the Milnor fiber (via Wall's results on homology actions) and the algebraic properties of the Jacobian algebra (via representation theory).
• Generalization: While previous classifications were limited to small primes ($Z_2, Z_3$), this theorem provides a general framework for any prime $p$.
• Methodological Innovation: The technique of constructing a "real" action $\tau_R$ from an arbitrary complex action $\tau$ to apply Roberts' inequality is a novel and powerful tool for analyzing equivariant singularities in complex spaces.

In summary, Proskurnin proves that for a group of prime order, the "simplicity" of singularities is a fragile property that survives only when the group action is essentially real or very close to it in terms of rank and determinant properties.