Dimension growth, polynomial in the degree (Castryck–Cluckers–Dittmann–Nguyen)
A Lean 4 formalisation of the main results of Castryck, Cluckers, Dittmann and Nguyen, "The dimension growth conjecture, polynomial in the degree and without logarithmic factors" (Algebra & Number Theory 14, 2020), incorporating the authors' 2026 addenda. It proves uniform bounds, polynomial in the degree, for the number of rational points of bounded height on varieties over Q. The bounds are: projective dimension growth N(X,B) ≤ C(n) d^(2n²+5n−5) B^dim X for integral X ⊆ P^n of degree d ≥ 5 (Theorem 1); N(X,B) ≤ C(n) d⁴ B^(2/d) for integral projective curves (Theorem 2); N_aff(X,B) ≤ C(n)…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-22-000015
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-22-000015/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-22-000015/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'