[論文レビュー] Automorphisms of character varieties

Julien Marché, Christopher-Lloyd Simon|arXiv (Cornell University)|Jan 1, 2019

Geometric and Algebraic Topology参考文献 20被引用数 3

ひとこと要約

本稿は、g ≥ 3 である閉じた向きつけ可能曲面 Σ に対して、SL₂(ℂ)-表現多様体の自己同型群が、写像類群と H¹(Σ, ℤ/2ℤ) の半直積に同型であることを証明し、特徴的多様体への剛性結果を拡張する。証明は、表現代数上の付値理論を用い、測度付きラミネーションを単純付値として特徴づけ、単純な曲線に付随する座標環の次元論を用いてイワノフの定理を適用する。

ABSTRACT

We show that the algebraic automorphism group of the SL(2,C) character variety of a closed orientable surface with negative Euler characteristic is a finite extension of its mapping class group. Along the way, we provide a simple characterization of the valuations on the character algebra coming from measured laminations.

研究の動機と目的

• 閉じた曲面 Σ の genus g ≥ 3 に対して、SL₂(ℂ)-特徴的多様体 X(Σ) の完全な自己同型群を特定すること。
• テイコミュラー理論や曲線複体幾何学における剛性結果に類似した結果を確立し、写像類群が有限拡張を除いて自己同型群を完全に生成することを示すこと。
• 表現代数上の付値を用いて、測度付きラミネーションの新しい代数的特徴づけを提供すること。
• この特徴づけを用いて、特徴的多様体の自己同型が曲線複体構造を保存することを示し、イワノフの定理の適用を可能にすること。

提案手法

• 点収束位相を備えた、表現代数 C[X(Σ)] 上の付値の空間 V を定義する。
• f = ∑ mΓ tΓ をマルチカーブ基底で表したとき、v(f) = max{v(tΓ) | mΓ ≠ 0} を満たす付値を「単純付値」と定義する。
• 交わりのペアリングを用いて、測度付きラミネーション λ が vλ(tα) = i(λ, α) により単純付値を定める。
• モーガン＝オタル＝スキーラの定理を用いて、すべての付値が測度付きラミネーション付値によって支配されることを示す。
• マスールの定理（非一意的正規化ラミネーション）を用いて、Aut(X(Σ)) が測度付きラミネーションの空間を保存することを示す。
• 単純な付値 vγ に付随する座標環 O⁺γ = C[X(Σ)] ∩ Ov を分析し、そのクルール次元を用いて、dim(O⁺γ ∩ O⁺δ) = dim X(Σ) − 2 がかつて i(γ, δ) = 0 であることを検出する。

実験結果

リサーチクエスチョン

• RQ1 閉じた曲面 Σ の genus g ≥ 3 に対して、SL₂(ℂ)-特徴的多様体 X(Σ) の完全な自己同型群は何か？
• RQ2 測度付きラミネーション ML(Σ) は、C[X(Σ)] 上の付値空間内で代数的に特徴づけられるか？
• RQ3 X(Σ) の自己同型群は、単純な曲線によって誘導される曲線複体構造を保存するか？
• RQ4 トレース関数 tγ 及びそれらに付随する付値環 O⁺γ は、交わり数のような幾何的データをどのように符号化するか？
• RQ5 X(Σ) の自己同型は、写像類群と H¹(Σ, ℤ/2ℤ) を通じた中心拡張によって、どの程度生成されるか？

主な発見

• g ≥ 3 の場合、X(Σ) の自己同型群は H¹(Σ, ℤ/2ℤ) ⋊ Mod(Σ) に同型であり、特徴的多様体における剛性結果を証明する。
• 測度付きラミネーション ML(Σ) は、空間 V 内の単純付値の集合として正確に特定される。これにより、幾何的対象の新しい代数的特徴づけが得られる。
• 自己同型群 Aut(X(Σ)) は、支配定理とマスールの測度論的結果を用いて、測度付きラミネーションの空間を保存することが示された。
• 座標環 O⁺γ ∩ O⁺δ の次元が、かつて dim X(Σ) − 2 であるとき、かつそのときに限り、曲線 γ と δ は交わらない。
• 単純な曲線に付随する離散付値の集合を保存する任意の自己同型は、写像類変換または中心的ねじれ作用として作用する。中心的作用は H¹(Σ, ℤ/2ℤ) を通じて因子化される。
• 完全な自己同型群は、写像類群と中心的作用によって生成され、Mod′(Σ) への写像の核は正確に中心的 H¹(Σ, ℤ/2ℤ) 作用である。