[論文レビュー] Affine cubic surfaces and relative SL(2)-character varieties of compact surfaces

William M. Goldman, Domingo Toledo|arXiv (Cornell University)|Jun 19, 2010

Algebraic Geometry and Number Theory参考文献 13被引用数 5

ひとこと要約

本稿では、無限遠で滑らかで、無限遠超平面と一般の三接平面で交わる任意のアフィン立方曲面が、4つの穴あき球面の相対SL(2)-表現多様体として実現可能であることを確立している。さらに、三接平面のすべての周期的自己同型が立方曲面へ拡張可能な場合、その曲面は1つの穴あきトーラスから得られる。本研究は、このような曲面およびその特異点の完全な特徴付けを提供しており、特異点の型としてA₁、2A₁、3A₁、4A₁、A₂、A₃、D₄が唯一の可能性であることが特定されている。

ABSTRACT

A natural family of affine cubic surfaces arises from SL(2)-characters of the 4-holed sphere and the 1-holed torus. The ideal locus is a tritangent plane which is generic in the sense that the cubic curve at infinity consists of three lines pairwise intersecting in three double points. We show that every affine cubic surface which is smooth at infinity and whose ideal locus is a generic tritangent plane arises as a relative SL(2)-character variety of the 4-holed sphere. Every such affine cubic for which all the periodic automorphisms of the tritangent plane extend to automorphisms of the cubic arises as a relative SL(2)-character variety of a 1-holed torus.

研究の動機と目的

• 無限遠で滑らかで、無限遠超平面で一般の三接平面をもつ、x² + y² + z² + xyz = px + qy + rz + s の形の任意のアフィン立方曲面が、4-holed sphereの相対SL(2)-表現多様体として実現可能であることを証明すること。
• 三接平面のすべての周期的自己同型が立方曲面の自己同型へ拡張可能な場合に、そのような立方曲面が1-holed torusから得られる条件を特徴づけること。
• 境界付きコンact表面の相対SL(2)-表現多様体における特異点の可能性を分類し、A₁、2A₁、3A₁、4A₁、A₂、A₃、D₄の型が与えられた条件下で唯一の可能な特異点型であることを特定すること。

提案手法

• 著者たちは、境界付き表面のSL(2,C)-表現多様体の幾何学的・代数的構造に着目し、特に4-holed sphereおよび1-holed torusに焦点を当てる。
• 定義式 x² + y² + z² + xyz = px + qy + rz + s を分析し、係数p, q, r, sが境界跡a, b, c, dから導かれるものとする。
• 跡写像の固有性と逆関数定理を用いて、表現空間から表現多様体へのパラメータ化写像が全射であることを示す。
• 跡関数の成長を制限し、漸近的挙動を分析することで、変数のいずれかが無限大に発散すると、定数項sも無限大に発散することを示し、これは立方曲面が正しく定義されるための有界性条件に反する。
• 群作用と対称性を用いて、三接平面が周期的自己同型をもつ場合を分析し、そのような対称性が立方曲面へ拡張可能であるための必要十分条件がp = q = r = 0であることを示す。
• 方程式p(a,b,c,d) = q(a,b,c,d) = r(a,b,c,d) = 0 の解を分類し、変数の置換を除いて、a=b=c=0 または a=b=c=−d の2通りのケースに限られることを示す。

実験結果

リサーチクエスチョン

• RQ1 無限遠で滑らかで、無限遠超平面と一般の三接平面で交わる任意のアフィン立方曲面が、4-holed sphereの相対SL(2)-表現多様体として実現可能か？
• RQ2 一般の三接平面をもつ立方曲面が、1-holed torusの相対SL(2)-表現多様体として実現可能となる条件は何か？
• RQ3 境界付きコンパクト表面の相対SL(2)-表現多様体に現れる特異点の型として可能なのは何か？
• RQ4 三接平面の周期的自己同型と立方曲面の自己同型の関係は何か？
• RQ5 境界跡a, b, c, dにどのような代数的条件が成立すると、対称的な表現多様体（例：p = q = r = 0）が得られるか？

主な発見

• 無限遠で滑らかで、無限遠超平面と一般の三接平面で交わる任意のアフィン立方曲面が、4-holed sphereの相対SL(2)-表現多様体として実現可能である。
• 三接平面のすべての周期的自己同型が立方曲面の自己同型へ拡張可能である場合、その曲面は1-holed torusの相対SL(2)-表現多様体として実現可能である。
• このような相対表現多様体における特異点として可能なのは、A₁、2A₁、3A₁、4A₁、A₂、A₃、D₄の型に限られる。
• 立方曲面の式x² + y² + z² + xyz = sにおいてp = q = r = 0が成り立つのは、変数の置換を除いてa = b = c = 0またはa = b = c = −dのとき、かつそのときに限る。
• 表現空間から表現多様体へのパラメータ化写像は固有かつ全射であり、ある点（例：a = b = c = 1, d = 0）でヤコビアンが消えないことから、像が開集合を含むことが保証される。
• 証明により、跡パラメータのいずれかの変数が無限大に発散すると、定数項sも無限大に発散し、立方曲面が正しく定義されるための有界性条件に矛盾することが示された。