My question about graph norms being cyclotomic received two inconclusive answers, but also resulted in another mathoverflow user contacting me and Noah Snyder about the problem. There's now an almost finished paper that completely answers the question.

I'm not sure if this exactly fits the mold of your question --- it's not that mathoverflow helped with a lemma, but rather that mathoverflow brought a difficult question to the attention of the right person.