Pith. sign in

REVIEW 2 major objections 8 minor 125 references

Ideal class monoids of cubic orders

T0 review · 2 major / 8 minor · reviewed 2026-07-09 · glm-5.2

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

Pith's one-line read Closed Euler product counts ideal classes of cubic orders

desk verdict Solid local classification of cubic overorders with a clean global formula; deserves a serious referee. read the letter →

arxiv 2607.07063 v1 pith:NOILQNRK submitted 2026-07-08 math.NT

Sungmun Cho , Jungtaek Hong , Yuchan Lee This is my paper · ORCID
classification math.NT MSC 11R6511R1611S4511S90
keywords idealclassmonoidcubicorderGorensteinoverorderEulerproductBhargavacubeslocal-globalprincipleconductor
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

When an order R in a cubic number field is Gorenstein, the paper proves that the number of genus classes of fractional ideals—meaning orbits of the ideal class group Cl(R) acting on the full ideal class monoid—decomposes as an explicit Euler product over finitely many primes where R is locally non-maximal. Each local factor is a polynomial in the residue field size q_v, determined by the splitting type of the cubic algebra at that prime and the conductor exponents. The key mechanism is a two-step reduction: first, a local-global product formula collapses the global orbit set into a product of local ideal class monoids; second, each local count is converted into a finite enumeration of overorders (intermediate orders between R_v and its maximal order), weighted by whether each overorder is itself Gorenstein. For cubic orders this enumeration is substantially more intricate than the linear chain familiar from Bass orders: overorders form a branched poset governed by multiple valuation parameters. The paper parametrizes all overorders for every local splitting type, determines their inclusion relations, and identifies which are Gorenstein. Under the Gorenstein hypothesis on R, the Serre invariant and conductor satisfy a linear relation that collapses these multi-parameter sums to closed-form polynomials in q_v.

What carries the argument

The central identity is Proposition 3.3: #Cl(R_v) = 2 times the number of overorders of R_v minus the number of Gorenstein overorders. Combined with the local-global product formula (Proposition 2.6) that identifies the global orbit set with a product of local ideal class monoids, this converts the global genus count into a finite product of local overorder enumerations. The Gorenstein condition enters through Proposition 3.1, which gives the linear relation S(R) = [R : f(R)]_o between the Serre invariant and the conductor index, simplifying multi-parameter summations to polynomials in q.

What would settle it

Find a Gorenstein cubic order R and a prime v where the local overorder count, computed directly from the poset of intermediate orders between R_v and its maximal order, disagrees with the polynomial factor G_tau(q_v; f(v)) predicted by Definition 6.2.

Watch

Extended reading notes

Core claim

The paper establishes that for a Gorenstein cubic order R, the cardinality of Cl(R) acting on the ideal class monoid equals a product of explicit polynomial local factors, one for each prime where R is not maximal, with each factor indexed by the local splitting type and conductor exponents. The local factors arise from a complete classification of overorders of arbitrary local cubic orders: their parametrization, inclusion relations, and Gorenstein status.

Load-bearing premise

The entire global Euler product rests on a local-global product formula, cited from the authors' own prior work, that identifies the global orbit set with a product of local ideal class monoids. If this bijection has a gap for orders that are neither integral domains nor Bass, the factorization would fail.

Editorial extensions

If this is right

  • The formula gives an exact count of Cl(R)-equivalence classes of integral GL_2(Z) x SL_3(Z) x SL_3(Z)-orbits in Bhargava's 2x3x3 cube parametrization whose associated cubic ring is a prescribed Gorenstein order R.
  • The local overorder enumeration for non-Gorenstein cubic orders, given as finite multi-summations in Sections 4-5, provides arithmetic input for automorphic applications, including an unconditional functional equation for L-functions attached to Gorenstein cubic orders in the Beyond Endoscopy program for GL_3(Q).
  • The classification of local cubic overorders and their Gorenstein status supplies the finite local algebraic dictionary needed for Hitchin-theoretic extensions, where overorders stratify the compactified Jacobian.
  • The non-Gorenstein local formulas, while not collapsing to polynomial factors, remain finite and explicitly computable, providing a benchmark for any stack-theoretic or derived interpretation of the non-Gorenstein contribution to fixed-ring orbit counting.

Reading between the lines

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

  • The branched poset structure of cubic overorders suggests that the genus count for higher-degree orders will generically involve multi-parameter enumerations that do not simplify to polynomial local factors even under Gorenstein hypotheses, making the cubic case potentially the last degree where closed Euler products are tractable.
  • The Python algorithms in Appendix A for evaluating split-case summations hint that the non-Gorenstein formulas, while not admitting conductor-controlled polynomial forms, could still yield to systematic algorithmic evaluation, potentially producing quasi-polynomial local factors depending on residue classes of the conductor.
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

2 major / 8 minor

Summary. This paper studies the ideal class monoid Cl̄(R) of orders R in cubic extensions of number fields. The main result (Theorem 6.3) is a closed Euler product formula for the cardinality of the genus set #(Cl(R)∖Cl̄(R)) when R is a Gorenstein cubic order. The global formula reduces, via a local-global product formula (Proposition 2.6, cited from [CHL]), to computing local factors #(Cl(R_v)) at finitely many primes. The local computation (Sections 4–5) proceeds by explicit parametrization of all overorders of local cubic orders, determining their inclusion relations and Gorenstein status, across all splitting types (unramified, totally ramified, and split types (1 2), (1 1 2), (1 1 1)). The counting formula #Cl(R) = 2·#{overorders} − #{Gorenstein overorders} (Proposition 3.3) converts the overorder enumeration into the local class monoid count. As an application (Section 7), the formula yields an exact count of Cl(R)-equivalence classes of integral GL₂(ℤ)×SL₃(ℤ)²-orbits in Bhargava's 2×3×3 cube parametrization lying over a prescribed Gorenstein cubic ring.

Significance. The paper provides the first complete explicit classification of local cubic overorders and a closed genus-count formula for Gorenstein cubic orders. The local enumeration for arbitrary (not necessarily Gorenstein) local cubic orders is given as explicit finite summations (Theorems 4.6, 4.12, 5.2, 5.5, 5.9), which is a substantial contribution beyond the Gorenstein specialization. The application to Bhargava's 2×3×3 cubes (Theorem 7.3) gives an exact fixed-ring orbit count, complementing the usual asymptotic counting results. The authors also provide Python algorithms (Appendix A) for evaluating the split-case summations, enhancing reproducibility. The local formulas have already found application in a Beyond Endoscopy context for GL₃(ℚ) ([Lee]). The contrast with the Bass case—where overorders form a chain—is made concrete through explicit branched poset diagrams (Examples 4.8, 4.14), illustrating the added complexity of the cubic setting.

major comments (2)
  1. Proposition 2.6 (the local-global product formula) is the linchpin of the entire global result (Theorem 6.3). It is cited from the authors' own prior work [CHL, Proposition 5.3 and Corollary 5.5.(2)]. The proof sketch given (one sentence) states that the bijection sends {I} to the product of local completions. For the benefit of the reader and to ensure self-containedness of the central claim, the authors should briefly state what the key ingredients of this bijection are (e.g., whether it uses strong approximation, local-to-global for lattices, or a direct module-theoretic argument) and confirm that it applies to arbitrary orders in cubic étale algebras (including the split cases E ≅ F×F×F), not just to orders in cubic fields. This is not an objection to correctness but a request for clarity on the most heavily relied-upon external result.
  2. The local summation formulas in Theorems 4.6, 4.12, 5.2, 5.5, and 5.9 are intricate multi-summations spanning several pages each. While the structural results (normal forms in Propositions 4.2, 4.10, 5.1, 5.4, 5.7 and inclusion criteria in Lemmas 4.4 and Corollary 5.8) are clearly stated and verified, the final closed-form evaluations of these summations (the large displayed formulas in Theorems 4.6 and 4.12, and the Gorenstein specializations in Corollaries 4.7, 4.13, 5.3, 5.6, 5.10) are presented without intermediate steps. Given the complexity, a brief indication of the summation technique (e.g., 'evaluating the geometric series term by term and using the parity split') or one worked example of the summation-to-closed-form reduction would strengthen confidence. The Python code in Appendix A partially addresses this for the split cases but not for the irreducible cases (Theorems 4.6, 4
minor comments (8)
  1. The notation Cl̄(R) for the ideal class monoid is introduced in the abstract but in the body the overline is sometimes dropped or inconsistent. For instance, in Strategy 2.8 and Proposition 3.3, the notation is #Cl(R) without overline, while the abstract and Theorem 6.3 use Cl̄(R). Consistent use of Cl̄(R) throughout would improve readability.
  2. In Definition 2.2(2), the Gorenstein condition is stated as 'every fractional O-ideal I with O = (I:I) is invertible.' This is correct but could benefit from a forward reference to Proposition 3.1, where the equivalent and more computationally useful criterion S(O) = [O:f(O)]_o is established.
  3. Example 4.8: The overorder diagrams are helpful. In the diagram for R = o[π²x], the node O¹_{3,2,c₁} appears with c₁ = 0, but the text states c₁ = 0 and ord(cᵢ) = 0 for i ≥ 2. It would be clearer to label the diagram nodes with the actual values or ranges of c to avoid confusion about which cᵢ correspond to which node.
  4. Section 5.1, Proposition 5.1(4): The conductor formula f(O_{a,b,c}) = (π^a) × (π^{max(a,b,a+b−ord(c))}) uses the notation (π^f₁) × (π^f₂) for an ideal of O_E ≅ o × O_{E'}. This is consistent but the jump from the ideal-theoretic description to the exponent tuple (f₁, f₂) used in Theorem 5.2 could be made more explicit (e.g., 'we write f₁ = a and f₂ = max(a, b, a+b−ord(c))').
  5. The reference [DE] (Deng–Espinosa) is cited as 'arXiv preprint arXiv:2603.21506' and [Lee] as 'arXiv:2607.03083'. These appear to be very recent or concurrent preprints; the authors should verify that the final published versions (if available) are cited, or at minimum confirm the arXiv versions are stable.
  6. In the proof of Proposition 5.7(4), the computation of f₂ involves auxiliary quantities k₁ and k₂. The argument that f₂ = max(2k₁+1, 2k₂)−1 is correct but condensed; a reader unfamiliar with ramified quadratic extensions may need to work through the two cases (k₁ ≥ k₂ and k₂ > k₁) carefully. A sentence summarizing the intuition would help.
  7. Remark 3.2 notes the failure of monogenicity for q = 2 and O ≅ o×o×o. This is an interesting edge case; it might be worth explicitly noting in Theorem 6.3 or Definition 6.2 whether this case is covered by the G(¹¹¹) formula (it appears to be, since the formula in Corollary 5.10 includes f₁ = f₂ = f₃ = 0, but confirmation would be welcome).
  8. Typographical: In the formula for #Cl(R) in Theorem 4.6, the case distinctions (s, f even; s even, f odd; etc.) use a four-way split. The formatting of the exponents (e.g., q^{s/2+2}) is clear, but the denominator q^{f/2}(q−1)² could be confused with q^{f/2}·(q−1)²; adding explicit parentheses or using fraction notation would help.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; derivation is self-contained with one structurally load-bearing self-citation to a standard-type product formula

full rationale

The paper's main result (Theorem 6.3) is an Euler product formula for #(Cl(R)∖Cl̄(R)) for Gorenstein cubic orders. The derivation chain is: (1) Proposition 2.6 (product formula) reduces the global count to a product of local counts #Cl(R_v), cited from the authors' prior work [CHL]; (2) Proposition 3.3 converts each local count to overorder enumeration via #Cl(R) = 2·#{overorders} − #{Gorenstein overorders}, using Lemma 2.7 (type ≤ 2 for cubic orders, citing external [Mar24]); (3) Sections 4–5 perform explicit self-contained module-theoretic enumeration of all overorders and Gorenstein overorders for each splitting type, using normal forms and inclusion criteria proved from scratch; (4) the Gorenstein criterion S(O) = [O:f(O)]_o (Proposition 3.1) cites external sources [HK71, Corollary 3.7] and [JT15, 2.5]; (5) substituting the Gorenstein linear relations into the summations yields the polynomial local factors. The self-citation to [CHL] for the product formula is structurally load-bearing but not circular: the product formula is a standard local-global principle for ideal class monoids (the bijection sends a global class to its local completions), [CHL] does not depend on the present paper's results, and the bulk of the paper (Sections 4–5) is independent module theory. The application to Bhargava cubes (Section 7) uses Bhargava's external parametrization [Bha04] and a duality argument from external [JT15]. No 'prediction' reduces to a fit, no definition is circular, and no ansatz is smuggled through self-citation. The one self-citation is a normal structural dependency on prior work of the same type, not a circular reduction.

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

The paper introduces no new physical entities or postulated objects. All mathematical objects (orders, overorders, ideal class monoids) are standard. The local factors G_τ are defined constructs, not free parameters.

assumptions (4)
  • domain assumption Local-global product formula: Cl(R)∖Cl̄(R) ≅ ∏_v Cl(R_v) (Proposition 2.6)
    Cited from [CHL, Proposition 5.3 and Corollary 5.5.(2)]; the entire global formula depends on this bijection.
  • standard math #Cl(R_v) = 2·#{overorders} − #{Gorenstein overorders} (Proposition 3.3)
    Derived from [CHL, Proposition 2.6] and Lemma 2.7; reduces local counting to overorder enumeration.
  • standard math An order O is Gorenstein iff S(O) = [O:f(O)]_o (Proposition 3.1)
    Cited from [JT15, 2.5] and [HK71, Corollary 3.7]; used to identify Gorenstein overorders and simplify formulas.
  • standard math Bhargava's parametrization of 2×3×3 cubes (Theorem 7.1)
    Cited from [Bha04, Theorem 2]; provides the bijection between GL₂(ℤ)×SL₃(ℤ)² orbits and balanced pairs of ideals.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Ideal class monoids of cubic orders." pith.science (2026). https://pith.science/paper/NOILQNRK

@misc{pith2026260707063,
  author       = {Pith},
  title        = {Pith review of: Ideal class monoids of cubic orders},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NOILQNRK}},
  note         = {Machine review of arXiv:2607.07063}
}
abstract

