0
$\begingroup$

By way of motivation, this computation comes from a proof in Bump's book Automorphic Forms and Representations where he shows that the Weil index of the reduced norm of a four-dimensional central division algebra is $-1$.

Let $F$ be a non-Archimedean local field and $\psi$ a nontrivial smooth additive character of $F$. Choose a uniformizer $\pi \in \mathcal{O}_F$, write $q$ for the cardinality of the residue field, and $| \cdot |$ for the absolute value on $F$, normalized so that $|\pi| = q^{-1}$. Let $dx$ denote the additive Haar measure on $F$ such that $\mathcal{O}_F$ has measure $1$.

Bump claims that if $\pi^r\mathcal{O}_F$ is the conductor of $\psi$, meaning the largest fractional ideal on which $\psi$ is trivial, then we have \begin{equation*} \int_{|x| = q^{-s}} \psi(x) \ dx = \left\{ \begin{array}{rl} q^{-s}(1-q^{-1}) & \text{if } s \geq r, \\ -q^{-r} & \text{if } s = r-1, \\ 0 & \text{if } s < r-1. \end{array} \right. \end{equation*}

And here I get lost.

$\endgroup$
5
  • $\begingroup$ Sorry about the broken code: it looks fine to me! Could someone who knows more about Latex on MathOverflow fix this? $\endgroup$ Commented Jun 2, 2011 at 16:46
  • 2
    $\begingroup$ I would say this is more like an exercise and more appropriate for StackExchange (I personally don't care, but based on other comments I have seen). Here's a hint: first work out the $r=0$ case. Decompose $\mathcal O_F = \cup \varp^r \mathcal O_F^\times$ and compute the volme of $\varpi^r \mathcal O_F^\times$ with respect to the additive measure. $\endgroup$
    – Kimball
    Commented Jun 2, 2011 at 16:53
  • $\begingroup$ Whoops, the $\varp$ should of course be $\varpi$, which is just $\pi$ in your notation. $\endgroup$
    – Kimball
    Commented Jun 2, 2011 at 16:54
  • 2
    $\begingroup$ If G cpt gp, psi:G to C^* any group hom, then integral of psi(x) over G is either 0 or vol(G) according to psi nontrivial or trivial. This is all you need. $\endgroup$ Commented Jun 2, 2011 at 17:28
  • $\begingroup$ @Peter,Kimball: Thanks, I figured it out from those hints. $\endgroup$ Commented Jun 2, 2011 at 17:41

0

You must log in to answer this question.

Browse other questions tagged .