zbMATH — the first resource for mathematics

Hecke operators and distributing points on \(S^2\). II. (English) Zbl 0648.10034
In the very interesting first part [ibid. 39, Special issue, S149–S186 (1986; Zbl 0619.10052)] the authors showed how to construct very evenly distributed sequences on the sphere \(S^ 2\), considering Hecke operators \(T\) on \(L^ 2(S^ 2)\). Of essential importance is an upper bound on the absolute value of the eigenvalue having the second-largest modulus (denoted by \(\lambda_ 1(T)\)).
Let \(S_ p\) be the set of all quaternions \(\alpha =a_ 0+a_ 1i+a_ 2j+a_ 3k\), \(a_ i\in {\mathbb Z}\) with norm \(N(\alpha)=p\), \(a_ 0>0\), \(\alpha\equiv 1\pmod 2\) (\(\text{card}\,S_ p=p+1)\). If \(T_ p: L^ 2(S^ 2)\to L^ 2(S^ 2)\) is defined by \(T_ pf(x)=\sum_{S\in S_ p}f(Sx)\) (\(S\) acts in a natural way as a rotation, using the correspondence of \(\text{SU}(2)\) and \(\text{SO}(3)\)). Generalizing a special result of the first part \((p=5)\) the authors prove that \(\lambda_ 1(T_ p)\leq 2\sqrt{p}\) if \(p\equiv 1\pmod 4\), \(p\) a prime number.
In the next section a more general scheme for producing very well distributed sequences is presented. One starts with a group \(\Gamma\) diagonally embedded in \(G_ 1\times\text{SU}(2)\), where \(G_ 1=\text{PGL}(2,{\mathbb Q}_ p)\) or \(\text{PSL}(2,{\mathbb R})\), and for which the projection of \(\Gamma\) on \(G_ 1\) is discrete and co-compact. If the elements in \(\Gamma\) are ordered by a “lattice type” ordering in \(G_ 1\), the corresponding projections on \(\text{SU}(2)\) give the desired sequences. In the \(p\)-adic case \((p<\infty)\), very good estimates on the spherical cap discrepancy are obtained \((D\ll (\log N^{2/3})/N^{1/3}).\)
This method is not so successful in the hyperbolic case \((p=\infty)\). By a different approach, using techniques from P. D. Lax and R. S. Phillips [J. Funct. Anal. 46, 280–350 (1982; Zbl 0497.30036)] good but quite a bit weaker estimates are obtained. The proofs make essential use of Deligne’s celebrated methods, from his solution of Weil’s conjecture.

11F25 Hecke-Petersson operators, differential operators (one variable)
11F72 Spectral theory; trace formulas (e.g., that of Selberg)
22E45 Representations of Lie and linear algebraic groups over real fields: analytic methods
11K38 Irregularities of distribution, discrepancy
Full Text: DOI
[1] Deligne, Publ. Math. IHES 43 pp 273– (1974) · Zbl 0287.14001
[2] Dickson, Proc. London Math. Soc. (2) 20 pp 225– (1922)
[3] Gelbart, Annals of Math. Studies 83 (1975)
[4] Gelbart, Ann. Sci. Ecole Norm. Sup. 11 pp 471– (1978)
[5] and , Schottky Groups and Mumford Curves, Lecture Notes in Math. 817, Springer, N.Y. 1980.
[6] and , An Introduction to the Theory of Numbers, Claredon Press, 1978 (Fifth edition).
[7] Kneser, Proc. Symp. Pure Math. pp 187– (1966)
[8] Lax, J. Funct. Anal. 46 pp 280– (1982)
[9] Lubotzky, Comm. Pure and Applied Math. 34 pp s149– (1986)
[10] Modular Forms and Dirichlet Series, N. A. Benjamin Inc., New York, 1969. · Zbl 0191.38101
[11] Sarnak, Acta Math. 151 pp 255– (1983)
[12] Selberg, Proc. of Symp. Pure Math. 8 pp 1– (1965)
[13] Trees, Springer Verlag, Berlin-New York, 1980.
[14] Arithmétique de’ Algèbres de Quaternions, Lecture Notes in Math. 800, Springer, N.Y., 1980.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.