高次のヒッチン・モジュリ空間:PSL_n(R) の「厚い部分」は n>2 のとき無限体積であることを証明
この論文は、閉じた向き付けられた曲面上のPSL_n(R)-ヒッチン・ライマン模様空間(ヒッチン成分を写像類群で割ったもの)の「ε-厚い部分」が、n>2 のときアティヤ–ボット–ゴールドマン体積という自然な容積で無限であることを示します。ここで「厚い部分」とは、曲面上の全ての本質的閉曲線に対してある正の下限 ε より長さが大きい表現のみを集めた領域を指します。これは古典的なムフォードの緊密性基準(n=2、すなわち通常のティヒミュラー空間では厚い部分はコンパクト)とは対照的な結果です。論文は任意の正の ε と、曲面の種数 g>1 を仮定した上で主定理を述べています。
論文で扱う主な対象は次の通りです。ヒッチン成分は、二次元の古典的なティヒミュラー空間を高次元に一般化したもので、PSL_n(R)(実数係数の n×n 行列のうち行列式が 1 でスカラー倍を同一視した群)への表現クラスの一部です。各表現に対して「長さ」を定義します。これは、表現画像のある群要素の最大固有値と最小固有値の比の対数です。厚い部分とは、その長さが全ての本質的閉曲線で ε を越える表現群のことです。アティヤ–ボット–ゴールドマン体積は、この空間に自然に備わる微分幾何学的な体積(調和的またはシンプレクティックな体積)を指します。
証明の骨子は二つの道具に依ります。ひとつはヒッチン成分のパラメトリゼーションです。論文は既存の働き(Bonahon–Dreyer と Zhang の構成)を使って、曲面をパンツ分解(「三つ穴の面」分割)に分け、それぞれの曲線に対応する固有値データや、パンツどうしをつなぐ「接着パラメータ」や三角形ずれ(triangle-shear)といった内部パラメータでヒッチン成分を座標化します。もうひとつの道具が「内部列(internal sequence)」と呼ばれる表現列です。これは、パンツ分解に属する曲線に関する固有値のギャップは抑えつつ、パンツ内部に対応する内部パラメータを発散させるような表現の列を意味します。Zhang の結果を使うと、こうした列ではパンツ分解に含まれない任意の曲線の長さが無限大に発散します。
もう一つ重要なのがGoldman 流と呼ばれる変形です。これは曲面をある曲線で切って境界を回転(ある種の「バルジング」変形)してつなぎ直す操作に対応する体積保存のフローです。著者らはパラメータ化と内部列を組み合わせ、Goldman 流で体積を保つ一連の写像を用いて、同じ正確な体積を持つ無限個の互いに素な(互いに交わらない)開集合を厚い部分の中に構成します。これらを合わせることで、厚い部分全体のトータルのアティヤ–ボット–ゴールドマン体積が無限であることを導きます。
この結果が重要なのは、高次(n>2)のヒッチン・モジュリ空間が古典的な場合と本質的に異なる振る舞いを示す点です。つまり、ティヒミュラー理論で成り立つ「厚い部分はコンパクトで体積有限」という直観は高次には一般に当てはまりません。論文は技術的に具体的な座標化と既存の定理を直接利用して、緩やかな条件下(任意の ε>0 と n>2、曲面種数 g>1)で無限体積を示しています。なお、関連してChoi–Jung の別の仕事は、他の高次ティヒミュラー空間の薄い部分に関する類似の結論を得ています。
重要な制約も明記されています。本件の結論は n>2 に限られます。n=2(古典的ティヒミュラー空間)についてはムフォードの基準が成立し、厚い部分はコンパクトで体積が有限です。また証明は既存の詳細な座標化や Zhang の内部列に関する技術的な定理に依存しています。論文の断片では全ての詳細が示されているわけではありませんが、提示された主張はこれらの既存の道具と体積保存性のあるGoldman 流を組み合わせる標準的な方法で得られると説明されています。