A Dimension Bound for Symmetrizer Groups of Projective Hypersurfaces

Jegyeong Jung

arxiv: 2603.19642 · v3 · submitted 2026-03-20 · 🧮 math.AG

A Dimension Bound for Symmetrizer Groups of Projective Hypersurfaces

Jegyeong Jung This is my paper

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

classification 🧮 math.AG

keywords symmetrizer groupprojective hypersurfaceJacobian idealnilpotent Lie algebramultiplicity locusunipotent partdimension boundalgebraic group

0 comments

The pith

For projective hypersurfaces whose high-multiplicity locus contains no line, the symmetrizer group has dimension bounded by dim X plus 2.

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

This paper establishes a dimension bound on the symmetrizer group for projective hypersurfaces that are not cones. The symmetrizer group consists of algebraic transformations that preserve the Jacobian ideal of the hypersurface. Under the assumption that the points of multiplicity d-1 on X do not contain a line, the nilpotent part of the associated Lie algebra has dimension at most 2. This leads to the total dimension of the group being at most dim X + 2. Readers interested in algebraic geometry would care because this limits the size of groups parametrizing hypersurfaces with identical partial derivatives, affecting classification and moduli problems.

Core claim

Let X be a projective hypersurface that is not a cone. If the locus of points in X with multiplicity d-1 does not contain a line, then the dimension of the nilpotent part of the Lie algebra associated to the symmetrizer group is at most 2, and the dimension of the symmetrizer group is bounded by dim X + 2. This is achieved by investigating the relation between a class of singularities on X with highly degenerate tangent cones and the unipotent part of its symmetrizer group.

What carries the argument

The symmetrizer group, defined as the algebraic group parametrizing hypersurfaces with the same Jacobian ideal as X, linked through the unipotent elements to singularities with degenerate tangent cones.

If this is right

The nilpotent part of the Lie algebra has dimension at most 2.
The symmetrizer group dimension is at most dim X + 2.
Singularities with highly degenerate tangent cones control the unipotent elements.
Hypersurfaces satisfying the line-free condition have restricted Jacobian-preserving symmetries.

Where Pith is reading between the lines

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

The bound may simplify explicit computations of Jacobian equivalence classes for hypersurfaces of given degree and dimension.
Low-degree examples such as quartic surfaces could be checked directly to confirm the nilpotent dimension stays at most 2.
Similar techniques might extend the bound to other classes of varieties defined by Jacobian ideal conditions.

Load-bearing premise

X is a projective hypersurface that is not a cone and the locus of points in X with multiplicity d-1 does not contain a line.

What would settle it

Finding a non-cone projective hypersurface where the (d-1)-multiplicity locus has no line but the symmetrizer group dimension exceeds dim X + 2 would disprove the bound.

read the original abstract

Let $X$ be a projective hypersurface that is not a cone. The symmetrizer group of $X$ is an algebraic group parametrizing hypersurfaces whose Jacobian ideal coincides with that of $X$. We show that if the locus of points in $X$ with multiplicity $d-1$ does not contain a line, then the dimension of the nilpotent part of the Lie algebra associated to the symmetrizer group is at most $2$, and the dimension of the symmetrizer group is bounded by $\dim X + 2$. To achieve this, we investigate the relation between a class of singularities on $X$ with highly degenerate tangent cones and the unipotent part of its symmetrizer group.

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 dimension bound of dim X + 2 for symmetrizer groups of non-cone hypersurfaces when the multiplicity-d-1 locus contains no line.

read the letter

The key takeaway is that for a projective hypersurface X that is not a cone, if the set of points with multiplicity d-1 does not contain a line, then the symmetrizer group has dimension at most dim X + 2, with the nilpotent part of its Lie algebra at most 2-dimensional. This comes from analyzing how those high-multiplicity points with degenerate tangent cones control the unipotent elements in the group. The paper does a good job linking the local geometry of the singularities to the global structure of the symmetrizer group. It uses explicit Lie algebra computations around those points and then assembles them into a global bound. This builds naturally on existing results about Jacobian ideals and algebraic groups acting on hypersurfaces. The approach is direct and avoids circular reasoning. There are no major soft spots in the logic. The non-cone assumption keeps everything algebraic and finite-dimensional, and the no-line condition prevents larger unipotent groups from appearing. The stress-test confirms there are no missing cases or inconsistencies in the argument. One small thing is that the result is conditional on that locus condition, which may not hold for all hypersurfaces of interest, but the paper states the theorem clearly under that hypothesis. This work is aimed at algebraic geometers who study automorphism groups or the moduli of hypersurfaces. Someone looking for bounds on possible group actions or classifications in this area would find it relevant. It is a technical but focused contribution. I think it deserves peer review. The claim is specific and the supporting argument appears solid enough for referees to evaluate the details.

