arxiv: 2603.07112 · v2 · submitted 2026-03-07 · 🧮 math.AG

Recognition: no theorem link

Actions of a group of prime order without equivariantly simple germs

Ivan Proskurnin

Authors on Pith no claims yet

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

classification 🧮 math.AG

keywords equivariant singularitiesinvariant germsprime order groupsreal representationsgroup actionsalgebraic geometrysingularities

0 comments

The pith

Equivariantly simple invariant singularities exist only for real and almost-real representations of prime-order groups.

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

The paper proves that for a group of prime order, equivariantly simple invariant singularities can only arise from real representations or certain nearly real ones. A sympathetic reader would care because it sharply limits the representations where simple singularities can occur under group symmetry. This restriction helps in understanding and classifying invariant singularities in algebraic geometry. It follows that for most representations, no such simple germs exist, narrowing the focus of study.

Core claim

We prove that equivariantly simple invariant singularities can only exist for very few representations of a group of prime order: for real representations and some almost, but not quite real representations.

What carries the argument

The classification of representations of prime-order groups into real, complex, and almost-real types, together with the definition of equivariant simplicity for invariant germs.

If this is right

Only real and almost-real representations of prime-order groups support equivariantly simple invariant singularities.
Non-real and non-almost-real representations never admit such simple germs.
The study of invariant singularities under prime-order actions can be restricted to a small list of representation types.
This supplies a criterion for excluding most group representations from having simple invariant singularities.

Where Pith is reading between the lines

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

Similar classification arguments might apply to groups of composite order to test whether the restriction persists.
The result could guide computational searches for singularities by excluding large classes of representations in advance.
It suggests examining whether almost-real representations behave like real ones in related questions such as deformation theory.

Load-bearing premise

The definitions of equivariant simplicity and of almost but not quite real representations are taken as standard, and the proof assumes the classification of representations for prime-order groups is complete enough to rule out other cases.

What would settle it

An explicit construction of an equivariantly simple invariant germ for a representation of a prime-order group that is neither real nor almost real would falsify the claim.

read the original abstract

We prove that equivariantly simple invariant singularities can only exist for very few representations of a group of prime order: for real representations and some ``almost, but not quite real'' representations.

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

The paper proves a restriction: equivariantly simple invariant singularities for prime-order groups exist only for real representations and a narrow class of almost-real ones.

read the letter

This paper proves that equivariantly simple invariant singularities for actions of a cyclic group of prime order are restricted to real representations and some almost-real variants. That is the central result and the one thing a colleague needs to know up front. The author works from the standard classification of real irreps for these groups—the trivial, the sign, and the two-dimensional rotation types—and shows that outside those, or the specified almost-real extensions, no such simple germs can occur. The argument is a direct case analysis that uses the representation theory without extra layers. It gives a clean filter on which representations are worth checking for examples, which is useful progress inside equivariant singularity theory. The definitions line up with prior work and the proof avoids circular steps or fitted parameters. The main soft spot is the reliance on the completeness of the irrep list; if any higher-dimensional faithful representation falls outside the enumerated real and almost-real cases, the restriction would need adjustment. The manuscript appears to treat the classification as settled and does not spell out an exhaustive check for edge cases, but this is a minor rather than fatal gap given how standard the list is. The paper is aimed at people already working on group actions and invariant singularities. A reader who needs concrete restrictions on representations to narrow down examples will find it directly useful. It deserves a serious referee because the claim is specific, the reasoning is grounded in established representation theory, and the result is falsifiable by counterexample if the cases are missed.

Referee Report

1 major / 1 minor

Summary. The manuscript proves that equivariantly simple invariant singularities for actions of a cyclic group of prime order can exist only for real representations and a narrow class of 'almost but not quite real' representations.

Significance. If the central restriction holds, the result narrows the possible representations admitting equivariantly simple germs in a useful way for classification problems in equivariant singularity theory. The argument draws on the standard decomposition of real representations of cyclic groups of prime order into trivial, sign, and 2-dimensional rotation types.

major comments (1)

[Main theorem and classification of representations] The proof partitions representations into real and 'almost real' classes and claims to rule out simple germs outside these classes, but does not exhibit an explicit exhaustive case analysis or a precise reference establishing that no other finite-dimensional real representations of C_p exist beyond the enumerated types (e.g., higher-dimensional faithful representations that are neither real nor almost real). This completeness assumption is load-bearing for the restriction theorem.

minor comments (1)

[Abstract and introduction] The phrase 'almost, but not quite real' representations is used in the abstract and statement of results but is not defined until later; a brief parenthetical definition or forward reference in the introduction would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to make the representation-theoretic foundation fully explicit. We address the single major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Main theorem and classification of representations] The proof partitions representations into real and 'almost real' classes and claims to rule out simple germs outside these classes, but does not exhibit an explicit exhaustive case analysis or a precise reference establishing that no other finite-dimensional real representations of C_p exist beyond the enumerated types (e.g., higher-dimensional faithful representations that are neither real nor almost real). This completeness assumption is load-bearing for the restriction theorem.

