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

To say that I am a novice at deformation theory is to grossly overestimate my abilities in this area. I've come across the following theorem in a paper, and I'd like to know how far one is able to generalize it:

Theorem

Let $R$ be a complete DVR, $X$ a proper smooth curve over $R$, and $D$ a simple divisor on $X$. Let $\bar f:\bar Y\rightarrow \bar X$ be a tame covering of $\bar X$ with branch locus contained in Supp($\bar D$). Then there exists a unique lifting of $\bar f$ to a D-tame covering $f:Y\rightarrow X$. In addition, $f$ is a tame covering of $X$, and the branch locus of $f$ is contained in Supp($D$).

Notation

I'm not really sure how much of it is standard, so here's what I mean by the terms in the theorem:

A simple divisor on $X$ - a divisor that has no multiple components when base-changed to any geometric point of the base scheme.

Tame covering of integral varieties over a field ($f:\bar Y\rightarrow \bar X$ in our theorem) - what you think: the ramification indices in codim 1 are coprime to the characteristic.

D-tame covering of schemes over a DVR ($f:Y\rightarrow X$ in the theorem) - if for every (natural number) $k$, base change to $R/m^k$ is $D\times_{R}R/m^k$ -tame in the following sense:

D-tame covering of schemes over an Artin local ring, $\Lambda$ ($R/m^k$ in the previous notation) - a finite, flat morphism which is etale away from Supp($D$)., and such that if $x$ is in Supp($D$), and t is a local equation for D at $x$, then $f_\ast(O_Y)_x$ is a t-tame extension of $O_x(X)$. What's that? $A'$ in the following, plays the role of $O_x(X)$ here.

t-tame extensions of a ring $A'$ s.t. $A'/Nil(A')$ is a DVR with parameter $\check t$ (and assume (0) is primary in $Spec(A')$, meaning $Spec(A')$ has no imbedded components)- tame when base changed to $A'/tA'$ (where $t$ is some element going to $\check t$). $A'/tA'$ is an Artin ring. So what do I mean by tameness of extensions over Artin rings? Well:

A tame extension of an Artin ring $\Lambda$ - it is a (finite) product of $\Gamma_i$'s, such that for each $\Gamma_i$ it is free over $\Lambda$ of rank $e_if_i$; the extension of residue fields is $f_i$; $e_i$ is prime to the characterstic of the residue field of $\Lambda$; and $\Gamma_i$ contains a principal ideal $J$ such that $J^{e_i}$=0, and such that $\Gamma_i/J$ is free over $\Lambda$ of rank $f$.

Question

Phew, that was a lot of work... So - other than finding the whole thing very confusing, here is a concrete set of questions:

1. Can this be generalized to $X$ a higher dimensional scheme?

2. What would be a good reference to read for this type of deformation theory?

3. Well - just about any insight and context you can give would be great (whether deformation theoretic or about the various generalizations of tameness here.)

This is a bit long winded, but if nothing else - it was good exercise for me to write this.

share|improve this question
    
"A simple divisor on X - a divisor that has no multiple components when base-changed to any geometric point of X.". Do you really mean that? –  Kevin Buzzard Mar 6 '10 at 19:42
    
Whoops, no. I'll edit that. –  Randy Brown Mar 6 '10 at 19:44
add comment

2 Answers

up vote 3 down vote accepted

A paper I'm reading now is a PERFECT reference for this: "Deformation of tame admissible covers of curves" by Stefan Wewers is written in an expository style. (corollary 3.1.3 is exactly the theorem stated in the question.)

share|improve this answer
add comment

I think Grothendieck-Murre "The tame fundamental group of a formal neighbourhood of a divisor with normal crossings on a scheme" LNM 208 (1971) gives the higher dimensional generalization you're looking for.

share|improve this answer
    
Thanks! I'll give it a look-see. –  Randy Brown Mar 6 '10 at 19:34
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.