Pith. sign in

REVIEW 3 major objections 3 minor 53 references

Exceptional Sets for Certain ${}_2F_1$ Hypergeometric Functions

T0 review · 3 major / 3 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read For every hypergeometric datum with 0<a,b,c<1 and class-I arithmetic triangle monodromy, the exceptional set equals the Hauptmodul image of imaginary quadratic points; if c≥1, it is just {0}.

desk verdict The explicit exceptional-set classification is real and worth refereeing, but Tables 3/4 have load-bearing defects and Lemma 9 is asserted rather than proved. read the letter →

arxiv 2607.16331 v1 pith:QTJI7TCZ submitted 2026-07-15 math.NT

Archisman Bhattacharjee This is my paper · ORCID
classification math.NT MSC 33C0511F0311G1511J89
keywords exceptionalsethypergeometricfunctionarithmetictrianglegroupHauptmodulcomplexmultiplicationperiodstranscendencemodularforms
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

This paper establishes a complete explicit description of the exceptional set E(a,b,c)—the algebraic inputs z for which the Gauss hypergeometric value 2F1(a,b,c;z) is again algebraic—for every datum with 0

What carries the argument

The work is carried by the inverse Schwarz map—a Hauptmodul t for the genus-zero triangle group—together with hypergeometric–modular identities that express 2F1(a,b,c;t(τ)) as a modular form (an eta-quotient or theta-quotient times a linear factor in τ). On the transcendence side, Euler's integral represents 2F1 as a quotient of periods of the abelian varieties T_z and T_0 built from the curves in the integral; a theorem on periods of abelian varieties then implies that algebraic values can only occur when the Schwarz map lands in an imaginary quadratic field. Classical algebraicity of modular functions at CM points supplies the reverse inclusion. The tables of Hauptmoduln and fields are wha

What would settle it

For the datum (1/8,1/8,1/2), verify the claimed isogeny type of the base abelian variety: if it is not isogenous to a square of an elliptic curve with CM by Q(√−2), the proof's conclusion D_abc(z)∈Q(√−2) collapses. Independently, scan algebraic z of small degree and height outside the listed t(τ_d) values and compute 2F1(a,b,c;z) to very high precision; any value matching an algebraic number to all computed digits would falsify the only-if direction.

Watch

Extended reading notes

Core claim

The central claim (Theorem 1) is that for any datum (a,b,c) with 0<a,b,c<1 whose hypergeometric monodromy is an arithmetic triangle group in class I, there is a Hauptmodul t and a positive integer d∈{1,2,3} such that z∈E(a,b,c) if and only if z=t(τ_d) for some τ_d∈Q(√−d)∩H. If c≥1, E(a,b,c)={0}. The forward direction uses modular identities and the classical fact that Hauptmoduln take algebraic values at CM points; the converse uses period-theoretic transcendence: Euler's integral realizes 2F1 as a quotient of periods on abelian varieties, and if that quotient is algebraic, the periods force the Schwarz map value D_abc(z) into the imaginary quadratic field Q(√−d). Tables 1–4 list t and d for

Load-bearing premise

The unproved linchpin is the period-lattice inclusion step: once 2F1(a,b,c;z) is assumed algebraic, the paper asserts rather than constructs a Q-linear map carrying the base period lattice into the z-period lattice, and it is this assertion that forces the Schwarz value into Q(√−d).

Editorial extensions

If this is right

  • For the nine class I data, checking whether a given algebraic z is exceptional is a finite computation: evaluate the listed Hauptmodul at the CM points of the stated imaginary quadratic field.
  • For all listed data with c≥1, no nonzero algebraic z yields an algebraic hypergeometric value; 0 is the only exceptional point.
  • Exact algebraic values like 2F1(1/4,1/4,1/2;9)=(2−i)/(2√2) exist at specific CM points and are listed in Table 5.
  • The complete characterization replaces mere density or infinitude statements with an if-and-only-if description of the entire exceptional locus for this family.

