MathOverflow is a question and answer site for professional mathematicians. 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

I am reading section 14, A Finiteness Theorem of Otto Forster's book Lectures on Riemann Surfaces, and come across a problem on Theorem 14.15 on page 117. In the proof Forster introduces a function

$$F=\det(f\delta_{\nu\mu}-c_{\nu\mu})_{\nu\mu} $$

which is holomorphic, where $f$ is holomorphic, but I don't know why it follows that $F\xi_\nu\mid_Y=0$. I am wondering whether we should replace $F$ with the matrix $(f\delta_{\nu\mu}-c_{\nu\mu})$, but since the proof relies heavily on this claim, I get puzzled. Is there something wrong or am I misunderstanding some stuff? How should I understand this theorem?

share|cite|improve this question
The argument is similar to the proof of Nakayama's lemma .Take everything on (1) to one side and multiply by the adjugate matrix. t – Mohan Ramachandran Apr 8 '13 at 18:34

I found that argument confusing too. If you choose a basis $\xi_{\mu}$ of eigenvectors of $C=(c_{\mu \nu})$, you can arrange that $C$ is in Jordan normal form. Then we get that $F=\det(fI-C)$ is the product of all determinants of the various blocks, and so multiplied by any generalized eigenvector of $C$ gives us $0$ because it applies $f-\lambda$ (where $\lambda$ is the eigenvalue) enough times to kill the generalized eigenvector: $(f-\lambda)^k \xi_{\nu} = (C-\lambda I)^k \xi_{\nu}=0$ if $k$ is as large as the size of the Jordan block that $\xi_{\nu}$ belongs to. Check this carefully, because I haven't thought about Forster's book in a long time (and because my first answer was wrong).

share|cite|improve this answer
Thank you so much, Professor Ben Mckay. I will check this out. Actually, I am taking part in a reading course where Forster's book is assigned as the textbook. It's a wonderful book, despite those two problems I have asked, and maybe more. Since you are both familiar with Forster's book and with Riemann surfaces, is there any other nice books you can recommend me to take as a reference? I really appreciate your help and hope to hear from you! – xuxuzhu Apr 8 '13 at 16:11
Dror Varolin's book Riemann Surfaces by Way of Analytic Geometry is a very different approach: no sheaves, just line bundles, but with more analysis. Dror's book seems to lead naturally to Demailly's very heavy book on Complex Analytic and Differential Geometry. – Ben McKay Apr 8 '13 at 17:34
Thanks a lot! I think the two books you provided seem to be much more readable for me. – xuxuzhu Apr 10 '13 at 3:48

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.