search

edgarcosta / hilbertmodularforms

Mockup implementation of Hilbert Modular Forms
BSD 3-Clause "New" or "Revised" License
8 stars 15 forks source link

Implement restriction #64

Open jvoight opened 5 years ago

jvoight commented 5 years ago

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!

abhijit-mudigonda commented 11 months ago

@juanitaduquer I think you've implemented this, so can we close this issue?

juanitaduquer commented 11 months ago

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?