Modular Dedekind symbols associated to Fuchsian groups and higher-order Eisenstein series (Q2660585)

The classical Kronecker limit formula gives an expression for the first two terms of the Laurent expansion at \(s=1\) of the non-holomorphic Eisenstein series \(E(z,s)\). The next-to-leading order term involves the logarithm of the Dedekind eta function and it was Dedekind himself who determined its modular transformation in terms of what are now known as ``Dedekind sums''. \textit{L. J. Goldstein} [Nagoya Math. J. 50, 21--47 (1973; Zbl 0267.10039)] discovered a far-reaching generalization of Kronecker's limit formula for the non-holomorphic Eisenstein series associated to a general Fuchsian group of the first kind \(\Gamma\) and a cusp \(\mathfrak{a}\) of \(\Gamma\). In particular, he introduced generalized Dedekind sums and studied many of their properties. The present paper is concerned with a further generalization of these works to the case of non-holomorphic Eisenstein series twisted by modular symbols. There is an analogue of the Kronecker limit formula which gives rise to a generalization of the classical Dedekind sums, namely the modular Dedekind symbol, and this is the main object of study in this paper. Among the authors' main results are formulas for the value of modular Dedekind symbols at products of elements in \(\Gamma\) (Theorem 2) as well as rationality results for modular Dedekind symbols for the group \(\Gamma=\Gamma_0(N)\), for certain values of \(N\) (Theorems 4 and 5).