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

2020 年度 実施状況報告書

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

研究課題

研究課題/領域番号 18K03320
研究機関新潟大学

研究代表者

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

研究分担者 小原 功任  金沢大学, 数物科学系, 教授 (00313635)
鍋島 克輔  徳島大学, 大学院社会産業理工学研究部(理工学域), 准教授 (00572629)
梅田 陽子  城西大学, 理学部, 准教授 (90606386)
渋田 敬史  九州産業大学, 理工学部, 講師 (40648200)
研究期間 (年度) 2018-04-01 – 2022-03-31
キーワードholonomic D-module / 特異点 / b-関数 / local cohomology / algorithm
研究実績の概要

本研究は, 代数解析学の理論と計算機代数の最先端の手法を組み合わせることで,孤立特異点および非孤立特異点の複素解析的諸性質を解析する革新的研究手法やアルゴリズムの研究・開発を行う. 新たに構築した枠組みや研究手法を用いて, 特異点の複素解析および, 特異点に付随して得られるホロノミーD-加群の研究を行う. これにより当該分野における重要な未解決問題を解くことを目的としている.
研究開始3年目である本年度は, 申請した国内旅費を用いて出張することで研究代表者と共同研究者が直接会い研究討議, 研究用のアルゴリズムの考案, プログラムの試作や改良を行った. さらに研究のための計算実験を行った. 本研究ではいくつかのテーマに関し並行して研究を進めているが, 孤立特異点に関しては, (1)数式処理システム上でMatlis dualityを扱うことにより, 孤立特異点を持つcomplete intersectionに沿う対数的ベクトル場を求めるアルゴリズムの導出・実装, (2)対数的ベクトル場を用いることで対数的微分形式の留数を計算しBarlet層を決定するアルゴリズムの導出・実装, (3) Milnor数が一定(modality, 2)の特異点族に付随するb-関数の決定を行った. 孤立していないような特異点を持つ超曲面に関しては, (4)de Jongの特異点に付随するホロノミー系の構造を決定し, D. Siersmaのvertical monodromy, D. MasseyのLe cycleとの関係を論じた, (5) D. Siersmaの特異点に付随するホロニミー系の構造を決定し, (6)代数解析の観点からA. Zahariaの特異点の研究を行った.
コロナの感染拡大の影響で研究連絡に支障が生じてしまったテーマがある. これらのテーマに関しては次年度により多くの研究時間を確保する.

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

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

理由

本年度は, 孤立特異点の複素解析的研究に関し, 計画していた以上に研究成果を得ることができた. また, 研究を申請した時点では予想をしていなかった新たなテーマに関して, 成果をえることが出来た. アルゴリズムの導出, 考案, 実装も比較的順調に進んでいる. 今年度に新たに研究に着手した問題に関しては, 種々の準備を行っている段階であり, 現時点では, 具体的な研究成果を得るには至っていない. 非孤立特異点の代数解析に関しては, コロナの影響により十分に研究連絡を取ることが困難な状況にあった. そのため, 研究代表者が単独で研究をすすめていた.

今後の研究の推進方策

本研究により研究・開発しておくべき重要なアルゴリズムで, 現時点でまだ研究段階であり実装するに至っていないものがある. いままでに得た成果に基づくことで, 共同研究者, 当該分野の専門家と研究連絡をとり, これらのアルゴリズムの研究・開発を行う. また, 共同研究者と共同で, A. Zahariaの非孤立特異点の代数解析を遂行する.

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

新型コロナウイルス感染防止のため, 予定していた国際会議, 国内で開催予定だった研究集会の中止により研究旅費の使用が減じた. 共同研究者との研究打ち合わせに関しても, 感染拡大地域に該当する共同研究者との研究討議のための出張を自粛した. この措置により次年度使用額が生じた. 2021年度は, 出張が可能になり次第, 2020年度に実施を延期した研究連絡, 打ち合わせを, この次年度使用額により行うことを計画している.

  • 研究成果

    (17件)

