The finite-fields tag has no wiki summary.

**13**

votes

**0**answers

480 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

**0**answers

269 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 ...

**10**

votes

**0**answers

246 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

**0**answers

240 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

**0**answers

394 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

**0**answers

953 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

**0**answers

196 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

**0**answers

108 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

**0**answers

159 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

**0**answers

118 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

**0**answers

221 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

**0**answers

144 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 ...

**4**

votes

**0**answers

128 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

**0**answers

145 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

**0**answers

229 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

**0**answers

260 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

**0**answers

304 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

**0**answers

299 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

**0**answers

340 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

**0**answers

151 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

**0**answers

101 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

**0**answers

147 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

**0**answers

372 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

**0**answers

328 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

**0**answers

82 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$ ...

**2**

votes

**0**answers

115 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

**0**answers

76 views

### Uniqueness of an embedding theorem for Real differential fields

I will follow a preliminary exposition for the problem in question, which will essentially follow the format on http://www4.ncsu.edu/~singer/papers/model_diff_fields.pdf [pg. 87]:
Let $K$ be a real ...

**2**

votes

**0**answers

107 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

**0**answers

263 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

**0**answers

79 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

**0**answers

111 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

**0**answers

214 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

**0**answers

291 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

**0**answers

62 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 ...

**1**

vote

**0**answers

49 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

**0**answers

48 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

**0**answers

54 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

**0**answers

181 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

**0**answers

205 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 ...

**1**

vote

**0**answers

80 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 ...

**1**

vote

**0**answers

92 views

### In a finite field with characteristic 2, can I calculate the log(K+1) based on the log(K)?

In the equation $ a^x = a^y + 1$ over a finite field $\text{GF}(2^n)$, where '$a$' is the primitive element, can one calculate $x$ as a function of $y$ without having to resort to taking the logarithm ...

**1**

vote

**0**answers

76 views

### How can I decode efficiently a triple-error-correcting binary BCH code?

In a given $\mathrm{BCH}(N,K)$, $T=3$ code over $\mathrm{GF}(2^m)$, there are ways to find the error locations in a given N-bit codeword directly from the syndromes without going through the normal ...

**1**

vote

**0**answers

149 views

### Finite fields: alternating sums of values of polynomials

Notation
In what follows let $p$ be a (odd, if needed) prime, $e$ a positive integer, $q = p^e$; $\mathbb{F}_q$ will denote a finite field with $q$ elements whose prime subfield will be denoted as ...

**1**

vote

**0**answers

137 views

### Special values of zeta functions and extensions of base fields.

Let $X$ be a scheme of finite type over a finite field $k=\mathbb{F}_{q}$ of $q$ elements.
Then, one can define the zeta function $Z_{X/k}(T)$ of $X$ ovet $k$ as $\prod_{x\in ...

**1**

vote

**0**answers

165 views

### reference-request for connection between numerator of zeta-function and characteristic polynomial of Frobenius on hyperelliptic curves over finite fields

Let $H$ be a hyperellipitic curve of genus $g$ defined over
$\mathbb{F}_q$. The Frobenius endomorphism operates on the divisor class
group of $H$ and satisfies a characteristic polynomial ...

**1**

vote

**0**answers

317 views

### non-split Frobenius map

there are 3 simple groups arising from $SO(8)$, i.e.$ SO(8,F_{q})$, $2D_4(q,q^2)$,$3D_4(q,q^3),$
so I want to know
For the $3D_4(q,q^3),$, what is the corresponding Frobenius?

**1**

vote

**0**answers

238 views

### Sums of three squares in $GF(q)[t]$

Let $q$ be a power of an odd prime number $p>3,$ say $q=p^r$ with $r \geq 1.$
It is known that every polynomial $M$ in $GF(q)[t]$ is a sum of at most $3$ squares
with some conditions on degrees. ...

**1**

vote

**0**answers

182 views

### Binary `neighbors` perfect polynomials, instead of `consecutive`

Inspired by Andrei's nice solution of 52609, (namely consecutive perfect polynomials):
Denote by $A$ the full ring of polynomials in one variable $t$ over the ...

**1**

vote

**0**answers

329 views

### J. T. B. Beard's algorithm to catch `perfect polynomials`

For any monic polynomial $P$ with coefficients in a finite field of order $q$, we put
$$
\sigma(P) = \sum_{d \mid P, d \text{ monic}} d.
$$
Observe that $P$ and $\sigma(P)$ have the same degree.
...

**1**

vote

**0**answers

253 views

### Number of solutions of a linear equation in a small subset.

Let $p$ be a prime. Let $F_p$ be the finite field of
$p$ elements. Let $A$ be a subset of $F_p$ of size $s$.
Assume that $s > 2$ is polylogarithmic in $p$.
Suppose that we want to count ...