We establish a strong connection between buildings and Hecke algebras through the study of two algebras of averaging operators on buildings. To each locally finite regular building we associate a natural algebra B of chamber set averaging operators, and when the building is affine we also define an algebra A of vertex set averaging operators. In the affine case, it is shown how the building gives rise to a combinatorial and geometric description of the Macdonald spherical functions, and of the centers of affine Hecke algebras. The algebra homomorphisms from A into the complex numbers are studied, and some associated spherical harmonic analysis is conducted. This generalises known results concerning spherical functions on groups of p-adic type. As an application of this spherical harmonic analysis we prove a local limit theorem for radial random walks on affine buildings.

We establish a strong connection between buildings and Hecke algebras through the study of two algebras of averaging operators on buildings. To each locally finite regular building we associate a natural algebra B of chamber set averaging operators, and when the building is affine we also define an algebra A of vertex set averaging operators. In the affine case, it is shown how the building gives rise to a combinatorial and geometric description of the Macdonald spherical functions, and of the centers of affine Hecke algebras. The algebra homomorphisms from A into the complex numbers are studied, and some associated spherical harmonic analysis is conducted. This generalises known results concerning spherical functions on groups of p-adic type. As an application of this spherical harmonic analysis we prove a local limit theorem for radial random walks on affine buildings.

京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第20881号 / 理博第4333号 / 新制||理||1622(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 梅田 亨, 教授 上 正明, 教授 雪江 明彦 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

Es sei Γ eine torsionsfreie arithmetische Untergruppe der symplektischen Gruppe Sp(n,R), die auf dem Siegelschen oberen Halbraum H_n vom Grad n wirkt. Wir betrachten den d-dimensionalen Raum der Siegelschen Spitzenformen vom Gewicht k zur Gruppe Γ, mit einer Orthonormalbasis {f_1,…,f_d}. In der vorliegenden Dissertation zeigen wir mit Hilfe des Wärmeleitungskerns, dass die Supremumsnorm von S_k(Z):=det(Y)^k (|f_1(Z)|^2+…+|f_d(Z)|^2) (Z∈H_n) für n=2 ohne zusätzliche Bedingungen und für n>2 unter Annahme einer vermuteten Determinanten-Ungleichung nach oben beschränkt ist. Wenn M:=Γ\H_n kompakt ist, dann ist die obere Schranke durch c_(n,Γ) k^{n(n+1)/2} gegeben. Wenn M nicht kompakt und von endlichem Volumen ist, dann ist die obere Schranke durch c_(n,Γ) k^{3n(n+1)/4} gegeben. In beiden Fällen ist c_(n,Γ) eine positive reelle Konstante, die nur vom Grad n und der Gruppe Γ abhängt. Wir zeigen weiter, dass die obere Schranke in dem Sinne gleichmäßig ist, dass bei fixierter Gruppe Γ_0 die Konstante c_(n,Γ) für Untergruppen Γ von endlichem Index nur vom Grad n und der Gruppe Γ_0 abhängt. / Let Γ be a torsion-free arithmetic subgroup of the symplectic group Sp(n,R) acting on the Siegel upper half-space H_n of degree n. Consider the d-dimensional space of Siegel cusp forms of weight k for Γ with an orthonormal basis {f_1,…,f_d}. In this thesis we show using the heat kernel method that for n=2 unconditionally and for n>2 subject to a conjectural determinant-inequality, the sup-norm of the quantity S_k(Z):=det(Y)^k (|f1(Z)|^2+…+|f_d(Z)|^2) (Z∈H_n) is bounded above by c_(n,Γ) k^{n(n+1)/2} when M:=Γ\H_n is compact and by c_(n,Γ) k^{3n(n+1)/4} when M is non-compact of finite volume, where c_(n,Γ) denotes a positive real constant depending only on the degree n and the group Γ. Furthermore, we show that this bound is uniform in the sense that if we fix a group Γ_0 and take Γ to be a subgroup of Γ_0 of finite index, then the constant c_(n,Γ) in these bounds depends only on the degree n and the fixed group Γ_0.