Re: [sage-devel] Re: weighted projective spaces
Hi, I guess Volker meant Riemann surface when saying smooth elliptic surface in P^2 (that is, an elliptic curve). But as Marco says, this is about hyperelliptic curves. Volkers comment that toric varieties in Sage are often assumed to be defined over a field is important and has implications for the issues regarding hyperelliptic curves discussed above. Developing toric varieties over general rings sounds like an intriguing (and elaborate) project. I think I will start small by adding explicit construction of weighted projective spaces to the toric variety library. We'll see what happens after that. Marco's standard solution number 1) with two glued A^2 also sounds useful. Maybe this is similar to what we would actually be doing with the weighted projective plane P(1,g+1,1) where g is the genus of the curve. best /David On Tuesday, May 22, 2012 3:39:34 PM UTC-6, Marco Streng wrote: > > Op 22-05-2012 15:26, Volker Braun schreef: > > On Tuesday, May 22, 2012 4:16:08 AM UTC-4, Marco Streng wrote: > > > > Definitely! That would make it possible to have a smooth projective > > model, with the correct points at infinity. > > > > > > I don't understand that sentence - a smooth elliptic surface can already > > be embedded in P^2, right? > > That sentence refers to the sentence by David Eklund right above it. So > it has nothing to do with elliptic surfaces, but is about hyperelliptic > curves. > > Hyperelliptic curves can be mapped birationally onto a curve in P^2, > just by going via the standard model in A^2 of the form y^2 + h(x)*y = > f(x). But the image is not smooth at infinity for any hyperelliptic > curve (of genus >=2). To make the image smooth, the standard solutions > are to > 1) glue two copies of A^2, > 2) use a higherdimensional P^n, or > 3) use a weighted projective 2-dimensional space. > > I think David was aiming at (3), and I was simply welcoming that. > > > > > Note that the toric variety code assumes that the base ring is a field > > at various places. So for number theory purposes it might be good to > > split things into ToricVariety_ring vs. ToricVariety_field. Its mostly > > my ignorance about toric varieties over general rings that prevented me > > from doing so... > > > > > > > -- > > To post to this group, send an email to sage-devel@googlegroups.com > > To unsubscribe from this group, send an email to > > sage-devel+unsubscr...@googlegroups.com > > For more options, visit this group at > > http://groups.google.com/group/sage-devel > > URL: http://www.sagemath.org > > -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] Re: weighted projective spaces
Hi Volker, thanks for the advice! I think basing the implementation on the Cox ring is what I wanted anyway. If any number theory people are reading this I think it is worth thinking about making hyperelliptic curves subvarieties of weighted projective planes (whether using the toric variety version I will work on or some other implementation of weighted projective spaces). /David Eklund On Sunday, May 20, 2012 7:03:04 PM UTC-6, Volker Braun wrote: > > Hi David, > > I think it would be best to construct them as toric varieties. This'll > give you lots of functionality. For starters you should probably add a > weighted projective space constructor to the toric_varieties library. There > is already a toric_varieties.P(int), how about toric_varieties.WP(list of > ints). If you want to provide specialized implementations for toric > algorithms you can derive from the ToricVarieties class. > > Volker > > > On Sunday, May 20, 2012 3:06:16 PM UTC-4, David Eklund wrote: >> >> Hi, >> >> >> I'm considering opening a ticket for the implementation of weighted >> projective spaces (in a class of its own). I think it could be quite useful >> in general but there are also algebraic varieties already in Sage for which >> weighted projective space is a natural habitat (like hyperelliptic curves). >> >> >> Does this sound like a good idea? Or is it superfluous? >> >> >> Are there tickets on this already? >> >> >> Any ideas of how it can be done? For example, does anyone know how it is >> done in Magma? >> >> >> Some technical remarks: it might be that the work is essentially already >> done in connection with toric varieties. I'm not sure exactly which >> functionalities I would like, but at least I want to construct them by >> simply giving the weights and also define subschemes by giving a bunch of >> weighted homogenous polynomials. Perhaps test smoothness of such subschemes >> etc. Maybe weighted projective spaces should be constructed as toric >> varieties. Or perhaps it is better to make an independent implementation of >> them. Any thoughts? >> >> >> thanks! >> >> /David Eklund >> > -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
[sage-devel] weighted projective spaces
Hi, I'm considering opening a ticket for the implementation of weighted projective spaces (in a class of its own). I think it could be quite useful in general but there are also algebraic varieties already in Sage for which weighted projective space is a natural habitat (like hyperelliptic curves). Does this sound like a good idea? Or is it superfluous? Are there tickets on this already? Any ideas of how it can be done? For example, does anyone know how it is done in Magma? Some technical remarks: it might be that the work is essentially already done in connection with toric varieties. I'm not sure exactly which functionalities I would like, but at least I want to construct them by simply giving the weights and also define subschemes by giving a bunch of weighted homogenous polynomials. Perhaps test smoothness of such subschemes etc. Maybe weighted projective spaces should be constructed as toric varieties. Or perhaps it is better to make an independent implementation of them. Any thoughts? thanks! /David Eklund -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org