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

The existence of $mathbb{F}_q$-primitive points on curves using freeness

417   0   0.0 ( 0 )
 نشر من قبل Giorgos Kapetanakis
 تاريخ النشر 2021
  مجال البحث
والبحث باللغة English




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

Given a positive integer $Q$, denote by $mathcal{C}_Q$ the multiplicative cyclic group of order $Q$. Let $n$ be a divisor of $Q$ and $r$ a divisor of $Q/n$. Guided by the well-known formula of Vinogradov for the indicator function of the set of primitive elements of a finite field $mathbb{F}_q$, we derive an expression for the indicator function for the set of $(r,n)$-free elements of $mathcal{C}_Q$, i.e., the subset of the subgroup $mathcal{C}_{Q/n}$ comprising elements that are $r$-free in $mathcal{C}_{Q/n}$, i.e., are not $p$-th powers in $mathcal{C}_{Q/n}$ for any prime $p$ dividing $r$. We deduce a general lower bound for the the number of elements $theta in mathbb{F}_q$ for which $f(theta)$ is $(r,n)$-free and $F(theta)$ is $(R,N)$-free, where $f, F inmathbb{F}_q[x]$ and $n,N$ are divisors of $q-1$ with $rmid (q-1)/n$, $Rmid (q-1)/N$. As an application, we consider the existence of $mathbb{F}_q$-primitive points (i.e., points whose coordinates are primitive elements) on curves like $y^n=f(x)$. In particular, elliptic curves $y^2=f(x)$, where $f$ is a square-free cubic, are studied. We find, for example, all the odd prime powers $q$ for which the elliptic curves $y^2=x^3 pm x$ contain an $mathbb{F}_q$-primitive point.



قيم البحث

اقرأ أيضاً

92 - Hai-Liang Wu 2019
Let $p=2n+1$ be an odd prime, and let $zeta_{p^2-1}$ be a primitive $(p^2-1)$-th root of unity in the algebraic closure $overline{mathbb{Q}_p}$ of $mathbb{Q}_p$. We let $ginmathbb{Z}_p[zeta_{p^2-1}]$ be a primitive root modulo $pmathbb{Z}_p[zeta_{p^2 -1}]$ with $gequiv zeta_{p^2-1}pmod {pmathbb{Z}_p[zeta_{p^2-1}]}$. Let $Deltaequiv3pmod4$ be an arbitrary quadratic non-residue modulo $p$ in $mathbb{Z}$. By the Local Existence Theorem we know that $mathbb{Q}_p(sqrt{Delta})=mathbb{Q}_p(zeta_{p^2-1})$. For all $xinmathbb{Z}[sqrt{Delta}]$ and $yinmathbb{Z}_p[zeta_{p^2-1}]$ we use $bar{x}$ and $bar{y}$ to denote the elements $xmod pmathbb{Z}[sqrt{Delta}]$ and $ymod pmathbb{Z}_p[zeta_{p^2-1}]$ respectively. If we set $a_k=k+sqrt{Delta}$ for $0le kle p-1$, then we can view the sequence $$S := overline{a_0^2}, cdots, overline{a_0^2n^2}, cdots,overline{a_{p-1}^2}, cdots, overline{a_{p-1}^2n^2}cdots, overline{1^2}, cdots,overline{n^2}$$ as a permutation $sigma$ of the sequence $$S^* := overline{g^2}, overline{g^4}, cdots,overline{g^{p^2-1}}.$$ We determine the sign of $sigma$ completely in this paper.
180 - Hai-Liang Wu 2020
Determinants with Legendre symbol entries have close relations with character sums and elliptic curves over finite fields. In recent years, Sun, Krachun and his cooperators studied this topic. In this paper, we confirm some conjectures posed by Sun a nd investigate some related topics. For instance, given any integers $c,d$ with $d e0$ and $c^2-4d e0$, we show that there are infinitely many odd primes $p$ such that $$detbigg[left(frac{i^2+cij+dj^2}{p}right)bigg]_{0le i,jle p-1}=0,$$ where $(frac{cdot}{p})$ is the Legendre symbol. This confirms a conjecture of Sun.
Let $mathbb{F}_{q^n}$ be a finite field with $q^n$ elements, and let $m_1$ and $m_2$ be positive integers. Given polynomials $f_1(x), f_2(x) in mathbb{F}_q[x]$ with $textrm{deg}(f_i(x)) leq m_i$, for $i = 1, 2$, and such that the rational function $f _1(x)/f_2(x)$ belongs to a certain set which we define, we present a sufficient condition for the existence of a primitive element $alpha in mathbb{F}_{q^n}$, normal over $mathbb{F}_q$, such that $f_1(alpha)/f_2(alpha)$ is also primitive.
We provide in this paper an upper bound for the number of rational points on a curve defined over a one variable function field over a finite field. The bound only depends on the curve and the field, but not on the Jacobian variety of the curve.
We construct a stacky curve of genus $1/2$ (i.e., Euler characteristic $1$) over $mathbb{Z}$ that has an $mathbb{R}$-point and a $mathbb{Z}_p$-point for every prime $p$ but no $mathbb{Z}$-point. This is best possible: we also prove that any stacky cu rve of genus less than $1/2$ over a ring of $S$-integers of a global field satisfies the local-global principle for integral points.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

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