pith. sign in

arxiv: 2501.15719 · v3 · submitted 2025-01-27 · 🧮 math.NT · math.AG

The Kodaira dimension of Hilbert modular threefolds

Adam Logan This is my paper

Pith reviewed 2026-05-23 05:27 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords Hilbert modular threefoldsKodaira dimensiongeneral typearithmetic genustotally real number fieldstotally positive elementstrace inequalitiesfractional ideals
0
0 comments X

The pith

Many Hilbert modular threefolds of arithmetic genus 0 and 1 are of general type.

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

The paper shows that a substantial collection of Hilbert modular threefolds coming from totally real cubic fields with arithmetic genus 0 or 1 have positive enough canonical bundles to be varieties of general type. It also locates some examples where the Kodaira dimension is at least zero. The proof proceeds by verifying new combinatorial conditions on totally positive elements inside fractional ideals that make an existing method for producing pluricanonical forms apply directly. A sympathetic reader would therefore expect these arithmetic threefolds to behave like general hypersurfaces rather than ruled or Calabi-Yau varieties.

Core claim

Following a method introduced by Thomas-Vasquez and developed by Grundman, we prove that many Hilbert modular threefolds of arithmetic genus 0 and 1 are of general type, and that some are of nonnegative Kodaira dimension. The new ingredient is a detailed study of the geometry and combinatorics of totally positive integral elements x of a fractional ideal I in a totally real number field K with the property that tr(xy) < min_I tr(y) for some y >> 0 in K.

What carries the argument

The combinatorics of totally positive integral elements x of a fractional ideal I in a totally real number field K satisfying the strict trace inequality tr(xy) < min_I tr(y) for some y >> 0.

If this is right

  • Hilbert modular threefolds with arithmetic genus 0 or 1 frequently have Kodaira dimension exactly 3.
  • A nonempty subset of these threefolds has Kodaira dimension at least 0.
  • The same combinatorial criterion enlarges the list of cases to which the earlier method applies.
  • The canonical ring is generated in low degree for many of the varieties in the range studied.

Where Pith is reading between the lines

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

  • The same trace condition may be checkable by computer for additional cubic fields, producing further examples.
  • If the condition holds uniformly, it would imply that almost all Hilbert modular threefolds with small arithmetic genus are of general type.
  • The geometry of these special elements may also control the minimal model or the automorphism group of the threefold.

Load-bearing premise

The Thomas-Vasquez-Grundman method carries over once the new trace inequalities on totally positive elements have been checked for the fields under consideration.

What would settle it

An explicit Hilbert modular threefold of arithmetic genus 0 or 1 whose Kodaira dimension is strictly less than 3, or a case where no such totally positive element x satisfying the trace bound exists.

Figures

Figures reproduced from arXiv: 2501.15719 by Adam Logan.

