pith. sign in

arxiv: 2512.22002 · v2 · submitted 2025-12-26 · 🧮 math.AG

The algebro-geometric aspect of the iterated limit of a quaternary of means of four terms

Keiji Matsumoto , Ryunosuke Nakano This is my paper

Pith reviewed 2026-05-16 19:40 UTC · model grok-4.3

classification 🧮 math.AG
keywords period mapautomorphic formsLauricella hypergeometric seriescyclic coversquaternary meansball quotientsiterated limitsSiegel space
0
0 comments X

The pith

Automorphic forms on B3 invert the period map and express the iterated limit of quaternary means as a Lauricella series.

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

The paper shows that the iterated limit of a quaternary of means of four terms equals the Lauricella hypergeometric series of type D in three variables. This identification arises by studying the period map that sends a family of cyclic fourfold covers of the projective line, branched at six points, into the three-dimensional ball B3 inside Siegel space. The authors construct four automorphic forms on B3 that invert this map, prove that one form equals a period integral in the style of Jacobi's formula, and exhibit a transformation of B3 whose action on the forms recovers the four means.

Core claim

Four automorphic forms on the ball B3 are constructed that express the inverse of the period map from the family of cyclic fourfold coverings of the line branched at six points. One of these forms is shown to coincide with a period integral. A transformation of B3 is identified that acts on the four forms to produce the quaternary of means, from which the iterated limit follows as the Lauricella hypergeometric series of type D in three variables.

What carries the argument

The period map from cyclic fourfold covers to B3, inverted by four automorphic forms on B3, together with a transformation of B3 whose action yields the means.

If this is right

  • The inverse to the period map is realized explicitly by four automorphic forms on B3.
  • One automorphic form equals a period integral analogous to Jacobi's theta-constant formula.
  • A transformation of B3 acts on the forms to generate the quaternary of means.
  • The iterated limit of the means is therefore given by the Lauricella hypergeometric series of type D in three variables.

Where Pith is reading between the lines

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

  • The same period-map and automorphic-form technique may invert maps for other families of branched covers and yield closed forms for their associated limits.
  • Iterated means with different numbers of terms or symmetries could be linked to multi-variable hypergeometric functions through analogous ball quotients.
  • The Jacobi-style equality between an automorphic form and a period integral may generalize to higher-dimensional balls or covers with more branch points.

Load-bearing premise

The period map from the family of cyclic fourfold coverings branched at six points to B3 is well-defined and invertible by the constructed automorphic forms.

What would settle it

A direct numerical computation of the period integral over a specific cyclic cover for generic branch points that fails to match the value of the corresponding automorphic form.

read the original abstract

We study the iterated limit of a quaternary of means of four terms through the period map from the family of cyclic fourfold coverings of the complex projective line branching at six points to the three-dimensional complex ball $\mathbb{B}_3$ embedded into the Siegel upper half-space of degree four. We construct four automorphic forms on $\mathbb{B}_3$ expressing the inverse of the period map, and give an equality between one of them and a period integral, which is an analogy of Jacobi's formula between a theta constant and an elliptic integral. We find a transformation of $\mathbb{B}_3$ such that the quaternary of means appears by its actions on the four automorphic forms. These results enable us to express the iterated limit by the Lauricella hypergeometric series of type $D$ in three variables.

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

0 major / 2 minor

Summary. The manuscript examines the iterated limit of a quaternary of means of four terms by means of the period map from the moduli space of cyclic fourfold coverings of the projective line branched at six points to the three-dimensional ball B3 embedded in the Siegel upper half-space. It constructs four automorphic forms on B3 that serve as the inverse to this period map, establishes an equality between one such form and a period integral analogous to Jacobi's formula, identifies a suitable transformation of B3 under which the means are recovered from the action on these forms, and consequently expresses the iterated limit using the Lauricella hypergeometric series of type D in three variables.

Significance. If the constructions and equalities are correctly established, the paper provides a significant algebro-geometric framework for understanding iterated limits of means through period maps and automorphic forms. The analogy to Jacobi's formula and the explicit link to Lauricella series represent a novel connection between arithmetic means, algebraic geometry of covers, and special functions, which could facilitate further computations and generalizations in the field.

