Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn the value set of small families of polynomials over a finite field, I
206
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We obtain an estimate on the average cardinality of the value set of any family of monic polynomials of Fq[T] of degree d for which s consecutive coefficients a_{d-1},..., a_{d-s} are fixed. Our estimate holds without restrictions on the characteristic of Fq and asserts that V(d,s,bfs{a})=mu_d.q+mathcal{O}(1), where V(d,s,bfs{a}) is such an average cardinality, mu_d:=sum_{r=1}^d{(-1)^{r-1}}/{r!} and bfs{a}:=(a_{d-1},.., d_{d-s}). We provide an explicit upper bound for the constant underlying the mathcal{O}--notation in terms of d and s with good behavior. Our approach reduces the question to estimate the number of Fq--rational points with pairwise--distinct coordinates of a certain family of complete intersections defined over Fq. We show that the polynomials defining such complete intersections are invariant under the action of the symmetric group of permutations of the coordinates. This allows us to obtain critical information concerning the singular locus of the varieties under consideration, from which a suitable estimate on the number of Fq--rational points is established.
rate research
Read More
We obtain estimates on the number $|mathcal{A}_{boldsymbol{lambda}}|$ of elements on a linear family $mathcal{A}$ of monic polynomials of $mathbb{F}_q[T]$ of degree $n$ having factorization pattern $boldsymbol{lambda}:=1^{lambda_1}2^{lambda_2}cdots n^{lambda_n}$. We show that $|mathcal{A}_{boldsymbol{lambda}}|= mathcal{T}(boldsymbol{lambda}),q^{n-m}+mathcal{O}(q^{n-m-{1}/{2}})$, where $mathcal{T}(boldsymbol{lambda})$ is the proportion of elements of the symmetric group of $n$ elements with cycle pattern $boldsymbol{lambda}$ and $m$ is the codimension of $mathcal{A}$. Furthermore, if the family $mathcal{A}$ under consideration is sparse, then $|mathcal{A}_{boldsymbol{lambda}}|= mathcal{T}(boldsymbol{lambda}),q^{n-m}+mathcal{O}(q^{n-m-{1}})$. Our estimates hold for fields $mathbb{F}_q$ of characteristic greater than 2. We provide explicit upper bounds for the constants underlying the $mathcal{O}$--notation in terms of $boldsymbol{lambda}$ and $mathcal{A}$ with good behavior. Our approach reduces the question to estimate the number of $mathbb{F}_q$--rational points of certain families of complete intersections defined over $mathbb{F}_q$. Such complete intersections are defined by polynomials which are invariant under the action of the symmetric group of permutations of the coordinates. This allows us to obtain critical information concerning their singular locus, from which precise estimates on their number of $mathbb{F}_q$--rational points are established.
In this paper, we present three classes of complete permutation monomials over finite fields of odd characteristic. Meanwhile, the compositional inverses of these complete permutation polynomials are also proposed.
In this paper we introduce the additive analogue of the index of a polynomial over finite fields. We study several problems in the theory of polynomials over finite fields in terms of their additive indices, such as value set sizes, bounds on multiplicative character sums, and characterizations of permutation polynomials.
Most hypersurfaces in projective space are irreducible, and rather precise estimates are known for the probability that a random hypersurface over a finite field is reducible. This paper considers the parametrization of space curves by the appropriate Chow variety, and provides bounds on the probability that a random curve over a finite field is reducible.
Let $Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $lambda$ of the field of algebraic numbers which is prime to p, consider the $lambda$-adic pro-semisimple completion of $Pi$ as an object of the groupoid whose objects are pro-semisimple groups and whose morphisms are isomorphisms up to conjugation by elements of the neutral connected component. We prove that this object does not depend on $lambda$. If dim X=1 we also prove a crystalline generalization of this fact. We deduce this from the Langlands conjecture for function fields (proved by L. Lafforgue) and its crystalline analog (proved by T. Abe) using a reconstruction theorem in the spirit of Kazhdan-Larsen-Varshavsky. We also formulate two related conjectures, each of which is a reciprocity law involving a sum over all $l$-adic cohomology theories (including the crystalline theory for $l=p$).
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