Let $R$ be an order in a number field, let $\overline{\mathrm{Cl}}(R)$ be its ideal class monoid, and let $\mathrm{Cl}(R)$ act on it by multiplication. The local-global product formula identifies the orbit set $\mathrm{Cl}(R)\backslash\overline{\mathrm{Cl}}(R)$ with a product of local orbit sets; in this sense, it is the genus set of fractional $R$-ideals. For a Gorenstein order $R$ in a cubic extension of number fields, we give a closed Euler product formula for the cardinality of this genus set. The local factors come from an explicit classification of local cubic overorders: for arbitrary local cubic orders, we parametrize all overorders, determine their inclusion relations, and identify the Gorenstein ones. As an application to Bhargava's parametrization of $2\times3\times3$ cubes, our formula gives the exact number of $\mathrm{Cl}(R)$-equivalence classes of integral $\mathrm{GL}_2(\mathbb Z)\times\mathrm{SL}_3(\mathbb Z)\times\mathrm{SL}_3(\mathbb Z)$-orbits whose associated cubic ring is the prescribed Gorenstein order $R$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

125 extracted references · 125 canonical work pages

  1. [1]

    On Kostant sections and topological nilpotence , author=. J. Lond. Math. Soc. , volume=. 2018 , publisher=

    work page 2018

  2. [2]

    Advances in Mathematics , volume =

    Compactifying the. Advances in Mathematics , volume =. 1980 , issn =. doi:https://doi.org/10.1016/0001-8708(80)90043-2 , url =

    work page doi:10.1016/0001-8708(80)90043-2 1980

  3. [3]

    Aitchison, I. R. and Rubinstein, J. H. , TITLE =. Four-manifold theory , SERIES =. 1984 , DOI =

    work page 1984

  4. [4]

    Beyond endoscopy via the trace formula: 1

    Altu. Beyond endoscopy via the trace formula: 1. Compos. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1112/S0010437X15007320 , URL =

    work page doi:10.1112/s0010437x15007320 2015

  5. [5]

    Beyond endoscopy via the trace formula,

    Altu. Beyond endoscopy via the trace formula,. Amer. J. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1353/ajm.2017.0023 , URL =

    work page doi:10.1353/ajm.2017.0023 2017

  6. [6]

    Beyond endoscopy via the trace formula---

    Altu. Beyond endoscopy via the trace formula---. J. Inst. Math. Jussieu , FJOURNAL =. 2020 , NUMBER =. doi:10.1017/s1474748018000427 , URL =

    work page doi:10.1017/s1474748018000427 2020

  7. [7]

    Atiyah, M. F. and Macdonald, I. G. , TITLE =. 2016 , PAGES =

    work page 2016

  8. [8]

    Torsion Free and Projective Modules , urldate =

    Hyman Bass , journal =. Torsion Free and Projective Modules , urldate =

    work page