Reading between the lines

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

  • The same mechanism should determine exceptional sets for any datum in which the beta integral reduces to a period on an elliptic curve; the paper already applies this to two class II data, suggesting a broader template.
  • The explicit CM evaluations of Hauptmoduln are ready-made algebraic constants for Ramanujan-Sato type hypergeometric evaluations and for L-values of CM modular forms; the paper notes this link without pursuing it.
  • A numerical census of small-height algebraic z and high-precision 2F1 values could test completeness directly; an unexpected algebraic value outside the listed images would pinpoint a failure in the period-lattice step.
  • If the period-lattice step is eventually proved in full generality, one would expect every arithmetic triangle group to have an exceptional set of this form, with the field Q(√−d) read off from the period data.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper claims to determine the exceptional sets E(a,b,c) = { z ∈ Qbar : 2F1(a,b,c;z) ∈ Qbar } for every hypergeometric datum whose monodromy group is an arithmetic triangle group in Takeuchi's class I. The method combines hypergeometric–modular identities with transcendence results (Wüstholz, Schneider): algebraic values of the Hauptmodul at CM points give the forward inclusion, and a period-lattice comparison via Wüstholz's theorem is used for the converse. The main theorem asserts that for 0<a,b,c<1 the exceptional set is exactly {t(τ_d) : τ_d ∈ Q(√−d)∩H} for an explicit Hauptmodul t and d∈{1,2,3}, while for c≥1 it asserts E(a,b,c)={0}. Explicit tables (Tables 3, 4, 5) are provided.

Significance. If correct, the result would give the first complete explicit determination of exceptional sets for all nine non-compact arithmetic triangle groups commensurable with PSL2(Z), going beyond Archinard's PSL2(Z) case and connecting the existing transcendence criteria to explicit modular parametrizations. The paper's concrete computations are a strength: Example 3's linear algebra (c1=2, c2=i−1, α=i) checks out, Table 5's first row evaluates correctly from the stated identity at τ=i, and the c=1 cases are consistent with Schneider's theorem on K(k)/π. The explicit CM evaluations are also potentially useful for special L-value computations. However, the completeness and correctness of the central tables are currently not established, and the converse direction contains a significant unproved lattice-inclusion step. These are load-bearing issues, so the paper cannot be accepted in its present form.

major comments (3)
  1. [§4, Tables 3 and 4; Theorem 1] The class I group (2,3,∞) = PSL2(Z) is entirely absent from the tables. For example, the data (1/12,1/12,1/2), (5/12,5/12,1/2), and (1/12,5/12,1/2) satisfy 0<a,b,c<1 and give {|1−c|,|c−a−b|,|a−b|} = {1/2,1/3,0}, so their monodromy triangle group is (2,3,∞), which appears in Figure 1 as a class I group. Likewise the c≥1 datum (7/12,7/12,3/2) has the same exponent triple. Neither Table 4 nor Table 3 contains any (2,3,∞) row, and Table 2 has no modular identity for it. Since Theorem 1 is quantified over all class I data, the main claim is false as stated; the classification is incomplete until these cases are added and checked.
  2. [Table 4, row (1/8,3/8,5/6)] The datum (1/8,3/8,5/6) is listed under the triangle group (2,4,∞), but its own exponent triple is |1−c|=1/6, |c−a−b|=1/3, and |a−b|=1/4. Hence its Schwarz triangle group is (6,3,4), a cocompact group that is not one of the non-compact class I groups. This row is therefore extraneous, and its entry (Q(i√2), t=(J4−1)/J4) is not justified by the method of the paper. The tables must be regenerated from a complete enumeration of data whose exponent triple matches one of the nine class I groups.
  3. [§4, Lemma 9] The converse direction of Theorem 1 depends on the assertion: 'Since Tz and T0 are defined over Q, there is a Q-linear transformation λ: C→C^{φ(N)} with the property λ(Λ(0)) ⊆ Λ(z).' This is not a consequence of Wüstholz's Theorem 7 as stated. That theorem yields isogenies between simple factors of abelian varieties, but converting an isogeny into a period-lattice inclusion requires identifying the relevant subvariety of Tz and specifying the complex-linear embedding of its period lattice into Λ(z). Moreover, the further step 'Due to the linearity of λ applied to τ_M, D_abc(z)∈Q(ζ_M)' is asserted rather than proved. For the M=8 cases the argument also relies on a CM-type computation (Φ={1,3}, H={1,3}) whose consequences for the period lattice are only sketched. Since Lemma 9 is the only mechanism for the 'only if' inclusion, this is a load-bearing gap that needs a complete proof.
