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

2004 年度 実績報告書

D加群のアルゴリズムの研究

研究課題

研究課題/領域番号 16540172
研究種目

基盤研究(C)

研究機関東京女子大学

研究代表者

大阿久 俊則  東京女子大学, 文理学部, 教授 (60152039)

研究分担者 宮地 晶彦  東京女子大学, 文理学部, 教授 (60107696)
小林 一章  東京女子大学, 文理学部, 教授 (50031323)
大山 淑之  東京女子大学, 文理学部, 教授 (80223981)
篠原 昌彦  東京女子大学, 文理学部, 教授 (70086346)
小舘 崇子  東京女子大学, 文理学部, 講師 (90317826)
キーワードD加群 / 線形偏微分方程式 / アルゴリズム / グレブナー基底
研究概要

解析的なD加群に対するアルゴリズムの研究を進めた。代数的なD加群、すなわちWey1代数上の有限生成加群に対しては、Buchbergerが多項式環において導入した割り算アルゴリズムが、ほとんど変更なしに適用される。これは言わば大域的な割り算アルゴリズムであり、D加群の局所的な性質、すなわち解析的なD加群としての性質を調べるには、局所的な割り算アルゴリズムが必要である。一方で、割り算アルゴリズムは変数の間の順序関係(項順序)に依存するが、この項順序は、D加群のどのような性質に着目するかによって、自由に選べることが望ましい。たとえば、D加群のb関数や制限の計算のためには、いわゆるV-filtrationと呼ばれる変数の重みに対応した項順序で割り算を実行する必要がある。しかしこのような割り算を通常の微分作用素環で実行するのは一般には不可能であると思われる。そこでAssi-Castro-Grangerにより導入された、微分作用素環の階数に関する斉次化(Rees環)を考え、そこにおいてほとんど任意の項順序に関して実行可能な割り算アルゴリズムを構築した。これはベキ級数環におけるMoraのいわゆるtangent cone algorithmの斉次化微分作用素環への拡張である。これを用いて、十分一般的な項順序について、D加群の局所的な意味でのグレブナー基底、すなわち(広中の意味での)標準基底の計算が可能となった。実際、この割り算アルゴリズムは高山信毅による数式処理システムKanに実装された。
次にこの割り算アルゴリズムの応用として、Grangerとの共同研究によりD加群の解析的(すなわち局所的)な意味での極小自由分解の計算アルゴリズムを得た。また、D加群のregular b-functionと呼ばれる不変量の計算アルゴリズムについても研究を進めた。

  • 研究成果

    (2件)

すべて 2004 その他

すべて 雑誌論文 (2件)

  • [雑誌論文] Minimal filtered free resolutions for analytic D-modules2004

    • 著者名/発表者名
      M.Granger, T.Oaku
    • 雑誌名

      Journal of Pure and Applied Algebra 191

      ページ: 157-180

  • [雑誌論文] Tangent cone algorithm for homogenized differential operators

    • 著者名/発表者名
      M.Granger, T.Oaku, N.Takayama
    • 雑誌名

      Journal of Symbolic Computation (印刷中)

URL: 

公開日: 2006-07-12   更新日: 2016-04-21  

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

Powered by NII kakenhi