We develop efficient methods for deterministic computations with semi-algebraic sets and apply them to the problem of counting points on curves and Abelian varieties over finite fields. For Abelian varieties of dimension g in projective N space over Fq, we improve Pila's result and show that the pro
Equivariant Poincaré Polynomials and Counting Points over Finite Fields
✍ Scribed by M. Kisin; G.I. Lehrer
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 139 KB
- Volume
- 247
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
✦ Synopsis
Suppose a finite group acts as a group of automorphisms of a smooth complex algebraic variety which is defined over a number field. We show how, in certain circumstances, an equivariant comparison theorem in l-adic cohomology may be used to convert the computation of the graded character of the induced action on cohomology into questions about numbers of rational points of varieties over finite fields. This is carried through in three applications: first, for the symmetric group acting on the moduli space of n points on a genus zero curve; second, for a unitary reflection group acting on the complement of its reflecting hyperplanes; and third, for the symmetric group action on the space of configurations of points in any smooth variety which satisfies certain strong purity conditions.
📜 SIMILAR VOLUMES
Connections between q-rook polynomials and matrices over finite fields are exploited to derive a new statistic for Garsia and Remmel's q-hit polynomial. Both this new statistic mat and another statistic for the q-hit polynomial recently introduced by Dworkin are shown to induce different multiset Ma
Let k=GF(q) be the finite field of order q. Let f 1 (x), f 2 (x) # k[x] be monic relatively prime polynomials satisfying n=deg f 1 >deg f 2 0 and f 1 (x)Âf 2 (x){ g 1 (x p )Âg 2 (x p ) for any g 1 (x), g 2 (x) # k[x]. Write Q(x)= f 1 (x)+tf 2 (x) and let K be the splitting field of Q(x) over k(t). L
We establish a correspondence between a class of Kummer extensions of the rational function "eld and con"gurations of hyperplanes in an a$ne space. Using this correspondence, we obtain explicit curves over "nite "elds with many rational points. Some of our examples almost attain the OesterleH bound.
Let G be PS¸L(q), PSº L (q), Sp L (q) or PSp L (q), where q is a power of the prime p. Using results on the numbers of special squarefree polynomials over finite fields, we describe and count the conjugacy classes of p-elements with abelian centralizers in G. Similar results are obtained for the sem