minor comments (2)
  1. [Abstract] The term 'quaternary of means' is used without a prior definition or reference; including a short explanation or citation would improve accessibility.
  2. [Introduction] The embedding of B3 into the Siegel upper half-space of degree four is stated but its explicit matrix form or coordinates could be recalled for clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful and positive summary of our manuscript, which accurately reflects its main results on the period map from cyclic fourfold covers to the ball B3, the construction of the four automorphic forms inverting the map, the Jacobi-type formula, the transformation recovering the means, and the expression of the iterated limit via the Lauricella D series. We appreciate the recommendation for minor revision and address the report below.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper constructs four automorphic forms on B3 that invert the standard period map from the moduli space of cyclic fourfold covers branched at six points, using the known embedding of B3 into Siegel space of degree 4 and an explicit equality to a period integral modeled on Jacobi's theta formula. These objects are defined geometrically from the covers rather than fitted to the quaternary means; a subsequent B3 transformation is then applied to recover the means, after which the iterated limit is identified with the Lauricella D3 series. No equation or step reduces by construction to a prior fit, self-definition, or self-citation chain; the central claims rest on independent algebro-geometric constructions that do not presuppose the target limit expression.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard properties of period maps for cyclic covers and the embedding of the ball into Siegel space; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption The period map from the moduli space of cyclic fourfold covers branched at six points to the ball B3 is holomorphic and well-defined.
    Invoked to define the target space for the automorphic forms.

pith-pipeline@v0.9.0 · 5439 in / 1311 out tokens · 17482 ms · 2026-05-16T19:40:32.247291+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

15 extracted references · 15 canonical work pages

  1. [1]

    C. W. Borchardt. ¨Uber das arithmetisch-geometrische Mittel aus vier Ele- menten. Monatsber. der Berl. Akad.53(Nov. 1876), 611–621

    work page

  2. [2]

    J. M. Borwein and P. B. Borwein.A cubic counterpart of Jacobi’s identity and the AGM. Trans. Amer. Math. Soc.323.2 (1991), 691–701

    work page 1991

  3. [3]

    Borwein and Peter B

    Jonathan M. Borwein and Peter B. Borwein.Pi and the AGM.4. Canadian Mathematical Society Series of Monographs and Advanced Texts. A study in analytic number theory and computational complexity, Reprint of the 1987 original, A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1998, xvi+414

    work page 1987

  4. [4]

    Chiba and K

    J. Chiba and K. Matsumoto.An Analogy of Jacobi’s Formula and Its Appli- cations. Hokkaido Math. J.52(2023), 463–494

    work page 2023

  5. [5]

    Pierre Deligne and G. D. Mostow.Monodromy of hypergeometric functions and non-lattice integral monodromy. en. Publications Math´ ematiques de l’IH´ES 63(1986), 5–89

    work page 1986

  6. [6]

    Ast´ erisque 165 (1988), 210

    Igor Dolgachev and David Ortland.Point sets in projective spaces and theta functions. Ast´ erisque 165 (1988), 210

    work page 1988

  7. [7]

    Fay.Theta functions on Riemann surfaces.Vol

    John D. Fay.Theta functions on Riemann surfaces.Vol. 352. Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1973, iv+137

    work page 1973

  8. [8]

    Die Grundlehren der mathema- tischen Wissenschaften

    Junichi Igusa.Theta functions.Band 194. Die Grundlehren der mathema- tischen Wissenschaften. Springer-Verlag, New York-Heidelberg, 1972, x+232

    work page 1972

  9. [9]

    Kato and K

    T. Kato and K. Matsumoto.The Common Limit of a Quadruple Sequence and the Hypergeometric FunctionF D of Three Variables. Nagoya Math. J. 195(2009), 113–124

    work page 2009

  10. [10]

    Koike and H

    K. Koike and H. Shiga.Isogeny formulas for the Picard modular form and a three terms arithmetic geometric mean. J. Number Theory124.1 (2007), 123–141

    work page 2007

  11. [11]

    Matsumoto, T

    K. Matsumoto, T. Minowa, and R. Nishimura.Automorphic Forms on the 5-Dimensional Complex Ball with Respect to the Picard Modular Group over Z[i]. Hokkaido Math. J.36(2007), 143–173

    work page 2007

  12. [12]

    Matsumoto and T

    K. Matsumoto and T. Terasoma.Theta Constants Associated to Coverings ofP 1 Branching at Eight Points. Compos. Math.140(2004), 1277–1301

    work page 2004

  13. [13]

    Matsumoto and T

    K. Matsumoto and T. Terasoma.Thomae type formula forK3surfaces given by double covers of the projective plane branching along six lines. J. Reine Angew. Math.669(2012), 121–149

    work page 2012

  14. [14]

    In preparation

    Ryunosuke Nakano.An algebro-geometric proof of the iterated mean limit theorem for a quaternary four-term mean. In preparation. 2025

    work page 2025

  15. [15]

    Aspects of Math- ematics

    Masaaki Yoshida.Hypergeometric functions, my love.E32. Aspects of Math- ematics. Modular interpretations of configuration spaces. Friedr. Vieweg & Sohn, Braunschweig, 1997, xvi+292. Department of Mathematics, F aculty of Science, Hokkaido University, Sapporo 060- 0810, Japan Email address:matsu@math.sci.hokudai.ac.jp Graduate School of Science, Hokkaido U...

    work page 1997