17
$\begingroup$

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?

Improve this question
$\endgroup$
2
  • 2
    $\begingroup$ It would be interesting to ask the same question but requiring the ideal to be nontrivial in $\overline{\mathbb{Z}}[1/N]$. $\endgroup$
    – Dror Speiser
    Commented Jan 10, 2012 at 8:55
  • $\begingroup$ Wanax, you are correct to guess that I'm working with Ash. But the answer below was written by The Hamburglar, not by me. $\endgroup$
    – David Hansen
    Commented Jan 12, 2012 at 19:41

1 Answer 1

Reset to default
11
$\begingroup$

Suppose that $f$ has level $N$, and suppose that $N$ is divisible by $p$. Then it is well known that $f$ is congruent modulo (some prime above) $p$ to a form $g$ of level $M$ dividing $N$ (and high weight), where $M$ is prime to $p$. In particular, by induction, all forms $f$ are connected to a form $g$ of level $1$ in at most $d$ steps, where $d$ is the number of distinct prime divisors of $N$. Yet all level one forms are congruent to $\Delta$ modulo $2$. This is actually related to ideas behind the proof of Serre's conjecture:

http://en.wikipedia.org/wiki/Serre%27s_modularity_conjecture

Improve this answer
$\endgroup$
3
  • 1
    $\begingroup$ @Wanax: you know, there is an edit history where you could check who actually said what. $\endgroup$
    – user9072
    Commented Jan 10, 2012 at 17:57
  • $\begingroup$ @quid: where is this edit history you speak of? $\endgroup$
    – Marty
    Commented Jan 10, 2012 at 21:01
  • $\begingroup$ This answer was written by The Hamburglar (who, by the way, I think is the same person behind the users Frictionless Jellyfish and Trust Me, and I think I know who it is in real life, but this margin won't contain it.) I edited a trivial misprint; did that automatically convert it to a CW status? $\endgroup$
    – David Hansen
    Commented Jan 11, 2012 at 19:35

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .