Global Algebraic Differential Invariants

• Global algebraic differential invariants are rational functions on jet spaces that remain unchanged under prolonged algebraic group actions.
• The framework unifies classical invariant theory with modern differential geometry and Lie methods to establish generation theorems and syzygies.
• It provides concrete computational tools, such as moving-frame techniques, for equivalence testing in algebraic geometry, differential equations, and dynamical systems.

A global algebraic differential invariant is an algebraic or rational function on a jet space (or, more generally, on the parameter space of geometric or algebraic objects) that is invariant under the (prolonged) action of an algebraic group or pseudogroup. The theory of such invariants synthesizes the classical algebraic invariant theory with modern differential-geometric and Lie-theoretic methods, enabling a comprehensive, global, and algorithmic approach to the classification and equivalence of geometric objects under symmetry groups. This framework provides not only foundational finiteness and generation theorems but also concrete computational methods and connections to equivalence problems in algebraic geometry, differential equations, complex geometry, and dynamical systems.

1. Formal Foundations: Algebraic and Differential Invariants

Consider a reductive algebraic group $G$ acting algebraically on an affine variety $V$. An algebraic invariant is a polynomial $I\in\mathbb{C}[V]$ satisfying $I(g\cdot v)=I(v)$ for all $g\in G$. The algebraic quotient variety $V\sslash G=\mathrm{Spec}(\mathbb{C}[V]^G)$ parametrizes closed orbits, and the map $V\to V\sslash G$ separates orbits on a Zariski-dense open set.

In the differential setting, let $M$ be a smooth manifold, and $J^k(M)$ the $k$-jet bundle of functions or submanifolds. The group $G$ acts by prolongation on $J^k(M)$. A rational differential invariant is a rational function $I\in\mathbb{C}(J^k(M))$ satisfying $I(A^{(k)}\cdot j^k_xf)=I(j^k_xf)$ for all $A\in G$ in the prolonged action. The space of such invariants forms a field, finitely generated over $\mathbb{C}$ by finitely many invariants and invariant derivations according to global Lie–Tresse-type theorems (Lychagin et al., 2021, Kruglikov et al., 2011, 0710.4318).

Beyond individual invariants, the differential quotient is encoded by the system of syzygies (PDEs) among the generators of the field of invariants, capturing the finer structure of orbit spaces.

2. Structure Theorems: Finiteness, Generators, Syzygies

A central achievement of modern theory is the Global Lie–Tresse Theorem: For a transitive algebraic group ($G$) or pseudogroup acting on a manifold $M$ (often on jet spaces or solution spaces of algebraic PDEs), the algebra of rational differential invariants is generated by finitely many invariants $I_1,\dots,I_q$ and finitely many invariant derivations $\mathcal{D}_1,\dots,\mathcal{D}_m$, such that any invariant can be expressed as a rational function of iterated invariant derivatives of the generators. All algebraic relations (syzygies) among these generators are governed by the prolonged system of PDEs in the chain of invariants (Lychagin et al., 2021, Kruglikov et al., 2011, 0710.4318, Kogan, 2024).

This structure is reflected both in classical finite generation of invariant rings (e.g., Hilbert–Gordan for binary forms) and in the finite generation of the algebra of differential invariants for group actions and pseudogroup actions (e.g., Kruglikov–Lychagin, Bérczi–Kirwan) (Lychagin et al., 2021, Berczi et al., 2010).

Syzygies—differential relations among generating invariants—fully describe the dependency structure and thus characterize the differential quotient and its geometric meaning.

3. Computational Methods and Moving-Frame Construction

Invariants are computed either by explicit symbolic linear algebra (solving prolongation equations $V_a^{(k)}(I)=0$ for group infinitesimal generators), or via the algebraic adaptation of the moving-frame method. Fels and Olver’s normalized moving frame delivers a canonical cross-section to group orbits in jet space, providing normalized invariants with the "replacement" property: all other invariants express as functions of this set (0710.4318, Kogan, 2024).

In the algebraic situation, the moving-frame process is rendered fully global by working on a Zariski-open dense set and algorithmically eliminating variables with Gröbner-basis or elimination theory. For actions on spaces of coefficients, the field of invariants is the intersection of the kernels of derivations corresponding to infinitesimal generators (Bedratyuk, 2011).

Cartan's approach to equivalence problems is thus made algebraic and global: computation of rational invariants and derivations in jet-parameter space leads to an explicit description of the invariant algebra and quotient geometry.

4. Key Examples and Applications

