0

2次形式と素数改訂版2

266
0
$$$$

内容

$a$$b$が整数で$p$が素数で、
$a^2+b^2=p$
$a^2+2b^2=p$
$a^2+3b^2=p$
の解が存在する場合、
$a$$b$$p$から具体的に計算する解の公式を作りました。

準備

文字の約束
$p$を奇素数とします。
$\mathbb{F}_p $を位数$p$の有限体とします。
$\mathbb{F}_p^{\times} $を位数$p$の有限体の乗法群とします。
$\mathbb{F}_{p^2} $を位数$p^2$の有限体とします。
$\mathbb{F}_{p^2}^{\times} $を位数$p^2$の有限体の乗法群とします。
$z$$\mathbb{F}_{p^2} $の元
$x,y$$\mathbb{F}_p $の元

指標$\theta(x)$

$ \widehat{\theta}:\mathbb{F}_{p}^{\times} \xrightarrow{} \mathbb{C}^\times $を非自明群準同型とします。

$\theta$を下記で定義します。
$\theta:\mathbb{F}_{p} \xrightarrow{} \mathbb{C}$
$x=0 \ \ \ \Longrightarrow \ \ \ \theta(x):=0 \ \ \ $
$x \in \mathbb{F}_{p}^{\times} \ \ \Longrightarrow \ \ \ \theta(x):=\widehat{\theta}(x) \ \ \ $

$\theta(x)$の例$1$

$$ \widehat{\theta}(x)=(\frac{x}{p})$$
$(\frac{x}{p})$はルジャンドル記号

$\theta(x)$の例$2$

$p-1$が自然数$N$の倍数のとき、

$T_N$$ \mathbb{F}_{p}^{\times}$での、ある$1$の原始$N$乗根とします。
$x \neq 0$のとき、
$x^{\frac{p-1}{N}}$$T_N$を用いて、
$x^{\frac{p-1}{N}}=T_N^v$となる、$v$が存在する。
$\zeta_N$$\mathbb{C}^\times$でのある$1$の原始$N$乗根
$ \widehat{\theta}(x)=\zeta_N^v$$\widehat{\theta}(x)$を定義できます。

乗法群$\mathbb{F}_{p^2}^{\times} $の部分群$G$$G'$

$G$$\mathbb{F}_{p^2}^{\times} $の部分群で、
$|G|$を位数としたとき、$|G|$$p+1$を割りきるとします。
$\mathbb{F}_{p^2}^{\times}$は巡回群のため、$G$は位数のみで決まります。

$G'=\mathbb{F}_{p}^{\times} \cap G$$G'$を定義します。
定義1の$\widehat{\theta}(x)$に対して
以下では次の性質を満たすと仮定します。
$x \in G'\ \ \Longrightarrow \ \ \ \ \widehat{\theta}(x)=1$

$G'$の性質

$G'$は次を満たします。
$|G|が偶数 \Longrightarrow G'= \lbrace 1,-1 \rbrace $
$|G|が奇数 \Longrightarrow G'= \lbrace 1 \rbrace $

$G'$も巡回群のための位数で決まります。
$p+1$$p-1$の最大公約数は$2$のため、
$G'$の位数は高々$2$です、
つまり$G' \subset \lbrace 1,-1 \rbrace $です。
$|G|$の位数が偶数なら$-1$$G$の元です、
$|G|$の位数が奇数なら$-1$$G$の元ではありません。

線形写像$t(z)$の定義

$$t:\mathbb{F}_{p^2} \xrightarrow{}\mathbb{F}_{p} $$
$$t(z):=\frac{z+z^p}{2}$$
この写像はフェルマーの小定理より、
$\mathbb{F}_{p} $線形写像です。

