Firstly, we present a more explicit formulation of the complete system
of representatives of Manin’s symbols over
, which was initially given by Shimura. Then, we establish a bijection between
[...] Read more.
Firstly, we present a more explicit formulation of the complete system
of representatives of Manin’s symbols over
, which was initially given by Shimura. Then, we establish a bijection between
and
for
, which reveals a recursive structure between Manin’s symbols of different levels. Based on Manin’s complete system
of representatives of cusps on
and Cremona’s characterization of the equivalence between cusps, we establish a bijection between a subset
of
and
, and then establish a bijection between
and
for
. We also provide a recursive structure for elliptical points on
. Based on these recursive structures, we obtain recursive algorithms for constructing Manin symbols over
, cusps, and elliptical points on
. This may give rise to more efficient algorithms for modular elliptic curves. As direct corollaries of these recursive structures, we present a recursive version of the genus formula and prove constructively formulas of the numbers of
, cusps, and elliptic points on
.
Full article