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.

H. P. F. Swinnerton-Dyer determined the structure of the ring of modular forms modulo p in the elliptic modular case. In this paper, the structure of the ring of Hilbert modular forms modulo p is studied. In the case where the discriminant of corresponding quadratic field is 8 (or 5), the explicit structure is determined.

Let $p$ be an odd prime and $c$ a fixed integer with $(c,p)=1$. For each integer $a$ with $1\le a\le p-1$, it is clear that there exists one and only one $b$ with $0\le b\le p-1$ such that $ab\equiv c$ (mod $p$). Let $N(c,p)$ denote the number of all solutions of the congruence equation $ab\equiv c$ (mod $p$) for $1\le a$, $b\le p-1$ in which $a$ and $\overline{b}$ are of opposite parity, where $\overline{b}$ is defined by the congruence equation $b\overline{b}\equiv 1(modp)$. The main purpose of this paper is to use the properties of Dedekind sums and the mean value theorem for Dirichlet $L$-functions to study the hybrid mean value problem involving...

For a fixed integer $k\ge 3$, and fixed $\frac{1}{2}\<\sigma \<1$ we consider$${\int }_1^T{\left|\zeta (\sigma +it)\right|}^{2k}dt=\sum _{n=1}^{\infty }{d}_k^2\left(n\right)n^{-2\sigma }T+R(k,\sigma ;T),$$where $R(k,\sigma ;T)=0\left(T\right)(T\to \infty )$ is the error term in the above asymptotic formula. Hitherto the sharpest bounds for $R(k,\sigma ;T)$ are derived in the range min $({\beta }_k,{\sigma }_k^{*})\<\sigma \<1$. We also obtain new mean value results for the zeta-function of holomorphic cusp forms and the Rankin-Selberg series.