関数$\alpha^{'}(z)$

関数$\alpha^{'}(z)$を下記で定義します。

$\alpha^{'}:\mathbb{F}_{p^2}^{\times} \xrightarrow{} \mathbb{C} $
$$\alpha^{'}(z):=\sum_{G'g\in G' \backslash G}\theta(t(gz))$$

$\alpha^{'}(z)$は、$t(z)$$\mathbb{F}_{p}$線形性及び、$\theta(x)$の仮定より、
$G' \backslash G$の代表元によらず定まる。

準備では次の定理$2$を証明します。

$|s|$を複素数$s$の絶対値としたとき。
$$p=\sum_{\mathbb{F}_{p}^{\times}Gz\in \mathbb{F}_{p}^{\times}G\backslash \mathbb{F}_{p^2}^{\times}}|\alpha^{'}(z)|^2$$

関数$\alpha(z)$

関数$\alpha(z)$を下記で定義します。
$$\alpha:\mathbb{F}_{p^2}^{\times} \xrightarrow{} \mathbb{C} $$
$$\alpha(z):=\sum_{g\in G}\theta(t(gz))$$

$\theta(x)$の準同型性と$t(z)$$\mathbb{F}_{p}$線形性より
$x \in \mathbb{F}_{p}^{\times}$なら
$$\alpha(xz)=\sum_{g\in G}\theta(t(gxz))=\theta(x)\alpha(z)$$

$\theta(x)$の準同型性より、
$x \neq 0$なら
$\theta(x)^{p-1}=1$のため、
$\theta(x)$$1$の冪根
$ \overline{ s} $を複素数$s$の複素共役としたとき、
$\theta(x)^{-1}= \overline{ \theta(x) }$
$|\theta(x)|^2=1$となり。
$$|\alpha(xz)|^2=|\theta(x)\alpha(z)|^2=|\alpha(z)|^2$$

$G'$の定義と補題$3$より
$x \in G'$なら
$$\theta(t(xgz))=\theta(t(gz))$$
$$\alpha(z)=|G'|\alpha^{'}(z)$$

$\alpha(z)$の定義より
$g\in G$
$$\alpha(gz)=\alpha(z)$$

1

補題$6$より
$\alpha(z)$$Gz \in G \backslash \mathbb{F}_{p^2}^{\times}$の代表元によらない。
また
補題$4$より
$|\alpha(z)|^2$$\mathbb{F}_{p}^{\times} z\in \mathbb{F}_{p}^{\times}\backslash \mathbb{F}_{p^2}^{\times} $の代表元によらない。
そのため、
$|\alpha(z)|^2$$\mathbb{F}_{p}^{\times}Gz \in \mathbb{F}_{p}^{\times}G \backslash \mathbb{F}_{p^2}^{\times} $の代表元によらない。
$\mathbb{F}_{p}^{\times}G$の元の個数は、$\frac{|\mathbb{F}_{p}^{\times}||G|}{|G'|}$
$$\sum_{Gz \in G \backslash \mathbb{F}_{p^2}^{\times}}|\alpha(z)|^2= \frac{|\mathbb{F}_{p}^{\times}|}{|G'|}\sum_{\mathbb{F}_{p}^{\times}Gz \in\mathbb{F}_{p}^{\times}G \backslash \mathbb{F}_{p^2}^{\times} }|\alpha(z)|^2 \\ =|\mathbb{F}_{p}^{\times}||G'|\sum_{\mathbb{F}_{p}^{\times}Gz \in\mathbb{F}_{p}^{\times}G \backslash \mathbb{F}_{p^2}^{\times} }|\alpha^{'}(z)|^2$$
最後は補題$5$より

2

$$\sum_{Gz \in G \backslash \mathbb{F}_{p^2}^{\times}}|\alpha(z)|^2= \sum_{Gz \in G \backslash \mathbb{F}_{p^2}^{\times}}\sum_{g,g'\in G} \overline{(\theta(t(g'z))}\theta(t(gz)) \\ =\sum_{z \in \mathbb{F}_{p^2}^{\times} }\sum_{g\in G} \overline{\theta(t(z))}\theta(t(gz)) $$

$z$を基底$(1,\sqrt{M})$で表示する、
ただし$M$$\mathbb{F}_{p}$で平方非剰余な元
$z=x+y\sqrt{M}$
$t(z)=x$
$\theta(x)$の定義より、
$x=0$の場合は$\theta(x)=0$のため、
以下$x\neq 0$ とします。

(続き)
$$=\sum_{x \in \mathbb{F}_{p}^{\times} }\sum_{y \in \mathbb{F}_{p}}\sum_{g\in G} \overline{\theta(x)}\theta(t(g(x+y\sqrt{M}))) \\ =\sum_{x \in \mathbb{F}_{p}^{\times} }\sum_{y \in \mathbb{F}_{p}}\sum_{g\in G} \theta(t(g(1+\frac{y}{x}\sqrt{M})))\\ $$

$y$$x$倍しても和の順番が変わるのみ、
すると和が$x$に依存しないため。
(続き)
$$ =|\mathbb{F}_{p}^{\times}|\sum_{y \in \mathbb{F}_{p}}\sum_{g\in G} \theta(t(g(1+y\sqrt{M}))) $$

$g=g_1+g_2\sqrt{M}$と基底で$g$を書くと。
$$t(g(1+y\sqrt{M}))=t(g)+\frac{gy\sqrt{M}-g^py\sqrt{M}}{2}\\$$
$$ =t(g)+\frac{(g_1+g_2\sqrt{M}-g_1+g_2\sqrt{M})y\sqrt{M}}{2}\\$$

$$ =t(g)+yg_2M\\ =g_1+yg_2M $$

$g_2=0$なら$g \in G'$
$g_2 \neq 0 $ なら$g_1+yg_2M=y'$$y$を変換しても、和の順番が変わるのみ

(続き)
$$ =|\mathbb{F}_{p}^{\times}|\sum_{y \in \mathbb{F}_{p}}\sum_{g\in G'} \theta(g) +|\mathbb{F}_{p}^{\times}|\sum_{y' \in \mathbb{F}_{p}}\sum_{g\in G-G'} \theta(y') $$
$1$項は$\theta(g)$$G'$$1$のため$|\mathbb{F}_{p}^{\times}||\mathbb{F}_{p}||G'|$

$2$項は$\widehat{\theta}(x)$が非自明のため、$0$

(続き)
$$=|\mathbb{F}_{p}^{\times}||\mathbb{F}_{p}||G'|$$

3

証明(1) より
$$\sum_{Gz \in G \backslash \mathbb{F}_{p^2}^{\times}}|\alpha(z)|^2=|\mathbb{F}_{p}^{\times}||G'|\sum_{\mathbb{F}_{p}^{\times}G z \in \mathbb{F}_{p}^{\times}G \backslash \mathbb{F}_{p^2}^{\times} }|\alpha^{'}(z)|^2$$
証明(2)より
$$ \sum_{Gz \in G \backslash \mathbb{F}_{p^2}^{\times}}|\alpha(z)|^2=|\mathbb{F}_{p}^{\times}||\mathbb{F}_{p}||G'| $$

$$ \\ p=|\mathbb{F}_{p}|=\sum_{\mathbb{F}_{p}^{\times}G z \in \mathbb{F}_{p}^{\times}G \backslash \mathbb{F}_{p^2}^{\times} }|\alpha^{'}(z)|^2 $$

以上で定理$2$は証明された。

解の公式

$p=a^2+b^2$の場合

$p=a^2+b^2$

$p=a^2+b^2$を満たす$p$$4$で割って$1$余る素数
$G:= \lbrace g \in \mathbb{F}_{p^2}^{\times} | g^{p+1}=1 \rbrace $
$\theta(x):=(\frac{x}{p})$
$(\frac{x}{p})$はルジャンドル記号
$\mathbb{F}_{p} \cap G=G'=\lbrace \pm 1 \rbrace$

$p$$4$で割って$1$余る素数のため、
$\theta(\pm1)=1$

$\mathbb{F}_{p}^\times G$の元は、
$p-1$$p+1$の最小公倍数$\frac{p^2-1}{2}$乗すると$1$になるため、
$\mathbb{F}_{p}^\times G$の元は$\mathbb{F}_{p^2}^{\times}$の生成元$\tau$を用いて、
$\tau^{2n}$とあらせる。

$\tau^{2\frac{p-1}{4}+1} =\tau^{\frac{p+1}{2}}$$p-1$乗すると
$-1$なので、オイラー規準より、
$\mathbb{F}_{p}$の平方非剰余な元$M$用いて、$\tau^{\frac{p+1}{2}}=\sqrt{M}$

$$\mathbb{F}_{p}^\times G \backslash \mathbb{F}_{p^2}^{\times} \simeq\lbrace 1,\tau \rbrace \simeq\lbrace 1,\tau^{2n+1} \rbrace \simeq\lbrace 1,\sqrt{M} \rbrace$$

$\alpha'(z)$はルジャンドル記号の整数性より整数

$p=\alpha'(1)^2+\alpha'(\sqrt{M})^2$

$a=\alpha'(1)$$b=\alpha'(\sqrt{M})$となり、解の公式が得られた。

$p=a^2+2b^2$の場合

$p=a^2+2b^2$を満たす$p$$2$$8$で割って$1$$3$余る素数です。
$p=2$の場合は$a=0,b=1$があります。
以下$8$で割って$3$余る素数と$8$で割って$1$余る素数に分けて、解の公式を作ります。

$p=a^2+2b^2$

$p$$8$で割って$3$余る素数

$G:= \lbrace g \in \mathbb{F}_{p^2}^{\times} | g^{\frac{p+1}{4}}=1 \rbrace $
$\theta(x):=(\frac{x}{p})$
$(\frac{x}{p})$はルジャンドル記号

$p=8q+3$とすると。
$\frac{p+1}{4}=2q+1$は奇数です。
$\frac{p+1}{4}$$p-1$と互いに素です。

$\mathbb{F}_{p} \cap G=G'=\lbrace 1 \rbrace$
$\theta(1)=1$

$\mathbb{F}_{p}^\times G$の元は$\frac{p^2-1}{4}$乗で$1$になるため、
生成元$\tau$を用いて、
$\tau^{4n}$とあらせる。

$\mathbb{F}_{p}^\times G \backslash \mathbb{F}_{p^2}^{\times}$の代表元で計算しやすいものを探すと、
$\tau^{\frac{p^2-1}{4}}=\tau^{4(4q^2+3q)+2} $
$\tau^{\frac{p^2-1}{8}}= \begin{eqnarray} \left\{ \begin{array}{l} \tau^{4(2q^2+3\frac{q}{2})+1} \ \ \ \ q \equiv 0\mod{2} \\ \tau^{4(2q^2+\frac{3q-1}{2})+3} \ \ \ \ q \equiv 1 \mod{2} \end{array} \right. \end{eqnarray}$

$\tau^{3\frac{p^2-1}{8}}= \begin{eqnarray} \left\{ \begin{array}{l} \tau^{4(6q^2+\frac{9q}{2})+3} \ \ \ \ q \equiv 0\mod{2} \\ \tau^{4(6q^2+\frac{9q+1}{2})+1} \ \ \ \ q \equiv 1 \mod{2} \end{array} \right. \end{eqnarray}$

$\mathbb{F}_{p}^\times G \backslash \mathbb{F}_{p^2}^{\times} \simeq \lbrace 1,\tau , \tau^2 , \tau^3 \rbrace \simeq \lbrace 1,\tau^{\frac{p^2-1}{4}} ,\tau^{\frac{p^2-1}{8}} , \tau^{3\frac{p^2-1}{8}} \rbrace $
$G^p=G$,$t(g^pz^p)=t(gz)$より
$\alpha'(z^p)=\alpha'(z)$
$(\tau^{\frac{p^2-1}{4}})^p=\tau^{\frac{p^2-1}{4}p}=\tau^{\frac{p^2-1}{4}3}=-\tau^{\frac{p^2-1}{4}}$
$( \tau^{a\frac{p^2-1}{8}})^p=\tau^{3a\frac{p^2-1}{8}}$
$\alpha'(\tau^{\frac{p^2-1}{4}} )=\alpha'((\tau^{\frac{p^2-1}{4}})^p)=\alpha'(-\tau^{\frac{p^2-1}{4}})=-\alpha'(\tau^{\frac{p^2-1}{4}}) $
$\alpha'(\tau^{\frac{p^2-1}{4}})=0$
$\theta(-1)=-1$を用いた。
$\alpha'( \tau^{\frac{p^2-1}{8}})= \alpha'(( \tau^{\frac{p^2-1}{8}})^p)=\alpha'( \tau^{3\frac{p^2-1}{8}})$

$\alpha'(z)$はルジャンドル記号の整数性より整数
$$p=\alpha'(1)^2+\alpha'(\tau^{\frac{p^2-1}{4}})^2+\alpha'(\tau^{\frac{p^2-1}{8}})^2+\alpha'(\tau^{3\frac{p^2-1}{8}})^2 \\ =\alpha'(1)^2+2\alpha'(\tau^{\frac{p^2-1}{8}})^2$$

$a=\alpha'(1)$$b=\alpha'(\tau^{\frac{p^2-1}{8}})$となり、解の公式が得られた。

$p=a^2+2b^2$
$p$$8$で割って$1$余る素数
$G:= \lbrace g \in \mathbb{F}_{p^2}^{\times} | g^{p+1}=1 \rbrace $
$T$$ \mathbb{F}_{p}$での、$1$の原始$4$乗根の$1$つとする。
$x^{\frac{p-1}{4}}$$T$を用いて、
$x^{\frac{p-1}{4}}=T^v$となる、整数$v$が存在する。
$\theta(x)={(\sqrt{-1})}^v$$\theta(x)$を定義する。

$ \mathbb{F}_{p} \cap G=G'=\lbrace \pm 1 \rbrace$
$\frac{p-1}{4}$は偶数のため、
$\theta(\pm 1)=1$

$\mathbb{F}_{p} ^\times G \backslash \mathbb{F}_{p^2}^{\times} \simeq\lbrace 1,\sqrt{M} \rbrace $

$M$が平方非剰余で$\theta(M)=-\sqrt{-1}$なら
$M^3$も平方非剰余で$\theta(M^3)=\sqrt{-1}$
$\sqrt{M}$$M\sqrt{M}$$\mathbb{F}_{p} ^\times G$剰余類で同じ剰余類に入る。
以上より$\theta(M)=\sqrt{-1}$となるように$M$を選べる。

$\alpha'(z)$はガウス整数

$g=g_1+g_2\sqrt{M}$,$g \in G$,$g_1=t(g)$ならば,$g^{p+1}=g_1^2-Mg_2^2=1$を変形すると、
$(\frac{1}{g_1})^2-M\frac{(\sqrt{-1}g_2)^2}{g_1^2}=1$
($g_1=0$なら両辺の平方剰余、非剰余が異なるため$g_1\neq0$)
$j(g)=\frac{1}{g_1}+\sqrt{M}(\frac{\sqrt{-1}g_2}{g_1})\in G$
$j(j(g))=g^p$より$j(g)$は全単射
$t(j(g))=\frac{1}{g_1}$
$t(g)^{-1}=t(j(g))$

$$\overline{\alpha(1)}=\sum_{g \in G}{\overline{\theta(t(g))}} =\sum_{g \in G}{\theta(t(g)^{-1})}\\ =\sum_{g \in G}{\theta(t(j(g)))}=\sum_{g \in G}{\theta(t(g))}\\ =\alpha(1) $$

$\alpha(1)$は整数
$\alpha'(1)$も整数

$g=g_1+g_2\sqrt{M}$,$g \in G$,

$g^{p+1}=g_1^2-Mg_2^2=1$
$1+Mg_2^2=g_1^2$

$t(g\sqrt{M})=Mg_2$

任意の$x \in \mathbb{F}_{p}^\times$に対して、
$1+Mx^2$は平方剰余か平方非剰余のどちらか
($-1$が平方剰余、$M$が平方非剰余なので、$1+Mx^2=0$にはならいない。)
前者の場合
$1+Mx^2$が平方剰余なら$Mx=t(g\sqrt{M})$を満たす$g \in G$$2$個あります、$1+Mx^2=y^2$なら$g=\pm y +x\sqrt{M}$の2つです。
後者の場合
$1+Mx^2$が平方非剰余なら$1+Mx^2=y^2M$より
$1+M\frac{1}{x^2M^2}=\frac{y^2}{x^2}$となり、
$\frac{1}{x}=t(g\sqrt{M})となるg \in G$$2$個あります、
$1+Mx^2=y^2M$なら$g=\pm \frac{y}{x} +\frac{1}{xM}\sqrt{M}$

$x \in \mathbb{F}_{p}^\times$
次で関数$\chi(x)$を定義する。
$\chi(x)= \begin{eqnarray} \left\{ \begin{array}{l} 1 \ \ \ \ \ \ 1+Mx^2=y^2\\ 0 \ \ \ \ \ \ 1+Mx^2=y^2M \end{array} \right. \end{eqnarray}$

$\frac{1}{xM}$$x$に関して対合で不動点はない。
上の場合分けより、
$1=\chi(x)+\chi(\frac{1}{xM}) \ \ \ x\neq0 $
$$\alpha(\sqrt{M})=\sum_{x \in \mathbb{F}_{p}^\times}\chi(x)2\theta(Mx)=\sum_{x \in \mathbb{F}_{p}^\times}\chi(x)2\sqrt{-1}\theta(x) $$

$$\alpha(\sqrt{M})=\sum_{x \in \mathbb{F}_{p}^\times}\chi(\frac{1}{xM})2\theta(\frac{1}{x})=\sum_{x \in \mathbb{F}_{p}^\times}\chi(\frac{1}{xM})2 \overline{\theta(x)} $$
$$-\sqrt{-1} \alpha(\sqrt{M})+\overline{\alpha(\sqrt{M})}=\sum_{x \in \mathbb{F}_{p}^\times}(\chi(x)+\chi(\frac{1}{xM}))2\theta(x)\\ =2\sum_{x \in \mathbb{F}_{p}^\times}\theta(x)=0$$
最後は$\theta(x)$の非自明性より

ガウス整数$\beta$$-\sqrt{-1}\beta+\overline{\beta}=0$を満たすのは、
$b$を整数として、$\beta=b(1-\sqrt{-1})$
これにより、$\alpha(\sqrt{M})$$1-\sqrt{-1}$の整数倍

$|\alpha'(\sqrt{M})|^2=2b^2$
$p=|\alpha'(1)|^2+|\alpha'(\sqrt{M})|^2=\alpha'(1)^2+2b^2$
となる。

$$a=\alpha'(1),b=\frac{\alpha'(\sqrt{M})}{1-\sqrt{-1}}$$
解の公式が得られた。

$p=a^2+3b^2$の場合

$p=a^2+3b^2$を満たす$p$$3$$3$で割って$1$余る素数です。
$p=3$の場合は$a=0,b=1$があります。
以下$12$で割って$1$余る素数と$12$で割って$7$余る素数に分けて、
解の公式を作ります。

$p$$12$で割って$1$余る素数

$G:= \lbrace g \in \mathbb{F}_{p^2}^{\times} | g^{p+1}=1 \rbrace $
$\mathbb{F}_{p} \cap G =G'=\lbrace \pm 1 \rbrace$

$T_3$$ \mathbb{F}_{p}$での、$1$の原始$3$乗根の$1$つとする。
$x^{\frac{p-1}{3}}$$T_3$を用いて、
$x^{\frac{p-1}{3}}=T_3^v$となる、$v$が存在する。
$\zeta_3$$\mathbb{C}$での$1$の原始$3$乗根
$\theta(x)=\zeta_3^v$$\theta(x)$を定義する。

$\theta(1)=1$
$\frac{p-1}{3}$は偶数ゆえに、
$\theta(-1)=1$

$\alpha(z)$はアイゼンシュタイン整数です。

$5$と同じ推論により、
$$\overline{\alpha(1)}=\alpha(1) $$

$\alpha(1)$は実数である。
アイゼンシュタイン整数かつ実数は整数のため$\alpha(1)$は整数です。

同じく例$5$と同じ推論により、
$$\theta(M)\alpha(\sqrt{M})+\overline{\alpha(\sqrt{M})}=0$$

$\theta(M)=1$なら
$\alpha(\sqrt{M})$は純虚数である。
純虚数かつアイゼンシュタイン整数は、$\sqrt{-3}$の整数倍
$\alpha(\sqrt{M})=\sqrt{-3}b$

$\theta(M)\neq 1$なら
$\alpha(\sqrt{M})$$1-\overline{\theta(M)}$の実数倍である。
$\theta(M)$$\frac{-1+\sqrt{-3}}{2}$$\frac{-1-\sqrt{-3}}{2}$
$|1-\overline{\theta(M)}|^2=(1-\frac{-1+\sqrt{-3}}{2})(1-\frac{-1-\sqrt{-3}}{2})=3$
$\alpha(\sqrt{M})=(\frac{3\pm\sqrt{-3}}{2})b$

$a=\alpha'(1)$
$b$の方は上記の場合分けに応じて得られる。
一応解の公式が得られた、

$p$$12$で割って$7$余る素数
$\frac{p-1}{N}$は偶数とする。
$G:= \lbrace g \in \mathbb{F}_{p^2}^{\times} | g^{p+1}=1 \rbrace $
$\mathbb{F}_{p} \cap G =G'=\lbrace \pm 1 \rbrace$

$\theta(x)$は例$6$と同じとします。

$\mathbb{F}_{p}^\times G$の元は、$\tau^{2 n}$と表せる。
$\mathbb{F}_{p^2}^{\times} /(\mathbb{F}_{p}^\times G)\simeq \lbrace 1,\tau \rbrace $

$\mathbb{F}_{p^2}$の基底として$(1,\sqrt{-1})$が取れます。
$G$の定義式は、
$g=g_1+g_2\sqrt{-1} \ \ \ g \in G$なら
$g^{p+1}=1=g_1^2+g_2^2$
$x^2-1$が平方非剰余なら、
$x=t(g)$となる、$g\in G$$2$個ある。
$g=x\pm g_2 \sqrt{-1}$

$x^2-1$が平方剰余なら、
$x\neq 0$かつ
$x^2-1=y^2$なので、
$\frac{1}{x^2}-1=-\frac{y^2}{x^2}$
$\frac{1}{x}=t(g)$となる、$g\in G$$2$個ある。
$g=\frac{1}{x} \pm \frac{y}{x} \sqrt{-1}$

$x= \pm1 $なら、
$x=t(g)$となる、$g\in G$$1$個ある。
$x=g$

$\frac{1}{x}$$x$に関して対合で不動点は$\pm 1$
$\chi(x)= \begin{eqnarray} \left\{ \begin{array}{l} 1 \ \ \ x^2-1=y^2\neq 0\\ 0 \ \ \ x^2-1=-y^2\neq 0\\ \frac{1}{2} \ \ \ x^2-1=0 \end{array} \right. \end{eqnarray}$

$1=\chi(x)+\chi(\frac{1}{x}) \ \ \ x\neq0 $
$$\alpha(1)=\sum_{x \in \mathbb{F}_{p}^\times}\chi(x)2\theta(x) $$

$$\alpha(1)=\sum_{x \in \mathbb{F}_{p}^\times}\chi(\frac{1}{x})2\theta(\frac{1}{x})=\sum_{x \in \mathbb{F}_{p}^\times}\chi(\frac{1}{x})2 \overline{\theta(x)} $$
$$\alpha(1)+\overline{\alpha(1)}=\sum_{x \in \mathbb{F}_{p}^\times}(\chi(x)+\chi(\frac{1}{x}))2\theta(x)\\ =2\sum_{x \in \mathbb{F}_{p}^\times}\theta(x)=0$$
最後は$\theta(x)$の非自明性より

$\alpha(1)$は純虚数
$\alpha(1)$はアイゼンシュタイン整数のため$\sqrt{-3}$の整数倍

$p=4q+3$
$\tau$$\mathbb{F}_{p^2}^\times$の生成元としたとき、
$M=\tau^{p+1}$$M$で定義する。
$M$は平方非剰余
$-1=\tau^{\frac{p^2-1}{2}}=M^{\frac{p-1}{2}}\\ =M^{\frac{p-3}{2}}M=M^{2q}M$

$(g\tau)^{p+1}=\tau^{p+1}=M$を満たす。
$g\tau=h_1+h_2\sqrt{-1}$としたとき、

$h_1^2+h_2^2=M$かつ$h_1\neq 0$
これを変形すると。
$h_1^2-M=-h_2^2$
$$\frac{M^2}{h_1^2}-M=M\frac{h_2^2}{h_1^2}=-{(\frac{h_2}{M^qh_1})}^2$$
このため、

$$j(g\tau)=\frac{M}{h_1}+\frac{h_2}{M^q h_1}\sqrt{-1}$$

$$j(j(g\tau))=(g\tau)^p$$
のため、$j(g\tau)$は全単射

$$ \alpha(\tau)=\sum_{g \in G}\theta(t(g\tau))=\sum_{g \in G}\theta(t(j(g\tau)))=\sum_{g \in G}\theta(\frac{M}{t(g\tau)})\\ $$ $$=\theta(M)\sum_{g \in G} \overline{\theta(t(g\tau))}\\$$
$$= \theta(M)\overline{\alpha(\tau)} $$
$\alpha(\tau)$$1+\theta(M)$の実数倍
$\alpha(\tau)$はアイゼンシュタイン整数のため
$\alpha(\tau)$$1+\theta(M)$の整数倍

$\theta(M)=1$つまり$M=y^3$なら
$\tau^{p+1}=y^3$右辺は$\frac{p-1}{3}$乗で$1$だが左辺は$1$でないため、
$\theta(M)$$\frac{-1+\sqrt{-3}}{2}$$\frac{-1-\sqrt{-3}}{2}$
$|1+\theta(M)|^2=(1+\frac{-1+\sqrt{-3}}{2})(1+\frac{-1-\sqrt{-3}}{2})=1$

以上より
$\alpha'(1)=\sqrt{-3}b$
$|\alpha'(\tau)|=a$
$$p=|\alpha'(1)|^2+|\alpha'(\tau)|^2=a^2+3b^2$$

となり解の公式が得られた。

一般化

$F_{(G,\theta)}(A)$

$A$$GL_2(\mathbb{F}_{p})$の元
$ A=\begin{eqnarray} \left( \begin{array}{cc} a & b \\ c & d \end{array} \right) \end{eqnarray} $のとき
$t(A)=a$とする。
$T_+$$GL_2(\mathbb{F}_{p})$の正則上三角行列のなす部分群
$T_-$$GL_2(\mathbb{F}_{p})$の正則下三角行列のなす部分群

$\theta(a)$及び$\tau(a)$$\mathbb{F}_{p}$の非自明な乗法指標
$G$$GL_2(\mathbb{F}_{p})$の部分群

$\rho(g)$$G$$1$次指標で$g\in G \cap T_- \Longrightarrow\rho(g)=1$

$F_{(G,\theta)}(A)$を次で定義する。
$$ F_{(G,\theta)}(A):=\sum_{g\in G } \theta(t(gA)) \rho(g)$$

$F_{(G,\theta)}(A)$$G$$\theta$の組は
以下次の条件$O_1$ を満たすとする。(満たさない場合は$F_{(G,\theta)}(A)=0$
$ \forall g \in G \cap T_- \Longrightarrow\theta(t(g))=1$

$ \theta(t(gA))$ の性質

性質$1$
$X= \begin{eqnarray} \left( \begin{array}{cc} x_1 & x_2 \\ 0 & x_4 \end{array} \right) \end{eqnarray}\in T_+$
$ \theta(t(gAX))=\theta(t(gA))\theta(x_1)$

性質$2$
$X= A\begin{eqnarray} \left( \begin{array}{cc} x_1 & x_2 \\ 0 & x_4 \end{array} \right) \end{eqnarray}A^{-1}\in AT_+A^{-1}$
$ \theta(t(XA))=\theta(t(A))\theta(x_1)$

性質$3$
$Y= \begin{eqnarray} \left( \begin{array}{cc} y_1 & 0 \\ y_3 & y_4 \end{array} \right) \end{eqnarray}\in T_-$
$ \theta(t(YA))=\theta(t(A))\theta(y_1)$

性質$4$
条件$O_1$を満たす$ (G,\theta) $に対して
$Y\in G\cap T_-$
$ \theta(t(YA))\rho(Y)=\theta(t(A))$

性質$5$
$GL_2(\mathbb{F}_p)$は次の条件$O_2$を満たす、

$ \forall A\in H \ \ \forall c \in \mathbb{F}_p \ \ t(A)\neq 0 \Longrightarrow \exists A'= \begin{eqnarray} \left( \begin{array}{cc} t(A) & b \\ c & d \end{array} \right) \end{eqnarray} \in GL_2(\mathbb{F}_p) $

$ F_{(G,\theta)}(A) $ の性質

性質$6$
$g \in G \Longrightarrow F_{(G,\theta)}(gA) = \rho(g^{-1})F_{(G,\theta)}(A) $

性質7
性質$4$により、$ \frac{F_{(G,\theta)}(A))}{|G \cap T_-|}$は代数的整数

性質8
性質2により、
$$ \exists Y \in G \cap A T A^{-1} \\ \ \theta(t(A^{-1}YA)) \neq 1 \Longrightarrow F_{(G,\theta)}(A)=0 $$

$$ \sum_{A\in GL_2(\mathbb{F}_p)}F_{(G,\theta)}(A)\overline{F_{(G,\tau)}(A)}=\begin{eqnarray} \left\{ \begin{array}{l} |G||T_-||G\cap T_- |p\ \ \ \ \ \ \theta=\tau\\ 0 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \theta \neq \tau \end{array} \right. \end{eqnarray}$$

$$ \sum_{A\in GL_2(\mathbb{F}_p)}F_{(G,\theta)}(A)\overline{F_{(G,\tau)}}=$$
$$\sum_{A\in GL_2(\mathbb{F}_p)}\sum_{g,g' \in G} \theta(t(gA))\rho(g)\overline{\tau(t(g'A))\rho(g')}=$$
$$|G|\sum_{A\in GL_2(\mathbb{F}_p)}\sum_{g \in G} \theta(t(gA))\rho(g)\overline{\tau(t(A))}=$$

$$ A= \begin{eqnarray} \left( \begin{array}{cc} a & b \\ c & d \end{array} \right) \end{eqnarray}$$ $$ g= \begin{eqnarray} \left( \begin{array}{cc} g_1 & g_2 \\ g_3 & g_4 \end{array} \right) \end{eqnarray}$$

$$|G|\sum_{A\in GL_2(\mathbb{F}_p)}\sum_{g \in G} \theta(t(g_1a+g_2c))\rho(g)\overline{\tau(a)}=$$
$$\tau(a)=0 \Longrightarrow a=0$$より$a\neq 0$としてよい。
$$ A→\begin{eqnarray} \left( \begin{array}{cc} 1 & 0 \\ 0 & a \end{array} \right) \end{eqnarray} A$$と変換すると、
$$|G|\sum_{\begin{eqnarray} \begin{array}{cc} A\in GL_2(\mathbb{F}_p) \\ t(A) \neq 0 \end{array} \end{eqnarray} }\sum_{g \in G} \theta(t(g_1+g_2c))\rho(g)\theta(a)\overline{\tau(a)}=$$
$g\in T_- \Longleftrightarrow g_2=0$
$g_2 \neq 0 $ならば条件$O_2$$ \theta$ の非自明性より$0$
$g_2=0$なら諸条件が使える。
$$|G||G \cap T_- |\sum_{\begin{eqnarray} \begin{array}{cc} A\in GL_2(\mathbb{F}_p) \\ t(A) \neq 0 \end{array} \end{eqnarray} } \theta(a)\overline{\tau(a)} =$$
$$\begin{eqnarray} \left\{ \begin{array}{l} |G||G\cap T_- |(p-1)^2p^2\ \ \ \ \ \ \theta=\tau\\ 0 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \theta \neq \tau \end{array} \right. \end{eqnarray} $$
$$=\begin{eqnarray} \left\{ \begin{array}{l} |G||G\cap T_- ||T_-|p\ \ \ \ \ \ \theta=\tau\\ 0 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \theta \neq \tau \end{array} \right. \end{eqnarray} $$

$F_{(G,\theta)}(A)\overline{F_{(G,\theta)}(A)}$$X \in T_+$のとき性質1により 変換$A→AX$で不変

$$ \sum_{GAT+\in G\backslash GL_2(\mathbb{F}_p)/T_+}\frac{|G\cap T_- |}{|G\cap AT_+A^{-1}|}\frac{F_{(G,\theta)}(A)}{|G\cap T_- |}\overline{\frac{F_{(G,\theta)}(A)}{|G\cap T_- |}}= p$$

条件$O_2$を満たす。$GL_2(\mathbb{F}_p)$の部分群であれば、
別の群、$\mathbb{F}_{p^2}^\times$でも同じ議論ができるのではないだろうか。

$ \theta(t(A)) $は上三角行列の表現$\theta(t(X))$から$GL_2(\mathbb{F}_p)$への誘導表現の元
$ F_{(F,\theta)}(A)$$ \theta(t(A)) $$G$の表現に制限して、
$\rho(g)$に対応する等質成分に射影したもの、
そのためMackey分解を使うことでも、
できたはずだが著者はどのように使えばよいのかわかっていない。

投稿日:202337
更新日:20231113
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

kzaukzau
kzaukzau
22
3612

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中