超準解析的手法による特異点の研究

利用超准解析方法研究奇点

• 批准号: 22KJ0895
• 负责人: 山口 樹
• 金额: $ 1.09万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2023
• 资助国家: 日本
• 起止时间: 2023-03-08 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22KJ0895/
• 关键词: 川又対数的端末特異点; big Cohen-Macaulay 代数; 乗数イデアル; F-特異点論; 正標数

代数幾何学は代数方程式の零点として定義される代数多様体の性質を研究する分野である。その中でも双有理幾何学は多様体を双有理同値という同値関係に基づいて分類することを目標としている。双有理幾何学において重要な特異点として有理特異点や川又対数的端末特異点などがある。標数0の体上の代数幾何では特異点解消を用いてこれらの特異点が定義される。しかし、正標数の体上の代数幾何においてはフロベニウス写像を用いてF-有理特異点やF-正則特異点が定義される。これらの等標数0と正標数の特異点には正標数還元という手法によって著しい関連があることが知られている。近年、MaとSchwedeは混標数の特異点についてもbig Cohen-Macaulay (BCM)代数を用いて特異点のクラスを定義すれば等標数の特異点論と類似の結果が得られることを示している。ただし、ネーター局所環Rに対しBがBCM R-代数であるとはRの任意のパラメータ系がB-正則列になることである。他方でH. Schoutensは超準解析的な手法を可換環論に応用して正標数と等標数0の環の関係を研究したり、等標数0の環上のBCM代数を構成したりしている。これらを踏まえ、超準解析的な手法により標数0のBCM代数と双有理幾何に現れる特異点の関係を調べることが本研究の目標である。MaとSchwedeの理論を用いるとBCM代数を用いてBCM判定イデアルというイデアルを構成することが出来る。これは正標数における判定イデアルや等標数0の乗数イデアルに近いものであると考えられる。そこで、等標数0のBCM代数に関してBCM判定イデアルを考えれば乗数イデアルと一致し、また等標数0においてはBCM有理特異点と有理特異点が一致すると考えられる。これらの問題について超準的な手法を用いて正標数のBCM代数と比較して考察を行った。

Algebraic geometry is the study of the properties of algebraic polyhedra by defining the zeros of algebraic equations. Birational geometry is a polyhedron, birational geometry is a polyhedron, and birational geometry is a polyhedron. Birational geometry is the most important point in the universe. The algebraic geometry of the scalar number 0 on the volume is the definition of the singular point. F-rational singular points and F-regular singular points are defined in algebraic geometry of positive scalar numbers. The number 0 of the positive standard number is the special point of the negative standard number. In recent years, Ma and Schwede have discussed the definition of special points of mixed scalar numbers and similar results in terms of big Cohen-Macaulay algebra. R is a B-algebra, R is a B-regular algebra, and R is a B-regular algebra. H. Schoutens studied the relationship between positive index number and isosceles number 0 on the theory of commutative rings by means of super-accurate analysis. The aim of this study is to find out the relationship between BCM algebra and birational geometry. Ma Schwede's theory is used to determine the composition of BCM. The number of positive standard is 0. The number of positive standard is 0. The BCM algebra of the equivalent number 0 is related to the BCM judgment. This problem is solved by comparing positive scalar numbers with BCM algebras.

项目成果

BIG COHEN–MACAULAY TEST IDEALS IN EQUAL CHARACTERISTIC ZERO VIA ULTRAPRODUCTS

• DOI: 10.1017/nmj.2022.41
• 发表时间: 2022-07
• 期刊: Nagoya Mathematical Journal
• 影响因子: 0.8
• 作者: T. Yamaguchi