Monomial algebras and $\mathbb{G}_a^n$-equivariant embeddings into toric varieties

Alexander Chernov

arxiv: 2510.22820 · v4 · submitted 2025-10-26 · 🧮 math.AG

Monomial algebras and mathbb{G}_a^n-equivariant embeddings into toric varieties

Alexander Chernov This is my paper

Pith reviewed 2026-05-18 04:19 UTC · model grok-4.3

classification 🧮 math.AG

keywords monomial algebrasadditive actionstoric varietiesprojective embeddingsGa actionsalgebraic pairstoric surfaces

0 comments

The pith

For linearly normal toric varieties with torus-normalized additive actions, the associated algebraic pairs consist of monomial algebras and subspaces spanned by variables.

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

The paper proves that induced additive actions of the additive group on a projective toric variety correspond to pairs consisting of a local algebra and a generating subspace when the action extends to the ambient projective space. When the variety is linearly normal and the action is normalized with respect to the torus action, these pairs are always monomial algebras with the subspace spanned by coordinate variables. The result also gives explicit descriptions of such pairs for toric surfaces embedded in low-dimensional projective spaces. A reader would care because the reduction turns geometric classification problems into combinatorial questions about monomials.

Core claim

We prove that for any linearly normal toric variety equipped with a torus-normalized additive action, the associated pair consists of a monomial algebra and a subspace spanned by variables. We also describe pairs that correspond to additive actions on toric surfaces in low-dimensional projective spaces.

What carries the argument

The general correspondence between induced additive actions on projective varieties and pairs (A, U), where A is a local algebra and U is a generating subspace in the maximal ideal, restricted to the toric case under linear normality and torus normalization.

If this is right

Additive actions on toric varieties admit a combinatorial classification in terms of monomial generators.
Explicit lists of pairs exist for toric surfaces in small projective spaces.
The equivariant embeddings into toric varieties respect the monomial structure of the algebra.
The restriction yields concrete descriptions that were not available from the general theory alone.

Where Pith is reading between the lines

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

The monomial reduction may extend to other normal varieties under suitable linear normality conditions.
This structure could support algorithmic checks for the existence of such actions by testing monomial generators.
Similar restrictions might clarify equivariant embeddings for related group actions in algebraic geometry.

Load-bearing premise

The additive action must be torus-normalized and the toric variety must be linearly normal, allowing the general correspondence to restrict to monomial algebras and variable subspaces.

What would settle it

A linearly normal toric variety carrying a torus-normalized additive action whose corresponding algebra is not monomial or whose subspace is not spanned by variables would falsify the claim.

read the original abstract

An induced additive action on a projective variety $X\subseteq\mathbb{P}^n$ is a regular action of the group $\mathbb{G}_a^n$ on $X$ with an open orbit that can be extended to a regular action on $\mathbb{P}^n$. Such actions are known to correspond to pairs $(A, U)$, where $A$ is a local algebra and $U$ is a generating subspace lying in the maximal ideal. This paper studies additive actions on projective toric varieties, with a particular focus on toric surfaces. We prove that for any linearly normal toric variety equipped with a torus-normalized additive action, the associated pair consists of a monomial algebra and a subspace spanned by variables. Also we describe pairs that correspond to additive actions on toric surfaces in low-dimensional projective spaces.

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 shows torus-normalized additive actions on linearly normal toric varieties give monomial pairs (A, U), with explicit low-dim surface cases, though the coordinate preservation step is the load-bearing part.

read the letter

The main point is that for linearly normal toric varieties with torus-normalized Ga^n actions, the corresponding pair is a monomial algebra with U spanned by variables. The paper also works out the possible pairs for toric surfaces in small projective spaces. This is the concrete new content beyond the general correspondence already in the literature. The argument takes the known bijection between induced additive actions on projective varieties and pairs (A, U) and restricts it using the toric structure plus the normalization condition. It concludes that the torus action being normalized forces a basis in which A is monomial and the generators are just the coordinate variables. The low-dimensional surface descriptions are explicit enough to be checked by hand, which is the part that feels most useful right now. The work is narrow but clean in its scope. It stays inside toric geometry and additive group actions without claiming broader impact. The soft spot is exactly the one the stress-test flags: whether torus normalization really permits a linear change of coordinates that keeps the embedding monomial and the structure constants monomial. The paper handles this by noting that the torus scales the homogeneous coordinates diagonally, so the normalization can be absorbed into a redefinition of the basis while preserving the monomial property. That step looks okay on the cases they treat, but it would be stronger with one or two worked examples showing the coordinate adjustment explicitly rather than just asserting it. No circularity or invented objects appear. The citations track the prior general results without forcing the monomial conclusion from self-reference. This is for people already working on equivariant embeddings or toric surfaces. A reader who needs concrete descriptions of additive actions in the toric setting will get direct value. It is worth sending to peer review. The claim is precise, the setup is standard, and the surface cases are small enough that a referee can verify them without much extra work.

