1999 Fiscal Year Annual Research Report
| Project/Area Number |
10640093
|
|---|
| Research Institution | Meiji University |
|---|
Principal Investigator |
服部 晶夫 明治大学, 理工学部, 教授 (80011469)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
枡田 幹也 大阪市立大, 理学部, 教授 (00143371)
阿原 一志 明治大学, 理工学部, 講師 (80247147)
佐藤 篤之 明治大学, 理工学部, 助教授 (70178705)
|
|---|
| Keywords | Toric Variety / Torus Manifold / Fan / Multi-fan / Convex Polytope / Todd Genus / Riemann-Roch Number / Equivariant Cohomology |
|---|
| Research Abstract |
本研究はトーラス多様体の多重扇の構造と多様体の不変量との関係に焦点を絞って研究を開始した。研究の進展に伴い、更に純組み合わせ論的な多重扇の一般論を構成することに成功し、それを位相的な問題に適用するという形で当初の研究目的を達成することができた。得られた主要結果は次の通りである。
1.多重扇に対してT_y種数を定義し、トーラス多様体の多重扇の場合には多様体のT_y種数と一致することを示した。また、T_y種数が通常のfベクトルとhベクトルとの間の関係式と類似の式を満すことを示した。われわれの定式化はその関係式に新しい解釈を与えるものである。
2.多重扇とともに多重多面体の概念を導入し、それに対してDuitstermaat-Heckman測度と回転数を定義し、一方から他方を記述することができることを示した。多重多様体がトーラス多様体上の複素直線束に付随しているときには、一部既に知られていた事実の一般化と考えられる。またトーラス多様体上の複素直線束の場合のいわゆる重複度公式も多重多面体の場合に拡張した。
3.多重多面体のDuitstermaat-Heckman測度または回転数を用いると凸多面体の場合のEhrhart多項式の多重多面体への拡張が得られる。これに対して、最高次の係数が多重多面体の体積に一致し、定数項が多重多面体のTodd種数と一致することを示した。これらは凸多面体の場合に成り立つ事実の拡張である。また凸多面体の場合の双対性も同様に成り立つことを示した。
4.Ehrhart多項式は凸多面体の場合には対応するトーラス多様体上の複素直線束のRiemann-Roch数と一致する。これを多重多面体の場合に拡張するためには、まず多重扇の同変コホモロジーとGysin準同型を定義する必要がある。これを実行しEhrhart多項式のコホモロジーによる表示を得た。
|
-
[Publications] Akio Hattori: "Almost complex toric manifolds and positive line bundles"Banach Center Publications. 45. 95-114 (1998)
-
[Publications] Akiko Hattori: "d-dimensional c-sympletic S^1-manifolds with non-empty fixed point set need not be c-Hamiltonian"Banach Center Publications. 45. 91-94 (1998)
-
[Publications] Mikiya Masuda: "Invariants of equivariant vector bundles and inequalities for dominant weights"Topology. 37. 161-177 (1998)
-
[Publications] Mikiya Masuda: "Equivariant algebraic vector bundles over cones with smooth one-dimensional quotient"J.Math.Soc.Japan. 50. 379-414 (1998)
-
[Publications] Kazushi Ahara: "Shapes of hexagrams"J.Math.Sci.Univ.Tokyo. 6. 539-558 (1999)
-
[Publications] Kazushi Ahara: "Table of conjugate classe of hyperbolic mapping class group of genus 2 and 3"Experimental Mathematics. (to appear).
