pith. sign in

arxiv: 2604.15473 · v2 · pith:67GKV5SUnew · submitted 2026-04-16 · 🧮 math.DG · math.RA

Scalar relative differential invariants

Boris Kruglikov , Eivind Schneider This is my paper

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

classification 🧮 math.DG math.RA
keywords relative differential invariantsfinite generationdifferential algebraequivalence problemgeometric structurespolynomial invariantsrational invariantsgroup actions
0
0 comments X

The pith

The algebra of relative differential invariants becomes finitely generated after localization on a finite set of them.

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

This paper studies relative differential invariants, which classify geometric structures up to equivalence under group actions. It shows that the algebra of polynomial versions is not finitely generated in general. However, localizing the differential algebra at a finite collection of these invariants produces a finitely generated structure. The result applies across various setups for geometric structures, and the authors also bound the orders of rational relative invariants while examining their weights. A reader would care because this turns an otherwise infinite computational task into a finite one for equivalence problems.

Core claim

The authors demonstrate that for various setups of geometric structures and group actions, the algebra of polynomial relative differential invariants is not finitely generated. However, localizing this algebra on a finite set of relative invariants renders the differential algebra finitely generated. They further investigate the weights of rational relative differential invariants and provide bounds on their orders, supported by several nontrivial examples.

What carries the argument

Localization of the differential algebra of relative invariants on a finite set, which converts an infinitely generated algebra into a finitely generated one.

If this is right

  • Equivalence problems for geometric structures reduce to checking invariants from a finite generating set after localization.
  • Rational relative differential invariants have bounded orders that limit the jet space dimension needed for computations.
  • Weights of these invariants follow systematic patterns that can be tracked explicitly.
  • Applications to concrete examples become feasible through finite bases rather than infinite hierarchies.

Where Pith is reading between the lines

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

  • The localization method might extend to equivalence problems involving infinite-dimensional groups or non-polynomial invariants.
  • Bounds on orders could enable algorithmic searches for complete sets of invariants in specific geometries.
  • Connections to symmetry methods in differential equations could use the same finite-generation property for reduction.

Load-bearing premise

Geometric structures under group actions admit a well-defined notion of relative differential invariants whose algebra can be localized in the stated manner.

What would settle it

A specific geometric structure and group action where localizing at any finite set of relative invariants still leaves the differential algebra infinitely generated.

Figures

Figures reproduced from arXiv: 2604.15473 by Boris Kruglikov, Eivind Schneider.

Figure 1
Figure 1. Figure 1: The figure shows the weight and order of Q2i for i = 2, . . . , 5. It illus￾trates that Q2i is computed from Q2(i−1) by two applications of ∆ and division by R2 (the term in Q2i involving Q4Q2(i−1) is neglected in this illustration, but is important in order to get a polynomial after division). The key take-away is that the slope of the ∆-arrows is smaller than the slope of the line that connects the invar… view at source ↗
read the original abstract

Computation of polynomial relative invariants is a classical tool in algebra. Relative differential invariants are central for the equivalence problem of geometric structures. We address the fundamental problem of finite generation of their (differential) algebra and demonstrate both positive and negative results in this respect under various setups. As in the algebraic case, the algebra of polynomial differential invariants is not finitely generated. However we show that after localization on a finite set of relative invariants the differential algebra becomes finitely generated. We also investigate the weights of rational relative differential invariants and bound their order. Several nontrivial examples are considered and further applications are discussed.

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

0 major / 2 minor

Summary. The paper studies the algebra of relative differential invariants associated to geometric structures under group actions. It proves that the algebra of polynomial relative differential invariants is not finitely generated in general, but becomes finitely generated as a differential algebra after localization at a finite set of relative invariants. Explicit generators and order bounds are supplied for the rational case, with definitions and constructions given for projective, conformal, and other setups, along with examples and applications to the equivalence problem.

Significance. If the central results hold, the work supplies a concrete mechanism for achieving finite generation of differential invariant algebras via localization, together with explicit generators and order bounds. This directly aids computational approaches to the equivalence problem for geometric structures and extends classical algebraic invariant theory to the differential setting in a usable way.

