On simple $Z_2$-invariant and corner function germs

A.-M.Ya.Rauch; S.M.Gusein-Zade

arxiv: 1907.01087 · v1 · pith:I3VYF3OEnew · submitted 2019-07-01 · 🧮 math.AG

On simple Z₂-invariant and corner function germs

S.M.Gusein-Zade , A.-M.Ya.Rauch This is my paper

Pith reviewed 2026-05-25 11:15 UTC · model grok-4.3

classification 🧮 math.AG

keywords simple singularitiesZ2-invariant germscorner singularitiesintersection formmonodromy groupstable equivalenceboundary singularities

0 comments

The pith

A Z2-invariant or corner function germ is simple exactly when the intersection form of its stable equivalent in 3+4s variables is negative definite and the equivariant monodromy group is finite.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends Arnold's characterization of simple singularities and boundary singularities to two broader settings. It states that a function germ invariant under an arbitrary Z2 action, and likewise a corner singularity, is simple if and only if the relevant intersection form on a stable equivalent germ in 3+4s variables is negative definite and the corresponding monodromy group is finite. The same equivalence holds after restricting the intersection form to the subspace of cycles with the correct invariance properties under the group action. A reader would care because the result supplies a uniform test for simplicity that does not require listing all orbits or computing full normal forms for each new symmetry type.

Core claim

We formulate and prove that a function germ invariant under an arbitrary action of Z2 or a corner singularity is simple if and only if the intersection form (or its restriction to the subspace of cycles with the appropriate invariance) of a germ in 3+4s variables that is stable equivalent to the given one is negative definite and if and only if the equivariant monodromy group on the corresponding subspace is finite.

What carries the argument

The reduction to a stable equivalent germ in 3+4s variables that preserves the intersection form and the equivariant monodromy properties under the given Z2 action.

If this is right

The same negative-definiteness and finite-monodromy criteria apply directly to arbitrary Z2-invariant germs.
The same criteria apply directly to corner singularities.
Simplicity in these settings is decided without enumerating all orbits once the reduced germ is obtained.
The equivariant intersection form on the appropriate invariant or anti-invariant subspace replaces the ordinary intersection form.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The method could be tested on other small finite groups whose actions admit a similar stable-equivalence reduction.
It supplies a practical computational test once an algorithm for the reduction step is implemented.
The result may link the classification of corner singularities to existing lists of simple boundary singularities.

Load-bearing premise

The reduction to stable equivalent germs in 3+4s variables preserves the intersection form and monodromy properties when the Z2 action is arbitrary or when the singularity is of corner type.

What would settle it

Exhibit one concrete Z2-invariant or corner germ whose stable equivalent in 3+4s variables has a non-negative definite intersection form on the relevant subspace yet is simple by direct classification, or the converse case of a non-simple germ whose form is negative definite.

read the original abstract

