#13805: galois_action on cusps has a bug and incorrect documentation II
---------------------------------+------------------------------------------
Reporter: cremona | Owner: davidloeffler
Type: defect | Status: new
Priority: major | Milestone: sage-5.6
Component: modular forms | Resolution:
Keywords: cusps galois | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
---------------------------------+------------------------------------------
Comment (by cremona):
Hi Marco, I think that a warning in the documentation is needed, despite
your clever way of interpreting the output in the general case as correct!
Your interpretation makes perfect sense, but... In my example, just to add
to possible confusion, the curve (which has genus 3) has a plane quartic
model over QQ, though in a moduli-theoric sense it is defined over the
field I call QQ(zeta13++), the cubic subfield of QQ*zeta13). But while
there is a well-defined action of {{{(Z/NZ)^*}}} on cusps c in
{{{P^1(QQ)}}} corresponding to the interpretation of c as a cusp of
Gamma(N), i.e. commuting with the action of Gamma(N), it does not commute
with the action of arbitrary congruence subgroups of level N.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13805#comment:3>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
