pith. machine review for the scientific record. sign in

arxiv: 2605.05039 · v1 · submitted 2026-05-06 · 🧮 math.NT · math.AG

Recognition: unknown

Multiplicative f-ic forms on algebraic varieties arising from Thaine's generalized Jacobi sums

Akinari Hoshi, Kazuki Kanai

Pith reviewed 2026-05-08 16:36 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords generalized Jacobi sumsmultiplicative f-ic formscomplete intersectionsalgebraic toriDavenport-Hasse liftingcyclotomic numbersd-compositions
0
0 comments X

The pith

Generalized Jacobi sums produce multiplicative f-ic forms on complete intersections of f-ics.

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

The authors prove new multiplicative identities for generalized Jacobi sums, cyclotomic numbers, and d-compositions that extend the Davenport-Hasse lifting theorem from prime-power cases to products of prime powers. These identities are applied to construct multiplicative forms of degree f on affine algebraic varieties that arise as complete intersections of f-ic hypersurfaces. This broadens Pfister's theory of multiplicative quadratic forms over fields to higher-degree forms on varieties. A dense open subset W of such a variety V carries the structure of an algebraic torus, with the form compatible with the induced group law on W.

Core claim

By establishing multiplicative identities extending Davenport and Hasse's lifting theorem within Thaine's framework of generalized Jacobi sums and d-compositions, the paper constructs multiplicative f-ic forms on complete intersections of f-ics; moreover, a dense open subset W subset V is an algebraic torus on which the form respects the group law.

What carries the argument

Thaine's generalized Jacobi sums and associated d-compositions, which generate the multiplicative identities that define the f-ic forms and their compatibility with the torus structure.

If this is right

  • Pfister's theory of multiplicative quadratic forms extends from fields to a setting of affine algebraic varieties.
  • New phenomena appear for multiplicative forms when they are realized on varieties rather than fields.
  • The algebraic torus structure on the dense open subset W equips the multiplicative form with a compatible group law.

Where Pith is reading between the lines

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

  • One could check whether the constructed f-ic forms satisfy higher-degree analogs of roundness or splitting properties known for Pfister forms.
  • Explicit low-dimensional examples of these varieties might reveal concrete torus actions compatible with the forms.

Load-bearing premise

Thaine's framework for generalized Jacobi sums and d-compositions applies without obstruction to the complete intersection varieties, and the Davenport-Hasse lifting extends to the product-of-prime-powers case.

What would settle it

A counterexample showing that a specific new multiplicative identity for generalized Jacobi sums fails when the relevant index is a product of distinct prime powers would disprove the claimed extension of the lifting theorem.

read the original abstract

We study generalized Jacobi sums, cyclotomic numbers, and $d$-compositions in Thaine's framework, and prove new multiplicative identities extending Davenport and Hasse's lifting theorem from the classical prime-power setting to products of prime powers. As applications, we construct multiplicative forms of degree $f\ge2$, i.e. $f$-ic forms, on complete intersections of $f$-ics. This places Pfister's theory of multiplicative quadratic forms over fields within the broader setting of multiplicative $f$-ic forms on affine algebraic varieties, where new phenomena arise. Moreover, a dense open subset $W \subset V$ carries the structure of an algebraic torus, and the multiplicative form is compatible with the induced group law on $W$.

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

1 major / 1 minor

Summary. The manuscript studies generalized Jacobi sums, cyclotomic numbers, and d-compositions within Thaine's framework. It proves new multiplicative identities that extend the Davenport-Hasse lifting theorem from the classical prime-power case to products of (distinct) prime powers. These identities are then applied to construct multiplicative f-ic forms (degree f ≥ 2) on complete intersections of f-ics. The work situates Pfister's theory of multiplicative quadratic forms over fields in the setting of affine algebraic varieties, where a dense open subset W ⊂ V is shown to carry an algebraic torus structure compatible with the induced group law and the multiplicative form.

Significance. If the central identities hold, the paper successfully generalizes the notion of multiplicative forms from fields to varieties, identifying new geometric phenomena such as torus compatibility on dense opens. This bridges character-sum techniques with algebraic geometry and could inform the study of forms over coordinate rings or in arithmetic geometry.

