摘要
设$\Gamma$是$\mathrm的主同余子群{SL}_n并让$\sigma$是$\mathrm{SO}（n）$的不可约幺正表示。设$N^\Gamma_{\mathrm{cu}}（\lambda，\sigma）$是根据$\sigma$在$\mathrm{SO}（N）$下变换的$\Gamma$在尖形式空间中作用的Casimir算子的特征值的计数函数。本文证明了计数函数$N^\Gamma{\mathrm{cu}}（\lambda，\sigma）$满足Weyl定律。特别地，这意味着全模群$\mathrm存在无穷多个尖点形式{SL}_n（\mathbb{Z}）$。
