[論文レビュー] Projective structures and neighborhoods of rational curves

Maycol Falla Luza, Frank Loray|arXiv (Cornell University)|Jul 22, 2017

Geometry and complex manifolds参考文献 20被引用数 8

ひとこと要約

本稿では、曲面における局所的正則射影構造と自己交叉数 +1 の有理曲線の近傍の間に双対性を確立し、このような近傍がペアペレ方程式の解に対応することを示している。葉層理論、変形理論、接触幾何学を用いて、著者たちはこれらの構造を分類し、標準形を導出し、一般には非定数のメラモーフィック関数をもたないことを証明した。これにより、ペアペレ方程式の幾何的起源に関する新たな超越的洞察が得られた。

ABSTRACT

We investigate the duality between local (complex analytic) projective structures on surfaces and two dimensional (complex analytic) neighborhoods of rational curves having self-intersection +1. We study the analytic classification, existence of normal forms, pencil/fibration decomposition, infinitesimal symmetries. We deduce some transcendental result about Painlev'e equations.

研究の動機と目的

• 複素曲面における有理曲線の (+1)-近傍の芽と、その局所的正則射影構造との間の一対一対応を確立すること。
• 変形理論および葉層技法を用いて、このような近傍の解析的型を分類すること。
• これらの幾何的構造における標準形および対称性の存在を調査すること。
• ペアペレ方程式の解の幾何的性質および超越的性質を、それらに付随する曲面を通じて探ること。
• 特に代数次元が1である状況において、このような近傍が非定数のメラモーフィック関数をもつかどうかを特定すること。

提案手法

• 2階常微分方程式 $ y'' = A + By' + Cy'^2 + Dy'^3 $ の形をとる、カルタンの射影構造フレームワークを用い、射影化された接バンドル上に測地線葉層を定義すること。
• コイダの変形理論を用いて、正接バンドルが $ \mathcal{O}_{\mathbb{P}^1}(1) $ である有理曲線の局所的変形を分析すること。
• 近傍の射影化された接バンドル上でのLegendre葉層を用いて、双対射影構造を構成すること。
• 接触幾何学および横断的ファイブレーションの理論を用いて、葉層と測地線の間の双対性を特徴づけること。
• モビウス変換および群作用（例：$ \Gamma $）を用いて、形式の正規化および同型型への解析的型の分類を行うこと。
• 分岐被覆を用いて $ d > 1 $ の自己交叉数の場合を $ d = 1 $ の場合に還元し、巡回群による作用が曲線を固定する形で対応関係を確立すること。

実験結果

リサーチクエスチョン

• RQ1 複素曲面上の有理曲線の (+1)-近傍の芽の正確な解析的分類は何か？
• RQ2 横断的ファイブレーションの存在および構造は、射影構造の線形化可能性とどのように関係するか？
• RQ3 ペアペレ方程式は、このような近傍の双対射影構造として幾何的に実現可能か？
• RQ4 これらの近傍が非定数のメラモーフィック関数をもつのはどのような条件下か、特に代数次元が1である場合に注目して。
• RQ5 無限小の対称性および自己同型は、これらの構造の分類において果たす役割は何か？

主な発見

• 局所正則射影構造と $ (\mathbb{C}^2, 0) $ 上の有理曲線の (+1)-近傍の芽との間には、局所正則同型の意味で一対一対応が存在する。
• 線形（自明）な射影構造は、$ \mathcal{O}_{\mathbb{P}^1}(1) $ のゼロ切断の近傍、あるいは $ \mathbb{P}^2 $ 上の直線に対応し、微分方程式 $ y'' = 0 $ で特徴づけられる。
• 非線形の場合には、曲線の芽を通る滑らかな曲線の線型族が存在するのは高々1点に限られ、強い非自明性を示している。
• $ d > 1 $ の場合、$ (d) $-近傍は、$ d $ 重の分岐被覆による引き戻しによって $ (+1) $-近傍から分類され、位数 $ d $ の巡回群が曲線を固定する自己同型として作用する。
• 一般の (+1)-近傍は非定数のメラモーフィック関数をもたず、代数次元が0であることを示しており、代数次元が1である場合とは対照的である。
• ペアペレ方程式の解は双対射影構造として現れ、本稿ではそれが一般には非リーマン的であり、非定数のメラモーフィック関数をもたないことを示す第一歩を提供している。