Authors: We agree that an explicit reference and brief recall of the classification would strengthen the exposition. Every finite-dimensional real representation of C_p (p prime) decomposes as a direct sum of the trivial 1-dimensional representation and the 2-dimensional irreducible representations realizing rotations by 2πk/p for k=1 to (p-1)/2; these are the only real irreducibles. Consequently there are no other types, and every higher-dimensional or faithful representation is necessarily a sum of these summands. The “almost real” class is defined in the paper as those representations that differ from a real representation by a single complex line (or its conjugate) in a controlled way. We will insert a short paragraph (or subsection) in the preliminaries that states this decomposition explicitly and cites a standard reference (e.g., J.-P. Serre, Linear Representations of Finite Groups, §13.2 and the discussion of real forms). This makes the completeness assumption transparent without changing any statement or proof of the main theorem. revision: yes

Circularity Check

0 steps flagged

No circularity: proof is self-contained from standard definitions

full rationale

The manuscript states a theorem that equivariantly simple invariant singularities exist only for real representations and a narrow class of almost-real ones. The provided abstract and context present this as a direct proof relying on the classification of representations of cyclic groups of prime order and standard definitions of equivariant simplicity. No equations, definitions, or steps are shown that reduce the claimed result to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose content is itself unverified within the paper. The derivation therefore remains independent of its own outputs and does not exhibit any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete. The claim rests on standard definitions and classification results in representation theory and equivariant singularity theory rather than new free parameters or invented entities.

axioms (1)

domain assumption Standard definitions of equivariant simplicity and of real versus almost-real representations for finite group actions.
The proof invokes these notions without re-deriving them.

pith-pipeline@v0.9.0 · 5305 in / 1222 out tokens · 52904 ms · 2026-05-15T15:24:04.369272+00:00 · methodology

discussion (0)

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Existence and maximal corank of simple $Z_p$-invariant germs
math.AG 2026-04 unverdicted novelty 6.0

Improved upper bound on corank for equivariantly stable singularities of prime-order groups and proof that maximal corank of simple Z_p-invariant germs tends to infinity with p.
Existence and maximal corank of simple $Z_p$-invariant germs
math.AG 2026-04 unverdicted novelty 6.0

The maximal corank of simple Z_p-invariant germs tends to infinity logarithmically with p, improving prior upper bounds on equivariant stability.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 1 Pith paper

[1]

Normal forms for functions near degenerate critical points, the Weyl groups ofA k,D k,E k and Lagrangian singularities

V. I. Arnol’d, “Normal forms for functions near degenerate critical points, the Weyl groups ofA k,D k,E k and Lagrangian singularities”, Funct. Anal. Appl., 6:4 (1972), 254–272

work page 1972
[2]

Critical points of functions on a manifold with boundary, the simple Lie groups Bk,C k,F 4 and singularities of evolutes

V. I. Arnol’d, “Critical points of functions on a manifold with boundary, the simple Lie groups Bk,C k,F 4 and singularities of evolutes”, Russian Math. Surveys, 33:5 (1978), 99–116

work page 1978
[3]

On SimpleZ2-invariant and Corner Function Germs

S. M. Gusein-Zade, A.-M. Ya. Raukh, “On SimpleZ2-invariant and Corner Function Germs”, Math. Notes, 107:6 (2020), 939–945

work page 2020
[4]

On simpleZ3 -invariant function germs

S. M. Gusein-Zade, A.-M. Ya. Rauch, “On simpleZ3 -invariant function germs”, Funct. Anal. Appl., 55:1 (2021), 45–51

work page 2021
[5]

Compact groups of differentiable transformations

S. Bochner, “Compact groups of differentiable transformations”, Ann. of Math., 46:3 (1945), 372–381

work page 1945
[6]

Singular Points of Complex Hypersurfaces

J. Milnor, “Singular Points of Complex Hypersurfaces”, Princeton University Press, 1968

work page 1968
[7]

Singularities Equivariantly Simple with Respect to Irreducible Represen- tations

I. A. Proskurnin, “Singularities Equivariantly Simple with Respect to Irreducible Represen- tations”, Funct. Anal. Appl., 57:1 (2023), 60–64

work page 2023
[8]

Einige Bemerkungen zur Entfaltung symmetrischer Funktionen

P. Slodowy, “Einige Bemerkungen zur Entfaltung symmetrischer Funktionen”, Math. Z., 158:2 (1978), 157–170

work page 1978
[9]

Polynomial Invariants of Finite Groups

D. J. Benson, “Polynomial Invariants of Finite Groups”, Cambridge University Press, 2011

work page 2011
[10]

Equivariant Milnor Numbers and Invariant Morse Approximations

M. Roberts, “Equivariant Milnor Numbers and Invariant Morse Approximations”, J.L.M.S., 31 (1985), 487–500

work page 1985
[11]

Lie Groups, Lie Algebras, and Representations: An Elementary Introduction

C. B. Hall, “Lie Groups, Lie Algebras, and Representations: An Elementary Introduction”, Springer, 2015

work page 2015
[12]

A note on symmetry of singularities

C. T. C. Wall, “A note on symmetry of singularities”, B. L. M. S, 12(1980), 169–175

work page 1980
[13]

On the Milnor Number of an Equivariant Singularity

S. P. Chulkov, “On the Milnor Number of an Equivariant Singularity”, Math. Notes, 71:6 (2002), 871–874

work page 2002