pith. sign in

arxiv: 2510.19053 · v2 · pith:B6GVDNP2new · submitted 2025-10-21 · 🧮 math.AG · math.DG· math.GR

Invariant theory for non-reductive actions: extensions of Hilbert and Schwarz theorems

Leandro Nery This is my paper

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

classification 🧮 math.AG math.DGmath.GR
keywords invariant theorynon-reductive groupsLorentz grouppolynomial invariantssmooth invariantsproper actionsHilbert theoremSchwarz theorem
0
0 comments X

The pith

For discrete Lorentz group actions, polynomial invariants are finitely generated but do not generate the smooth ones.

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

The paper examines how classical correspondences between polynomial and smooth invariants break down outside compact reductive groups. It focuses on discrete subgroups of the Lorentz group O(n,1) acting on Minkowski space and on cocompact actions of groups on smooth manifolds. In the first setting the polynomial invariants form a finitely generated ring that nevertheless fails to generate all smooth invariants. In the second the polynomials collapse to constants while the smooth invariants remain finitely generated and are fixed by the smooth structure on the quotient. The work organizes these behaviors into four regimes and isolates properness as the feature that determines when algebraic and analytic descriptions of invariants match.

Core claim

For discrete subgroups of the Lorentz group O(n,1) acting on R^{n,1}, the ring of polynomial invariants is finitely generated, but the smooth invariants are not generated by the polynomial ones. In the case of cocompact actions on smooth manifolds, the polynomial invariant ring reduces to constants, while the algebra of smooth invariants is finitely generated and determined by the smooth structure of the quotient manifold. These results lead to a classification of invariant-theoretic regimes into four categories, identifying the boundaries of the Hilbert--Weyl and Schwarz theorems and establishing the role of properness in the alignment of algebraic and analytic descriptions of symmetry.

What carries the argument

Properness of the action, the property that aligns or separates the algebraic ring of polynomial invariants from the algebra of smooth invariants.

If this is right

  • Discrete Lorentz actions produce a finitely generated polynomial invariant ring whose generators do not exhaust the smooth invariants.
  • Cocompact actions reduce the polynomial invariants to constants while the smooth invariants form a finitely generated algebra tied to the quotient manifold.
  • The classical Hilbert--Weyl finite-generation statement holds for polynomials in these regimes but fails to extend to smooth invariants.
  • Four regimes emerge according to compactness and properness, marking the limits of the Hilbert--Weyl and Schwarz theorems.

Where Pith is reading between the lines

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

  • The same divergence between polynomial and smooth invariants is likely to appear for other non-proper actions of non-compact groups.
  • Low-dimensional examples, such as specific discrete subgroups in O(2,1), offer direct calculable tests of the claimed separation.
  • The smooth-invariant algebra may supply natural functions or coordinates for studying quotients that arise in Lorentzian or hyperbolic geometry.

Load-bearing premise

Properness of the action is the decisive property that separates cases where algebraic and analytic invariants align from cases where they diverge.

What would settle it

An explicit computation for a concrete discrete subgroup of O(3,1) showing that every smooth invariant is a polynomial in the generators of the polynomial ring would falsify the claimed divergence.

read the original abstract

Classical invariant theory establishes a systematic correspondence between algebraic and smooth invariants for compact and reductive Lie groups. However, the extension of these results to non-compact and non-reductive regimes remains a subject of ongoing research. This paper examines the divergence between the algebras of polynomial and smooth invariants in two specific settings: discrete subgroups of the Lorentz group $O(n,1)$ acting on $\mathbb{R}^{n,1}$, and cocompact actions on smooth manifolds. We prove that for discrete Lorentz groups, the ring of polynomial invariants is finitely generated, but the smooth invariants are not generated by the polynomial ones. In the case of cocompact actions, we demonstrate that the polynomial invariant ring reduces to constants, while the algebra of smooth invariants is finitely generated and determined by the smooth structure of the quotient manifold. These results lead to a classification of invariant-theoretic regimes into four categories, identifying the boundaries of the Hilbert--Weyl and Schwarz theorems and establishing the role of properness in the alignment of algebraic and analytic descriptions of symmetry.

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.

Referee Report

1 major / 0 minor

