The patched eigenvariety product conjecture
Patched eigenvariety product conjecture. It is conjectured that