12次マシュー群2/3 - S(3,4,10)

任意の$u,v\in{{\mathbb{F}}_3}^2\backslash\lbrace0\rbrace,u\neq v$に対して, 基底$\lbrace u,u'\rbrace,\lbrace v,v'\rbrace$が取れ, 変換行列は正則で一意的であったから, ${\rm GL}_2(\mathbb{F}_3)$は${{\mathbb{F}}_3}^2\backslash\lbrace0\rbrace$に対して推移的に作用する.
このことから, ${{\mathbb{F}}_3}^2$のゼロでないベクトル$a_2-a_1,b_2-b_1$に対して, $A(a_2-a_1)=b_2-b_1$を満たす$A\in{\rm GL}_2(\mathbb{F}_3)$が存在し, ${\rm AGL}_2(\mathbb{F}_3)$の元
\begin{eqnarray} g:{{\mathbb{F}}_3}^2&\longrightarrow&{{\mathbb{F}}_3}^2\\ u&\longmapsto&Au+b_1-Aa_1 \end{eqnarray}
は
\begin{eqnarray} ga_1&=&Aa_1+b_1-Aa_1\\ &=&b_1\\ ga_2&=&Aa_2+b_1-Aa_1\\ &=&A(a_2-a_1)+b_1\\ &=&b_2-b_1+b_1\\ &=&b_2 \end{eqnarray}
を満足する.

2点$\alpha_1,\alpha_2$に$\alpha_{1\circ2}$ではない$\alpha_3$を追加すれば三角形$\lbrace\alpha_1,\alpha_2,\alpha_3\rbrace$が得られる. 三角形に含まれる3本の直線はすべて異なる平行類に属しており,
\begin{eqnarray} (\alpha_1,\alpha_2,\alpha_{1\circ2})\in A\\ (\alpha_2,\alpha_3,\alpha_{2\circ3})\in B\\ (\alpha_1,\alpha_3,\alpha_{1\circ3})\in C \end{eqnarray}
とする.
次に, $\alpha_{1\circ2},\alpha_{2\circ3},\alpha_{3\circ1}$のいずれでもない$\alpha_4$を追加し, 四角形$\lbrace\alpha_1,\alpha_2,\alpha_3,\alpha_4\rbrace$について考える.
三角形$\lbrace\alpha_2,\alpha_3,\alpha_4\rbrace$をなす直線の平行類は$A,B,D$か$B,C,D$か$A,B,C$である.
[i] $A,B,C$であれば, すでに四角形のなかに$A,C$が2つずつ含まれている.
このとき, 平行な直線同士は交点を持たないため, $(\alpha_3,\alpha_4,\alpha_{3\circ4})\in A,(\alpha_2,\alpha_4,\alpha_{2\circ4})\in C$でなければならない. いま, $\alpha_1,\alpha_2,\alpha_3,\alpha_4,\alpha_{1\circ2},\alpha_{1\circ3},\alpha_{2\circ3},\alpha_{2\circ4},\alpha_{3\circ4}$の9点はすべて異なるため, $\alpha_{1\circ4}=\alpha_{2\circ3}$である. よって, $(\alpha_1,\alpha_4,\alpha_{1\circ4})$と$(\alpha_2,\alpha_3,\alpha_{2\circ3})$は異なる平行類に属していて, $(\alpha_1,\alpha_4,\alpha_{1\circ4})\in D$が確定する.
[ii] $A,B,D$と$B,C,D$は議論が対称であるから, $A,B,D$を仮定する.
$(\alpha_1,\alpha_4,\alpha_{1\circ4})$は$A,C,D$の直線と交わっているため, $B$に属する. このとき, 四角形$\lbrace\alpha_1,\alpha_2,\alpha_3,\alpha_4\rbrace$の平行類の構成は$A,A,B,B,C,D$となっていて, 条件を満たしている.

