arXiv subjects

Sulakashna

Publications and source records attributed to Sulakashna.

6 recordsLinked to original sources

arXiv2024

Generalized twisted Edwards curves over finite fields and hypergeometric functions

Let $\mathbb{F}_q$ be a finite field with $q$ elements. For $a,b,c,d,e,f \in \mathbb{F}_q^{\times}$, denote by $C_{a,b,c,d,e,f}$ the family of algebraic curves over $\mathbb{F}_q$ given by the affine equation \begin{align*} C_{a,b,c,d,e,f}:ay^2+bx^2+cxy=d+ex^2y^2+fx^3y. \end{align*} The family of generalized twisted Edwards curves is a subfamily of $C_{a,b,c,d,e,f}$. Let $\#C_{a,b,c,d,e,f}(\mathbb{F}_q)$ denote the number of points on $C_{a,b,c,d,e,f}$ over $\mathbb{F}_q$. In this article, we find certain expressions for $\#C_{a,b,c,d,e,f}(\mathbb{F}_q)$ when $af=ce$. If $c^2-4ab\neq 0$, we express $\#C_{a,b,c,d,e,f}(\mathbb{F}_q)$ in terms of a $p$-adic hypergeometric function $\mathbb{G}(x)$ whose values are explicitly known for all $x\in \mathbb{F}_q$. Next, if $c^2-4ab=0$, we express $\#C_{a,b,c,d,e,f}(\mathbb{F}_q)$ in terms of another $p$-adic hypergeometric function and then relate it to the traces of Frobenius endomorphisms of a family of elliptic curves. Furthermore, using the known values of the hypergeometric functions, we deduce some nice formulas for $\#C_{a,b,c,d,e,f}(\mathbb{F}_q)$.

math.NT↗

arXiv2024

$p$-Adic hypergeometric functions and certain weight three newforms

For an odd prime $p$ and a positive integer $n$, let ${_n}G_n[\cdots]_p$ denote McCarthy's $p$-adic hypergeometric function. In this article, we prove $p$-adic analogue of certain classical hypergeometric identities and using these identities we express the $p$-th Fourier coefficient of certain weight three newforms in terms of special values of ${_3}G_3[\cdots]_p$. Rodriguez-Villegas conjectured certain supercongruences between values of truncated hypergeometric series and the $p$-th Fourier coefficients of these newforms. As a consequence of our main results, we obtain another proof of these supercongruences which were earlier proved by Mortenson and Sun.

math.NT↗

arXiv2023

$p$-Adic hypergeometric functions and the trace of Frobenius of elliptic curves

Let $p$ be an odd prime and $q=p^r$, $r\geq 1$. For positive integers $n$, let ${_n}G_n[\cdots]_q$ denote McCarthy's $p$-adic hypergeometric functions. In this article, we prove an identity expressing a ${_4}G_4[\cdots]_q$ hypergeometric function as a sum of two ${_2}G_2[\cdots]_q$ hypergeometric functions. This identity generalizes some known identities satisfied by the finite field hypergeometric functions. We also prove a transfomation that relates ${_{n+2}}G_{n+2}[\cdots]_q$ and ${_n}G_n[\cdots]_q$ hypergeometric functions. Next, we express the trace of Frobenius of elliptic curves in terms of special values of ${_4}G_4[\cdots]_q$ and ${_6}G_6[\cdots]_q$ hypergeometric functions. Our results extend the recent works of Tripathi and Meher on the finite field hypergeometric functions to wider classes of primes.

math.NT↗

arXiv2023

Diagonal hypersurfaces and elliptic curves over finite fields and hypergeometric functions

Let $D_\lambda^{d,k}$ denote the family of diagonal hypersurface over a finite field $\mathbb{F}_q$ given by \begin{align*} D_\lambda^{d,k}:X_1^d+X_2^d=\lambda dX_1^kx_2^{d-k}, \end{align*} where $d\geq2$, $1\leq k\leq d-1$, and $\gcd(d,k)=1$. Let $\#D^{d,k}_\lambda$ denote the number of points on $D_\lambda^{d,k}$ in $\mathbb{P}^{1}(\mathbb{F}_q)$. It is easy to see that $\#D_\lambda^{d,k}$ is equal to the number of distinct zeros of the polynomial $y^d-d\lambda y^k+1\in \mathbb{F}_q[y]$ in $\mathbb{F}_q$. In this article, we prove that $\#D^{d,k}_\lambda$ is also equal to the number of distinct zeros of the polynomial $y^{d-k}(1-y)^k-(d\lambda)^{-d}$ in $\mathbb{F}_q$. We express the number of distinct zeros of the polynomial $y^{d-k}(1-y)^k-(d\lambda)^{-d}$ in terms of a $p$-adic hypergeometric function. Next, we derive summation identities for the $p$-adic hypergeometric functions appearing in the expressions for $\#D^{d,k}_\lambda$. Finally, as an application of the summation identities, we prove identities for the trace of Frobenius endomorphism on certain families of elliptic curves.

math.NT↗

arXiv2022

Number of $\mathbb{F}_q$-points on Diagonal hypersurfaces and hypergeometric function

Let $D_\lambda^d$ denote the family of monomial deformations of diagonal hypersurface over a finite field $\mathbb{F}_q$ given by \begin{align*} D_\lambda^d: X_1^d+X_2^d+\cdots+X_n^d=\lambda d X_1^{h_1}X_2^{h_2}\cdots X_n^{h_n}, \end{align*} where $d,n\geq2$, $h_i\geq1$, $\sum_{i=1}^n h_i=d$, and $\gcd(d,h_1,h_2,\ldots, h_n)=1$. The Dwork hypersurface is the case when $d=n$, that is, $h_1=h_2=\cdots =h_n=1$. Formulas for the number of $\mathbb{F}_q$-points on the Dwork hypersurfaces in terms of McCarthy's $p$-adic hypergeometric functions are known. In this article we provide a formula for the number of $\mathbb{F}_q$-points on $D_\lambda^d$ in terms of McCarthy's $p$-adic hypergeometric function which holds for $d\geq n$.

math.NT↗

arXiv2022

Certain transformations and values of p-adic hypergeometric functions

We prove two transformations for the $p$-adic hypergeometric functions which can be described as $p$-adic analogues of a Euler's transformation and a transformation of Clausen. We first evaluate certain character sums, and then relate them to the $p$-adic hypergeometric functions to deduce the transformations. We use a character sum identity proved by Ahlgren, Ono, and Penniston to deduce the $p$-adic Clausen's transformation. We also deduce special values of certain $p$-adic hypergeometric functions.

math.NT↗