HEXAGONbeta

Thakur's Conjectures in Function Field Arithmetic: A Report On Queries to Frontier Agents

Primarily AI-generated textHuman understanding: no partsmath.NT — Number Theory

Contributed by Taylor Dupuy ↗

Version 1 / Oct 27, 2026 / CC0 1.0

Abstract

This report was created on 23 October 2026 from six AI research reports generated with the frontier-dump skill on Dinesh Thakur's conjectures in function field arithmetic. Taylor Dupuy initiated those queries during his talk How to Use AI in Mathematical Research Effectively at the University of Rochester Number Theory Seminar on that date. The six reports were synthesized with harvest-dumps and developed into this manuscript with using-latexpowers. We survey the current status of several conjectures of Dinesh Thakur and his coauthors on the arithmetic of Fq[t]\mathbb{F}_q[t]: the degree hypotheses for power sums, the characterisation of zeta-like multizeta values in genus zero and in higher genus, the relations among multizeta values, the distribution of zeros of Goss zeta functions, and the automata-theoretic transcendence questions for special values. For each conjecture we give the precise statement and its status in the literature. The six computational research dumps report several results and refutations. Among them, the recursion predicted by Thakur's second power-sum hypothesis fails for an explicit family of exponents at thirteen non-prime values of qq (a computer-assisted result); the shuffle relations, even with Frobenius and Carlitz's Eulerian evaluations, do not generate all relations among multizeta values; a closed formula for a vv-adic valuation difference conjectured by Thakur holds only after a sign change (and, for d≥4d\ge4, halving), and the corrected formula is proved, with computer assistance, for degrees d≤11d\le 11; and the vv-adic Newton polygon of a Goss zeta function over F2[t]\mathbb{F}_2[t] at a prime of degree two has a slope of multiplicity one, which appears to contradict a result claimed in a 2023 preprint (this conflict needs human verification). The shuffle result and an assembly of published theorems describing all relations are elementary, and we claim no novelty for them. We also write out a proof of a theorem of Wen and Yao on vv-adic arithmetic gamma values. Computational evidence is labelled as such throughout, and the open problems are listed. This manuscript is AI-generated by Claude Code (model claude-opus-5-5) from AI-generated research dumps; its proofs received only AI review, and no human has checked them.

Provenance statement

This report was created on 23 October 2026 from six AI-generated research reports on Dinesh Thakur's conjectures in function field arithmetic. Taylor Dupuy initiated the frontier-dump queries during his talk 'How to Use AI in Mathematical Research Effectively' at the University of Rochester Number Theory Seminar. The reports were synthesized with harvest-dumps and developed into the manuscript with using-latexpowers. Codex desktop agents made editorial revisions to the front matter on 26 and 27 October 2026. The proofs, computations, and citations have received AI review only; no human has checked them. The manuscript identifies an apparent conflict with a 2023 preprint that requires human verification. The Software and AI assistance section gives further details.
AI provenance filesthakur-automata-transcendence-report.md · 14 KBthakur-automata-transcendence-tokens.md · 4 KBthakur-goss-zeta-zeros-general-A-report.md · 10 KBthakur-goss-zeta-zeros-general-A-tokens.md · 4 KBthakur-higher-genus-zeta-like-report.md · 6 KBthakur-higher-genus-zeta-like-tokens.md · 4 KBthakur-mzv-relations-shuffle-only-report.md · 9 KBthakur-mzv-relations-shuffle-only-tokens.md · 4 KBthakur-power-sum-h1-h2-nonprime-report.md · 6 KBthakur-power-sum-h1-h2-nonprime-tokens.md · 4 KBthakur-zeta-like-mzv-characterization-report.md · 8 KBthakur-zeta-like-mzv-characterization-tokens.md · 4 KB