Referee Report

0 major / 1 minor

Summary. The manuscript proves a dimension bound for the symmetrizer group of a non-cone projective hypersurface X of degree d: if the locus of points of multiplicity d-1 on X contains no line, then the nilpotent part of the associated Lie algebra has dimension at most 2, so the symmetrizer group has dimension at most dim X + 2. The argument relates high-multiplicity singularities with degenerate tangent cones to the unipotent elements of the symmetrizer group via explicit Lie-algebra computations and global gluing.

Significance. If the result holds, the bound supplies a concrete geometric control on the size of symmetrizer groups (which parametrize hypersurfaces sharing the same Jacobian ideal). This is useful for rigidity questions, classification of hypersurfaces by singularity type, and moduli problems in algebraic geometry. The explicit reduction of the unipotent dimension to local tangent-cone analysis, combined with the non-cone hypothesis, gives a reproducible method that could extend to related automorphism or symmetry groups.

minor comments (1)

§2: the notation for the Lie algebra of the symmetrizer group is introduced without an explicit reference to the ambient group scheme; a one-sentence reminder of the embedding into PGL(N) would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our results, as well as for the recommendation to accept the manuscript. The report correctly captures the main theorem: for a non-cone hypersurface X of degree d whose (d-1)-multiplicity locus contains no line, the nilpotent part of the Lie algebra of the symmetrizer group has dimension at most 2, yielding the bound dim G ≤ dim X + 2.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The manuscript derives the stated dimension bound via explicit local analysis of tangent cones at points of multiplicity d-1, combined with Lie-algebra computations on the unipotent radical of the symmetrizer group and global gluing arguments. No step reduces by definition to the target bound, no parameter is fitted and then relabeled as a prediction, and no load-bearing premise rests on a self-citation chain. The no-line hypothesis and non-cone assumption are used directly as geometric constraints rather than being smuggled in via prior work by the same author. The argument is therefore independent of the result it proves.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard definitions and properties of projective hypersurfaces, Jacobian ideals, algebraic groups, and Lie algebras; no free parameters or new entities are introduced.

axioms (2)

standard math Standard properties of projective hypersurfaces and their Jacobian ideals
Used to define the symmetrizer group as parametrizing hypersurfaces with the same Jacobian ideal.
standard math Basic facts from algebraic group theory on Lie algebras, nilpotent parts, and unipotent elements
Invoked to bound dimensions of the group and its Lie algebra.

pith-pipeline@v0.9.0 · 5414 in / 1388 out tokens · 59486 ms · 2026-05-15T07:57:39.104144+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

V. I. Arnold, S. M. Gusein-Zade, and A. N. Varchenko,Singularities of differentiable maps. Volume 1, Modern Birkh¨ auser Classics, Birkh¨ auser/Springer, New York, 2012, Classification of critical points, caustics and wave fronts, Translated from the Russian by Ian Porteous based on a previous translation by Mark Reynolds, Reprint of the 1985 edition. MR 2896292

work page 2012
[2]

J. W. Bruce and C. T. C. Wall,On the classification of cubic surfaces, J. London Math. Soc. (2)19 (1979), no. 2, 245–256. MR 533323

work page 1979
[3]

Canino, C

S. Canino, C. Flavi, and J. Jelisiejew,Detecting direct sums of tensors and their limits, 2025

work page 2025
[4]

Carlson and Phillip A

James A. Carlson and Phillip A. Griffiths,Infinitesimal variations of Hodge structure and the global Torelli problem, Journ´ ees de G´ eometrie Alg´ ebrique d’Angers, Juillet 1979/Algebraic Geometry, Angers, 1979, Sijthoff & Noordhoff, Alphen aan den Rijn—Germantown, Md., 1980, pp. 51–76. MR 605336

work page 1979
[5]

Dolgachev,Classical algebraic geometry, Cambridge University Press, Cambridge, 2012, A modern view

Igor V. Dolgachev,Classical algebraic geometry, Cambridge University Press, Cambridge, 2012, A modern view. MR 2964027

work page 2012
[6]

Jun-Muk Hwang,Symmetrizer group of a projective hypersurface, J. Math. Soc. Japan78(2026), no. 1, 55–62. MR 5021041

work page 2026
[7]

MR 133717

