群は、元と元を組み合わせる演算によって定義される。有限群であれば、すべての元の組と演算結果を乗積表へ書き並べることで、その演算を漏れなく記録できる。それでも、乗積表を読み終えただけで、群の構造を把握したことにはならない。表に記録されているのは個々の積であり、複数の元がどのような部分群を作るのか、共役によってどの元が同じ位置づけを持つのか、群作用の下でどの範囲が一つの軌道になるのかといった関係は、別の概念を導入しなければ切り出せないからである。
この違いは、情報が足りないために生じるのではない。乗積表には必要な演算結果がすべて含まれている。欠けているのは、個々の結果をどの単位でまとめ、何を同じ構造の反復として読むかという観点である。群論は、部分群、正規部分群、剰余類、共役類、準同型などを導入し、元の一覧を構造化してきた。完全な記録を、説明可能なまとまりへ組み替えることが、群を理解するための基本的な操作になる。
高村茂のプレプリント「群論から高次群論へ」は、この群論の基本観を、複数の部分集合とその積へ拡張する。群の部分集合を順序付きで並べた高次対象を置き、各部分集合から選んだ元の組を、その積へ送る写像を「シナジー」として定義する。そこで調べるのは、積集合にどの元が含まれるかだけではない。ある結果を生む元の組を写像のファイバーとして集め、同じ結果に至る表示がどのように分布しているかを対象化する[1]。
積集合だけを残すと、異なる表示が同じ元へまとめられる。たとえば、二つの部分集合から選んだ元の組が異なっていても、その積が等しければ、積集合では一つの元としてしか現れない。シナジーのファイバーは、この段階で失われる表示の多重性を保持する。さらに、左右の部分群による作用を使ってファイバーを分類すると、表示数の違いが無秩序に生じているのではなく、両側剰余類ごとの成分に従って整理されることが分かる。
有限の場合には、この分類を数え上げへ移すことができる。元の組の総数を、成分ごとのファイバーの大きさへ分解すると、部分集合の要素数の積が、共役された部分群との交わりと重複度の総和として表される。対象プレプリントがベズー型公式と呼ぶ等式は、独立した数式として突然現れるのではない。表示をファイバーとして取り出し、群作用で同じ構造を持つ成分へ分け、その成分を数えた帰結である[1]。
ベズーという名称は、群論と代数幾何学が同じ理論になったことを意味しない。両者に共通するのは、大域的な積が、局所的な交わりとその重複度の総和へ分解されるという数式の構成である。高次群論の核心は名称の意外性よりも、積の結果だけを見ていた段階では消えていた表示の差異を、新しい対象、写像、群作用、数え上げの順に組み立て直した点にある。
| 観測水準 | 直接観察できるもの | その水準では残らない情報 | 次に必要となる構造 |
|---|---|---|---|
| 元の積 | 二つの元を組み合わせたときに、どの元が得られるかを観察する。 | 複数の積に共通する部分構造や、元同士を結ぶ対称性は直接には現れない。 | 部分群、共役、剰余類、群作用を導入し、元の関係をまとめる。 |
| 部分集合の積 | 各部分集合から元を選んだときに、どの結果の集合が生じるかを観察する。 | 一つの結果が、異なる元の組から何通り生成されたかは積集合に保存されない。 | 元の組から積の結果への写像を定義し、入力と出力の対応を保持する。 |
| シナジーのファイバー | 一つの結果を生む元の組をすべて集め、表示の多重性を観察する。 | 結果ごとのファイバーを列挙するだけでは、表示数の違いを生む規則までは分からない。 | 左右の部分群による作用を加え、両側剰余類ごとにファイバーを分類する。 |
| 軌道成分ごとの数え上げ | 同じ構造を持つファイバーを成分ごとにまとめ、その大きさと重複度を観察する。 | 公式の形だけでは、代数幾何学との類似が生じる根本原理までは確定しない。 | 群論側の交わりと重複度を、ベズー型公式の構成として比較する。 |
1. 乗積表から部分構造へ
1.1 群を知ることと群を理解すること
群 \(G\) は、二項演算
\[
G\times G\longrightarrow G
\]
を持つ集合であり、その演算は結合則を満たし、単位元と各元の逆元を備える。ここで \(G\times G\) は、群の元を二つ選んで作る順序付きの組の集合を表す。写像は、それぞれの組 \((g,h)\) を積 \(gh\) へ送る。有限群の乗積表は、この写像がすべての入力に対して何を返すかを一覧にしたものである。
乗積表が完全であることと、表の各行を独立に読むことは別である。群の構造を調べる際には、特定の元だけでなく、複数の元が演算に対してどのようなまとまりを作るかを見る。ある部分集合が、内部の元同士を掛けても外へ出ず、単位元と逆元も含むなら、その部分集合は部分群になる。部分群という概念を置くことで、多数の個別計算を「群の内部に再び群が存在する」という一つの命題へまとめられる。
有限群論では、群作用、シロー部分群、正規部分群、商群などを用いて、元の集合に含まれる対称性と階層を調べる[2]。一般群論では、生成元と関係式、準同型、核、剰余群、群の拡大などが、同じ群を異なる側面から記述する[3]。これらの概念は乗積表に不足する情報を外部から追加するものではない。表の中に埋め込まれている反復や不変性を、比較可能な単位として抽出する。
たとえば、正規部分群 \(N\) があれば、群 \(G\) の元を \(N\) の剰余類へまとめ、商群 \(G/N\) を作ることができる。この操作では、同じ剰余類に属する元の違いをいったん捨てる代わりに、群全体をより少数の成分からなる構造として読み直せる。個々の元を残したまま一覧を拡大するのではなく、どの差異を保ち、どの差異を同一視するかを定めることで、別の水準の群構造が現れる。
高村氏は、こうした群論の働きを、個々の元と積からなるミクロな水準と、部分群や剰余類からなるマクロな水準の接続として捉える[1]。この表現は、群を物理系と同一視するためのものではない。個別の演算結果を集めるだけでは得られない上位の規則を、どの数学的対象によって記述するかという研究上の問いを示している。
高次群論は、この問いを部分群の外側へ進める。部分群のように内部で閉じた集合だけでなく、一般の部分集合を複数並べ、その積へ至る表示を調べる。観測対象は、安定した一つの部分構造から、複数の部分集合、その配置、元の選択、積の結果を結ぶ関係へ広がる。
1.2 部分集合の積は従来から研究されてきた
群の部分集合や部分群の積は、高次群論によって初めて導入された対象ではない。二つの部分集合 \(A,B\subseteq G\) に対して、その積は
\[
AB=\{ab\mid a\in A,\ b\in B\}
\]
と定義される。\(A\) から一つ、\(B\) から一つ元を選び、得られる積をすべて集めた集合である。\(A\) と \(B\) が部分群であっても、積 \(AB\) が常に部分群になるとは限らない。積が部分群になる条件、複数の部分群の積によって得られる群の性質、可解性や局所有限性がどのように受け継がれるかは、従来の群論でも体系的に研究されてきた[4]。
この研究史を踏まえると、高次群論の新規性を「従来は部分集合の積を扱えなかった」と説明するのは正確ではない。従来の研究でも、部分集合の積、部分群積、剰余類積、その要素数や代数的性質は検討されている。高次群論が変更したのは、対象の有無ではなく、複数の部分集合と積の結果をどの枠組みで結び付けるかという設計である。
従来の部分群積の議論では、積 \(HK\) が部分群になる条件や、得られた集合の性質が主要な問いになる。これに対して、高次群論では、部分集合を順序付きで並べた対象
\[
(S_1,S_2,\ldots,S_m)
\]
と、各集合から選んだ元の組
\[
(s_1,s_2,\ldots,s_m)
\]
を区別して保持する。さらに、その組を積 \(s_1s_2\cdots s_m\) へ送る写像を置く。積集合を最終結果として調べるだけでなく、結果へ至る入力側の構成を理論の内部へ残す点に、観測単位の変化がある。
部分集合の順序も無視できない。群の演算は一般に可換ではないため、同じ集合を使っても、並べる順番を変えれば積集合が変わり得る。
\[
S_1S_2\neq S_2S_1
\]
となる場合、部分集合の集合族だけを記録しても、どの積を考えているかは定まらない。高次対象が部分集合を順序付きで保持するのは、非可換な演算の下では配置そのものが結果を左右するためである。
各部分集合が単独で部分群になる必要もない。閉性を持たない部分集合であっても、別の集合とどの順序で組み合わされ、どの結果を生み、その表示がどの対称性によって移り合うかを調べることはできる。構造の所在が、個々の集合の内部から、複数の集合と写像の組み合わせへ移る。
対象プレプリントでは、構成条件の異なる高次対象に、セクト、クラン、フロック、ギルドなどの名称が与えられている[1]。これらの用語の役割は、分類名を増やすことではなく、各対象でどの作用と写像を利用できるかを区別することにある。特に、部分集合の列の両端へ部分群を置いた形では、左側と右側から群を作用させられる。この作用が、後に積集合を両側剰余類へ分け、ファイバーの構造を比較するための条件になる。
ここまでの段階では、高次対象を定義しただけであり、積集合の内部に新しい規則が見つかったわけではない。次に必要となるのは、部分集合の列から一つの積が生じる過程で、どの情報が保持され、どの情報が失われるかを明示することである。その役割を担うのが、元の組から積の結果への写像であるシナジーである。
2. 部分集合から高次対象を作る
2.1 元、部分群、剰余類の先にある対象
高村氏は、群 \(G\) の元 \(a\) を 0 次、部分群 \(H\) と片側剰余類 \(aH\) を 1 次、両側剰余類 \(KaH\) を 2 次とみなし、その先に複数の部分群や剰余類を掛け合わせた対象を置く[1]。ここでいう次数は、群の位数や一般的な次数概念を指すものではない。積を構成する因子が増えるにつれて、単独の元から部分集合、さらに複数の部分集合の配置へ観測単位を引き上げるための、著者独自の整理である。
この発想から、部分群 \(H_1,H_2,\ldots,H_n\) の積
\[
H_1H_2\cdots H_n
=
\left\{
h_1h_2\cdots h_n
\mid
h_i\in H_i
\right\}
\]
をセクトと呼び、群の元 \(a_1,a_2,\ldots,a_n\) と部分群を交互に並べた積
\[
a_1H_1a_2H_2\cdots a_nH_n
=
\left\{
a_1h_1a_2h_2\cdots a_nh_n
\mid
h_i\in H_i
\right\}
\]
をクランと呼ぶ。前者は複数の部分群を掛け合わせた対象であり、後者は剰余類の形を複数の因子へ拡張した対象である。高村氏は、元、部分群、片側剰余類、両側剰余類という既存の対象を起点に、このような積を高次対象として組織する構想を発展させてきた[5][6]。
セクトやクランが多項式に似た外形を持つことは、構想の出発点の一つになっている。セクト \(H_1H_2\cdots H_n\) は単項式 \(x_1x_2\cdots x_n\)、クラン \(a_1H_1a_2H_2\cdots a_nH_n\) は係数を挟んだ式に似ている。しかし、部分群 \(H_i\) は単なる記号ではなく、それぞれが内部に群構造を持つ。さらに、群の演算は一般に可換ではないため、因子の順番も結果を左右する。
\[
H_1H_2\cdots H_n
\neq
H_n\cdots H_2H_1
\]
となる場合には、どの部分群を使ったかだけでなく、どの順序で並べたかまで保持しなければ対象は定まらない。多項式との類似は、複数の因子から高次の対象を構成するという発想を与える一方、可換環上の代数幾何学をそのまま移植できない理由も同時に示している。
セクトとクランをさらに一般化し、群 \(G\) の任意の部分集合 \(S_1,S_2,\ldots,S_m\) を順に掛け合わせた集合を考える。
\[
S_1S_2\cdots S_m
=
\left\{
s_1s_2\cdots s_m
\mid
s_i\in S_i
\right\}
\]
高次群論では、この部分集合の積をフロックと呼ぶ。セクトでは各因子が部分群に限定され、クランでは群の元と部分群が一定の形で並ぶ。フロックでは、それぞれの \(S_i\) が一般の部分集合でよいため、両者を含む広い対象を扱える。関連する論考では、この一般化を基礎として、部分集合の位数まで含む組合せ公式を導く方向が具体化されている[7]。
フロックを最終的に得られた部分集合だけとして見ると、その構成に用いた因子は見えなくなる。同じ部分集合が積の結果として得られたとしても、どの部分集合を何個並べ、どの順序で掛けたかによって、積へ至る元の組の空間は異なり得る。後に導入する普遍シナジーでは、その入力側が
\[
S_1\times S_2\times\cdots\times S_m
\]
となるため、因子の分解を消してしまうと、どの表示を数えるべきかも定まらない。高次対象としてのフロックは、積集合の値だけでなく、その積を構成する因子列と結び付けて読む必要がある。
2.2 独自用語は理論上の役割に応じて読む
対象論文には、セクト、クラン、フロック、ギルド、プラズマ、シナジーなどの独自用語が現れる。これらは同じ対象への別名ではなく、積の因子、積が作られる前の状態、積の結果、それらを結ぶ写像を区別するために置かれている。理論の中心線を追うには、名称そのものより、各概念がどの情報を保持し、後の定理に何を提供するかを見る必要がある。
| 用語 | 定義上の位置 | 保持する情報 | 後続する役割 |
|---|---|---|---|
| セクト | 複数の部分群を順に掛け合わせた \(H_1H_2\cdots H_n\) という対象である。 | どの部分群を、どの順序で積に用いたかを保持する。 | 古典的な部分群積を高次対象として位置づける。 |
| クラン | 群の元と部分群を交互に並べた \(a_1H_1a_2H_2\cdots a_nH_n\) という対象である。 | 剰余類を構成する元と部分群の配置を保持する。 | 片側剰余類や両側剰余類を、より長い因子列へ拡張する。 |
| フロック | 任意の部分集合を順に掛け合わせた \(S_1S_2\cdots S_m\) という対象である。 | 部分群に限らない因子列と、その積集合を結び付ける。 | シナジーの行き先となり、表示の多重性を調べる基礎を与える。 |
| ギルド | 最初と最後の因子が部分群である \(HA_1A_2\cdots A_nK\) というフロックである。 | 内部の部分集合列に加え、左右から作用する部分群 \(H\) と \(K\) を保持する。 | 左右の群作用によって両側剰余類へ分解し、ファイバーを成分ごとに比較できる。 |
| プラズマ | フロックの因子を、積へまとめる前または途中の直積として保持した空間である。 | どの因子が分離され、どの隣接因子がすでに積へまとめられたかを保持する。 | シナジーの入力側となり、積が進む各段階を表現する。 |
| シナジー | プラズマに含まれる元の組を、因子の積によって別のプラズマまたはフロックへ送る写像である。 | 積を取る前の表示と、積を取った後の結果の対応を保持する。 | 一つの結果を生む表示全体を、ファイバーとして取り出せるようにする。 |
この中で、フロックからギルドを切り出す条件には明確な理由がある。ギルド
\[
HA_1A_2\cdots A_nK
\]
では、左端の部分群 \(H\) が左から、右端の部分群 \(K\) が右から積集合へ作用できる。
\[
H\curvearrowright HA_1A_2\cdots A_nK\curvearrowleft K
\]
内部の部分集合 \(A_1,A_2,\ldots,A_n\) が部分群でなくても、両端に部分群があることで、積集合の元を左右の作用による軌道へ分けられる。この軌道が両側剰余類となり、後にファイバーの構造を成分ごとに比較するための単位になる。ギルドは、単に因子の形が整ったフロックではなく、表示の差異を分類する対称性を備えたフロックである。
形式上は、任意のフロック \(S_1S_2\cdots S_m\) の両端に単位部分群 \(E\) を置き、
\[
ES_1S_2\cdots S_mE
\]
と書けばギルドとみなせる。しかし、左右の部分群がどちらも \(E\) であれば、各元はそれ自身からなる両側剰余類にしか属さない。分解は積集合の元を一つずつ並べ直すだけになり、異なる元を共通の構造へまとめる働きを持たない。ギルドという形式を満たすことと、非自明な群作用によって有効な分類が得られることは区別される。
プラズマとシナジーも、独自用語を増やすための付加物ではない。フロック \(S_1S_2\cdots S_m\) に対する最も分離された入力空間は、各因子を直積として保持した
\[
S_1\times S_2\times\cdots\times S_m
\]
であり、普遍プラズマと呼ばれる。ここから隣接する因子を順に掛け合わせると、
\[
S_1S_2\times S_3\times\cdots\times S_m
\]
のような中間的なプラズマが生じ、最終的にはフロック \(S_1S_2\cdots S_m\) へ到達する。それぞれの段階を結ぶ写像がシナジーである。積を一度に計算した結果だけを見るのではなく、因子がどの段階でまとめられ、どの表示が同じ結果へ送られたかを追える構成になっている[1]。
本稿でいう高次とは、群そのものを巨大化することでも、抽象的な名称を重ねることでもない。元、部分群、剰余類を単独で観察する水準から、複数の部分集合の順序、積の前の表示空間、積の結果、それらを結ぶ写像を一体として扱う水準へ移ることを指す。次章では、この構成の中心にあるシナジーを取り上げ、一つの積の結果に対応する表示全体がファイバーとしてどのように取り出されるかを確認する。
3. シナジーは積の背後にある表示を保存する
3.1 積集合は表示の多重性を消す
複数の部分集合を掛け合わせると、各集合から選んだ元の組が一つの積へまとめられる。この操作で残るのは積の結果であり、同じ結果が異なる元の組から何通り得られたかは、通常の積集合には記録されない。高次群論がシナジーを導入する理由は、この消失する表示情報を積集合と切り離さずに扱うためである。
小さな例として、加法で表した巡回群 \(\mathbb{Z}/3\mathbb{Z}\) を考える。この群では、整数を 3 で割った余りによって元を区別し、和も 3 を法として計算する。二つの部分集合を、
\[
A=B=\{0,1\}
\]
と置く。\(A\) から一つ、\(B\) から一つ元を選んで加えると、可能な組と結果は次のようになる。
| 元の組 | 法 3 での和 | 得られる結果 |
|---|---|---|
| \((0,0)\) | \(0+0\equiv 0\pmod 3\) となる。 | \(0\) が得られる。 |
| \((0,1)\) | \(0+1\equiv 1\pmod 3\) となる。 | \(1\) が得られる。 |
| \((1,0)\) | \(1+0\equiv 1\pmod 3\) となる。 | \(1\) が得られる。 |
| \((1,1)\) | \(1+1\equiv 2\pmod 3\) となる。 | \(2\) が得られる。 |
この結果から、集合の和は、
\[
A+B=\{0,1,2\}
\]
となる。積に相当する加法の結果として、\(0\)、\(1\)、\(2\) のすべてが現れる。一方、結果 \(1\) だけは、
\[
1=0+1=1+0
\]
という 2 通りの表示を持つ。結果 \(0\) は \((0,0)\)、結果 \(2\) は \((1,1)\) からしか得られない。
入力側には 4 個の組があるが、出力側の集合には 3 個の元しかない。
\[
|A\times B|=4,\qquad |A+B|=3
\]
この個数の差は、入力の一部が消滅したことを意味しない。二つの異なる入力 \((0,1)\) と \((1,0)\) が、同じ結果 \(1\) へ送られたために生じている。集合では同じ元を重複して記録しないため、\(A+B\) だけを見ても、結果 \(1\) がほかの元より多くの表示を持つことは分からない。
この例に現れているのは、有限集合の数え上げに限られた現象ではない。非可換群では、元の順序も表示の一部になる。一般に \(ab\) と \(ba\) は一致するとは限らないため、積の結果が同じであっても、どの部分集合からどの元をどの順番で選んだかを区別しなければならない。積集合は結果の存在を示すが、その結果を成立させる表示の構造までは保持しない。
3.2 元の組から積の結果への写像
表示の違いを残すには、積集合だけでなく、積を取る前の元の組と、積を取った後の結果との対応を明示する必要がある。群 \(G\) の部分集合 \(S_1,S_2,\ldots,S_m\) に対して、直積から積集合への写像を、
\[
\pi:
S_1\times S_2\times\cdots\times S_m
\longrightarrow
S_1S_2\cdots S_m
\]
\[
\pi(s_1,s_2,\ldots,s_m)
=
s_1s_2\cdots s_m
\]
と定める。対象論文では、最も細かく分離された直積から最終的な積集合へ送るこの写像を普遍シナジーと呼ぶ[1]。
定義域の
\[
S_1\times S_2\times\cdots\times S_m
\]
には、各部分集合から選ばれた元が順序付きの組として残っている。第 1 成分 \(s_1\) は \(S_1\) から、第 2 成分 \(s_2\) は \(S_2\) から選ばれた元であり、非可換群では成分の位置も変更できない。前章の用語では、この直積が因子を完全に分離した普遍プラズマに当たる。
値域の
\[
S_1S_2\cdots S_m
\]
には、組の各成分を掛け合わせた結果だけが残る。積集合は、この写像の像として定義されているため、\(\pi\) は値域のすべての元に到達する。しかし、一つの結果に複数の組が対応することがあるため、一般には一対一ではない。
| 写像の側 | 保持される情報 | 失われる情報 |
|---|---|---|
| 定義域 | どの部分集合からどの元を選び、どの順序で並べたかが保持される。 | まだ積を計算していないため、どの組が同じ結果へ集約されるかは分からない。 |
| 写像 | 各表示と積の結果との対応が保持される。 | 写像そのものだけでは、結果ごとの表示のまとまりは一覧化されていない。 |
| 値域 | どの積の結果が存在するかが保持される。 | 同じ結果へ送られた異なる表示の個数と構成は残らない。 |
この写像を置くことで、部分集合の積に対する問いが変わる。積集合だけを調べる場合の問いは、
\[
\text{どの元が }S_1S_2\cdots S_m\text{ に含まれるか}
\]
である。シナジーを含めて調べる場合には、これに加えて、
\[
\text{各元はどの組から、何通り表されるか}
\]
を問える。結果の存在だけを調べる水準から、入力と出力の対応を調べる水準へ観測範囲が広がる。
シナジーは、新しい演算を群へ追加しているわけではない。用いている積は、もとの群 \(G\) の演算である。新たに導入されるのは、元の組と積の結果を別々の空間に置き、その間の対応を写像として観察する枠組みである。既存の積をどの空間の間の写像として読むかを変えることで、積集合だけでは消えていた差異を調べられるようになる。
3.3 ファイバーは同じ結果を生む表示の集合である
シナジーを写像として定義すると、積集合の各元に対して、その元へ送られる入力の全体を取り出せる。結果
\[
x\in S_1S_2\cdots S_m
\]
に対するファイバーは、
\[
\pi^{-1}(x)
=
\left\{
(s_1,s_2,\ldots,s_m)\in
S_1\times S_2\times\cdots\times S_m
\mid
s_1s_2\cdots s_m=x
\right\}
\]
と定義される。記号 \(\pi^{-1}(x)\) は、\(x\) を逆元として計算することを意味しない。写像 \(\pi\) によって \(x\) へ送られる、定義域内のすべての元の組を表す。
先ほどの例では、写像を、
\[
\pi:A\times B\longrightarrow A+B
\]
\[
\pi(a,b)=a+b\pmod 3
\]
と置くことができる。各結果のファイバーは、
\[
\pi^{-1}(0)=\{(0,0)\}
\]
\[
\pi^{-1}(1)=\{(0,1),(1,0)\}
\]
\[
\pi^{-1}(2)=\{(1,1)\}
\]
となる。積集合 \(A+B\) では消えていた違いが、ファイバーの要素数として再び現れる。
| 結果 | ファイバー | 表示の個数 |
|---|---|---|
| \(0\) | \(\{(0,0)\}\) である。 | 1 通りである。 |
| \(1\) | \(\{(0,1),(1,0)\}\) である。 | 2 通りである。 |
| \(2\) | \(\{(1,1)\}\) である。 | 1 通りである。 |
有限の場合、各結果 \(x\) の表示数を、
\[
\nu(x)=|\pi^{-1}(x)|
\]
と書ける。ここで \(\nu(x)\) は、結果 \(x\) に対応するファイバーの要素数である。先ほどの例では、
\[
\nu(0)=1,\qquad \nu(1)=2,\qquad \nu(2)=1
\]
となる。積集合が記録するのは \(\nu(x)\) が 0 でない結果の集合であり、\(\nu(x)\) の値そのものではない。シナジーとファイバーを導入することで、結果の有無と表示の多重性を分けて記述できる。
定義域は、異なる結果に対応するファイバーへ重なりなく分割される。ある元の組は、積を計算すれば一つの結果にしか送られないため、二つの異なるファイバーへ同時に属することはない。有限の場合には、この分割から、
\[
|S_1|\cdot|S_2|\cdots|S_m|
=
\sum_{x\in S_1S_2\cdots S_m}
|\pi^{-1}(x)|
\]
が得られる。左辺は元の組の総数であり、右辺は結果ごとの表示数をすべて加えた値である。この等式自体は有限集合の写像に対する基本的な数え上げだが、高次群論の位数公式は、このファイバーをさらに群作用によって分類するところから生じる。
ファイバーを結果の「履歴」と呼ぶと、時間の経過に沿った処理記録と混同しやすい。ファイバーが保持するのは、過去に実際に選択された入力ではなく、所定の部分集合から選び得る元のうち、同じ積を与えるすべての数学的表示である。どの組が先に生成されたか、どの計算経路を実際に通ったかという時間情報は含まれない。
この限定は、記事全体の一般化にも関わる。高次群論から得られるのは、「結果より過程を重視すべきだ」という判断ではない。積という多対一写像において、出力だけでは区別できない入力の組を逆像として取り出し、その集合に群論的な構造があるかを調べるという、明確に限定された問題である。
表示の数 \(\nu(x)\) を個別に計算するだけなら、結果ごとの組合せ数を並べるところで議論は終わる。しかし、対象研究が求めるのは、なぜ異なる結果が同じ大きさまたは同じ形のファイバーを持つのかという説明である。個々の数値が一致するだけでは、その一致が偶然なのか、群の対称性によって必然的に生じるのかは区別できない。
この区別を与えるのが、左右の部分群による作用である。積集合の元が群作用によって移り合うとき、その作用は対応する表示の集合にも写像を誘導する。結果を両側剰余類ごとの成分へ分けることで、ファイバーの違いは、元ごとの不規則なばらつきから、軌道成分に従う構造へ変わる。次章では、ギルドの両端にある部分群が、積集合とファイバーをどのように同時に分類するかを扱う。
4. 両側剰余類分解がファイバーのばらつきを整理する
4.1 両端の部分群が左右の作用を与える
一般のフロックでは、部分集合を順に掛け合わせることはできても、積集合の元同士を比較する対称性が自動的に備わるわけではない。これに対して、最初と最後の因子が部分群になっている、
\[
\mathcal{G}
=
HA_1A_2\cdots A_nK
\]
というフロックでは、左端の部分群 \(H\) と右端の部分群 \(K\) が積集合へ作用する。ここで \(H,K\subseteq G\) は群 \(G\) の部分群であり、\(A_1,\ldots,A_n\subseteq G\) は任意の部分集合である。対象論文は、この形のフロックをギルドと呼ぶ[1]。
ギルドの元は、
\[
x=ha_1a_2\cdots a_nk
\]
と表せる。\(u\in H\) と \(v\in K\) を選び、\(x\) の左から \(u\)、右から \(v\) を掛けると、
\[
x
\longmapsto
uxv
=
uha_1a_2\cdots a_nkv
\]
となる。\(u\) と \(h\) の積 \(uh\) は再び \(H\) に属し、\(k\) と \(v\) の積 \(kv\) も再び \(K\) に属するため、移された元 \(uxv\) はギルド \(\mathcal{G}\) の外へ出ない。両端が一般の部分集合ではなく部分群であることが、左右から何度作用させても同じ対象の内部にとどまる閉性を与えている。
この左右作用によって互いに移り合う元を一つにまとめた集合が、両側剰余類である。中間の積集合
\[
A_1A_2\cdots A_n
\]
から代表元 \(\alpha\) を一つ選ぶと、その代表元を含む軌道は、
\[
H\alpha K
=
\left\{
h\alpha k
\mid
h\in H,\ k\in K
\right\}
\]
と表される。対象論文では両側コセットと表記されているが、本稿では標準的な日本語に合わせて両側剰余類と呼ぶ。
代表元を適切に選べば、ギルド全体は互いに重ならない両側剰余類へ分解される。
\[
HA_1A_2\cdots A_nK
=
\bigsqcup_{i\in I}
H\alpha^{(i)}K,
\qquad
\alpha^{(i)}\in A_1A_2\cdots A_n
\]
記号 \(\bigsqcup\) は、異なる成分が共通の元を持たない非交和を表す。添字集合 \(I\) は両側剰余類成分を区別し、各 \(\alpha^{(i)}\) はその成分の代表元である。一つの元が二つの異なる成分に入ることはなく、同じ成分に属する元は左右の部分群作用によって互いに移り合う。
この分解の役割は、積集合を小さな部分へ切り分けることだけではない。シナジーのファイバーを元ごとに比較すると、積集合全体では大きさや構成が変化し得る。両側剰余類は、その変化を支配する対称性に従って結果を分類し、どの範囲でファイバーが同じ構造を持つかを定める。
両端を単位元だけからなる部分群 \(E=\{e\}\) にすれば、任意のフロックも形式上は、
\[
EA_1A_2\cdots A_nE
\]
というギルドとして表せる。しかし、この場合の両側剰余類は、
\[
E\alpha E=\{\alpha\}
\]
という一点集合にすぎない。積集合を元ごとに分け直しているだけであり、異なる結果を共通の成分へまとめる作用は生じない。ギルドという形式を持つことと、非自明な部分群作用によって有効な分類が得られることは別である。
4.2 同じ両側剰余類ではファイバーが同型になる
ギルド \(\mathcal{G}=HA_1A_2\cdots A_nK\) を値域とするシナジーを、
\[
\eta:P\longrightarrow \mathcal{G}
\]
とする。\(P\) は、積を取る前または途中の因子を直積として保持したプラズマである。普遍シナジーの場合には、
\[
P
=
H\times A_1\times A_2\times\cdots\times A_n\times K
\]
となり、
\[
\eta(h,a_1,\ldots,a_n,k)
=
ha_1\cdots a_nk
\]
によって元の組を最終的な積へ送る。
同じ両側剰余類に属する二つの結果 \(x,y\in H\alpha^{(i)}K\) を考える。両者は同じ軌道に属するため、ある \(u\in H\) と \(v\in K\) を用いて、
\[
y=uxv
\]
と表せる。普遍シナジーで \(x\) を与える表示
\[
x=ha_1a_2\cdots a_nk
\]
があれば、左右の端をそれぞれ変換することで、
\[
y
=
(uh)a_1a_2\cdots a_n(kv)
\]
という表示が得られる。逆に \(u^{-1}\) と \(v^{-1}\) を作用させれば、\(y\) の表示から \(x\) の表示へ戻せる。この対応は一対一であるため、\(x\) のファイバーと \(y\) のファイバーの間に全単射が生じる。
対象論文のシナジーの構造定理は、この性質が普遍シナジーだけでなく、ギルドを値域とする任意のシナジーについて成立すると述べる。すなわち、各両側剰余類 \(H\alpha^{(i)}K\) の内部では、
\[
\eta^{-1}(x)
\cong
\eta^{-1}(y),
\qquad
x,y\in H\alpha^{(i)}K
\]
となる[1]。ここでの同型は集合としての同型、すなわち全単射が存在することを意味する。ファイバーが群や位相空間として同じ追加構造を持つと主張しているわけではない。
積集合全体のすべてのファイバーが同型になるとは限らない。異なる両側剰余類に移ると、左右作用の重なり方や、定義域側からその成分へ到達する経路の数が変わり得る。等ファイバー性が保証される範囲は、積集合全体ではなく、一つの両側剰余類の内部である。
\[
\begin{array}{c}
\text{積集合全体ではファイバーが変化し得る}\\[4pt]
\downarrow\\[4pt]
\text{両側剰余類ごとに分ける}\\[4pt]
\downarrow\\[4pt]
\text{各成分内ではファイバーが同型になる}
\end{array}
\]
ファイバーのばらつきは、この分解によって消去されるのではない。どの範囲で同じ構造が続き、どの境界を越えると構造が変わるのかが明示される。両側剰余類は、積集合の元を分類する軌道であると同時に、シナジーのファイバーが一定になる領域でもある。
4.3 共役部分群との交わりが表示の重複を表す
同じ両側剰余類の内部でファイバーが同型になる理由を、最も単純な両側剰余類の写像から確認する。代表元 \(\alpha\in G\) に対し、
\[
\mu_{\alpha}:
H\times K
\longrightarrow
H\alpha K
\]
\[
\mu_{\alpha}(h,k)=h\alpha k
\]
と定める。この写像は、左右の部分群から選んだ元の組を、両側剰余類の元へ送る。
結果 \(\alpha\) 自身を与える組は、
\[
h\alpha k=\alpha
\]
を満たさなければならない。この等式を変形すると、
\[
h
=
\alpha k^{-1}\alpha^{-1}
\]
となる。左辺の \(h\) は \(H\) に属し、右辺は共役部分群
\[
K^{\alpha}
=
\alpha K\alpha^{-1}
\]
に属する。したがって、同じ結果を与える左右の作用の重複は、
\[
H\cap K^{\alpha}
\]
によって記述される。
この交わりは、部分群 \(H\) と \(K\) が集合として直接重なっているかどうかだけを見ているのではない。右側から作用する \(K\) を、代表元 \(\alpha\) を介して左側の位置へ移したうえで、\(H\) と共通する変換を調べている。代表元が変われば共役部分群 \(K^{\alpha}\) も変わるため、左右作用の重複は両側剰余類成分ごとに異なり得る。
| 構成要素 | 数学的な役割 | ファイバーとの関係 |
|---|---|---|
| 部分群 \(H\) | 積集合へ左から作用する変換を与える。 | 表示の左端を変更しても同じギルド内に保つ。 |
| 部分群 \(K\) | 積集合へ右から作用する変換を与える。 | 表示の右端を変更しても同じギルド内に保つ。 |
| 共役部分群 \(K^{\alpha}\) | 右側の作用を、代表元 \(\alpha\) を介して左側の座標へ移す。 | 左作用と右作用を同じ群の内部で比較できるようにする。 |
| 交わり \(H\cap K^{\alpha}\) | 左右の作用が同じ結果を与える共通部分を表す。 | 一つの成分内にある基本的なファイバー構造を与える。 |
一般のシナジーでは、ファイバーが常に \(H\cap K^{\alpha^{(i)}}\) 一つと同型になるわけではない。シナジーの定義域であるプラズマも、左右の部分群作用に応じた成分へ分かれる。一つの両側剰余類
\[
T_i=H\alpha^{(i)}K
\]
に対し、定義域側の複数の成分が \(T_i\) へ送られることがある。その成分数を、対象論文はサテライト指数と呼び、
\[
w^{(i)}
\]
と表す。サテライト指数は、値域の成分 \(T_i\) の上に、シナジーの定義域側の成分がいくつ重なっているかを数える量である。
構造定理によれば、\(x\in H\alpha^{(i)}K\) に対するファイバーは、
\[
\eta^{-1}(x)
\cong
\bigsqcup_{r=1}^{w^{(i)}}
\left(
H\cap K^{\alpha^{(i)}}
\right)
\]
と表される[1]。右辺は、\(H\cap K^{\alpha^{(i)}}\) と同型な集合を \(w^{(i)}\) 個並べた非交和である。\(w^{(i)}\) は無限になる場合もあるため、この定理は有限群の数え上げだけを述べたものではない。
有限の場合には、この集合としての分解から、ファイバーの要素数が、
\[
\left|
\eta^{-1}(x)
\right|
=
w^{(i)}
\left|
H\cap K^{\alpha^{(i)}}
\right|
\]
と求められる。右辺には二種類の重複が現れている。交わりの位数 \(\left|H\cap K^{\alpha^{(i)}}\right|\) は、一つの定義域成分の内部で左右の作用がどれだけ重なるかを表す。サテライト指数 \(w^{(i)}\) は、その基本構造を持つ定義域成分が、同じ値域成分の上にいくつ存在するかを表す。
| 観察範囲 | ファイバーの見え方 | ばらつきを生む要因 | 構造上の意味 |
|---|---|---|---|
| 積集合全体 | 結果によってファイバーの大きさや構成が変化し、不均一に見える。 | 両側剰余類ごとに、共役部分群との交わりとサテライト指数が異なり得る。 | 全体を一括して見るだけでは、変化を支配する単位を識別できない。 |
| 一つの両側剰余類 | すべてのファイバーが集合として同型になる。 | 左右の部分群作用によって、結果と表示が互いに対応付けられる。 | 両側剰余類が、等しいファイバー構造を持つ領域になる。 |
| 一つの定義域成分 | 基本的なファイバーが \(H\cap K^{\alpha^{(i)}}\) と同型になる。 | 左作用と、共役によって移された右作用が重なる。 | 表示の重複が、左右の対称性の共通部分として記述される。 |
| 同じ値域成分の上にある定義域全体 | 基本的なファイバーが \(w^{(i)}\) 個の非交和として現れる。 | 複数の定義域成分が同じ両側剰余類へ送られる。 | サテライト指数が、基本構造の反復回数を記録する。 |
ここで得られた分類は、結果ごとの表示数を集計しただけの表とは異なる。ファイバーの大きさが一致する理由を、左右の群作用、共役部分群との交わり、定義域成分の反復という三つの構造へ分解しているからである。異なる結果の表示数が偶然一致したのではなく、同じ軌道に属するために全単射が生じることが示される。
部分群積や剰余類積の位数については、高次群論に先立つ研究でも、交わり、可除性、不等式などの制約が体系的に調べられてきた[8]。シナジーの構造定理は、それらの位数を結果の集合だけから扱うのではなく、積の前にある表示空間をファイバーへ分解することで捉え直す。次章では、各成分のファイバーを有限集合として数え、部分集合の位数の積を、交わりと重複度の総和へ変換する。
5. 表示を数えると位数公式が現れる
5.1 全体の大きさをファイバーへ分ける
前章では、ギルドの一つの両側剰余類
\[
T_i
=
H\alpha^{(i)}K
\]
の内部では、シナジーのファイバーが集合として同型になり、その基本構造が共役部分群との交わり
\[
H\cap K^{\alpha^{(i)}}
\]
によって記述されることを確認した。有限の場合には、この集合としての構造を要素数の等式へ移せる。ファイバーを一つずつ数えるだけではなく、同じ構造を持つファイバーを両側剰余類ごとにまとめることで、シナジーの定義域全体の大きさが位数公式へ変わる。
有限ギルド
\[
\mathcal{G}
=
HA_1A_2\cdots A_nK
\]
を値域とするシナジーを、
\[
\eta:P\longrightarrow\mathcal{G}
\]
とする。定義域のプラズマ \(P\) は、複数の部分集合の直積として、
\[
P=P_1\times P_2\times\cdots\times P_N
\]
と表せる。たとえば普遍シナジーであれば、各因子を分離した、
\[
P
=
H\times A_1\times A_2\times\cdots\times A_n\times K
\]
が定義域になる。有限集合の直積の要素数は各因子の要素数の積なので、
\[
|P|
=
|P_1||P_2|\cdots|P_N|
\]
となる。
シナジーの定義域と値域は、それぞれ定義域側成分と値域側成分へ分解される。
\[
P
=
\bigsqcup_{j\in J}S_j
\]
\[
\mathcal{G}
=
\bigsqcup_{i\in I}T_i,
\qquad
T_i=H\alpha^{(i)}K
\]
各定義域側成分 \(S_j\) は、一つの値域側成分 \(T_i\) へ全射的に送られる。同じ値域側成分 \(T_i\) の上にある定義域側成分、すなわち
\[
\eta(S_j)=T_i
\]
を満たす \(S_j\) の個数を、サテライト指数
\[
w^{(i)}
\]
と呼ぶ。これは、値域の一つの両側剰余類に対して、定義域側の成分が何個重なっているかを表す。
結果 \(x\in T_i\) を一つ固定すると、一つの定義域側成分から生じる基本的なファイバーは、
\[
H\cap K^{\alpha^{(i)}}
\]
と同型になる。同じ \(T_i\) の上には、そのような定義域側成分が \(w^{(i)}\) 個あるため、シナジー全体のファイバーは、
\[
\eta^{-1}(x)
\cong
\bigsqcup_{r=1}^{w^{(i)}}
\left(
H\cap K^{\alpha^{(i)}}
\right)
\]
と表される。有限の場合、その要素数は、
\[
\left|\eta^{-1}(x)\right|
=
w^{(i)}
\left|
H\cap K^{\alpha^{(i)}}
\right|
\]
となる。
この等式は一つの結果 \(x\) に対応する表示数を表している。値域側成分 \(T_i\) には \(|T_i|\) 個の結果があり、そのすべてが同じ大きさのファイバーを持つため、\(T_i\) の上にある定義域の要素数は、
\[
\left|
\eta^{-1}(T_i)
\right|
=
|T_i|
w^{(i)}
\left|
H\cap K^{\alpha^{(i)}}
\right|
\]
となる。対象論文では、サテライト指数と値域側成分の大きさの積を、
\[
m^{(i)}
=
w^{(i)}|T_i|
=
w^{(i)}
\left|
H\alpha^{(i)}K
\right|
\]
と定め、値域側成分 \(T_i\) の重複度と呼ぶ[1]。これを用いれば、成分 \(T_i\) が定義域全体の数え上げへ寄与する量は、
\[
m^{(i)}
\left|
H\cap K^{\alpha^{(i)}}
\right|
\]
と書ける。
| 量 | 数えている対象 | 公式での役割 |
|---|---|---|
| \(\left|H\cap K^{\alpha^{(i)}}\right|\) | 一つの定義域側成分から、一つの結果へ至る基本的な表示の個数である。 | 左右の部分群作用が重なる内部の多重性を表す。 |
| \(w^{(i)}\) | 同じ値域側成分 \(T_i\) へ送られる定義域側成分の個数である。 | 基本的なファイバー構造が定義域側で何回反復されるかを表す。 |
| \(|T_i|\) | 両側剰余類 \(H\alpha^{(i)}K\) に含まれる結果の個数である。 | 同じ大きさのファイバーが値域側に何個並ぶかを表す。 |
| \(m^{(i)}=w^{(i)}|T_i|\) | 定義域側成分の反復数と値域側成分の大きさを合わせた重複度である。 | 交わりの構造が定義域全体の数え上げへ何回寄与するかを表す。 |
定義域 \(P\) は、異なる値域側成分の逆像へ重なりなく分かれる。
\[
P
=
\bigsqcup_{i\in I}
\eta^{-1}(T_i)
\]
そのため、各成分の寄与を足し合わせれば、定義域全体の要素数が得られる。
\[
|P|
=
\sum_{i\in I}
\left|
\eta^{-1}(T_i)
\right|
\]
先ほどの成分ごとの等式を代入すると、相乗的位数公式
\[
|P_1||P_2|\cdots|P_N|
=
\sum_{i\in I}
m^{(i)}
\left|
H\cap K^{\alpha^{(i)}}
\right|
\]
が得られる[1]。左辺は、シナジーへ入力される表示の総数である。右辺は、値域を両側剰余類へ分け、各成分について、左右の作用が重なる基本構造を重複度付きで数えた総和である。
この公式では、ファイバーを導入したことだけでは足りない。第一に、表示の空間を結果ごとの逆像へ分ける。第二に、左右の群作用を使って、同型なファイバーが続く範囲を両側剰余類として確定する。第三に、一つの成分内のファイバー数と、一つのファイバー内の表示数を別々に数える。この三つの段階を経ることで、定義域の積が、交わりと重複度の総和へ変換される。
同じギルドを値域にしていても、どのプラズマからシナジーを定めるかによって、左辺は変わる。中間の部分集合をすでに一つの積集合へまとめた、
\[
P
=
H\times
\left(A_1A_2\cdots A_n\right)
\times K
\]
を定義域にすれば、
\[
|H|
\left|
A_1A_2\cdots A_n
\right|
|K|
=
\sum_{i\in I}
m^{(i)}
\left|
H\cap K^{\alpha^{(i)}}
\right|
\]
となる。一方、各因子を分離した普遍プラズマ
\[
P
=
H\times A_1\times A_2\times\cdots\times A_n\times K
\]
を使えば、
\[
|H||A_1||A_2|\cdots|A_n||K|
=
\sum_{i\in I}
m^{(i)}
\left|
H\cap K^{\alpha^{(i)}}
\right|
\]
となる。
二つの左辺は一般には等しくない。積集合では異なる元の組が同じ中間結果へまとめられるため、
\[
\left|
A_1A_2\cdots A_n
\right|
\leq
|A_1||A_2|\cdots|A_n|
\]
となり、等号が成立しない場合がある。同じ最終的なギルドを調べていても、どの段階まで因子を分離した表示空間を採用するかによって、数えている表示の粒度が異なる。重複度 \(m^{(i)}\) がシナジーに関して定義されるのは、この違いを反映するためである。
5.2 中間の部分集合が 1 つの場合にベズー型定理となる
相乗的位数公式で、中間に置く部分集合を一つだけとし、ギルド
\[
HAK
\]
を考える。普遍シナジーは、
\[
\pi:
H\times A\times K
\longrightarrow
HAK
\]
\[
\pi(h,a,k)=hak
\]
である。値域を両側剰余類へ分解すると、
\[
HAK
=
\bigsqcup_{i\in I}
H\alpha^{(i)}K,
\qquad
\alpha^{(i)}\in A
\]
となる。この場合、相乗的位数公式は、
\[
|H||A||K|
=
\sum_{i\in I}
m^{(i)}
\left|
H\cap K^{\alpha^{(i)}}
\right|
\]
へ特殊化される。対象論文は、この式をベズー型定理と呼ぶ[1]。
左辺の \(|H||A||K|\) は、\(H\)、\(A\)、\(K\) から一つずつ元を選ぶ全組み合わせの数である。それぞれの組は積 \(hak\) を一つ定め、値域のいずれかの両側剰余類へ送られる。右辺では、その全組み合わせを、結果が属する両側剰余類と、その結果を生む表示の重複構造に従って数え直している。
| 記号 | 意味 | 数え上げでの位置 |
|---|---|---|
| \(|H||A||K|\) | \(H\times A\times K\) に含まれる元の組の総数である。 | 分解する前の表示空間全体の大きさを表す。 |
| \(H\alpha^{(i)}K\) | 左右の部分群作用によって移り合う結果からなる両側剰余類である。 | 同型なファイバーが並ぶ値域側の成分を定める。 |
| \(H\cap K^{\alpha^{(i)}}\) | 左側の作用と、共役によって移された右側の作用が重なる部分群である。 | 一つの定義域側成分から生じる基本的なファイバーを与える。 |
| \(w^{(i)}\) | 同じ両側剰余類の上にある定義域側成分の個数である。 | 基本的なファイバーが定義域側で何回反復されるかを表す。 |
| \(m^{(i)}\) | \(w^{(i)}|H\alpha^{(i)}K|\) で定義される重複度である。 | 一つの交わり構造が、成分全体の数え上げへ寄与する回数を表す。 |
式の左辺は、部分集合の要素数を掛けただけの大域量である。右辺では、その大域量が、両側剰余類ごとに異なる共役部分群との交わりと、その重複度へ分解される。
\[
\text{すべての表示の総数}
=
\sum
\left(
\text{成分の重複度}
\times
\text{左右の対称性の交わり}
\right)
\]
この形が、次章で扱う代数幾何学のベズーの定理との類似を生む。名称の根拠は、部分群を代数曲線と直接同一視することではなく、大域的な積が、交わりと重複度の加重和へ分解される点にある。
対象プレプリントは、この理論の定義、構造定理、位数公式をまとめた解説稿であり、証明の構成には別稿の結果も用いている。ベズー型定理を詳述する「Bézout type theorem for higher order objects of groups」は、大阪数学雑誌の掲載予定論文として掲示されている[1][9]。この出版状態は、公式の位置づけを確認するうえで重要であり、対象プレプリントだけに完全な証明の全工程が収録されているわけではない。
5.3 一点集合への特殊化で古典的な両側剰余類の公式を回収する
ベズー型定理で、中間の部分集合を一点集合
\[
A=\{\alpha\}
\]
とする。このとき、ギルドは、
\[
H\{\alpha\}K
=
H\alpha K
\]
となり、値域全体が一つの両側剰余類になる。添字集合 \(I\) は一つの成分だけを持ち、普遍シナジー
\[
\pi:
H\times\{\alpha\}\times K
\longrightarrow
H\alpha K
\]
の定義域にも、一つの基本的な成分だけがある。このためサテライト指数は 1 となり、重複度は、
\[
m
=
|H\alpha K|
\]
になる。
また、一点集合の要素数は、
\[
|\{\alpha\}|=1
\]
であるため、ベズー型公式は、
\[
|H||K|
=
|H\alpha K|
\left|
H\cap K^{\alpha}
\right|
\]
となる。両辺を交わりの位数で割れば、
\[
|H\alpha K|
=
\frac{|H||K|}
{\left|H\cap K^{\alpha}\right|}
\]
が得られる。これは有限群における古典的な両側剰余類の位数公式である。
分母に交わりの位数が現れるのは、\(H\times K\) のすべての組が異なる両側剰余類の元を生むわけではないためである。異なる組 \((h,k)\) が同じ元 \(h\alpha k\) を与える重複は、
\[
H\cap K^\alpha
\]
の要素によって生じる。入力の総数 \(|H||K|\) を、一つの結果を生む表示数で割ることで、異なる結果の個数 \(|H\alpha K|\) が得られる。
| 数える段階 | 対象 | 要素数 |
|---|---|---|
| 入力全体 | \(H\times\{\alpha\}\times K\) に含まれるすべての表示である。 | \(|H||K|\) である。 |
| 一つの結果の表示 | 同じ \(x\in H\alpha K\) を生むシナジーのファイバーである。 | \(\left|H\cap K^\alpha\right|\) である。 |
| 異なる結果 | 両側剰余類 \(H\alpha K\) に含まれる元である。 | \(|H\alpha K|\) である。 |
一点集合の場合には、値域が一つの両側剰余類であり、すべてのファイバーが同じ交わりによって記述される。一般の部分集合 \(A\) を置くと、\(HAK\) は複数の両側剰余類へ分かれ、成分ごとに代表元 \(\alpha^{(i)}\)、交わり \(H\cap K^{\alpha^{(i)}}\)、重複度 \(m^{(i)}\) が変化する。高次群論の拡張は、式に因子を一つ追加することではなく、一つの均一な軌道を数える公式から、異なるファイバー構造を持つ複数の軌道を重複度付きで数える公式へ進んだ点にある。
6. 代数幾何学との類似はどこにあるか
6.1 シナジーと層は異なる仕組みを持つ
対象論文は、高次群論におけるシナジーを、代数幾何学の層に対応する上部構造として説明している[1]。この対応を理解するには、両者を同じ数学的対象とみなすのではなく、それぞれが下位の情報と上位の対象をどのように結び付けるかを比較する必要がある。
代数幾何学では、代数方程式の解集合を点の集合として調べるだけでなく、各開集合の上で利用できる関数を割り当てる。開集合が小さくなれば関数を制限でき、重なり合う領域で一致する局所的な関数は、条件を満たせばより大きな領域の関数へ貼り合わせられる。この局所データの制限と貼り合わせを管理する仕組みが層であり、スキームは位相空間と構造層を組み合わせた対象として定義される[10][11]。
スキームと層の言語が重要なのは、図形全体を一つの式で表すことが難しい場合でも、局所的な環の情報を整合的に接続し、大域的な代数幾何を構成できる点にある。グロタンディックとディユドネによる体系化では、点の集合だけでは区別できない冪零元や特異点近傍の代数構造も、構造層を通じて幾何学の内部へ保持される[12]。
シナジーが結び付ける情報は、これとは異なる。高次群論では、部分集合の列から選ばれた元の組を、群の演算によって一つの積へ送る。
\[
\pi:
S_1\times S_2\times\cdots\times S_m
\longrightarrow
S_1S_2\cdots S_m
\]
\[
\pi(s_1,s_2,\ldots,s_m)
=
s_1s_2\cdots s_m
\]
定義域には、どの部分集合からどの元を選んだかという表示が残り、値域には積の結果が置かれる。シナジーは、局所関数を開集合へ割り当てるのではなく、表示の空間と積集合の間の多対一写像を与える。層に必要な制限写像や貼り合わせ条件が、シナジーの定義に含まれているわけでもない。
| 観点 | 代数幾何学の層 | 高次群論のシナジー |
|---|---|---|
| 基礎となる対象 | 位相空間またはスキームの開集合を基礎にする。 | 群の部分集合から作った直積と積集合を基礎にする。 |
| 結び付ける情報 | 各領域上の局所的な関数や代数的データを結び付ける。 | 元の組による表示と、その積の結果を結び付ける。 |
| 中心となる操作 | 制限と貼り合わせによって局所データの整合性を管理する。 | 積写像とそのファイバーによって、同じ結果を生む表示を管理する。 |
| 取り出される構造 | 局所的な代数情報から大域的な幾何構造を構成する。 | 積集合では消える表示の多重性を、群作用とともに構造化する。 |
両者に共通するのは、下位の情報を捨てずに上位の対象へ接続し、その接続から新しい構造を読むという理論上の役割である。代数幾何学では局所関数と大域空間の関係が対象となり、高次群論では元の組と積集合の関係が対象となる。対応は機構の同一性ではなく、単独の基礎対象だけでは見えない情報を、追加の構造によって保持するという設計上の類似にある。
6.2 ベズーの定理は大域量を局所的な交わりへ分解する
高次群論の位数公式との比較で中心になるのは、代数幾何学のベズーの定理である。射影平面内の 2 本の代数曲線が共通成分を持たない場合、その交点は単に点の個数として数えることができない。接する 2 曲線や特異点で交わる曲線では、見かけ上は一つの交点であっても、交わり方に応じた重複度が生じるためである。
複素射影平面内の代数曲線 \(C\) と \(D\) について、適切な条件の下でベズーの定理は、
\[
\deg C\deg D
=
\sum_{p\in C\cap D}
I_p(C,D)
\]
と表される。左辺の \(\deg C\) と \(\deg D\) は、それぞれの曲線を定義する斉次多項式の次数である。右辺の \(I_p(C,D)\) は、交点 \(p\) における交差重複度を表す。横断的に交わる通常の交点では重複度は 1 になるが、接している場合や特異な交わり方をする場合には 1 より大きくなる。
左辺は曲線全体に付随する大域的な量である。一方、右辺は交点ごとに計算される局所的な量を足し合わせている。ベズーの定理が結び付けるのは、単なる「次数」と「交点数」ではなく、
\[
\text{曲線全体の次数の積}
=
\sum
\text{各交点における局所的な寄与}
\]
という大域と局所の関係である。現代的な交点理論では、この関係は交点積、正常錐、余剰交差、チャウ群などを含む枠組みへ拡張されている[13][14]。
高次群論のベズー型公式も、全体量を交わりと重複度へ分解する形を持つ。中間の部分集合が一つであるギルド \(HAK\) では、
\[
|H||A||K|
=
\sum_{i\in I}
m^{(i)}
\left|
H\cap K^{\alpha^{(i)}}
\right|
\]
となる。左辺は、\(H\times A\times K\) に含まれる表示の総数である。右辺は、値域を両側剰余類 \(H\alpha^{(i)}K\) へ分け、各成分について、共役部分群との交わりの位数を重複度 \(m^{(i)}\) で重み付けした総和である。
両公式の類似は、積が和へ変形されるという外形だけにない。いずれも、全体を直接数える左辺と、交わり方の違いを成分ごとに記述する右辺を結び付けている。代数幾何学では交点 \(p\) ごとの局所的な交差構造が右辺を構成し、高次群論では両側剰余類ごとの交わりと表示の多重性が右辺を構成する。
| 観点 | 代数幾何学 | 高次群論 |
|---|---|---|
| 大域量 | 曲線の次数の積 \(\deg C\deg D\) である。 | 表示空間の大きさ \(|H||A||K|\) である。 |
| 分解単位 | 曲線 \(C\) と \(D\) の各交点 \(p\) である。 | 左右の部分群作用による各両側剰余類 \(H\alpha^{(i)}K\) である。 |
| 交わり | 点 \(p\) における 2 曲線の局所的な交わりである。 | 部分群 \(H\) と共役部分群 \(K^{\alpha^{(i)}}\) の交わりである。 |
| 局所的な寄与 | 交差重複度 \(I_p(C,D)\) が 1 交点の寄与を表す。 | \(m^{(i)}\left|H\cap K^{\alpha^{(i)}}\right|\) が 1 軌道成分の寄与を表す。 |
| 重複の由来 | 接触、特異点、局所環の長さなど、交点近傍の代数構造から生じる。 | 左右作用の重なり、定義域側成分の反復、値域側成分の大きさから生じる。 |
| 周囲の対象 | 射影平面は、通常は曲線 \(C\) と \(D\) を配置する固定された周囲の空間である。 | ギルド \(HAK\) は、部分群 \(H,K\) に加えて中間の部分集合 \(A\) に依存して定まる。 |
表の「局所的な寄与」には注意が必要である。代数幾何学では、交差重複度 \(I_p(C,D)\) が一つの数として局所的な交わりを表す。高次群論では、交わりの位数 \(\left|H\cap K^{\alpha^{(i)}}\right|\) と重複度 \(m^{(i)}\) が別々に定義され、その積が一つの両側剰余類成分の寄与になる。個々の項の対応は一対一ではなく、右辺全体の分解構造が類似している。
周囲の対象が作られる仕組みにも違いがある。代数曲線 \(C\) と \(D\) は、固定した射影平面の中に配置される。これに対して、群論側の値域 \(HAK\) は、中間の部分集合 \(A\) を変更すれば変化する。両側剰余類の代表元 \(\alpha^{(i)}\)、成分数、サテライト指数、重複度も、選んだ \(A\) とシナジーに依存する。
この差により、高次群論の式をベズーの定理の単純な置き換えとして読むことはできない。高次群論側では、交わりを配置する周囲の対象と、数え上げの入力となる表示空間が、部分集合の選択とともに構成される。公式の類似は、大域量を局所成分へ分解する骨格にあり、各量の定義と成立機構はそれぞれの分野に固有である。
高村氏の関連稿では、高次群論における交点理論と退化理論がより直接的に展開され、代数曲線との対応も独立した主題として説明されている[15][16]。他分野との照応を扱う論考では、層、変形理論、双曲線、モース理論などとの比較が提示されている[17]。これらは高次群論の概念を既存分野の語彙へ翻訳する試みであると同時に、どの対応が形式的類似にとどまり、どの対応が定理として構成されているかを分けて読む必要がある資料でもある。
6.3 モース理論との比較はファイバーを分類する視点にある
対象論文は、シナジーの構造定理にモース理論的な側面があるとも述べている[1]。この比較の焦点は、ベズー型公式の数値的な形ではなく、複雑な対象を、ファイバーの構造が一定となる領域へ分ける方法にある。
モース理論では、滑らかな多様体 \(M\) 上の滑らかな関数
\[
f:M\longrightarrow\mathbb{R}
\]
を考える。臨界点を持たない値の間では、部分レベル集合やレベル集合の位相は一定に保たれる。関数値が臨界値を越えると、臨界点の指数に応じて多様体の位相が変化する。このため、関数のすべての点を個別に調べる代わりに、臨界点と臨界値を境界として、多様体の構造変化を追跡できる[18]。
高次群論のシナジーでは、値域が実数直線になるわけでも、微分可能性やヘッセ行列が導入されるわけでもない。構造定理が示すのは、ギルドを両側剰余類へ分解すると、同じ成分の内部ではファイバーが集合として同型になることである。
\[
x,y\in H\alpha^{(i)}K
\quad\Longrightarrow\quad
\eta^{-1}(x)\cong\eta^{-1}(y)
\]
積集合全体を一括して見るとファイバーは変化し得るが、左右の群作用による軌道を単位にすると一定になる。この意味で両側剰余類は、ファイバー型が変化しない領域を与える。
| 観点 | モース理論 | 高次群論 |
|---|---|---|
| 調べる写像 | 多様体から実数への滑らかな関数を調べる。 | プラズマからフロックまたはギルドへのシナジーを調べる。 |
| 一定性を与える単位 | 臨界値を含まない区間では、レベル集合や部分レベル集合の位相が一定になる。 | 同じ両側剰余類の内部では、シナジーのファイバーが集合として同型になる。 |
| 変化を区切る構造 | 臨界点と臨界値が位相変化の位置を定める。 | 異なる両側剰余類への移行がファイバー構造の変化を区切る。 |
| 用いる局所情報 | 微分、ヘッセ行列、臨界点の指数を用いる。 | 群作用、共役部分群との交わり、サテライト指数を用いる。 |
この比較から、シナジーをモース関数と同一視することはできない。モース理論では微分可能な関数の臨界点が位相変化を支配するのに対し、高次群論では群作用の軌道がファイバーの一定性を支配する。共通するのは、全体の複雑さを一様な領域へ分解し、その領域の境界を通じて構造変化を記述するという分類原理である。
対象論文は、代数多様体の族における一般ファイバーとの違いも指摘している[1]。代数幾何学の族では、多くの点で同じ型の一般ファイバーが現れ、例外的な点で特殊ファイバーが生じる場合がある。高次群論のシナジーでは、積集合全体に一つの一般ファイバー型が存在するとは限らない。両側剰余類ごとに異なる型が並び得るため、一定性の単位は値域全体ではなく軌道成分である。
6.4 類似した公式は共通原理を問う出発点になる
代数幾何学のベズーの定理と、高次群論のベズー型公式は、いずれも大域的な積を、交わりと重複度に関係する局所成分の総和へ分解する。しかも、前者は可換環を基礎とする代数幾何学から生じ、後者は一般に非可換な群の部分集合と群作用から生じる。対象も証明の道具も異なる二つの分野に似た式が現れることは、その背後にどの程度共通した数え上げ原理があるのかという問いを生む。
現時点で確認できる共通性は、次の水準にある。
\[
\text{大域的な積}
=
\sum
\left(
\text{成分ごとの交わりに由来する寄与}
\right)
\]
一方、代数曲線と部分群、交点と共役部分群の交わり、交差重複度とサテライト指数が、厳密な対応関係を形成していることまでは示されていない。高次群論側の重複度はシナジーの定義域側成分と値域側成分から定義され、代数幾何学側の交差重複度は局所環などの代数構造から定義される。似た位置に現れる量であっても、その構成法は異なる。
共通の圏論的構造や普遍原理を主張するには、少なくとも次の対応を厳密に構成する必要がある。
| 必要な構成 | 確認すべき内容 |
|---|---|
| 対象の対応 | 代数曲線、交点、周囲の空間に対応する群論的対象を、類比ではなく定義として与える必要がある。 |
| 写像の対応 | 代数幾何学の射と高次群論のシナジーが、どの構造を保存するかを明示する必要がある。 |
| 重複度の対応 | 交差重複度と群論側の重複度が、共通の不変量から導かれるかを示す必要がある。 |
| 定理の移送 | 一方の定理が対応を通じて他方へ移ることを、証明とともに示す必要がある。 |
対象論文は、可換的な代数幾何学と非可換な群論に、なぜ似たベズー型公式が現れるのかを未解決の問いとして残している[1]。これは理論上の不足を隠すための留保ではなく、現在得られている結果の射程を確定する境界である。証明されているのは、高次群論の枠組みの内部で、表示空間の位数が交わりと重複度の総和へ分解されることである。その形式が代数幾何学の定理と似る理由は、さらに上位の問題として残る。
ベズー型という名称の意味は、群論が代数幾何学へ還元されたことにはない。積集合では失われる表示をシナジーのファイバーとして取り出し、両側剰余類によって一定な成分へ分け、交わりと重複度を用いて数えると、代数幾何学と似た大域と局所の等式が現れる。この到達経路そのものが、高次群論に固有の内容である。
7. 新しい数学理論は何を新しくしたのか
7.1 既知の対象の間に新しい観測単位を置く
高次群論が扱う群、部分群、任意の部分集合、部分集合の積は、いずれも従来から定義されていた。新しく加えられたのは、未知の種類の元ではない。部分集合の順序付きの列、積を取る前の直積、積の結果、それらを結ぶシナジー、結果ごとのファイバー、左右の群作用による軌道分解を、一続きの対象として扱う枠組みである[1]。
この違いは、同じ積集合に対して複数のシナジーを考えると明確になる。群の結合則により、
\[
(S_1S_2)S_3
=
S_1(S_2S_3)
=
S_1S_2S_3
\]
であり、最終的に得られる積集合は同じである。しかし、積を取る前の表示空間は、
\[
S_1\times S_2\times S_3
\]
とすることも、
\[
(S_1S_2)\times S_3
\]
とすることもできる。前者は \(S_1\)、\(S_2\)、\(S_3\) から選んだ元を個別に保持するが、後者では \(S_1\) と \(S_2\) の元がすでに一つの中間結果へまとめられている。同じ積集合へ到達しても、定義域に残されている表示の粒度が異なるため、ファイバーの構成や重複度も同じとは限らない。
従来の積集合だけを観察すれば、この二つは同じ結果を与える計算として扱える。高次群論では、どの因子を分離したまま残し、どの段階で積へまとめたかも、シナジーの定義域を決める情報になる。最終結果だけで同一視されていた構成を、表示空間と写像の違いによって区別できるようにした点が、理論上の変更である。
| 観測単位 | 従来から存在した対象 | 高次群論で追加された区別 | 得られる帰結 |
|---|---|---|---|
| 部分集合の列 | 群の部分集合と、その積は従来から定義されている。 | どの部分集合をどの順序で並べたかを、高次対象の構成情報として保持する。 | 非可換な積における因子の配置を、対象の一部として比較できる。 |
| プラズマ | 複数の集合の直積は通常の集合論で定義できる。 | 積を取る前または途中の表示空間として、因子の分離状態を区別する。 | 同じ積集合へ至る異なる表示粒度を記述できる。 |
| シナジー | 群の積そのものは既存の演算である。 | 表示の空間から積の結果への対応を、定義域と値域を持つ写像として取り出す。 | 結果ごとの逆像をファイバーとして調べられる。 |
| 両側剰余類分解 | 部分群の左右作用と両側剰余類は標準的な群論の対象である。 | 両側剰余類を、シナジーのファイバーが同型になる値域成分として用いる。 | 表示数のばらつきを群作用の軌道に従って分類できる。 |
| 重複度付き位数公式 | 有限集合の写像では、定義域の大きさをファイバーの総和として数えられる。 | 交わり、サテライト指数、両側剰余類の位数を一つの重複度へ組み込む。 | 表示空間の大きさを、軌道成分ごとの交わりの加重和へ分解できる。 |
この枠組みでは、個々の概念が独立に置かれているのではない。部分集合の列がプラズマの因子を決め、プラズマがシナジーの定義域となり、シナジーがファイバーを定める。ギルドの両端にある部分群が値域を両側剰余類へ分け、その軌道分解がファイバーの同型性を与える。有限の場合には、その同型性を要素数へ移すことで位数公式が得られる。
\[
\text{高次対象}
\longrightarrow
\text{プラズマ}
\longrightarrow
\text{シナジー}
\longrightarrow
\text{ファイバー}
\longrightarrow
\text{軌道分解}
\longrightarrow
\text{位数公式}
\]
新しさは、これらの語を個別に導入したことよりも、一つ前の構成が次の定理の前提になるように接続した点にある。表示空間を区別しなければファイバーは定まらず、左右作用を導入しなければファイバーが一定になる成分も定まらない。成分内の同型性がなければ、位数公式の右辺を交わりと重複度へ整理することもできない。
7.2 著者の研究系列は群と幾何の接続を先行して扱っていた
高次群論の用語体系は、対象プレプリントで突然導入されたものではない。一般化四元数群に対する半順序集合のブローダウンでは、部分群の包含関係を表す半順序集合に、代数幾何学の縮約操作を参考にした変換を導入している[19]。線形商族と安定化群半順序集合に関する研究では、線形群作用から生じる商の族と、各点の安定化群が作る半順序集合との関係を扱っている[20]。
これらの先行研究は、シナジーの構造定理やベズー型公式を直接与えるものではない。確認できる連続性は、群を単独の代数的対象として閉じて扱うのではなく、群作用、部分群の配置、商の族、幾何学的操作を通じて別の構造へ接続しようとする研究上の方向にある。対象プレプリントの回顧的な記述は、こうした研究経験、講演での説明、概念名の変更、関連定理の発見が、高次群論の構成へ合流した過程を示している[1]。
7.3 定義、定理、類似、研究観は異なる根拠を持つ
新しい名称を付ければ、それだけで新しい理論になるわけではない。高次群論では、フロックやギルドの定義だけで理論が完結するのではなく、プラズマからギルドへのシナジーがファイバーを定め、両側剰余類上の等ファイバー性が表示の多重性を群作用へ接続し、有限の場合には古典的な両側剰余類公式を含む位数公式へ進む。独自用語の評価は、この定義から定理までの連鎖が実際に成立しているかによって決まる。
代数幾何学の歴史でも、個別の方程式を解く技法だけでなく、代数多様体、スキーム、層、コホモロジーといった対象と言語の形成が、異なる問題を共通の枠組みで扱う条件を整えてきた[21]。ただし、高次群論とスキーム論の歴史的な重要性を同列に評価できる段階ではない。比較できるのは、既知の対象へ新しい言語を与え、その言語から再利用可能な定理を作ろうとする理論形成の形式である。
Thurston は、数学の進歩を形式的な証明の蓄積だけで捉えると、数学者が新しい見方を獲得し、それを共同体へ伝える過程が抜け落ちると論じた[22]。新しい定義や記法は証明を置き換えるものではないが、どの対象を同じ種類とみなし、どの差異を不変量として残すかを共有できなければ、証明すべき命題そのものも組織されない。
| 記述の種類 | 具体的な内容 | 確認方法 | 導ける範囲 |
|---|---|---|---|
| 数学的定義 | フロック、ギルド、プラズマ、シナジー、ファイバー、サテライト指数、重複度を定める。 | 定義域、値域、因子の条件、記号の対応を本文から確認する。 | どの対象について後続の主張が適用されるかを確定できる。 |
| 数学的定理 | 両側剰余類上の等ファイバー性、相乗的位数公式、ベズー型定理を述べる。 | 仮定と結論を追い、対象稿と関連する学術誌論文・掲載予定稿の証明を確認する。 | 定義された枠組みの内部で成立する数学的帰結を述べられる。 |
| 分野間の対応 | 層、代数多様体の族、モース理論、交点理論との類似を提示する。 | 双方の定義と定理を比較し、同一の構造か、役割上の類似かを区別する。 | 共通する形式と相違点を示し、新しい研究課題を設定できる。 |
| 研究系列の説明 | 先行研究、講演、概念名の変更、定理の発見が理論へ合流した経緯を記す。 | 関連論文と対象プレプリントの回顧的記述を照合する。 | 理論が形成された歴史的経路を整理できる。 |
| 理論形成観 | 概念、用語、記号、説明を一体として作る必要性を論じる。 | 著者による方法論的見解として読み、定理の証明とは分離する。 | 研究者が何を理論の構成要素と考えているかを理解できる。 |
数学的定義は、著者が何を対象としているかを確定する。数学的定理は、その対象についてどの関係が証明されるかを示す。代数幾何学やモース理論との類似は、定理を別分野へ自動的に移すものではなく、構造上の対応を検討するための仮説や補助線になる。理論形成観は、高次群論をどのような問題意識から設計したかを示すが、構造定理の証明を補強する根拠にはならない。
高次群論が実際に新しくしたのは、群の積に新しい名称を与えたことだけではない。積の結果へ至る表示空間を保存し、表示のばらつきを群作用で分類し、その分類を交わりと重複度による位数公式へ変換した。次章では、この一連の構成を冒頭の問いへ戻し、群を理解することが、積の結果を知ることからどのように拡張されたのかをまとめる。
8. 群の構造は結果を生む表示の中にある
有限群の乗積表は、任意の 2 元を掛けた結果を漏れなく記録する。部分集合の積も、各部分集合から元を選んだときに、どの元が結果として現れるかを示す。しかし、同じ結果を生む元の組は、積集合の内部で独立した構造として整理されていない。高次群論が加えたのは新しい積ではなく、積の前にある表示空間と、積の後にある結果の集合をシナジーで結び、その逆像をファイバーとして調べる観測単位である。
表示をファイバーとして保存しただけでは、結果ごとの多重性の一覧にとどまる。ギルドの両端にある部分群が左右から作用すると、積集合は両側剰余類へ分かれ、同じ成分内のファイバーが集合として同型になる。さらに、共役部分群との交わりが左右作用の重複を表し、サテライト指数が同じ基本構造を持つ定義域側成分の反復を表す。表示数の違いは、群作用の軌道、対称性の交わり、成分の反復という対象固有の構造へ分解される。
有限の場合には、同型なファイバーを両側剰余類ごとに数えることで、表示空間の大きさが交わりと重複度の総和へ変換される。ベズー型公式は、要素数を形式的に変形して得られた式ではなく、表示を保存し、対称性によって分類し、その成分を数えた帰結である。代数幾何学との類似も、この大域量を交わりの寄与へ分解する構造にあり、群論と代数幾何学の統一や共通原理の確立を意味するものではない。
この構図は、既稿「意味は差異の読み取りから生まれる」で扱った、差異が読み取りの枠組みに接続されることで上位の区別を形成するという問題と、限定された範囲で接続する[23]。積集合では同じ元へ集約されていた表示の差異が、ファイバーによって分離され、群作用によって比較可能な構造へ変わる。ただし、高次群論で扱われる差異は、部分集合の直積、積写像の逆像、両側剰余類、共役部分群との交わりによって厳密に定められた数学的な差異である。
既稿「構造振動モデルを数理モデルとして定義する」では、概念へ印象的な名称を与えることと、状態、変数、写像、観測量を定義することを区別した[24]。高次群論におけるシナジーも、日常語としての相乗効果を群論へ持ち込んだだけでは理論上の役割を持たない。定義域と値域を持つ写像として定義され、ファイバー、群作用、サテライト指数、位数公式へ接続されることで、再利用可能な数学的概念になる。
本稿の中心命題は、次のようにまとめられる。
群の積の結果そのものではなく、その結果を生むすべての表示を構造化することで、従来の積集合だけでは見えなかった規則性と位数公式が現れる。
対象文書は、2026 年 7 月 13 日に公開された解説的なプレプリントである[1]。関連する位数公式には学術誌掲載論文があり、ベズー型定理の詳細稿は掲載予定とされているが、高次群論全体の有効範囲、既存の群論に対する利点、他の研究者による利用可能性は今後の研究によって評価される。現時点で確認できる到達点は、著者が定義した高次対象とシナジーに対して、両側剰余類上の等ファイバー性と、それを用いた位数公式が提示されていることである。
乗積表は、どの元を掛ければ何が得られるかを示す。高次群論は、その答えを生む表示がどのように集まり、どの対称性によって同じ型へ分類され、どの交わりが重複を生み、その構造がどの等式へ変わるかを問う。群の構造は積の答えだけにあるのではない。同じ答えへ送られる表示の集合と、その集合を組織する群作用の中にも現れる。
参考文献
- 高村茂, 群論から高次群論へ, Jxiv（2026-07-13）. https://jxiv.jst.go.jp/index.php/jxiv/preprint/view/4942
- I. Martin Isaacs, Finite Group Theory, Graduate Studies in Mathematics 92, American Mathematical Society（2008）. https://bookstore.ams.org/view?ProductCode=GSM%2F92
- Joseph J. Rotman, An Introduction to the Theory of Groups, Fourth Edition, Graduate Texts in Mathematics 148, Springer（1995）. https://link.springer.com/book/10.1007/978-1-4612-4176-8
- Bernhard Amberg, Silvana Franciosi, Francesco De Giovanni, Products of Groups, Oxford University Press（1993）. https://global.oup.com/academic/product/products-of-groups-9780198535751
- 高村茂, 群の高次構造とその同伴ファイブレーション――高次群論とその幾何学事始め, 数理解析研究所講究録 2276, 94–117（2024）. https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2276-11.pdf
- 高村茂, 高次群論とその幾何学, 数理解析研究所講究録 2287, 105–119（2024）. https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2287-14.pdf
- 高村茂, 群の高次構造とその幾何学, 数理解析研究所講究録 2306, 86–101（2025）. https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2306-13.pdf
- Shigeru Takamura, The orders of subgroup products and coset products, Transactions on Combinatorics 14(4), 223–250（2025）. https://doi.org/10.22108/toc.2024.141562.2176
- Shigeru Takamura, Bézout type theorem for higher order objects of groups, Osaka Journal of Mathematics（in press）. https://www.math.sci.osaka-u.ac.jp/ojm/OJMtoappear.html
- David Eisenbud, Joe Harris, The Geometry of Schemes, Graduate Texts in Mathematics 197, Springer（2000）. https://link.springer.com/book/10.1007/b97680
- Alexander Grothendieck, Jean Dieudonné, Éléments de géométrie algébrique I: Le langage des schémas, Publications Mathématiques de l’IHÉS 4, 5–228（1960）. https://www.numdam.org/item/PMIHES_1960__4__5_0/
- Robin Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics 52, Springer（1977）. https://link.springer.com/book/10.1007/978-1-4757-3849-0
- William Fulton, Introduction to Intersection Theory in Algebraic Geometry, CBMS Regional Conference Series in Mathematics 54, American Mathematical Society（1984）. https://bookstore.ams.org/CBMS/54
- William Fulton, Intersection Theory, Second Edition, Springer（1998）. https://link.springer.com/book/10.1007/978-1-4612-1700-8
- 高村茂, 高次群論とその幾何学 III 交点理論と退化理論, 数理解析研究所講究録 2325, 122–136（2025）. https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2325-17.pdf
- 高村茂, 高次群論と代数曲線, Jxiv（2025-10-21）. https://jxiv.jst.go.jp/index.php/jxiv/preprint/view/1740
- 高村茂, 高次群論とその幾何学 II さまざまな分野との照応＆群論版双曲線の変形論, 数理解析研究所講究録 2329, 95–121（2025）. https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2329-12.pdf
- John Milnor, Morse Theory, Annals of Mathematics Studies 51, Princeton University Press（1963）. https://press.princeton.edu/books/paperback/9780691080086/morse-theory
- Ryota Hirakawa, Kenjiro Sasaki, Shigeru Takamura, Poset-blowdowns of generalized quaternion groups, International Journal of Group Theory 13(2), 133–160（2024）. https://doi.org/10.22108/ijgt.2023.137628.1841
- Ryota Hirakawa, Shigeru Takamura, Linear quotient families and stabilizer posets, Kodai Mathematical Journal 48(2), 145–177（2025）. https://doi.org/10.2996/kmj48201
- 上野健爾, 現代数学の歩み 60 年：代数幾何学の歩みを中心にして, 科学基礎論研究 43(1–2), 3–15（2016）. https://doi.org/10.4288/kisoron.43.1-2_3
- William P. Thurston, On proof and progress in mathematics, Bulletin of the American Mathematical Society 30, 161–177（1994）. https://doi.org/10.1090/S0273-0979-1994-00502-6
- id774, 意味は差異の読み取りから生まれる（2026-05-09）. https://blog.id774.net/entry/2026/05/09/4740/
- id774, 構造振動モデルを数理モデルとして定義する（2026-04-05）. https://blog.id774.net/entry/2026/04/05/4318/