Abstract:A holomorphic discrete series representation $(L_\pi,H_\pi)$ of a connected semi-simple real Lie group $G$ is associated with an irreducible representation $(\pi,V_{\pi})$ of its maximal compact subgroup $K$. The underlying space $H_\pi$ can be realized as certain holomorphic $V_{\pi}$-valued functions on the bounded symmetric domain $\mathcal{D}\cong G/K$. By the Berezin quantization, we transfer $B(H_{\pi})$ into End$(V_{\pi})$-valued functions on $\mathcal{D}$. For a lattice $\Gamma$ of $G$, we give the formula of a faithful normal tracial state on the commutant $L_\pi(\Gamma)'$ of the group von Neumann algebra $L_{\pi}(\Gamma)''$. We find the Toeplitz operators $T_f$'s associated with essentially bounded End$(V_\pi)$-valued functions $f$'s on $\Gamma\backslash\mathcal{D}$ generate the entire commutant $L_\pi(\Gamma)'$: $$\overline{\{T_f|f\in L^\infty(\Gamma\backslash\mathcal{D},{\rm End}(V_\pi))\}}^{\text{w.o.}}=L_\pi(\Gamma)'.$$ For any cuspidal automorphic form $f$ defined on $G$ (or $\mathcal{D}$) for $\Gamma$, we find the associated Toeplitz-type operator $T_f$ intertwines the actions of $\Gamma$ on these square-integrable representations. Hence the composite operator of the form $T_g^{*}T_f$ belongs to $L_\pi(\Gamma)'$. We prove these operators span $L^{\infty}(\Gamma\backslash\mathcal{D})$ and $$\overline{\langle\{\text{span}_{f,g} T_g^{*}T_f\}\otimes {\rm End}(V_\pi)\rangle}^{\text{w.o.}}=L_\pi(\Gamma)',$$ where $f,g$ run through holomorphic cusp forms for $\Gamma$ of same types. If $\Gamma$ is an infinite conjugacy classes group, we obtain a $\text{II}_1$ factor from cusp forms.

Counting cusp forms by analytic conductor

On the Cuspidal Cohomology of Arithmetic Groups

Counting abelian extensions by Artin-Schreier conductor

Counting locally supercuspidal newforms

Cusp forms without complex multiplication as $p$-adic limits

Subconvex equidistribution of cusp forms: reduction to Eisenstein observables

A Survey of a Random Matrix Model for a Family of Cusp Forms

Actions of Cusp Forms on Holomorphic Discrete Series and Von Neumann Algebras

Geometry-of-numbers methods in the cusp

Multiplicity of nontrivial zeros of primitive L-functions via higher-level correlations

The number of automorphic representations of $\mathrm{GL}_2$ with exceptional eigenvalues

Counting in Lattice Orbits

Equidistribution of cusp forms in the level aspect

Large Sums of Fourier Coefficients of Cusp Forms

Zeros of Rankin–Selberg L-functions in families

Upper Bounds for the Lowest First Zero in Families of Cuspidal Newforms

On higher congruences between cusp forms and Eisenstein series. II

Deterministic comparison of cusp form coefficients over certain sequences

Zeros of Rankin-Selberg $L$-functions in families

Enumeration of Rational Cuspidal Curves via the WDVV equation

Sign changes along geodesics of modular forms