Summary. The paper extends classical invariant theory results of Hilbert and Schwarz to non-reductive settings. For discrete subgroups of the Lorentz group O(n,1) acting on R^{n,1}, it claims the ring of polynomial invariants is finitely generated while the smooth invariants are not generated by the polynomials. For cocompact actions on smooth manifolds, the polynomial invariant ring reduces to constants while the algebra of smooth invariants is finitely generated and determined by the smooth structure of the quotient. These findings yield a four-regime classification of invariant-theoretic behavior, with properness of the action identified as the key property aligning algebraic and analytic descriptions.

Significance. If the derivations are complete and the definitional issues resolved, the work would usefully map the boundaries of the Hilbert-Weyl and Schwarz theorems in non-reductive regimes and clarify the role of properness, providing concrete examples that separate polynomial and smooth invariant algebras.

major comments (1)
  1. The section on cocompact actions on smooth manifolds: the claim that the polynomial invariant ring reduces to constants is not well-defined, as polynomial functions are canonically defined only on affine spaces such as R^{n,1} and require an additional global affine structure or coordinate atlas that is not supplied for a general smooth manifold. This assumption is load-bearing for the four-regime classification and the asserted separation between algebraic and analytic invariants.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying a key definitional issue. We address the concern point by point below and will revise the manuscript accordingly to resolve the ambiguity while preserving the core classification and the role of properness.

read point-by-point responses

  1. Referee: The section on cocompact actions on smooth manifolds: the claim that the polynomial invariant ring reduces to constants is not well-defined, as polynomial functions are canonically defined only on affine spaces such as R^{n,1} and require an additional global affine structure or coordinate atlas that is not supplied for a general smooth manifold. This assumption is load-bearing for the four-regime classification and the asserted separation between algebraic and analytic invariants.

    Authors: We agree that polynomial functions are canonically defined only on affine spaces and that a global affine structure (or affine atlas) must be supplied for the notion to be well-defined on a manifold. The manuscript implicitly assumes the cocompact actions occur on affine manifolds (i.e., manifolds locally modeled on affine space with affine transition maps), but this was not stated explicitly. In the revised version we will add a precise definition of the setting, restrict the cocompact regime to affine manifolds, and update the four-regime classification to reflect this restriction. These changes will make the separation between the constant polynomial invariants and the finitely generated smooth invariants rigorous and will reinforce the identification of properness as the property that aligns algebraic and analytic descriptions. revision: yes

Circularity Check

0 steps flagged

No circularity; direct proofs for invariant rings in Lorentz and cocompact cases

full rationale

The paper states direct proofs that polynomial invariants are finitely generated for discrete Lorentz subgroups on R^{n,1} while smooth invariants are not, and that for cocompact actions the polynomial ring reduces to constants with smooth invariants finitely generated from the quotient manifold. These distinctions support the four-regime classification without any quoted self-citation chains, fitted parameters renamed as predictions, or definitional reductions where a claimed result equals its input by construction. The role of properness is presented as an outcome of the proofs rather than an unverified assumption imported from prior author work. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard background facts from Lie group theory and invariant theory for the definitions of the actions and the notions of finite generation; no free parameters are fitted and no new entities are postulated.

axioms (1)
  • standard math Standard properties of Lie groups, discrete subgroups, and smooth manifold actions hold as in classical differential geometry.
    Invoked to set up the Lorentz group actions on R^{n,1} and the cocompact actions on manifolds.

pith-pipeline@v0.9.0 · 5707 in / 1440 out tokens · 38579 ms · 2026-05-18T04:38:46.743492+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

