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.

Improve this question
$\endgroup$

2 Answers 2

Reset to default
7
$\begingroup$

You might have a look here.

Improve this answer
$\endgroup$
1
  • $\begingroup$ Marvelous! This is exactly what I had in mind. Thank you, and welcome to mathoverflow. $\endgroup$
    – H. Hasson
    Commented 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.

Improve this answer
$\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
    Commented Jan 15, 2010 at 14:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .