We study plane curves over finite fields whose tangent lines at smooth $\mathbb {F}_q$-points together cover all the points of $\mathbb {P}^2(\mathbb {F}_q)$.

We improve to nearly optimal the known asymptotic and explicit bounds for the number of $\mathbb {F}_q$ -rational points on a geometrically irreducible hypersurface over a (large) finite field. The proof involves a Bertini-type probabilistic combinatorial technique. Namely, we slice the given hypersurface with a random plane.

We study pencils of hypersurfaces over finite fields $\mathbb {F}_q$ such that each of the $q+1$ members defined over $\mathbb {F}_q$ is smooth.

We give a corrected version of our previous lower bound on the value set of binomials (Canad. Math. Bull., v.63, 2020, 187–196). The other results are not affected.

We analyse the behaviour of the Euclidean algorithm applied to pairs (g,f) of univariate nonconstant polynomials over a finite field $\mathbb{F}_{q}$ of q elements when the highest degree polynomial g is fixed. Considering all the elements f of fixed degree, we establish asymptotically optimal bounds in terms of q for the number of elements f that are relatively prime with g and for the average degree of $\gcd(g,f)$ . We also exhibit asymptotically optimal bounds for the average-case complexity of the Euclidean algorithm applied to pairs (g,f) as above.

We provide an easy method for the construction of characteristic polynomials of simple ordinary abelian varieties ${{\mathcal A}}$ of dimension g over a finite field ${{\mathbb F}}_q$ , when $q\ge 4$ and $2g=\rho ^{b-1}(\rho -1)$ , for some prime $\rho \ge 5$ with $b\ge 1$ . Moreover, we show that ${{\mathcal A}}$ is absolutely simple if $b=1$ and g is prime, but ${{\mathcal A}}$ is not absolutely simple for any prime $\rho \ge 5$ with $b>1$ .

We show, under some natural restrictions, that some semigroup orbits of polynomials cannot contain too many elements of small multiplicative order modulo a large prime $p$, extending previous work of Shparlinski [‘Multiplicative orders in orbits of polynomials over finite fields’, Glasg. Math. J.60(2) (2018), 487–493].

We obtain a new lower bound on the size of the value set $\mathscr{V}(f)=f(\mathbb{F}_{p})$ of a sparse polynomial $f\in \mathbb{F}_{p}[X]$ over a finite field of $p$ elements when $p$ is prime. This bound is uniform with respect to the degree and depends on some natural arithmetic properties of the degrees of the monomial terms of $f$ and the number of these terms. Our result is stronger than those that can be extracted from the bounds on multiplicities of individual values in $\mathscr{V}(f)$.

We prove a direct image theorem stating that the direct image of a Galois formula by a morphism of difference schemes is equivalent to a Galois formula over fields with powers of Frobenius. As a consequence, we obtain an effective quantifier elimination procedure and a precise algebraic–geometric description of definable sets over fields with Frobenii in terms of twisted Galois formulas associated with finite Galois covers of difference schemes.

We give upper and lower bounds for the number of rational points on Prym varieties over finite fields. Moreover, we determine the exact maximum and minimum number of rational points on Prym varieties of dimension 2.

We prove the integral Tate conjecture for cycles of codimension $2$ on smooth cubic fourfolds over an algebraic closure of a field finitely generated over its prime subfield and of characteristic different from $2$ or $3$. The proof relies on the Tate conjecture with rational coefficients, proved in that setting by the first author, and on an argument of Voisin coming from complex geometry.

We prove that for every ordinary genus-2 curve $X$ over a finite field $\kappa$ of characteristic 2 with $\text{Aut}\left( X/\kappa \right)\,=\,\mathbb{Z}/2\mathbb{Z}\,\times \,{{S}_{3}}$ there exist $\text{SL}\left( 2,\,\kappa \left[\!\left[ s \right]\!\right] \right)$-representations of ${{\pi }_{1}}\left( X \right)$ such that the image of ${{\pi }_{1}}\left( \overline{X} \right)$ is infinite. This result produces a family of examples similar to Y. Laszlo’s counterexample to A. J. de Jong’s question regarding the finiteness of the geometric monodromy of representations of the fundamental group.

