REVIEW 5 minor 14 references
Density of solutions for systems of forms
T0 review · 0 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read An explicit rank threshold forces Zariski-dense solution sets for systems of forms over Brauer fields.
desk verdict Genuine effective bound for the BDS density theorem; proof is coherent and worth refereeing, though the notation is heavy. 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 engine is an induction that alternates between diagonalizing the system, via a lemma that guarantees Zariski density once a certain well-chosen subspace makes a form 'good', and bounding the Birch rank of an auxiliary variety $D_m$ of mutually orthogonal subspaces. The central identity is Lemma 4.2: the Birch rank of the Taylor-expanded system $T_m(f)$ is at least the Birch rank of $f$, $$\operatorname{Brk}(T_m(f))\ge \operatorname{Brk}(f),$$ which lets a large Birch rank survive every restriction and pass to the next induction step; this identity relies on the characteristic assumption. The golden ratio enters through the recurrence $n_d=(\phi_d+11)n_{d-1}n_{d-2}/2$ defining the constant $\beta_d$ for nondegenerate diagonal systems.
What would settle it
A direct falsifying check would be to find a system of degree-$d$ forms over $\mathbb{Q}$ or a $p$-adic field (with $p>d$) whose Birch rank exceeds the paper's $B_{d,s}$ but whose rational zero locus is not Zariski dense. A more local test targets the inductive lemma: compute $\operatorname{Brk}(T_m(f))$ for a small example over $\mathbb{F}_p$ with $p\le d$ where binomial coefficient cancellations occur; if the inequality fails there, the proof's engine stops, showing why the theorem cannot be extended to those fields.
Extended reading notes
Core claim
For any collection of forms of common degree $d$ over a Brauer field $K$ whose characteristic is zero or greater than $d$, if the Birch rank exceeds $$B_{d,s}=$s2^{{d-1}}$C_d,$$ with $$C_d=2(2\phi)^{d-2}\prod_{k=2}^{d}(\phi_k+11)^{$2^{{d-2}}$(\$phi^{{d-k-1}}$+$2^{{k-d}}$)+4},$$ then the $K$-points of the common zero locus are Zariski dense. The proof computes this constant by an induction on degrees and numbers of forms, controlling a diagonalization process through an auxiliary variety, and the same induction handles mixed-degree systems. Over a finite extension of $\mathbb{Q}_p$, the bound simplifies using the known estimate $\phi_k\le 8k^2$, giving a fully explicit threshold in that case.
Load-bearing premise
The whole induction stands on the assumption that expanding a form into Taylor pieces never lowers the Birch rank, which the paper proves only for fields whose characteristic is either zero or larger than the degree; in small positive characteristic that inequality can fail.
Editorial extensions
If this is right
- For every system of degree-$d$ forms over a Brauer field with Birch rank greater than the effective bound, the zero locus contains a Zariski-dense set of $K$-points, not merely one nonzero solution.
- The surjectivity criterion for polynomial maps becomes explicit: if the degree-$d$ leading parts of $s$ polynomials have Birch rank larger than $\max(B_{d,s}+2,2s-2)$, the map $K^n\to K^s$ is surjective.
- Over finite extensions of $\mathbb{Q}_p$, a concrete bound follows from the known estimate $\phi_k\le 8k^2$, yielding a threshold that still gives smooth local solutions at every finite place for number-field forms.
- The mixed-degree version of the theorem covers systems whose forms have different degrees, with the number of degree-$i$ forms entering with weight $s_i2^{i-d}$, so the bound remains stable when low-degree equations are added.
Reading between the lines
- Going beyond the paper: because the inductive bound hinges on the linear inequality in proposition 2.10 rather than on special properties of forms, any other rank function satisfying the same inequality would yield an analogous effective density theorem.
- Going beyond the paper: the sequence $n_d$ in proposition 2.6 is likely not optimal; optimizing the recurrence for $\beta_d$ would immediately sharpen the final constant, so the paper's bound is a starting point rather than a sharp value.
- Going beyond the paper: one could test sharpness computationally for small $d$ on diagonal systems over $\mathbb{Q}(i)$ or $\mathbb{Q}_p$, where the minimal $\beta_d$ can be searched finitely; an improved example would translate directly into a better $C_d$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes an effective bound for the Birch-rank threshold above which the rational points of a system of homogeneous forms over a Brauer field are Zariski dense. The main result, Theorem 1.7, gives B_{d,s} = s^{2^{d-1}} C_d, where C_d is an explicit product involving the field invariants phi_k and the golden ratio. The proof is a synthesis of the algebro-geometric methods of Bik-Draisma-Snowden with the diagonalization and induction techniques of Leep-Schmidt and Wooley. It is organized around three propositions (bounds for nondegenerate diagonal systems, diagonalization implying density, and efficient diagonalization) and yields applications to surjectivity of polynomial maps and to the Hardy-Littlewood circle method.
Significance. If the proof is correct, this is a significant improvement over the previously known astronomical bound from [4], bringing the density threshold to a size comparable to Wooley's bound for existence of solutions. The paper is honest about its scope: the characteristic condition (zero or > d) is explicitly tied to Lemma 4.2, and the effective bounds for p-adic fields in Corollary 1.8 follow from Skinner's estimates. The three-proposition structure makes the argument modular and checkable; I verified the main induction and found no internal inconsistency. The paper also gives appropriate credit to prior work and provides several concrete examples.
minor comments (5)
- [Lemma 3.2] The statement of Lemma 3.2 is misprinted: the displayed bound '2 \sum s_i(m s_d)^i' and the formula 'r_i = s_i + (m s_d)s_{i+1} + ... + (m s_d)^{d-i} s_d' do not match the recurrence 's_i^{(j+1)} = \sum_{k\ge i} s_k^{(j)} m^{k-i}' used in the proof. The correct statement should be B_d(s_d,...,s_1) \le 2 \sum_{i=1}^d s_i m^i + B_{d-1}(r_{d-1},...,r_1) with r_i = \sum_{k\ge i} s_k m^{k-i}.
- [Lemma 3.3] The notation in Lemma 3.3 is confusing: 's2', 's2d-1', and 's2d-i' are ambiguous between subscripts and powers. From the proof, the intended substitution is s_i = s^{2^{d-i}}, so the argument tuple should be (s^{2^{d-1}}, s^{2^{d-2}}, ..., s). The statement should be rewritten with unambiguous subscripts and superscripts.
- [Proposition 2.9, proof] In the proof of Proposition 2.9, the subscript in '\beta_{d-1}+1' should be 'd-2': the diagonal system in y consists of equations of degrees 1,...,d-2 (for e=1,...,d-2) and a nonvanishing condition of degree d-1; this matches the inductive hypothesis for \beta_{d-2} as used in the proof of Proposition 2.6. The current text '\beta_{d-1}' is inconsistent with the definition of m in the proposition statement.
- [Definition 2.8] Definition 2.8 defines delta_m as 'the minimal number such that whenever Brk(f)>delta the K-points of D_m are Zariski dense,' but D_m depends on the system f (specifically on the chosen last form f_{d,s_d}). To be precise, delta_m should be defined as the minimal integer that works uniformly for all systems f with given (s_d,...,s_1), or as the pointwise supremum over such systems. The proof of Proposition 2.10 establishes a uniform bound, so the intended meaning is clear, but the wording is ambiguous.
- [Abstract and Theorem 1.7] The abstract states that the field has characteristic zero, while Theorem 1.7 assumes characteristic zero or greater than d. The abstract should be adjusted to reflect the more general hypothesis of the main theorem.
Circularity Check
No significant circularity: the effective bound is obtained by an explicit induction, and its inputs are not equivalent to the target bound.
full rationale
The derivation of Theorem 1.7 proceeds from the inductive bound for B(s_d,...,s_1) in Lemma 3.2, which is proved from Propositions 2.9 and 2.10; these in turn bound B by a lexicographically smaller B(s*) and by beta_d via Proposition 2.6. No parameter is fitted to the final bound: the field invariants phi_k are supplied by the Brauer-field hypothesis, and the auxiliary constants B, beta_d, delta_m, and n_d are either minimality definitions or are bounded by induction from smaller-degree cases. The only imported mathematical fact is Lemma 6.1, namely [4, Prop. 4.4], which is stated explicitly and used as a black box; it is prior external work, not a self-citation, and it is not used to assume the target bound. The self-references [2,3] appear only in the proof idea as contextual comparisons of strength and Birch rank and are not load-bearing. The characteristic hypothesis char(K)=0 or >d is explicitly isolated in Lemma 4.2, which proves that Taylor expansion preserves Birch rank; its binomial-coefficient argument is transparent and does not reduce to the conclusion. No equation in the paper reduces to its own input by construction, and no prediction is statistically forced by a fitted quantity.
Assumptions & free parameters
assumptions (4)
- domain assumption K is a Brauer field: phi_d(K) is finite for every degree d, so every diagonal form in sufficiently many variables has a nontrivial solution.
- domain assumption The characteristic of K is zero or greater than d.
- domain assumption Lemma 6.1, quoted as [4, Prop. 4.4]: if f=alpha x y^{d-1}+beta y^d+gamma z^d+g(t) with alpha gamma nonzero, then the K-points of Z(f) are Zariski dense.
- standard math Ananyan-Hochster rank lemma (Lemma 4.3) and Eisenbud's irreducibility criterion (Lemma 4.6) hold as stated.
Cite this review
Pith. "Pith review of Density of solutions for systems of forms." pith.science (2026). https://pith.science/paper/5VA73Z3K
@misc{pith2026250711514,
author = {Pith},
title = {Pith review of: Density of solutions for systems of forms},
year = {2026},
howpublished = {\url{https://pith.science/paper/5VA73Z3K}},
note = {Machine review of arXiv:2507.11514}
}
abstract
Let $K$ be a field of characteristic zero over which every diagonal form in sufficiently many variables admits a nontrivial solution. For example, $K$ may be a totally imaginary number field or a finite extension of a $p$-adic field. Suppose $f_1,\ldots,f_s$ are forms of degree $d$ over $K.$ Bik, Draisma and Snowden recently proved that there exists a constant $B = B(d,s,K)$ such that the rational solutions to the system of equations $f_1=\ldots=f_s = 0$ are Zariski dense, as long as the Birch rank of $f_1,\ldots,f_s$ is greater than $B.$ We establish an effective bound for this constant, improving vastly on the astronomical bound coming from their proof. Our result has applications for surjectivity of polynomial maps and for the Hardy-Littlewood circle method.
Reference graph
Works this paper leans on
-
[4]
Two improvements in Brauer’s theorem on forms
Arthur Bik, Jan Draisma, and Andrew Snowden. Two improvements in Brauer’s theorem on forms. arXiv e-prints, page arXiv:2401.02067, January 2024
arXiv 2024
-
[1]
Small subalgebras of polynomial rings and Stillman’s conjecture
Tigran Ananyan and Melvin Hochster. Small subalgebras of polynomial rings and Stillman’s conjecture. J. Amer. Math. Soc., 33(1):291–309, 2020
work page 2020
-
[2]
Strength, partition rank and algebraic closure
Benjamin Baily and Amichai Lampert. Strength, partition rank and algebraic closure. arXiv e-prints, page arXiv:2410.00248, September 2024
arXiv 2024
-
[3]
Strength and partition rank under limits and field extensions
Arthur Bik, Jan Draisma, Amichai Lampert, and Tamar Ziegler. Strength and partition rank under limits and field extensions. arXiv e-prints, page arXiv:2502.10007, February 2025
arXiv 2025
-
[5]
The geometry of polynomial representations in positive characteristic
Arthur Bik, Jan Draisma, and Andrew Snowden. The geometry of polynomial representations in positive characteristic. Math. Z., 310(1):Paper No. 13, 39, 2025
work page 2025
-
[6]
B. J. Birch. Forms in many variables. Proc. Roy. Soc. London Ser. A, 265:245–263, 1961/62
work page 1961
-
[7]
A note on systems of homogeneous algebraic equations
Richard Brauer. A note on systems of homogeneous algebraic equations. Bull. Amer. Math. Soc., 51:749–755, 1945
work page 1945
-
[8]
Commutative algebra, volume 150 of Graduate Texts in Mathematics
David Eisenbud. Commutative algebra, volume 150 of Graduate Texts in Mathematics. Springer- Verlag, New York, 1995. With a view toward algebraic geometry
work page 1995
Show all 14 references
-
[9]
D. B. Leep and W. M. Schmidt. Systems of homogeneous equations. Invent. Math., 71(3):539– 549, 1983
1983
-
[10]
L. G. Peck. Diophantine equations in algebraic number fields. Amer. J. Math., 71:387–402, 1949
1949
-
[11]
Wolfgang M. Schmidt. The density of integer points on homogeneous varieties. Acta Math., 154(3-4):243–296, 1985
1985
-
[12]
C. M. Skinner. Forms over number fields and weak approximation.Compositio Math., 106(1):11– 29, 1997
1997
-
[13]
Solvability of systems of diagonal equations over p-adic local fields
Christopher Skinner. Solvability of systems of diagonal equations over p-adic local fields. Proc. Lond. Math. Soc. (3), 122(2):207–228, 2021
2021
-
[14]
Trevor D. Wooley. On the local solubility of Diophantine systems. Compositio Math. , 111(2):149–165, 1998. Department of Mathematics, University of Michigan, Ann Arbor, MI Email address: amichai@umich.edu
1998
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.