minor comments (3)
  1. [§5, Theorem 14] The statement reads '2F1(...) ∈ Ω_{−d}/Ω_{−d}·Q', which is simply Q. Presumably a ratio with a different Chowla–Selberg period (e.g., Ω_{−d}/Ω_{−x} as in equation (14)) was intended; please clarify.
  2. [Throughout] Several typos and formatting ambiguities: 'Borechards forms' should be 'Borcherds forms'; 'Pochammer' should be 'Pochhammer'; in Example 3 the displayed formula '2τ+i−1/2i' lacks parentheses and should be '(2τ+i−1)/(2i)'; in Table 4 the entry split as 'R2' over 'R4−1' should be written as a single fraction such as R4/(R4−1).
  3. [Table 1] The comparison column cites the Hauptmoduln of [3, Appendix] but several entries use symbols (u, t3, t4^+, t6^+) that are not defined in the text. A brief definition or reference to the exact location in [3] would improve reproducibility.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the exceptional-set descriptions are obtained from modular identities plus external transcendence results, not from the target sets.

full rationale

The derivation chain is self-contained at the level of the claimed exceptional sets. Section 2 constructs the abelian varieties T_z and T_0 from Euler-integral curves and identifies the hypergeometric value as a period quotient. Section 3 proves the hypergeometric–modular identities (Theorem 2) by a direct HDE/Wronskian computation, with the constants α computed from explicit stabilizer relations (Example 3). The forward inclusion uses Schneider's theorem on j at CM points and the algebraicity of eta quotients at CM points; the converse uses Wüstholz's period theorem via Lemma 9 and, for M=8, Milne's CM-type decomposition. None of these steps takes E(a,b,c) as an input: the field Q(√−d) is determined from M=L.C.D(b,c) and the CM type of T_0, and the Hauptmodul t is fixed independently by Table 1 and verified in Table 2. The d-values and t-choices are therefore not fitted to the exceptional sets. The acknowledged weaknesses are correctness/rigor issues, not circularity: the existence and linearity of the lattice map λ in Lemma 9 is asserted rather than derived, and the tables appear to omit the (2,3,∞) datum while including a (6,3,4) row; Remarks 15–16 explicitly concede limitations for class II/III data. These are gaps or errors, but they do not make any prediction reduce by construction to its inputs. There is also no load-bearing self-citation: the supporting results are due to Takeuchi, Schneider, Wüstholz–Wolfart, Archinard, Yang, and Milne, not to the present author. Hence the circularity score is 0.

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

No fitted free parameters: α-values in Table 2 are computed from elliptic stabilizer relations (one example verified independently), Hauptmoduln are explicit eta quotients or j-expressions, and the d-values are forced by the cyclotomic field Q(ζ_M) of M = L.C.D(b,c). The only 'choice' is the cross-ratio normalization of t per datum, pinned by t = D_{abc}^{-1}. The main assumptions are external theorems (Wüstholz, Schneider, Milne, Takeuchi, Archinard) plus one unproven ad-hoc assumption: completeness of the data enumeration, which a spot-check contradicts in one row.

assumptions (8)
  • standard math Wüstholz's period theorem (Theorem 7): periods of first/second kind on pairwise non-isogenous simple abelian varieties over Q̄, together with 2πi, span a space of dimension 1+2Σk_j; the paper's dim_Q statement is imprecise and the applications rely on the Q̄-linear-independence form.
    External theorem (Wolfart–Wüstholz [49]); stated with dim_Q, which is only the correct content over Q̄. Used as the engine of Lemma 9 and Theorem 13.
  • standard math Schneider's theorem: j(τ) is algebraic for CM τ (and the algebraic functions of j used here inherit that property).
    Lemma 4 and the forward direction of Theorem 1; classical result [34].
  • standard math Milne's proposition 3.13 on imprimitive CM types (Lemma 10).
    Used to reduce the isogeny type of T0 in the M=8 case (1/8,1/8,1/2) to (CM elliptic curve)^2 over Q(√−2).
  • domain assumption Takeuchi's classification: the nine non-compact arithmetic triangle groups commensurable with PSL2(Z) are exactly those in Figure 1.
    Scope of the paper; from [40,41].
  • domain assumption Archinard's construction: the hypergeometric integral is a period on Jac^new(X(N,z)), and inequalities (5)/(7) characterize first/second-kind differentials.
    Section 2, from [5]; Lemma 8 asserts the classification holds for all Table 3/4 data without case-by-case verification.
  • ad hoc to paper Completeness of the data enumeration in Tables 3 and 4 for the stated triangle groups.
    The paper asserts 'all such (a,b,c)' but never shows the enumeration; one Table 4 row ((1/8,3/8,5/6)) fails a direct exponent check.
  • standard math Algebraicity of eta quotients η(ατ+β)/η(δτ) at CM points, Lang [26, Thm 12.2.2].
    Used in the proof of Theorem 5 (forward direction) and in the explicit evaluations of Table 5.
  • domain assumption Each Hauptmodul in Table 1 generates the function field of X(Γ) (Ligozat's criterion for the eta quotients; standard for λ and j).
    Needed so that Schneider's algebraicity at CM points transfers from j to t, and for the modular identities.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Exceptional Sets for Certain ${}_2F_1$ Hypergeometric Functions." pith.science (2026). https://pith.science/paper/QTJI7TCZ

@misc{pith2026260716331,
  author       = {Pith},
  title        = {Pith review of: Exceptional Sets for Certain $_2F_1$ Hypergeometric Functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QTJI7TCZ}},
  note         = {Machine review of arXiv:2607.16331}
}
abstract

