You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Given an HMF over F, you can restrict that HMF to another HMF over any subfield F_0; for example, you can restrict an HMF over a real quadratic field to get a classical modular form (over QQ). [Sam Tripp is restricting Siegel modular forms to get HMFs, so we might as well continue!] This is a very good sanity check for various computations, because I think it is even a ring homomorphism!
The text was updated successfully, but these errors were encountered:
Restriction to the diagonal is the only one that is implemented. I am working on extending this to HZ-divisors, so maybe we can wait until that is done?
Given an HMF over F, you can restrict that HMF to another HMF over any subfield F_0; for example, you can restrict an HMF over a real quadratic field to get a classical modular form (over QQ). [Sam Tripp is restricting Siegel modular forms to get HMFs, so we might as well continue!] This is a very good sanity check for various computations, because I think it is even a ring homomorphism!
The text was updated successfully, but these errors were encountered: