1
$\begingroup$

We have a reductive group $G/\mathbb{Q}$ and a representation space $V$ of this group.

Let $K$ be an open subgroup of $G(\mathbb{A}_{\mathbb{Q}})$ (where $\mathbb{A}_{\mathbb{Q}}$ are adeles of $\mathbb{Q}$) with some nice properties that wont concern us.

Define the space of "algebraic modular forms":

$\{f: G(\mathbb{A}_{\mathbb{Q}})\rightarrow V\,|\,f(gk) = f(g) \text{ for all } k\in K, g\in G(\mathbb{A}_{\mathbb{Q}}) \text{ and } f(\gamma g) = \gamma f(g) \text{ for all } \gamma\in G(\mathbb{Q})\}$

Now assume that $G(\mathbb{Q}) \backslash G(\mathbb{A}_{\mathbb{Q}})/K$ is finite, with reps $z_1, z_2, ..., z_h\in G(\mathbb{A}_{\mathbb{Q}})$.

The paper I am reading claims that you determine an algebraic modular form $f$ as soon as you specify the values $f(z_1), f(z_2), ..., f(z_m)\in V$.

I can't see why though.

Suppose $g\in G(\mathbb{A}_{\mathbb{Q}})$. Then $g = \gamma z_i k$ tells us that $f(g) = \gamma f(z_i)$.

Surely we have a dependence on $\gamma$ too? I hope I haven't missed anything simple.

  • 0
    @Eugene: I have no access to articles on Springer. I wish to get my hands on this paper though and might do in future.2012-06-09

1 Answers 1

3

Maybe a toy analogue will help here:

Proposition: Let $f$ be a function $\mathbf{R} \to \mathbf{R}$ such that $f(cx) = c f(x)$ for all $c \in \mathbf{R}$. Then $f$ is uniquely determined by $f(1)$.

I won't insult your intelligence by proving this! The point is that the statement you're trying to prove is essentially a more complicated version of the same thing. In our toy example it's not true that $f(x) = f(1)$ for all $x$, or anything like that, and you certainly need to know $x$ in order to know $f(x)$; but the function f is uniquely determined by its value at 1. And it's the same with algebraic modular forms.

  • 0
    Thanks for this, it just turns out I was just being dumb! I am actually Neil's current (first year) student and getting to grips with all of this stuff...most of it is completely new to me. I recognise your name from the paper (and from NRICH a long time ago). I would be very interested to hear about the calculations you did here...2012-06-10