19 extracted references · 19 canonical work pages

  1. [1]

    Normal form theory for reversible equivariant vector fields.Bulletin of the Brazilian Mathematical Society, New Series, 47:935–954, 2016

    Patricia H Baptistelli, Miriam Manoel, and Iris O Zeli. Normal form theory for reversible equivariant vector fields.Bulletin of the Brazilian Mathematical Society, New Series, 47:935–954, 2016

    work page 2016

  2. [2]

    Springer Science & Business Media, 2012

    Martin Golubitsky, Ian Stewart, and David G Schaeffer.Singularities and groups in bifurcation theory: volume II, volume 69. Springer Science & Business Media, 2012

    work page 2012

  3. [3]

    One-parameter planar motions in generalized complex number planeC j.Advances in Applied Clifford Algebras, 25(4):889–903, 2015

    Nurten G¨ urses and Salim Y¨ uce. One-parameter planar motions in generalized complex number planeC j.Advances in Applied Clifford Algebras, 25(4):889–903, 2015

    work page 2015

  4. [4]

    Geometry of generalized complex numbers

    Anthony A Harkin and Joseph B Harkin. Geometry of generalized complex numbers. Mathematics magazine, 77(2):118–129, 2004

    work page 2004

  5. [5]

    Ueber die theorie der algebraischen formen.Mathematische annalen, 36(4):473–534, 1890

    David Hilbert. Ueber die theorie der algebraischen formen.Mathematische annalen, 36(4):473–534, 1890

    work page

  6. [6]

    Ueber die vollen invariantensysteme.Mathematische Annalen, 42:313–373, 1893

    David Hilbert. Ueber die vollen invariantensysteme.Mathematische Annalen, 42:313–373, 1893

    work page

  7. [7]

    Humphreys.Linear Algebraic Groups, volume 21 ofGraduate Texts in Mathematics

    James E. Humphreys.Linear Algebraic Groups, volume 21 ofGraduate Texts in Mathematics. Springer-Verlag, 1975

    work page 1975

  8. [8]

    Lee.Introduction to Smooth Manifolds

    John M. Lee.Introduction to Smooth Manifolds. Graduate Texts in Mathematics. Springer, 2nd edition, 2012

    work page 2012

  9. [9]

    Fonctions diff´ erentiables invariantes sous l’op´ eration d’un groupe r´ eductif

    Domingo Luna. Fonctions diff´ erentiables invariantes sous l’op´ eration d’un groupe r´ eductif. In Annales de l’institut Fourier, volume 26, pages 33–49, 1976

    work page 1976

  10. [10]

    On affine homogeneous polynomial centrosymmetric matrices

    Miriam Manoel and Leandro Nery. On affine homogeneous polynomial centrosymmetric matrices. arXiv preprint arXiv:2503.20141, 2025. 20

    work page arXiv 2025

  11. [11]

    Equivariant mappings and invariant sets on minkowski space.Colloquium Mathematicum, 167:93–107, 2022

    Miriam Manoel and Leandro Nery Oliveira. Equivariant mappings and invariant sets on minkowski space.Colloquium Mathematicum, 167:93–107, 2022

    work page 2022

  12. [12]

    Springer-Verlag, Berlin, Heidelberg, 3rd enlarged edition, 1994

    David Mumford, John Fogarty, and Frances Kirwan.Geometric Invariant Theory, volume 34 ofErgebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag, Berlin, Heidelberg, 3rd enlarged edition, 1994

    work page 1994

  13. [13]

    On the 14-th problem of hilbert.American Journal of Mathematics, 81(3):766–772, 1959

    Masayoshi Nagata. On the 14-th problem of hilbert.American Journal of Mathematics, 81(3):766–772, 1959

    work page 1959

  14. [14]

    The fubini theorem for normal lie subgroups of index 2n.RCT-Revista de Ciˆ encia e Tecnologia, 9, 2023

    Leandro Nery Oliveira and Marcos A de Alcˆ antara. The fubini theorem for normal lie subgroups of index 2n.RCT-Revista de Ciˆ encia e Tecnologia, 9, 2023

    work page 2023

  15. [15]

    Olver.Classical Invariant Theory, volume 44 ofLondon Mathematical Society Student Texts

    Peter J. Olver.Classical Invariant Theory, volume 44 ofLondon Mathematical Society Student Texts. Cambridge University Press, 1999

    work page 1999

  16. [16]

    Ratcliffe.Foundations of Hyperbolic Manifolds, volume 149 ofGraduate Texts in Mathematics

    John G. Ratcliffe.Foundations of Hyperbolic Manifolds, volume 149 ofGraduate Texts in Mathematics. Springer, New York, 4th edition, 2019

    work page 2019

  17. [17]

    Smooth functions invariant under the action of a compact lie group

    Gerald W Schwarz. Smooth functions invariant under the action of a compact lie group. Topology, 14:63–68, 1975

    work page 1975

  18. [18]

    Princeton university press, 1946

    Hermann Weyl.The classical groups: their invariants and representations, volume 1. Princeton university press, 1946

    work page 1946

  19. [19]

    Academic Press, 2014

    Isaak Moiseevitch Yaglom.Complex numbers in geometry. Academic Press, 2014. 21

    work page 2014