Referee Report

2 major / 2 minor

Summary. The manuscript investigates induced additive actions of the additive group G_a^n on projective toric varieties X subset P^n. Building on the known correspondence between such actions and pairs (A, U) consisting of a local algebra A and a generating subspace U of its maximal ideal, the paper proves that when X is linearly normal and the action is torus-normalized, the pair must consist of a monomial algebra A together with a subspace U spanned by variables. It further classifies all such pairs arising from additive actions on toric surfaces in low-dimensional projective spaces.

Significance. If the central structural result holds, the work supplies a concrete monomial characterization of torus-normalized additive actions on toric varieties, extending the general (A, U) correspondence to the toric setting in a usable way. The explicit low-dimensional surface classifications provide concrete data that may support further computations or conjectures on equivariant embeddings. The manuscript does not contain machine-checked proofs or parameter-free derivations, but the focus on a restricted, geometrically natural class of actions is a clear strength.

major comments (2)

[§3, Theorem 3.2] §3, Theorem 3.2: The claim that torus normalization forces A to be monomial and U to be spanned by variables is load-bearing for the main result, yet the argument does not explicitly verify that the linear change of coordinates compatible with torus normalization preserves the monomial property of the structure constants of A or avoids mixing terms that would violate the toric homogeneous coordinate ring. A concrete check that the conjugation action commutes with the monomial basis without introducing cross terms is required.
[§4.1, Proposition 4.3] §4.1, Proposition 4.3: The classification of pairs for toric surfaces in P^3 and P^4 lists several monomial algebras, but the proof that these exhaust all possibilities under the torus-normalized hypothesis relies on an enumeration whose completeness depends on the same unverified basis-change step identified above; if that step admits non-monomial solutions, the list is incomplete.

minor comments (2)

[§2] Notation for the maximal ideal m_A and the subspace U is introduced without a dedicated preliminary subsection; a short paragraph recalling the precise definition from the cited general correspondence would improve readability.
[Figure 1] Figure 1 (toric surface embeddings) lacks labels on the rays or vertices; adding explicit homogeneous coordinates would clarify the correspondence with the listed monomial algebras.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for identifying points where the argument in Theorem 3.2 requires greater explicitness. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

Referee: [§3, Theorem 3.2] §3, Theorem 3.2: The claim that torus normalization forces A to be monomial and U to be spanned by variables is load-bearing for the main result, yet the argument does not explicitly verify that the linear change of coordinates compatible with torus normalization preserves the monomial property of the structure constants of A or avoids mixing terms that would violate the toric homogeneous coordinate ring. A concrete check that the conjugation action commutes with the monomial basis without introducing cross terms is required.

Authors: We agree that an explicit verification of the monomial preservation under the linear change of coordinates would strengthen the exposition of Theorem 3.2. The torus-normalization hypothesis ensures that any admissible change of coordinates is equivariant with respect to the torus action, which acts diagonally on the homogeneous coordinates of the toric variety. Consequently, the conjugation preserves the monomial basis of the coordinate ring and the weights of the structure constants in A, preventing the introduction of cross terms. We will insert a short auxiliary computation (as a lemma or expanded paragraph) that carries out this conjugation explicitly on the generators and verifies that the resulting multiplication table remains monomial. revision: yes
Referee: [§4.1, Proposition 4.3] §4.1, Proposition 4.3: The classification of pairs for toric surfaces in P^3 and P^4 lists several monomial algebras, but the proof that these exhaust all possibilities under the torus-normalized hypothesis relies on an enumeration whose completeness depends on the same unverified basis-change step identified above; if that step admits non-monomial solutions, the list is incomplete.

Authors: The completeness of the enumeration in Proposition 4.3 is indeed predicated on the structural conclusion of Theorem 3.2. Once the explicit verification requested above is added to Theorem 3.2, the argument that only monomial pairs arise under torus normalization carries over directly, confirming that the listed algebras exhaust the possibilities in the low-dimensional cases. We will add a sentence in the proof of Proposition 4.3 that references the clarified step in Theorem 3.2. revision: partial

Circularity Check

0 steps flagged

No circularity: applies established general correspondence to toric case with independent structural result

full rationale

