• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2022 Fiscal Year Research-status Report

Algebraic analysis of deformations of non-isolated singularities, computational complex analysis and algorithms

Research Project

Project/Area Number 22K03334
Research InstitutionNiigata University

Principal Investigator

田島 慎一  新潟大学, 自然科学系, フェロー (70155076)

Co-Investigator(Kenkyū-buntansha) 小原 功任  金沢大学, 数物科学系, 教授 (00313635)
鍋島 克輔  東京理科大学, 理学部第一部応用数学科, 准教授 (00572629)
渋田 敬史  九州産業大学, 理工学部, 講師 (40648200)
梅田 陽子  城西大学, 理学部, 准教授 (90606386)
Project Period (FY) 2022-04-01 – 2027-03-31
Keywords非孤立特異点 / 変形族 / ホロノミーD-加群 / アルゴリズム / local cohomology
Outline of Annual Research Achievements

代数解析の理論に基づくことで, 特異点の複素解析的諸性質を研究している。研究では特異点に対し多項式環, 収束冪級数環におけるイデアルを考察し様々な操作を施すことで特異点の複素解析的性質や不変量を求めることを行う。ホロノミーD-加群と呼ばれる偏微分方程式系を研究するため, 偏微分作用素やPBW代数等の非可換環におけるイデアルを扱う。さらに, ホロノミーD-加群の解析にlocal cohomologyを用いる。さて, 特異点変形族の研究では, これらのイデアルに変形パラメータが含まれ, その構造はパラメータに依存することになる。イデアルの構造がパラメータにどのように依存しているかを決定するために, 包括的グレブナ系(comprehensive Groebner system), 包括的スタンダード系(comprehensive standard system)の理論と計算アルゴリズムを用いている。Comprehensive systemの考え方に基づくことで, 特異点の複素解析的不変量を求める様々なアルゴリズムを導入し, 改良を加え, 数式処理システムへのプログラムの実装を行っている。
孤立特異点をもつ超曲面変形族に関しては, 有理関数体を係数にもつcomprehensive standard systemの概念を導入し, Bertini型の複素解析的不変量を求める新たな枠組みを創った。
孤立していない特異点を持つ超曲面に対し, それに付随するホロノミーD-加群の構造を研究している。ホロノミーD-加群の構造を解析する際, local cohomologyを用いるが, local cohomologyを扱う上で, ネター作用素が重要となる。本研究で, 零次元の準素イデアルに対するネター作用素を求めるアルゴリズムを数式処理システムに実装した。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

(1) 収束冪級数環における零次元イデアルに対するBertini型の不変量を求めるには, 有理関数体を係数とする環におけるスタンダード基底を求めればよい。イデアルが変形パラメータを含む族である場合, Bertini型の不変量を求めることは困難であると考えられていた。本研究により, Bertini型不変量のパラメータ依存性を求めるあらたな計算の枠組みを得た。これにより, 特異点族にたいするkapper不変量やパラメータを含むイデアルのSamuel multiplicityのパラメータへの依存の仕方を求めることが可能になった。
(2) ネター作用素を用いると, 多項式環の準素イデアルが素イデアルに対しどのように重複しているかその構造を記述することができる。ホロノミーD-加群とlocal cohomology, Grothendieck dualityに基づくことで, 一般次元の準素イデアルに対して, ネター作用素を求めるアルゴリズムを導出した。この計算法は準素イデアル分解を介さないでネター作用素を構成することができる。既存の計算法に比べ, 効率が良い。この算法は, 本質的に, local cohomologyに対するネター作用素を求めてている。ホロノミーD-加群の構造を解析する際に, 活用することができることが判明した。今後の研究において有効である。
(3) 孤立していない特異点を持つ超曲面変形族に対し, PBW代数のcomprehensive グレブナ系を用いることで, その s-parametric annihilatorsを求めるアルゴリズムを開発し数式処理システムに実装してあった。本年度は, パラメータを含むlocal cohomologyを用いることで, ホロノミーD-加群の構造がどのようにパラメータに依存するか明らかにできることを示した。

Strategy for Future Research Activity

研究分担者と研究連絡を密に取りながら, 本研究を行う。共同して, 研究に必要なアルゴリズムの考案, 開発を行う。これらのアルゴリズムを用いて様々な計算実験を行い, 郊外分野の専門家との議論を踏まえ, 本研究を遂行する。
(1) 孤立特異点を持つ超曲面変形族に対し, 収束冪級数を係数にもつ偏微分作用素環におけるそのs-parametric annihilatorsのなすイデアルの生成元を求めるアルゴリズムを構成する。応用として local b-関数を求めるアルゴリズムを与える。
(2) 一般次元のlocal cohomologyに対するネター作用素の研究を進める。さらにネター作用素を用いることで, 孤立していない特異点を持つ超曲面に付随するホロノミーD-加群の研究を進める。特異点集合の次元が高いような超曲面で, 典型的な具体例に対し, どの様なホロノミD-加群がそれに付随しているか決定する。特に, monodromy構造やLagrangean varietuesが定めるWhitney stratificationの構造を明らかにする。また, D. Masseyの導入したLe cycleの概念とホロノミーD-加群の特性多陽太の関係を研究し, ホロノミーD-加群の計算法に関する研究を進める。
(3) 多項式写像に対し, そのbifurcation setを決定することは基本的な問題である。多項式写像がtameであるか否かを判定するアルゴリズムを実装し, tame多項式に対し, そのMIlnor fiberのホモトピー型を決定するアルゴリズムを構成する。さらに, tameとは限らない一般の多項式写像に対し, Parusinskiの結果に基づくことで, bifurcation set を求める新たなアルゴリズムを導出する。無限遠に孤立していない特異点を持つ場合の研究に着手する。

