A finite field is a field with a finite number of elements. For each prime power $q^k$, there is a unique (up to isomorphism) finite field with $q^k$ elements. Up to isomorphism, these are the only finite fields.

learn more… | top users | synonyms

13
votes
0answers
303 views

Grothendieck on polyhedra over finite fields

In Grothendieck's Sketch of a Programme he spends a few pages discussing polyhedra over arbitrary rings and concludes with some intriguing remarks on specializing polyhedra over their "most singular ...
13
votes
0answers
493 views

Noether-Deuring for injections and surjections?

Noether-Deuring theorem (not in the strongest form, but in the one I usually need): Let $L\diagup K$ be a field extension. Let $A$ be a $K$-algebra which is finite-dimensional as a vector space over ...
12
votes
0answers
265 views

Counting abelian varieties over finite fields in a given isogeny class

Let $f(x) \in \mathbb Z[x]$ be a monic polynomial of degree $g$ with all roots having absolute value $\sqrt{q}$. How many principally polarized abelian varieties over $\mathbb F_q$ have $f(x)$ as the ...
10
votes
0answers
264 views

Noether-Lefschetz over finite fields

The classical Noether-Lefschetz theorem asserts the following: Over the complex numbers, a very general surface $S\subset \mathbb{P}^3$ has Picard number 1 (that is, $Pic(S)\simeq \mathbb Z$), ...
8
votes
0answers
112 views

Order of zeros for sparse polynomials mod $p$

It is a fairly well known fact that sparse polynomials $f(x)$ cannot have large order zeros other than at $x=0$. If $f(x)=a_1x^{r_1}+\cdots+a_kx^{r_k}$ then at $c \neq 0$, $f$ has a zero of order at ...
8
votes
0answers
253 views

Geometric vs combinatorial motives over Spec Z

Consider the category of reduced schemes of finite type over $\mathbb{Z}$. Take the Grothendieck group of this category, i.e. the free abelian group on isomorphism classes, modulo the usual "syzygy" ...
8
votes
0answers
413 views

On the number of polynomials that divide $x^{q-1}-1$ in some subspaces of $\mathbb F_q[x]$

Let $\mathbb F_q$ be a finite field (where $q$ is in general a power of a prime), and let $e, k$ be positive integers with $k \leq e < q-1$. Let $f_0(x), \ldots, f_k(x) \in \mathbb F_q[x]$ be ...
8
votes
0answers
994 views

roots of quadratic forms

This may be a very silly question, but I was wondering what is known about the roots of a quadratic form over variables $x_1,\ldots,x_n,y_1,\ldots,y_m$ in the finite field $\mathbb{F}_p$. I'm not ...
7
votes
0answers
111 views

A $k \times n$ matrix with a lot of invertible $k \times k$ submatrices over $\mathbb{F}_2$

In the appendix of the paper by Tolhuizen ( http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=841182) there is a very fast and easy probabilistic proof that for $k=cn$ where $c \in [0,1]$ is fixed, ...
7
votes
0answers
215 views

A strong sum-product “for translates” in finite fields

In the course of some recent research, I've sketched out a proof of the following result. My basis question is: is the result interesting? Proposition There exists an absolute constant $c$ such ...
6
votes
0answers
114 views

Sum of densities of support of $A$ and $A^{-1}$ for $A=1+\dots\in \mathbb F_2[[x]]$

Let $A=1+\dots\in\mathbb F[[x]]$ be a (multiplicatively) invertible series over the field $\mathbb F_2$ of two elements. Writing $A=\sum_{n\geq 0}\alpha_n x^n$ and $\frac{1}{A}=\sum_{n\geq 0} ...
5
votes
0answers
100 views

When is a Hermitian matrix of the form $g^*g$ for some matrix $g$

I tried asking this question on Math StackExchange and didn't get any replies. I was hoping that maybe someone here could help, sorry for duplicating. I'm trying to figure out some properties of ...
5
votes
0answers
167 views

