pith. sign in

arxiv: 2606.31341 · v1 · pith:JWXCZNKXnew · submitted 2026-06-30 · 🧮 math.NT

On the Finiteness of Geometric Representations for Varieties over Finite Fields

Yufan Luo This is my paper

Pith reviewed 2026-07-01 04:33 UTC · model grok-4.3

classification 🧮 math.NT
keywords finiteness conjecturegeometric representationsHiranouchi fundamental groupramification boundssemisimple representationsvarieties over finite fieldsétale fundamental group
0
0 comments X

The pith

The finiteness conjecture for continuous semisimple representations of Hiranouchi's ramification-bounded fundamental group holds for curves when the characteristic is odd and for tame varieties in any dimension.

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

The paper formulates a conjecture asserting that only finitely many continuous semisimple geometric representations exist from Hiranouchi's fundamental group π₁(X,D) of a normal geometrically connected variety X over a finite field to GL_n(F), where F is algebraically closed of characteristic p. It establishes the conjecture for odd p in the case of curves with any effective Cartier divisor D bounding the ramification, and for varieties of any dimension when D=0. It further proves finiteness, for any p, of those representations that admit a lift to characteristic zero.

Core claim

The central claim is that the set of continuous semisimple geometric representations π₁(X,D) → GL_n(F) is finite when p is odd for any curve and any ramification bound D, when D=0 for varieties of arbitrary dimension, and when the representation lifts to characteristic zero for arbitrary p.

What carries the argument

Hiranouchi's fundamental group π₁(X,D), the quotient of the étale fundamental group with ramification bounded by the divisor D on a compactification of X.

Load-bearing premise

The basic properties of Hiranouchi's fundamental group π₁(X,D) as a quotient of the étale fundamental group with controlled ramification hold as stated.

What would settle it

An explicit infinite family of distinct continuous semisimple representations π₁(X,D) → GL_n(F) for a curve X over a finite field of odd characteristic and some fixed D would falsify the proved cases.

read the original abstract

Let $p$ be a prime number, and let $k$ be a finite field of characteristic different from $p$. Let $X$ be a normal geometrically connected variety over $k$, let $\overline X$ be a compactification of $X$, and let $Z=\overline X\setminus X$. Let $D$ be an effective Cartier divisor on $\overline X$ whose support is contained in $Z$. Motivated by Hiranouchi's Hermite--Minkowski type theorem for varieties over finite fields, we formulate a finiteness conjecture for continuous semisimple geometric representations $$ \pi_1(X,D)\longrightarrow \operatorname{GL}_n(F), $$ where $\pi_1(X,D)$ is Hiranouchi's fundamental group with ramification bounded by $D$, and $F$ is an algebraically closed field of characteristic $p$ endowed with the discrete topology. We prove this conjecture for odd $p$ in the following two cases: for curves with arbitrary ramification bound $D$, and for varieties of arbitrary dimension in the tame case, namely $D=0$. Furthermore, for arbitrary $p$, we prove the finiteness for those representations which admit a lift to characteristic zero.

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 / 3 minor

Summary. The paper formulates a finiteness conjecture for continuous semisimple geometric representations π₁(X,D) → GL_n(F), where π₁(X,D) is Hiranouchi's ramification-bounded quotient of the étale fundamental group, X is a normal geometrically connected variety over a finite field k of char ≠ p, D an effective Cartier divisor supported on the boundary, and F algebraically closed of char p with discrete topology. It proves the conjecture for odd p in two cases (curves with arbitrary D; arbitrary dimension with D=0) and, for any p, proves finiteness when the representation admits a lift to characteristic zero.

Significance. If the stated reductions to known finiteness results hold, the work supplies concrete evidence toward a Hermite–Minkowski-type statement in positive characteristic, extending prior results on tame and curve cases while isolating the lift-to-char-0 condition as a separate regime. The explicit case distinctions and reliance on the standard quotient definition of π₁(X,D) make the partial resolutions falsifiable and potentially useful for further anabelian or representation-theoretic questions over finite fields.

minor comments (3)
  1. [Abstract] The abstract states the two main cases but does not indicate the dimension range covered by the tame (D=0) result; a parenthetical “arbitrary dimension” would clarify the scope immediately.
  2. [Introduction] The notation π₁(X,D) is introduced via the motivation from Hiranouchi without a forward reference to the precise definition (quotient of étale π₁ by the ramification subgroup generated by D); adding a one-sentence reminder in §1 would aid readers.
  3. [Abstract] The statement “for arbitrary p, we prove the finiteness for those representations which admit a lift to characteristic zero” does not specify whether the lift is required to be semisimple or geometric; a parenthetical clarification would prevent ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript, their assessment of its significance, and their recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper formulates a finiteness conjecture for continuous semisimple geometric representations of Hiranouchi's π₁(X,D) and proves it for odd p on curves (arbitrary D) and varieties in the tame case (D=0), plus a lift-to-char-0 result for any p. These proofs invoke the standard quotient definition of π₁(X,D) from the étale fundamental group and reduce to known external finiteness results in those regimes. No self-definitional steps, fitted inputs renamed as predictions, load-bearing self-citations, or smuggled ansatzes appear in the chain; the central claims rest on independent reductions rather than circular inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the definition and properties of Hiranouchi's fundamental group and standard facts from representation theory and étale cohomology; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • domain assumption Properties of Hiranouchi's fundamental group π1(X,D) with ramification bounded by D
    The conjecture and proofs rely on the definition and basic properties of this group as introduced by Hiranouchi.
  • standard math Standard facts from the theory of continuous representations of profinite groups into GL_n over fields of characteristic p
    Assumes continuity, semisimplicity, and algebraic closure properties standard in the field.

pith-pipeline@v0.9.1-grok · 5747 in / 1322 out tokens · 68717 ms · 2026-07-01T04:33:06.328414+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

