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

GL2ROrbitClosure.dimension() off by a factor of 1/2? #184

Closed sfreedman67 closed 1 year ago

sfreedman67 commented 1 year ago

When we initially ran GL2ROrbitClosure(S).dimension() we got 2 for the real dimension of the orbit closure, but should it have been 4? @videlec @saraedum

videlec commented 1 year ago

The specification is not ideal but the answer is correct. The output is the dimension in H^1(S, \Sigma; R) not H^1(S, \Sigma; C). Hence always half the real dimension of the manifold (or equivalently the complex dimension).

videlec commented 1 year ago

I will make it clearer in the documentation. Thanks for the report!