Rational points over finite fields for regular models of algebraic varieties of Hodge type ≥1\geq 1

Let $R$ be a discrete valuation ring of mixed characteristics $(0,p)$, with finite residue field $k$ and fraction field $K$, let $k'$ be a finite extension of $k$, and let $X$ be a regular, proper and flat $R$-scheme, with generic fibre $X_K$ and special fibre $X_k$. Assume that $X_K$ is geometrically connected and of Hodge type $\geq 1$ in positive degrees. Then we show that the number of $k'$-rational points of $X$ satisfies the congruence $|X(k')| \equiv 1$ mod $|k'|$. Thanks to \cite{BBE07}, we deduce such congruences from a vanishing theorem for the Witt cohomology groups H^q(X_k, W\sO_{X_k,\Q}), for $q > 0$. In our proof of this last result, a key step is the construction of a trace morphism between the Witt cohomologies of the special fibres of two flat regular $R$-schemes $X$ and $Y$ of the same dimension, defined by a surjective projective morphism $f : Y \to X$.Comment: 85 pages. Refereed version. Signs have been modified in some definition

Resonance webs of hyperplane arrangements

Each irreducible component of the first resonance variety of a hyperplane arrangement naturally determines a codimension one foliation on the ambient space. The superposition of these foliations define what we call the resonance web of the arrangement. In this paper we initiate the study of these objects with emphasis on their spaces of abelian relations.Comment: (v2) Minor changes following suggestions of the referee. To appear in the Proceedings of the 2nd MSJ-SI on Arrangements of Hyperplane

Galois invariant smoothness basis

This text answers a question raised by Joux and the second author about the computation of discrete logarithms in the multiplicative group of finite fields. Given a finite residue field \bK, one looks for a smoothness basis for \bK^* that is left invariant by automorphisms of \bK. For a broad class of finite fields, we manage to construct models that allow such a smoothness basis. This work aims at accelerating discrete logarithm computations in such fields. We treat the cases of codimension one (the linear sieve) and codimension two (the function field sieve)