|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 安定 : [あんてい] 1. (adj-na,n,vs) stability 2. equilibrium ・ 写 : [しゃ] 【名詞】 1. photograph 2. copy 3. transcribe 4. duplicate 5. reproduce 6. trace 7. describe 8. picture ・ 写像 : [しゃぞう] 1. (n,vs) image 2. map ・ 像 : [ぞう] 1. (n,n-suf) statue 2. image 3. figure 4. picture 5. portrait
数学、特にシンプレクティックトポロジーや代数幾何学では、リーマン面から与えられるシンプレクティック多様体への特別な条件を満たす安定写像(stable maps)のモジュライ空間を構成することができる。このモジュライ空間が、グロモフ・ウィッテン不変量の本質的であり、数え上げ幾何学やなどの弦理論への応用がある。安定写像の考え方は、マキシム・コンツェビッチ(Maxim Kontsevich)により、1992年頃に提案され、で出版された。 安定写像を構成することは長く難しいので、グロモフ・ウィッテン不変量の記事の中ではなく、むしろ本記事で展開する。 ==滑らかな擬正則曲線のモジュライ空間== 閉シンプレクティック多様体 がシンプレクティック形式 を持っているとする。 と をそれぞれ自然数(ゼロを含む)とし、 を の中の 2-次元のホモロジー類とすると、次の式の(pseudoholomorphic curve)の集合を考えることができる。 : ここに は滑らかで、種数 で 個のマークされた点 を持つ閉リーマン面で、 : は、ある -tame 〔(W, ω) をシンプレクティック多様体、J を W 上の概複素構造とする. :1、g(X, Y)=ω(X, JY) が正値対称形式, 即ちリーマン計量を与えるとき、J を ω と両立する(compatibleな)概複素構造であるという。(通常 J にcompatibleな ω を考える。) :2、任意の 0 でない接ベクトル X に対して ω(X, JX)>0 が成立するとき、J を ω-tame な概複素構造であるという。〕 な概複素構造 と非斉次項 に対して、次の摂動を持つコーシー・リーマン方程式を満たす函数である。 : 典型的には、 の穴あきオイラー標数 を負とするようなこれら と に対してのみ許されるので安定であり、高々有限個の の正則自己同型が存在して、マークされた点を保存することを意味する。 作用素 は楕円型であり、従ってフレドホルム型である。重要な解析的な議論(適切にソボレフノルムで完備化し、陰函数定理とサードの定理(Sard's theorem)をバナッハ多様体に適用し、を使い滑らかにする)の後に、-tame と摂動 の一般的な選択に対して、クラス を表す 個のマークした点を持ち、種数 の -正則曲線の集合は、滑らかな向きづけ可能なアティヤ=シンガーの指数定理により与えられた次元を持つ次の(orbifold)を形成する。 : : == 安定写像コンパクト化 == この写像のモジュライ空間は、曲線の列が特異な曲線へ退化することができるので、コンパクトではない。この特異な曲線は、ここで定義したモジュライ空間の中にはない。例えば、このことは、 のエネルギー(微分のL2-ノルムのこと)が、領域のある点に集中することを意味する。集中した点の周りで写像をりスケールすることでエネルギーを捉えることができる。この効果は、もとの領域の集中した点にバブルと呼ばれる球(sphere)を付けて、写像を球を横切るように拡張することになる。リスケールされた写像は、ひとつ以上の点にエネルギーを集中しているかもしれず、その場合は逐次的にリスケールせねばならない。結局、完全なバブルツリーを元の領域に貼り付け、新しい領域の各々の滑らかな成分の上で写像がうまく振る舞うようにすることができる。 詳細には、安定写像を最も悪いノード(二重結節点)として特異点を持つリーマン面の上の擬正則写像であるように定義すると、高々有限個の写像の自己同型となる。具体的には、次のことを意味する。ノードを持つリーマン面の滑らかな成分は、高々有限個のマークされた点とノードを保存する自己同型が存在するときに、安定という。すると安定写像は少なくとも一つは、安定な領域成分を持つ擬正則写像である。そして、各々の他の成分に対して、 *写像がその成分の上で非コンパクトか、または *成分が安定である ということとなる。安定写像の領域が安定曲線を必要としないことは重要である。しかしながら、(その場合でも)不安定成分を(逐次的に)縮小して安定曲線を作り出すことが可能であり、このことを曲線 の安定化 という。 個のマークされた点を持ち、種数が であるリーマン面からの安定写像の全体の集合は、次のモジュライ空間を形成する。 : トポロジーは、次の条件であるときに限り、安定写像の列が収束することとして定義される。 *列が、(安定な)領域が で収束する *列が、ノード(二重結節点)から離れたコンパクトな成分の上のどのような微分でも統一的に収束する *任意の点に集中するエネルギーが、極限的な写像の点についているバブルツリーのエネルギーに等しい 安定写像のモジュライ空間はコンパクトである。つまり、安定写像の任意の列が安定写像へ収束する。このことを示すために、逐次的に写像の列をリスケールする。逐一、新しい極限の領域が存在して、特異点を持ってもよいが、ひとつ前の逐次列よりも低いエネルギーの集中になっている。このステップで、シンプレクティック形式 は決定的な方法で入ってくる。ホモロジー類 を表す任意の滑らかな写像のエネルギーは、シンプレクティック領域 により下に有界である。 : この式の等号は、写像が擬正則写像のとき、とのときに限り成立する。このことの意味は、リスケールの各々の逐次段階で現れるエネルギーを有界とするので、高々有限個のリスケールでエネルギーをすべて捉えることに必要とするだけである。結局、新しい極限領域での極限写像は安定となる。 コンパクト化された空間は再び、滑らかで向きづけられたオービフォールドである。非自明な自己同型を持つ写像はオービフォールドの中のイソトロピー〔等方性。イソトロピック多様体とは、幾何学が方向に依存しない多様体を言う。形式的には、Riemann多様体 (M,g) がイソトロピックとは、任意の点 p ∈ M と単位ベクトル v,w ∈ TpM に対して、M の等長写像 φ で φ(p)=p でかつ、φ *(v)=w となるものが存在する。任意のイソトロピックな多様体は等質である。つまり、任意の p,q ∈ M に対し、M の等長写像 φで φ(p)=q となるものが存在する。これは測地線 γ: → M で p から q へ移すものがあり、γ(1) が存在し γ'(1) から γ'(1) へ移す写像が存在することを意味する。〕を持つ点に対応する。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「安定写像」の詳細全文を読む スポンサード リンク
|