Let ${\lambda }_f\left(n\right)$ be the nth normalized Fourier coefficient of a holomorphic Hecke eigenform $f\left(z\right)\in S_k\left(\Gamma \right)$. We establish that ${\sum }_{n\le x}{\lambda }_f^2\left(n^j\right)=c_{j}x+O\left(x^{1-2/({(j+1)}^2+1)}\right)$ for j = 2,3,4, which improves the previous results. For j = 2, we even establish a better result.

Suppose that $f$ is a primitive Hecke eigenform or a Mass cusp form for ${\Gamma }_0\left(N\right)$ with normalized eigenvalues ${\lambda }_f\left(n\right)$ and let $X>1$ be a real number. We consider the sum $${𝒮}_k\left(X\right):=\sum _{n<X}\sum _{n=n_1,n_2,...,n_k}{\lambda }_f\left(n_1\right){\lambda }_f\left(n_2\right)...{\lambda }_f\left(n_k\right)$$ and show that ${𝒮}_k\left(X\right){\ll }_{f,ϵ}{X}^{1-3/\left(2\right(k+3\left)\right)+ϵ}$ for every $k\ge 1$ and $ϵ>0$. The same problem was considered for the case $N=1$, that is for the full modular group in Lü (2012) and Kanemitsu et al. (2002). We consider the problem in a more general setting and obtain bounds which are better than those obtained by the classical result of Landau (1915) for $k\ge 5$. Since the result is valid...

Let $f$ be a normalized primitive holomorphic cusp form of even integral weight for the full modular group $\Gamma =\mathrm{SL}(2,\mathbb{Z})$. Denote by ${\lambda }_f\left(n\right)$ the $n$th normalized Fourier coefficient of $f$. We are interested in the average behaviour of the sum $$\sum _{a^2+b^2\le x}{\lambda }_f^j(a^2+b^2)$$ for $x\ge 1$, where $a,b\in \mathbb{Z}$ and $j\ge 9$ is any fixed positive integer. In a similar manner, we also establish analogous results for the normalized coefficients of Dirichlet expansions of associated symmetric power $L$-functions and Rankin-Selberg $L$-functions.

Let $F$ be an imaginary quadratic field and $𝒪$ its ring of integers. Let $𝔫\subset 𝒪$ be a non-zero ideal and let $p\&gt;5$ be a rational inert prime in $F$ and coprime with $𝔫$. Let $V$ be an irreducible finite dimensional representation of ${\overline{𝔽}}_p\left[{\mathrm{GL}}_2\left({𝔽}_{p^2}\right)\right]$. We establish that a system of Hecke eigenvalues appearing in the cohomology with coefficients in $V$ already lives in the cohomology with coefficients in ${\overline{𝔽}}_p\otimes de{t}^e$ for some $e\ge 0$; except possibly in some few cases.

Let k and n be positive even integers. For a cuspidal Hecke eigenform h in the Kohnen plus space of weight k - n/2 + 1/2 for Γ₀(4), let f be the corresponding primitive form of weight 2k-n for SL₂(ℤ) under the Shimura correspondence, and Iₙ(h) the Duke-Imamoḡlu-Ikeda lift of h to the space of cusp forms of weight k for Spₙ(ℤ). Moreover, let ${\varphi }_{Iₙ\left(h\right),1}$ be the first Fourier-Jacobi coefficient of Iₙ(h), and ${\sigma }_{n-1}\left({\varphi }_{Iₙ\left(h\right),1}\right)$ be the cusp form in the generalized Kohnen plus space of weight k - 1/2 corresponding to...

Let $f$, $g$ and $h$ be three distinct primitive holomorphic cusp forms of even integral weights $k_1$, $k_2$ and $k_3$ for the full modular group $\Gamma =\mathrm{SL}(2,\mathbb{Z})$, respectively, and let ${\lambda }_f\left(n\right)$, ${\lambda }_g\left(n\right)$ and ${\lambda }_h\left(n\right)$ denote the $n$th normalized Fourier coefficients of $f$, $g$ and $h$, respectively. We consider the cancellations of sums related to arithmetic functions ${\lambda }_g\left(n\right)$, ${\lambda }_h\left(n\right)$ twisted by ${\lambda }_f\left(n\right)$ and establish the following results: $$\sum _{n\le x}{\lambda }_f\left(n\right){\lambda }_g{\left(n\right)}^i{\lambda }_h{\left(n\right)}^j{\ll }_{f,g,h,\epsilon }{x}^{1-1/2^{i+j}+\epsilon }$$ for any $\epsilon >0$, where $1\le i\le 2$, $j\ge 5$ are any fixed positive integers.

