ترغب بنشر مسار تعليمي؟ اضغط هنا

On the value set of small families of polynomials over a finite field, I

142   0   0.0 ( 0 )
 نشر من قبل Melina Privitelli
 تاريخ النشر 2013
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

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.

قيم البحث

اقرأ أيضاً

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.
231 - Lucas Reis , Qiang Wang 2021
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 multipl icative 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 appropriat e Chow variety, and provides bounds on the probability that a random curve over a finite field is reducible.
111 - Vladimir Drinfeld 2015
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 groupoi d 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$).
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا