p-split Hecke characters - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T07:33:16Z http://mathoverflow.net/feeds/question/18403 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/18403/p-split-hecke-characters p-split Hecke characters Andrea Mori 2010-03-16T17:23:19Z 2010-03-16T20:40:42Z <p>Let $K$ be a quadratic imaginary field, $\bf n$ an ideal in the ring of integers <code>${\cal O}_K$</code> and $\xi$ an algebraic Hecke character of type $(A_0)$ for the modulus $\bf n$. One knows (from Weil) that there exists a number field <code>$E=E_\xi\supseteq K$</code> with the property that $\xi$ takes values in $E^\times$.</p> <p>Let $p$ be a prime that splits in $K$. Consider the following condition: there exists an unramified place $v\mid p$ in $E$ with residue field $k_v={\Bbb F}_p$ such that $\xi$ takes values in the group of $v$-units in $E$.</p> <p>The condition implies the existence of a $p$-adic avatar of $\xi$ with values in ${\Bbb Z}_p^\times$.</p> <p>I would like to know:</p> <p>1) to the best of your knowledge, has been this condition considered somewhere? does it have a "name"?</p> <p>2) I'm tempted to say that $\xi$ is $p$-split if the condition is satisfied (and that $v$ splits $\xi$). Would this name conflict with other situations that I should be aware of?</p> http://mathoverflow.net/questions/18403/p-split-hecke-characters/18407#18407 Answer by Kevin Buzzard for p-split Hecke characters Kevin Buzzard 2010-03-16T17:37:40Z 2010-03-16T17:37:40Z <p>I think your $\xi$ had better be algebraic, but perhaps this implicit somehow in your terminology. If $v$ is any finite place of $E$, there is a $p$-adic avatar of $\xi$ with values in $E_v^\times$ (whether or not $p$ splits in $K$). This construction is as far as I know due to Weil. You seem to be highlighting this construction in the special case $E_v=\mathbf{Q}_p$. I guess $E$ is called the coefficient field of $\xi$ and you're just asking that $E$ contains a prime above $p$ which is unramified of degree 1. What am I saying? I'm saying that your condition above seems to me to have nothing to do with $\xi$, it's simply asking for a name for primes of a number field whose completion is $\mathbf{Q}_p$. I don't see why $\xi$ should enter into the terminology at all. Let me know if I have misunderstood!</p> http://mathoverflow.net/questions/18403/p-split-hecke-characters/18418#18418 Answer by Emerton for p-split Hecke characters Emerton 2010-03-16T20:40:42Z 2010-03-16T20:40:42Z <p>Just to second Kevin's comment: you are considering the coefficient field $E$ of $\xi$, or perhaps you could also call it the field of definition. It happens that you are considering $p$ which split in $E$. I would call them "primes that split in the coefficient field of $\xi$", or just "primes that split in $E$" (as Kevin suggests), if $E$ has already been introduced. Anything else is a little ambiguous, and non-standard, I think. (It is not uncommon in this context, and in other arguments involving coefficients of motives, to consider primes with various splitting properties in the field of coefficients, and I think it is common to just use the usual algebraic number theoretic terminology with regard to this field, as Kevin suggests.)</p> <p>[This would have been a comment on Kevin's answer, but the comment box is too small!]</p>