# Counting local systems with principal unipotent local monodromy

### Abstract

Let $X_1$ be a curve of genus $g$, projective and smooth over $\mathbb{F}_q$. Let $S_1\subset X_1$ be a reduced divisor consisting of $N_1$ closed points of $X_1$. Let $(X,S)$ be obtained from $(X_1,S_1)$ by extension of scalars to an algebraic closure $\mathbb{F}$ of $\mathbb{F}_q$. Fix a prime $l$ not dividing $q$. The pullback by the Frobenius endomorphism $\mathrm{Fr}$ of $X$ induces a permutation $\mathrm{Fr}^*$ of the set of isomorphism classes of rank $n$ irreducible $\overline{\mathbb{Q}}_l$-local systems on $X-S$. It maps to itself the subset of those classes for which the local monodromy at each $s\in S$ is unipotent, with a single Jordan block. Let $T(X_1,S_1,n,m)$ be the number of fixed points of $\mathrm{Fr}^{*m}$ acting on this subset. Under the assumption that $N_1{\,{\scriptstyle \ge}\,} 2$, we show that $T(X_1,S_1,n,m)$ is given by a formula reminiscent of a Lefschetz fixed point formula: the function $m\mapsto T(X_1,S_1,n,m)$ is of the form $\sum n_i\gamma_i^m$ for suitable integers $n_i$ and “eigenvalues” $\gamma_i$. We use Lafforgue to reduce the computation of $T(X_1,S_1,n,m)$ to counting automorphic representations of $\mathrm{GL}(n)$, and the assumption $N_1{\,{\scriptstyle \ge}\,} 2$ to move the counting to the multiplicative group of a division algebra, where the trace formula is easier to use.