• Binary and Ternary Forms: The action of $\mathrm{SL}_2(\mathbb{C})$ on binary forms and $\mathrm{SL}_3(\mathbb{C})$ on ternary forms admits finitary classification of orbits by polynomial or rational invariants, extended in the jet/differential setting to include differential syzygies representing relations among these (Lychagin et al., 2021). For low degrees (cubics, quartics), the full system of fundamental invariants and syzygies can often be explicitly written.
• Affine and Projective Classifications of Curves: Differential invariants (curvature, affine or projective curvatures, their derivatives) form separating invariants for planar curves under the action of affine or projective groups. The signature map, which assigns to an algebraic curve the Zariski closure of its classifying differential invariants, provides a global transverse to orbits and enables explicit equivalence testing (Kogan et al., 2018, Kogan, 2024).
• Surfaces and Higher-Dimensional Equivalence: Surfaces in $\mathbb{C}^3$ under affine or other group actions are classified by differential invariants synthesized via the moving-frame approach, with explicit recurrence and syzygy structures characterizing homogeneous models (Chen et al., 2020).
• Jet Differentials and Complex Hyperbolicity: The algebra of $k$-jet differential invariants with respect to the unipotent group of reparametrizations is finitely generated (Grosshans principle), and the algebraic geometry of the Demailly–Semple tower encodes the geometric structure relevant for Kobayashi hyperbolicity and global differential algebraic equations on entire curves (Berczi et al., 2010).
• Linear Differential Operators under Pseudogroups: Global invariants for linear differential operators, including those for local symplectomorphisms, are generated from algebraic invariants of the symbol and their Tresse-type derivatives, giving rise to normal forms and explicit equivalence tests (Lychagin et al., 2023).
• Polynomial Dynamical Systems: Algebraic invariants of vector fields (e.g., ODEs) correspond to polynomial ideals invariant under Lie derivations, with global methods for determination and verification based on differential algebraic elimination (Simmons et al., 2023).

5. Algebraic vs. Differential Quotients and Globality

The algebraic quotient $V\sslash G$ reflects polynomial invariants among coefficients, representing orbit separation in the parameter space. The differential quotient, encoded by syzygies among rational differential invariants in jet space, encodes orbit structure via differential relations and is geometrically realized as a system of lower-order PDEs among the basic invariants (Lychagin et al., 2021).

When restricted to jets generated by algebraic objects, the two perspectives coincide: polynomial dependence in finite-order jets encodes the same information as polynomial invariants in parameter space. However, the differential approach brings enhanced flexibility for non-polynomial group actions, pseudogroups, and for describing the geometry of orbits in the context of PDEs and infinite-dimensional symmetry (Lychagin et al., 2021, Kruglikov et al., 2011).

The globality of invariants is established by their being rational functions defined outside proper algebraic subvarieties (singular loci), ensuring algebraicity and completeness on a dense open set (Kruglikov et al., 2011, Kogan, 2024, Kogan et al., 2018).

6. Syzygies, Signature Methods, and Equivalence Problems

Syzygies among generating invariants—expressed as polynomial or differential-polynomial relations—are central for understanding the structure of the invariant algebra (0710.4318). The differential signature method exploits global classifying pairs of invariants to define complete invariants for the equivalence of curves or higher-dimensional submanifolds under group actions. For example, for complex projective plane curves, explicit algebraic formulas for the degree of the signature curve in terms of the degree and symmetry of the original curve have been established (Kogan et al., 2018).

The signature map leads to effective algorithms: two generic curves are equivalent under the group action if and only if their signature curves agree. This provides a practical, global, algorithmic criterion for classifying orbits (Kogan et al., 2018, Kogan, 2024).

7. Extensions, Open Problems, and Future Directions

Generalization to actions of higher-rank and non-reductive groups, higher-order PDEs, and tensors remains a domain of active development, as finiteness and effective computation become increasingly complex (Lychagin et al., 2021, Berczi et al., 2010). Singular orbit strata and modular invariants in positive characteristic are not fully understood.

From a computational perspective, algorithms for the elimination of variables in the algebra of differential invariants, construction of normal forms for PDE quotients, and enhanced implementations in computer algebra systems are current topics of research. Integrating global methods from both algebraic and differential invariant theory yields tools of broad applicability, from classification and equivalence in algebraic geometry to the effective analysis of geometric structures, dynamical systems, and global geometric analysis (Kogan, 2024, Simmons et al., 2023, Lychagin et al., 2023).

---

Key References:

• Lychagin–Roop, "Differential Invariants in Algebra" (Lychagin et al., 2021)
• Kruglikov–Lychagin, "Global Lie–Tresse theorem" (Kruglikov et al., 2011)
• Bérczi–Kirwan, "A geometric construction for invariant jet differentials" (Berczi et al., 2010)
• Hubert, "Differential invariants of a Lie group action: syzygies on a generating set" (0710.4318)
• Muñoz Masqué–Pozo Coronado, "First-order invariants of differential 2-forms" (Masqué et al., 2018)
• Stelzig, "Differential forms and invariants of complex manifolds" (Stelzig, 7 Mar 2025)
• Symbolic and computational methods: (Kogan, 2024, Simmons et al., 2023, Lychagin et al., 2023)
• Signature approaches: (Kogan et al., 2018)