Pith. sign in

REVIEW 1 major objections 13 references

Optimal homological vanishing: cancellation of character sums and Patterson's conjecture over $\mathbb{F}_q[t]$

T0 review · 1 major / 0 minor · reviewed 2026-06-26 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Homology vanishing lines for H_i(B_n, V^{\otimes n}) converge in slope to the optimal bound and produce power-saving cancellation for character sums over function fields

desk verdict The paper's core claim is an explicit homological vanishing line for H_i(B_n, V^{\otimes n}) that depends only on finite-n data and whose slope approaches optimal, then applied to higher-order Gauss sum bias over function fields. read the letter →

arxiv 2606.26440 v1 pith:M66PSXE7 submitted 2026-06-24 math.NT math.ATmath.QA

Zhao Yu Ma This is my paper · ORCID
classification math.NTmath.ATmath.QA
keywords braidgrouphomologyvanishinglinesGausssumsPattersonconjecturefunctionfieldscharactersumcancellationGaloisextensions
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Many arithmetic sums over function fields reduce to the homology groups $H_i(B_n, V^{\otimes n})$ for a braided vector space $V$, so that a vanishing line in these groups directly yields power-saving cancellation. The paper proves an explicit vanishing line that depends only on homology data up to a finite range of $n$. As this finite range grows, the slope of the resulting vanishing line approaches the optimal possible slope. The same method is applied to two families of sums: it gives an upper bound on the bias of higher-order Gauss sums over $F_q[t]$ that extends Patterson's conjecture past the cubic and quartic cases, and it shows near square-root cancellation for almost all character sums over Galois $G$-extensions.

What carries the argument

The explicit vanishing line in the homology groups $H_i(B_n, V^{\otimes n})$ for a braided vector space $V$, which converts finite homology computations into cancellation bounds for the associated arithmetic sums.

What would settle it

A direct computation of the bias of a higher-order Gauss sum (for example order 5) over $F_q[t]$ for large $q$, to test whether the bias remains below the proved upper bound.

Watch

Extended reading notes

Core claim

An explicit vanishing line for $H_i(B_n,V^{\otimes n})$ is proved that depends only on the homology up to some finite $n$. As the range of $n$ increases, the slope of the resulting vanishing line converges to the optimal slope. This is used to prove an upper bound for the bias of higher order Gauss sums over function fields, extending Patterson's conjecture beyond the cubic and quartic cases, and to show that over Galois $G$-extensions almost all character sums exhibit near square-root cancellation.

Load-bearing premise

Many arithmetic sums over function fields can be expressed in terms of the homology groups $H_i(B_n, V^{\otimes n})$ for some braided vector space $V$.

Editorial extensions

If this is right

  • Upper bounds on the bias of higher-order Gauss sums over F_q[t], conjectured to be sharp when the order is a prime power.
  • Near square-root cancellation for almost all character sums over Galois G-extensions.
  • Power-saving cancellation for any arithmetic sum that reduces to these homology groups.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Successive computations of homology at larger n would produce successively tighter cancellation bounds approaching the optimal slope.
  • If analogous reductions of arithmetic sums to braid homology exist in other settings, the same finite-data vanishing lines could apply there.
  • The explicit dependence on only finite n makes the bounds computable in principle once the relevant homology is known.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 0 minor

Summary. The manuscript claims that many arithmetic sums over function fields can be expressed in terms of the homology groups H_i(B_n, V^{\otimes n}) for a suitable braided vector space V, so that a vanishing line for these groups yields power-saving cancellation. It proves an explicit vanishing line depending only on homology up to finite n, with the slope converging to the optimal value as the range of n grows. The methods are applied to obtain an upper bound on the bias of higher-order Gauss sums over \mathbb{F}_q[t], extending Patterson's conjecture beyond the cubic and quartic cases, and to show that almost all character sums over Galois G-extensions exhibit near square-root cancellation.

Significance. If the arithmetic-to-homology dictionary is rigorously established, the work supplies a homological mechanism for explicit power-saving estimates in function-field arithmetic, with the finite-n dependence and slope convergence providing a concrete route to near-optimal cancellation. The extension of Patterson's conjecture to higher orders and the square-root cancellation result over G-extensions would constitute notable contributions to the study of character sums in positive characteristic.