References

  1. Anderson, Greg W.; Brownawell, W. Dale; Papanikolas, Matthew A. Determination of the algebraic relations among special Γ\Gamma-values in positive characteristic. Ann. of Math. (2), vol. 160, no. 1, pp. 237–313. 2004DOI
  2. AI coordinator. Independent checks for this paper. 2026. Directory \textttlatex/thakur-conjectures/harvest/checks/ of https://github.com/tdupu/dumps; scripts and outputs written by the AI agent that assembled this paperlink
  3. AI research record. Are all relations among Fq[t]\mathbb{F}_q[t] multizeta values consequences of shuffle relations?. 2026. Directory \textttai/2026-10-23-thakur-mzv-relations-shuffle-only/ of https://github.com/tdupu/dumps; AI-generated, not human-reviewedlink
  4. AI research record. Lara Rodríguez–Thakur higher-genus zeta-like conjectures: status. 2026. Directory \textttai/2026-10-23-thakur-higher-genus-zeta-like/ of https://github.com/tdupu/dumps; AI-generated, not human-reviewedlink
  5. AI research record. Thakur's automata and transcendence questions for function-field special values. 2026. Directory \textttai/2026-10-23-thakur-automata-transcendence/ of https://github.com/tdupu/dumps; AI-generated, not human-reviewedlink
  6. AI research record. Thakur's conjectures on zeros of Goss zeta functions for general AA. 2026. Directory \textttai/2026-10-23-thakur-goss-zeta-zeros-general-A/ of https://github.com/tdupu/dumps; AI-generated, not human-reviewedlink
  7. AI research record. Thakur's power-sum hypotheses H1, H2 for non-prime qq. 2026. Directory \textttai/2026-10-23-thakur-power-sum-h1-h2-nonprime/ of https://github.com/tdupu/dumps; AI-generated (Claude Code, claude-opus-5-5), not human-reviewedlink
  8. AI research record. Zeta-like MZVs over Fq[t]\mathbb{F}_q[t]: status of the characterization conjectures. 2026. Directory \textttai/2026-10-23-thakur-zeta-like-mzv-characterization/ of https://github.com/tdupu/dumps; AI-generated, not human-reviewedlink
  9. Anthropic. Claude Code. 2026. Agentic coding tool; model \textttclaude-opus-5-5. https://claude.com/claude-codelink
  10. Chang, Chieh-Yu; Chen, Yen-Tsung; Mishiba, Yoshinori. On Thakur's basis conjecture for multiple zeta values in positive characteristic. Forum Math. Pi, vol. 11, pp. Paper No. e26. 2023. arXiv:2205.09929arXivDOI
