Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I recently read that Grothendieck originally introduced the etale site of a scheme as an analog of the formation of Riemann surfaces over the complex numbers (the salient point being that the latter is the proper setting in which to consider multi-valued functions). However, morphisms of Riemann surfaces generally have ramification points, and so in particular they aren't etale. On the other hand, if we know that a morphism of Riemann surfaces is a ramified cover, then its restriction to the unramified locus uniquely determines the full ramified covering. So, my questions are:

  1. Should this additional fact be taken as part of the analogy? That is, does "importing the theory of Riemann surfaces" really mean "importing the theory of unramified maps of (possibly punctured) Riemann surfaces"?
  2. Is the analogous fact true for schemes (i.e., something along the lines of "an etale cover of the complement of a closed set [perhaps satisfying certain properties$^*$] extends uniquely to a ramified covering")?

Of course, I suppose a positive answer to #2 would make #1 irrelevant...


$^*$ for Riemann surfaces, I think this should just be that the covering has finitely many sheets

share|improve this question
    
Have you looked on Milne's book? –  Bombyx mori Oct 16 '12 at 13:11
    
I don't have his book, but I did check his lecture notes (although they're mostly about varieties, not schemes). I wasn't able to find anything quite like what I'm asking about. –  Aaron Mazel-Gee Oct 18 '12 at 0:33
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.