major comments (1)
  1. [Abstract / setup section] Abstract (first sentence) and the setup of the arithmetic-homology translation: the claim that arithmetic sums 'can be expressed in terms of' H_i(B_n, V^{\otimes n}) is load-bearing for both the Gauss-sum bias bound and the square-root cancellation statement, yet the explicit dictionary, the choice of braided vector space V, and the verification that the resulting error terms produce the stated power savings are not independently checkable from the visible material; this identification must be made fully explicit and justified in the main text (likely the section introducing the braided homology and the arithmetic applications) before the power-saving conclusions can be assessed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for recognizing the potential significance of the homological approach to power-saving bounds in function-field arithmetic. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract / setup section] Abstract (first sentence) and the setup of the arithmetic-homology translation: the claim that arithmetic sums 'can be expressed in terms of' H_i(B_n, V^{\otimes n}) is load-bearing for both the Gauss-sum bias bound and the square-root cancellation statement, yet the explicit dictionary, the choice of braided vector space V, and the verification that the resulting error terms produce the stated power savings are not independently checkable from the visible material; this identification must be made fully explicit and justified in the main text (likely the section introducing the braided homology and the arithmetic applications) before the power-saving conclusions can be assessed.

    Authors: We agree that the explicit arithmetic-to-homology dictionary is essential for assessing the power-saving claims and that it must be presented in a self-contained, independently verifiable form. The manuscript introduces the relevant braided vector space V and derives the expressions for the sums in the sections on braided homology and the arithmetic applications, but we accept that the current presentation does not make the full identification, choice of V, and error-term verification sufficiently transparent. In the revised manuscript we will add a dedicated subsection that states the dictionary explicitly, specifies V for each family of sums, and walks through the translation from the vanishing line to the stated power-saving bounds, including the precise error terms. This change will be made in the main text. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: premise-to-application structure with independent homological claim

full rationale

The abstract states the arithmetic-to-homology dictionary as an external premise ('Many arithmetic sums over function fields can be expressed in terms of H_i(B_n, V^{\otimes n}) for some braided vector space V') rather than deriving it internally. The core result—an explicit vanishing line for the homology groups that depends only on finite-n data and converges to an optimal slope—is presented as a direct proof, not obtained by fitting or self-definition. The two applications (Gauss-sum bias extending Patterson, and square-root cancellation over G-extensions) are then obtained by feeding the premise into this vanishing line. No equations, self-citations, or reductions that equate a 'prediction' to its own input appear in the supplied text, so the derivation chain does not collapse by construction.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Review performed on abstract only; no explicit free parameters, axioms, or invented entities are stated in the visible text. The central premise that arithmetic sums equal homology groups is treated as an external domain assumption.

assumptions (1)
  • domain assumption Many arithmetic sums over function fields can be expressed in terms of H_i(B_n, V^{\otimes n}) for some braided vector space V
    Stated in the first sentence of the abstract; this translation is required for the homological vanishing to imply arithmetic cancellation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Optimal homological vanishing: cancellation of character sums and Patterson's conjecture over $\mathbb{F}_q[t]$." pith.science (2026). https://pith.science/paper/M66PSXE7

