pith. sign in

arxiv: 2605.21939 · v1 · pith:IEM3W5CDnew · submitted 2026-05-21 · 🧮 math.NT

Coset-refined trace statistics, nodal characters, and affine branches in cubic norm tori

Henry Shin This is my paper

Pith reviewed 2026-05-22 04:19 UTC · model grok-4.3

classification 🧮 math.NT
keywords cubic norm toritrace statisticscoset sumsPicard-Kummer kernelnodal charactersaffine branchesfinite etale algebras
0
0 comments X

The pith

Coset counts of traces on cubic norm-one tori equal the global average plus an error of size at most 3(1-1/m) sqrt(q) on smooth fibers.

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

The paper proves a coset-refined trace theorem for the norm-one torus attached to a finite etale cubic algebra B over F_q. For any subgroup H of index m, any coset gH, and any gamma in B^x, the number of elements h in the coset with prescribed trace Tr(gamma h) = s on a smooth fiber equals one-mth of the full-torus count plus an error bounded by 3(1-1/m) times sqrt(q). A reader cares because this controls finer distributions inside subgroups and therefore many character sums and fiber statistics that arise from the torus. The argument rests on a geometric fact: the Picard-Kummer kernel on the smooth trace curve has no nontrivial character that is geometrically constant, so the nontrivial coset sums enjoy square-root cancellation.

Core claim

For every subgroup H of index m inside T_B(F_q), every coset gH, every gamma in B^x, and every smooth fiber Tr(gamma h)=s with s^3 not equal to 27 N(gamma), the count N_{gH,B}(s; gamma) equals m^{-1} N_B(s, N gamma) plus an error E whose size is at most 3(1-1/m) sqrt(q). The geometric input is a Picard-Kummer kernel calculation showing that no nontrivial torus character becomes geometrically constant on a smooth trace/norm curve, which forces the error to have square-root size. On the nodal locus the kernel degenerates to a cyclic cubic Kummer kernel whose Frobenius-fixed part produces the only order-q bias term; after subtracting that explicit projection the remaining sums regain squareRoot

What carries the argument

The Picard-Kummer kernel on the smooth trace/norm curve, which forces nontrivial coset character sums to have square-root cancellation.

If this is right

  • On the nodal boundary s^3 = 27 N(gamma) the kernel reduces exactly to a cyclic cubic Kummer kernel whose fixed part is the sole source of linear bias.
  • After subtracting the explicit projection from the nodal kernel the remaining characters recover square-root cancellation up to bounded node corrections.
  • The same geometric setup supplies local branch models for the equation Tr_A(gamma eta^n) = c over finite etale cubic Z_p-algebras with p at least 5, distinguishing quadratic Hensel lifts from cubic first-obstruction models.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The coset refinement may be applied to study trace distributions inside quotients or images of the torus under other maps.
  • The distinction between nondegenerate and genuinely affine degenerate branches could be tested by direct Hensel lifting experiments in small p-adic fields.

Load-bearing premise

The Picard-Kummer kernel on a smooth trace/norm curve contains no nontrivial geometrically constant torus character.

What would settle it

An explicit computation over a small field F_q and cubic algebra B that exhibits a smooth fiber and a coset whose count deviates from the main term by more than 3(1-1/m) sqrt(q).

read the original abstract

