[論文レビュー] Applications of PDEs to the study of affine surface geometry

Peter Gilkey, Xabier Valle Regueiro|arXiv (Cornell University)|Jun 18, 2018

Geometric Analysis and Curvature Flows参考文献 4被引用数 5

ひとこと要約

本稿は、タイプAアフィン表面幾何の分類に偏微分方程式（PDEs）を適用し、準アインシュタイン方程式を通じて、その解が線形同値の意味でアフィン接続を決定することを示している。主な結果は、平坦なタイプA接続およびランク1のリッチテンソルをもつ接続について、線形同値の意味で完全な分類がなされたものであり、非退化なリッチテンソルをもつ場合のモジュライ空間の詳細な解析が、純粋に局所的で非コンパクトな設定下でPDEに基づく手法を用いてなされている。リーマン計量は必要としない。

ABSTRACT

If $\mathcal{M}=(M, abla)$ is an affine surface, let $\mathcal{Q}(\mathcal{M}):=\ker(\mathcal{H}+\frac1{m-1}ρ_s)$ be the space of solutions to the quasi-Einstein equation for the crucial eigenvalue. Let $ ilde{\mathcal{M}}=(M, ilde abla)$ be another affine structure on $M$ which is strongly projectively flat. We show that $\mathcal{Q}(\mathcal{M})=\mathcal{Q}( ilde{\mathcal{M}})$ if and only if $ abla= ilde abla$ and that $\mathcal{Q}(\mathcal{M})$ is linearly equivalent to $\mathcal{Q}( ilde{\mathcal{M}})$ if and only if $\mathcal{M}$ is linearly equivalent to $ ilde{\mathcal{M}}$. We use these observations to classify the flat Type~$\mathcal{A}$ connections up to linear equivalence, to classify the Type~$\mathcal{A}$ connections where the Ricci tensor has rank 1 up to linear equivalence, and to study the moduli spaces of Type~$\mathcal{A}$ connections where the Ricci tensor is non-degenerate up to affine equivalence.

研究の動機と目的

• PDE法を用いて、タイプAアフィン表面接続の平坦性を線形同値の意味で分類すること。
• ランク1のリッチテンソルをもつタイプA接続を線形同値の意味で分類すること。
• 非退化なリッチテンソルをもつタイプA接続のモジュライ空間をアフィン同値の意味で研究すること。
• 準アインシュタイン方程式の解とアフィン構造不変量との間の対応を確立すること。
• 従来の微分幾何学的手法によって得られた幾何的分類結果について、解析的証明を提供すること。

提案手法

• 本稿は、曲面におけるアフィン接続に対して、準アインシュタイン方程式の解の空間 Q(M) = ker(H + 1/(m−1)ρs) を定義する。
• Hの臨界固有値と対称リッチテンソル ρs を用いて、Q(M) を特徴付ける。
• Q(M) 空間の線形同値性を分析することで、アフィン構造の同値性を導き、Q(M) = Q(M̃) が成り立つのは ∇ = ∇̃ であるときのみであることを証明する。
• リッチテンソルの符号に基づいて、モジュライ空間を正定値、不定、負定値に分類する。
• 対称群の作用を用いてモジュライ空間内の基本領域を構成し、Q(M) に多項式解が存在する場合に生じる例外的放射を同定する。
• 解析は純粋に局所的であり、コンパクト性やリーマン計量を必要とせず、代わりにアフィン接続にPDE手法を適用する。

実験結果

リサーチクエスチョン

• RQ1 曲面における2つのアフィン構造が、その準アインシュタイン方程式の解空間によって決定される線形同値関係は、いつ成立するか？
• RQ2 リッチテンソルの符号に基づいて、タイプAアフィン接続のモジュライ空間をどのように分類できるか？
• RQ3 Q(M) における多項式解が、モジュライ空間を異なる領域に分割する役割を果たすか？
• RQ4 平坦なタイプA接続の分類は、PDE解析によって完全に達成可能か？
• RQ5 モジュライ空間における対称群の作用と境界曲線は、アフィン構造の幾何的不変量をどのように反映するか？

主な発見

• 準アインシュタイン方程式の解空間 Q(M) は、アフィン接続を一意に決定する：Q(M) = Q(M̃) が成り立つのは ∇ = ∇̃ のときのみである。
• Q(M) 空間の線形同値性は、それに対応するアフィン構造が線形同値であるときのみ成立する。
• すべての平坦なタイプAアフィン表面幾何は、強く射影的平坦であり、平坦モデルと線形同値である。
• 正定値リッチテンソルをもつタイプA接続のモジュライ空間は、曲線 σr と例外的放射 (7,10)+t(1,4), t≥0 で境界づけられており、これは Q(M) に多項式解が存在する場合に生じる。
• 不定リッチテンソルの場合は、モジュライ空間は無限に広がり、境界曲線 σr と放射 (7,10)−t(1,4), t≥0（負定値の場合に対応）を含む。
• モジュライ空間内の例外的放射は、Q(M) に3つの実指数関数が含まれる領域と、複素指数関数が含まれる領域を分離しており、前者は2つの放射の間にある。