search

flatsurf / sage-flatsurf

Flat surfaces in Sage
https://flatsurf.github.io/sage-flatsurf/
GNU General Public License v2.0
10 stars 10 forks source link

Real multiplication #266

Open videlec opened 8 months ago

videlec commented 8 months ago

Nnumerically check/guess whether a given surface belongs to a real multiplication locus.

  1. compute a basis of $\Omega(X)$ (using #213)
  2. compute periods $\int_\gamma \omega$ on the basis $\omega$ of $\Omega(X)$ and a basis $\gamma$ of $H_1(X; \mathbb{Z})$ and form the Riemann matrix
  3. use the same strategy as in sage code RiemannSurface.endomorphism_basis. The latter boils down to calling the standalone integer_matrix_relations.