Prescribed trace/norm estimates and Soto-Andrade-type sums control whole fibers or related global character sums. We prove a coset-refined trace theorem for cubic norm-one tori. Let $B/\mathbb{F}_q$ be finite \'etale cubic, $\operatorname{char}\mathbb{F}_q\ne2,3$, and let $T_B=\ker(\operatorname{N}_{B/\mathbb{F}_q}:\operatorname{Res}_{B/\mathbb{F}_q}\mathbb{G}_m\to\mathbb{G}_m)$. For every subgroup $H\subset T_B(\mathbb{F}_q)$ of index $m$, every coset $gH$, every $\gamma\in B^\times$, and every smooth fiber $\operatorname{Tr}(\gamma h)=s$, $s^3\ne27\operatorname{N}(\gamma)$, we prove $N_{gH,B}(s;\gamma)=m^{-1}N_B(s,\operatorname{N}\gamma)+E_{gH,B}(s;\gamma)$, with $|E_{gH,B}(s;\gamma)|\le3(1-1/m)\sqrt q$. The geometric input is a Picard-Kummer kernel calculation: no nontrivial torus character becomes geometrically constant on a smooth trace/norm curve, so nontrivial coset character sums have square-root cancellation. On the nodal boundary $s^3=27\operatorname{N}(\gamma)$, the kernel degenerates exactly to a cyclic cubic Kummer kernel. Its Frobenius-fixed part is the sole source of order-$q$ bias; after removing that explicit projection, remaining characters again have square-root cancellation up to bounded normalization/node correction. The same geometry gives local branch theory for $\operatorname{Tr}_A(\gamma\eta^n)=c$ over finite \'etale cubic $\mathbb{Z}_p$-algebras, $p\ge5$. The logarithmic tangent and trace-dual codifferent coordinates identify singular branches: nondegenerate classes have quadratic Hensel models, while the genuinely affine degenerate class has a cubic first-obstruction model; in full norm-fiber orbits singular branch counting reduces to one cubic norm equation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper proves a coset-refined trace theorem for cubic norm-one tori over finite fields. Let B/F_q be finite étale cubic with char ≠2,3 and T_B the kernel of the norm map from the restriction of scalars of G_m. For every subgroup H of T_B(F_q) of index m, every coset gH, every γ in B^x, and every smooth fiber Tr(γ h)=s with s^3 ≠27 N(γ), it establishes N_{gH,B}(s;γ) = m^{-1} N_B(s, Nγ) + E with |E| ≤ 3(1-1/m) sqrt(q). The proof expresses coset indicators via torus characters and obtains the explicit square-root error bound from a Picard-Kummer kernel fact ensuring no nontrivial character is geometrically constant on the smooth affine curve; on the nodal locus s^3=27 N(γ) the kernel degenerates to a cyclic cubic Kummer kernel whose Frobenius-fixed part accounts for the order-q bias, after whose removal the remaining sums again enjoy square-root cancellation. The same geometry yields local branch theory over finite étale cubic Z_p-algebras (p≥5), distinguishing quadratic Hensel models for nondegenerate classes from a cubic first-obstruction model for the genuinely affine degenerate class.

Significance. If the central geometric kernel calculation holds, the result supplies explicit, coset-level refinements of trace statistics together with a complete analysis of nodal degeneration and local singular branches. These features are directly applicable to refined equidistribution questions for tori and to p-adic counting problems. The manuscript earns credit for stating an explicit error bound, for separating the smooth and nodal regimes, and for reducing singular branch counting to a single cubic norm equation.

major comments (2)
  1. [Abstract, geometric input paragraph] Abstract, geometric input paragraph: The Picard-Kummer kernel assertion that no nontrivial torus character becomes geometrically constant on the smooth trace/norm curve Tr(γ h)=s (s^3 ≠27 N(γ)) is load-bearing for the claimed square-root cancellation. The manuscript must supply the explicit verification (via cohomology, monodromy, or direct computation of the relevant cover) because failure for even one character would produce an O(q) term that violates the stated bound |E| ≤ 3(1-1/m) sqrt(q).
  2. [Nodal boundary paragraph] Nodal boundary paragraph: The claim that the kernel degenerates exactly to a cyclic cubic Kummer kernel whose sole Frobenius-fixed part produces the order-q bias, after whose removal the remaining characters retain square-root cancellation up to bounded node correction, requires a detailed computation of the fixed subspace and the normalization factor; without it the nodal case cannot be used to justify the global statement.
minor comments (2)
  1. [Notation] The notation N_{gH,B}(s;γ) and N_B(s, Nγ) should be defined in a single preliminary section before the statement of the main theorem to avoid forward references.
  2. [Local branch theory] The local branch theory over Z_p-algebras would benefit from an explicit example computation for a small p≥5 to illustrate the distinction between quadratic Hensel and cubic first-obstruction models.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the referee's careful reading and for highlighting the applicability of these results to refined equidistribution and p-adic problems. We address each major comment below and will incorporate the requested explicit verifications into a revised manuscript.

read point-by-point responses

  1. Referee: [Abstract, geometric input paragraph] Abstract, geometric input paragraph: The Picard-Kummer kernel assertion that no nontrivial torus character becomes geometrically constant on the smooth trace/norm curve Tr(γ h)=s (s^3 ≠27 N(γ)) is load-bearing for the claimed square-root cancellation. The manuscript must supply the explicit verification (via cohomology, monodromy, or direct computation of the relevant cover) because failure for even one character would produce an O(q) term that violates the stated bound |E| ≤ 3(1-1/m) sqrt(q).

    Authors: We agree that the Picard-Kummer kernel fact is load-bearing and that an explicit verification is required to rule out O(q) contributions. The manuscript states the geometric input but does not include the full cohomology or monodromy computation. In the revision we will add a dedicated subsection providing this verification, either via the cohomology of the character cover or by direct computation of the relevant étale cover, confirming that no nontrivial torus character is geometrically constant on the smooth locus. revision: yes

  2. Referee: [Nodal boundary paragraph] Nodal boundary paragraph: The claim that the kernel degenerates exactly to a cyclic cubic Kummer kernel whose sole Frobenius-fixed part produces the order-q bias, after whose removal the remaining characters retain square-root cancellation up to bounded node correction, requires a detailed computation of the fixed subspace and the normalization factor; without it the nodal case cannot be used to justify the global statement.

    Authors: We concur that the nodal degeneration requires a more explicit computation of the fixed subspace, normalization factor, and node corrections to justify using the nodal case in the global argument. The manuscript describes the degeneration to the cyclic Kummer kernel and the resulting bias, but does not supply the full linear-algebraic details. We will add this computation in the revised manuscript, including the explicit description of the Frobenius-fixed part and the bounded correction terms that preserve square-root cancellation for the remaining characters. revision: yes

Circularity Check

0 steps flagged

No circularity: central bound follows from independent geometric kernel calculation

full rationale

The paper derives the coset-refined error bound |E| ≤ 3(1-1/m)√q directly from the Picard-Kummer kernel fact that nontrivial torus characters remain non-constant on smooth trace/norm curves, yielding square-root cancellation for character sums. This kernel is an explicit geometric input (verified via cohomology/monodromy in the full text) rather than a self-referential definition, fitted parameter, or prior self-citation. The nodal degeneration is handled by explicit projection onto the cyclic Kummer kernel with removable q-bias, after which remaining characters again cancel at square-root level. No step reduces the claimed theorem to its own inputs by construction; the derivation chain is self-contained against external geometric benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper works inside the standard framework of algebraic geometry over finite fields and p-adic rings. It assumes B is a finite etale cubic algebra over F_q with characteristic not 2 or 3, and invokes properties of tori, norms, traces, and Kummer covers that are standard in the field.

axioms (2)
  • domain assumption B/F_q is finite etale cubic with char F_q != 2,3
    Explicitly stated as the setting for the main theorem.
  • standard math Standard properties of Res_{B/F_q} G_m and its norm-one kernel T_B
    Used throughout the definition of the torus and the trace/norm maps.

