Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
    
(TeX comment) Insert a missing dollar sign to make the question readable. –  P Vanchinathan Apr 8 '13 at 9:57
1  
It's not a missing dollar sign. Actually I can fix it by escaping (with a backslash) two of the underscores, but I do NOT understand why that ought to work, hence I'm leaving the question as is. Someone more familiar with the inner workings of jsMath should look at it. –  José Figueroa-O'Farrill Apr 8 '13 at 10:23
    
It can also be fixed by enclosing a few of the pieces of MathJax with backticks, e.g. (dollar sign)...(dollar sign), but since this hack will not work on the Stack Exchange network, I'm hesitant to add to what is already a daunting problem (given how commonly this has been used in the past on MO). See here for an example of how math inside backticks appears on the SE network: math.stackexchange.com/questions/354677/… –  Zev Chonoles Apr 8 '13 at 12:12
    
Actually I asked the very same question again, and corrected the terrible math writing by simply adding "`" in front of every dollar sign just as suggested. I don't know why, and it seems to happen when you type subscripts。 –  xuxuzhu Apr 8 '13 at 16:15
1  
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
add comment

1 Answer

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|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
add comment

Your Answer

 
discard

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.