Abstract Hecke ring + modular forms over a commensurability class - #76

Draft

CBirkbeck wants to merge 6 commits into

mainfrom

abstract-hecke-ring-def

Commits on Jun 29, 2026

feat(HeckeRing): add abstract Hecke ring definition

CBirkbeck
and
claude
committed
184d8df
feat(CommensurableLimit): modular forms over a commensurability class + commensurator action

CBirkbeck
and
claude
committed
6275249

Commits on Jun 30, 2026

feat(CommensurableLimit): relax ModularFormCommensurable base to HasDetPlusMinusOne

CBirkbeck
and
claude
committed
76398bf
feat(CommensurableLimit): make commRep an ℝ-representation of the whole commensurator

CBirkbeck
and
claude
committed
cd536eb
feat(CommensurableLimit): relax commensurator action to HasDetPlusMinusOne bases

CBirkbeck
and
claude
committed
9576956
refactor(HeckeRing): generalise 𝕋 additive instances to AddCommMonoid/AddCommGroup

CBirkbeck
and
claude
committed
69b7f47