($S(2,3,9)$の三角形は$Z_i$の四角形に一度だけ含まれること)
四角形の集合として$Z_1$, すなわち四角形ABと四角形CDを取る.
ここで三角形$T$をなす3直線はすべて異なる平行類に属しており, $T$を構成する直線が含まれない平行類が存在して, それを$D$とする. $T$の3点に点$\pi$を加えることで四角形$Q\in Z_1$を作ることを考える. 四角形には6本の直線があったのだから, 3本の直線を加えなければならない. 上記とほとんど同様の理由で加える3本の直線はすべて異なる平行類に属している. これらのことから, $Q$をなす6本の直線のうち$D$に属するものは必ず1本であるため, この四角形はAD, BD, CDではない. いま, 四角形の集合として$Z_1$を取ってきたのだから$Q$は四角形ABである.
さらに, $T$に対してこの$Q$が一意に定まることを示す.

$T$の頂点を$\alpha_1,\alpha_2,\alpha_3$として, $T$の直線は$A,B,C$に含まれているのだから, $\alpha_1,\alpha_2$を通る直線を$l_1\in A$, $\alpha_1,\alpha_3$を通る直線を$l_2\in B$とできる. アフィン平面の同値な条件 から$l_1$と共通部分を持たず$\alpha_3$を通る直線が一意に定まり, それを$l_1'\in A$とする. 同様に$l_2$と共通部分を持たず$\alpha_2$を通る直線が一意に定まり, それを$l_2'\in B$とする. このとき, $l_1'$と$l_2'$は異なる平行類に属するためちょうど1点で交わり, それを$\pi$とすれば, あとは$\alpha_1$と$\pi$を含む直線が一意に定まるため, 四角形を構成する直線がすべて一意に決定した.
始めに$T$を構成する直線が含まれない平行類を$D$としたが, これを$C$としても一意に四角形ABが定まり, $A,B$の場合は四角形CDとなる.
よって, 任意の三角形は$Z_1$の四角形に一意に含まれることが示された.


(三角形が含まれる四角形が一意に定まるとき, 四角形の集合は$Z_i$のみであること)

$S(2,3,9)$と$W_{10}$のブロックの数はそれぞれ$\dfrac{9\cdot8}{3\cdot2}=12,\dfrac{10\cdot9\cdot8}{4\cdot3\cdot2}=30$で, $W_{10}$の縮小が$S(2,3,9)$であったから, $W_{10}$は$30-12=18$個の四角形を含んでいる. ある2点$\alpha_1,\alpha_2$を含む9つの四角形の集合を$Q(\alpha_1,\alpha_2)$と表記し, すべての三角形が必ずひとつの四角形に含まれていると仮定する. このとき, $Q(\alpha_1,\alpha_2)$のそれぞれの四角形は$\alpha_1,\alpha_2$を頂点に持つ三角形をちょうど2つ含んでいて, $\alpha_1,\alpha_2$を含む三角形は6つであったから, $Q(\alpha_1,\alpha_2)$から$\alpha_1,\alpha_2$以外に共通部分がないように$\dfrac{6}{2}=3$つ四角形を選べば, $\alpha_1,\alpha_2$を頂点に持つ三角形を網羅できる.
$S(2,3,9)$を${\mathbb{F}_3}^2$と同一視 し, $(a,b)\in{\mathbb{F}_3}^2$を単に$ab$と書く. $\mathbb{F}_3=\lbrace0,1,2\rbrace$として, $Q(11,12)$を列挙すると
\begin{eqnarray} \Theta_1=\mathcal{P}\cup\lbrace00,02\rbrace\hspace{5mm}\Theta_2=\mathcal{P}\cup\lbrace20,22\rbrace\hspace{5mm}\Theta_3=\mathcal{P}\cup\lbrace21,22\rbrace\\ \Theta_4=\mathcal{P}\cup\lbrace20,21\rbrace\hspace{5mm}\Theta_5=\mathcal{P}\cup\lbrace00,01\rbrace\hspace{5mm}\Theta_6=\mathcal{P}\cup\lbrace01,02\rbrace\\ \Theta_7=\mathcal{P}\cup\lbrace01,22\rbrace\hspace{5mm}\Theta_8=\mathcal{P}\cup\lbrace02,21\rbrace\hspace{5mm}\Theta_9=\mathcal{P}\cup\lbrace00,20\rbrace \end{eqnarray}

