行列のトレースに正の間隔がある格子の特徴付け
Proof of the positive trace gap conjecture
この論文をやさしく読む
ひとことで言うと
ある行列群の格子で、トレースの値同士が一様に離れている条件を代数的に特徴付けます。
何に役立つ？
格子や関連するスペクトルの研究で、トレースの分布を判断する理論的な基準になります。
この研究の面白いところ
PSL₂の格子では四元数代数との対応を証明し、SL_dではすべてのトレースが整数であることとの同値性を示します。
どこまで分かった？
要旨が述べるのは指定された群の格子についての数学的証明です。スペクトルへの具体的な適用内容は要旨に詳述されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
PSL₂(ℝ)またはPSL₂(ℂ)の格子Γについて、トレースが一様な間隔を保つという意味で正のトレース間隔を持つのは、許容される四元数代数に由来する場合、かつその場合に限ることを証明する。コンパクトな商を持つフックス群については、GeninskaとLeuzingerが2008年にSarnakによるものとして紹介した正のトレース間隔予想の証明となる。トレースの差の集合が稠密でない場合にも、四元数代数による同じ特徴付けが成り立つ。 この方法は、3以上のすべての整数dについて、SL_d(ℝ)の格子にも同様の結果を与える。格子Γが正のトレース間隔を持つのは、そのトレースがすべて整数である場合、かつその場合に限る。同値な言い方をすると、共役変換の後、Γは、ℝ上で分解するℚ上の次数dの中心的単純代数におけるオーダーのノルム1の群の、有限指数部分群となる。また、結果と手法から得られるスペクトルに関する帰結と他の応用も論じる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We prove that a lattice $\Gamma$ in $\mathrm{PSL}_2(\mathbb{R})$ or $\mathrm{PSL}_2(\mathbb C)$ has positive trace gap, meaning that its traces are uniformly separated, if and only if it is derived from an admissible quaternion algebra. For cocompact Fuchsian groups, this proves the positive trace gap conjecture attributed to Sarnak by Geninska and Leuzinger in 2008. The same characterization by quaternion algebras holds if the difference set of traces is not dense. Our method also gives a similar result for lattices in $\mathrm{SL}_d(\mathbb R)$, for every $d\ge3$: a lattice $\Gamma<\mathrm{SL}_d(\mathbb R)$ has positive trace gap if and only if all its traces are integers. Equivalently, after conjugation, it has finite index in the norm-one group of an order in a central simple algebra of degree $d$ over $\mathbb Q$ that splits over $\mathbb R$. We also discuss spectral consequences and other applications of the results and techniques.
著者のコメント
20 pages. Comments are very welcome!
arXiv ID: 2609.29033 ／ 要約の誤りについて