pith. sign in

arxiv: 2511.20350 · v2 · submitted 2025-11-25 · 🧮 math.AG · math.AC

Dimension Polynomials for Affine Partial Difference Algebraic Groups

Orla McGrath This is my paper

Pith reviewed 2026-05-17 04:44 UTC · model grok-4.3

classification 🧮 math.AG math.AC
keywords difference algebraic groupspartial difference operatorsdimension polynomialsdifference idealsaffine algebraic groupscommuting operatorsalgebraic geometry
0
0 comments X

The pith

The defining ideal of an affine partial difference algebraic group is finitely generated as a difference ideal.

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

This paper develops the theory of difference algebraic groups when there are finitely many pairwise commuting difference operators. It proves that the ideal defining such a group must be finitely generated as a difference ideal. That finite-generation fact then implies that a dimension polynomial exists for every affine partial difference algebraic group. A sympathetic reader cares because the polynomial supplies a concrete numerical invariant that tracks the size and growth of solution sets, much as Hilbert polynomials do for ordinary algebraic varieties.

Core claim

In the setting of finitely many pairwise commuting difference operators, the defining ideal of a difference algebraic group is finitely generated as a difference ideal. This finite generation is the key step that establishes the existence of a dimension polynomial for any affine partial difference algebraic group.

What carries the argument

Finite generation of the defining ideal as a difference ideal, which carries the argument for the existence of the dimension polynomial.

If this is right

  • Every affine partial difference algebraic group possesses a dimension polynomial.
  • The theory of difference algebraic groups now includes the partial commuting case.
  • Dimension polynomials become available as invariants for classifying or comparing these groups.

Where Pith is reading between the lines

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

  • Explicit algorithms for computing the polynomials might become feasible once finite generation is assured.
  • Similar finite-generation arguments could be tested in nearby settings such as non-affine or non-commuting difference groups.
  • The result supplies a bridge toward effective computation of solution-space dimensions in applied difference equations.

Load-bearing premise

There are only finitely many pairwise commuting difference operators and the groups are affine over a difference field.

What would settle it

An explicit affine partial difference algebraic group whose defining ideal requires infinitely many generators as a difference ideal would falsify the finite-generation claim.

Figures

Figures reproduced from arXiv: 2511.20350 by Orla McGrath.

