Abstract
Let G be a complex linear algebraic group and ρ:G → GL(V) a finite dimensional rational representation. Assume that G is connected and reductive, and that V has an open G-orbit. Let f in C[V] be a non-zero relative invariant with character φ ∈ Hom (G, C×), meaning that f ^ ρ (g) =φ (g) f for all g in G. Choose a non-zero relative invariant fv in C[Vv], with character φ-1, for the dual representation ρv:G → GL(Vv). Roughly, the fundamental theorem of the theory of prehomogeneous vector spaces due to M. Sato says that the Fourier transform of |f|s equals |fv>|>-s up to some factors. The purpose of the present paper is to study a finite field analogue of Sato's theorem and to give a completely explicit description of the Fourier transform assuming that the characteristic of the base field \(\mathbb{F}_q \) is large enough. Now |f|s is replaced by χ (f), with χ in Hom (\(\mathbb{F}\) ×q , ℂ×), and the factors involve Gauss sums, the Bernstein–Sato polynomial b(s) of f, and the parity of the split rank of the isotropy group at vv>∈ Vv(\(\mathbb{F}_q \)). We also express this parity in terms of the quadratic residue of the discriminant of the Hessian of log fv (vv). Moreover we prove a conjecture of N. Kawanaka on the number of integer roots of b(s).
Similar content being viewed by others
References
Anderson, G. W.: Local factorization of determinants of twisted DR cohomology groups, Compositio Math.83 (1992), 69–105.
Baumert, L. D. and McEliece, R. J.:Weights of irreducible cyclic codes. Inform. and Control20 (1972), 158–172.
Beilinson, A., Bernstein, J. and Deligne, P.: Faisceaux pervers, Astérisque100 (1983).
Berndt, B. C. and Evans, R. J.: Determination of Gauss sums, Bull. Amer. Math. Soc.5 (1981), 107–129.
Borel, A. et al.: Algebraic D-modules, Perspectives in Math.2, Academic Press, Inc., 1987.
Borel, A.: Linear algebraic groups (second edition), Graduate Texts in Math.126 (1991), SpringerVerlag.
Brylinski, J. L.: Transformations canoniques, dualité projective, théorie de Lefschetz, transformations de Fourier et sommes trigonométriques, Astérisque140–141 (1986), 3–134.
Brylinski, J. L., Malgrange, B. and Verdier, J. L.: Transformation de Fourier géométrique I, C. R. Acad. Sci. Paris 297(1983), 55–58.
Chen, Z.: Fonction zêta associée à un espace préhomogène et sommes de Gauss, preprint d'IRMA, Univ. de Strasbourg (1981).
Deligne, P.: Le formalisme des cycles évanescents, SGA7, exposé 13, Lecture Notes in Math.340 (1973), 82–115.
Deligne, P.: La formule de Picard Lefschetz, SGA7, exposé 15, Lecture Notes in Math.340 (1973), 165–196.
Deligne, P.: La conjecture de Weil II, Publ. Math. IHES52 (1980), 137–252.
Deligne, P.: Applications de la formule des traces aux sommes trigonométriques, SGA41/2;, Lecture Notes in Math.569 (1977), 168–232.
Deligne, P.: Les constantes des équations fonctionelles des fonctions L, in Modular functions of one variable II, Lecture Notes in Math.349 (1972), 501–597.
Deligne, P.: Cohomologie étale: les points de départ, SGA41/2;, Lecture Notes in Math.569 (1977), 4–75.
Denef, J. and Loeser, F.: Détermination géométrique des sommes de SelbergEvans, Bull. Soc. Math. France122 (1994), 101–119.
Denef, J. and Loeser, F.: Character Sums Associated to Finite Coxeter Groups, to appear in Trans. AMS.
Griffiths, P., Harris, J.: Principles of Algebraic Geometry, John Wiley and Sons (1978).
Gyoja, A.: Theory of prehomogeneous vector spaces without regularity condition, Publ. RIMS27 (1991), 861–922.
Gyoja, A.: Lefschetz principle in the theory of prehomogeneous vector spaces, Advanced Studies in Pure Math.21 (1992), 87–99.
Gyoja, A.: Theory of prehomogeneous vector spaces II, a supplement, Publ. RIMS 33 (1997), 33–57.
Gyoja, A.: Mixed Hodge theory and prehomogeneous vector spaces, RIMS Kokyuroku 999 (1997), 116–132.
Gyoja, A.: Subvarieties of prehomogeneous vector spaces invariant under parabolic subgroups, and their applications to character sums, preprint.
Gyoja, A. and Kawanaka, N.: Gauss sums of prehomogeneous vector spaces, Proc. Japan Acad.61 (1985), 19–22.
Hironaka, H.: Resolution of singularities of an algebraic variety over a field of characteristic zero, I,II, Ann. of Math.79 (1964), 109–326.
Hotta, R. and Kashiwara, M.: The invariant holonomic systems on a semi-simple Lie algebra, Invent. Math.75 (1984), 327–358.
Igusa, J. I.: Some results on p-adic complex powers, Amer. J. Math.106 (1984), 1013–1032.
Igusa, J. I.: On functional equations of complex powers, Invent. Math.85 (1986), 1–29.
Kashiwara, M.: b-Functions and holonomic systems, Invent. Math.38 (1976), 33–53.
Kashiwara, M.: Microlocal calculus and Fourier transforms of relative invariants of prehomogeneous vector spaces, (Notes by T. Miwa in Japanese.) RIMS Kokyuroku 238 (1975), 60–147.
Kashiwara, M., Kimura, T. and Muro, M.: Microlocal calculus of simple holonomic systems and its applications, manuscript.
Kashiwara, M. and Schapira, P.: Sheaves on Manifolds, Grundlehren der Mathematischen Wissenschaften292 (1990), Springer Verlag.
Katz, N. M. and Laumon, G.: Transformation de Fourier et majoration de sommes exponentielles, Publ. Math. IHES62 (1985), 145–202.
Kawanaka, N.: Open Problems in Algebraic Groups, Proc. Katata Conference (1983).
Kawanaka, N.: Generalized Gelfand-Graev representations of exceptional simple algebraic groups over a finite field I, Invent. Math.84 (1986), 575–616.
Kimura, T.: Arithmetic calculus of Fourier transforms by Igusa local zeta functions, Trans. AMS346 (1994), 297–306.
Laumon, G.: Transformation de Fourier, constantes d'équations fonctionelles et conjecture de Weil, Publ. Math. IHES65 (1987), 131–210.
Laumon, G.: Comparaison de caractéristiques d'Euler-Poincaré en cohomologie ladique, C. R. Acad. Sc. Paris292 (1981), 209–212.
Loeser, F.: Arrangements d'hyperplans et sommes de Gauss, Ann. Sci. Ecole Norm. Sup.24 (1991), 379–400.
Loeser, F. and Sabbah, C.: Equations aux différences finies et déterminations d'intégrales de fonctions multiformes, Comment. Math. Helvetici66 (1991), 458–503.
Saito, T.: ɛ-factor of a tamely ramified sheaf on a variety. Invent. Math.113 (1993), 389–417.
Saito, T.: Jacobi sum Hecke characters, de Rham discriminant and the determinant of adic cohomologies, Journal of Algebraic Geometry3 (1994), 411–434.
Sato, F.: On functional equations of zeta distributions, Adv. Studies in Pure Math.15 (1989), 465–508.
Sato, F.: Zeta functions in several variables associated with prehomogeneous vector spaces I: Functional equations, Tôhoku Math. J.34 (1982), 437–483.
Sato, M.: Theory of prehomogeneous vector spaces, (Notes by T. Shintani in Japanese), Sugaku no Ayumi 15 (1970), 85–157, (A part of this paper is translated into English by M. Muro; Nagoya Math. J.120 (1990), 1–34).
Sato, M., Kashiwara, M. and Kawai, T.: Microfunctions and pseudo-differential equations, Lecture Notes in Math.287 (1973), 265–529.
Sato, M. and Kimura, T.: A classification of irreducible prehomogeneous vector spaces and their relative invariants, Nagoya Math. J.65 (1977), 1–155.
Springer, T. A. and Steinberg, R.: Conjugacy classes, Seminar on algebraic groups and related finite groups, Lecture Notes in Math.131 (1970), Springer.
Stark, H. M.: L-functions and character sums for quadratic forms (I), Acta Arith.14 (1968), 35–50.
Steinberg, R.: Endomorphisms of linear algebraic groups, Memoirs of AMS80 (1968).
Tsao, L.: Exponential sums over finite simple Jordan algebras and finite simple associative algebras, Duke Math. J.42 (1975), 333–345.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Denef, J., Gyoja, A. Character Sums Asociated to Prehomogeneous Vector Spaces. Compositio Mathematica 113, 273–346 (1998). https://doi.org/10.1023/A:1000404921277
Issue Date:
DOI: https://doi.org/10.1023/A:1000404921277