Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $f$ be a modular function on the upper half-plane, $\rho = e^{2\pi i/3}$ and $v_\rho(f)$ the order of $f$ at $\rho$, i.e. the integer $n$ such that $f/(z-\rho)^n$ is holomorphic and non-zero at $\rho$. Then by the residue theorem we have $\frac1{2i\pi} \oint_{\mathcal{C}_r} \frac{f^\prime}{f}dz = -v_\rho(f)$, where $\mathcal{C}_r$ is a circle around $\rho$ with radius $r$ and $r$ sufficiently small.

Let $B_r$ and $B^\prime_r$ be the points of intersection of $\mathcal{C}_r$ and the fundamental domain of $PSL_2(\mathbb{Z})$. How can we derive that $\lim\limits_{r\to 0} \int_B^{B^\prime} \frac{f^\prime}{f}dz = -\frac{1}{6}v_\rho(f)$. This is used in "A Course in Arithmetic" by Serre, p. 86.

share|cite|improve this question

It's certainly not true in general: try it e.g. with $f(z) = z+1$, $C$ the circle with centre 0 and radius 2. There must be some symmetry that you're not telling us about.

share|cite|improve this answer
OK, in those cases where it is true, what can be deduced about $f$? – Michael Hardy Aug 24 '11 at 2:07
If I'm not mistaken, we must have $f(z) = c z^n \exp(h(z^6))$ for some constant $c$, integer $n$ and meromorphic $h$. – Robert Israel Aug 24 '11 at 7:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.