Let $S$ be the (countable) set of holomorphic cuspidal new eigenforms of weight $\geq 2$. Any $f\in S$ has a level $N_f$ and a canonically normalized Fourier expansion $f(z)=\sum_{n=1}^{\infty}a_f(n)e^{2\pi i nz}$ with $a_f(1)=1$ and $a_f(n) \in \overline{\mathbf{Z}}$.

Form a graph $\mathcal{G}$ as follows: Take the vertex set of $\mathcal{G}$ to be the set $S$, and join $f$ and $g$ by an edge if the algebraic integers $(a_f(n)-a_g(n))_{n \nmid N_f N_g}$ generate a nontrivial ideal in $\overline{\mathbf{Z}}$; in other words, $f$ and $g$ are joined if their Fourier coefficients are related by a nontrivial congruence.

Is $\mathcal{G}$ connected?