Carmelo Mammana,Una caratterizzazione delle ipersuperficie che non sono individuate dal loro sistema primo polare, Matematiche (Catania)12(1957), 125–134. MR 133717

work page 1957
[8]

T. A. Springer,Linear algebraic groups, second ed., Modern Birkh¨ auser Classics, Birkh¨ auser Boston, Inc., Boston, MA, 2009. MR 2458469

work page 2009
[9]

J.38(2009), no

Kazushi Ueda and Masahiko Yoshinaga,Logarithmic vector fields along smooth divisors in projective spaces, Hokkaido Math. J.38(2009), no. 3, 409–415. MR 2548229

work page 2009
[10]

MR 4942570

Ravi Vakil,The rising sea—foundations of algebraic geometry, Princeton University Press, Princeton, NJ, [2025]©2025. MR 4942570

work page 2025
[11]

Sasha Viktorova,On the classification of singular cubic threefolds, Trans. Amer. Math. Soc.379(2026), no. 1, 157–193. MR 5000551

work page 2026
[12]

146(2015), no

Zhenjian Wang,On homogeneous polynomials determined by their Jacobian ideal, Manuscripta Math. 146(2015), no. 3-4, 559–574. MR 3312462 16 Department of Mathematical Sciences, KAIST, 291 Daehak-ro, Yuseong-gu, Daejeon, 34141, Republic of Korea Email address:jgjung@kaist.ac.kr 17

work page 2015

[1] [1]

V. I. Arnold, S. M. Gusein-Zade, and A. N. Varchenko,Singularities of differentiable maps. Volume 1, Modern Birkh¨ auser Classics, Birkh¨ auser/Springer, New York, 2012, Classification of critical points, caustics and wave fronts, Translated from the Russian by Ian Porteous based on a previous translation by Mark Reynolds, Reprint of the 1985 edition. MR 2896292

work page 2012

[2] [2]

J. W. Bruce and C. T. C. Wall,On the classification of cubic surfaces, J. London Math. Soc. (2)19 (1979), no. 2, 245–256. MR 533323

work page 1979

[3] [3]

Canino, C

S. Canino, C. Flavi, and J. Jelisiejew,Detecting direct sums of tensors and their limits, 2025

work page 2025

[4] [4]

Carlson and Phillip A

James A. Carlson and Phillip A. Griffiths,Infinitesimal variations of Hodge structure and the global Torelli problem, Journ´ ees de G´ eometrie Alg´ ebrique d’Angers, Juillet 1979/Algebraic Geometry, Angers, 1979, Sijthoff & Noordhoff, Alphen aan den Rijn—Germantown, Md., 1980, pp. 51–76. MR 605336

work page 1979

[5] [5]

Dolgachev,Classical algebraic geometry, Cambridge University Press, Cambridge, 2012, A modern view

Igor V. Dolgachev,Classical algebraic geometry, Cambridge University Press, Cambridge, 2012, A modern view. MR 2964027

work page 2012

[6] [6]

Jun-Muk Hwang,Symmetrizer group of a projective hypersurface, J. Math. Soc. Japan78(2026), no. 1, 55–62. MR 5021041

work page 2026

[7] [7]

MR 133717

Carmelo Mammana,Una caratterizzazione delle ipersuperficie che non sono individuate dal loro sistema primo polare, Matematiche (Catania)12(1957), 125–134. MR 133717

work page 1957

[8] [8]

T. A. Springer,Linear algebraic groups, second ed., Modern Birkh¨ auser Classics, Birkh¨ auser Boston, Inc., Boston, MA, 2009. MR 2458469

work page 2009

[9] [9]

J.38(2009), no

Kazushi Ueda and Masahiko Yoshinaga,Logarithmic vector fields along smooth divisors in projective spaces, Hokkaido Math. J.38(2009), no. 3, 409–415. MR 2548229

work page 2009

[10] [10]

MR 4942570

Ravi Vakil,The rising sea—foundations of algebraic geometry, Princeton University Press, Princeton, NJ, [2025]©2025. MR 4942570

work page 2025

[11] [11]

Sasha Viktorova,On the classification of singular cubic threefolds, Trans. Amer. Math. Soc.379(2026), no. 1, 157–193. MR 5000551

work page 2026

[12] [12]

146(2015), no

Zhenjian Wang,On homogeneous polynomials determined by their Jacobian ideal, Manuscripta Math. 146(2015), no. 3-4, 559–574. MR 3312462 16 Department of Mathematical Sciences, KAIST, 291 Daehak-ro, Yuseong-gu, Daejeon, 34141, Republic of Korea Email address:jgjung@kaist.ac.kr 17

work page 2015