ガロワ版アルペリン重み予想を有限圏代数に拡張し、群版と同値であることを示す
この論文は、有限群について出された「ガロワ版アルペリン重み予想」を、より一般的な対象である有限圏(finite category)に拡張する方法と、その主張が元の群の場合と本質的に同じであることを示したものです。ここでの「ガロワ版」とは、素数pに関する代数的閉体kのガロワ群Γ=Gal(k/𝔽_p)の作用を考慮に入れた強い形式を指します。著者は有限圏の代数に対して、Γと整合する単純表現の対応が存在すると予想する定式化を与え、その可換性を調べています。
研究の中心には、Linckelmannが定義したp-軌道圏(p-orbit category)O_Cがあります。有限圏Cから作るこのO_Cは、元の圏の対象に「p-部分群のデータ」を付け加えた圏です。論文では、有限圏代数kCの単純モジュールの同型類の全体S(kC)と、軌道圏代数から作る「重み代数」W(kO_C)の単純モジュール集合S(W(kO_C))との間に、ガロワ群Γに対して共変な全単射が存在する、という形でガロワ版アルペリン重み予想(GAWC)を定式化します。ここで「重み」は、ある標準的な方法で単純モジュールを表す対(射の冪等元と、その元に対応する群の単純表現)として説明されます。重み代数W(kO_C)は、重みで表される単純表現だけに「作用する」ように作られた部分代数です。
主な結果は、群についてのGAWCと圏についてのGAWCが同値であることです。より正確には、有限群の場合に成り立つと仮定したGAWCが、有限圏に対する同型の主張を導き、逆も成立することを示します。さらに、この同値性は一般化され、圏代数にねじれ(二次コサイクル、2-cocycle)を入れた「ねじれ圏代数」や「ねじれ群代数」にも拡張されます。論文中の定理(例えば定理1.6)は、圏の各冪等元に対応する局所的なΓ-可換な対応(すなわち、その局所群アルゲブラと対応する重み代数との間の対応)が存在すれば、全体としてΓ-可換な対応が得られる、と述べています。証明は3節と5節で展開されます。
さらに、圏がEI-圏(EI-category:すべての終端射が同型写像である圏)であれば、重みを代数のブロック(中心的冪等元で分けた部分)に分割することができます。それによりブロックごとのガロワ版アルペリン重み予想(BGAWC)を定式化できます。著者は有限群版のブロックごとの主張と、有限EI-圏版の主張が同値であることを示します。例として、ブラウア代数やTemperley–Lieb代数、分割代数などの図式代数は適切なコサイクル条件を満たし、この枠組みで扱えることが論文で指摘されています。
重要な注意点や不確実性も明示されています。まず、ねじれ(2-コサイクル)は係数環としてF_p^×(有限体の乗法群)を取る場合に扱いやすく、そのときk-張り出しとの整合でガロワ群の作用が入ります。しかし、一般に圏から軌道圏へのコホモロジー写像H^2(O_C;F_p^×)→H^2(C;F_p^×)が単射または全射かどうかは不明であり、この点は仮定や適用範囲に影響します。また、重みのブロック分割は一般の圏では与えられておらず、EI-圏に限定している点も限定事項です。最後に、論文の同値性結果は「局所的な対応が成立するならば全体が成立する」という形で成り立つため、局所条件の確認が依然として必要です。これらの制約を踏まえて、群表現論の中心的予想の圏論的拡張が、理論的に整備されたことが本論文の貢献です。