An improved estimate is provided for the number of ${{\text{F}}_{q}}$-rational points on a geometrically irreducible, projective, cubic hypersurface that is not equal to a cone.

Let $ \mathcal{X} $ be a curve over ${ \mathbb{F} }_{q} $ and let $N( \mathcal{X} )$, $g( \mathcal{X} )$ be its number of rational points and genus respectively. The Ihara constant $A(q)$ is defined by $A(q)= {\mathrm{lim~sup} }_{g( \mathcal{X} )\rightarrow \infty } N( \mathcal{X} )/ g( \mathcal{X} )$. In this paper, we employ a variant of Serre’s class field tower method to obtain an improvement of the best known lower bounds on $A(2)$ and $A(3)$.

We show that the automorphism group of Drinfeld’s half-space over a finite field is the projective linear group of the underlying vector space. The proof of this result uses analytic geometry in the sense of Berkovich over the finite field equipped with the trivial valuation. We also take into account extensions of the base field.

Let X be a smooth projective variety over a finite field . We discuss the unramified cohomology group H3nr(X, ℚ/ℤ(2)). Several conjectures put together imply that this group is finite. For certain classes of threefolds, H3nr(X, ℚ/ℤ(2)) actually vanishes. It is an open question whether this holds for arbitrary threefolds. For a threefold X equipped with a fibration onto a curve C, the generic fibre of which is a smooth projective surface V over the global field (C), the vanishing of H3nr(X, ℚ/ℤ(2)) together with the Tate conjecture for divisors on X implies a local-global principle of Brauer–Manin type for the Chow group of zero-cycles on V. This sheds new light on work started thirty years ago.

Given $f(x,y)\in \mathbb Z[x,y]$ with no common components with $x^a-y^b$ and $x^ay^b-1$, we prove that for $p$ sufficiently large, with $C(f)$ exceptions, the solutions $(x,y)\in \overline {\mathbb F}_p\times \overline {\mathbb F}_p$ of $f(x,y)=0$ satisfy $ {\rm ord}(x)+{\rm ord}(y)\gt c (\log p/\log \log p)^{1/2},$ where $c$ is a constant and ${\rm ord}(r)$ is the order of $r$ in the multiplicative group $\overline {\mathbb F}_p^*$. Moreover, for most $p\lt N$, $N$ being a large number, we prove that, with $C(f)$ exceptions, ${\rm ord}(x)+{\rm ord}(y)\gt p^{1/4+\epsilon (p)},$ where $\epsilon (p)$ is an arbitrary function tending to $0$ when $p$ goes to $\infty $.

We study the elliptic curve discrete logarithm problem over finite extension fields. We show that for any sequences of prime powers (qi)i∈ℕ and natural numbers (ni)i∈ℕ with ni⟶∞ and ni/log (qi)⟶0 for i⟶∞, the elliptic curve discrete logarithm problem restricted to curves over the fields 𝔽qnii can be solved in subexponential expected time (qnii)o(1). We also show that there exists a sequence of prime powers (qi)i∈ℕ such that the problem restricted to curves over 𝔽qi can be solved in an expected time of e𝒪(log (qi)2/3).

Desingularized fiber products of semi-stable elliptic surfaces with Hetale3=0 are classified. Such varieties may play a role in the study of supersingular threefolds, of the deformation theory of varieties with trivial canonical bundle, and of arithmetic degenerations of rigid Calabi–Yau threefolds.

We determine which isogeny classes of supersingular abelian surfaces over a finite field $k$ of characteristic 2 contain jacobians. We deal with this problem in a direct way by computing explicitly the zeta function of all supersingular curves of genus 2. Our procedure is constructive, so that we are able to exhibit curves with prescribed zeta function and find formulas for the number of curves, up to $k$-isomorphism, leading to the same zeta function.