Suppose we have $r$ linearly independent hypersurfaces of degree $d$ in $\mathbb{P}^m$ (or $\mathbb{A}^m$) defined over a finite field $\mathbb{F}_q$, whose intersection is at most $k$-dimensional. What is the largest possible number of $\mathbb{F}_q$-rational points in the intersection? We conjecture an exact formula for this problem in both the projective and affine settings, assuming $q\geq d+1$. The case $k=m-1$ recovers the Beelen-Datta-Ghorpade conjecture [2] and the case $k=0$ recovers the zero-dimensional conjecture in [15]. Another interesting special case of the conjecture is $k=m-r$, which corresponds to the complete intersection of $r$ degree $d$ polynomials. The case $r=1$, $k=m-1$ was proven by Serre in [16] who showed that if $F$ is a degree $d$ homogeneous polynomial, then $|V(F)(\mathbb{F}_q)|\leq dq^{m-1}+\pi_{m-2}(q)$. We prove the case $r=2$ and $k=m-2$, that is, if $F_1, F_2$ are coprime, degree $d$ homogeneous polynomials, then $|V(F_1,F_2)(\mathbb{F}_q)|\leq d^2q^{m-2}+\pi_{m-3}(q)$.
Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb F_q$, and let $\mathcal F\subsetneq\genfrac{[}{]}{0pt}{}{V}{k}$. The \emph{projective Ore-degree} of $\mathcal F$ is the minimum, over all $k$-subspaces $S\notin\mathcal F$, of the sum of the $\mathcal F$-degrees of the projective points containe...
Meng-Yue Cao, Mei Lu, Xuyang Yan et al.· 0 citations
A classical geometric result says that every nonzero cycle of the mod-$2$ incidence map from $d$-subsets to $(d-1)$-subsets of $[n]$ has support at least $d+1$, with equality attained by the boundary of a simplex on $d+1$ vertices. We prove an analogous result for the subspace lattice of $\mathbb{F}_q^n$, determining t...
Let $K$ be a number field with ring of integers $\mathcal{O}_K$, and let $A,B,C \in \mathcal{O}_K \setminus\{0\}$. Denote by $S_K'$ the set of prime ideals of $\mathcal{O}_K$ dividing $2ABC$. Assuming two standard conjectures concerning the modularity of mod-$p$ Galois representations and the Eichler-Shimura correspond...
Let $X\subset{\mathbb P}^{n-1}$ be a hypersurface of degree $d\ge3$ with ordinary double points, where $n\ge3$. The roots of Bernstein-Sato polynomial of its defining polynomial $f$ are given up to sign by 1, $(n-1)/2$, and $j/d$ for $j\in{\mathbb Z}\cap[n,nd-n-p_f]$ with $p_f$ a positive integer. Here $p_f$ is bounded...
Let $\cX\subseteq\Pj^n_{\Z}$ be a fixed integral quasiprojective subscheme, smooth over $\Z$ of relative dimension $r$. For each fixed $m\ge1$, we bound the probability that the $m$th principal-parts jet of the restriction of a uniform degree-$d$ form to $\cX_p$ has a positive-dimensional zero scheme. The bound is $C(d...
Let $m\geq 2$ and $d\geq 7$. We consider homogeneous polynomials in $2m+2$ variables of the form $f=F_0(u_0,v_0)+\cdots+F_m(u_m,v_m)$, where the $F_i$ are independently very general squarefree binary forms of degree $d$. We prove the rational noncommutative Hodge conjecture for the dg category $\mathrm{MF}^{\mathrm{gr}...
Xun Lin, Shi-Zhuo Zhang· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
