Rationalité de valeurs spéciales de certaines fonctions L
Dans l’exposé Bourbaki 409, Katz conjecture la méromorphie -adique de la fonction attachée à une variété lisse sur un corps fini () et à un -cristal sur . Si est propre et lisse sur nous prouvons que est rationnelle et fournie par l’expression habituelle utilisant l’action du Frobenius sur la cohomologie cristalline à coefficients dans ; ce résultat n’était connu, via les “conjectures de Weil”, que pour des -cristaux unités particuliers: ceux provenant d’une représentation de...
Dans un travail précédent nous avons défini et étudié la fonction zêta associée à une représentation d’une algèbre de Jordan euclidienne déployée et à un réseau dans l’espace de la représentation. Nous avons démontré la convergence dans un demi-plan, établi l’existence d’un prolongement méromorphe et d’une équation fonctionnelle scalaire. Cette fonction est une généralisation de la fonction zêta de Koecher; elle est donnée dans son domaine de convergence, par une série qui somme sur certains éléments...
I discuss some algorithms for computing the zeta function of an algebraic variety over a finite field which are based upon rigid cohomology. Two distinct approaches are illustrated with a worked example.