Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 52 min ago
PreprintCC BY-SA 4.0arXiv

On the bounded-conductor finiteness conjecture in equal characteristic

Abstract

We investigate the equal-characteristic case of the Moon--Taguchi bounded-conductor finiteness conjecture for mod p Galois representations over global function fields. We first establish a conditional finiteness theorem: for any global function field K of characteristic p and any integer n ≥ 1, there are only finitely many isomorphism classes of continuous, semisimple, everywhere unramified, and geometric representations ρ: GK → GLn(F̅p) that admit an everywhere unramified characteristic-zero lift. Furthermore, we prove that the conjecture fails in general without this lifting hypothesis. Concretely, we construct infinitely many global function fields K of characteristic p admitting a continuous, surjective, absolutely irreducible, everywhere unramified, and geometric representation ρr: GK ↠ SL2(Fpr) for each integer r ≥ 4. As a corollary, we construct an everywhere unramified Galois extension L/K, regular over Fp, with Galois group Gal(L/K)≅ ∏r≥4PSL2(Fpr). Combined with known cross-characteristic finiteness theorems, this completely resolves the question posed by Moon and Taguchi in dimension two: such extensions exist over global function fields of characteristic p, whereas they cannot exist over global function fields of characteristic different from p.

Related

  1. Quillen's finiteness conjecture for the cotangent complex in characteristic two
    Timo Schürg
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  2. Parahoric motivic Hecke categories in equal and mixed characteristic
    Sebastian Bartling, Rızacan Çiloğlu
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  3. Failure of direct finiteness for group algebras in every odd characteristic
    Elena I. Bunina, Winston Lee, Alexei Miasnikov +1
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  4. The Gopakumar--Vafa finiteness conjecture
    Aleksander Doan, Eleny-Nicoleta Ionel, Thomas Walpuski
    Annals of MathematicsPeer-reviewedLicence not statedFull text37 citedGeometry & topologyOpenAlex
  5. A Note on the OpenAI Construction of Counterexamples to the Kaplansky Direct-Finiteness Conjecture
    Andrei Jaikin-Zapirain
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
BibTeX
@misc{luo2026boundedconductor,
  title = {{On the bounded-conductor finiteness conjecture in equal characteristic}},
  author = {Yufan Luo and Yiqi Xu},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.11456},
  eprint = {2609.11456},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.11456},
  note = {CC BY-SA 4.0},
}
RIS
TY  - UNPB
TI  - On the bounded-conductor finiteness conjecture in equal characteristic
AU  - Yufan Luo
AU  - Yiqi Xu
PY  - 2026
DA  - 2026/09/10
PB  - arXiv
DO  - 10.48550/arxiv.2609.11456
UR  - https://arxiv.org/abs/2609.11456
AB  - We investigate the equal-characteristic case of the Moon--Taguchi bounded-conductor finiteness conjecture for mod p Galois representations over global function fields. We first establish a conditional finiteness theorem: for any global function field K of characteristic p and any integer n ≥ 1, there are only finitely many isomorphism classes of continuous, semisimple, everywhere unramified, and geometric representations ρ: G_K → GL_n(F̅_p) that admit an everywhere unramified characteristic-zero lift. Furthermore, we prove that the conjecture fails in general without this lifting hypothesis. Concretely, we construct infinitely many global function fields K of characteristic p admitting a continuous, surjective, absolutely irreducible, everywhere unramified, and geometric representation ρ_r: G_K ↠ SL_2(F_p^r) for each integer r ≥ 4. As a corollary, we construct an everywhere unramified Galois extension L/K, regular over F_p, with Galois group Gal(L/K)≅ ∏_r≥4PSL_2(F_p^r). Combined with known cross-characteristic finiteness theorems, this completely resolves the question posed by Moon and Taguchi in dimension two: such extensions exist over global function fields of characteristic p, whereas they cannot exist over global function fields of characteristic different from p.
ER  -