複素双曲空間の境界核と無限次元表現の剛性
Boundary Kernel Rigidity and Infinite-Dimensional Complex Hyperbolic Representations
この論文をやさしく読む
ひとことで言うと
複素双曲空間の境界に置く核の条件を決め、無限次元空間への表現を分類した。
何に役立つ？
複素双曲幾何と群の表現の理論で、どの表現があり得るかを判定する際に役立つ。
この研究の面白いところ
有限Gram行列の指数条件から係数 s=±t を導き、既知の分類結果をつないだ点。
どこまで分かった？
境界核の主張は n≥2 や t、s の範囲を前提とする。分類は連続・既約な表現など指定された範囲での結果である。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
n≥2 について、球面 S^{2n−1} 上のHermite型境界核 L_{t,s}(x,y)=|1−〈x,y〉|^t exp(is arg(1−〈x,y〉)) を考える。x≠y、対角上では L_{t,s}(x,x)=0、t＞0、s∈[−1,1] とする。L_{t,s} のすべての有限Gram行列の正の指数が高々1となるのは、0＜t≤1 かつ s=±t のとき、そしてそのときに限ることを証明する。証明では、境界円上のFourier解析と、直交する二つの複素方向への制限を組み合わせる。次元の境界は最良である。 同変な境界写像のGram核を正規化することで、PU(n,1) から無限次元複素双曲空間の正則等長変換群への連続で既約な表現について、並進長の係数 t と符号付きCartan係数 s が s=±t を満たすと示す。これを既知の端点剛性、Monodの構成、Ruiz Stolowiczの完全不変量定理と合わせ、正則共役類が (0,1)×{±1} に属する (t,ε) で媒介変数化されるという分類を得る。反正則な共役も許すと二つの符号は同一視される。Monodの自動連続性に関する議論と同じ境界剛性を使い、無限次元複素双曲空間の等長変換群全体の既約な自己表現も分類する。共役を除けば、それらはちょうど 0＜t≤1 のMonodの表現である。特に、Monodの分類定理における標準軌道の仮定は自動的に満たされる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For n>=2, we prove a rigidity theorem for the Hermitian boundary kernels L_{t,s}(x,y)=|1-<x,y>|^t exp(is arg(1-<x,y>)), x != y, on S^{2n-1}, with L_{t,s}(x,x)=0, t>0, and s in [-1,1]. Every finite Gram matrix of L_{t,s} has positive index at most one if and only if 0<t<=1 and s=+-t. The proof combines Fourier analysis on boundary circles with restrictions to two orthogonal complex directions. The dimension threshold is sharp. By normalizing the Gram kernels of equivariant boundary maps, we show that the translation-length factor t and the signed Cartan factor s of every continuous irreducible representation from PU(n,1) to the holomorphic isometry group of infinite-dimensional complex hyperbolic space satisfy s=+-t. Combining this with the known endpoint rigidity, Monod's constructions, and Ruiz Stolowicz's complete-invariant theorem yields the classification: the holomorphic conjugacy classes are parametrized by (t,epsilon) in (0,1) x {+-1}. Allowing anti-holomorphic conjugacy identifies the two signs. Using Monod's automatic-continuity argument and the same boundary rigidity, we also classify all irreducible self-representations of the full isometry group of infinite-dimensional complex hyperbolic space. Up to conjugacy, these are precisely Monod's representations with parameter 0<t<=1. In particular, the canonical-orbit hypothesis in Monod's classification theorem is automatic.
著者のコメント
35 pages
arXiv ID: 2609.23318 ／ 要約の誤りについて