交叉理論の視点による代数多様体の特異点の研究

交叉理论视角下代数簇的奇异性研究

• 批准号: 12740016
• 负责人: 木村 俊一
• 金额: $ 1.54万
• 依托单位: Hiroshima University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-12740016/
• 关键词: 交叉理論; 代数多様体; 特異点; 非可換代数幾何; 計算機代数; グレブナー基底; 数学史; 正規化アルゴリズム; グイブナー基底; 準素分解; 数概念の革命; 17世紀イギリス数学

非可換代数幾何の計算を行うためのプログラムを開発した。有限表示を持つ加群のグレブナー基底を計算し、さらにresolutionを求めることができるようになっている。Macaulay2やSingularの試作バージョンなど、これまでも非可換のグレブナー基底を計算できるプログラムはあったが、Macaulay2では非可換環としてワイル代数に限られるなど、扱える非可換環の種類が極めて限られていた。本研究において開発したプログラムでは、変数を順序づけしておいて、重複を許してその順番の変数の積としてあらわされる単項式が基底になる、という極めて弱い条件のもとでグレブナー基底を計算できる、という特長を持っている。一般の非可換環ではグレブナー基底が存在しないことが証明されており、本プログラムの条件はほぼ限界に近い良いものであると思われる。当初は拡張性を考えてMathematicaでプログラムを作成したが、速度に不満があったため、C++で組み直した。本プログラムを作成した目的は非可換環RのSpectrumを定義する、という問題を解決するためである。、R/Iで既約加群になるもの全体が点集合となる、という予想を立て、いくつか計算を行い、イデアルIとJが既約元による単項生成であるにもかかわらず、その交わりが単項生成にならない、というような興味深い例も発見された。今後さらに具体的な計算によって非可換代数幾何特有の現象を見いだしていく基礎が出来たと思う。並行して数学史にも興味を持ち、ファン・ルーメンの間題における誤りや、ガロアの死の真相についても新しい知見を得た。この成果については、講談社選書メチエ「天才数学者はこう解いた、こう生きた 方程式四千年の歴史」において発表した。

The calculation of noncommutative algebraic geometry is developed. finite representation of a group of solutions Macaulay2 is a Singular test ring, and the number of non-commutative rings is limited by the number of non-commutative rings. In this study, we developed a new method for calculating the base of a single term, namely, the product of the number of changes in the sequence of the number of changes in the number of changes in the sequence of changes in the number of changes in the number of changes A general non-commutative ring is a ring whose base exists and whose condition is bounded. At the beginning, the high tension of Mathematica was studied, and the speed of C++ was studied. The purpose of this paper is to define the Spectrum of non-commutative ring R. R/I is reduced to add groups, and all points are set up. In the middle of the calculation, the line is calculated. In the middle of the calculation, the line is generated. In the middle of the calculation, the line is generated. In the future, concrete calculation and non-commutative algebraic geometry will be discussed. In parallel, the history of mathematics is full of interest, confusion, and confusion. The results of this study were published in the book "Genius Mathematicians Solve the Problem, Create the Equation for 4,000 Years"

项目成果

木村 俊一: "天才数学者はこう解いた、こう生きた"講談社. 1-236 (2001)

木村俊一：“这就是天才数学家解决问题和生活的方式”讲谈社 1-236 (2001)。