局所体上の指標群とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 局所体上の指標群の意味・解説 

局所体上の指標群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/11 09:23 UTC 版)

局所体」の記事における「局所体上の指標群」の解説

1次元トーラス { x ∈ C |   | x | ∞ = 1 } {\displaystyle \scriptstyle \{x\in \mathbb {C} |\ |x|_{\infty }=1\}} を T とし、加法群 R / Z {\displaystyle \scriptstyle \mathbb {R} /\mathbb {Z} } から乗法群 T への連続同型写像を e : R → T zexp ⁡ ( 2 π − 1 z ) {\displaystyle {\begin{array}{rccc}e:&\mathbb {R} &\to &T\\&z&\mapsto &\exp(2\pi {\sqrt {-1}}z)\end{array}}} で定める。 K を局所体とすると、K は加法対す局所コンパクト位相群と見なせるので、K から T への連続準同型写像、つまり K の連続指標存在する連続指標全体からなる群つまり指標群を K ^ {\displaystyle {\hat {K}}} とおく。 局所体 K に対して、K の正規指標 χ K {\displaystyle \chi _{K}} を以下の様に定める。 (1) K が p進体のとき p進体 の 0 ではない元 x に対して、 x = ∑ i = rc i p i         ( c i = 0 , 1 , … , p − 1 ,   r ≤ − 1 ) {\displaystyle x=\sum _{i=r}^{\infty }c_{i}p^{i}\ \ \ \ (c_{i}=0,1,\ldots ,p-1,\ r\leq -1)} と p 進展開したとき χ K ( x ) = e ( c r p r + ⋯ + c − 1 p − 1 ) {\displaystyle \chi _{K}(x)=e(c_{r}p^{r}+\cdots +c_{-1}p^{-1})} と定めると、p 進体上の連続指標となる。 (2) K が p進体の有限次拡大体であるとき (1) で得られた χ Q p ( x ) {\displaystyle \chi _{\mathbb {Q} _{p}}(x)} と、 K / Q p {\displaystyle \scriptstyle K/\mathbb {Q} _{p}} に対すトレース用いて χ K ( x ) = χ Q p ( Tr K / Q p ⁡ ( x ) ) {\displaystyle \chi _{K}(x)=\chi _{\mathbb {Q} _{p}}(\operatorname {Tr} _{K/\mathbb {Q} _{p}}(x))} で定義すると、K 上の連続指標となる。 (3) K が有限体係数の1変数ベキ級数体 F ( ( t ) ) {\displaystyle F((t))} であるとき F の標数を p とし、K 上の点 x を x = ∑ i = rc i t i         ( c i ∈ F ,   r < 0 ) {\displaystyle x=\sum _{i=r}^{\infty }c_{i}t^{i}\ \ \ \ (c_{i}\in F,\ r<0)} と表したとき、K 上の正規指標 χ K {\displaystyle \chi _{K}} を χ K ( x ) = e ( − Tr F / F p ⁡ ( c − 1 ∗ ) ) {\displaystyle \chi _{K}(x)=e(-\operatorname {Tr} _{F/\mathbb {F} _{p}}(c_{-1}^{*}))} で定める。ここで、 c − 1 ∗ ∈ { 0 , 1 , … , p − 1 } {\displaystyle \scriptstyle c_{-1}^{*}\in \{0,1,\ldots ,p-1\}} を c − 1 ≡ c − 1 ∗ {\displaystyle \scriptstyle c_{-1}\equiv c_{-1}^{*}} を満たす様にとる。 K がいずれの場合に対しても、K の任意の元 a を1つ取り固定したとき、 φ a : K → T x ↦ χ K ( x a ) {\displaystyle {\begin{array}{rccc}\varphi _{a}:&K&\to &T\\&x&\mapsto &\chi _{K}(xa)\end{array}}} は、K の連続指標となる。このことから K の元 a に対して指標群 K ^ {\displaystyle {\hat {K}}} の元として φ a {\displaystyle \varphi _{a}} を対応させることにより、K と K ^ {\displaystyle {\hat {K}}} は同一視される上で述べた K と K ^ {\displaystyle {\hat {K}}} が同一視できることは、K が実数もしくは複素数体でも成立する実数体の場合は、任意の実数 a に対して、 φ a ( x ) = e ( x a ) {\displaystyle \scriptstyle \varphi _{a}(x)=e(xa)} とすれば実数体と R ^ {\displaystyle {\hat {\mathbb {R} }}} は同一視され複素数体の場合は、任意の複素数 a に対して、 φ a ( x ) = e ( x a + x a ¯ ) {\displaystyle \scriptstyle \varphi _{a}(x)=e(xa+{\bar {xa}})} とすれば複素数体と C ^ {\displaystyle {\hat {\mathbb {C} }}} は同一視される

※この「局所体上の指標群」の解説は、「局所体」の解説の一部です。
「局所体上の指標群」を含む「局所体」の記事については、「局所体」の概要を参照ください。

ウィキペディア小見出し辞書の「局所体上の指標群」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「局所体上の指標群」の関連用語

1
8% |||||

局所体上の指標群のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



局所体上の指標群のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの局所体 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS