Related papers: Bertini theorems over finite fields

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$,…

We give a proof the monodromy conjecture relating the poles of motivic zeta functions with roots of b-functions for isolated quasihomogeneous hypersurfaces, and more generally for semi-quasihomogeneous hypersurfaces. We also give a strange…

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…

We study intersection theory for differential algebraic varieties. Particularly, we study families of differential hypersurface sections of arbitrary affine differential algebraic varieties over a differential field. We prove the…

We give a complete description of the cone of Betti diagrams over a standard graded hypersurface ring of the form k[x,y]/<q>, where q is a homogeneous quadric. We also provide a finite algorithm for decomposing Betti diagrams, including…

We show the existence of good hyperplane sections for schemes over discrete valuation rings with good or (quasi) semistable reduction, and the existence of good Lefschetz pencils for schemes with good reduction or ordinary quadratic…

We study the set of common $\mathbb{F}_q$-rational solutions of "smooth" systems of multivariate symmetric polynomials with coefficients in a finite field $\mathbb{F}_q$. We show that, under certain conditions, the set of common solutions…

Let $P_1,\dots,P_m\in\mathbb{Z}[y]$ be any linearly independent polynomials with zero constant term. We show that there exists a $\gamma>0$ such that any subset of $\mathbb{F}_q$ of size at least $q^{1-\gamma}$ contains a nontrivial…

Fix a variety X with a transitive (left) action by an algebraic group G. Let E and F be coherent sheaves on X. We prove that, for elements g in a dense open subset of G, the sheaf Tor_i^X(E, g F) vanishes for all i > 0. When E and F are…

The classical Bertini theorem on generic intersection of an algebraic set with hyperplanes states the following: \emph{Let X be a nonsingular closed subvariety of $\mathbb{P}^n_k$, where $k$ is an algebraically closed field. Then there…

Let $\mathbb{F}_q$ be a finite field with $q$ elements, $\psi$ a non-zero element of $\mathbb{F}_q$, and $n$ an integer $\geq 3$ prime to $q$. The aim of this article is to show that the zeta function of the projective variety over…

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…

Let $f_1,\dots,f_m$ be polynomials in $n$ variables with coefficients in a finite field $\mathbb{F}_q$. We estimate the number of points $\underline{x}$ in $\mathbb{F}_q^n$ such that each value $f_i(\underline{x})$ is a nonzero square in…

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $X\subseteq\mathbb{P}^n_k$ be a quasi-projective variety that is $F$-rational and $F$-pure. We prove that if $H \subseteq \mathbb{P}^n_k$ is a general hyperplane,…

In the present paper we give a simple mathematical foundation for describing the zeros of the Selberg zeta functions $Z_X$ for certain very symmetric infinite area surfaces $X$. For definiteness, we consider the case of three funneled…

We prove a generic flatness result for the cohomology of thickenings of a projective scheme that is smooth over a Noetherian domain containing a field of characteristic zero. Our study is motivated, in part, by a classical question in…

There exists a function f: N -> N such that for every positive integer d, every quasi-finite field K and every projective hypersurface X of degree d and dimension at least f(d), the set X(K) is non-empty. This is a special case of a more…

We establish an effective version of Schmidt's subspace theorem on a smooth projective variety $\mathcal{X}$ over function fields of characteristic zero for hypersurfaces located in m-subgeneral position with respect to $\mathcal{X}$. Our…

Quasi-homogeneous surfaces, or Gizatullin surfaces, are normal affine surfaces such that there exists an open orbit of the automorphism group with a finite complement. If the action of the automorphism group is transitive, the surface is…

The aim of this article is to prove that, under certain conditions, an affine flat normal scheme that is of finite type over a local Dedekind scheme in mixed characteristic admits infinitely many normal effective Cartier divisors. For the…