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

This is a somewhat vague question which came up MSRI a few days ago: Suppose I have a family of curves over a one dimensional base, given in a computationally explicit way. For example, maybe I have a family F_t(x,y,z) of homogenous polynomials, whose coefficients are polynomials in t, and which cut out smooth curves for t \neq 0.

Is there an algorithmically practical way to write down the limit of this family in \overline{M}_g?

share|improve this question

2 Answers 2

up vote 4 down vote accepted

If your curves are in P^n (specifically in P^2 - as in your example), I think there is something you can do: project your curves from a general P^{n-2} to P^1. This means that you are now looking for a limit in a Hurwitz scheme. This can be broken into two problems:

  • looking for the limit on the underlying M_{0,n}

  • tracing the ramification structure.

Here is an example: find the limit of F+t Q^2 where F is a plane quartic, and Q is a plane quadric.

Project from your favorite random point. You can verify that the limit of the ramification points on the family are

  • the eight intersection points of F and Q

  • twice on each of ramification points of the projection of p from Q.

From here you can continue in a variety of ways (e.g. you have a pencil of g^1_4 s on the limit curve which break through a map from the limit curve to a plane conic, which has 8 ramification points)

share|improve this answer
    
Thanks! This is a particularly nice answer because (1) I have implemented algorithms for step 1 in the past (although not very good ones) and (2) I am at MSRI right now, so I can continue the conversation. –  David Speyer Nov 30 '09 at 14:57
    
A recent paper of Arzdorf and Wewers arxiv.org/abs/1211.4624 adds some details to this proposal. –  David Speyer May 18 at 2:30

This answers a variant of your question.

The analogous problem in number theory -- computing a regular proper minimal model of a curve over Q at a prime p -- is hard. For genus 1 this is Tate's algorithm, for genus 2 this is done in a paper of Qing Liu and requires a lot of work. For higher genus (even hyperelliptic) curves I believe this is still open and probably too hard to do.

However, this is a much harder problem than semistable reduction (for instance in the genus 1 case the primes dividing the denominator of the j-invariant are exactly the primes of potentially semistable reduction).

share|improve this answer

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.