Show all 125 references
  1. [9]

    p -adic and Motivic Measure on

    Balwe, Chetan , journal=. p -adic and Motivic Measure on. 2015 , publisher=

    2015

  2. [10]

    Mathematische Zeitschrift , volume=

    On the ubiquity of Gorenstein rings , author=. Mathematische Zeitschrift , volume=. 1963 , publisher=

    1963

  3. [11]

    Higher composition laws

    Bhargava, Manjul , journal=. Higher composition laws. 2004 , publisher=

    2004

  4. [12]

    1993 , publisher=

    Cohen-Macaulay rings , author=. 1993 , publisher=

    1993

  5. [13]

    1989 , publisher=

    Commutative ring theory , author=. 1989 , publisher=

    1989

  6. [14]

    Sur les modules projectifs , author=. S

  7. [15]

    Duke Mathematical Journal , number =

    Arnaud Beauville , title =. Duke Mathematical Journal , number =. 1999 , doi =

    1999

  8. [16]

    2009 , month =

    Roman Bezrukavnikov , title =. 2009 , month =

    2009

  9. [17]

    1991 , publisher=

    Linear algebraic groups , author=. 1991 , publisher=

    1991

  10. [18]

    1998 , publisher=

    Commutative Algebra: Chapters 1-7 , author=. 1998 , publisher=

    1998

  11. [19]

    2011 , note =

    Conrad, Brian , title =. 2011 , note =

    2011

  12. [20]

    Un lemme de descente

    Beauville, Arnaud and Laszlo, Yves. Un lemme de descente. C. R. Acad. Sci. Paris S\'er. I Math. 1995

    1995

  13. [21]

    Borel, Armand and Tits, Jacques , TITLE =. Inst. Hautes \'. 1965 , PAGES =

    1965

  14. [22]

    Bosch, Siegfried and L. N. 1990 , publisher=

    1990

  15. [23]

    Annales scientifiques de l'ENS , pages=

    Torsors on loop groups and the Hitchin fibration , author=. Annales scientifiques de l'ENS , pages=

  16. [24]

    , author=

    Spectral curves and the generalised theta divisor. , author=. Journal f. 1989 , volume=

    1989

  17. [25]

    Torsors on loop groups and the

    Bouthier, Alexis and. Torsors on loop groups and the. Ann. Sci. \'. 2022 , NUMBER =

    2022

  18. [26]

    Cassels, J. W. S. , Title =. 1986 , Publisher =

    1986

  19. [27]

    Geometry of the fundamental lemma , booktitle=

    Chaudouard, Pierre-Henri , editor=. Geometry of the fundamental lemma , booktitle=. 2014 , pages=

    2014

  20. [28]

    Purity of the anisotropic affine

    Zongbin Chen , eprint=. Purity of the anisotropic affine. ar

  21. [29]

    Compositio Mathematica , author=

    Le lemme fondamental pondéré. Compositio Mathematica , author=. 2010 , pages=. doi:10.1112/S0010437X10004756 , number=

    2010 doi

  22. [30]

    On the adjoint quotient of Chevalley groups over arbitrary base schemes , author=. J. Inst. Math. Jussieu , number=

  23. [31]

    Compositio Mathematica , volume=

    Group schemes and local densities of quadratic lattices in residue characteristic 2 , author=. Compositio Mathematica , volume=. 2015 , publisher=

    2015

  24. [32]

    Algebra & Number Theory , volume=

    Group schemes and local densities of ramified hermitian lattices in residue characteristic 2 Part I , author=. Algebra & Number Theory , volume=. 2016 , publisher=

    2016

  25. [33]

    Group schemes and local densities of ramified hermitian lattices in residue characteristic 2. Part II. , author=. Forum Mathematicum , volume=

  26. [34]

    International Mathematics Research Notices , volume=

    A Uniform Construction of Smooth Integral Models and a Conjectural Recipe for Computing Local Densities , author=. International Mathematics Research Notices , volume=. 2018 , publisher=

    2018

  27. [35]

    Global geometrization of local smooth integral models in the Hitchin fibration for

    Sungmun Cho and Jungtaek Hong , eprint=. Global geometrization of local smooth integral models in the Hitchin fibration for

  28. [36]

    Orbital integrals and Ideal class monoids for a

    Sungmun Cho and Jungtaek Hong and Yuchan Lee , eprint=. Orbital integrals and Ideal class monoids for a. ar

  29. [37]

    Journal of Group Theory , volume=

    Cycle indices for the finite classical groups , author=. Journal of Group Theory , volume=

  30. [38]

    2015 , PAGES =

    Conrad, Brian and Gabber, Ofer and Prasad, Gopal , TITLE =. 2015 , PAGES =. doi:10.1017/CBO9781316092439 , URL =

    2015 doi

  31. [39]

    Beiträge zur Algebra und Geometrie/Contributions to Algebra and Geometry , volume=

    Infinite prime avoidance , author=. Beiträge zur Algebra und Geometrie/Contributions to Algebra and Geometry , volume=. 2021 , publisher=

    2021

  32. [40]

    Journal of the Institute of Mathematics of Jussieu , publisher=

    Chen, Zongbin , year=. Journal of the Institute of Mathematics of Jussieu , publisher=. doi:10.1017/S1474748021000529 , number=

    doi

  33. [41]

    Cho, Sungmun and Kang, Taeyeoup and Lee, Yuchan , journal=

  34. [42]

    Conrad, Keith , howpublished=

  35. [43]

    Mathematische Annalen , volume=

    A reformulation of the Siegel series and intersection numbers , author=. Mathematische Annalen , volume=. 2020 , publisher=

    2020

  36. [44]

    2000 , author =

    Relations among Discriminant, Different, and Conductor of an Order , journal =. 2000 , author =

    2000

  37. [45]

    Beyond Endoscopy for

    Deng, Taiwang and Espinosa, Malors , journal=. Beyond Endoscopy for

  38. [46]

    Mathematische Annalen , volume=

    On the theory of orders, in particular on the semigroup of ideal classes and genera of an order in an algebraic number field , author=. Mathematische Annalen , volume=. 1962 , publisher=

    1962

  39. [47]

    Abelian varieties, preprint available at

  40. [48]

    1971 , PAGES =

    Der kanonische. 1971 , PAGES =

    1971

  41. [49]

    To appear in BIRS-CMO Proceedings in LMS Lecture Notes Series , year=

    On the stack of 0-dimensional coherent sheaves: structural aspects , author=. To appear in BIRS-CMO Proceedings in LMS Lecture Notes Series , year=

  42. [50]

    Formule des traces et fonctorialit\'

    Frenkel, Edward and Langlands, Robert and Ng\^. Formule des traces et fonctorialit\'. Ann. Sci. Math. Qu\'. 2010 , NUMBER =

    2010

  43. [51]

    1971 , publisher=

    Dieudonn. 1971 , publisher=

    1971

  44. [52]

    Compactified

    Gagne,Mathieu , year=. Compactified. ProQuest Dissertations and Theses , keywords=

  45. [53]

    Duke mathematical journal , volume=

    Group schemes and local densities , author=. Duke mathematical journal , volume=. 2000 , publisher=

    2000

  46. [54]

    and Yu, Jiu-Kang , TITLE =

    Gan, Wee Teck and Hanke, Jonathan P. and Yu, Jiu-Kang , TITLE =. Duke Math. J. , FJOURNAL =. 2001 , NUMBER =. doi:10.1215/S0012-7094-01-10716-3 , URL =

    2001 doi

  47. [55]

    International Mathematics Research Notices , volume=

    Frobenius distributions of elliptic curves over finite prime fields , author=. International Mathematics Research Notices , volume=. 2003 , publisher=

    2003

  48. [56]

    Graduate Studies in Mathematics , volume=

    An introduction to automorphic representations with a view towards trace formulae , author=. Graduate Studies in Mathematics , volume=. 2019 , publisher=

    2019

  49. [57]

    arXiv preprint arXiv:2205.02391 , year=

    Orbital integrals and normalizations of measures , author=. arXiv preprint arXiv:2205.02391 , year=

    arXiv

  50. [58]

    and Gan, Wee Teck , TITLE =

    Gross, Benedict H. and Gan, Wee Teck , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/S0002-9947-99-02095-4 , URL =

    1999 doi

  51. [59]

    1982 , issn =

    On the two generator problem for the ideals of a one-dimensional ring , journal =. 1982 , issn =. doi:https://doi.org/10.1016/0022-4049(82)90044-5 , url =

    1982 doi

  52. [60]

    , TITLE =

    Gross, Benedict H. , TITLE =. Invent. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.1007/s002220050186 , URL =

    1997 doi

  53. [61]

    , TITLE =

    Gross, Benedict H. , TITLE =. Represent. Theory , VOLUME =. 2005 , PAGES =

    2005

  54. [62]

    Compositio Mathematica , author=

    Adelic descent theory , volume=. Compositio Mathematica , author=. 2017 , pages=. doi:10.1112/S0010437X17007217 , number=

    2017 doi

  55. [63]

    1977 , series =

    Hartshorne, Robin , title =. 1977 , series =

    1977

  56. [64]

    Transformation Groups , VOLUME =

    Hennecart, Lucien , TITLE =. Transformation Groups , VOLUME =. 2024 , PAGES =

    2024

  57. [65]

    2007 , publisher=

    Category Theory , author=. 2007 , publisher=

    2007

  58. [66]

    Journal of Algebra , volume=

    The automorphism group of a finite p-group is almost always a p-group , author=. Journal of Algebra , volume=. 2007 , publisher=

    2007

  59. [67]

    Lecture notes from a course taught on the University of Michigan Fall , year=

    Foundations of tight closure theory , author=. Lecture notes from a course taught on the University of Michigan Fall , year=

  60. [68]

    International Journal of Number Theory , volume =

    Hofmann, Tommy and Sircana, Carlo , title =. International Journal of Number Theory , volume =

  61. [69]

    1995 , publisher=

    Conjugacy classes in semisimple algebraic groups , author=. 1995 , publisher=

    1995

  62. [70]

    , TITLE =

    Humphreys, James E. , TITLE =. 1972 , PAGES =

    1972

  63. [71]

    Notes on regular unipotent and nilpotent elements, available at

    Humphreys, James E , year=. Notes on regular unipotent and nilpotent elements, available at

  64. [72]

    2000 , publisher=

    An introduction to the theory of local zeta functions , author=. 2000 , publisher=

    2000

  65. [73]

    American Journal of Mathematics , volume=

    Hermitian forms over local fields , author=. American Journal of Mathematics , volume=

  66. [74]

    Nilpotent Orbits in Representation Theory

    Jantzen, Jens Carsten. Nilpotent Orbits in Representation Theory. Lie Theory: Lie Algebras and Representations. 2004. doi:10.1007/978-0-8176-8192-0_1

    2004 doi

  67. [75]

    arXiv:2501.00284 , year=

    An asymptotic formula for the number of integral matrices with a fixed characteristic polynomial via orbital integrals , author=. arXiv:2501.00284 , year=. 2501.00284 , archivePrefix=

  68. [76]

    Invariant Theory, available at

    Kac, Victor , year=. Invariant Theory, available at

  69. [77]

    Kaplansky, Irving , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1952 , PAGES =. doi:10.2307/1990759 , URL =

    1952 doi

  70. [78]

    Orbital Integrals on GL3 , urldate =

    Robert Edward Kottwitz , journal =. Orbital Integrals on GL3 , urldate =

  71. [79]

    Harmonic analysis, the trace formula, and Shimura varieties , volume=

    Harmonic analysis on reductive p-adic groups and Lie algebras , author=. Harmonic analysis, the trace formula, and Shimura varieties , volume=. 2005 , publisher=

    2005

  72. [80]

    arXiv preprint arXiv:1409.3731 , year=

    Endoscopic classification of representations: inner forms of unitary groups , author=. arXiv preprint arXiv:1409.3731 , year=

    arXiv

  73. [81]

    Algebraic spaces

    Knutson, Donald. Algebraic spaces. Algebraic Spaces. 1971. doi:10.1007/BFb0059753

    1971 doi

  74. [82]

    2023 , PAGES =

    Kaletha, Tasho and Prasad, Gopal , TITLE =. 2023 , PAGES =

    2023

  75. [83]

    1981 , author =

    The cycle structure of a linear transformation over a finite field , journal =. 1981 , author =

    1981

  76. [84]

    Lam, T. Y. , TITLE =. Algebra,. 1999 , ISBN =. doi:10.1090/conm/243/03688 , URL =

    1999 doi

  77. [85]

    Fibres de S pringer et jacobiennes compactifi \'e es

    Laumon, G \'e rard. Fibres de S pringer et jacobiennes compactifi \'e es. Algebraic Geometry and Number Theory: In Honor of Vladimir Drinfeld's 50th Birthday. 2006

    2006

  78. [86]

    1985 , author =

    Dedekind-like behavior of rings with 2-generate ideals , journal =. 1985 , author =

    1985

  79. [87]

    Counting algebraic tori over

    Lee, Jungin , journal=. Counting algebraic tori over

  80. [88]

    preprint , year=

    On a Kostant section for the unitary group , author=. preprint , year=

  81. [89]

    Beyond Endoscopy for

    Yuchan Lee , eprint=. Beyond Endoscopy for. ar

  82. [90]

    Le lemme fondamental pour les groupes unitaires , JOURNAL =

    Laumon, G\'. Le lemme fondamental pour les groupes unitaires , JOURNAL =. 2008 , NUMBER =. doi:10.4007/annals.2008.168.477 , URL =

    2008 doi

  83. [91]

    Journal of the American Mathematical Society , volume=

    Kudla--Rapoport cycles and derivatives of local densities , author=. Journal of the American Mathematical Society , volume=

  84. [92]

    Inventiones mathematicae , volume=

    On the arithmetic Siegel--Weil formula for GSpin Shimura varieties , author=. Inventiones mathematicae , volume=. 2022 , publisher=

    2022

  85. [93]

    1998 , publisher=

    Symmetric functions and Hall polynomials , author=. 1998 , publisher=

    1998

  86. [94]

    Journal of the London Mathematical Society , volume =

    Marseglia, Stefano , title =. Journal of the London Mathematical Society , volume =

  87. [95]

    2024 , author =

    Journal of Algebra , volume =. 2024 , author =

    2024

  88. [96]

    1980 , PAGES =

    Matsumura, Hideyuki , TITLE =. 1980 , PAGES =

    1980

  89. [97]

    1978 , issn =

    Similarity of matrices over Artinian principal ideal rings , journal =. 1978 , issn =. doi:https://doi.org/10.1016/0024-3795(78)90039-3 , url =

    1978 doi

  90. [98]

    FINE COMPACTIFIED

    Margarida Melo and Antonio Rapagnetta and Filippo Viviani , journal =. FINE COMPACTIFIED

  91. [99]

    07) , author=

    Algebraic number theory (v3. 07) , author=

  92. [100]

    Milne, J. S. , TITLE =. 2017 , PAGES =. doi:10.1017/9781316711736 , URL =

    2017 doi

  93. [101]

    Algebraic number theory , VOLUME =

    Neukirch, J\". Algebraic number theory , VOLUME =. 1999 , PAGES =

    1999

  94. [102]

    Le lemme fondamental pour les alg

    Ng. Le lemme fondamental pour les alg. Publications Math. 2010 , publisher =

    2010

  95. [103]

    Nombres de

    Oesterl. Nombres de. Inventiones mathematicae , volume=. 1984 , publisher=

    1984

  96. [104]

    Nagoya Math

    Ono, Takashi , TITLE =. Nagoya Math. J. , FJOURNAL =. 1987 , PAGES =. doi:10.1017/S0027763000002579 , URL =

    1987 doi

  97. [105]

    2017 , PAGES =

    Poonen, Bjorn , TITLE =. 2017 , PAGES =. doi:10.1090/gsm/186 , URL =

    2017 doi

  98. [106]

    , title =

    Hotta, Ryoshi and Springer, Tonny A. , title =. Inventiones mathematicae , year =. doi:10.1007/BF01418371 , url =

    doi

  99. [107]

    1979 , PAGES =

    Serre, Jean-Pierre , TITLE =. 1979 , PAGES =

    1979

  100. [108]

    1998 , publisher=

    Linear Algebraic Groups , author=. 1998 , publisher=. doi:10.1007/978-0-8176-4840-4 , url=

    1998 doi

  101. [109]

    Algebraic Groups and Discontinuous Subgroups (Proc

    Adeles , author=. Algebraic Groups and Discontinuous Subgroups (Proc. Sympos. Pure Math., Boulder, Colo., 1965) , pages=

    1965

  102. [110]

    Reflexive Modules Over

    Vasconcelos, Wolmer , year =. Reflexive Modules Over. Proceedings of the American Mathematical Society , doi =

  103. [111]

    2012 , publisher=

    Adeles and algebraic groups , author=. 2012 , publisher=

    2012

  104. [112]

    1977 , issn =

    Lifting properties and smoothness , journal =. 1977 , issn =. doi:https://doi.org/10.1016/0021-8693(77)90401-X , url =

    1977 doi

  105. [113]

    Tamagawa number , author=

  106. [114]

    arXiv preprint arXiv:1802.07624 , year=

    Endoscopic transfer for unitary Lie algebras , author=. arXiv preprint arXiv:1802.07624 , year=

    arXiv

  107. [115]

    2015 , note =

    Gorenstein orders , journal =. 2015 , note =. doi:10.1016/j.jpaa.2014.05.013 , author =

    2015 doi

  108. [116]

    Autour des sch\'

    Yu, Jiu-Kang , TITLE =. Autour des sch\'. 2015 , MRCLASS =

    2015

  109. [117]

    Duke Math

    Yun, Zhiwei , TITLE =. Duke Math. J. , FJOURNAL =. 2011 , NUMBER =. doi:10.1215/00127094-2010-210 , URL =

    2011 doi

  110. [118]

    The legacy of

    Yun, Zhiwei , TITLE =. The legacy of. 2013 , ISBN =

    2013

  111. [119]

    Journal of the London Mathematical Society , volume=

    Rings and ideals parameterized by binary n-ic forms , author=. Journal of the London Mathematical Society , volume=. 2011 , publisher=

    2011

  112. [120]

    Lectures on

    Yun, Zhiwei , journal=. Lectures on

  113. [121]

    2014 , publisher=

    Wood, Melanie Matchett , journal=. 2014 , publisher=

    2014

  114. [122]

    2011 , publisher=

    Wood, Melanie Matchett , journal=. 2011 , publisher=

    2011

  115. [123]

    1974 , publisher=

    Sato, Mikio and Shintani, Takuro , journal=. 1974 , publisher=

    1974

  116. [124]

    2005 , publisher=

    Bhargava, Manjul , journal=. 2005 , publisher=

    2005

  117. [125]

    Cho, Sungmun and Hong, Jungtaek , note=

Pith tools

Reviewed July 9, 2026 · model on record in the stance chip above.