#19512: is_morphism for maps of products of projective spaces
-------------------------------------+-------------------------------------
Reporter: gjorgenson | Owner:
Type: enhancement | Status: needs_work
Priority: minor | Milestone:
Component: algebraic | Resolution:
geometry | Merged in:
Keywords: | Reviewers: Ben Hutz
Authors: Grayson Jorgenson | Work issues:
Report Upstream: N/A | Commit:
Branch: | bca35ddbb8d6518535b43e32ec34514fcd0ab8c8
u/gjorgenson/ticket/19512 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by gjorgenson):
Oops! I guess my approach wasn't truly componentwise to begin with since I
ignored the possibility of mixed coordinates.
Would checking the dimension of the ideal in the whole coordinate ring
coincide with checking that the Segre embedding of the map is a projective
morphism? It would be stricter than checking that the coordinates share no
common zeros componentwise, right? Maps such as
{{{
T.<x,y,z,w,u,v> = ProductProjectiveSpaces([2,2],QQ)
H = T.Hom(T)
F = H([x^2*u,y^2*w,z^2*v,w^2,u^2,v^2])
}}}
wouldn't be considered morphisms with this check.
--
Ticket URL: <http://trac.sagemath.org/ticket/19512#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