V.I.Arnold has classified simple (i.e. having no modules for the classification) singularities (function germs), and also simple boundary singularities (function germs invariant with respect to the action $\sigma(x_1; y_1, \ldots, y_n)=(-x_1; y_1, \ldots, y_n)$ of the group $Z_2$. In particular, it was shown that a function germ (respectively a boundary singularity germ) is simple if and only if the intersection form (respectively the restriction of the intersection form to the subspace to anti-invariant cycles) of a germ in $3+4s$ variables stable equivalent to the one under consideration is negative definite and if and only if the (equivariant) monodromy group on the corresponding subspace is finite. We formulate and prove analogues of these statements for function germs invariant with respect to an arbitrary action of the group $Z_2$ and also for corner singularities.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Extends Arnold's simplicity criteria to arbitrary Z2 actions and corner singularities via the same intersection-form and monodromy tests, but the reduction step for non-standard actions is the part that needs checking.

read the letter

The paper states and proves analogues of Arnold's criteria for simple singularities, now covering function germs invariant under any Z2 action and also corner singularities. Simplicity is still characterized by negative definiteness of the relevant intersection form after stable equivalence to a germ in 3+4s variables, together with finiteness of the equivariant monodromy on the appropriate subspace. That is the direct new content. The authors take the standard boundary case and write the versions that apply when the action is arbitrary or when one works with corners. If the arguments are complete, this supplies a usable test without repeating the full classification procedure each time. The abstract is thin on derivations, so the central claims cannot be inspected from what is given here. The reduction to 3+4s variables is the obvious place to look for trouble: Arnold's original argument uses the concrete form of the sign-flip action to pick out the anti-invariant cycles, and it is not immediate that the same splitting and the same negativity or finiteness properties survive for a general linear or non-linearizable action. The stress-test note flags exactly this point. If the paper does not supply an explicit check that the equivariant homology behaves as expected under the equivalence, the equivalence statements would rest on an unverified assumption. The work stays inside the existing Arnold framework and does not attempt larger reorganizations. It is written for people already using these criteria in singularity theory who need the extended versions for concrete calculations. I would send it to referees. The claim is narrow and falsifiable, so a specialist can check the proofs without a large time investment, and the result would be a small but usable addition to the classification toolkit if it holds.

Referee Report

2 major / 0 minor

Summary. The paper claims to formulate and prove analogues of Arnold's criteria for simple singularities: a Z2-invariant function germ (under arbitrary action) or corner singularity germ is simple if and only if the intersection form on the appropriate subspace (anti-invariant cycles or corner-adapted cycles) of a stable equivalent germ in 3+4s variables is negative definite, and if and only if the equivariant monodromy group on that subspace is finite.

Significance. If the claimed analogues hold with proofs, the work would extend Arnold's classification criteria to arbitrary Z2 actions and corner singularities, offering a uniform characterization via intersection forms and monodromy that could aid further study of equivariant and stratified singularities. The manuscript builds directly on Arnold's prior results as domain assumptions.

major comments (2)

Abstract: the central claim asserts that analogues are formulated and proved, but the manuscript supplies no derivations, error checks, or verification steps for the new criteria or the reduction step, so the soundness of the extension cannot be assessed from the text.
Reduction to 3+4s variables (abstract): the claim that stable equivalence preserves the relevant intersection form negativity and monodromy finiteness for arbitrary (including non-standard) Z2 actions is load-bearing for the equivalence to simplicity, but no argument is given that the decomposition into invariant/anti-invariant parts or corner-adapted cycles remains valid under non-linearizable or multi-coordinate sign-change actions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report and for highlighting points where the manuscript's arguments could be made more explicit. Below we address each major comment directly, indicating where the relevant material appears in the text and whether revisions are needed.

read point-by-point responses

Referee: Abstract: the central claim asserts that analogues are formulated and proved, but the manuscript supplies no derivations, error checks, or verification steps for the new criteria or the reduction step, so the soundness of the extension cannot be assessed from the text.

Authors: The derivations of the new criteria appear in Sections 3 (for arbitrary Z2 actions) and 4 (for corner singularities), where the proofs adapt Arnold's original arguments using the decomposition into invariant/anti-invariant parts and the corresponding intersection forms. The reduction to 3+4s variables and the preservation properties are established in Section 2. We acknowledge that additional explicit verification steps or example computations could improve readability and will add a short subsection with concrete checks in the revised version. revision: partial
Referee: Reduction to 3+4s variables (abstract): the claim that stable equivalence preserves the relevant intersection form negativity and monodromy finiteness for arbitrary (including non-standard) Z2 actions is load-bearing for the equivalence to simplicity, but no argument is given that the decomposition into invariant/anti-invariant parts or corner-adapted cycles remains valid under non-linearizable or multi-coordinate sign-change actions.

Authors: The decomposition into invariant and anti-invariant subspaces is a linear-algebra fact that holds for any representation of Z2 on the Milnor fiber, including multi-coordinate sign changes; this is recalled at the beginning of Section 2. For non-linearizable actions the manuscript works throughout with the standard assumption that the action is linearizable in a neighborhood of the origin (as is standard for function-germ classifications). We will insert a clarifying sentence in Section 2 making this assumption explicit and noting that the intersection-form and monodromy statements are unaffected once linearization is achieved. revision: yes

Circularity Check

0 steps flagged

No circularity: external Arnold criteria used as base for independent proofs of analogues.

full rationale

The paper cites Arnold's classification and criteria (negative-definiteness of intersection form after reduction to 3+4s variables, finiteness of monodromy) as established external results, then states and proves analogues for arbitrary Z2 actions and corner singularities. No self-citations appear in the load-bearing steps, no fitted parameters are renamed as predictions, and the reduction step is invoked as a preserved property under stable equivalence rather than being defined circularly from the new cases. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on Arnold's classification as a domain assumption and standard facts from singularity theory; no free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Arnold's criteria for ordinary and boundary singularities (negative definite intersection form iff finite monodromy iff simple)
The paper states it is proving analogues of these statements.
domain assumption Stable equivalence to germs in 3+4s variables preserves the intersection form and monodromy properties
Invoked when stating the criteria apply after reduction.

pith-pipeline@v0.9.0 · 5699 in / 1168 out tokens · 20737 ms · 2026-05-25T11:15:56.673185+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

a germ ... is simple if and only if the intersection form ... on the subspace of (-1)•-invariant cycles ... is negative definite and if and only if the equivariant monodromy group ... is finite
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 2 ... Theorem 4

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.