All Questions
30
questions
3
votes
0
answers
159
views
On the sheaves-functions dictionary
Let $X$ be a variety over a finite field $k$. Let $\pi_{1}(X)$ be the arithmetic etale fundamental group of $X$, and $\rho:\pi_{1}(X)\to k^{\times}$ a continuous character. If $x: \text{Spec}(k)\to X$ ...
5
votes
1
answer
361
views
Fermat cubic hypersurfaces over finite fields
Consider the Fermat cubic
$$
X = \{x_0^3+\dots +x_n^3 = 0\}\subset\mathbb{P}^n_{\mathbb{F}_{q}}
$$
over a finite field $\mathbb{F}_{q}$ with $q$ elements.
If $q \equiv 2 \mod 3$ then the projection $\...
4
votes
1
answer
216
views
Points on affine hypersurface over finite field
I am interested in the hypersurface $X\subset\mathbb{A}^4_{\mathbb{F}_{5^n}}$ defined by
$$
X = \{x^3 + 3xy^2 + z^3 + 3zw^2 + 1 = 0\}
$$
over a finite field $\mathbb{F}_{5^n}$ with $5^n$ elements. Via ...
5
votes
1
answer
335
views
About closed points in symmetric product schemes over a finite field
Let $k=\mathbb{F}_q$ be a finite field with $q$ elements and let $X$ be a quasi-projective $k$-scheme. I saw somewhere claims the following results (without explanation):
Let $N$ be a positive ...
4
votes
2
answers
485
views
Smoothness of fibers over finite fields
Let $f:X\rightarrow Y$ be a morphism of smooth projective varieties over a finite field of characteristic different from $2$. Is there any result on the existence of a point $y\in Y$ such that $X_y = ...
3
votes
1
answer
302
views
Smooth surfaces in positive characteristic
Let $K = \mathbb{F}_p$ be a field of positive characteristic $p > 0$. Consider a surface in $\mathbb{A}^3_K$ of the following form
$$
S = \{f_1(x_0)y_0^2+f_2(x_0)y_0y_1+f_3(x_0)y_0+f_4(x_0)y_1^2+...
19
votes
1
answer
411
views
Varieties with the same number of $\mathbb{F}_p$-points for all but finitely many primes
If two varieties over $\mathbb{Q}$ have the same number of $\mathbb{F}_p$-points for all but finitely many primes do they have the same number of $\mathbb{F}_{p^n}$-points for all $n>1$ and for all ...
8
votes
2
answers
630
views
Isomorphic endomorphism algebras implies isogenous (for abelian varieties over finite fields)?
$\newcommand{\F}{\mathbb{F}}
\newcommand{\End}{\mathrm{End}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\Z}{\mathbb{Z}}$
I would like to know if the following is true:
Proposition A : Let $A_1, A_2$ ...
3
votes
0
answers
304
views
Why the curve $x^2+y^2+y+1=0$ has only one point over $\mathbb{F}_{3^7}$?
According to both sagemath and Magma the curve $x^2+y^2+y+1=0$ has only one point over $\mathbb{F}_{3^7}$.
The projective closure has only one point too.
Q1 What hypothesis are missing to not violate ...
9
votes
2
answers
510
views
Chevalley-Warning-Ax for double covers
Let $f(x_1,\ldots,x_n)$ be a polynomial of degree $d$ with coefficients in the finite field $\mathbb F_q$ and let $V(f)\subseteq\mathbb F_q^n$ be its set of zeroes. Assume $d<n$. Then Chevalley ...
2
votes
0
answers
173
views
Computing monodromy groups of curves over function fields
Suppose I consider a hyperelliptic curve given by an equation such as $y^2 = x^{n} + tx + 1$ or some variation on this (where $t$ is a parameter on $\mathbb P^1$ and this curve is really a surface ...
2
votes
1
answer
283
views
The size of endomorphism rings and the relation to ordinariness of Abelian surfaces
For Elliptic curves over a finite field, there is a very useful characterization of ordinary elliptic as those with commutative, quadratic endomorphism rings and of supersingular curves as those with ...
13
votes
2
answers
932
views
Is there an $\mathbb{R}$-valued cohomology theory for varieties over $\mathbb{F}_p$?
If $E$ is a supersingular elliptic curve over $\mathbb{F}_{p^m}$ with $m\geq 2$ its endomorphism ring is a maximal order in a quaternion algebra ramified at $p$ and $\infty$ so there can't be a Weil ...
2
votes
0
answers
122
views
A Lefschetz style formula for the $\ell^\infty$ torsion of an Abelian variety over a finite field
Let $A/\mathbb F_q$ be an abelian variety over a finite field. Define $A_\ell = A[\ell^\infty](\mathbb F_q)$, the $\ell^n$ ($n\geq 0)$ torsion points defined over the base field. I can assume $\ell \...
2
votes
0
answers
251
views
Which fields and schemes "have enough finite residue fields"?
I am looking for assumptions on the spectrum $S$ of a field $K$ that ensure the following: there exists an excellent noetherian finite dimensional (integral) scheme $S'$ such that $S$ is its generic ...