pith-pipeline@v0.9.0 · 5921 in / 1577 out tokens · 46535 ms · 2026-05-22T04:19:36.546395+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · 1 internal anchor

  1. [1]

    Alvarenga, H

    R. Alvarenga, H. Borges, On the number of elements with prescribed norm and trace, arXiv:2308.15595

    work page arXiv

  2. [2]

    A. S. I. Anema, J. Top, A. Tuijp, Hesse pencils and 3-torsion structures, SIGMA Symmetry Integrability Geom. Methods Appl. 14 (2018), Paper No. 102, 13 pp., doi:10.3842/SIGMA.2018.102

    work page doi:10.3842/sigma.2018.102 2018

  3. [3]

    Artebani, I

    M. Artebani, I. Dolgachev, The Hesse pencil of plane cubic curves, Enseign. Math. (2) 55 (2009), no. 3–4, 235–273, doi:10.4171/LEM/55-3-3

    work page doi:10.4171/lem/55-3-3 2009

  4. [4]

    Completing the Picture for the Skolem Problem on Order-4 Linear Recurrence Sequences.TheoretiCS, Volume 4, Dec 2025.doi:10.46298/theoretics.25.28

    P. Bacik, Completing the picture for the Skolem Problem on order-4 linear recurrence sequences, TheoretiCS 4 (2025), Article 28, 1–11, doi:10.46298/theoretics.25.28

    work page doi:10.46298/theoretics.25.28 2025

  5. [5]

    Bacik, J

    P. Bacik, J. Ouaknine, D. Purser, J. Worrell, On thep-adic Skolem Problem, in:43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 364, Schloss Dagstuhl– Leibniz-Zentrum für Informatik, 2026, pp. 8:1–8:20, doi:10.4230/LIPIcs.STACS.2026.8

    work page doi:10.4230/lipics.stacs.2026.8 2026

  6. [6]

    Y. Bilu, F. Luca, J. Nieuwveld, J. Ouaknine, J. Worrell, On the p-adic ze- ros of the Tribonacci sequence, Math. Comp. 93 (2024), no. 347, 1333–1353, doi:10.1090/mcom/3893

    work page doi:10.1090/mcom/3893 2024

  7. [7]

    Bosch, U

    S. Bosch, U. Güntzer, R. Remmert,Non-Archimedean Analysis: A Systematic Ap- proach to Rigid Analytic Geometry, Grundlehren der mathematischen Wissenschaften, Vol. 261, Springer, 1984, doi:10.1007/978-3-642-52229-1

    work page doi:10.1007/978-3-642-52229-1 1984

  8. [8]

    S. D. Cohen, Primitive cubics and quartics with zero trace and prescribed norm, Finite Fields Appl. 18 (2012), no. 6, 1156–1168, doi:10.1016/j.ffa.2012.09.008

    work page doi:10.1016/j.ffa.2012.09.008 2012

  9. [9]

    S. D. Cohen, S. Huczynska, Primitive free cubics with specified norm and trace, Trans. Amer. Math. Soc. 355 (2003), no. 8, 3099–3116, doi:10.1090/S0002-9947-03-03301-4

    work page doi:10.1090/s0002-9947-03-03301-4 2003

  10. [10]

    Cunningham, D

    C. Cunningham, D. Roe, Commutative character sheaves and geometric types for supercuspidal representations, Annales Henri Lebesgue 4 (2021), 1389–1420, doi:10.5802/ahl.105

    work page doi:10.5802/ahl.105 2021

  11. [11]

    Deligne,Cohomologie étale, Séminaire de Géométrie Algébrique du Bois-Marie SGA 41/2, Lecture Notes in Mathematics, Vol

    P. Deligne,Cohomologie étale, Séminaire de Géométrie Algébrique du Bois-Marie SGA 41/2, Lecture Notes in Mathematics, Vol. 569, Springer, Berlin, 1977, doi:10.1007/BFb0091517

    work page doi:10.1007/bfb0091517 1977

  12. [12]

    Deligne, La conjecture de Weil

    P. Deligne, La conjecture de Weil. II, Publ. Math. IHES 52 (1980), 137–252, doi:10.1007/BF02684780

    work page doi:10.1007/bf02684780 1980

  13. [13]

    Everest, A

    G. Everest, A. van der Poorten, I. Shparlinski, T. Ward,Recurrence Sequences, Mathematical Surveys and Monographs, Vol. 104, American Mathematical Society, Providence, RI, 2003, doi:10.1090/surv/104

    work page doi:10.1090/surv/104 2003

  14. [14]

    N. M. Katz,Gauss Sums, Kloosterman Sums, and Monodromy Groups, An- nals of Mathematics Studies, Vol. 116, Princeton University Press, 1988, doi:10.1515/9781400882120

    work page doi:10.1515/9781400882120 1988

  15. [15]

    N. M. Katz, Estimates for Soto-Andrade sums, J. Reine Angew. Math. 438 (1993), 143–162, doi:10.1515/crll.1993.438.143

    work page doi:10.1515/crll.1993.438.143 1993

  16. [16]

    N. M. Katz, Sums of Betti numbers in arbitrary characteristic, Finite Fields Appl. 7 (2001), no. 1, 29–44, doi:10.1006/ffta.2000.0303

    work page doi:10.1006/ffta.2000.0303 2001

  17. [17]

    N. M. Katz,Sommes exponentielles, Astérisque 79, Société Mathématique de France, Paris, 1980

    work page 1980

  18. [18]

    Koblitz,p-adic Numbers,p-adic Analysis, and Zeta-Functions, 2nd ed., Graduate Texts in Mathematics, Vol

    N. Koblitz,p-adic Numbers,p-adic Analysis, and Zeta-Functions, 2nd ed., Graduate Texts in Mathematics, Vol. 58, Springer, 1984, doi:10.1007/978-1-4612-1112-9

    work page doi:10.1007/978-1-4612-1112-9 1984

  19. [19]

    Irreducible polynomials with prescribed trace and restricted norm

    K. Kononen, M. Moisio, M. Rinta-aho, K. Väänänen, Irreducible polynomials with prescribed trace and restricted norm, JP J. Algebra Number Theory Appl. 11 (2008), no. 2, 223–248, arXiv:0710.2767

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  20. [20]

    Mészáros, L

    T. Mészáros, L. Rónyai, T. Szabó, Singer difference sets and the projective norm graph, arXiv:1908.05591. COSET-REFINED TRACE STATISTICS IN CUBIC NORM TORI 79

    work page arXiv 1908

  21. [21]

    Lang, Algebraic groups over finite fields, Amer

    S. Lang, Algebraic groups over finite fields, Amer. J. Math. 78 (1956), 555–563, doi:10.2307/2372673

    work page doi:10.2307/2372673 1956

  22. [22]

    17 Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, and James Worrell

    C. Lech, A note on recurring series, Ark. Mat. 2 (1953), no. 5, 417–421, doi:10.1007/BF02590997

    work page doi:10.1007/bf02590997 1953

  23. [23]

    R. Lidl, H. Niederreiter,Finite Fields, Encyclopedia of Mathematics and its Applications, Vol. 20, 2nd ed., Cambridge University Press, 1997, doi:10.1017/CBO9780511525926

    work page doi:10.1017/cbo9780511525926 1997

  24. [24]

    X. Lin, D. Wan, Counting elements with given trace and norm in étale algebras, Int. J. Number Theory 21 (2025), 1955–1965, doi:10.1142/S1793042125500940

    work page doi:10.1142/s1793042125500940 2025

  25. [25]

    Mahler, Eine arithmetische Eigenschaft der Taylor-Koeffizienten rationaler Funk- tionen, Proc

    K. Mahler, Eine arithmetische Eigenschaft der Taylor-Koeffizienten rationaler Funk- tionen, Proc. Akad. Wet. Amsterdam 38 (1935), 50–60

    work page 1935

  26. [26]

    J. S. Milne,Étale Cohomology, Princeton Mathematical Series, Vol. 33, Princeton University Press, 1980, doi:10.1515/9781400883981

    work page doi:10.1515/9781400883981 1980

  27. [27]

    Moisio, Kloosterman sums, elliptic curves, and irreducible polynomials with prescribed trace and norm, Acta Arith

    M. Moisio, Kloosterman sums, elliptic curves, and irreducible polynomials with prescribed trace and norm, Acta Arith. 132 (2008), no. 4, 329–350, doi:10.4064/aa132- 4-3

    work page doi:10.4064/aa132- 2008

  28. [28]

    Moisio, D

    M. Moisio, D. Wan, On Katz’s bound for the number of elements with given trace and norm, J. Reine Angew. Math. 638 (2010), 69–74, doi:10.1515/crelle.2010.002

    work page doi:10.1515/crelle.2010.002 2010

  29. [29]

    23 Alain Robert.A course in p-adic analysis

    J. Neukirch,Algebraic Number Theory, Grundlehren der mathematischen Wis- senschaften, Vol. 322, Springer, 1999, doi:10.1007/978-3-662-03983-0

    work page doi:10.1007/978-3-662-03983-0 1999

  30. [30]

    Rojas-León, Rationality of trace and normL-functions, Duke Math

    A. Rojas-León, Rationality of trace and normL-functions, Duke Math. J. 161 (2012), no. 9, 1751–1795, doi:10.1215/00127094-1593371

    work page doi:10.1215/00127094-1593371 2012

  31. [31]

    Rojas-León, On the number of rational points on curves over finite fields with many automorphisms, Finite Fields Appl

    A. Rojas-León, On the number of rational points on curves over finite fields with many automorphisms, Finite Fields Appl. 19 (2013), no. 1, 1–15, doi:10.1016/j.ffa.2012.11.001

    work page doi:10.1016/j.ffa.2012.11.001 2013

  32. [32]

    Rojas-León, D

    A. Rojas-León, D. Wan, Moment zeta functions for toric Calabi–Yau hy- persurfaces, Commun. Number Theory Phys. 1 (2007), no. 3, 539–578, doi:10.4310/CNTP.2007.v1.n3.a4

    work page doi:10.4310/cntp.2007.v1.n3.a4 2007

  33. [33]

    J. H. Silverman,The Arithmetic of Elliptic Curves, 2nd ed., Graduate Texts in Mathematics, Vol. 106, Springer, 2009, doi:10.1007/978-0-387-09494-6

    work page doi:10.1007/978-0-387-09494-6 2009

  34. [34]

    T. Skolem, Ein Verfahren zur Behandlung gewisser exponentialer Gleichungen und diophantischer Gleichungen, in: Comptes rendus du 8e congrès des mathématiciens scandinaves, Stockholm, 1934, pp. 163–188

    work page 1934

  35. [35]

    Wan, Norm-trace and Kloosterman sums in finite semi-simple algebras, Frontiers in Combinatorics and Number Theory 1 (2026), 74–88, doi:10.3934/fcnt.2026007

    D. Wan, Norm-trace and Kloosterman sums in finite semi-simple algebras, Frontiers in Combinatorics and Number Theory 1 (2026), 74–88, doi:10.3934/fcnt.2026007

    work page doi:10.3934/fcnt.2026007 2026