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] Go to document 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] Go to document 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] Go to document 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] Go to document 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},
      ADDRESS = {Boston, MA},
      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] Go to document 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] Go to document 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.},
      ADDRESS = {Providence, R.I.},
      YEAR = {1966},
      MRCLASS = {14.50},
      MRNUMBER = {0209290},
      MRREVIEWER = {T. A. Springer},
      ZBLNUMBER = {0223.20050},
      DOI = {10.1090/pspum/009},
     }
  • [P] Go to document 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},
      JOURNAL = {Advances in Math.},
      FJOURNAL = {Advances in Mathematics},
      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},
      ADDRESS = {Princeton, N.J.},
      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},
      ADDRESS = {Paris},
      YEAR = {1984},
      MRCLASS = {22E50},
      MRNUMBER = {0771670},
      ZBLNUMBER={0544.00007},
      MRREVIEWER = {Fran{ç}ois Rodier},
      ZBLNUMBER = {0599.22016},
     }
  • [f1] Go to document 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] Go to document 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] Go to document 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},
      ADDRESS = {Cambridge},
      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] Go to document 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