Related papers: Sharp Bertini theorem for plane curves over finite…

We prove that if $S$ is a smooth reflexive surface in $\mathbb{P}^3$ defined over a finite field $\mathbb{F}_q$, then there exists an $\mathbb{F}_q$-line meeting $S$ transversely provided that $q\geq c\operatorname{deg}(S)$, where…

We study the asymptotic proportion of smooth plane curves over a finite field $\mathbb{F}_q$ which are tangent to every line defined over $\mathbb{F}_q$. This partially answers a question raised by Charles Favre. Our techniques include…

Call a curve $C \subset \mathbb{P}^2$ defined over $\mathbb{F}_q$ transverse-free if every line over $\mathbb{F}_q$ intersects $C$ at some closed point with multiplicity at least 2. In 2004, Poonen used a notion of density to treat Bertini…

Let $X$ be a smooth irreducible projective variety of dimension at least 2 over an algebraically closed field of characteristic 0 in the projective space ${\mathbb{P}}^n$. Bertini's Theorem states that a general hyperplane $H$ intersects…

Given a geometrically irreducible subscheme X in P^n over F_q of dimension at least 2, we prove that the fraction of degree d hypersurfaces H such that the intersection of H and X is geometrically irreducible tends to 1 as d tends to…

We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…

Our concern is a nonsingular plane curve defined over a finite field of q elements which includes all the rational points of the projective plane over the field. The possible degree of such a curve is at least q+2. We prove that nonsingular…

The purpose of this note is to provide some applications of Faltings' recent proof of S. Lang's conjecture to smooth plane curves. Let $C$ be a smooth plane curve defined by an equation of degree $d$ with integral coefficients. We show that…

We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively…

Let X be a smooth quasiprojective subscheme of P^n of dimension m >= 0 over F_q. Then there exist homogeneous polynomials f over F_q for which the intersection of X and the hypersurface f=0 is smooth. In fact, the set of such f has a…

A plane curve $C$ in $\mathbb{P}^2$ defined over $\mathbb{F}_q$ is called plane-filling if $C$ contains every $\mathbb{F}_q$-point of $\mathbb{P}^2$. Homma and Kim, building on the work of Tallini, proved that the minimum degree of a smooth…

We study the question of finding smooth hyperplane sections to a pencil of hypersurfaces over finite fields.

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 show how a type of multi-Frobenius nonclassicality of a curve defined over a finite field $\mathbb{F}_q$ of characteristic $p$ reflects on the geometry of its strict dual curve. In particular, in such cases we may describe all the…

A basis of the ideal of the complement of a linear subspace in a projective space over a finite field is given. As an application, the second largest number of points of plane curves of degree $d$ over the finite field of $q$ elements is…

In this short note we prove a version of Bertini's theorem for unipotent rigid fundamental groups, stating that for every smooth, projective, geometrically connected variety $X$ over an infinite perfect field $k$ of characteristic $p>0$,…

For a non-degenerate irreducible curve $C$ of degree $d$ in $\mathbb{P}^3$ over $\mathbb{F}_q$, we prove that the number $N_q(C)$ of $\mathbb{F}_q$-rational points of $C$ satisfies the inequality $N_q(C) \leq (d-2)q+1$. Our result improves…

Ballico proved that a smooth projective variety $X$ of degree $d$ over a finite field of $q$ elements admits a smooth hyperplane section if $q\geq d(d-1)^{\dim X}$. In this paper, we refine this criterion for higher codimensional linear…

We establish an effective Bertini-type theorem for hypersurfaces $X_f \colon f = 0$ defined over a finite field $k$ for which $f$ has no linear factors over the algebraic closure $\overline{k}$. Given a line $L$ defined over $k$ and a…

In recent years, many useful applications of the polynomial method have emerged in finite geometry. Indeed, algebraic curves, especially those defined by R\'edei-type polynomials, are powerful in studying blocking sets. In this paper, we…