@misc{pith2026260626440,
  author       = {Pith},
  title        = {Pith review of: Optimal homological vanishing: cancellation of character sums and Patterson's conjecture over $\mathbbF_q[t]$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/M66PSXE7}},
  note         = {Machine review of arXiv:2606.26440}
}
abstract

Many arithmetic sums over function fields can be expressed in terms of $H_i(B_n, V^{\otimes n})$ for some braided vector space $V$, and a vanishing line for these homology groups gives power-savings cancellation for the arithmetic sum. We prove an explicit vanishing line for $H_i(B_n,V^{\otimes n})$ depending only on the homology up to some finite $n$. Moreover, as the range of $n$ increases, the slope of the resulting vanishing line converges to the optimal slope. We also apply our methods to two different families of arithmetic sums. Firstly, we prove an upper bound for the bias of higher order Gauss sums over function fields, extending Patterson's conjecture beyond the cubic and quartic cases over number fields, and we conjecture this bound is sharp for orders that are prime powers. Secondly, we show that over Galois $G$-extensions, almost all character sums exhibit near square-root cancellation.

Figures

Figures reproduced from arXiv: 2606.26440 by the authors.

Figure 1
Figure 1. Theorem 1.2 for (N, I) = (4, 1). When we take the special case of I = 0, we get a slight generalization of [ES26, Theorem 1.1.1], as we now only require vanishing of H0(BN , V ⊗N ) instead of vanishing of H0(Bn, V ⊗n ) for all n ≥ N. Corollary 1.3. Let N ≥ 2 be an integer such that H0(BN , V ⊗N ) = 0. Then, we have Hi(Bn, V ⊗n ) = 0 for i ≤ n+1 N+1 − 1, so it vanishes with slope 1 N+1 . We illustrate the example of … view at source ↗
Figure 2
Figure 2. Theorem 1.2 for (N, I) = (3, 0)/Corollary 1.3 for N = 3. We will prove our main theorem in Section 3. The key idea is to construct a filtration on the n-th bar-complex, where vanishing of each graded pieces can be deduced from vanishing of the m-th bar-complex for smaller m < n. This filtration will be constructed combinatorially as the terms in the bar-complex can be indexed by partitions. 3 [PITH_FULL_IMAGE:figur… view at source ↗
Figure 3
Figure 3. Homology of C∧ twisted by ζ3 or ζ6 (left), and twisted by ζ4 (right). this isomorphism, if it exists, is Frobenius equivariant, and if this were true, would lead to a leading term for the bias in Gauss sums, and is an interesting direction for future research. n 1 2 3 4 5 6 7 8 9 10 11 i 0 1 2 3 4 5 6 7 8 9 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0… view at source ↗
Figures from the paper (17 more)
Figure 4
Figure 4. Figure 4: Homology of C∧. We refer to [CFH11, Section 2] and [DDHL26, Section 1.2] for our analytic reasoning. The Dirichlet series corresponding to the bias in Gauss sums is closely related to Kubota’s Eisenstein series on the o-fold cover of SL2, and this has a rightmost simpl…
Figure 5
Figure 5. Figure 5: Bounds for some orders for any ϵ > 0. We believe the true exponent should be somewhere between 1 2 + 1 o and 1 2 + 2 ω(o)−1 o , because of Theorem 1.8 and the pole of Kubota’s Eisenstein series at 1 2 + 1 o as mentioned above. As we managed 9 [PITH_FULL_IMAGE:figures/…
Figure 6
Figure 6. Figure 6: Bounds for some G, R. n 1 2 3 4 5 6 7 i 0 1 2 3 4 5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 3 3 6 6 3 40 37 6 168 162 39 6 672 42 633 2610 2574 [PITH_FULL_IMAGE:figures/full_fig_p011_6.png]
Figure 7
Figure 7. Figure 7: Homology of (CR)−1 for R the conjugacy class of transpositions or 4- cycles in S4. Generalizing Equation (1.5), [ES26, Theorem 1.2.5] prove the bound [PITH_FULL_IMAGE:figures/full_fig_p011_7.png]
Figure 8
Figure 8. Figure 8: Homology of (CR)ζ6 for R the conjugacy class of transpositions in S3. 1.2.3. Multiple characters. We can also consider the more general situation where we have a product of characters. Let us first fix a choice of G, R. For L ∈ ER q (G; n1, . . . , nk), let fL,i be the…
Figure 9
Figure 9. Figure 9: 5-th bar-cube with coloring for different filtration gradings. We consider a four-step filtration on B = B5(A) given by 0 = F0B ⊆ F1B ⊆ F2B ⊆ F3B ⊆ F4B = B where F1B consists of all the black terms, F2B the red and black terms, and finally F3B the red, green and blue t…
Figure 10
Figure 10. Figure 10: The partition λ = (2, 1, 3, 1, 1, 3, 10, 1) for n = 22, N = 4 with a = 5, b = 2 and length L(λ) = 3 + 2 + 0 − 1 + 1 = 5, where | denotes a separator and · denotes the absence of a separator. Now, consider an increasing filtration on B = Bn(A) 0 = F−aB ⊆ F−a+1B ⊆ · · ·…
Figure 11
Figure 11. Figure 11: Possible partition λs for a fixed choice of (mi , Mi , Li) coming from the example in [PITH_FULL_IMAGE:figures/full_fig_p020_11.png]
Figure 12
Figure 12. Figure 12: 4-th bar-cube with vertical graded pieces. where FlB is the sub-complex consisting of the terms Aλ where |Sλ ∩ ({1, . . . , p, . . . , N ˆ − 1}| ≤ l, where pˆ denotes the omission of the element p. Then, the graded piece Grl B then consists of exactly those Aλ where w…
Figure 13
Figure 13. Figure 13: Homology of (CR)ζ3 for R the conjugacy class of transpositions in S3. where we write Φn = Φn( ¯ζ). We omit the other polynomials like f2,1, f2,2, . . ., as we observe from computation that fp,q have exactly the same roots as f1,p+q−1 for p + q ≤ 6. Indeed, this is not…
Figure 14
Figure 14. Figure 14: Table of orders of exceptional twists FV \ FV,N for V = CR where R is the rack of transpositions in S3. We notice that the exceptional twists Vζ ∈ FV \ FV,N have orders that are quite small, in fact, they always divide 3n(n − 1) for some n ≤ N (however, the converse i…
Figure 15
Figure 15. Figure 15: Table of orders of exceptional twists FV \ FV,N for V = C∧. We observe from our computation that the exceptional twists Vζ ∈ FV \ FV,N are essentially those whose orders divide some n(n − 1) for some n ≤ N. This is a phenomenon of Sn-representations, as 27 [PITH_FULL…
Figure 16
Figure 16. Figure 16: Homology of C∧ twisted by ζ12, ζ15 and ζ20. . 7.2. Sign twist of CR. We now consider some examples of the braided vector spaces (CR)−1 where R is a union of conjugacy classes in a group G, focusing on the cases in [PITH_FULL_IMAGE:figures/full_fig_p035_16.png]
Figure 17
Figure 17. Figure 17: Homology of (CR)−1 for (a) G = S3, R transpositions, (b) G = S5, R transpositions, (c) G = D5, R reflections, (d) G = D7, R reflections, (e) G = A3, R one conjugacy class of 3-cycles and (f) G = C5 ⋊ C4, R = {(x, 1): x ∈ C5}. 36 [PITH_FULL_IMAGE:figures/full_fig_p036…
Figure 18
Figure 18. Figure 18: Homology of 3 dimensional Gaussian braided vector space. Next, we look at two dimensional braided vector spaces, which were classified completely in [Hie92]. The classification organizes the solutions according to the number of free parameters and the rank of the brai…
Figure 19
Figure 19. Figure 19: Homology of the two-dimensional braided vector space V1 and (V1)−1. Finally, one can check that V2 is actually isomorphic to the two-dimensional Gaussian braided vector space via a change of basis. We compute that the homology of V2 itself vanishes for 2 ≤ n ≤ 13, and…
Figure 20
Figure 20. Figure 20: Homology of (V2)ζ8 rank) of a matrix over Fp, which has complexity O(D2 z), which for our applications saves a factor of ≈ 105 , although the larger constant overhead reduces this factor somewhat. To get a matrix over a finite field, we randomly chose a few large prim…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    From racks to pointed Hopf algebras

    [AG03] Nicolás Andruskiewitsch and Matías Graña. “From racks to pointed Hopf algebras”. In:Advances in Mathematics178.2 (Sept. 2003), pp. 177–243.doi:10.1016/s0001- 8708(02)00071-3. [BDPW23] Jonas Bergström, Adrian Diaconu, Dan Petersen, and Craig Westerland.Hyperelliptic curves, the scanning map, and moments of families of quadratic L-functions

    work page doi:10.1016/s0001- 2003

  2. [2]

    [BG09] Enrico Bombieri and Walter Gubler.Heights in Diophantine geometry

    arXiv:2302.07664 [math.NT].url:https://arxiv.org/abs/2302.07664. [BG09] Enrico Bombieri and Walter Gubler.Heights in Diophantine geometry. Cambridge University Press,

    work page Pith review arXiv

  3. [3]

    Representation theory and homological stability

    [CF13] Thomas Church and Benson Farb. “Representation theory and homological stability”. In:Advances in Mathematics245 (Oct. 2013), pp. 250–314.doi:10.1016/j.aim.2013. 06.016. [CFH11] Gautam Chinta, Solomon Friedberg, and Jeffrey Hoffstein. “Double Dirichlet series and theta functions”. In:Springer Proceedings in Mathematics(Oct. 2011), pp. 149–170. doi:1...

    work page doi:10.1016/j.aim.2013 2013

  4. [4]

    Deligne,La conjecture de Weil

    arXiv:2306.11875 [math.NT].url: https://arxiv.org/abs/2306.11875. [Del80] Pierre Deligne. “La conjecture de Weil: II”. In:Publications Mathématiques de l’IHÉS 52 (Dec. 1980), pp. 137–252.doi:10.1007/bf02684780. [DR24] Alexander Dunn and Maksym Radziwiłł. “Bias in cubic Gauss sums: Patterson’s conjecture”. In:Annals of Mathematics200.3 (Nov. 2024).doi:10.4...

    work page doi:10.1007/bf02684780 1980

  5. [5]

    [ES26] Jordan Ellenberg and Mark Shusterman.Averages of Arithmetic Functions over Con- ductors of Function Fields

    arXiv: 2310.16286 [math.NT].url:https://arxiv.org/abs/2310.16286. [ES26] Jordan Ellenberg and Mark Shusterman.Averages of Arithmetic Functions over Con- ductors of Function Fields

    work page Pith review arXiv

  6. [6]

    org/abs/2601.01242

    arXiv:2601.01242 [math.NT].url: https://arxiv. org/abs/2601.01242. [ETW17] Jordan S. Ellenberg, TriThang Tran, and Craig Westerland.Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle’s conjecture for function fields

    work page arXiv

  7. [7]

    and Venkatesh, Akshay and Westerland, Craig , TITLE =

    arXiv:1701. 04541 [math.NT].url:https://arxiv.org/abs/1701.04541. [EVW16] Jordan Ellenberg, Akshay Venkatesh, and Craig Westerland. “Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields”. In:Annals of Mathematics183.3 (May 2016), pp. 729–786.doi:10.4007/annals.2016.183.3.1. [Gar69] F. A. Garside. “The Braid Group ...

    work page doi:10.4007/annals.2016.183.3.1 2016

  8. [8]

    Aq-deformation of a trivial symmetric group action

    [HS98] Phil Hanlon and Richard P. Stanley. “Aq-deformation of a trivial symmetric group action”. In:Transactions of the American Mathematical Society350.11 (1998), pp. 4445– 4459.doi:10.1090/s0002-9947-98-01880-7. [KS20] Mikhail Kapranov and Vadim Schechtman. “Shuffle algebras and perverse sheaves”. In: Pure and Applied Mathematics Quarterly16.3 (2020), p...

    work page doi:10.1090/s0002-9947-98-01880-7 1998

Show all 13 references
  1. [9]

    De residuis cubicis disquisitiones nonnullae analyticae

    Lecture Notes in Computer Science. Springer, 1991, pp. 29–38. [Kum46] E.E. Kummer. “De residuis cubicis disquisitiones nonnullae analyticae.” In:Journal für die reine und angewandte Mathematik (Crelles Journal)1846.32 (July 1846), pp. 341– 359.doi:10.1515/crll.1846.32.341. [LL...

    1991 doi

  2. [10]

    arXiv:2503.03861 [math.AT].url: https://arxiv.org/abs/2503. 03861. [LL25b] Aaron Landesman and Ishan Levy.The Cohen–Lenstra moments over function fields via the stable homology of non-splitting Hurwitz spaces

  3. [11]

    url:https://arxiv.org/abs/2410.22210

    arXiv:2410.22210 [math.NT]. url:https://arxiv.org/abs/2410.22210. [LL25c] Aaron Landesman and Ishan Levy.The stable homology of Hurwitz modules and applications

  4. [12]

    A predicted distribution for Galois groups of maximal unramified extensions

    arXiv: 2510.02068 [math.NT] .url: https://arxiv.org/abs/ 2510.02068. [LWZ24] Yuan Liu, Melanie Matchett Wood, and David Zureick-Brown. “A predicted distribution for Galois groups of maximal unramified extensions”. In:Inventiones mathematicae 237.1 (Apr. 2024), pp. 49–116.doi:1...

    2024 doi

  5. [13]

    Representation stability for pure braid group Milnor fibers

    arXiv:2601.03871 [math.NT].url:https://arxiv.org/abs/2601.03871. [MT21] Jeremy Miller and Philip Tosteson. “Representation stability for pure braid group Milnor fibers”. In:Transactions of the American Mathematical Society374.11 (July 2021), pp. 8177–8199.doi:10.1090/tran/8466...

    2021 doi

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.