5
$\begingroup$

Let $\eta(\omega)$ be the Dedekind eta function and let $$\mathfrak f(w)=e^{-\pi i/24}\frac{\eta((\omega+1)/2)}{\eta(\omega)}.$$

In his paper On the “gap” in a theorem of Heegner, Stark fills the gap in the Heegner's proof by producing a certain transformation equation for the function $\mathfrak f(\omega)^{24}$. In order to do this, he considers the following set of functions (where $n \geq 1$ is odd and $k \geq1$ divisible by $3$)

$$\mathcal F(n,k)=\bigg\lbrace \mathfrak f(\frac{r\omega+s}{t})^k\mathfrak f(\omega)^{23nk}:r,s,t \in \mathbb Z\bigg\rbrace$$

the numbers $r,s,t$ satisfying $$r>0,\\ 16 \mid s,\\0 \leq s \leq 16t,\\rt=n,\\(r,s,t)=1.$$

Now Stark claims that the set $\mathcal F(n,k)$ is permuted under the transformations $$\omega \mapsto \omega +2,\\\omega \mapsto -1/\omega .$$

These two transformations generate a congruence subgroup $G$ of the modular group of level $2$ and index $3$. We know how the function $\eta(\omega)$ transforms under the modular group, thus we can infer the behavior of $\mathfrak f(\omega)$ under $G$. How can we investigate the properties of the functions $$\mathfrak f \circ \begin{pmatrix} r & s \\ 0 & t \end{pmatrix}$$ under the action of $G$? Stark refers to Section 73 of Weber's Lehrbuch der Algebra but unfortunately I don't speak German. Is there some English reference?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.