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.

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 $E/F$ be a modular elliptic curve defined over a totally real number field $F$ and let $\phi$ be its associated eigenform. This paper presents a new method, inspired by a recent work of Bertolini and Darmon, to control the rank of $E$ over suitable quadratic imaginary extensions $K/F$. In particular, this argument can also be applied to the cases not covered by the work of Kolyvagin and Logachëv, that is, when $[F:\mathbb{Q}]$ is even and $\phi$ not new at any prime.

Let $f$ be a non-CM newform of weight $k\ge 2$. Let $L$ be a subfield of the coefficient field of $f$. We completely settle the question of the density of the set of primes $p$ such that the $p$-th coefficient of $f$ generates the field $L$. This density is determined by the inner twists of $f$. As a particular case, we obtain that in the absence of nontrivial inner twists, the density is $1$ for $L$ equal to the whole coefficient field. We also present some new data on reducibility of Hecke polynomials, which suggest questions...