The derivation rests on the known general bijection between induced Ga^n-actions on projective varieties and pairs (A, U) from prior literature, then restricts this correspondence to linearly normal toric varieties under torus-normalized actions. The monomial algebra and variable-span conclusions follow from the toric embedding and normalization conditions without reducing to a fitted parameter, self-definition, or load-bearing self-citation chain. The paper's central claim adds a new structural verification specific to the toric setting rather than renaming or smuggling an ansatz. No equations or steps in the provided text exhibit a reduction by construction to the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the pre-existing general correspondence between induced additive actions and pairs (A, U) of local algebras and generating subspaces, plus standard definitions of toric varieties, linear normality, and torus actions.

axioms (2)

domain assumption Induced additive actions on projective varieties correspond to pairs (A, U) where A is a local algebra and U is a generating subspace in the maximal ideal.
This is the foundational known correspondence invoked to study the toric case.
domain assumption Toric varieties admit a natural torus action that can normalize the additive action.
Used when restricting to torus-normalized actions on toric varieties.

pith-pipeline@v0.9.0 · 5663 in / 1340 out tokens · 44117 ms · 2026-05-18T04:19:12.064338+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/ArithmeticFromLogic.lean LogicNat recovery theorem unclear

?

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

Theorem 3. ... the corresponding S-pair (A, U) has the following form: A = H0(X, OX(D)) = ⊕ K χm ; U = K χ(1,0,...) ⊕ ... ; the algebra A is monomial.

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.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

On Normality of Projective Hypersurfaces with an Additive Action

I. Arzhantsev, I. Beldiev, Y. Zaitseva, “On Normality of Projective Hypersurfaces with an Additive Action”, arXiv:2404.18484

work page arXiv
[2]

Additive actions on projective hypersurfaces

I. Arzhantsev, A. Popovskiy, “Additive actions on projective hypersurfaces”, Automorphisms in bira- tional and affine geometry, Springer Proc. Math. Stat., 79, Springer, Cham, 2014, 17–33

work page 2014
[3]

Additive actions on toric varieties

I. Arzhantsev, E. Romaskevich, “Additive actions on toric varieties”, Proc. Amer. Math. Soc., 145:5 (2017), 1865–1879

work page 2017
[4]

Arzhantsev, Y

I. Arzhantsev, Y. Zaitseva, ”Equivariant completions of affine spaces”. Russian Math. Surveys, 77:4 (2022), 571–650

work page 2022
[5]

Equivariant compactifications of vector groups with high index

Baohua Fu, P. Montero, “Equivariant compactifications of vector groups with high index”, C.R. Math., 357:5 (2019), 455-461

work page 2019
[6]

Beldiev, ”Gorenstein Algebras and Uniqueness of Additive Actions”, Results Math

I. Beldiev, ”Gorenstein Algebras and Uniqueness of Additive Actions”, Results Math. 78, 192 (2023). 14 ALEXANDER CHERNOV

work page 2023
[7]

Additive actions on projective hypersurfaces with a finite number of orbits

V. Borovik, A. Chernov, A. Shafarevich, “Additive actions on projective hypersurfaces with a finite number of orbits”, J. Algebra. Appl., 2024, pages 2650019

work page 2024
[8]

Toric Varieties

D. Cox, J. Little, H. Schenck, “Toric Varieties”, Proc. Amer. Math. Soc., 2011, 841 pp

work page 2011
[9]

Sous-groupes alg´ ebriques de rang maximum du groupe de Cremona

M. Demazure, “Sous-groupes alg´ ebriques de rang maximum du groupe de Cremona”, Ann. Sci. ´Ecole Norm. Sup., 3:4 (1970), 507-588

work page 1970
[10]

Singular del Pezzo surfaces that are equivariant compactifications

U. Derenthal, D. Loughran, “Singular del Pezzo surfaces that are equivariant compactifications”, J. Math. Sci., 171:6 (2010), 714-724

work page 2010
[11]

Equivariant compactifications of two-dimensional algebraic groups

U. Derenthal, D. Loughran, “Equivariant compactifications of two-dimensional algebraic groups”, Proc. Edinburgh Math. Soc., 58 (2015), 149-168

work page 2015
[12]

Additive actions on complete toric surfaces

S. Dzhunusov, “Additive actions on complete toric surfaces”, Internat. J. Algebra Comput., 31:1 (2021), 19–35

work page 2021
[13]

Geometry of equivariant compactifications ofG n a

B. Hassett, Yu. Tschinkel, “Geometry of equivariant compactifications ofG n a”, Int. Math. Res. Not. IMRN, 1999:22 (1999), 1211–1230

work page 1999
[14]

Commutative algebraic groups and intersections of quadrics

F. Knop, H. Lange, “Commutative algebraic groups and intersections of quadrics”, Math. Ann., 267:4 (1984), 555–571

work page 1984
[15]

Additive actions on toric projective hypersurfaces

A. Shafarevich, “Additive actions on toric projective hypersurfaces”, Results Math., 76:3 (2021), 145, 18 pp

work page 2021
[16]

Fano threefolds as equivariant compactifications of the vector group

Zhizhong Huang, P. Montero, “Fano threefolds as equivariant compactifications of the vector group”, Michigan Math. J., 69:2 (2020), 341-368. Email address:chenov2004@gmail.com Lomonosov Moscow State University, F aculty of Mechanics and Mathemat- ics, Department of Higher Algebra, Leninskie Gory 1, Moscow, 119991 Russia; and HSE University, F aculty of Co...

work page 2020

[1] [1]

On Normality of Projective Hypersurfaces with an Additive Action

I. Arzhantsev, I. Beldiev, Y. Zaitseva, “On Normality of Projective Hypersurfaces with an Additive Action”, arXiv:2404.18484

work page arXiv

[2] [2]

Additive actions on projective hypersurfaces

I. Arzhantsev, A. Popovskiy, “Additive actions on projective hypersurfaces”, Automorphisms in bira- tional and affine geometry, Springer Proc. Math. Stat., 79, Springer, Cham, 2014, 17–33

work page 2014

[3] [3]

Additive actions on toric varieties

I. Arzhantsev, E. Romaskevich, “Additive actions on toric varieties”, Proc. Amer. Math. Soc., 145:5 (2017), 1865–1879

work page 2017

[4] [4]

Arzhantsev, Y

I. Arzhantsev, Y. Zaitseva, ”Equivariant completions of affine spaces”. Russian Math. Surveys, 77:4 (2022), 571–650

work page 2022

[5] [5]

Equivariant compactifications of vector groups with high index

Baohua Fu, P. Montero, “Equivariant compactifications of vector groups with high index”, C.R. Math., 357:5 (2019), 455-461

work page 2019

[6] [6]

Beldiev, ”Gorenstein Algebras and Uniqueness of Additive Actions”, Results Math

I. Beldiev, ”Gorenstein Algebras and Uniqueness of Additive Actions”, Results Math. 78, 192 (2023). 14 ALEXANDER CHERNOV

work page 2023

[7] [7]

Additive actions on projective hypersurfaces with a finite number of orbits

V. Borovik, A. Chernov, A. Shafarevich, “Additive actions on projective hypersurfaces with a finite number of orbits”, J. Algebra. Appl., 2024, pages 2650019

work page 2024

[8] [8]

Toric Varieties

D. Cox, J. Little, H. Schenck, “Toric Varieties”, Proc. Amer. Math. Soc., 2011, 841 pp

work page 2011

[9] [9]

Sous-groupes alg´ ebriques de rang maximum du groupe de Cremona

M. Demazure, “Sous-groupes alg´ ebriques de rang maximum du groupe de Cremona”, Ann. Sci. ´Ecole Norm. Sup., 3:4 (1970), 507-588

work page 1970

[10] [10]

Singular del Pezzo surfaces that are equivariant compactifications

U. Derenthal, D. Loughran, “Singular del Pezzo surfaces that are equivariant compactifications”, J. Math. Sci., 171:6 (2010), 714-724

work page 2010

[11] [11]

Equivariant compactifications of two-dimensional algebraic groups

U. Derenthal, D. Loughran, “Equivariant compactifications of two-dimensional algebraic groups”, Proc. Edinburgh Math. Soc., 58 (2015), 149-168

work page 2015

[12] [12]

Additive actions on complete toric surfaces

S. Dzhunusov, “Additive actions on complete toric surfaces”, Internat. J. Algebra Comput., 31:1 (2021), 19–35

work page 2021

[13] [13]

Geometry of equivariant compactifications ofG n a

B. Hassett, Yu. Tschinkel, “Geometry of equivariant compactifications ofG n a”, Int. Math. Res. Not. IMRN, 1999:22 (1999), 1211–1230

work page 1999

[14] [14]

Commutative algebraic groups and intersections of quadrics

F. Knop, H. Lange, “Commutative algebraic groups and intersections of quadrics”, Math. Ann., 267:4 (1984), 555–571

work page 1984

[15] [15]

Additive actions on toric projective hypersurfaces

A. Shafarevich, “Additive actions on toric projective hypersurfaces”, Results Math., 76:3 (2021), 145, 18 pp

work page 2021

[16] [16]

Fano threefolds as equivariant compactifications of the vector group

Zhizhong Huang, P. Montero, “Fano threefolds as equivariant compactifications of the vector group”, Michigan Math. J., 69:2 (2020), 341-368. Email address:chenov2004@gmail.com Lomonosov Moscow State University, F aculty of Mechanics and Mathemat- ics, Department of Higher Algebra, Leninskie Gory 1, Moscow, 119991 Russia; and HSE University, F aculty of Co...

work page 2020