Thomas and I looked at directed isogeny graphs!
In dim 1, we often ignore directedness, as there are only 2 "problematic" curves. Not so in dim 2: we analyze the action of automorphisms on level structures and the resulting directed graphs.
Crucial: Directed (2,2)-graphs looks Ramanujan after all!
add a skeleton here at some point
8 days ago