ただし, $\mathcal{P}=\lbrace11,12\rbrace$.
$11,12$以外に共通部分がないような3つの四角形の集合は
\begin{eqnarray} \mathfrak{Q}_1&=&\lbrace\Theta_1,\Theta_4,\Theta_7\rbrace\\ \mathfrak{Q}_2&=&\lbrace\Theta_2,\Theta_5,\Theta_8\rbrace\\ \mathfrak{Q}_3&=&\lbrace\Theta_3,\Theta_6,\Theta_9\rbrace\\ \mathfrak{Q}_4&=&\lbrace\Theta_7,\Theta_8,\Theta_9\rbrace \end{eqnarray}
ですべてである. このとき, $\mathfrak{Q}_1,\mathfrak{Q}_2,\mathfrak{Q}_3\in Z_i$であり, $\mathfrak{Q}_4\notin Z_i$を取ったときに矛盾が生じることを確認する.
ここで, $Q(01,11)$を考える. すべての四角形を列挙すると,
\begin{eqnarray} \varUpsilon_1=\mathcal{Q}\cup\lbrace10,20\rbrace\hspace{5mm}\varUpsilon_2=\mathcal{Q}\cup\lbrace12,22\rbrace\hspace{5mm}\varUpsilon_3=\mathcal{Q}\cup\lbrace00,10\rbrace\\ \varUpsilon_4=\mathcal{Q}\cup\lbrace02,22\rbrace\hspace{5mm}\varUpsilon_5=\mathcal{Q}\cup\lbrace00,20\rbrace\hspace{5mm}\varUpsilon_6=\mathcal{Q}\cup\lbrace02,12\rbrace\\ \varUpsilon_7=\mathcal{Q}\cup\lbrace00,12\rbrace\hspace{5mm}\varUpsilon_8=\mathcal{Q}\cup\lbrace02,10\rbrace\hspace{5mm}\varUpsilon_9=\mathcal{Q}\cup\lbrace20,22\rbrace \end{eqnarray}

$\mathcal{Q}=\lbrace01,11\rbrace$であり, $01,11$以外に共通部分がないような3つの四角形の集合は
\begin{eqnarray} \mathfrak{R}_1&=&\lbrace\varUpsilon_1,\varUpsilon_4,\varUpsilon_7\rbrace\\ \mathfrak{R}_2&=&\lbrace\varUpsilon_2,\varUpsilon_5,\varUpsilon_8\rbrace\\ \mathfrak{R}_3&=&\lbrace\varUpsilon_3,\varUpsilon_6,\varUpsilon_9\rbrace\\ \mathfrak{R}_4&=&\lbrace\varUpsilon_7,\varUpsilon_8,\varUpsilon_9\rbrace \end{eqnarray}
ここで$\varUpsilon_2=\Theta_7,\varUpsilon_6=\Theta_6,\varUpsilon_7=\Theta_5$であるから$\mathfrak{Q}_4=\lbrace\Theta_7=\varUpsilon_2,\Theta_8,\Theta_9\rbrace$を取ったとすると, 四角形の集合として$\mathfrak{Q}_4\cup\mathfrak{R}_2$を取らなければいけないが,
\begin{eqnarray} \mathfrak{Q}_4\cup\mathfrak{R}_2=\lbrace\Theta_7=\varUpsilon_2,\Theta_8,\Theta_9,\varUpsilon_5,\varUpsilon_8\rbrace \end{eqnarray}
において, $\Theta_9\cap\varUpsilon_5=\lbrace00,11,20\rbrace$となり, すべての三角形がちょうど一つの四角形に含まれているという仮定に反する.
したがって, $\mathfrak{Q}_4$は取れず, 同様に$\mathfrak{R}_4$も仮定を満たすためには不適.
${\rm AGL}_2(\mathbb{F}_3)$は$S(2,3,9)$に対して
1. 二重推移的に作用したこと
2. 三角形と四角形に作用すること
3. 平行類に置換を引き起こすこと
を併せて考えれば, 仮定を満足させる四角形の集合は$Z_i$のみである.
$S(2,3,9)$には
\begin{eqnarray} \frac{1}{6}3(3+1)(3^4-3^3-2\cdot3^2+2\cdot3-6)=72 \end{eqnarray}
個の三角形が含まれ ていて, 一つの四角形は4つの三角形からなっていたから, $|Z_i|=18$個の四角形で$18\cdot4=72$個すべての三角形を網羅できている.