**8**

votes

**0**answers

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

**2**

votes

**0**answers

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

**3**

votes

**3**answers

267 views

### Minimal expression of 0 as a sum of kth powers in a finite field

Let $l=\min\{s\in \mathbb{N}|0\in s\cdot (\mathbb{F}_{p^n}^\times)^k\}$. Is any information known about this number already as a function of $k$? Any reference would be greatly appreciated!

**9**

votes

**1**answer

257 views

### Are $E_n$-operads not formal in characteristic not equal to zero?

This is a short question:
Is it just unproven folklore (yet), or is it definitively known that $E_n$-operads are not formal, if the characteristic of the underlying field is not equal to zero?

**2**

votes

**0**answers

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

**5**

votes

**1**answer

170 views

### When is Chevalley Warning's bound best possible?

Chevalley Warning's theorem (a form of) states that any homogeneous form over a finite field of degree $d$ in more than $d$ variables has a nontrivial zero in the field. However, for diagonal forms, ...

**12**

votes

**0**answers

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

**1**

vote

**0**answers

46 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} \right)^{(...

**0**

votes

**0**answers

32 views

### Interpolating a polynomial when we permute part of $y_i$'s

Let $\vec{x}=[x_1,...,x_n]$ be elements of field $\mathbb{Z}_p$, where $p$ is a large prime. $x_i \neq x_j$, $x_i \in \mathbb{Z}_p$. Note $x_i$ values are NOT picked uniformly random and they are ...

**3**

votes

**1**answer

117 views

### Number of linearly bisected subsets in finite vector space $F_2^n$

We consider the $n$-dimenstional finite vector space $\mathbb{F}_2^{n}$ over the finite field of two elements. For a subset $A\subseteq \mathbb{F}_2^{n}$ of even size $|A|=2m$ and a linear form $l\in(\...

**5**

votes

**2**answers

245 views

### Conjugation in associative algebras over finite fields

Let $A$ be a finite dimensional associative algebra (with unity) over a finite field $F$. Let $L$ be a field extension of $F$. Suppose that after extending scalars to $L$, two elements $a,b$ of $A$ ...

**3**

votes

**1**answer

168 views

### Can we define a height function for a variety over a finite field?

That is, is there a way to measure the complexity of a point over a finite field the same way we do it over number fields?

**5**

votes

**2**answers

440 views

### What is the permutation group generated by those three given morphisms of the affine space $\mathbb{F}_q^3$?

Let $\mathbb{A}^3 = \mathbb{F}_q^3$. Consider the following three functions $\mathbb{A}^3\to\mathbb{A}^3$:
\begin{eqnarray*}
h: (x, y, z) &\mapsto& (x, y, xy - z) \\
u: (x, y, z) &\mapsto&...

**1**

vote

**1**answer

264 views

### Solutions to system of polynomial equations over finite fields

If $P_1$, $P_2$, ..., $P_m$ are $n$-variate homogeneous polynomials of degree d over a finite field $F_q$, where $q$ is much larger than $d$, but much smaller than $n$, then do we know good lower ...

**3**

votes

**0**answers

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

**13**

votes

**3**answers

1k views

### A question on representation of graphs

Take a complete graph $K_n$. You want to assign a vectors from $\Bbb F_2^d$ to every edge such that sum of vectors in every simple cycle does not sum to $0$ vector. The question is what is minimum $d$ ...

**2**

votes

**1**answer

109 views

### Enumerator Polynomials for Linear Anytime Codes

Let $C = \{c \in \mathbb{F}^n_2 : Hc=0\}$ be a binary linear code where $H \in \mathbb{F}^{k \times n}_2$ is a block lower-triangular matrix of full rank called the parity-check matrix of $C$. Clearly ...

**0**

votes

**0**answers

66 views

### Finite Ramanujan expansions over a finite field

I'm wondering if we could have an analogy in finite fields. After all, the Discrete Fourier Transform (DFT) has been generalized to finite fields as well (with essentially identical properties as in ...

**2**

votes

**1**answer

134 views

### Proving inequation with ceilings in Finite Field of characteristic $p$

Take $ui = pt_i +j_i$ where $p$ is a prime number and $u(p-r) \equiv 1 $ $(\mbox{mod p})$ for positive integers $1 \le i, r, j_i\le p-1$ and $t_i \ge 0$. How can I prove that:
\begin{equation}
...

**1**

vote

**0**answers

140 views

### References for modular curves over finite fields [closed]

I'm looking for a detailed reference for modular curves over finite fields, such as $X(N)$, $X_1(N)$, and $X_0(N)$. There seems to be a lot of literature dealing with them over $\mathbb{C}$, but I'm ...

**2**

votes

**0**answers

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

**7**

votes

**2**answers

282 views

### When is $f(x^d)$ irreducible?

Let $f(x)$ be an irreducible polynomial of degree $n$ over a finite field $\mathbb F_p$. What can we say about $f(x^d)$? When is it irreducible ?

**3**

votes

**2**answers

161 views

### Obstruction to get a galois invariant cycle

Let $X$ be a smooth projective variety over a finite field $k$, $G=Gal(\bar{k}/k)$ and $\Gamma\in CH^i(\bar{X})$ such that:
$cl(\Gamma) \in H_{et}^{2i}(\bar{X},\mathbb{Z}_l(i))^G$ and
$\exists$ $...

**1**

vote

**0**answers

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

**2**

votes

**2**answers

135 views

### How does one calculate/estimate/guarantee the girth of a non-Abelian Cayley graph?

This question is in reference to this other question,
Can someone point out references (or explain!) which give techniques of being able to prove for any Cayley graph this property of having a girth ...

**3**

votes

**1**answer

160 views

### An upper bound on the number of sets of parallel lines covering points in a finite plane?

Let $\mathbb{F}$ be a finite field of characteristic $2$. Let $L_m$ denote the set of lines in $\mathbb{F}^2$ with slope $m\in\mathbb{F}$, that is, all parallel lines of the form $y=mx+b$. Consider a ...

**6**

votes

**1**answer

373 views

### Finite field “contour” sum

Let $\Bbb{F}_q$ be a finite field. Choose a non-square $\delta \in \Bbb{F}_q^*$
and form the quadratic extension $\Bbb{F}_q\big( \sqrt{\delta} \, \big)$. For
an element $z \in \Bbb{F}_q\big( \sqrt{\...

**2**

votes

**1**answer

193 views

### Uncountable cardinals and Prufer $p$-groups

Let $A$ be an elementary Abelian uncountable $p$-group. Is it known if there is an action of a Prufer $q$-group (here $q$ is a prime not necessarily distinct from $p$) $C_{q^{\infty}}$ onto $A$ such ...

**2**

votes

**1**answer

99 views

### Binary algebra, is it possible to partition the elements in GF(2^12) into 65 subgroups closed under addition?

The set of all binary vectors with 12 components forms a field with 2^12 elements containing 000000000000 and another 65*63 elements. Is it possible to partition these elements into 65 subgroups of 63 ...

**1**

vote

**1**answer

114 views

### What is the best known lower bound for: $\max_{2\leq i\leq p-1}(ord_n(i)) $?

Given an in integer $n$, and let $p$ be its smallest prime divisor (you can assume that $p$ is very large ). Let $ord_n(i)$ denotes the order of $i$ as an element of $\Bbb Z_n^*$ the multiplicative ...

**0**

votes

**0**answers

97 views

### Polynomial generated with primitive element modulo p

This question is equivalent to the question "Normal basis in cyclotomic number fields" that I asked recently. I am posing this question because maybe in this format somebody can have an answer:
Let $...

**4**

votes

**0**answers

136 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

**1**answer

146 views

### Invariant subspaces of an $F_2$-representation of the affine linear group of dimension 1

Let $p$ be an odd prime (large if it matters) and let $G= Aff(\mathbb{F}_{p^2}) \cong \mathbb{F}_{p^2} \rtimes \mathbb{F}_{p^2}^*$ be the affine linear group acting on $\mathbb{F}_{p^2}$ by $x\mapsto ...

**5**

votes

**0**answers

168 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:
$$ \pi_1^{ab}(...

**4**

votes

**2**answers

209 views

### Fixed space of the square of a symmetric matrix over $\mathbb{F}_2$

Let $M$ be an invertible symmetric $2n \times 2n$ matrix with entries in the finite field $\mathbb{F}_2$. Is $\mathrm{Ker}\ (M^2 - I_{2n})$ necessarily even dimensional?

**1**

vote

**0**answers

74 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 $\beta=(\beta_1,.....

**2**

votes

**1**answer

133 views

### Units in a finite semisimple group algebra

Let $G$ be a finite group and $k$ a finite field, with the characteristic of $k$ not dividing the order of $G$. Then $kG$ is a finite semisimple group algebra with the interesting property that an ...

**1**

vote

**0**answers

60 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).
\...

**4**

votes

**1**answer

247 views

### Counting couples of square-free polynomials over finite fields

I have a curve defined by the following equations over the finite field $\mathbb{F}_q$ with $q=p^r$ with $p \geq 3$:
$$C_{h_1,h_2}:\begin{cases} y_1^2=h_1(t) & \\
y_2^2=h_2(t) &...

**3**

votes

**2**answers

223 views

### Picking codewords that are close

I posted this question in http://math.stackexchange.com/questions/1142698/picking-codewords-that-are-close a week back.
Let $[n,k,d]$ be a linear code over $\Bbb F_q$ with minimum distance $d$ and ...

**8**

votes

**0**answers

258 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" ...

**2**

votes

**1**answer

154 views

### cohomology of orthogonal (or general linear) group over finite fields

Let $\mathbb{Z}_2=\mathbb{Z}/2\mathbb{Z}$. Let
$$
O(\mathbb{Z}_2^{\oplus k})=\{A\mid A \text{ is a } k\times k \text{ - matrix with entries } 0,1, det(A)=\pm 1\}
$$
What is $$
H^*(BO(\mathbb{Z}_2^{\...

**5**

votes

**0**answers

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

**13**

votes

**0**answers

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

**1**

vote

**0**answers

194 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 $e_i=(0,\dots,0,\...

**2**

votes

**0**answers

146 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 = 1,......

**6**

votes

**0**answers

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

**4**

votes

**0**answers

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} (x-s)^{\...

**2**

votes

**1**answer

198 views

### Chebyshev polynomials factoring uniformly modulo all primes

Consider the Chebyshev polynomial of the first kind $T_n(x)$ and its factorization in $\mathbb F_p$ for a given prime $p$. Most often, this factorization is not uniform (meaning that the irreducible ...

**5**

votes

**1**answer

175 views

### Which criteria for “uniformly splitting” polynomials?

Let $P(x)$ be an irreducible monic polynomial of degree $\ge4$ with integer coefficients. We all know that over a finite field $\mathbb F_p$, $P$ will often split, and I am interested in polynomials ...