すべて 2021 2020

すべて 雑誌論文 (8件) (うち査読あり 4件、 オープンアクセス 4件) 学会発表 (9件) (うち国際学会 2件)

  • [雑誌論文] Computing regular meromorphic differential forms via Saito's logarithmic residues2021

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

      Symmetry, Integrability and Geometry: Methods and Applications

      巻: 17 ページ: 019

    • 査読あり
  • [雑誌論文] Computation methods of b-functions associated with $\mu$-constant deformations -case of inner modality 2 --2021

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

      Kyushu J. of Mathematics

      巻: 75 ページ: 55-76

    • 査読あり
  • [雑誌論文] Holonomic D-modules associated with a simple line singularity and the vertical monodromy2021

    • 著者名/発表者名
      S. Tajima and Y. Umeta
    • 雑誌名

      Funkcialaj Ekvacioj

      巻: 64 ページ: 17-48

    • 査読あり
  • [雑誌論文] Computing logarithmic vector fields along an ICIS germ via Matlis duality2020

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

      Lecture Notes in Computer Science

      巻: 12291 ページ: 543-562

    • DOI

      10.1007/978-3-030-60026-6-32

    • 査読あり
  • [雑誌論文] 孤立特異点を持つcomplete intersectionに沿う対数的ベクトル場の計算法について,2020

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

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

      巻: 2156 ページ: 1-15

    • オープンアクセス
  • [雑誌論文] 半擬斉次孤立特異点の性質を利用した局所b-関数の計算2020

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

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

      巻: 2159 ページ: 188-199

    • オープンアクセス
  • [雑誌論文] Moving curve ideals, Rees algebra and parametric local cohomology systems2020

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

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

      巻: 2159 ページ: 179-187

    • オープンアクセス
  • [雑誌論文] 多変数留数の計算アルゴリズム III2020

    • 著者名/発表者名
      小原功任, 田島慎一
    • 雑誌名

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

      巻: 2159 ページ: 101-107

    • オープンアクセス
  • [学会発表] 特異点変形に付随した$\kappa$-不変量の計算2021

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      日本数学会函数論分科会
  • [学会発表] 特異平面代数曲線に沿う対数的ベクトル場とCamacho-Sad-Suwa指数について2021

    • 著者名/発表者名
      田島慎一, 鍋島克輔
    • 学会等名
      日本数学会函数論分科会
  • [学会発表] Computation of $\kappa$-invariants associated to deformations of isolated hypersurface singularities2020

    • 著者名/発表者名
      K. Nabeshima and S. Tajima
    • 学会等名
      Computer Algebra in Scientific Computing
    • 国際学会
  • [学会発表] Computing logarithmic vector fields along an ICIS germ via Matlis duality2020

    • 著者名/発表者名
      S. Tajima. T. Shibuta and K. Nabeshima
    • 学会等名
      Computer Algebra in Scientific Computing
    • 国際学会
  • [学会発表] Versal unfoldings of singular holomorphic foliations --諏訪アルゴリズムの実装-2020

    • 著者名/発表者名
      田島慎一, 鍋島克輔
    • 学会等名
      日本数学会関数論分科会
  • [学会発表] D. Barletのregular meromorphic differential formsとK. Saitoのlogarithmic residues2020

    • 著者名/発表者名
      田島慎一, 鍋島克輔
    • 学会等名
      日本数学会関数論分科会
  • [学会発表] 有理関数体上の包括的スタンダード基底系を用いた特異点変形における不変量計算について2020

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      日本数式処理学会
  • [学会発表] ネター作用素を用いた零次元準素イデアル成分の表現法と計算2020

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      Computer Algebra - Theory and its Applications
  • [学会発表] 単純ホップ分岐判定法の実装2020

    • 著者名/発表者名
      (深作亮也, 田島慎一
    • 学会等名
      Computer Algebra - Theory and its Applications

URL: 

公開日: 2021-12-27  

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

Powered by NII kakenhi