For $a,b,c \in \mathbb{Q}$, the exceptional set associated to the Gauss hypergeometric function $_2F_1(a,b,c;z)$ is defined by $E(a,b,c) := \{ z \in \overline{\mathbb{Q}} \mid {}_2F_1(a,b,c;z) \in \overline{\mathbb{Q}} \}.$ In this paper, the exceptional sets $E(a,b,c)$ are determined explicitly for each $_2F_1(a,b,c;z)$ whose monodromy group is an arithmetic triangle group in Takeuchi's class I. The description is obtained via hypergeometric-modular identities together with transcendence results for periods of abelian varieties due to W\"ustholz, and classical result of Schneider on algebraic values of $j$-invariant of elliptic curves with complex multiplication.

Figures

Figures reproduced from arXiv: 2607.16331 by the authors.

Figure 1
Figure 1. Takeuchi’s Class I Our main result can be summarized as follows. Denote by H = {x + iy | x, y ∈ R, y > 0} the complex upper half-plane. Theorem 1: Let (a, b, c) be a datum satisfying 0 < a, b, c < 1 such that the monodromy group ∆ associated to HDE(a, b, c; z) is an arithmetic triangle group in Takeuchi’s class I (see [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Takeuchi’s Class II As in class I, the hypergeometric function can be viewed as quotients of periods on suitable subvarieties of Jacobians. Consequently, the transcendence results of Wolfart and W¨ustholz give necessary conditions on algebraic values of 2F1(a, b, c; z). But due to the higher dimension of the corresponding variety, determining them explicitly becomes difficult. The difficulty is that there is less kn… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

53 extracted references · 2 linked inside Pith

  1. [1]

    Gaussian hypergeometric series and combinatorial congruences

    Scott Ahlgren. Gaussian hypergeometric series and combinatorial congruences. InSymbolic computation, number theory, special functions, physics and combinatorics (Gainesville, FL, 1999), volume 4 ofDev. Math., pages 1–12. Kluwer Acad. Publ., Dordrecht, 2001

    1999

  2. [2]

    A Gaussian hypergeometric series evaluation and Ap´ ery number congruences

    Scott Ahlgren and Ken Ono. A Gaussian hypergeometric series evaluation and Ap´ ery number congruences. J. Reine Angew. Math., 518:187–212, 2000

    2000

  3. [3]

    The explicit hypergeometric-modularity method I.Adv

    Michael Allen, Brian Grove, Ling Long, and Fang-Ting Tu. The explicit hypergeometric-modularity method I.Adv. Math., 478:Paper No. 110411, 55, 2025

    2025

  4. [4]

    The explicit hypergeometric-modularity method II.Res

    Michael Allen, Brian Grove, Ling Long, and Fang-Ting Tu. The explicit hypergeometric-modularity method II.Res. Math. Sci., 12(4):Paper No. 84, 36, 2025

    2025

  5. [5]

    PhD thesis, ETH Z¨ urich, 2000

    Nat´ alia Archinard.Abelian varieties and identities for hypergeometric series. PhD thesis, ETH Z¨ urich, 2000

    2000

  6. [6]

    Exceptional sets of hypergeometric series.J

    Nat´ alia Archinard. Exceptional sets of hypergeometric series.J. Number Theory, 101(2):244–269, 2003

    2003

  7. [7]

    Special L-values of certain CM weight three Hecke eigenforms

    Paresh Arora, Koustav Mondal, Akio Nakagawa, and Fang-Ting Tu. Special L-values of certain CM weight three Hecke eigenforms. Preprint, arXiv:2601.07030 [math.NT], 2026

    arXiv 2026

  8. [8]

    Quaternionic modular forms and exceptional sets of hypergeometric functions.Int

    Srinath Baba and H ˚ a kan Granath. Quaternionic modular forms and exceptional sets of hypergeometric functions.Int. J. Number Theory, 11(2):631–643, 2015

    2015

Show all 53 references
  1. [9]

    Picard-Fuchs equations for Shimura curves overQ.Bull

    Srinath Baba and H ˚ a kan Granath. Picard-Fuchs equations for Shimura curves overQ.Bull. Lond. Math. Soc., 53(2):408–415, 2021

    2021

  2. [10]

    Generalized Ramanujan-Sato series arising from modular forms

    Angelica Babei, Lea Beneish, Manami Roy, Holly Swisher, Bella Tobin, and Fang-Ting Tu. Generalized Ramanujan-Sato series arising from modular forms. InResearch directions in number theory, volume 33 ofAssoc. Women Math. Ser., pages 87–131. Springer, Cham, [2024]©2024

    2024

  3. [11]

    Beukers and G

    F. Beukers and G. Heckman. Monodromy for the hypergeometric function nFn−1.Invent. Math., 95(2):325–354, 1989

    1989

  4. [12]

    Arithmetic triangle groups, hauptmoduln, complex multiplication, and hypergeometric functions, 2024

    Frits Beukers and Henri Cohen. Arithmetic triangle groups, hauptmoduln, complex multiplication, and hypergeometric functions, 2024. Manuscript, communicated privately to the author, 63 pp

    2024

  5. [13]

    American Mathematical Society, Providence, RI, 2017

    Henri Cohen and Fredrik Str¨ omberg.Modular forms, volume 179 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2017. A classical approach

    2017

  6. [14]

    Modular embeddings for some non-arithmetic fuchsian groups.Acta Arithmetica, 56(2):93–110, 1990

    Paula Cohen and J¨ urgen Wolfart. Modular embeddings for some non-arithmetic fuchsian groups.Acta Arithmetica, 56(2):93–110, 1990

    1990

  7. [15]

    Cohen and Gisbert W¨ ustholz

    Paula B. Cohen and Gisbert W¨ ustholz. Application of the Andr´ e-Oort conjecture to some questions in transcendence. InA panorama of number theory or the view from Baker’s garden (Z¨ urich, 1999), pages 89–106. Cambridge Univ. Press, Cambridge, 2002

    1999

  8. [16]

    Fuselier, Ling Long, Holly Swisher, and Fang-Ting Tu

    Alyson Deines, Jenny G. Fuselier, Ling Long, Holly Swisher, and Fang-Ting Tu. Generalized Legendre curves and quaternionic multiplication.J. Number Theory, 161:175–203, 2016

    2016

  9. [17]

    Fuselier, Ling Long, Holly Swisher, and Fang-Ting Tu

    Alyson Deines, Jenny G. Fuselier, Ling Long, Holly Swisher, and Fang-Ting Tu. Hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions. InDirections in number theory, volume 3 ofAssoc. Women Math. Ser., pages 125–159. Springer, [Cham], 2016

    2016

  10. [18]

    P. A. Desrousseaux. Valeurs exceptionnelles de fonctions hyperg´ eom´ etriques d’Appell.Ramanujan J., 8(3):331–355, 2004

    2004

  11. [19]

    Tretkoff, and Paula Tretkoff

    Pierre-Antoine Desrousseaux, Marvin D. Tretkoff, and Paula Tretkoff. Zariski-density of exceptional sets for hypergeometric functions.Forum Math., 20(2):187–199, 2008

    2008

  12. [20]

    https://dlmf.nist.gov/, 2025

    Nist digital library of mathematical functions. https://dlmf.nist.gov/, 2025. Release 1.2.4 of 2025- 03-15

    2025

  13. [21]

    Subvarieties of Shimura varieties.Ann

    Bas Edixhoven and Andrei Yafaev. Subvarieties of Shimura varieties.Ann. of Math. (2), 157(2):621–645, 2003

    2003

  14. [22]

    Hypergeometric functions over finite fields.Mem

    Jenny Fuselier, Ling Long, Ravi Ramakrishna, Holly Swisher, and Fang-Ting Tu. Hypergeometric functions over finite fields.Mem. Amer. Math. Soc., 280(1382):vii+124, 2022

    2022

  15. [23]

    Hoffman, Wen-Ching Winnie Li, Ling Long, and Fang-Ting Tu

    Jerome W. Hoffman, Wen-Ching Winnie Li, Ling Long, and Fang-Ting Tu. Traces of Hecke operators via hypergeometric character sums. Preprint, arXiv:2408.02918 [math.NT], 2024

    2024 arXiv

  16. [24]

    An extension of the Ap´ ery number supercongruence.Acta Arith., 123(4):335–348, 2006

    Timothy Kilbourn. An extension of the Ap´ ery number supercongruence.Acta Arith., 123(4):335–348, 2006. 24

    2006

  17. [25]

    Springer-Verlag, New York, 1983

    Serge Lang.Complex Multiplication, volume 255 ofGrundlehren der Mathematischen Wissenschaften. Springer-Verlag, New York, 1983

    1983

  18. [26]

    Springer-Verlag, New York, second edition, 1987

    Serge Lang.Elliptic functions, volume 112 ofGraduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1987. With an appendix by J. Tate

    1987

  19. [27]

    Computing special L-values of certain modular forms with complex multiplication.SIGMA Symmetry Integrability Geom

    Wen-Ching Winnie Li, Ling Long, and Fang-Ting Tu. Computing special L-values of certain modular forms with complex multiplication.SIGMA Symmetry Integrability Geom. Methods Appl., 14:Paper No. 090, 32, 2018

    2018

  20. [28]

    Supplement M´ emoire

    G´ erard Ligozat.Courbes modulaires de genre1, volume 43 ofBulletin de la Soci´ et´ e Math´ ematique de France. Supplement M´ emoire. Soci´ et´ e Math´ ematique de France, Paris, 1975. Suppl´ ement au Bull. Soc. Math. France, Tome 103, no. 3

    1975

  21. [29]

    Explicit hypergeometric modularity of certain weight two and four Hecke eigenforms

    Sipra Maity and Rupam Barman. Explicit hypergeometric modularity of certain weight two and four Hecke eigenforms. Preprint, arXiv:2604.02723 [math.NT], 2026

    2026 arXiv

  22. [30]

    James S. Milne. Complex multiplication, 2020. Course notes, version 0.10

    2020

  23. [31]

    Distribution of values of Gaussian hypergeometric functions

    Ken Ono, Hasan Saad, and Neelam Saikia. Distribution of values of Gaussian hypergeometric functions. Pure Appl. Math. Q., 19(1):371–407, 2023

    2023

  24. [32]

    L-values of certain weight 3 modular forms and transformations of hypergeometric series

    Esme Rosen. L-values of certain weight 3 modular forms and transformations of hypergeometric series. Res. Math. Sci., 13(2):Paper No. 57, 2026

    2026

  25. [33]

    Modular forms and certain 2F1(1) hypergeometric series.Proc

    Esme Rosen. Modular forms and certain 2F1(1) hypergeometric series.Proc. Amer. Math. Soc., 154(7):2803–2818, 2026

    2026

  26. [34]

    Arithmetische Untersuchungen elliptischer Integrale.Math

    Theodor Schneider. Arithmetische Untersuchungen elliptischer Integrale.Math. Ann., 113(1):1–13, 1937

    1937

  27. [35]

    H. A. Schwarz. Ueber diejenigen F¨ alle, in welchen die Gaussische hypergeometrische Reihe eine alge- braische Function ihres vierten Elementes darstellt.J. Reine Angew. Math., 75:292–335, 1873

  28. [36]

    Algebraic values of Schwarz triangle functions

    Hironori Shiga and J¨ urgen Wolfart. Algebraic values of Schwarz triangle functions. InArithmetic and geometry around hypergeometric functions, volume 260 ofProgr. Math., pages 287–312. Birkh¨ auser, Basel, 2007

    2007

  29. [37]

    Mathematical Society of Japan, Tokyo, 1961

    Goro Shimura and Yutaka Taniyama.Complex Multiplication of Abelian Varieties and its Applications to Number Theory, volume 6 ofPublications of the Mathematical Society of Japan. Mathematical Society of Japan, Tokyo, 1961

    1961

  30. [38]

    Silverman.Advanced Topics in the Arithmetic of Elliptic Curves, volume 151 ofGraduate Texts in Mathematics

    Joseph H. Silverman.Advanced Topics in the Arithmetic of Elliptic Curves, volume 151 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1994

    1994

  31. [39]

    Cambridge University Press, Cambridge, 1966

    Lucy Joan Slater.Generalized hypergeometric functions. Cambridge University Press, Cambridge, 1966

    1966

  32. [40]

    Arithmetic triangle groups.J

    Kisao Takeuchi. Arithmetic triangle groups.J. Math. Soc. Japan, 29(1):91–106, 1977

    1977

  33. [41]

    Commensurability classes of arithmetic triangle groups.J

    Kisao Takeuchi. Commensurability classes of arithmetic triangle groups.J. Fac. Sci. Univ. Tokyo Sect. IA Math., 24(1):201–212, 1977

    1977

  34. [42]

    The L-functions and modular forms database

    The LMFDB Collaboration. The L-functions and modular forms database. https://www.lmfdb.org. Version 0.1.1, accessed June 2026

    2026

  35. [43]

    Sagemath, the sage mathematics software system (Version 10.6)

    The Sage Developers. Sagemath, the sage mathematics software system (Version 10.6). https://www. sagemath.org, 2025. Accessed June 2026

    2025

  36. [44]

    Transcendence of special values of modular and hypergeometric functions

    Paula Tretkoff. Transcendence of special values of modular and hypergeometric functions. Lecture notes, Arizona Winter School on Special Functions and Transcendence, University of Arizona, March 2008. March 15–19, 2008

    2008

  37. [45]

    Transcendence of values of transcendental functions at algebraic points (inaugural Monroe H

    Paula Tretkoff. Transcendence of values of transcendental functions at algebraic points (inaugural Monroe H. Martin Lectures and Seminar). InNoncommutative geometry, arithmetic, and related topics, pages 279–295. Johns Hopkins Univ. Press, Baltimore, MD, 2011

    2011

  38. [46]

    Advanced Textbooks in Mathematics

    Paula Tretkoff.Periods and special functions in transcendence. Advanced Textbooks in Mathematics. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2017

    2017

  39. [47]

    Springer, Cham, [2021] ©2021

    John Voight.Quaternion algebras, volume 288 ofGraduate Texts in Mathematics. Springer, Cham, [2021] ©2021

    2021

  40. [48]

    Werte hypergeometrischer Funktionen.Invent

    J¨ urgen Wolfart. Werte hypergeometrischer Funktionen.Invent. Math., 92(1):187–216, 1988

    1988

  41. [49]

    Der ¨ uberlagerungsradius gewisser algebraischer Kurven und die Werte der Betafunktion an rationalen Stellen.Math

    J¨ urgen Wolfart and Gisbert W¨ ustholz. Der ¨ uberlagerungsradius gewisser algebraischer Kurven und die Werte der Betafunktion an rationalen Stellen.Math. Ann., 273(1):1–15, 1985

    1985

  42. [50]

    Mathematica, version 14.1

    Wolfram Research, Inc. Mathematica, version 14.1. https://www.wolfram.com/mathematica/, 2024. Champaign, IL. 25

    2024

  43. [51]

    Schwarzian differential equations and Hecke eigenforms on Shimura curves.Compos

    Yifan Yang. Schwarzian differential equations and Hecke eigenforms on Shimura curves.Compos. Math., 149(1):1–31, 2013

    2013

  44. [52]

    Special values of hypergeometric functions and periods of CM elliptic curves.Trans

    Yifan Yang. Special values of hypergeometric functions and periods of CM elliptic curves.Trans. Amer. Math. Soc., 370(9):6433–6467, 2018

    2018

  45. [53]

    Masaaki Yoshida.Hypergeometric functions, my love, volume E32 ofAspects of Mathematics. Friedr. Vieweg & Sohn, Braunschweig, 1997. Modular interpretations of configuration spaces. Department of Mathematics, Louisiana State University, LA 70803 Email address:abhat25@lsu.edu

    1997

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.