263 extracted references · 122 canonical work pages

  1. [1]

    Unit L-functions and a conjecture of Katz , year =

    Emerton, Matthew and Kisin, Mark , journal =. Unit L-functions and a conjecture of Katz , year =

  2. [2]

    From the function-sheaf dictionary to quasicharacters of p -adic tori , year =

    Cunningham, Clifton and Roe, David , journal =. From the function-sheaf dictionary to quasicharacters of p -adic tori , year =

  3. [3]

    Cohomological theory of crystals over function fields , year =

    B. Cohomological theory of crystals over function fields , year =

  4. [4]

    Commutative character sheaves and geometric types for supercuspidal representations , year =

    Cunningham, Clifton and Roe, David , journal =. Commutative character sheaves and geometric types for supercuspidal representations , year =

  5. [5]

    Characters of unipotent groups over finite fields , year =

    Boyarchenko, Mitya , journal =. Characters of unipotent groups over finite fields , year =

  6. [6]

    Extensions of algebraic groups with finite quotient and nonabelian 2-cohomology , year =

    Arteche, Giancarlo Lucchini , journal =. Extensions of algebraic groups with finite quotient and nonabelian 2-cohomology , year =

  7. [7]

    A motivated introduction to character sheaves and the orbit method for unipotent groups in positive characteristic , year =

    Boyarchenko, Mitya and Drinfeld, Vladimir , journal =. A motivated introduction to character sheaves and the orbit method for unipotent groups in positive characteristic , year =

  8. [8]

    p -adic properties of modular schemes and modular forms , year =

    Katz, Nicholas M , booktitle =. p -adic properties of modular schemes and modular forms , year =

  9. [9]

    Sheaves and functions modulo p , year =

    Taelman, Lenny , journal =. Sheaves and functions modulo p , year =

  10. [10]

    Stacky abelianization of algebraic groups , year =

    Kamgarpour, Masoud , journal =. Stacky abelianization of algebraic groups , year =

  11. [11]

    Demazure, Michel and Artin, Michael , publisher =. Sch

  12. [12]

    SGA 4 1/2--Cohomologie

    Deligne, Pierre , journal =. SGA 4 1/2--Cohomologie. 1977 , volume =

    1977

  13. [13]

    SGA 5: Cohomologie ℓ-adique et Fonctions L , year =

    Grothendieck, A and Bucur, I and Houzel, C and Illusie, L and Jouanolou, JP and Serre, JP , journal =. SGA 5: Cohomologie ℓ-adique et Fonctions L , year =

  14. [14]

    Stacks Project Authors , title =

  15. [15]

    Algebraic groups over finite fields , year =

    Lang, Serge , journal =. Algebraic groups over finite fields , year =

  16. [16]

    Milne, James S , journal =

  17. [17]

    Algebraic groups and class fields , year =

    Serre, Jean-Pierre , publisher =. Algebraic groups and class fields , year =

  18. [18]

    Notes on isocrystals , year =

    Kedlaya, Kiran S , journal =. Notes on isocrystals , year =

  19. [19]

    Kedlaya, Kiran S , journal =

  20. [20]

    La conjecture de Weil

    Deligne, Pierre , journal =. La conjecture de Weil. II , year =

  21. [21]

    Berthelot, P , title =

  22. [22]

    p-adic Fourier theory , year =

    Schneider, Peter and Teitelbaum, Jeremy , journal =. p-adic Fourier theory , year =

  23. [23]

    p -adic Banach spaces and families of modular forms , year =

    Coleman, Robert F , journal =. p -adic Banach spaces and families of modular forms , year =

  24. [24]

    Etale cohomology (PMS-33) , year =

    Milne, James S and Milne, James S , publisher =. Etale cohomology (PMS-33) , year =

  25. [25]

    On a conjecture of Deligne , year =

    Drinfeld, Vladimir , journal =. On a conjecture of Deligne , year =

  26. [26]

    Independence of ell for Intersection Cohomology (after Gabber) , year =

    Fujiwara, Kazuhiro and others , booktitle =. Independence of ell for Intersection Cohomology (after Gabber) , year =

  27. [27]

    Geometric Abelian Class Field Theory , year =

    T. Geometric Abelian Class Field Theory , year =

  28. [28]

    A note on

    Kisin, Mark and Wortmann, Sigrid , journal =. A note on. 2003 , issn =. doi:10.4310/MRL.2003.v10.n3.a7 , fjournal =

    work page doi:10.4310/mrl.2003.v10.n3.a7 2003

  29. [29]

    and Mazur, B

    Fontaine, J.-M. and Mazur, B. , booktitle =. Geometric. 1995 , pages =

    1995

  30. [30]

    Overconvergent unit-root

    Koshikawa, Teruhisa , journal =. Overconvergent unit-root. 2017 , issn =. doi:10.4310/MRL.2017.v24.n6.a7 , fjournal =

    work page doi:10.4310/mrl.2017.v24.n6.a7 2017

  31. [31]

    Perfectoid spaces: a survey , year =

    Scholze, Peter , journal =. Perfectoid spaces: a survey , year =

  32. [32]

    Perfectoid spaces , year =

    Scholze, Peter , journal =. Perfectoid spaces , year =

  33. [33]

    Langlands correspondence for isocrystals and the existence of crystalline companions for curves , year =

    Abe, Tomoyuki , journal =. Langlands correspondence for isocrystals and the existence of crystalline companions for curves , year =

  34. [34]

    Galois representations, ( varphi, Gamma) -modules and prismatic F-crystals , year =

    Wu, Zhiyou , journal =. Galois representations, ( varphi, Gamma) -modules and prismatic F-crystals , year =

  35. [35]

    Langlands program for p-adic coefficients and the petits camarades conjecture , year =

    Abe, Tomoyuki , journal =. Langlands program for p-adic coefficients and the petits camarades conjecture , year =

  36. [36]

    La conjecture de Weil

    Deligne, Pierre , journal =. La conjecture de Weil. I , year =

  37. [37]

    Malle, Gunter and Matzat, B Heinrich , title =

  38. [38]

    and Schmidt, A

    Neukirch, J. and Schmidt, A. and Wingberg, K. , publisher =. Cohomology of number fields , year =. doi:10.1007/978-3-540-37889-1 , mrclass =

    work page doi:10.1007/978-3-540-37889-1

  39. [39]

    The Stacks project , year =

    The. The Stacks project , year =

  40. [40]

    The imbedding problem for splitting extensions , year =

    Shafarevich, Igor Rostislavovich , booktitle =. The imbedding problem for splitting extensions , year =

  41. [41]

    PAULIN, ALEXANDER GM , title =

  42. [42]

    F -isocrystals and de Rham cohomology II—Convergent isocrystals , year =

    Ogus, Arthur and others , journal =. F -isocrystals and de Rham cohomology II—Convergent isocrystals , year =

  43. [43]

    On the Bass-Quillen conjecture concerning projective modules over polynomial rings , year =

    Lindel, Hartmut , journal =. On the Bass-Quillen conjecture concerning projective modules over polynomial rings , year =

  44. [44]

    Prismatic F -crystals and crystalline Galois representations , year =

    Bhatt, Bhargav and Scholze, Peter , journal =. Prismatic F -crystals and crystalline Galois representations , year =

  45. [45]

    Local fields , year =

    Serre, Jean-Pierre , publisher =. Local fields , year =

  46. [46]

    Relative p-adic Hodge theory: foundations , year =

    Kedlaya, Kiran S and Liu, Ruochuan , journal =. Relative p-adic Hodge theory: foundations , year =

  47. [47]

    A note on extensions of algebraic and formal groups, V , year =

    Sekiguchi, Tsutomu and Suwa, Noriyuki , journal =. A note on extensions of algebraic and formal groups, V , year =

  48. [48]

    Lectures on curves on an Algebraic Surface Annals of Math

    Mumford, D , journal =. Lectures on curves on an Algebraic Surface Annals of Math. Studies, Vol. 59, Princeton, 1966 , year =

    1966

  49. [49]

    Milne, J. S. , publisher =. Algebraic groups , year =. doi:10.1017/9781316711736 , mrclass =

    work page doi:10.1017/9781316711736

  50. [50]

    Galois Representations and (phi, Gamma)-modules , year =

    Schneider, Peter , publisher =. Galois Representations and (phi, Gamma)-modules , year =

  51. [51]

    1989 , publisher =

    Bourbaki, N and Algebra, I , title =. 1989 , publisher =

    1989

  52. [52]

    Arithmetic jet spaces , year =

    Bertapelle, Alessandra and Previato, Emma and Saha, Arnab , journal =. Arithmetic jet spaces , year =

  53. [53]

    De Rham--Witt cohomology for a proper and smooth morphism , year =

    Langer, Andreas and Zink, Thomas , journal =. De Rham--Witt cohomology for a proper and smooth morphism , year =

  54. [54]

    Descent for the K-theory of polynomial rings , year =

    van der Kallen, Wilberd , journal =. Descent for the K-theory of polynomial rings , year =

  55. [55]

    Canonical lifts and -structures , year =

    Borger, James and Gurney, Lance , journal =. Canonical lifts and -structures , year =

  56. [56]

    The basic geometry of Witt vectors, I: The affine case , year =

    Borger, James , journal =. The basic geometry of Witt vectors, I: The affine case , year =

  57. [57]

    The basic geometry of Witt vectors

    Borger, James , journal =. The basic geometry of Witt vectors. II: Spaces , year =

  58. [58]

    A Riemann-Hilbert correspondence in positive characteristic , year =

    Bhatt, Bhargav and Lurie, Jacob , journal =. A Riemann-Hilbert correspondence in positive characteristic , year =

  59. [59]

    Geometry of p-jets , year =

    Buium, Alexandru , journal =. Geometry of p-jets , year =

  60. [60]

    Arithmetic differential equations , year =

    Buium, Alexandru , publisher =. Arithmetic differential equations , year =

  61. [61]

    Differential characters of abelian varieties over p -adic fields , year =

    Buium, Alexandru , journal =. Differential characters of abelian varieties over p -adic fields , year =

  62. [62]

    Galois theory of

    Koch, Helmut , publisher =. Galois theory of. 2002 , isbn =. doi:10.1007/978-3-662-04967-9 , mrclass =

    work page doi:10.1007/978-3-662-04967-9 2002

  63. [63]

    Treatise on Analysis: Volume II Enlarged and Corrected Printing

    Macdonald, IG , publisher =. Treatise on Analysis: Volume II Enlarged and Corrected Printing. Pure and Applied Mathematics, Volume 10-II. , year =

  64. [64]

    On matrices with elements in a principal ideal ring , year =

    Leavitt, William and Whaples, George , journal =. On matrices with elements in a principal ideal ring , year =. doi:10.1090/S0002-9904-1949-09183-8 , fjournal =

    work page doi:10.1090/s0002-9904-1949-09183-8 1949

  65. [65]

    , journal =

    Boston, N. , journal =. Some cases of the. 1999 , issn =. doi:10.1006/jnth.1998.2337 , fjournal =

    work page doi:10.1006/jnth.1998.2337 1999

  66. [66]

    and Geraghty, D

    Calegari, F. and Geraghty, D. , journal =. Modularity lifting beyond the. 2018 , issn =. doi:10.1007/s00222-017-0749-x , fjournal =

    work page doi:10.1007/s00222-017-0749-x 2018

  67. [67]

    A remark on the

    Moonen, Ben , journal =. A remark on the. 2019 , issn =

    2019

  68. [68]

    and Gelander, T

    Breuillard, E. and Gelander, T. , journal =. A topological. 2007 , issn =. doi:10.4007/annals.2007.166.427 , fjournal =

    work page doi:10.4007/annals.2007.166.427 2007

  69. [69]

    Double coset formulas for profinite groups , year =

    Symonds, Peter , journal =. Double coset formulas for profinite groups , year =

  70. [70]

    and Zalesskii, P

    Ribes, L. and Zalesskii, P. , publisher =. Profinite groups , year =. doi:10.1007/978-3-642-01642-4 , mrclass =

    work page doi:10.1007/978-3-642-01642-4

  71. [71]

    Lectures on the theory of algebraic numbers , year =

    Hecke, Erich and Goldman, Jay R and Kotzen, R , publisher =. Lectures on the theory of algebraic numbers , year =

  72. [72]

    Artin, Michael and Grothendieck, Alexandre and Verdier, Jean Louis , publisher =. Th

  73. [73]

    and Taylor, R

    Buzzard, K. and Taylor, R. , journal =. Companion forms and weight one forms , year =. doi:10.2307/121076 , fjournal =

    work page doi:10.2307/121076

  74. [74]

    Modularity of 2-adic Barsotti-Tate representations , year =

    Kisin, Mark , journal =. Modularity of 2-adic Barsotti-Tate representations , year =

  75. [75]

    Algebraic number theory , year =

    Milne, James S , publisher =. Algebraic number theory , year =

  76. [76]

    On finitely generated profinite groups

    Nikolov, Nikolay and Segal, Dan , journal =. On finitely generated profinite groups. 2007 , issn =. doi:10.4007/annals.2007.165.171 , fjournal =

    work page doi:10.4007/annals.2007.165.171 2007

  77. [77]

    Preuve des conjectures de Tate et de Shafarevitch , year =

    Deligne, Pierre and Katz, NM , journal =. Preuve des conjectures de Tate et de Shafarevitch , year =

  78. [78]

    Tame pro-p Galois groups: A survey of recent work , year =

    Hajir, Farshid , booktitle =. Tame pro-p Galois groups: A survey of recent work , year =

  79. [79]

    Algebraic groups and number theory , year =

    Platonov, Vladimir and Rapinchuk, Andrei and Rowen, Rachel , publisher =. Algebraic groups and number theory , year =

  80. [80]

    Dixon, J. D. and du Sautoy, M. P. F. and Mann, A. and Segal, D. , publisher =. Analytic pro-. 1999 , edition =. doi:10.1017/CBO9780511470882 , mrclass =

    work page doi:10.1017/cbo9780511470882 1999

Showing first 80 references.