Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
174 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$ ...
stupid boy's user avatar
1 vote
1 answer
259 views

On the estimate for a double exponential sum

I encounter a hyper-Kloosterman sum which needs some help from the experts here: For any integers $q,s \in \mathbb{N}^+$(which may not be necessarily co-prime with each other), how to bound the sum: $$...
hofnumber's user avatar
  • 563
5 votes
1 answer
388 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 $\...
Puzzled's user avatar
  • 8,998
4 votes
1 answer
237 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 ...
Puzzled's user avatar
  • 8,998
19 votes
1 answer
419 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 ...
lkx's user avatar
  • 325
8 votes
2 answers
703 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$ ...
Watson's user avatar
  • 1,742
9 votes
2 answers
518 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 ...
Friedrich Knop's user avatar
5 votes
0 answers
162 views

Does the cardinality of coordinate projections of the rational points of affine varieties over finite fields also tend to $\infty$?

We know (basically by Lang-Weil) that for an absolutely irreducible n-dimensional affine variety $V$ the cardinality $\#V(F_{l})$ tends to $\infty$ for $l$ large enough. We could now look at the set ...
Florian Felix's user avatar
5 votes
0 answers
459 views

A functor on Abelian varieties corresponding to this operation on Weil numbers

Let $A/\mathbb F_q$ be an abelian variety over a finite field with Weil numbers $q^{1/2}\alpha_1,\dots,q^{1/2}\alpha_n$. Consider the numbers $q^{d/2}\alpha_1,\dots,q^{d/2}\alpha_n$. These are still ...
Asvin's user avatar
  • 7,746
8 votes
1 answer
492 views

The product of two supersingular elliptic curves is independent of which ones we pick

In a comment on this MO question, Qing Liu says "In positive characteristic p, if you take two supersingular elliptic curves $E_1,E_2$, then $E_i×E_j$ is isomorphic to $E^2_1$ for any pair $i,j$." ...
Asvin's user avatar
  • 7,746
14 votes
3 answers
978 views

Zeta function of Abelian variety over finite field

Let $A/\mathbf{F}_q$ be an Abelian variety of dimension $g$. Suppose one knows $|A(\mathbf{F}_{q^n})|$ for all $1 \leq n \leq g$. Does one know then $\zeta(A,s)$ (equivalently, $|A(\mathbf{F}_{q^n})|$ ...
user avatar
3 votes
0 answers
215 views

Why we are interested in p>3 Schoof's algorithm

In the Schoof's algorithm we are particularly interested in $char(K)>3$, where $K$ is the field. I know Schoof's algorithm is mostly used over large prime fields. Also, when we are transforming ...
student's user avatar
  • 149
11 votes
1 answer
385 views

Is there a presentation to the kernel of the prime-to-$p$ fundamental short exact sequence of curves over finite fields?

Let $X$ be $\mathbb{P}^1_{\mathbb{F}_q}\smallsetminus \{a_1,...,a_r\}$, where $a_1,...,a_r$ are some $\mathbb{F}_q$-rational points. Let $\bar X :=X_{\bar{\mathbb{F}}_q}$. There is a short exact ...
Andrew NC's user avatar
  • 2,071
2 votes
0 answers
107 views

the least point on a variety over a finite field

Let $p$ be a large prime parameter and $V\subseteq \mathbb{P}^n_{\mathbb{F}_p}$ a variety defined over the finite field $\mathbb{F}_p$ with bounded degree and dimension (w.r.t. $p$). Assume that $V$ ...
Lior Bary-Soroker's user avatar
1 vote
0 answers
101 views

Points on the intersection of an affine quadric and cubic over a finite field

Are there absolute constants $N$ and $B$ such that the following is true? Let $p>B$ be a prime. Let $q(x_0,\dotsc,x_n)$ and $c(x_0,\dotsc,x_n)$ be homogeneous of degree $2$ and $3$ with ...
Siksek's user avatar
  • 3,142
12 votes
4 answers
715 views

Behaviour of Zeta-function under Finite Morphism

Let X ---> Y be a finite surjective morphism of smooth, projective, connected varieties over a finite field F_q. Can one describe the zeta function Z(X, t) in terms of the zeta-function Z(Y,t) of ...
Brandon Levin's user avatar
13 votes
3 answers
1k views

A comprehensive overview of finite fields

I've read numerous introductions to finite fields, but I feel like my intuition about them is fairly lacking. Considering that finite fields are the the most "inert" objects in algebraic geometry, I ...
Andrew Critch's user avatar