Searcharxiv⌕ Search

arXiv subjects

Gilles Lachaud

Publications and source records attributed to Gilles Lachaud.

8 recordsLinked to original sources
arXiv2017

Hypersurfaces in weighted projective spaces over finite fields with applications to coding theory

We consider the question of determining the maximum number of $\mathbb{F}_q$-rational points that can lie on a hypersurface of a given degree in a weighted projective space over the finite field $\mathbb{F}_q$, or in other words, the maximum number of zeros that a weighted homogeneous polynomial of a given degree can have in the corresponding weighted projective space over $\mathbb{F}_q$. In the case of classical projective spaces, this question has been answered by J.-P. Serre. In the case of weighted projective spaces, we give some conjectures and partial results. Applications to coding theory are included and an appendix providing a brief compendium of results about weighted projective spaces is also included.

math.AG↗
arXiv2015

On the distribution of the trace in the unitary symplectic group and the distribution of Frobenius

The purpose of this article is to study the distribution of the trace on the unitary symplectic group. We recall its relevance to equidistribution results for the eigenvalues of the Frobenius in families of abelian varieties over finite fields, and to the limiting distribution of the number of points of curves. We give four expressions of the trace distribution if g = 2, in terms of special functions, and also an expression of the distribution of the trace in terms of elementary symmetric functions. In an appendix, we prove a formula for the trace of the exterior power of the identity representation.

math.AG↗
arXiv2014

On the Number of Points of Algebraic Sets over Finite Fields

We determine upper bounds on the number of rational points of an affine or projective algebraic set defined over an extension of a finite field by a system of polynomial equations, including the case where the algebraic set is not defined over the finite field by itself. A special attention is given to irreducible but not absolutely irreducible algebraic sets, which satisfy better bounds. We study the case of complete intersections, for which we give a decomposition, coarser than the decomposition in irreducible components, but more directly related to the polynomials defining the algebraic set. We describe families of algebraic sets having the maximum number of rational points in the affine case, and a large number of points in the projective case. Nous déterminons des majorations du nombre de points d'un ensemble algébrique affine ou projectif, défini sur une extension d'un corps fini par un système d'équations polynomiales, y compris dans le cas où l'ensemble algébrique n'est pas défini sur le corps fini lui-même. Une attention particulière est portée aux ensemble algébriques irréductibles mais non absolument irréductibles, pour lesquels nous obtenons de meilleures bornes. Nous étudions le cas des intersections complètes, pour lesquelles nous construisons une décomposition moins fine que la décomposition en composantes irréductibles, mais plus directement liée aux polynômes qui définissent l'ensemble algébrique. Enfin, nous construisons des familles d'ensembles algébriques atteignant le nombre maximum de points rationnels dans le cas affine, et comportant de nombreux points dans le cas projectifs.

math.AG↗
arXiv2009

Zéros des fonctions L et formes toroïdales

An algebraic number field $K$ defines a maximal torus $T$ of the linear group $G = GL_{n}$. Let $χ$ be a character of the idele class group of $K$, satisfying suitable assumptions. The $χ$-toroidal forms are the functions defined on $G(\mathbf{Q}) Z(\mathbf{A}) \backslash G(\mathbf{A})$ such that the Fourier coefficient corresponding to $χ$ with respect to the subgroup induced by $T$ is zero. The Riemann hypothesis is equivalent to certain conditions concerning some spaces of toroidal forms, constructed from Eisenstein series. Furthermore, we define a Hilbert space and a self-adjoint operator on this space, whose spectrum equals the set of zeroes of $L(s, χ)$ on the critical line.

math.NT↗
arXiv2008

Étale cohomology, Lefschetz Theorems and Number of Points of Singular Varieties over Finite Fields

We prove a general inequality for estimating the number of points of arbitrary complete intersections over a finite field. This extends a result of Deligne for nonsingular complete intersections. For normal complete intersections, this inequality generalizes also the classical Lang-Weil inequality. Moreover, we prove the Lang-Weil inequality for affine as well as projective varieties with an explicit description and a bound for the constant appearing therein. We also prove a conjecture of Lang and Weil concerning the Picard varieties and étale cohomology spaces of projective varieties. The general inequality for complete intersections may be viewed as a more precise version of the estimates given by Hooley and Katz. The proof is primarily based on a suitable generalization of the Weak Lefschetz Theorem to singular varieties together with some Bertini-type arguments and the Grothendieck-Lefschetz Trace Formula. We also describe some auxiliary results concerning the étale cohomology spaces and Betti numbers of projective varieties over finite fields and a conjecture along with some partial results concerning the number of points of projective algebraic sets over finite fields.

math.AG↗
arXiv2008

Jacobians among Abelian threefolds: a formula of Klein and a question of Serre

Let k be a field and f be a Siegel modular form of weight h \geq 0 and genus g>1 over k. Using f, we define an invariant of the k-isomorphism class of a principally polarized abelian variety (A,a)/k of dimension g. Moreover when (A,a) is the Jacobian of a smooth plane curve, we show how to associate to f a classical plane invariant. As straightforward consequences of these constructions, when g=3 and k is a subfield of the complex field, we obtain (i) a new proof of a formula of Klein linking the modular form χ_{18} to the square of the discriminant of plane quartics ; (ii) a proof that one can decide when (A,a) is a Jacobian over k by looking whether the value of χ_{18} at (A,a) is a square in k. This answers a question of J.-P. Serre. Finally, we study the possible generalizations of this approach for g>3.

math.NT↗
arXiv2007

On a conjecture of Serre on abelian threefolds

In this article, we give a reformulation of a result from Howe, Leprevost and Poonen on a three dimensional family of abelian threefolds. We also link their result to a conjecture of Serre on a precise form of Torelli theorem for genus 3 curves.

math.NT↗