major comments (1)
  1. [Section on new multiplicative identities extending Davenport-Hasse (abstract and the proof of the lifting theorem)] The extension of the Davenport-Hasse lifting to products of distinct prime powers (via Thaine's d-compositions) is load-bearing for the multiplicativity claim on the complete intersection V. The manuscript must explicitly verify that no extraneous factors arise in the identity when the primes are distinct, and that the resulting form remains multiplicative on the coordinate ring of V without additional character conditions or obstructions from the defining equations of the complete intersection.
minor comments (1)
  1. Notation for the dense open set W and its torus structure could be introduced earlier with a brief diagram or coordinate description to improve readability for readers unfamiliar with the variety setting.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for recognizing the potential of the work in bridging character-sum techniques with algebraic geometry. We address the major comment below and are prepared to revise the manuscript accordingly to strengthen the exposition.

read point-by-point responses

  1. Referee: [Section on new multiplicative identities extending Davenport-Hasse (abstract and the proof of the lifting theorem)] The extension of the Davenport-Hasse lifting to products of distinct prime powers (via Thaine's d-compositions) is load-bearing for the multiplicativity claim on the complete intersection V. The manuscript must explicitly verify that no extraneous factors arise in the identity when the primes are distinct, and that the resulting form remains multiplicative on the coordinate ring of V without additional character conditions or obstructions from the defining equations of the complete intersection.

    Authors: We appreciate the referee drawing attention to this foundational aspect. The proof of the lifting theorem (in the section following the abstract) derives the multiplicative identities for generalized Jacobi sums using Thaine's d-compositions, which apply uniformly to moduli that are products of prime powers, whether the primes are distinct or not. When the primes are distinct, the Chinese Remainder Theorem ensures the character sums and cyclotomic numbers decompose independently across the prime-power factors, with no cross terms or extraneous factors introduced; this is implicit in the direct computation of the sums over the product modulus and follows from the multiplicativity properties already established in Thaine's framework. For the application to the complete intersection V, the f-ic multiplicative form is constructed on the coordinate ring precisely by substituting the identities into the defining equations of V (which are themselves f-ics of matching degree), so multiplicativity holds by construction without requiring extra character conditions. The dense open W inherits the algebraic torus structure from the multiplicative group law compatible with the form, again without obstructions from the equations. To make this fully explicit as requested, we will add a dedicated remark in the lifting-theorem section separating the distinct-prime case and a short paragraph confirming compatibility on the coordinate ring of V. revision: yes

Circularity Check

0 steps flagged

No circularity; new identities proven independently then applied

full rationale

The paper first studies generalized Jacobi sums and d-compositions in Thaine's external framework, then proves fresh multiplicative identities that extend the classical Davenport-Hasse theorem to products of distinct prime powers. These identities are presented as the key new content. Only afterward are they applied to construct the f-ic forms on the complete intersections and to equip the dense open W with compatible torus structure. No equation or definition reduces the target multiplicative form to a fitted parameter, a self-referential definition, or a load-bearing self-citation chain. All load-bearing steps rest on externally cited classical results plus the paper's own proofs, satisfying the criteria for a self-contained derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract, no explicit free parameters, ad-hoc axioms, or invented entities are introduced; the work relies on standard mathematical frameworks in number theory and algebraic geometry.

axioms (2)
  • domain assumption Thaine's framework for generalized Jacobi sums, cyclotomic numbers, and d-compositions holds in the relevant settings.
    The paper studies and applies this framework as the foundation for the new identities.
  • standard math Standard properties of complete intersections and algebraic tori in affine varieties.
    Invoked for the construction of the forms and the torus structure on W.

pith-pipeline@v0.9.0 · 5425 in / 1478 out tokens · 62924 ms · 2026-05-08T16:36:59.532831+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

42 extracted references

  1. [1]

    B. C. Berndt, R. J. Evans, The determination of Gauss sums , Bull. Amer. Math. Soc. (N.S.) 5 (1981), 107--129

    1981

  2. [2]

    B. C. Berndt, R. J. Evans, K. S. Williams, Gauss and Jacobi sums, Canadian Mathematical Society Series of Monographs and Advanced Texts, Wiley, New York, 1998

    1998

  3. [3]

    Davenport, H

    H. Davenport, H. Hasse, Die Nullstellen der Kongruenzzetafunktionen in gewissen zyklischen F\" a llen , (German) J. Reine Angew. Math. 172 (1935), 151--182

    1935

  4. [4]

    Dr\'apal, P

    A. Dr\'apal, P. Vojt e chovsk\'y, Symmetric multilinear forms and polarization of polynomials , (German) Linear Algebra Appl. 431 (2009), 998--1012

    2009

  5. [5]

    C. F. Gauss, Disquisitiones Arithmeticae, 1801

  6. [6]

    Hashimoto, A

    K. Hashimoto, A. Hoshi, Families of cyclic polynomials obtained from geometric generalization of Gaussian period relations , Math. Comp. 74 (2005), 1519--1530

    2005

  7. [7]

    Hashimoto, A

    K. Hashimoto, A. Hoshi, Geometric generalization of Gaussian period relations with application to Noether's problem for meta-cyclic groups , Tokyo J. Math. 28 (2005), 13--32

    2005

  8. [8]

    Hoshi, Multiplicative quadratic forms on algebraic varieties , Proc

    A. Hoshi, Multiplicative quadratic forms on algebraic varieties , Proc. Japan Acad. Ser. A Math. Sci. 79 (2003), 71--75

    2003

  9. [9]

    Hoshi, Explicit lifts of quintic Jacobi sums and period polynomials for _q , Proc

    A. Hoshi, Explicit lifts of quintic Jacobi sums and period polynomials for _q , Proc. Japan Acad. Ser. A Math. Sci. 82 (2006), 87--92

    2006

  10. [10]

    Hoshi, K

    A. Hoshi, K. Kanai, Davenport and Hasse's theorems and lifts of multiplication matrices of Gaussian periods , Finite Fields Appl. 84 (2022) Paper No. 102101, 26 pp

    2022

  11. [11]

    Uber die Composition der quadratischen Formen von beliebig vielen Variablen , Nachrichten von der Gesellschaft der Wissenschaften zu G\

    A. Hurwitz, \"Uber die Composition der quadratischen Formen von beliebig vielen Variablen , Nachrichten von der Gesellschaft der Wissenschaften zu G\"ottingen, Mathematisch--Physikalische Klasse (1898), 309--316

  12. [12]

    S. A. Katre, A. R. Rajwade, Complete solution of the cyclotomic problem in _q^ for any prime modulus l , q = p^ , p 1\ ( mod \ l) , Acta Arith. 45 (1985), 183--199

    1985

  13. [13]

    S. A. Katre, A. R. Rajwade, Unique determination of cyclotomic numbers of order five, Manuscripta Math. 53 (1985), 65--75

    1985

  14. [14]

    Knebusch, W

    M. Knebusch, W. Scharlau, Algebraic theory of quadratic forms. Generic methods and Pfister forms , Notes taken by Heisook Lee. DMV Seminar, 1, Birkh\"auser, Boston, Mass., 1980. i+44 pp

    1980

  15. [15]

    T. Y. Lam, Introduction to quadratic forms over fields , Graduate Studies in Mathematics, 67, American Mathematical Society, Providence, RI, 2005, xxii+550 pp

    2005

  16. [16]

    Lehmer, The quintic character of 2 and 3 , Duke Math

    E. Lehmer, The quintic character of 2 and 3 , Duke Math. J. 18 (1951), 11--18

    1951

  17. [17]

    Lehmer, Connection between Gaussian periods and cyclic units , Math

    E. Lehmer, Connection between Gaussian periods and cyclic units , Math. Comp. 50 (1988), 535--541

    1988

  18. [18]

    P. A. Leonard, K. S. Williams, The cyclotomic numbers of order seven, Proc. Amer. Math. Soc. 51 (1975), 295--300

    1975

  19. [19]

    P. A. Leonard, K. S. Williams, The cyclotomic numbers of order eleven, Acta Arith. 26 (1975), 365--383

    1975

  20. [20]

    Yu. I. Manin, Cubic forms: algebra, geometry, arithmetic, North-Holland Mathematical Library 4, North-Holland, Amsterdam, 1974

    1974

  21. [21]

    Pfister, Zur Darstellung von -1 als Summe von Quadraten in einem K\"orper , (German) J

    A. Pfister, Zur Darstellung von -1 als Summe von Quadraten in einem K\"orper , (German) J. London Math. Soc. 40 (1965), 159--165

    1965

  22. [22]

    Pfister, Multiplikative quadratische Formen , (German) Arch

    A. Pfister, Multiplikative quadratische Formen , (German) Arch. Math. (Basel) 16 (1965), 363--370

    1965

  23. [23]

    Pfister, Quadratische Formen in beliebigen K\"orpern , (German) Invent

    A. Pfister, Quadratische Formen in beliebigen K\"orpern , (German) Invent. Math. 1 (1966), 116--132

    1966

  24. [24]

    Pfister, Zur Darstellung definiter Funktionen als Summe von Quadraten , (German) Invent

    A. Pfister, Zur Darstellung definiter Funktionen als Summe von Quadraten , (German) Invent. Math. 4 (1967), 229--237

    1967

  25. [25]

    A. Pfister, Quadratic forms with applications to algebraic geometry and topology , London Mathematical Society Lecture Note Series, 217, Cambridge University Press, Cambridge, 1995, viii+179 pp

    1995

  26. [26]

    A. R. Rajwade, Squares , London Mathematical Society Lecture Note Series, 171, Cambridge University Press, Cambridge, 1993, xii+286 pp

    1993

  27. [27]

    Scharlau, Quadratic and Hermitian forms , Grundlehren der mathematischen Wissenschaften, 270, Springer-Verlag, Berlin, 1985

    W. Scharlau, Quadratic and Hermitian forms , Grundlehren der mathematischen Wissenschaften, 270, Springer-Verlag, Berlin, 1985

    1985

  28. [28]

    Schafer, Forms permitting composition , Adv

    R.D. Schafer, Forms permitting composition , Adv. Math. 4 (1970), 127--148

    1970

  29. [29]

    D. B. Shapiro, Compositions of quadratic forms , De Gruyter Expositions in Mathematics, 33, Walter de Gruyter & Co., Berlin, 2000, xiv+417 pp

    2000

  30. [30]

    Storer, Cyclotomy and difference sets , Lectures in Advanced Mathematics, No

    T. Storer, Cyclotomy and difference sets , Lectures in Advanced Mathematics, No. 2 Markham Publishing Co., Chicago, Ill. 1967, vii+134 pp

    1967

  31. [31]

    Storer, On the arithmetic structure of Galois domains , Acta Arith

    T. Storer, On the arithmetic structure of Galois domains , Acta Arith. 15 (1969), 139--159

    1969

  32. [32]

    Schoof, L

    R. Schoof, L. C. Washington, Quintic polynomials and real cyclotomic fields with large class numbers , Math. Comp. 50 (1988), 543--556

    1988

  33. [33]

    Terras, Fourier analysis on finite groups and applications , London Mathematical Society Student Texts, 43, Cambridge University Press, Cambridge, 1999, x+442 pp

    A. Terras, Fourier analysis on finite groups and applications , London Mathematical Society Student Texts, 43, Cambridge University Press, Cambridge, 1999, x+442 pp

    1999

  34. [34]

    Thaine, Properties that characterize Gaussian periods and cyclotomic numbers, Proc

    F. Thaine, Properties that characterize Gaussian periods and cyclotomic numbers, Proc. Amer. Math. Soc. 124 (1996), 35--45

    1996

  35. [35]

    Thaine, On the coefficients of Jacobi sums in prime cyclotomic fields, Trans

    F. Thaine, On the coefficients of Jacobi sums in prime cyclotomic fields, Trans. Amer. Math. Soc. 351 (1999), 4769--4790

    1999

  36. [36]

    Thaine, Families of irreducible polynomials of Gaussian periods and matrices of cyclotomic numbers, Math

    F. Thaine, Families of irreducible polynomials of Gaussian periods and matrices of cyclotomic numbers, Math. Comp. 69 (2000), 1653--1666

    2000

  37. [37]

    Thaine, Jacobi sums and new families of irreducible polynomials of Gaussian periods, Math

    F. Thaine, Jacobi sums and new families of irreducible polynomials of Gaussian periods, Math. Comp. 70 (2001), 1617--1640

    2001

  38. [38]

    Thaine, Cyclic polynomials and the multiplication matrices of their roots, J

    F. Thaine, Cyclic polynomials and the multiplication matrices of their roots, J. Pure Appl. Algebra 188 (2004), 247--286

    2004

  39. [39]

    Thaine, On the construction of families of cyclic polynomials whose roots are units , Experiment

    F. Thaine, On the construction of families of cyclic polynomials whose roots are units , Experiment. Math. 17 (2008), 315--331

    2008

  40. [40]

    V. E. Voskresenskii, Algebraic groups and their birational invariants , Translated from the Russian manuscript by Boris Kunyavskii, Translations of Mathematical Monographs, 179. American Mathematical Society, Providence, RI, 1998

    1998

  41. [41]

    van Wamelen, Jacobi sums over finite fields, Acta Arith

    P. van Wamelen, Jacobi sums over finite fields, Acta Arith. 102 (2002), 1--20

    2002

  42. [42]

    Weil, Numbers of solutions of equations in finite fields , Bull

    A. Weil, Numbers of solutions of equations in finite fields , Bull. Amer. Math. Soc. 55 (1949), 497--508

    1949