Does the fundamental group identify group structure on subvarieties of products of curves?

Let $C_1,\dots, C_n$ be smooth curves over $\overline{\mathbb F}_p$, not necessarily proper. Let $X$ be a subvariety of $C_1 \times \dots \times C_n$. I'm interested in the natural map: $$ ...
5
votes
0answers
166 views

Counting points on Hessenberg varieties over a finite field

Let $G$ be an connected reductive group over finite field $k$. I will assume that $\text{char}(k)$ is very good for $G$ (or even larger, if preferred). Let $B\subset G$ be a Borel subgroup defined ...
5
votes
0answers
134 views

Groupoid cardinality of DM stack and point counting on coarse moduli spaces

Let $X$ be a finite type DM stack over a finite field $k$ with a coarse moduli space $X_c$. (We only assume $X_c$ is an algebraic space and $X$ might have infinite inertia stack.) Under which ...
5
votes
0answers
224 views

Transferring addition and multiplication over finite fields to $\mathbb{Z}$

It seems to me that the most basic wisdom on why many number-theoretic conjectures are hard is because the interplay between addition and multiplication is subtle and delicate (much of the lay chatter ...
4
votes
0answers
126 views

Applications of small Kakeya sets over finite fields

It was proved by Dvir that a Kakeya set in $\mathbb{F}_q^n$ has size at least $q^n/n!$, a bound which was later improved to $q^n/2^n$. For $n = 2$ and $q$ odd the exact bound is $q(q+1)/2 + (q-1)/2$ ...
4
votes
0answers
136 views

How many roots can $P(x):=\sum_s(x-s)^{(p-1)/2}$ have in ${\mathbb F}_p$?

For a prime $p$ and a set $S\subset{\mathbb F}_p$ of size $n:=|S|\approx \sqrt p$, what is the largest possible number of roots that the polynomial $$ P(x) := \sum_{s\in S} ...
4
votes
0answers
151 views

Partial differential Equation over characteristic p

I want some references on partial differential equations over characteristic $p$. If we have a first order partial differential equation, how can we check whether there exists polynomials or rational ...
4
votes
0answers
264 views

# roots of polynomials over GF(2)

Consider a polynomial $p(x)$ with of degree $d$ with coefficients in $GF(2)$. How many roots can it have in $GF(2^m)$? The intent here is that $d \ll 2^m$. The trivial bound is of course $\leq d$. ...
4
votes
0answers
286 views

formal group laws of Abelian varieties in positive characteristic

Let $G$ be an algebraic group defined over an (algebraically closed) field $k$. Then one can obtain a formal group law by completing the multiplication map $m: G \times G \to G$ at the unit of $G$. ...
4
votes
0answers
276 views

Tangent space of the moduli stack of Drinfeld modules

I am going through the proof of Thm 1.5.1 of Laumon, Cohomology of Drinfeld modular varieties, which says that a certain map of stacks is smooth. To prove this, Laumon considers the tangent space of a ...
4
votes
0answers
309 views

Does the Riemann hypothesis for liftable varieties over a finite field imply the Riemann hypothesis for all varieties over a finite field

The Riemann hypothesis for varieties over a finite field has been proven by Deligne. Still I would like to ask the following question. A variety $X$ over a finite field $k$ is liftable if there ...
4
votes
0answers
310 views

Matching a binary matrix

Given a MxN 0-1 matrix D, with the property that both M and N are odd numbers its row sums and column sums in the $\mathbb{Z}_2$ field are all equal to the same number (0 or 1). How do we find M ...
4
votes
0answers
348 views

Given two linear operators A and B over a finite field, is there a third operator C whose kernel is the intersection of kernels of A and B?

Let $V$ be a finite dimensional linear space over a finite field $k$. Let $A$ and $B$ be two endomorphisms of $V$. Question 1. Is there an endomorphism $C$ of $V$, which is expressed in terms of ...
3
votes
0answers
70 views

How order of divisor with support at infinity is changed at reduction?

Jing Yu in his paper "On Arithmetic Of Hyperelliptic Curves" on page 5 asserts the following The most interesting case is certainly the case $k = \mathbb Q$ and $D \in \mathbb Z[t]$. To ...
3
votes
0answers
228 views

When does composing polynomials reduce the degree?

Let $\mathbb{F}$ be the field of size 2. For a function $f : \mathbb{F}^n \to \mathbb{F}$, let $d(f)$ be the smallest integer such that there exists a degree-$d(f)$, $n$-variate, multilinear ...
3
votes
0answers
161 views

What is the function like when its Mobius inversion is $\sum_{w|r, (w,t)=1}\mu(w)q^{r/w}$?

Everyone, I am now reading a paper named The Irreducible Factors of $(cx+d)x^{q^m}-(ax+b)$ over $GF(q)$, http://qjmath.oxfordjournals.org/content/14/1/61.extract. And I’m confused with one of its ...
3
votes
0answers
105 views

Closest sumset to a set

Suppose $A$ is a subset of the finite field with $p$ elements. What is the best approximation of $A$ by a sumset $B+C$ in the sense that $|A\Delta (B+C)|$ is minimal? Of course if $B=A-x$ and ...
3
votes
0answers
151 views

Number of Inverse Pairs Modulo Prime $p$

Is there a result which gives a lower bound on the number of inverse pairs $(a, a^{-1})$ modulo prime $p$ lying in the interval $[1,t]$, where $t < p$?
3
votes
0answers
379 views

Finite Field Varieties and the de Rham Complex of Kähler Differentials

In an answer to a previous question I asked, where the Kahler differentials of a variety over a finite field were discussed, it was stated that: You can certainly define de Rham cohomology using ...
3
votes
0answers
333 views

Finch's sequence over $\mathbb{F}_3$

In http://algo.inria.fr/csolve/seqmod3.pdf -- "Periodicity in sequences mod 3" Steven Finch (also cited in Sloane's OEIS A112683) defines the following sequences in $\mathbb{F}_3$: For each positive ...
2
votes
0answers
138 views

Polynomials representing locally constant functions

Let $K$ be a finite field with $p$ elements. (a) Let $f\in K\lbrack x\rbrack$ be such that (i) $\deg(f)<p$ and (ii) $f(2x) = f(x)$ for $\geq (1-\epsilon) p$ values of $x$ in $K$. What can we say ...
2
votes
0answers
109 views

A question on vector space over finite field

Let $\mathbb{F}_{2^\sigma}$ be a finite field of $\sigma$-bit elements, and use $\mathbb{F}_{2^\sigma}^{\ell}$ to denote an $\ell$-dimensional vector space over $\mathbb{F}_{2^\sigma}$. Let $V$ be a ...
2
votes
0answers
33 views

Computations of some character sums/zeta function

I'm currently trying to "compute" the zeta function of some hyperelliptic curves over a finite field (of odd characteristic). Precisely, let $b\in\mathbb{F}_q^\times$ be a non zero element (I also ...
2
votes
0answers
70 views

A question about polynomial over finite field

For the positive integer $m$, let $n=\varphi(m)$ denote the totient of $m$. Given a rational prime $p$ such that $p\equiv 1 \bmod m$, let $A=\{a_1,\cdots, a_n\}\subseteq \mathbb{F}_p$ denote the set ...
2
votes
0answers
77 views

The significance of the Parvaresh-Vardy curve

Even though this seems like a computer science question, it is purely mathematical and concerns polynomials and curves over finite fields. Consider the Parvaresh-Vardy list decoder. As I understand ...
2
votes
0answers
124 views

Number of common solutions of polynomial system

Let $ \mathbb{F}_p$ be a finite field and $\{f_j\}_{j=1}^{j=r} \subseteq \mathbb{F}_p[X_1,...,X_n]$ be a set of polynomials. Let consider the system of equations: $f_j(x_1,...,x_n)=0$ for $j = ...
2
votes
0answers
113 views

Existence of roots of high order polynomial over finite fields

I want to solve the following question: Consider a polynomial $f(x)=a_0+a_1*x^{e_1}+a_2*x^{e_2}+\cdots+x^{e_m}\in F_p[x]$ where $p$ is a prime such that $\log(p)\sim m$ and $e_m\sim 2^m$, I want to ...
2
votes
0answers
271 views

Enumerating certain types of permutation polynomials

Given a prime power $q$, I would like to enumerate (preferably up to isomorphism*) all the permutation polynomials $f(x)$ on $K = GF(q^3)$ satisfying the following conditions: $f(ax) = af(x)$ for ...
2
votes
0answers
85 views

Intersection of two trace equations over finite fields

Let $F_q$ be a finite field with $q$ elements. Let $n$ be an integer and $Tr:F_{q^n} \rightarrow F_q$ the trace function. My question is: For which integer $k$, $$\{x: Tr(x)=0\}\cap\{x: ...
2
votes
0answers
113 views

Family with a fixed special fiber over finite fields

Let $X$ be a smooth projective variety over a finite field $\mathbb{F}_p$. What are the conditions for the existence of a projective variety $X'$ over $\mathbb{Q}_p$ such that $X$ is a special fiber ...
2
votes
0answers
233 views

Small geometric progression modulo N

An problem related to integer factorization using the General Number Field Sieve is the following: Let $N$ be a composite. Must there exist a 5-term geometric progression $\lbrace ...
2
votes
0answers
295 views

Counting points over over an algebraic set over finite field.

Let $q=p^n$. Let $C$ be an Artin schierer curve defined by $y^p-y=f(x)$ where $f(x) \in \mathbb{F}_{q}[x]$. Let $C_g$ be $y^p-y=f(x)$ where $x \in g(\mathbb{F}_{p^{n}})$ for some $g \in ...
1
vote
0answers
45 views

About the rank of a Pell equation-related matrix

I have a question about the solution of Pell-equation over a prime field. I want prove that the matrix $M$ is of rank $\frac{p-1}{2}$, with $M=(m_{i,j})\in\left(\mathbb{Z}/(p^p-1)\mathbb{Z} ...
1
vote
0answers
53 views

non-intersecting families of subspaces

Given $V$, a vector space over a finite field $F$ of size $k$, if $\dim(V)=m$, and $r$ divides $m$, there exists a family of $r$-dimensional subspaces, whose size is equal to $(k^m-1)/(k^r-1)$ and ...
1
vote
0answers
70 views

Can we give efficiently the solution of a bilinear system of equations over a finite field?

Consider a finite field $F$ and suppose we have a system of equations $$h_1(\alpha,\beta)=0,h_2(\alpha,\beta)=0,...,h_t(\alpha,\beta)=0$$ where $\alpha=(\alpha_1,...,\alpha_s)$ and ...
1
vote
0answers
58 views

Zero as a repeated permanental root for a matrix over a finite field

All, Suppose $A \in Mat(n, \mathbb{F}_{q})$ for $q$ prime, $q \geq 5$, and $n \geq 2^{q-2}$ . Let $\pi_A(x)$ be the permanental polynomial for $A$. That is, \begin{equation*} \pi_{A}(x)=per(xI-A). ...
1
vote
0answers
191 views

Polynomial existence over finite field

Denote $\mathcal{F_n}$ as collection of multiaffine polynomials $f\in\Bbb F_2[x_1,\dots,x_n]$. Denote total degree of $f\in\mathcal{F_n}$ as $deg(f)$ (note $deg(f)\leq n$). Denote ...
1
vote
0answers
228 views

Eigenvalue of a linear map over finite field

Let $ F_q $ be a finite field with $ q $ elements. Let $ g $ be a multiplicative generator of $ F_{q^2}^* $. It implies that $ <g^{q+1}> = F_q^* $. Let $ l $ be a prime greater than $ q^2-1 ...