4
$\begingroup$

Question

Say we have a map, C->D, of relative curves over a Dedekind scheme, S. What are some of the available methods for showing that this map has good reduction, or integral reduction, at some s∈S? By this I mean: what are some popular conditions that imply this? What are the tricks people usually use?

Clarification

By a map having good reduction I mean that both Cs and Ds are regular integral curves. By integral reduction I mean that both Cs and Ds are integral curves.

You may assume whatever you want, this is part of the question. Assuming, for example, that C->D is generically Galois; or that D is smooth over S; is legitimate. This is pretty open-ended. Hence, community wiki.

$\endgroup$

2 Answers 2

7
$\begingroup$

You might have a look here.

$\endgroup$
1
  • $\begingroup$ Marvelous! This is exactly what I had in mind. Thank you, and welcome to mathoverflow. $\endgroup$
    – H. Hasson
    Jan 23, 2010 at 18:20
1
$\begingroup$

I don't see why there is a map. Why don't you ask when C/S has good reduction? For this, look at Liu, chapter 10.1.

$\endgroup$
1
  • $\begingroup$ That's because I was hoping for some theorems exhibiting the interplay between good/integral reduction on the bottom and on the top; taking into consideration other conditions, like ramification behavior. $\endgroup$
    – H. Hasson
    Jan 15, 2010 at 14:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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