REVIEW 2 major objections 4 minor 7 references
On the generators of coordinate algebras of affine ind-varieties
T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Coordinate rings of strict affine ind-varieties are uncountably generated yet admit countable local bases.
desk verdict A short paper with one solid theorem (coordinate rings of strict affine ind-varieties are uncountably generated) and a second theorem whose proof has a real, fixable gap in Lemma 3. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the coordinate ring O(X) = lim← O(X_k) of an affine ind-variety, a topological algebra with the inverse-limit topology. The arguments run through two projective systems of ideals. For Theorem 1, ideals of finite sets of points chosen one from each new stratum form a surjective system whose inverse limit is K^∞, yielding the forbidden quotient. For Theorem 2, the ideals I(X_k) of the affine pieces inside finite-dimensional affine spaces are used to present O(X) as a continuous quotient of O(A^∞), and the countable basis of monomials in polynomial rings is pushed down to a local basis.
What would settle it
Take X_k to be the first k points of an infinite set in the affine line and let X be their union. The inclusions are closed, but a function vanishing on all k+1 points restricts to one vanishing on the first k points only up to multiplication by a factor that vanishes at the new point, so the restriction maps between vanishing ideals are not surjective; inspecting this chain directly would settle whether Lemma 3's load-bearing surjectivity claim holds.
Extended reading notes
Core claim
The core discovery is that the coordinate ring O(X) of a strict affine ind-variety is simultaneously large in the sense of generators and small in the sense of density. Theorem 1 states that O(X) is non-noetherian and has no countable generating set over the base field; the proof reduces this to a surjective homomorphism O(X) -> K^∞, the countable product of copies of the field, which is non-noetherian and uncountably generated. Theorem 2 states that O(X) has a countable local basis: a countable set whose linear span meets every nonempty open subset. The proof factors O(X) as a continuous quotient of the coordinate ring O(A^∞) of the countable-dimensional affine space, and pushes down an explicit countable monomial basis from finite-dimensional polynomial rings.
Load-bearing premise
The proof of Theorem 2 rests on the claim that for every affine ind-variety the ideals of functions vanishing on the embedded pieces restrict surjectively onto the ideals of the smaller pieces; if that restriction is not surjective for some chain of subvarieties, the universal quotient map need not exist.
Editorial extensions
If this is right
- If Theorem 1 holds, no strict affine ind-variety can have a finitely generated or even countably generated coordinate ring, so classical finite generation fails completely in the ind-setting.
- If Theorem 2 holds, topological density is much weaker than generation: every affine ind-algebra has a dense countable-dimensional subspace even when it has no countable generating set.
- The combination shows that the generation dimension of a strict affine ind-variety is uncountable, while its topological weight in the inverse-limit topology is countable.
- The existence of a quotient O(A^∞) -> O(X) would make a single universal coordinate algebra control, up to continuous surjection, the coordinate rings of all affine ind-varieties.
Reading between the lines
- A testable consequence of the paper's argument is that Theorem 2's proof depends on surjectivity of the restriction maps between vanishing ideals; checking a chain of finite point sets in a fixed affine space, where those restrictions are visibly only inclusions, may show whether the quotient map O(A^∞) -> O(X) really exists for all X.
- If the surjectivity gap can be repaired, the same local-basis argument would likely extend to arbitrary closed ind-subschemes of A^∞, giving countable local bases for a wider class of pro-affine algebras.
- The contrast between uncountable generation and countable local bases may transfer to other inverse-limit algebras arising in representation theory or algebraic geometry, where dense countable subspaces are the tractable part.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies coordinate rings of affine ind-varieties over an algebraically closed field of characteristic zero. It introduces the notion of a strict ind-variety (one with no finite filtration) and proves two main theorems. Theorem 1 states that for every strict affine ind-variety X, the coordinate ring O(X) is non-noetherian and not countably generated as a K-algebra. Theorem 2 states that every affine ind-variety admits a countable local basis, i.e., an everywhere dense subspace of countable dimension in the topological algebra O(X). The proofs use projective-limit descriptions of O(X) and compare them with K∞ and O(A∞).
Significance. If both theorems hold as stated, the paper gives a clean and somewhat surprising structural dichotomy: coordinate rings of strict affine ind-varieties are uncountably generated, yet they contain countable-dimensional dense subspaces. Theorem 1 is convincingly derived from Proposition 1, which constructs a surjective homomorphism O(X) → K∞ for every strict affine ind-variety; this part is essentially correct. Theorem 2 is a potentially valuable structural result, but its proof depends on Lemma 3, and the central surjectivity claim of Lemma 3 is false as stated. Because of that gap, the paper as written does not establish Theorem 2. The potential contribution is genuine, especially since the topic has received limited attention in the literature, but the current version requires a substantive repair.
major comments (2)
- [Lemma 3] The proof asserts that the projective system of ideals I(X_k) is surjective, but this assertion is false in general. For example, take X_1 = {0} in A^1, X_2 = {(t,t^2)} in A^2, and the embedding i : A^1 → A^2 given by i(x) = (x,0). Then I(X_2) = (y−x^2) in K[x,y], and its restriction to the x-axis is the ideal (x^2), whereas I(X_1) = (x). The restriction map I(X_2) → I(X_1) is therefore not surjective. This directly contradicts the claim that the bottom projective system is surjective, and the subsequent exactness argument for the inverse limit is not justified.
- [Theorem 2] The proof of Theorem 2 relies entirely on Lemma 3 for the existence of a continuous surjective homomorphism π : O(A^∞) → O(X). Since Lemma 3 is not proved, Theorem 2 is not proved as written. The statement may be repairable by choosing the embeddings in Lemma 2 more carefully, for instance so that each X_k is a reduced linear section of X_{k+1}, but no such argument appears in the manuscript.
minor comments (4)
- [Definition 4] In Definition 4, the phrase "for any non-empty open subset U ⊆ X" should read "U ⊆ O(X)", since the subsequent discussion and the proof of Theorem 2 treat U as an open subset of the topological algebra O(X), not of the ind-variety X.
- [Proposition 2] There is a typo in Proposition 2: "K[x1. . . . , xn]" should be "K[x1, . . . , xn]". Also, the notation K[∞] is used without a formal definition; it is clear from context but deserves a sentence of explanation.
- [Theorem 1] The proof of Theorem 1 uses the fact that K^∞ is not countably generated as a K-algebra without proof or reference; while this is a standard fact, a brief indication (e.g., via the uncountable dimension of K^N over K) would improve the exposition.
- [Proposition 1] The diagrammatic proof of Proposition 1 is terse. In particular, the transition maps in the bottom projective system of ideals are only described informally; a short explanation of why the restriction maps are surjective onto the ideals m_{p1}...m_{pk} would make the argument easier to verify.
Circularity Check
No circularity: the theorems reduce to explicit constructions and standard algebra facts, with no self-citation or fitted inputs.
full rationale
The paper's derivation chain is self-contained in the sense relevant to circularity. Theorem 1 follows from Proposition 1, which constructs a surjection O(X) -> K^infty using explicit point-restriction maps, Lemma 1 (proved in the paper), and the standard exactness of inverse limits for surjective projective systems (cited to Atiyah-Macdonald and Weibel). Theorem 2 follows from Lemma 3 (existence of a continuous surjection O(A^infty) -> O(X)) and Proposition 2, which gives an explicit countable local basis for O(A^infty); the image of that basis under the surjection is then a local basis for O(X). No parameter is fitted to the conclusion, no prediction is read back from the target statement, and no load-bearing premise is imported from a prior paper by the same author. The only external geometric citation, Furter-Kraft's Lemma 1.5.2, is not authored by the present author and supplies an independent extension lemma. A possible mathematical objection to Lemma 3's assertion that the bottom system of ideals is surjective would be a correctness concern, not a circularity concern: it challenges the proof of the theorem, not the reduction of the theorem to its assumptions. Therefore the appropriate circularity score is 0.
Assumptions & free parameters
assumptions (3)
- domain assumption K^∞ is not countably generated as a K-algebra
- standard math Inverse limit exactness for surjective projective systems of ideals
- standard math For every affine ind-variety, a compatible system of closed embeddings into affine spaces exists (Lemma 2 from Furter-Kraft)
Cite this review
Pith. "Pith review of On the generators of coordinate algebras of affine ind-varieties." pith.science (2026). https://pith.science/paper/XNGRQBVN
@misc{pith2026250722408,
author = {Pith},
title = {Pith review of: On the generators of coordinate algebras of affine ind-varieties},
year = {2026},
howpublished = {\url{https://pith.science/paper/XNGRQBVN}},
note = {Machine review of arXiv:2507.22408}
}
read the original abstract
In this paper we study the structure of the coordinate ring of an affine ind-variety. We prove that any coordinate ring of an affine ind-variety which is not isomorphic to an affine algebraic variety does not have a countable set of generators. Also we prove that coordinate rings of affine ind-varieties have an everywhere dense subspace of countable dimension.
Reference graph
Works this paper leans on
-
[1]
On the geometry of the automorphism groups of affine vari- eties
Jean-Philippe Furter, Hanspeter Kraft, “On the geometry of the automorphism groups of affine vari- eties”, arXiv:1809.04175, (2018)
arXiv 2018
-
[2]
On some infinite-dimensional groups
I. R. Shafarevich, “On some infinite-dimensional groups”, Rend. Mat. e Appl. (5), 25:1-2 (1966), 208–212
work page 1966
-
[3]
On some infinite-dimensional groups. II
I. R. Shafarevich, “On some infinite-dimensional groups. II”, Math. USSR-Izv., 18:1 (1982), 185–194
work page 1982
-
[4]
Pro-affine Algebras, Ind-Affine groups and the Jacobian Problem
T. Kambayashi, “Pro-affine Algebras, Ind-Affine groups and the Jacobian Problem”, Journal of Algebra 185, 481-501 (1996), article no. 0336 6 ALEXANDER CHERNOV
work page 1996
-
[5]
Some basic results on pro-affine algebras and ind-affine schemes
T. Kambayashi, “Some basic results on pro-affine algebras and ind-affine schemes”, Osaka J. Math, 40 (2003), 621-638
work page 2003
-
[6]
Introduction to Commutative Algebra
Michael Atiyah, Ian G. Macdonald, “Introduction to Commutative Algebra”, Addison-Wesley Pub- lishing Company, (1969)
work page 1969
-
[7]
An Introduction to Homological Algebra
Charles A. Weibel, “An Introduction to Homological Algebra”, Cambridge University Press, (1994) 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 Computer Science, Pokrovsky Boulevard 11, Mosc...
work page 1994
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.