| Project/Area Number |
11640047
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Algebra
|
|---|
| Research Institution | Toho University |
|---|
Principal Investigator |
UMEZU Yumiko Toho University, School of Medicine, Assistant Professor, 医学部, 助教授 (70185065)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
KOBAYASHI Yuji Toho Unversity, Faculty of Science, Professor, 理学部, 教授 (70035343)
|
|---|
| Project Period (FY) |
1999 – 2001
|
| Project Status |
Completed (Fiscal Year 2001)
|
| Budget Amount *help |
¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 2001: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2000: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 1999: ¥300,000 (Direct Cost: ¥300,000)
|
|---|
| Keywords | Algebraic surfaces / Fibred surfaces / Mordell-Weil groups / Singularity / Algebraic systems / Monoids / Rewriting methods / Homotopy / 小平次元 / 楕円ファイバー曲面 / アルゴリズム / 有限表示 / ファイバー画面 / オートマン / メービウス関数 / ホモトピー加群 |
|---|
| Research Abstract |
We studied more generally algebraic surfaces with fibration of curves.
First, we examined Neron's method to construct an infinite family of curves of genus g 【greater than or equal】 2 over Q with high rank. We showed that his method does not give the existence of curves of genus g with rank r 【greater than or equal】 3g + 7, as he claimed, but r 【greater than or equal】 3g + 6. Moreover we improved his method and showed the existance of faimilies of curves with g 【greater than or equal】 3 and rank r 【greater than or equal】 3g + 7.
Next, we considered surfaces with elliptic fibration with Kodaira dimension one who admit normal quintic birational models. To describe their fibre structures we studied their multiple fibres, and obtained the possible number of multiple fibres and their multiplicities. In particular we classified these numbers and multiplicities when the geomertic genus of the surfaces is not zero.
We studied structural and computational problems of algebraic systems (particularly monoids) defined by finite generators and finite relations mainly applying the rewriting methods. We studied the termination problem of one-rule rewriting systems and the homotopy relations on the complex depicting rewriting steps in a monoid, originally introduced by Squier. We studied relationship between homotopy finiteness and homology finiteness, and showed that these properties are undecidable independently on the decidability of the word problem. In particular, we proved that every one-relator monoid has homotopy finiteness property. We studied finite presentability of monoids and gave a finite presentation of the braid inverse monoid.
|