• [bz] J. N. Bernstein and A. V. Zelevinsky, "Representations of the group $\mathrm{GL}(n,F)$, where $F$ is a local non-Archimedean field," Uspekhi Mat. Nauk, vol. 10, pp. 5-70, 1976.
@article{bz,
author={Bernstein, J. N. and Zelevinsky, A. V.},
TITLE={Representations of the group {$\mathrm{GL}(n,F)$},
where {$F$} is a local non-{A}rchimedean field},
JOURNAL={Uspekhi Mat. Nauk},
VOLUME={10},
YEAR={1976},
PAGES={5--70},
ZBLNUMBER = {0342.43017},
MRNUMBER={0425030},
NOTE={in Russian; English translation in \emph{Russian Math. Surv.} {\bf 31} (1976), 1--68},
ZBL={0348.43007},
}
• [BT] F. Bruhat and J. Tits, "Groupes réductifs sur un corps local," Inst. Hautes Études Sci. Publ. Math., vol. 41, pp. 5-251, 1972.
@article {BT, MRKEY = {0327923},
AUTHOR = {Bruhat, F. and Tits, J.},
TITLE = {Groupes réductifs sur un corps local},
JOURNAL = {Inst. Hautes Études Sci. Publ. Math.},
FJOURNAL = {Institut des Hautes Études Scientifiques. Publications Mathématiques},
VOLUME = {41},
YEAR = {1972},
PAGES = {5--251},
ISSN = {0073-8301},
MRCLASS = {20G25 (22E20)},
MRNUMBER = {0327923},
MRREVIEWER = {M. Krusemeyer},
ZBLNUMBER = {0254.14017},
DOI = {10.1007/BF02715544},
}
• [C] W. Casselman, "A new nonunitarity argument for $p$-adic representations," J. Fac. Sci. Univ. Tokyo Sect. IA Math., vol. 28, iss. 3, pp. 907-928, 1981.
@article {C, MRKEY = {0656064},
AUTHOR = {Casselman, W.},
TITLE = {A new nonunitarity argument for {$p$}-adic representations},
JOURNAL = {J. Fac. Sci. Univ. Tokyo Sect. IA Math.},
FJOURNAL = {Journal of the Faculty of Science. University of Tokyo. Section IA. Mathematics},
VOLUME = {28},
YEAR = {1981},
NUMBER = {3},
PAGES = {907--928},
ISSN = {0040-8980},
CODEN = {JFTMAT},
MRCLASS = {22E50 (57T10)},
MRNUMBER = {0656064},
MRREVIEWER = {D. Mili{\v{c}}i{ć}},
ZBLNUMBER = {0519.22011},
}
• [D] V. G. Drinfelcprimed, "The number of two-dimensional irreducible representations of the fundamental group of a curve over a finite field," Funktsional. Anal. i Prilozhen., vol. 15, iss. 4, pp. 75-76, 1981.
@article {D, MRKEY = {0639205},
AUTHOR = {Drinfel{\cprime}d, V. G.},
TITLE = {The number of two-dimensional irreducible representations of the fundamental group of a curve over a finite field},
JOURNAL = {Funktsional. Anal. i Prilozhen.},
FJOURNAL = {Akademiya Nauk SSSR. Funktsional\cprime nyĭAnaliz i ego Prilozheniya},
VOLUME = {15},
YEAR = {1981},
NUMBER = {4},
PAGES = {75--76},
ISSN = {0374-1990},
MRCLASS = {10D40 (14G10)},
MRNUMBER = {0639205},
MRREVIEWER = {J. Tunnell},
ZBLNUMBER = {0479.14017},
DOI = {10.1007/BF01106161},
}
• [K] R. E. Kottwitz, "Tamagawa numbers," Ann. of Math., vol. 127, iss. 3, pp. 629-646, 1988.
@article {K, MRKEY = {0942522},
AUTHOR = {Kottwitz, Robert E.},
TITLE = {Tamagawa numbers},
JOURNAL = {Ann. of Math.},
FJOURNAL = {Annals of Mathematics. Second Series},
VOLUME = {127},
YEAR = {1988},
NUMBER = {3},
PAGES = {629--646},
ISSN = {0003-486X},
CODEN = {ANMAAH},
MRCLASS = {11F70 (11E72 22E55)},
MRNUMBER = {0942522},
MRREVIEWER = {Stephen Gelbart},
DOI = {10.2307/2007007},
ZBLNUMBER = {0678.22012},
}
• [Ko] M. Kontsevich, "Notes on motives in finite characteristic," in Algebra, Arithmetic, and Geometry: In Honor of Yu. I. Manin. Vol. II, Boston, MA: Birkhäuser, 2009, vol. 270, pp. 213-247.
@incollection {Ko, MRKEY = {2641191},
AUTHOR = {Kontsevich, Maxim},
TITLE = {Notes on motives in finite characteristic},
BOOKTITLE = {Algebra, Arithmetic, and Geometry: In Honor of {Y}u. {I}. {M}anin. {V}ol. {II}},
SERIES = {Progr. Math.},
VOLUME = {270},
PAGES = {213--247},
PUBLISHER = {Birkhäuser},
YEAR = {2009},
MRCLASS = {11G25 (11R39 14F30 18D05 37K20 82B20)},
MRNUMBER = {2641191},
MRREVIEWER = {Ralf Meyer},
DOI = {10.1007/978-0-8176-4747-6_7},
ZBLNUMBER = {05778256},
}
• [L] L. Lafforgue, "Chtoucas de Drinfeld et correspondance de Langlands," Invent. Math., vol. 147, iss. 1, pp. 1-241, 2002.
@article {L, MRKEY = {1875184},
AUTHOR = {Lafforgue, Laurent},
TITLE = {Chtoucas de {D}rinfeld et correspondance de {L}anglands},
JOURNAL = {Invent. Math.},
FJOURNAL = {Inventiones Mathematicae},
VOLUME = {147},
YEAR = {2002},
NUMBER = {1},
PAGES = {1--241},
ISSN = {0020-9910},
CODEN = {INVMBH},
MRCLASS = {11F52 (11F60 11F70 11R39 14G35 14H60 22E55)},
MRNUMBER = {1875184},
MRREVIEWER = {R. P. Langlands},
DOI = {10.1007/s002220100174},
ZBLNUMBER = {1038.11075},
}
• [O] T. Ono, "On Tamagawa numbers," in Algebraic Groups and Discontinuous Subgroups, Providence, R.I.: Amer. Math. Soc., 1966, vol. 9, pp. 122-132.
@incollection {O, MRKEY = {0209290},
AUTHOR = {Ono, Takashi},
TITLE = {On {T}amagawa numbers},
BOOKTITLE = {Algebraic {G}roups and {D}iscontinuous {S}ubgroups},
VENUE={{P}roc. {S}ympos. {P}ure {M}ath., {B}oulder, {C}olo., 1965},
SERIES = {Proc. Sympos. Pure Math.},
VOLUME = {9},
PAGES = {122--132},
PUBLISHER = {Amer. Math. Soc.},
YEAR = {1966},
MRCLASS = {14.50},
MRNUMBER = {0209290},
MRREVIEWER = {T. A. Springer},
ZBLNUMBER = {0223.20050},
DOI = {10.1090/pspum/009},
}
• [P] C. Procesi, "The invariant theory of $n\times n$ matrices," Advances in Math., vol. 19, iss. 3, pp. 306-381, 1976.
@article {P, MRKEY = {0419491},
AUTHOR = {Procesi, C.},
TITLE = {The invariant theory of {$n\times n$} matrices},
VOLUME = {19},
YEAR = {1976},
NUMBER = {3},
PAGES = {306--381},
ISSN = {0001-8708},
MRCLASS = {15A72 (14L99 20G20)},
MRNUMBER = {0419491},
MRREVIEWER = {M. Nagata},
ZBLNUMBER = {0331.15021},
DOI = {10.1016/0001-8708(76)90027-X},
}
• [S] . J-P. Serre, "Cohomologie des groupes discrets," in Prospects in Mathematics, Princeton, N.J.: Princeton Univ. Press, 1971, vol. 70, pp. 77-169.
@incollection {S, MRKEY = {0385006},
AUTHOR = {Serre, {\relax J-P}},
TITLE = {Cohomologie des groupes discrets},
BOOKTITLE = {Prospects in Mathematics},
VENUE={{P}roc. {S}ympos., {P}rinceton {U}niv., {P}rinceton, {N}.{J}., 1970},
PAGES = {77--169},
SERIES={Ann. of Math. Studies},
VOLUME={70},
PUBLISHER = {Princeton Univ. Press},
YEAR = {1971},
MRCLASS = {22E40 (12A70 20G10 32N99)},
MRNUMBER = {0385006},
MRREVIEWER = {H. Bass},
ZBLNUMBER = {0235.22020},
}
• [bdkv] , Bernstein, J. N., Deligne, P., Kazhdan, D., and Vigneras, M. -F., Eds., Paris: Hermann, 1984.
@book {bdkv, MRKEY = {0771671},
EDITOR = {Bernstein, J. N. and Deligne, P. and Kazhdan, D. and Vigneras, M.-F.},
BOOK = {Representations of Reductive Groups over a Local Field},
SERIES = {Travaux en Cours},
PUBLISHER = {Hermann},
YEAR = {1984},
MRCLASS = {22E50},
MRNUMBER = {0771670},
ZBLNUMBER={0544.00007},
MRREVIEWER = {Fran{ç}ois Rodier},
ZBLNUMBER = {0599.22016},
}
• [f1] Y. Z. Flicker, "Rigidity for automorphic forms," J. Analyse Math., vol. 49, pp. 135-202, 1987.
@article {f1, MRKEY = {0928510},
AUTHOR = {Flicker, Yuval Z.},
TITLE = {Rigidity for automorphic forms},
JOURNAL = {J. Analyse Math.},
FJOURNAL = {Journal d'Analyse Mathématique},
VOLUME = {49},
YEAR = {1987},
PAGES = {135--202},
ISSN = {0021-7670},
CODEN = {JOAMAV},
MRCLASS = {11F70 (22E50 22E55)},
MRNUMBER = {0928510},
MRREVIEWER = {David Manderscheid},
DOI = {10.1007/BF02792895},
ZBLNUMBER = {0656.10024},
}
• [f2] Y. Z. Flicker, "Transfer of orbital integrals and division algebras," J. Ramanujan Math. Soc., vol. 5, iss. 2, pp. 107-121, 1990.
@article {f2, MRKEY = {1092616},
AUTHOR = {Flicker, Yuval Z.},
TITLE = {Transfer of orbital integrals and division algebras},
JOURNAL = {J. Ramanujan Math. Soc.},
FJOURNAL = {Journal of the Ramanujan Mathematical Society},
VOLUME = {5},
YEAR = {1990},
NUMBER = {2},
PAGES = {107--121},
ISSN = {0970-1249},
MRCLASS = {11F70 (11F72 11R54 22E40)},
MRNUMBER = {1092616},
MRREVIEWER = {David Joyner},
ZBLNUMBER = {0722.11028},
}
• [fk] Y. Z. Flicker and D. A. Kazhdan, "A simple trace formula," J. Analyse Math., vol. 50, pp. 189-200, 1988.
@article {fk, MRKEY = {0942828},
AUTHOR = {Flicker, Yuval Z. and Kazhdan, David A.},
TITLE = {A simple trace formula},
JOURNAL = {J. Analyse Math.},
FJOURNAL = {Journal d'Analyse Mathématique},
VOLUME = {50},
YEAR = {1988},
PAGES = {189--200},
ISSN = {0021-7670},
CODEN = {JOAMAV},
MRCLASS = {11F72 (11R39 22E55)},
MRNUMBER = {0942828},
DOI = {10.1007/BF02796122},
ZBLNUMBER = {0666.10018},
}
• [laf] L. Lafforgue, Chtoucas de Drinfeld et Conjecture de Ramanujan-Petersson, , 1997, vol. 243.
@book {laf, MRKEY = {1600006},
AUTHOR = {Lafforgue, Laurent},
TITLE = {Chtoucas de {D}rinfeld et Conjecture de {R}amanujan-{P}etersson},
SERIES = {Astérisque},
FJOURNAL = {Astérisque},
VOLUME = {243},
YEAR = {1997},
PAGES = {ii+329},
ISSN = {0303-1179},
MRCLASS = {11G09 (11R39)},
MRNUMBER = {1600006},
MRREVIEWER = {David Goss},
ZBLNUMBER = {0899.11026},
URL = {http://smf4.emath.fr/Publications/Asterisque/1997/243/html/smf_ast_243.html},
}
• [lau] G. Laumon, Cohomology of Drinfeld Modular Varieties. Part I, Cambridge: Cambridge Univ. Press, 1996, vol. 41.
@book {lau, MRKEY = {1381898},
AUTHOR = {Laumon, G{é}rard},
TITLE = {Cohomology of {D}rinfeld Modular Varieties. {P}art {I}},
SERIES = {Cambridge Stud. Adv. Math.},
VOLUME = {41},
PUBLISHER = {Cambridge Univ. Press},
YEAR = {1996},
PAGES = {xiv+344},
ISBN = {0-521-47060-9},
MRCLASS = {11F70 (11F72 11G09 14G35 22E55)},
MRNUMBER = {1381898},
MRREVIEWER = {Jonathan David Rogawski},
ZBLNUMBER = {0837.14018},
}
• [le] B. Lemaire, "Intégrabilité locale des caractères-distributions de ${ GL}_N(F)$ où $F$ est un corps local non-archimédien de caractéristique quelconque," Compositio Math., vol. 100, iss. 1, pp. 41-75, 1996.
@article {le, MRKEY = {1377408},
AUTHOR = {Lemaire, Bertrand},
TITLE = {Intégrabilité locale des caractères-distributions de {${\rm GL}\sb N(F)$} où {$F$} est un corps local non-archimédien de caractéristique quelconque},
JOURNAL = {Compositio Math.},
FJOURNAL = {Compositio Mathematica},
VOLUME = {100},
YEAR = {1996},
NUMBER = {1},
PAGES = {41--75},
ISSN = {0010-437X},
CODEN = {CMPMAF},
MRCLASS = {22E50},
MRNUMBER = {1377408},
MRREVIEWER = {David Manderscheid},
URL = {http://www.numdam.org/item?id=CM_1996__100_1_41_0},
ZBLNUMBER = {0856.22024},
}

## Authors

Pierre Deligne

Institute for Advanced Study, Princeton, NJ

Yuval Z. Flicker

Ariel University, Ariel, Israel and
The Ohio State University, Columbus, OH