[論文レビュー] On the class of caustics by reflection

Alfrederic Josse, Françoise Pène|arXiv (Cornell University)|Oct 24, 2012

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

ひとこと要約

本稿は、複素射影平面内の任意の既約代数的曲線の反射による包絡線の次数について、特異点や光源位置（無限遠点や曲線上の点を含む）に制限のない一般式を提供する。反射極線を導入し、交点数を用いて次数を導出し、明確な公式を得る：$\text{class}(\Sigma_S(\mathcal{C})) = 2d^\vee + d - \Omega(\mathcal{C},\ell_\infty) - \mu_I(\mathcal{C}) - \mu_J(\mathcal{C})$。ここで $d^\vee$ は曲線の次数、$\Omega$ は無限遠直線への接触を測る量、$\mu_I, \mu_J$ は循環点における重複度である。

ABSTRACT

Given any light position S in the complex projective plane P^2 and any algebraic curve C of P^2 (with any kind of singularities), we consider the incident lines coming from S (i.e. the lines containing S) and their reflected lines after reflection off the mirror curve C. The caustic by reflection is the Zariski clusure of the envelope of these reflected lines. We introduce the notion of reflected polar curve and express the class of the caustic by reflection in terms of intersection numbers of C with the reflected polar curve, thanks to a fundamental lemma established in [14]. This approach enables us to get an explicit formula for the class of the caustic by reflection in every case in terms of intersection numbers of the initial curve C.

研究の動機と目的

• 任意の既約代数的曲線 $\mathcal{C}$ について、特異点や光源位置に制限を設けずに、複素射影平面 $\mathbb{P}^2$ 内の反射包絡線の次数を一般に導出すること。
• Brocard や Lemoyne の公式の限界を克服するため、曲線の特異点に関する仮定を避け、ペダル曲線や包絡線が正しく定義されない場合でも有効であるようにすること。
• 交点論と反射極線を用いた厳密な枠組みを確立し、元の曲線と光源位置の幾何的不変量に基づいて包絡線の次数を計算すること。
• Brocard および Lemoyne の公式の反例を提示し、ペダル曲線に三重点を含むような場合にその公式が誤りであることを示すこと。

提案手法

• 光源 $S$ と曲線 $\mathcal{C}$ に対して、点 $m$ を $\mathcal{C}$ 上の点として、$S$ からの反射光線の直線に写す写像 $R_{\mathcal{C},S}: \mathbb{P}^2 \to \mathbb{P}^2$ を定義する。
• 包絡線 $\Sigma_S(\mathcal{C})$ を、反射直線の包絡線のザリスキ閉包として定義し、それが $R_{\mathcal{C},S}$ による $\mathcal{C}$ の像の次数に等しいことを証明する。
• 包絡線の次数を決定するための主要な補助曲線として「反射極線」を定義する。
• 文献[15]の基本的補題を用いて、$\Sigma_S(\mathcal{C})$ の次数を $\mathcal{C}$ と反射極線の交点数として表現する。
• 交点数を、次数 $d$、次数 $d^\vee$、および $S$ と循環点 $I, J$ によって形成される三角形の直線との交点数を用いて明示的に計算する。
• プルッセ級数展開と値論を用いて、特異点における局所的交点重複度を計算し、複雑な特異点を持つ曲線に対しても公式が成り立つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 任意の既約代数的曲線 $\mathcal{C}$ について、特異点が任意であっても、光源が無限遠点または曲線上にある場合を含め、$\mathbb{P}^2$ 内の反射包絡線の次数は何か？
• RQ2 古典的 Brocard および Lemoyne の公式が、非通常特異点（例：ペダル曲線に三重点を含む）を持つ曲線に対してなぜ失敗するのか？
• RQ3 包絡線の次数を、滑らかさや特定の特異点型を仮定せずに、元の曲線と光源位置の幾何的不変量のみを用いてどのように表現できるか？
• RQ4 循環点 $I$ と $J$ は次数の公式においてどのような役割を果たし、それらの重複度 $\mu_I(\mathcal{C})$ と $\mu_J(\mathcal{C})$ はどのように扱われるか？
• RQ5 一般の場合（例：$2d^\vee + d$）に既知の結果に還元されるが、退化した場合でも有効な一様な公式を導出できるか？

主な発見

• 反射包絡線 $\Sigma_S(\mathcal{C})$ の次数は、公式 $2d^\vee + d - \Omega(\mathcal{C},\ell_\infty) - \mu_I(\mathcal{C}) - \mu_J(\mathcal{C})$ で与えられる。ここで $d^\vee$ は $\mathcal{C}$ の次数、$\Omega(\mathcal{C},\ell_\infty)$ は無限遠直線への接触数、$\mu_I(\mathcal{C}), \mu_J(\mathcal{C})$ は循環点における重複度である。
• この公式は、任意の次数 $d \geq 2$ の既約曲線 $\mathcal{C}$ と任意の光源 $S$ に対して有効であり、$S$ が無限遠点にある場合や $\mathcal{C}$ 上にある場合も含む。
• 本稿では、Brocard および Lemoyne の公式の反例を提示する：$[4:0:1]$ を光源とする有理型の三次曲線 $V(y^2z - x^3)$ は、ペダル曲線に三重点を有するため、彼らの公式が仮定するペダル曲線の滑らかさが成立せず、一般には誤りであることを示す。
• 包絡線の次数が、反射写像 $R_{\mathcal{C},S}$ による $\mathcal{C}$ の像の次数に等しいことが示され、反射写像と包絡線の次数の間の幾何的関係が確立される。
• 本手法は、反射極線との交点論に依拠しており、著者らはプルッセ級数展開と値論を用いて交点数の明示的表現を導出し、特異点でも正しく成立することを保証する。
• 一般の $(\mathcal{C}, S)$ に対してチャスルの結果（$2d^\vee + d$）を一般化し、$S$ が $\mathcal{C}$ に対して非一般的（特に無限遠直線や循環点に関して）な位置にある場合の補正項を減算することで、退化した場合でも有効な公式を得た。