Show all 46 referencesShow fewer references
  1. Chang, Chieh-Yu. Linear independence of monomials of multizeta values in positive characteristic. Compos. Math., vol. 150, no. 11, pp. 1789–1808. 2014. arXiv:1207.2326arXivDOI
  2. Chen, Huei-Jeng. Anderson–Thakur polynomials and multizeta values in positive characteristic. Asian J. Math., vol. 21, no. 6, pp. 1135–1152. 2017. arXiv:1506.06463arXivDOI
  3. Chen, Yen-Tsung. A vv-adic variant of Anderson–Brownawell–Papanikolas linear independence criterion and its application. Math. Res. Lett., vol. 32, no. 4, pp. 1085–1120. 2025. arXiv:2308.05825arXivDOI
  4. Chen, Huei-Jeng; Kuan, Yen-Liang. On depth 2 zeta-like families. J. Number Theory, vol. 184, pp. 411–427. 2018DOI
  5. Christol, Gilles; Kamae, Teturo; Mendès France, Michel; Rauzy, Gérard. Suites algébriques, automates et substitutions. Bull. Soc. Math. France, vol. 108, no. 4, pp. 401–419. 1980DOI
  6. Chang, Chieh-Yu; Mishiba, Yoshinori. On multiple polylogarithms in characteristic pp: vv-adic vanishing versus ∞\infty-adic Eulerianness. Int. Math. Res. Not. IMRN, no. 3, pp. 923–947. 2019. arXiv:1511.03490arXivDOI
  7. Chang, Chieh-Yu; Mishiba, Yoshinori. On a conjecture of Furusho over function fields. Invent. Math., vol. 223, no. 1, pp. 49–102. 2021DOI
  8. Chung, Kwun; Ngo Dac, Tuan; Pellarin, Federico. Universal families of Eulerian multiple zeta values in positive characteristic. Adv. Math., vol. 422, pp. Paper No. 109003. 2023. arXiv:2111.06973arXivDOI
  9. Chen, Evan; Ono, Ken. Thakur's hypotheses on power sums of Fq[t]\mathbb{F}_q[t]. 2026. Preprint, arXiv:2606.16239v1arXiv
  10. Chang, Chieh-Yu; Papanikolas, Matthew A.; Thakur, Dinesh S.; Yu, Jing. Algebraic independence of arithmetic gamma values and Carlitz zeta values. Adv. Math., vol. 223, no. 4, pp. 1137–1154. 2010DOI
  11. Chang, Chieh-Yu; Papanikolas, Matthew A.; Yu, Jing. An effective criterion for Eulerian multizeta values in positive characteristic. J. Eur. Math. Soc. (JEMS), vol. 21, no. 2, pp. 405–440. 2019. arXiv:1411.0124arXivDOI
  12. Chang, Chieh-Yu; Wei, Fu-Tsun; Yu, Jing. vv-adic periods of Carlitz motives and Chowla–Selberg formula revisited. 2024. Preprint, arXiv:2407.15024v3arXiv
  13. Dupuy, Taylor. mathcity: skills for mathematical research agents. https://github.com/tdupu/mathcity; public availability not established by the authoring agentlink
  14. Diaz-Vargas, Javier; Polanco-Chi, Enrique. Riemann hypothesis for Goss tt-adic zeta function. 2014. Preprint, arXiv:1408.1111v1arXiv
  15. Goss, David. A Riemann hypothesis for characteristic pp LL-functions. J. Number Theory, vol. 82, no. 2, pp. 299–322. 2000. arXiv:math/9907019arXiv
  16. Hu, Jinyuan. Todd's relation conjecture and binary relations for multiple zeta values in positive characteristic. 2026. Preprint, arXiv:2609.08263v2; not refereedarXiv
  17. Im, Bo-Hae; Kim, Hojin; Le, Khac Nhuan; Ngo Dac, Tuan; Pham, Lan Huong. Zagier–Hoffman's conjectures in positive characteristic. Forum Math. Pi, vol. 12, pp. Paper No. e18. 2024. arXiv:2205.07165arXivDOI
  18. Kuan, Yen-Liang; Lin, Yi-Hsuan. Criterion for deciding zeta-like multizeta values in positive characteristic. Exp. Math., vol. 25, no. 3, pp. 246–256. 2016DOI
  19. Kramer-Miller, Joe; Upton, James. Zeros of the Goss zeta function. 2023. Preprint, arXiv:2312.01264v1arXiv
  20. Le, Huy Hung; Ngo Dac, Tuan. Zeta-like multiple zeta values in positive characteristic. Math. Z., vol. 301, no. 2, pp. 2037–2057. 2022. HAL: hal-03093398DOI
  21. Lara Rodríguez, José Alejandro; Thakur, Dinesh S. Zeta-like multizeta values for Fq[t]\mathbb{F}_q[t]. Indian J. Pure Appl. Math., vol. 45, no. 5, pp. 787–801. 2014. arXiv:1312.4928arXivDOI
  22. Lara Rodríguez, José Alejandro; Thakur, Dinesh S. Zeta-like multizeta values for higher genus curves. J. Théor. Nombres Bordeaux, vol. 33, no. 2, pp. 553–581. 2021. arXiv:2003.12910arXivDOI
  23. Mendès France, Michel; Yao, Jia-Yan. Transcendence and the Carlitz–Goss gamma function. J. Number Theory, vol. 63, no. 2, pp. 396–402. 1997DOI
  24. Ngo Dac, Tuan. On Zagier–Hoffman's conjectures in positive characteristic. Ann. of Math. (2), vol. 194, no. 1, pp. 361–392. 2021DOI
  25. Sheats, Jeffrey T. The Riemann hypothesis for the Goss zeta function for Fq[T]\mathbb{F}_q[T]. J. Number Theory, vol. 71, no. 1, pp. 121–157. 1998DOI
  26. Thakur, Dinesh S. Arithmetic of gamma, zeta and multizeta values for function fields. Notes of a CRM Barcelona advanced course (2010), https://www.sas.rochester.edu/mth/sites/dinesh-thakur/crmDec12.pdf (retrieved 2026-10-23)link
  27. Thakur, Dinesh S. Function Field Arithmetic. World Scientific. 2004
  28. Thakur, Dinesh S. Power sums with applications to multizeta and zeta zero distribution for Fq[t]\mathbb{F}_q[t]. Finite Fields Appl., vol. 15, no. 4, pp. 534–552. 2009DOI
  29. Thakur, Dinesh S. Relations between multizeta values for Fq[t]\mathbb{F}_q[t]. Int. Math. Res. Not. IMRN, no. 12, pp. 2318–2346. 2009DOI
  30. Thakur, Dinesh S. Recent progress and open problems in function field arithmetic–the influence of John Tate's work. Pure Appl. Math. Q., vol. 6, no. 1, pp. 1–20. 2010. Author PDF https://www.sas.rochester.edu/mth/sites/dinesh-thakur/PAMQtate.pdf (retrieved 2026-10-23; title and pages from its first page)link
  31. Thakur, Dinesh S. Shuffle relations for function field multizeta values. Int. Math. Res. Not. IMRN. 2010. Issue and pages not verified (Crossref lists online date 2009-12-07 only)DOI
  32. Thakur, Dinesh S. Valuations of vv-adic power sums and zero distribution for the Goss vv-adic zeta function for Fq[t]\mathbb{F}_q[t]. J. Integer Seq., vol. 16, no. 2, pp. Article 13.2.13. 2013. Author version consulted: https://archive.math.arizona.edu/thakur/powerfinal.pdflink
  33. The Sage Developers. SageMath, the Sage Mathematics Software System (Version 10.8). 2025. https://www.sagemath.orglink
  34. Todd, George. A conjectural characterization for Fq(t)\mathbb{F}_q(t)-linear relations between multizeta values. J. Number Theory, vol. 187, pp. 264–287. 2018DOI
  35. Wen, Zhi-Ying; Yao, Jia-Yan. Transcendence, automata theory and gamma functions for polynomial rings. Acta Arith., vol. 101, no. 1, pp. 39–51. 2002DOI
  36. Yu, Jing. Transcendence and special zeta values in characteristic pp. Ann. of Math. (2), vol. 134, no. 1, pp. 1–23. 1991DOI

Version history

  1. v1Submitted by Taylor DupuyRevised after moderator-requested changesCurrentOct 27, 2026