2
$\begingroup$

This claim comes from Henri Darmon, and I would believe it, but can't exactly prove it. Let $\mathcal{F}$ denote the space of $\mathbb{C}$-valued functions on $\mathbb{P}_1(\mathbb{Q})$, and let $\mathcal{M}$ denote the space of $\mathbb{C}$-valued modular symbols. Let $d:\mathcal{F}\to\mathcal{M}$ by $f\mapsto df$ where $(df)\{x\to y\} = f(y) - f(x)$.

The claim is that $d$ is surjective. I see that the right hand side indeed gives a complex valued modular symbol. Is there a very easy way to see that all complex valued modular symbols arise in such a way? Is it obvious?

1 Answers 1

2

I figured it out (with a little help from a friend). For those of you who are interested:

Let $m\in\mathcal{M}$ be a modular symbol and define $f(y) = m\{1\to y\}$. Then $f$ is a complex valued function on $\mathbb{P}_1(\mathbb{Q})$, hence $f\in\mathcal{F}$. Moreover we have, by transitivity of modular symbols, that $m\{x\to y\} = m\{x\to 1\} + m\{1\to y\}.$ Then, since modular symbols are antisymmetric we have $m\{x\to y\} = -m\{1\to x\} + m\{1\to y\} = f(y) - f(x),$ so indeed the map $d$ is surjective.

  • 2
    Nice -- this argument works over an arbitrary base ring as well (it's not specific to $\mathbb{C}$-valued symbols).2012-08-28