Figure 1
Figure 1. Figure 1: Universal Property for A ,→ [σ]kA Proof. We have already defined the k-σ-algebra [σ]kA and the inclusion map A = A[0] ,→ [σ]kA. Now say that R is a k-σ-algebra and that ψ: A → R is a k-algebra morphism. We will determine φ subject to the conditions necessary, and as we will not make any choices, this will be the unique morphism of k-σ-algebras making the diagram commute. Firstly, given r ∈ A, we must have … view at source ↗
Figure 2
Figure 2. Figure 2: Explaining Visualisation Diagrams Applying base change on these diagrams essentially looks like moving the dots around, see [PITH_FULL_IMAGE:figures/full_fig_p012_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Visualising Base Change when n = 2 3.3. Zariski Closures. We will consider a method for ‘splitting’ our σ-algebraic groups into algebraic groups. Let G be an algebraic group over k. For each i ≥ 1 and 1 ≤ j ≤ n, define the projections π[i]: G[i] → G[i − 1], (xτ )τ∈Tσ [i] 7→ (xτ )τ∈Tσ [i−1] and σj [i]: G[i] → σjG[i − 1], (xτ )τ∈Tσ [i] 7→ (xσj τ )τ∈Tσ [i−1], and notice that these are morphisms of algebraic g… view at source ↗
Figure 4
Figure 4. Figure 4: π[i], σ1[i] and σ2[i] acting on G[i] when n = 2 Lemma 3.15. Let G be an algebraic group over k, and let (G[i])i∈N be a sequence such that for each i ∈ N, G[i] is a closed subgroup of G[i]. Given i ≥ 1, the restrictions of the projection maps π[i]: G[i] → G[i − 1] and σj [i]: G[i] → σjG[i − 1] for each 1 ≤ j ≤ n are well-defined if and only if I(G[i − 1]) ⊆ I(G[i]) and σj (I(G[i − 1])) ⊆ I(G[i]) for each 1 … view at source ↗
Figure 5
Figure 5. Figure 5: Commutative Diagram for a Generalised σ-Algebraic Group (G[i])i∈N Notice that the Zariski closures (Gi)i∈N of a σ-closed subgroup G of G do in fact form a generalised σ-algebraic group with respect to G. The key difference between a generalised σ-algebraic group (G[i])i∈N with respect to G and the Zariski closures (Gi)i∈N of a σ-closed subgroup G of G is that for every i ≥ 1, the restriction π[i]: Gi → Gi−… view at source ↗
Figure 6
Figure 6. Figure 6: Example 4.3: Comparing Zariski closures to a generalised σ-algebraic group Example 4.4. Let σ = {σ1, σ2}. Consider the σ-closed subgroup G of the multiplicative group Gm over a σ-field k defined by the σ-Hopf ideal I(G) = [σ 2 1σ2(x)σ 4 2 (x) − 1] ⊆ k{x, x−1} = k{Gm}. In Example 3.17, we saw that I(Gi) = (0) ⊆ k[Gm[i]] for 0 ≤ i ≤ 3 I(Gi) = ({τ (σ 2 1σ2(x)σ 4 2 (x) − 1) | τ ∈ Tσ[i − 4]}) ⊆ k[Gm[i]] for i ≥… view at source ↗
Figure 7
Figure 7. Figure 7: The Extensions of G[i] and σ1G[i] to G[i + 1] when n = 2 Essentially, given a closed subgroup H ≤ GA we find its extension to GB by ‘filling in’ any gaps with τG for the appropriate τ ∈ B\A. Some of the most crucial constructions of these types will be the extension of G[i] to G[i + 1], and the extension of σjG[i] to G[i + 1] for i ∈ N and 1 ≤ j ≤ n. See [PITH_FULL_IMAGE:figures/full_fig_p018_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: for a visualisation of G[i] and H[i] in the n = 2 case. σ1 σ2 G[i] σ1 σ2 1 1 1 1 1 1 H[i] σ1 σ2 1 1 1 1 1 1 ρ[i]H[i] [PITH_FULL_IMAGE:figures/full_fig_p020_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Decomposition of π ′ [i]: G ′ [i] → G′ [i − 1] when n = 2 We will now see the main motivation for introducing generalised σ-algebraic groups, which is that the kernels of the π maps form a generalised σ ′ -algebraic group where |σ ′ | = n − 1. Proposition 5.8. Let k be a σ-field, and assume that σn : k → k is a bijection. Let (G[i])i∈N be a generalised σ-algebraic group with respect to an algebraic group G… view at source ↗
Figure 10
Figure 10. Figure 10: H[i], ρ[i](H[i]), H′ [i] and G ′ [i] when n = 2 Therefore, to see that (H′ [i])i∈N is a generalised σ ′ -algebraic group with respect to G ′ , it just remains to show that for each i ≥ 1, π ′ [i]: H′ [i] → H′ [i − 1] and σ ′ j [i]: H′ [i] → σ ′ jH′ [i − 1] for each 1 ≤ j ≤ n − 1 are well-defined. This follows due to Lemmas 5.2, 5.5 and 5.7 and the definition of H′ [i]. □ Using the constructions and notati… view at source ↗
Figure 11
Figure 11. Figure 11: Decomposition of G[i + 1] when n = 2 Theorem 6.4. Let G be an algebraic group over a σ-field k. Let (G[i])i∈N be a generalised σ-algebraic group with respect to G. Then I(G[i + 1]) = (I(G[i]), σ1(I(G[i])), . . . , σn(I(G[i]))) for large enough i ∈ N. Proof. We will prove this by induction on the number of endomorphisms n. This is proven in the ordinary case in Theorem 6.3. Now suppose that n ≥ 2, and assu… view at source ↗
Figure 12
Figure 12. Figure 12: Decomposition of H′ [i + 1] when n = 2 Let K[i + 1] = H‘[i] G[i+1] ∩ σ÷1H[i] G[i+1] ∩ · · · ∩ σ÷n H[i] G[i+1] [PITH_FULL_IMAGE:figures/full_fig_p024_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Decomposition of H[i + 1] = K[i + 1] when n = 2 for all i ∈ N. Proving that (H[i])i∈N has the ideal generation property is equivalent to proving that K[i + 1] = H[i + 1] for large enough i ∈ N. See [PITH_FULL_IMAGE:figures/full_fig_p025_13.png] view at source ↗
read the original abstract

We develop the theory of difference algebraic groups in the case where we have finitely many pairwise commuting difference operators. We show that the defining ideal of a difference algebraic group is finitely generated as a difference ideal, and this result allows us to prove the existence of a dimension polynomial for any partial difference algebraic 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.

Referee Report

0 major / 3 minor

Summary. The paper develops the theory of affine partial difference algebraic groups over a difference field in the setting of finitely many pairwise commuting difference operators. It proves that the defining ideal of such a group is finitely generated as a difference ideal and uses this to establish the existence of a dimension polynomial for any partial difference algebraic group.

Significance. If the finite-generation result holds, the work supplies a foundational tool for difference algebraic geometry analogous to the Hilbert basis theorem, allowing dimension polynomials to be defined and studied for these groups. This extends existing theory from ordinary difference algebraic groups to the partial case under the stated commutativity hypotheses and strengthens the framework for invariants and structure theory in the area.

minor comments (3)
  1. The statement that the defining ideal is finitely generated as a difference ideal (the key step before the dimension polynomial) would benefit from an explicit reference to the precise theorem or proposition number where this is proven, rather than leaving it implicit in the abstract and introduction.
  2. Notation for the partial difference polynomial ring and the action of the commuting operators could be introduced with a short preliminary subsection to improve readability for readers unfamiliar with the multi-operator setup.
  3. The manuscript would be strengthened by a brief comparison, even in the introduction, to the corresponding finite-generation results for ordinary (single-operator) difference algebraic groups.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. The report recognizes the foundational character of the finite-generation result for defining ideals of affine partial difference algebraic groups and its role in establishing dimension polynomials. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central derivation establishes finite generation of the defining ideal of an affine partial difference algebraic group as a difference ideal, using the standard axioms of the group law being morphisms compatible with the finitely many pairwise commuting difference operators on the coordinate ring over a difference field. This finite-generation result is presented as a direct consequence of those axioms and the well-defined partial difference polynomial ring, after which the existence of the dimension polynomial follows from known constructions in difference algebra without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The argument remains self-contained within the given setup and does not invoke uniqueness theorems or ansatzes from prior author work as external facts.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard axioms of difference algebra and affine algebraic geometry over difference fields; no new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption There exist finitely many pairwise commuting difference operators on the underlying difference field.
    Explicitly stated as the setting under consideration in the abstract.
  • domain assumption The groups under study are affine difference algebraic groups.
    The title and abstract restrict attention to the affine case.

pith-pipeline@v0.9.0 · 5323 in / 1172 out tokens · 28420 ms · 2026-05-17T04:44:30.913360+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

36 extracted references · 36 canonical work pages

  1. [1]

    M. F. Atiyah and I. G. MacDonald.Introduction to Commutative Algebra. Addison-Wesley Series in Mathematics. Westview Press, 1969

    work page 1969

  2. [2]

    Algebraic groups as difference Galois groups of linear differential equations

    A. Bachmayr and M. Wibmer. “Algebraic groups as difference Galois groups of linear differential equations”. In:Journal of Pure and Applied Algebra226 (2022), p. 106854

    work page 2022

  3. [3]

    Torsors for difference algebraic groups

    A. Bachmayr and M. Wibmer. “Torsors for difference algebraic groups”. In:Communications in Contemporary Mathematics24.9 (2022), p. 2150068

    work page 2022

  4. [4]

    Buium.Differential Algebraic Groups of Finite Dimension

    A. Buium.Differential Algebraic Groups of Finite Dimension. Vol. 1506. Lecture Notes in Mathe- matics. Springer Berlin, 1992

    work page 1992

  5. [5]

    Differential Algebraic Groups

    P. J. Cassidy. “Differential Algebraic Groups”. In:American Journal of Mathematics94.3 (1972), pp. 891–954

    work page 1972

  6. [6]

    Criteria for Finite Difference Gr¨ obner Bases of Normal Binomial Difference Ideals

    Y. Chen and X. Gao. “Criteria for Finite Difference Gr¨ obner Bases of Normal Binomial Difference Ideals”. In:Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation(2017), pp. 93–100

    work page 2017

  7. [7]

    R. M. Cohn.Difference Algebra. Interscience Tracts in Pure and Applied Mathematics 17. Inter- science, 1965

    work page 1965

  8. [8]

    Difference Galois theory of linear differential equations

    L. Di Vizio, C. Hardouin, and M. Wibmer. “Difference Galois theory of linear differential equations”. In:Advances in Mathematics260 (2014), pp. 1–58

    work page 2014

  9. [9]

    Systems of Algebraic Difference Equations

    J. L. Doob and J. F. Ritt. “Systems of Algebraic Difference Equations”. In:American Journal of Mathematics55.1 (1933), pp. 505–514

    work page 1933

  10. [10]

    Eisenbud.Commutative Algebra: with a View Toward Algebraic Geometry

    D. Eisenbud.Commutative Algebra: with a View Toward Algebraic Geometry. Vol. 150. Graduate Texts in Mathematics. Springer New York, 1995

    work page 1995

  11. [11]

    Differential Galois theory of linear difference equations

    C. Hardouin and M. F. Singer. “Differential Galois theory of linear difference equations”. In: Mathematische Annalen342 (2008), pp. 333–377

    work page 2008

  12. [12]

    Hartshorne.Algebraic Geometry

    R. Hartshorne.Algebraic Geometry. Vol. 52. Graduate Texts in Mathematics. Springer New York, 1977

    work page 1977

  13. [13]

    The Elementary Theory of the Frobenius Automorphisms

    E. Hrushovski. “The Elementary Theory of the Frobenius Automorphisms”. In:preprint(2004)

    work page 2004

  14. [14]

    P Kitchens.Symbolic Dynamics: One-sided, Two-sided and Countable State Markov Shifts

    B. P Kitchens.Symbolic Dynamics: One-sided, Two-sided and Countable State Markov Shifts. Springer Berlin, 1998

    work page 1998

  15. [15]

    E. R. Kolchin.Differential algebra and algebraic groups. Vol. 114. Pure and applied mathematics; a series of monographs and textbooks. Academic Press, 1973

    work page 1973

  16. [16]

    E. R. Kolchin.Differential Algebraic Groups. Vol. 54. Pure and applied mathematics; a series of monographs and textbooks. Academic Press, 1985

    work page 1985

  17. [17]

    M. V. Kondratieva et al.Differential and Difference Dimension Polynomials. Vol. 461. Mathematics and Its Applications. Springer Dordrecht, 1999

    work page 1999

  18. [18]

    Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation

    A. Levin. “Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation”. In:Journal of Symbolic Computation102 (2021), pp. 173–188

    work page 2021

  19. [19]

    Levin.Difference Algebra

    A. Levin.Difference Algebra. Vol. 8. Algebra and Applications. Springer New York, 2008

    work page 2008

  20. [20]

    On the Ascending Chain Condition for Mixed Difference Ideals

    A. Levin. “On the Ascending Chain Condition for Mixed Difference Ideals”. In:International Mathematics Research Notices2015.10 (2015), pp. 2830–2840. 34 REFERENCES

    work page 2015

  21. [21]

    J. S. Milne.Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field. Cambridge University Press, 2017

    work page 2017

  22. [22]

    Montgomery.Hopf Algebras and Their Actions on Rings

    S. Montgomery.Hopf Algebras and Their Actions on Rings. CBMS Regional Conference Series in Mathematics 82. American Mathematical Soc., 1993

    work page 1993

  23. [23]

    σ-Galois Theory of Linear Difference Equations

    A. Ovchinnikov and M. Wibmer. “σ-Galois Theory of Linear Difference Equations”. In:International Mathematics Research Notices2015.12 (2015), pp. 3962–4018

    work page 2015

  24. [24]

    On dynamical finiteness properties of algebraic group shifts

    X. K. Phung. “On dynamical finiteness properties of algebraic group shifts”. In:Israel Journal of Mathematics252 (2022), pp. 355–398

    work page 2022

  25. [25]

    Ideal theory and algebraic difference equations

    H. Raudenbush and J. F. Ritt. “Ideal theory and algebraic difference equations”. In:Transactions of the American Mathematical Society46 (1939), pp. 445–452

    work page 1939

  26. [26]

    J. F. Ritt.Differential Equations From The Algebraic Standpoint. Vol. 14. Colloquium Publications. American Mathematical Soc., 1932

    work page 1932

  27. [27]

    Schmidt.Dynamical Systems of Algebraic Origin

    K. Schmidt.Dynamical Systems of Algebraic Origin. Birkh¨ auser Basel, 1995

    work page 1995

  28. [28]

    M. F. Singer and M. Van der Put.Galois Theory of Difference Equations. Vol. 1666. Lecture Notes in Mathematics. Springer Berlin, 1997

    work page 1997

  29. [29]

    M. E. Sweedler.Hopf Algebras. New York: W. A. Benjamin., 1969

    work page 1969

  30. [30]

    A correspondence between Hopf ideals and sub-Hopf algebras

    M. Takeuchi. “A correspondence between Hopf ideals and sub-Hopf algebras”. In:manuscripta mathematica7 (1972), pp. 251–270

    work page 1972

  31. [31]

    Finite basis for radical well-mixed difference ideals generated by binomials

    J. Wang. “Finite basis for radical well-mixed difference ideals generated by binomials”. In:Commu- nications in Algebra46.6 (2018), pp. 2589–2599

    work page 2018

  32. [32]

    Monomial Difference Ideals

    J. Wang. “Monomial Difference Ideals.” In:American Mathematical Society145.4 (2017), pp. 1481– 1496

    work page 2017

  33. [33]

    W. C. Waterhouse.Introduction to Affine Group Schemes. Vol. 66. Graduate Texts in Mathematics. Springer New York, 1979

    work page 1979

  34. [34]

    Almost-simple affine difference algebraic groups

    M. Wibmer. “Almost-simple affine difference algebraic groups”. In:Mathematische Zeitschrift299 (2021), pp. 473–526

    work page 2021

  35. [35]

    ´Etale difference algebraic groups

    M. Wibmer. “ ´Etale difference algebraic groups”. In:Annales de l’Institut Fourier74.4 (2024), pp. 1451–1519

    work page 2024

  36. [36]

    Finiteness Properties of Affine Difference Algebraic Groups

    M. Wibmer. “Finiteness Properties of Affine Difference Algebraic Groups”. In:International Mathematics Research Notices2022.1 (2022), pp. 506–555. University of Leeds Email address:Orla.P.McGrath@leeds.ac.uk

    work page 2022