Let $f$ be a Hecke–Maass cusp form of eigenvalue $\lambda$ and square-free level $N$. Normalize the hyperbolic measure such that $\mathrm{vol}\left(Y_0\left(N\right)\right)=1$ and the form $f$ such that ${\parallel f\parallel }_2=1$. It is shown that ${\parallel f\parallel }_{\infty }{\ll }_{ϵ}{\lambda }^{\frac{5}{24}+ϵ}{N}^{\frac{1}{3}+ϵ}$ for all $ϵ>0$. This generalizes simultaneously the current best bounds in the eigenvalue and level aspects.

We investigate the average behavior of the $n$th normalized Fourier coefficients of the $j$th ($j\ge 2$ be any fixed integer) symmetric power $L$-function (i.e., $L(s,{\mathrm{sym}}^{j}f)$), attached to a primitive holomorphic cusp form $f$ of weight $k$ for the full modular group $SL(2,\mathbb{Z})$ over certain sequences of positive integers. Precisely, we prove an asymptotic formula with an error term for the sum $$S_j^{*}:=\sum _{a_1^2+a_2^2+a_3^2+a_4^2+a_5^2+a_6^2\le x(a_1,a_2,a_3,a_4,a_5,a_6)\in {\mathbb{Z}}^6}{\lambda }_{{\mathrm{sym}}^{j}f}^2(a_1^2+a_2^2+a_3^2+a_4^2+a_5^2+a_6^2),$$ where $x$ is sufficiently large, and $$L(s,{\mathrm{sym}}^{j}f):=\sum _{n=1}^{\infty }\frac{{\lambda }_{{\mathrm{sym}}^{j}f}\left(n\right)}{n^s}.$$ When $j=2$, the error term which we obtain improves the earlier known result.

Let $j\ge 2$ be a given integer. Let $H_k^{*}$ be the set of all normalized primitive holomorphic cusp forms of even integral weight $k\ge 2$ for the full modulo group $\mathrm{SL}(2,\mathbb{Z})$. For $f\in H_k^{*}$, denote by ${\lambda }_{{\mathrm{sym}}^{j}f}\left(n\right)$ the $n$th normalized Fourier coefficient of $j$th symmetric power $L$-function ($L(s,{\mathrm{sym}}^{j}f)$) attached to $f$. We are interested in the average behaviour of the sum $$\sum _{\genfrac{}{}{0pt}{}{n=a_1^2+a_2^2+a_3^2+a_4^2+a_5^2+a_6^2\le x}{(a_1,a_2,a_3,a_4,a_5,a_6)\in {\mathbb{Z}}^6}}{\lambda }_{{\mathrm{sym}}^{j}f}^2\left(n\right),$$ where $x$ is sufficiently large, which improves the recent work of A. Sharma and A. Sankaranarayanan (2023).

Let $f={\sum }_{n=1}^{\infty }a\left(n\right)q^n\in S_{k+1/2}(N,{\chi }_0)$ be a nonzero cuspidal Hecke eigenform of weight $k+\frac{1}{2}$ and the trivial nebentypus ${\chi }_0$, where the Fourier coefficients $a\left(n\right)$ are real. Bruinier and Kohnen conjectured that the signs of $a\left(n\right)$ are equidistributed. This conjecture was proved to be true by Inam, Wiese and Arias-de-Reyna for the subfamilies ${\left\{a\left(t{n}^2\right)\right\}}_n$, where $t$ is a squarefree integer such that $a\left(t\right)\ne 0$. Let $q$ and $d$ be natural numbers such that $(d,q)=1$. In this work, we show that ${\left\{a\left(t{n}^2\right)\right\}}_n$ is equidistributed over any arithmetic progression $n\equiv dmodq$.

Let $E$ and $f$ be an Eisenstein series and a cusp form, respectively, of the same weight $k\ge 2$ and of the same level $N$, both eigenfunctions of the Hecke operators, and both normalized so that $a_1\left(f\right)=a_1\left(E\right)=1$. The main result we prove is that when $E$ and $f$ are congruent mod a prime $𝔭$ (which we take in this paper to be a prime of $\overline{\mathbb{Q}}$ lying over a rational prime $p\&gt;2$), the algebraic parts of the special values $L(E,\chi ,j)$ and $L(f,\chi ,j)$ satisfy congruences mod the same prime. More explicitly, we prove that, under certain conditions, ...

CONTENTSIntroduction.......................................................................................61. Definition of certain special forms...........................................62. Statement of results...................................................................83. Proof of Theorem 2.....................................................................94. Preliminaries for Theorem 1.....................................................105. Further preliminaries for Theorem...