Causes of Carryover

3月に計画していた出張の日程調整を行うことが出来ず, 次年度に実施することにしたため次次年度の早い時期に日程調整行い, 研究連絡のための出張を行う。

  • Research Products

    (19 results)

All 2023 2022

All Journal Article (5 results) (of which Open Access: 2 results,  Peer Reviewed: 3 results) Presentation (14 results) (of which Int'l Joint Research: 3 results,  Invited: 1 results)

  • [Journal Article] Effective algorithms for computing Noetherian representations of zero-dimensional ideals2023

    • Author(s)
      K. Nabeshima and S. Tajima
    • Journal Title

      Aplicable Algebra in Engineering, Computation and Computing

      Volume: 33 Pages: 867-899

    • DOI

      10.1007/s00200-022-00570-7

    • Peer Reviewed
  • [Journal Article] CSSg method for several genericities of parametric systems2023

    • Author(s)
      K. Nabeshima and S. Tajima
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 40 Pages: 315-337

    • DOI

      10.1007/s13160-022-00520-3

    • Peer Reviewed
  • [Journal Article] Computingholomorphic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Groebner systems of PBW algebras2023

    • Author(s)
      S. Tajima, K. Nabeshima, K. Ohara and Y. Umeta
    • Journal Title

      Mathematics in Computer Scinece

      Volume: 17 Pages: 22pages

    • DOI

      10.1007/s11786-022-00553-4

    • Peer Reviewed
  • [Journal Article] 一変数留数計算について2022

    • Author(s)
      深作亮也, 田島慎一
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 2224 Pages: 70-78

    • Open Access
  • [Journal Article] CSSg method for several genericities of deformations of hypersurface singularities2022

    • Author(s)
      鍋島克輔, 田島慎一
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 2226 Pages: 1-15

    • Open Access
  • [Presentation] 一般次元の準素イデアルのネター作用素とホロノミーD-加群2023

    • Author(s)
      田島慎一
    • Organizer
      代数解析日本大学研究集会
  • [Presentation] Yano-Kato method for computing s-parametric annihilators using modern computer algebra techniques2023

    • Author(s)
      鍋島克輔, 田島慎一
    • Organizer
      Risa/Asir Conference
  • [Presentation] ネター作用素と非孤立特異点を持つ超曲面のb-関数2023

    • Author(s)
      田島慎一
    • Organizer
      Risa/Asir Conference
  • [Presentation] 「(準素イデアル)=(素イデアル)+(ネター作用素)]について2022

    • Author(s)
      田島慎一
    • Organizer
      新潟代数セミナー
  • [Presentation] A deterministic method for computing Bertini type invariants of parametric ideals2022

    • Author(s)
      S. Tajima and K. Nabeshima
    • Organizer
      Applications of Computer Algebra
    • Int'l Joint Research
  • [Presentation] 効率的な一変数留数計算アルゴリズム2022

    • Author(s)
      深作亮也, 田島慎一
    • Organizer
      日本数学会函数論分科会
  • [Presentation] 特異点の複素解析2022

    • Author(s)
      田島慎一
    • Organizer
      日本数学会函数論分科会
    • Invited
  • [Presentation] ゼロ次元イデアルのネター作用素について2022

    • Author(s)
      鍋島克輔, 田島慎一
    • Organizer
      日本数学会代数学分科会
  • [Presentation] 一般固有空間とJordan鎖の厳密で効率的な計算 I2022

    • Author(s)
      田島慎一, 小原功任, 照井章
    • Organizer
      日本数学会代数学分科会
  • [Presentation] 一般固有空間とJordan鎖の厳密で効率的な計算 II2022

    • Author(s)
      田島慎一, 小原功任, 照井章
    • Organizer
      日本数学会代数学分科会
  • [Presentation] A deterministic method for computing Chern-Schwartz-MacPherson classes of a family of projective varieties2022

    • Author(s)
      S. Tajima and K. Nabeshima
    • Organizer
      Singularity I
    • Int'l Joint Research
  • [Presentation] B-functions, Kashiwara operators and Poincare-Birkhoff-Witt algebra2022

    • Author(s)
      S. Tajima
    • Organizer
      Silver Workshop V
    • Int'l Joint Research
  • [Presentation] 多項式函数のbifurcation setの計算法 I2022

    • Author(s)
      田島慎一, 鍋島克輔
    • Organizer
      Computer Algebra- Foundations and Applications
  • [Presentation] Noetherian operators of positive dimensional ideals and hypersurface singularities2022

    • Author(s)
      鍋島克輔, 田島慎一
    • Organizer
      Computer Algebra-Foundations and Applications

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi