4次元多様体の位相構造と微分構造および、2次元結び目理論

4维流形的拓扑结构和微分结构以及2维纽结理论

• 批准号: 06740070
• 负责人: 佐藤 好久
• 金额: $ 0.58万
• 依托单位: Yamaguchi University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06740070/
• 关键词: 4次元多様体; 代数曲面; 安定ベクトル束; ゲージ理論; 2次元結び目

今回の研究目的では、境界を持つ4次元多様体の位相構造と、複素代数曲面の階数2安定ベクトル束のモジュライ空間の研究を主なものとした。そのうち、安定ベクトル束のモジュライ空間の研究については発表する段階までたどりつくことはできなかった。今後の研究方針としては、モジュライ空間の小平次元などの複素解析的量、特異点(すなわち、H^2(X,adε)≠0であるベクトル束E。ただし、adεはEのtracefreeなendmorphisms全体のなす層)のまわりの状況を調べる等の問題に焦点をしぼって研究をしたい。境界を持つ4次元多様体の位相構造については問題を以下のように設定して考察した。4次元多様体は、向き付け可能な、コンパクトかつ、連結な位相(または可微分)多様体で、その基本群が無限巡回群に同型であるものとする。また、境界の3次元多様体も連結とし、その包含写像の基本群上に誘導する準同型写像が全射であるとする。このとき、3次元多様体を固定した時、上の状況を満足する4次元多様体は、無数に存在するが、そのときの、最小の2次元Betti数を位相的カテゴリーとSmoothカテゴリーに関して求め、そのふるまいについて研究した。3次元多様体Mに対して、上記のような各々のBetti数をβ^<TOP>(M),β^<DIFF>(M)と書き表わすことにする。得られた成果を簡単に述べると、1.)任意の0以上の整数nに対して、β^<TOP>(M)=β^<DIFF>(M)=nとなるホモロジーS^1×S^2,Mが可算無限個存在する。2.)β^<TOP>とβ^<DIFF>は差がある。すなわち、β^<TOP>(M)<β^<DIFF>(M)となるホモロジーS^1×S^2,Mが存在する。である。これらの研究成果については、11月に開かれた研究集会「Art of Low Dimensional Topology」にて発表した。

The purpose of this paper is to study the phase structure of four-dimensional multi-dimensional objects and the stability of complex algebraic surfaces. A study on the stability of space and its development. Future research policy The focus of the study is on the status of tracefree and morphology. The phase structure of the four-dimensional multi-object is set up to investigate the following problems 4-dimensional polyhedron: inverse, inverse, 3-dimensional multi-dimensional images are linked to each other, and the images are induced on the basic group of images. 3-D multi-object is fixed, the upper state is sufficient, 4-D multi-object is infinite, the minimum 2-D Betti number is stable, the upper state is sufficient, and the lower state is sufficient. Betti numbers β^ (M), β ^(M ^(M), β^<TOP>(M),β ^(M ^(M ^ (M ^),β^ (M <DIFF>^ (M ^),β^ The results are as follows: For any integer n above 0, β^<TOP>(M)=β^(<DIFF>M)=n, S^1× S^2, M is infinite. 2.)β <TOP><DIFF>^β^<TOP>(M)&lt;β^<DIFF>(M)である。The results of this research were presented at the "Art of Low Dimensional Topology" research conference held in November.