minor comments (2)
  1. [§2.3] §2.3: the notation for the localized differential algebra could be introduced with a single displayed equation to make the transition from the polynomial case clearer.
  2. [§4] The examples in §4 would benefit from a short table summarizing the generators, their orders, and the localization set for each geometric structure considered.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript on scalar relative differential invariants and for the positive assessment. The recommendation for minor revision is noted, and we will incorporate appropriate adjustments in the revised version. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper establishes a mathematical result on finite generation of the algebra of polynomial relative differential invariants after localization at a finite set of such invariants. It explicitly defines relative differential invariants for the geometric structures and group actions under consideration, proves non-finite generation in the polynomial case via algebraic arguments, and demonstrates finite generation of the localized differential algebra with explicit generators and order bounds for the rational case. The derivation chain consists of direct constructions, localization procedures, and example computations that are self-contained within the paper's stated setups; no steps reduce by definition to their own outputs, no parameters are fitted and relabeled as predictions, and no load-bearing claims rest on unverified self-citations. The result is therefore independent of its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review prevents extraction of specific free parameters, axioms, or invented entities; the work relies on standard notions from differential geometry and algebra without evident ad-hoc inventions in the summary.

pith-pipeline@v0.9.0 · 5611 in / 1065 out tokens · 28046 ms · 2026-05-21T01:15:06.154365+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

  1. [1]

    Atiyah,Vector Bundles Over an Elliptic Curve, Proc

    M. Atiyah,Vector Bundles Over an Elliptic Curve, Proc. London Math. Soc.7, 414–452 (1957)

    work page 1957

  2. [2]

    R. J. Baston, M. G. Eastwood,Invariant operators, Twistors in mathematics and physics, London Math. Soc. Lecture Note Ser.156, 129–163, Cambridge Univ. Press, Cambridge (1990)

    work page 1990

  3. [3]

    P. V. Bibikov,On Lie’s Problem and Differential Invariants of ODEsy ′′ =F(x, y), Funct. Analysis Appl. 51, no. 4, 255-262 (2017)

    work page 2017

  4. [4]

    Blanc, P.-M

    J. Blanc, P.-M. Poloni, I. Van Santen,Complements of hypersurfaces in projective spaces, Journ. de l’ ´Ecole polytechinque Math.11, 733–768 (2024)

    work page 2024

  5. [5]

    Bott,Homogeneous Vector Bundles, Ann

    R. Bott,Homogeneous Vector Bundles, Ann. of Math.66(2), 203–248 (1957)

    work page 1957

  6. [6]

    Cartan,Sur la g´ eom´ etrie pseudo-conforme des hypersurfaces de deux variables complexes I, Annali di Matematica11, 17–90 (1932)

    ´E. Cartan,Sur la g´ eom´ etrie pseudo-conforme des hypersurfaces de deux variables complexes I, Annali di Matematica11, 17–90 (1932)

    work page 1932

  7. [7]

    Cartan,Sur les vari´ et´ es ` a connexion projective, Bull

    ´E. Cartan,Sur les vari´ et´ es ` a connexion projective, Bull. Soc. Math. France52, 205–241 (1924)

    work page 1924

  8. [8]

    Chalkley,Basic global relative invariants for nonlinear differential equations, Mem

    R. Chalkley,Basic global relative invariants for nonlinear differential equations, Mem. Amer. Math. Soc. 190, no. 888 (2007)

    work page 2007

  9. [9]

    Chevalley,Algebraic Lie algebras, Ann

    C. Chevalley,Algebraic Lie algebras, Ann. of Math.48, 91-100 (1947)

    work page 1947

  10. [10]

    Coley, S

    A. Coley, S. Hervik, N. Pelavas,Spacetimes characterized by their scalar curvature invariants, Class. Quantum Grav.26, 025013 (2009)

    work page 2009

  11. [11]

    Daigle, G

    D. Daigle, G. Freudenburg,A Counterexample to Hilbert’s Fourteenth Problem in Dimension 5, Journal of Algebra221, 528-535 (1999)

    work page 1999

  12. [12]

    M. Fels, P. Olver,On Relative Invariants, Math. Ann.308, 701-732 (1997)

    work page 1997

  13. [13]

    Freudenburg,A survey of counterexamples to Hilbert’s fourteenth problem, Serdica Math

    G. Freudenburg,A survey of counterexamples to Hilbert’s fourteenth problem, Serdica Math. Journ.27, 171-192 (2001)

    work page 2001

  14. [14]

    Fujiki,On automorphism groups of compact K¨ ahler manifolds, Invent

    A. Fujiki,On automorphism groups of compact K¨ ahler manifolds, Invent. Math.44, 225–258 (1978)

    work page 1978

  15. [15]

    D. B. Fuks,Cohomology of infinite-dimensional Lie algebras, Consultants Bureau, New York (1986)

    work page 1986

  16. [16]

    Gonz´ alez-L´ opez, N

    A. Gonz´ alez-L´ opez, N. Kamran, P. Olver,Lie Algebras of Differential Operators in Two Complex Variables, American Journal of Mathematics114, 1163-1185 (1992)

    work page 1992

  17. [17]

    D. Greb, C. Miebach,Invariant meromorphic functions on Stein spaces, Ann. Inst. Fourier (Grenoble)62 (5), 1983-2011 (2012)

    work page 1983

  18. [18]

    Griffiths, J

    P. Griffiths, J. Harris,Principles of Algebraic Geometry, John Wiley & Sons, Inc., New York (1978)

    work page 1978

  19. [19]

    G. H. Halphen,Sur les invariants differentiels, Paris, Gauthier-Villars (1878)

    work page

  20. [20]

    Hartshorne,Algebraic Geometry, Berlin, New York: Springer-Verlag (1977)

    R. Hartshorne,Algebraic Geometry, Berlin, New York: Springer-Verlag (1977). 48

    work page 1977

  21. [21]

    Helgason,Some results on invariant differential operators on symmetric spaces, Amer

    S. Helgason,Some results on invariant differential operators on symmetric spaces, Amer. J. Math.114, 789–811 (1992)

    work page 1992

  22. [22]

    Klein,Vergleichende Betrachtungen uber neuere geometrische Forschungen, Erlangen, A

    F. Klein,Vergleichende Betrachtungen uber neuere geometrische Forschungen, Erlangen, A. Deichert (1872)

    work page

  23. [23]

    E. R. Kolchin,Differential Algebra and Algebraic Groups, Academic Press, New York (1973)

    work page 1973

  24. [24]

    Konovenko, V

    N. Konovenko, V. Lychagin,On projective classification of plane curves, Global and Stochastic Analysis1 (2), 241–264 (2011)

    work page 2011

  25. [25]

    Krasil’shchik, A.M

    I.S. Krasil’shchik, A.M. Vinogradov (editors),Symmetries and Conservation Laws for Differential Equations of Mathematical Physics, AMS, Providence, Rhode Island (1999)

    work page 1999

  26. [26]

    B. Kruglikov,Point classification of 2nd order ODEs: Tresse classification revisited and beyond, Differential equations - Geometry, Symmetries and Integrability, The Abel Symposium 2008, ABEL5, 199-221, Springer Verlag (2009)

    work page 2008

  27. [27]

    Kruglikov, V

    B. Kruglikov, V. Lychagin,Geometry of differential equations, in D. Krupka, D. Saunders (eds.), Handbook of Global Analysis, 725-771, Elsevier (2008)

    work page 2008

  28. [28]

    Kruglikov, V

    B. Kruglikov, V. Lychagin,The global Lie-Tresse theorem, Selecta Math.22, 1357-411, (2016)

    work page 2016

  29. [29]

    Kruglikov, E

    B. Kruglikov, E. Schneider,Differential invariants of Kundt spacetimes, Class. Quantum Grav.38, 195017 (2021)

    work page 2021

  30. [30]

    Kruglikov, E

    B. Kruglikov, E. Schneider,ODEs whose Symmetry Groups are not Fiber-Preserving, Journal of Lie Theory 33, 1045-1086 (2023)

    work page 2023

  31. [31]

    Kruglikov, E

    B. Kruglikov, E. Schneider,Invariant divisors and equivariant line bundles, Forum of Mathematics Sigma, 13:e68, 1–36 (2025)

    work page 2025

  32. [32]

    Kumpera,Invariants diff´ erentiels d’un pseudogroupe de Lie, J

    A. Kumpera,Invariants diff´ erentiels d’un pseudogroupe de Lie, J. Diff. Geom.10, 289-416 (1975)

    work page 1975

  33. [33]

    Kumpera, D

    A. Kumpera, D. Spencer,Lie equations. Volume 1: General theory, Princeton University Press and University Tokyo Press (1972)

    work page 1972

  34. [34]

    Laguerre,Sur quelques invariants des equations differentielles, Comptes Rendus88, 224-227 (1879)

    E. Laguerre,Sur quelques invariants des equations differentielles, Comptes Rendus88, 224-227 (1879)

    work page

  35. [35]

    S. Lie, F. Engel,Theorie der Transformationsgruppen, Teubner, Leipzig (1890-1893)

    work page

  36. [36]

    Lie,Ueber Differentialinvarianten, Math

    S. Lie,Ueber Differentialinvarianten, Math. Ann.24, no. 4, 537–578 (1884); also:Sophus Lie’s 1884 dif- ferential invariant paper, Engl. translation by M. Ackerman, comments by R. Hermann, Math. Sci. Press, Brookline, MA (1976)

    work page 1976

  37. [37]

    Merker,Lie symmetries and CR geometry, Complex analysis, J

    J. Merker,Lie symmetries and CR geometry, Complex analysis, J. Math. Sci.154, no. 6, 817–922 (2008)

    work page 2008

  38. [38]

    Mumford,Geometric Invariant Theory, Springer-Verlag, Berlin (1965)

    D. Mumford,Geometric Invariant Theory, Springer-Verlag, Berlin (1965)

    work page 1965

  39. [39]

    Olver,Equivalence, Invariants, and Symmetry, Cambridge University Press (1995)

    P. Olver,Equivalence, Invariants, and Symmetry, Cambridge University Press (1995)

    work page 1995

  40. [40]

    Olver, J

    P. Olver, J. Pohjanpelto,Differential invariant algebras of Lie pseudo-groups, Adv. Math.222, no. 5, 1746– 1792 (2009)

    work page 2009

  41. [41]

    L. V. Ovsiannikov,Group analysis of differential equations, Russian: Nauka, Moscow (1978); Engl. transl.: Academic Press, New York (1982)

    work page 1978

  42. [42]

    V. L. Popov, E. B. Vinberg,Invariant theory, in:Algebraic geometry. IV, Enciclopaedia of Mathematical Sciences,55, Springer-Verlag, Berlin (1994)

    work page 1994

  43. [43]

    Pravda, A

    V. Pravda, A. Pravdova, A. Coley, R. Milson,All spacetimes with vanishing curvature invariants, Class. Quantum Grav.19, 6213 (2002)

    work page 2002

  44. [44]

    Rosenlicht,Some basic theorems on algebraic groups, Amer

    M. Rosenlicht,Some basic theorems on algebraic groups, Amer. J. Math.78, 401–443 (1956)

    work page 1956

  45. [45]

    Robart, N

    T. Robart, N. Kamran,Sur la th´ eorie locale des pseudogroupes de transformations continus infinis. I, Math. Ann.308, no. 4, 593–613 (1997)

    work page 1997

  46. [46]

    Ferrer Santos, A

    W. Ferrer Santos, A. Rittatore,Actions and Invariants of Algebraic Groups, Chapman & Hall/CRC Press, Boca Raton (2005)

    work page 2005

  47. [47]

    Schneider,Projectable Lie algebras of vector fields in 3D, J

    E. Schneider,Projectable Lie algebras of vector fields in 3D, J. Geom. Phys.132, 222-229 (2018)

    work page 2018

  48. [48]

    Tresse,Sur les invariants differentiels des groupes continus de transformations, Acta Math.18, 1-88 (1894)

    A. Tresse,Sur les invariants differentiels des groupes continus de transformations, Acta Math.18, 1-88 (1894)

    work page

  49. [49]

    Tresse,D´ etermination des invariants ponctuels de l’´ equation diff´ erentielle ordinaire du second ordrey′′ = ω(x, y, y′), Leipzig (1896)

    A. Tresse,D´ etermination des invariants ponctuels de l’´ equation diff´ erentielle ordinaire du second ordrey′′ = ω(x, y, y′), Leipzig (1896)

    work page

  50. [50]

    Weyl,Classical Groups, Princeton University Press, Princeton (1946)

    H. Weyl,Classical Groups, Princeton University Press, Princeton (1946). † Department of Mathematics and Statistics, UiT the Arctic University of Norway, Tromsø 9037, Norway. Email addresses:boris.kruglikov@uit.noandeivind.schneider@uit.no

    work page 1946