整数行列群の境界コホモロジーとEisensteinコホモロジーを計算
Computations of Cohomology of Arithmetic Groups, Part 1
この論文をやさしく読む
ひとことで言うと
整数係数の一般線形群のコホモロジーを計算する方法を示し、境界コホモロジーの双対性について予想を立てた理論研究です。
何に役立つ？
算術群のコホモロジーを計算・比較するための方法と、双対性を調べる際の具体例を提供します。
この研究の面白いところ
提案した双対性は予想の段階ですが、30種類の表現の族での計算はすべて一致しています。
どこまで分かった？
双対性は証明済みの定理ではなく予想です。一部のEisensteinコホモロジーの計算も複数の予想に依存し、さらなる内容は次版に予定されています。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本論文の中心は、任意の最高ウェイト表現を係数とするGL4(整数)の境界コホモロジーとEisensteinコホモロジーの計算である。開発した方法により、任意の最高ウェイト表現を係数とするSL3(整数)とGL3(整数)のコホモロジーも、BHHMの方法に比べ、より簡単で速く、構造化された別の方法で計算できる。 GLm(整数)の境界コホモロジーについて、双対化層が行列式表現のべきであるSerre双対性型の双対性を述べる。これを境界コホモロジーのスペクトル系列のE∞の各次数における双対性へ精密化し、予想として提示する。この予想はまだ証明されていないが、30種類の表現の族について行った計算はすべて予想を満たした。GL4(整数)については、対称べきと、それを行列式表現でねじった表現を係数とするEisensteinコホモロジーを計算する。ほかのいくつかの表現についても、いくつかの予想に基づいて計算する。それらの予想が成り立てば、ほとんどの場合のEisensteinコホモロジーを計算できる。この部分は論文の次の版に含める予定である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The key part of the current paper is the computation of boundary and Eisenstein cohomology of $GL_4({\mathbb Z})$ with coefficient in any highest weight representations. The method we develop let us compute in an alternative way the cohomology of $SL_3({\mathbb Z})$ and of $GL_3({\mathbb Z})$ with coefficients in any highest weight representation. This is done in a simpler, faster and in a more structured way compared to \cite{BHHM}. We state a duality for the boundary cohomology of $GL_m({\mathbb Z})$ of the type of Serre's duality, where the dualizing sheaf is a power of the determinant representation. We refine this duality to a duality on the level of the spectral sequence for the boundary cohomology $E_\infty^{p,q}$. We state it as a conjecture. However, all the computations, 30 different families of representations, satisfy this conjecture. We compute the Eisenstein cohomology of $GL_4({\mathbb Z})$ with coefficients in the symmetric powers and their twist by the determinant representation. For several other representations, we compute the Eisenstein cohomology, based a few conjectures. Based on those conjectured, one can compute the Eisenstein cohomology in most of the cases. They will be included in the next version of the paper.
著者のコメント
168 pages
arXiv ID: 2609.28869 ／ 要約の誤りについて