• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2022 年度 実施状況報告書

非孤立特異点変形族の代数解析と計算複素解析アルゴリズム

研究課題

研究課題/領域番号 22K03334
研究機関新潟大学

研究代表者

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

研究分担者 小原 功任  金沢大学, 数物科学系, 教授 (00313635)
鍋島 克輔  東京理科大学, 理学部第一部応用数学科, 准教授 (00572629)
渋田 敬史  九州産業大学, 理工学部, 講師 (40648200)
梅田 陽子  城西大学, 理学部, 准教授 (90606386)
研究期間 (年度) 2022-04-01 – 2027-03-31
キーワード非孤立特異点 / 変形族 / ホロノミーD-加群 / アルゴリズム / local cohomology
研究実績の概要

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

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

(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-加群の構造がどのようにパラメータに依存するか明らかにできることを示した。

今後の研究の推進方策

研究分担者と研究連絡を密に取りながら, 本研究を行う。共同して, 研究に必要なアルゴリズムの考案, 開発を行う。これらのアルゴリズムを用いて様々な計算実験を行い, 郊外分野の専門家との議論を踏まえ, 本研究を遂行する。
(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 を求める新たなアルゴリズムを導出する。無限遠に孤立していない特異点を持つ場合の研究に着手する。

次年度使用額が生じた理由

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

  • 研究成果

    (19件)

すべて 2023 2022

すべて 雑誌論文 (5件) (うちオープンアクセス 2件、 査読あり 3件) 学会発表 (14件) (うち国際学会 3件、 招待講演 1件)

  • [雑誌論文] Effective algorithms for computing Noetherian representations of zero-dimensional ideals2023

    • 著者名/発表者名
      K. Nabeshima and S. Tajima
    • 雑誌名

      Aplicable Algebra in Engineering, Computation and Computing

      巻: 33 ページ: 867-899

    • DOI

      10.1007/s00200-022-00570-7

    • 査読あり
  • [雑誌論文] CSSg method for several genericities of parametric systems2023

    • 著者名/発表者名
      K. Nabeshima and S. Tajima
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 40 ページ: 315-337

    • DOI

      10.1007/s13160-022-00520-3

    • 査読あり
  • [雑誌論文] Computingholomorphic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Groebner systems of PBW algebras2023

    • 著者名/発表者名
      S. Tajima, K. Nabeshima, K. Ohara and Y. Umeta
    • 雑誌名

      Mathematics in Computer Scinece

      巻: 17 ページ: 22pages

    • DOI

      10.1007/s11786-022-00553-4

    • 査読あり
  • [雑誌論文] 一変数留数計算について2022

    • 著者名/発表者名
      深作亮也, 田島慎一
    • 雑誌名

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

      巻: 2224 ページ: 70-78

    • オープンアクセス
  • [雑誌論文] CSSg method for several genericities of deformations of hypersurface singularities2022

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 雑誌名

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

      巻: 2226 ページ: 1-15

    • オープンアクセス
  • [学会発表] 一般次元の準素イデアルのネター作用素とホロノミーD-加群2023

    • 著者名/発表者名
      田島慎一
    • 学会等名
      代数解析日本大学研究集会
  • [学会発表] Yano-Kato method for computing s-parametric annihilators using modern computer algebra techniques2023

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      Risa/Asir Conference
  • [学会発表] ネター作用素と非孤立特異点を持つ超曲面のb-関数2023

    • 著者名/発表者名
      田島慎一
    • 学会等名
      Risa/Asir Conference
  • [学会発表] 「(準素イデアル)=(素イデアル)+(ネター作用素)]について2022

    • 著者名/発表者名
      田島慎一
    • 学会等名
      新潟代数セミナー
  • [学会発表] A deterministic method for computing Bertini type invariants of parametric ideals2022

    • 著者名/発表者名
      S. Tajima and K. Nabeshima
    • 学会等名
      Applications of Computer Algebra
    • 国際学会
  • [学会発表] 効率的な一変数留数計算アルゴリズム2022

    • 著者名/発表者名
      深作亮也, 田島慎一
    • 学会等名
      日本数学会函数論分科会
  • [学会発表] 特異点の複素解析2022

    • 著者名/発表者名
      田島慎一
    • 学会等名
      日本数学会函数論分科会
    • 招待講演
  • [学会発表] ゼロ次元イデアルのネター作用素について2022

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      日本数学会代数学分科会
  • [学会発表] 一般固有空間とJordan鎖の厳密で効率的な計算 I2022

    • 著者名/発表者名
      田島慎一, 小原功任, 照井章
    • 学会等名
      日本数学会代数学分科会
  • [学会発表] 一般固有空間とJordan鎖の厳密で効率的な計算 II2022

    • 著者名/発表者名
      田島慎一, 小原功任, 照井章
    • 学会等名
      日本数学会代数学分科会
  • [学会発表] A deterministic method for computing Chern-Schwartz-MacPherson classes of a family of projective varieties2022

    • 著者名/発表者名
      S. Tajima and K. Nabeshima
    • 学会等名
      Singularity I
    • 国際学会
  • [学会発表] B-functions, Kashiwara operators and Poincare-Birkhoff-Witt algebra2022

    • 著者名/発表者名
      S. Tajima
    • 学会等名
      Silver Workshop V
    • 国際学会
  • [学会発表] 多項式函数のbifurcation setの計算法 I2022

    • 著者名/発表者名
      田島慎一, 鍋島克輔
    • 学会等名
      Computer Algebra- Foundations and Applications
  • [学会発表] Noetherian operators of positive dimensional ideals and hypersurface singularities2022

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      Computer Algebra-Foundations and Applications

URL: 

公開日: 2023-12-25  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi