Related papers: Subspace Arrangements over Finite Fields: Cohomolo…

In this paper, we give an overview of the various general methods in computing the zeta function of an algebraic variety defined over a finite field, with an emphasis on computing the reduction modulo $p^m$ of the zeta function of a…

We present a deterministic polynomial time algorithm for computing the zeta function of an arbitrary variety of fixed dimension over a finite field of small characteristic. One consequence of this result is an efficient method for computing…

We study Frobenius eigenvalues of the compactly supported rigid cohomology of a variety defined over a finite field of $q$ elements via Dwork's method. A couple of arithmetic consequences will be drawn from this study. As the first…

We introduce certain lattice sums associated with hyperplane arrangements, which are (multiple) sums running over integers, and can be regarded as generalizations of certain linear combinations of zeta-functions of root systems. We also…

The number of linear independent algebraic relations among elementary symmetric polynomial functions over finite fields is computed. An algorithm able to find all such relations is described. It is proved that the basis of the ideal of…

We propose a refinement of the Betti numbers and of the homology with coefficients in a field of a compact ANR in the presence of a continuous real valued function. The refinement of Betti numbers consists of finite configurations of points…

We survey some recent applications of p-adic cohomology to machine computation of zeta functions of algebraic varieties over finite fields of small characteristic, and suggest some new avenues for further exploration.

We give an explicit formula of the coefficients of the Zeta-Function's L-polynomial for algebraic function fields over finite constant fields. Thus, we deduce an expression of the class number of algebraic function fields defined over…

We study ``forms of the Fermat equation'' over an arbitrary field $k$, i.e. homogenous equations of degree $m$ in $n$ unknowns that can be transformed into the Fermat equation $X_1^m+...+X_n^m$ by a suitable linear change of variables over…

The aim of this article is to illustrate, on the example of Dwork hypersurfaces, how the study of the representation of a finite group of automorphisms of a hypersurface in its etale cohomology allows to factor its zeta function.

We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective…

We describe an algorithm to compute the zeta-function of a proper, smooth curve over a finite field, when the curve is given together with some auxiliary data. Our method is based on computing the matrix of the action of a semi-linear…

The original article expressed the special values of the zeta function of a variety over a finite field in terms of the $\hat{Z}$-cohomology of the variety. As the article was being completed, Lichtenbaum conjectured the existence of…

The eigenvalues of Frobenius acting on $\ell$-adic cohomology of a complete intersection over a finite field have the divisibility predicted by the theorem of Ax and Katz. We have corrected some unforgivable typos.

Using the cohomology theory of Dwork, as developed by Adolphson and Sperber, we exhibit a deterministic algorithm to compute the zeta function of a nondegenerate hypersurface defined over a finite field. This algorithm is particularly…

We compute a basis for the p-adic Dwork cohomology of a smooth complete intersection in projective space over a finite field and use it to give p-adic estimates for the action of Frobenius on this cohomology. In particular, we prove that…

Let $L$ be a solvable Lie algebra of dimension less than or equal to 4 over finite fields. We compute and record, in explicit symbolic form, the zeta functions enumerating subalgebras or ideals of $L$, and study their properties. We also…

We use stratified Morse theory to construct a complex to compute the cohomology of the complement of a hyperplane arrangement with coefficients in a complex rank one local system. The linearization of this complex is shown to be the…

Let G be a reductive algebraic group over a field of prime characteristic. One can associate to G (or subgroups thereof) its Lie algebra, its Frobenius kernels, and the finite Chevalley group of points over a finite field. The…

We study zeta functions enumerating submodules invariant under a given endomorphism of a finitely generated module over the ring of ($S$-)integers of a number field. In particular, we compute explicit formulae involving Dedekind zeta…