Figure 1
Figure 1. Figure 1: Simplices that describe the defects of (1, 3, 2; 7) and (1, 2, 4; 9)-singularities. All simplices are defined by the condition that all coordinates are at least 1 and by one additional inequality. On the left, the choice k = 1 gives a single simplex defined by the inequality x + 3y + 2z ≤ 7. On the right, the blue simplex is defined by x + 2y + 4z ≤ 9 and the red simplex (contained in it) by 5x + y + 2z ≤ … view at source ↗
Figure 2
Figure 2. Figure 2: Regions describing elements of the quadratic and cubic fields of discriminant 56 and 148 respectively having an integral multiple with bounded trace. For the quadratic field we have a union of 3 triangles √ T1, T2, T3, corresponding to the reducers 4 − 14, 4+√ 14 and 1, and shown in the figure in red, blue, and green respectively. The vertices of T1 are (0, 0),(1, −1/4),(1/15, 1/60), and those of T3 are (0… view at source ↗
read the original abstract

Following a method introduced by Thomas-Vasquez and developed by Grundman, we prove that many Hilbert modular threefolds of arithmetic genus $0$ and $1$ are of general type, and that some are of nonnegative Kodaira dimension. The new ingredient is a detailed study of the geometry and combinatorics of totally positive integral elements $x$ of a fractional ideal $I$ in a totally real number field $K$ with the property that $\mathop{\mathrm{tr}} xy < \mathop{\mathrm{min}} I \mathop{\mathrm{tr}} y$ for some $y \gg 0 \in K$.

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. Following the method of Thomas-Vasquez and Grundman, the paper proves that many Hilbert modular threefolds of arithmetic genus 0 and 1 are of general type, and that some have nonnegative Kodaira dimension. The central new ingredient is a detailed geometric and combinatorial analysis of totally positive integral elements x of a fractional ideal I in a totally real field K satisfying tr(xy) < min_I tr(y) for some y ≫ 0 in K.

Significance. If the combinatorial conditions are verified as claimed, the result supplies new examples of Hilbert modular threefolds of general type in low arithmetic genus, extending prior work in a parameter-free manner via case-by-case verification. The approach aligns with established techniques and avoids fitted parameters or self-referential reductions.

minor comments (2)
  1. The notation min_I tr(y) in the abstract (and presumably the introduction) should be defined explicitly at first use, including the precise meaning of the subscript I and the range of y.
  2. Ensure that the statement of the main theorem explicitly lists the number fields K and ideals I for which the new combinatorial conditions have been verified, rather than leaving the scope of 'many' implicit.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. The report contains no enumerated major comments, so we have no specific points requiring point-by-point rebuttal or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation extends the Thomas-Vasquez/Grundman method by carrying out an independent combinatorial and geometric study of totally positive elements x in fractional ideals I satisfying tr(xy) < min_I tr(y) for y ≫ 0. This verification step supplies new content rather than reducing to fitted parameters, self-definitions, or load-bearing self-citations. The paper states results only for 'many' threefolds via case-by-case checks, with no indication that any central claim is forced by construction or by a self-citation chain. The cited prior works are by distinct authors and serve as an external starting point whose extension is the paper's contribution.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities can be extracted beyond standard background in algebraic number theory.

axioms (1)
  • standard math Standard properties of totally real number fields, fractional ideals, and trace forms hold as in classical algebraic number theory.
    Invoked implicitly when discussing totally positive elements and trace inequalities.

pith-pipeline@v0.9.0 · 5621 in / 1076 out tokens · 38468 ms · 2026-05-23T05:27:17.849743+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

31 extracted references · 31 canonical work pages

  1. [1]

    Soft- ware for computing with Hilbert modular forms, 2024

    Eran Assaf, Angelica Babei, Ben Breen, Sara Chari, Edgar Costa, Juanita Duque-Rosero, Aleksander Horawa, Jean Kieffer, Avinash Kulkarni, Grant Molnar, Abhijit Mudigonda, Michael Musty, Sam Schiavone, Shikhin Sethi, Samuel Tripp, and John Voight. Soft- ware for computing with Hilbert modular forms, 2024. https://github.com/edgarcosta/ hilbertmodularforms (...

    work page 2024

  2. [2]

    A database of basic numerical invariants of Hilbert modular surfaces

    Eran Assaf, Angelica Babei, Ben Breen, Edgar Costa, Juanita Duque-Rosero, Aleksander Horawa, Jean Kieffer, Avinash Kulkarni, Grant Molnar, Sam Schiavone, and John Voight. A database of basic numerical invariants of Hilbert modular surfaces. In LuCaNT: LMFDB, computation, and number theory. Conference, Institute for Computational and Experimental Research ...

    work page 2023

  3. [3]

    Baldoni, N

    V. Baldoni, N. Berline, J.A. De Loera, B. Dutra, M. K¨ oppe, S. Moreinis, G. Pinto, M. Vergne, and J. Wu. Latte integrale v.1.7.2. Freely available athttp://www.math.ucdavis.edu/~latte/ (retrieved June 12, 2025), 2013

    work page 2025

  4. [4]

    Computing the continuous discretely

    Matthias Beck and Sinai Robins. Computing the continuous discretely. Integer-point enu- meration in polyhedra. With illustrations by David Austin . Undergraduate Texts Math. New York, NY: Springer, 2nd edition edition, 2015

    work page 2015

  5. [5]

    The Magma algebra system

    Wieb Bosma, John Cannon, and Catherine Playoust. The Magma algebra system. I. The user language. J. Symbolic Comput. , 24(3-4):235–265, 1997. Computational algebra and number theory (London, 1993)

    work page 1997

  6. [6]

    Volume computation for polytopes: strategies and performances

    Andreas Enge. Volume computation for polytopes: strategies and performances. In Christodoulos A. Floudas and Panos M. Pardalos, editors, Encyclopedia of Optimization , pages 4032–4038. Springer US, Boston, MA, 2009

    work page 2009

  7. [7]

    Lokale und globale Invarianten der Hilbertschen Modulgruppe

    Eberhard Freitag. Lokale und globale Invarianten der Hilbertschen Modulgruppe. Invent. Math., 17:106–134, 1972

    work page 1972

  8. [8]

    Hilbert modular forms

    Eberhard Freitag. Hilbert modular forms. Berlin etc.: Springer-Verlag, 1990

    work page 1990

  9. [9]

    H. G. Grundman. On the classification of Hilbert modular threefolds. Manuscr. Math. , 72(3):297–305, 1991

    work page 1991

  10. [10]

    H. G. Grundman. Defects of cusp singularities and the classification of Hilbert modular threefolds. Math. Ann., 292(1):1–12, 1992

    work page 1992

  11. [11]

    H. G. Grundman. Defect series and nonrational Hilbert modular threefolds. Math. Ann. , 300(1):77–88, 1994

    work page 1994

  12. [12]

    H. G. Grundman and L. E. Lippincott. Hilbert modular threefolds of arithmetic genus one. J. Number Theory, 95(1):72–76, 2002

    work page 2002

  13. [13]

    Some new results in the theory of Hilbert’s modular group

    Karl-Bernhard Gundlach. Some new results in the theory of Hilbert’s modular group. Contrib. Function Theory, Int. Colloqu. Bombay, Jan. 1960, 165-180, 1960

    work page 1960

  14. [14]

    Hilbert modular surfaces with pg ≤ 1

    Yoshinori Hamahata. Hilbert modular surfaces with pg ≤ 1. Math. Nachr. , 173:193–236, 1995

    work page 1995

  15. [15]

    Friedrich E. P. Hirzebruch. Hilbert modular surfaces. Enseign. Math. (2) , 19:183–281, 1973

    work page 1973

  16. [16]

    Beispiele dreidimensionaler Hilbertscher Modulmannigfaltig- keiten von allgemeinem Typ

    Friedrich Wilhelm Knoeller. Beispiele dreidimensionaler Hilbertscher Modulmannigfaltig- keiten von allgemeinem Typ. Manuscr. Math., 37:135–161, 1982

    work page 1982

  17. [17]

    The L-functions and modular forms database

    The LMFDB Collaboration. The L-functions and modular forms database. https://www. lmfdb.org, 2025. [Online; accessed 22 January 2025]

    work page 2025

  18. [18]

    Magma scripts and code supporting the claims of this paper

    Adam Logan. Magma scripts and code supporting the claims of this paper. Github repository, https://github.com/adammlogan/hilbert-modular-threefolds, 2025

    work page 2025

  19. [19]

    Rings of Hilbert modular forms, computations on Hilbert modular surfaces, and the Oda-Hamahata conjecture

    Adam Logan. Rings of Hilbert modular forms, computations on Hilbert modular surfaces, and the Oda-Hamahata conjecture. Res. Number Theory, 57, 2025

    work page 2025

  20. [20]

    Introduction to the Mori program

    Kenji Matsuki. Introduction to the Mori program . Universitext. New York, NY: Springer, 2002

    work page 2002

  21. [21]

    Morrison and Glenn Stevens

    David R. Morrison and Glenn Stevens. Terminal quotient singularities in dimensions three and four. Proc. Am. Math. Soc., 90:15–20, 1984. 34 ADAM LOGAN

    work page 1984

  22. [22]

    On discontinuous groups operating on the product of the upper half planes

    Hideo Shimizu. On discontinuous groups operating on the product of the upper half planes. Ann. Math. (2) , 77:33–71, 1963

    work page 1963

  23. [23]

    On evaluation of zeta functions of totally real algebraic number fields at non-positive integers

    Takuro Shintani. On evaluation of zeta functions of totally real algebraic number fields at non-positive integers. J. Fac. Sci., Univ. Tokyo, Sect. I A , 23:393–417, 1976

    work page 1976

  24. [24]

    Bordeaux

    The PARI Group, Univ. Bordeaux. PARI/GP version 2.15.4, 2023. available from http: //pari.math.u-bordeaux.fr/

    work page 2023

  25. [25]

    Thomas and A

    E. Thomas and A. T. Vasquez. On the resolution of cusp singularities and the Shintani decomposition in totally real cubic number fields. Math. Ann., 247:1–20, 1979

    work page 1979

  26. [26]

    Thomas and A

    E. Thomas and A. T. Vasquez. Chern numbers of Hilbert modular varieties. J. Reine Angew. Math., 324:192–210, 1981

    work page 1981

  27. [27]

    Thomas and A

    E. Thomas and A. T. Vasquez. Rings of Hilbert modular forms. Compos. Math., 48:139–165, 1983

    work page 1983

  28. [28]

    Defects of cusp singularities

    Emery Thomas. Defects of cusp singularities. Math. Ann., 264:397–411, 1983

    work page 1983

  29. [29]

    On the Kodaira dimensions of Hilbert modular varieties

    Shigeaki Tsuyumine. On the Kodaira dimensions of Hilbert modular varieties. Invent. Math., 80:269–281, 1985

    work page 1985

  30. [30]

    Hilbert modular surfaces , volume 16 of Ergeb

    Gerard van der Geer. Hilbert modular surfaces , volume 16 of Ergeb. Math. Grenzgeb., 3. Folge. Berlin etc.: Springer-Verlag, 1988

    work page 1988

  31. [31]

    Quaternion algebras, volume 288 of Grad

    John Voight. Quaternion algebras, volume 288 of Grad. Texts Math. Cham: Springer, 2021. The Tutte Institute for Mathematics and Computation, P.O. Box 9703, Terminal, Ottawa, ON K1G 3Z4, Canada Current address : School of Mathematics and Statistics, 4302 Herzberg Laboratories, 1125 Colonel By Drive, Carleton University, Ottawa, ON K1S 5B6, Canada Email add...

    work page 2021