トップ研究者を探す代数的局所コホモロジーを利用した特異点解析プログラムの構築

代数的局所コホモロジーを利用した特異点解析プログラムの構築

KAKEN 科学研究費助成事業データベース で見る
研究課題番号 KAKENHI-PROJECT-15K17513
研究種目 若手研究(B)
研究分野 理工系
数物系科学
数学
代数学
研究機関 徳島大学
代表研究者 鍋島 克輔
研究協力者 田島 慎一
研究期間 開始年月日 2015/4/1
研究期間 終了年度 2017
研究ステータス 完了 (2017/4/1)
配分額(合計) 3,640,000 (直接経費 :2,800,000、間接経費 :840,000)
配分額(履歴) 2017年度:780,000 (直接経費 :600,000、間接経費 :180,000)
2016年度:910,000 (直接経費 :700,000、間接経費 :210,000)
2015年度:1,950,000 (直接経費 :1,500,000、間接経費 :450,000)
キーワード 代数的局所コホモロジー
孤立特異点
アルゴリズム
包括的グレブナー基底系
Limiting tangnet space
変形チュリナ数
local Euler obstruction
特異点
対数的ベクトル場の計算
Bernstein-佐藤多項式
グロタンディーク留数
特異点変形アルゴリズム
代数的局所コホモロジー類
b-関数
ミルナー数の列
limiting tangent space
D加群
局所コホモロジー
対数的ベクトル場
チュリナ数
ミルナー数
グレブナー基底
パラメータ付きシステム

研究成果

[雑誌論文] An implementation of the Le-Teissier method for computing local Euler obstructions

Shinichi Tajima, Katsusuke Nabeshima 2018

[雑誌論文] b-関数の根に付随したホロノミー系の局所コホモロジー解の計算法について

鍋島克輔, 田島慎一 2018

[雑誌論文] Transformation law を用いた多変数留数計算アルゴリズム

田島慎一, 鍋島克輔 2018

[雑誌論文] μ-constant deformation に付随したb-関数の計算-- 因子チェックの利用--

鍋島克輔, 田島慎一 2018

[学会発表] 収束冪級数環でのintegral number の計算II

鍋島克輔, 田島慎一 2018

[雑誌論文] Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Groebner systems

Katsusuke Nabeshima, Shinichi Tajima 2018

[雑誌論文] Comprehensive Groebner systems in PBW algebras, Bernstein-Sato ideals and holonomic D-modules

Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima 2018

[学会発表] パラメトリックイデアル所属問題の解き方について

鍋島克輔 2018

[雑誌論文] 収束冪級数環における generalized integral dependence relation の計算について

鍋島克輔, 田島慎一 2018

[学会発表] Transformation law によるGrothendieck local residue の計算

田島慎一, 鍋島克輔 2017

[学会発表] Computing Bruce-Roberts Milnor numbers

鍋島克輔 2017

[雑誌論文] Computing μ*-sequences of hypersurface isolated singularities via parametric local cohomology systems

K. Nabeshima, S. Tajima 2017

[雑誌論文] グレブナー基底を用いた収束冪級数環での拡張イデアル所属アルゴリズムについて

鍋島克輔, 田島慎一 2017

[学会発表] Computing integral numbers for a parametric ideal in a ring of convergent power series via comprehensive Groebner systems

鍋島克輔, 田島慎一 2017

[雑誌論文] Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals

Katsusuke Nabeshima, Shinichi Tajima 2017

[学会発表] 包括的グレブナー基底系を用いたμ-stratificationとμ*列の計算法について

鍋島 克輔, 田島 慎一 2017

[学会発表] Integral dependence relation と半擬斉次孤立特異点の b-関数

田島慎一, 加藤満生, 鍋島克輔 2017

[学会発表] 収束冪級数環でのintegral numberの計算 -- グレブナー基底 vs 代数的局所コホモロジー類 --

鍋島克輔, 田島慎一 2017

[学会発表] パラメータ付きBernstein-Sato イデアルとホロノミーD 加群の計算

鍋島 克輔, 小原 功任, 田島 慎一 2017

[雑誌論文] 代数的局所コホモロジーを用いた Limiting Tangent Space の計算法

鍋島 克輔, 田島 慎一 2017

[学会発表] b-関数の根に付随したホロノミー系の局所コホモロジー解の計算

鍋島克輔, 田島慎一 2017

[雑誌論文] A new method for computing the limiting tangent space of an isolated hypersurface singularity via algebraic local cohomology

Katsusuke Nabeshima, Shinichi Tajima 2017

[学会発表] 収束冪級数環における integral numberの計算法について

鍋島克輔, 田島慎一 2017

[学会発表] Computation method for μ*-sequences of hypersurface isolated singularities,

Katsusuke Nabeshima 2017

[学会発表] Tangent coneを用いた局所環でのパラメトリック・イデアルの次元判定

鍋島 克輔, 田島 慎一 2017

[雑誌論文] Comprehensive Groebner systems aprroach to b-functions of mu-constant deformations

Katsusuke Nabeshima, Shinichi Tajima 2017

[学会発表] An implementation of the Le -Teissier method for computing local Euler obstructions

田島慎一, 鍋島克輔 2017

[学会発表] 収束冪級数環におけるgeneralized integral dependence relation の計算について

鍋島克輔, 田島慎一 2017

[雑誌論文] Computer algebra and Bruce-Roberts Milnor number

伊澤 毅, 鍋島 克輔, 田島 慎一 2017

[学会発表] 局所コホモロジーを用いたμ*列の計算法について

鍋島 克輔, 田島 慎一 2016

[学会発表] Base change formula によるパラメータ付き多変数留数計算アルゴリズム

田島 慎一, 鍋島 克輔 2016

[雑誌論文] On simple representation of locally closed sets

Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima 2016

[学会発表] グレブナー基底の安定性とパラメトリック・システム

鍋島 克輔 2016

[学会発表] Comprehensive Groebner systems for parametric Poincare-Birkhoff-Witt ideals

Katsuyoshi Ohara, Katsusuke Nabeshima, Shinichi Tajima 2016

[雑誌論文] Computing Tjurina stratifications of μ-constant deformations via parametric local cohomology systems

Katsusuke Nabeshima, Shinichi Tajima 2016

[学会発表] 代数的局所コホモロジーを用いた Limiting Tangent Spaceの計算法と比較

鍋島 克輔, 田島 慎一 2016

[学会発表] パラメータ付き代数的局所コホモロジーとその応用

鍋島克輔 2016

[学会発表] パラメータ付きホロノミーD加群とb-関数 -μ-constant deformation の場合-

鍋島 克輔, 田島 慎一 2016

[学会発表] パラメトリック局所コホモロジーを用いたμ*の計算

鍋島 克輔, 田島 慎一 2016

[学会発表] b-関数の因子チェックを用いたパラメトリックb-関数の計算 - μ-constant deformation の場合-

鍋島 克輔, 田島 慎一 2016

[学会発表] 変形パラメータ付きホロノミーD-加群の計算法 -parametric Poincare Birkhoff-Witt 代数の利用-

鍋島克輔, 小原功任, 田島慎一 2016

[学会発表] Comprehensive Groebner systems in rings of differential operators, holonomic D-modules and b-functions

Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima 2016

[学会発表] Comprehensive Groebner systems in Poincare-Birkhoff-Witt algebra and Bernstein-Sato ideals

小原 功任, 鍋島 克輔, 田島 慎一 2016

[学会発表] Computer algebra and Bruce-Roberts Milnor numbers

伊澤 毅, 鍋島 克輔, 田島 慎一 2016

[雑誌論文] Solving extended ideal membership problems in rings of convergent power series via Gröbner bases

Katsusuke Nabeshima, Shinichi Tajima 2016

[学会発表] パラメータ付き対数的ベクトル場とBruce-Roberts ミルナー数の計算

鍋島克輔, 田島慎一 2016

[学会発表] 包括的グレブナー基底とパラメータつきb-関数の計算

小原 功任, 鍋島 克輔, 田島 慎一 2016

[学会発表] On simple representation of locally closed sets

Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima 2016

[学会発表] 包括的グレブナー基底とパラメータ付きb-関数の計算

鍋島克輔, 小原功任, 田島慎一 2016

[学会発表] Limiting tangent spaces とlocal cohomology

田島慎一, 鍋島克輔 2016

[学会発表] 孤立特異点に付随する代数的局所コホモロジーの計算

鍋島克輔 2016

[学会発表] 偏微分作用素環での包括的グレブナー 基底とホロノミD-加群,b-関数

鍋島克輔, 田島慎一 2015

[学会発表] 特異点の複素解析と局所コホモロジー

田島 慎一, 鍋島 克輔 2015

[学会発表] Bruce-Roberts ミルナー数の計算アルゴリズム

田島 慎一, 鍋島 克輔 2015

[雑誌論文] Efficient computation of algebraic local cohomology classes and change of ordering for zero-dimensional standard bases

Katsusuke Nabeshima, Shinichi Tajima 2015

[学会発表] 代数的局所コホモロジーを用いたスタンダード基底の項順序変換についてII

鍋島 克輔, 田島 慎一 2015

[学会発表] 局所コホモロジーを用いたBruce-Roberts ミルナー数の計算法について

田島 慎一, 鍋島 克輔 2015

[雑誌論文] Bruce-Roberts ミルナー数の計算アルゴリズム

田島 慎一, 鍋島克輔 2015

[学会発表] Limiting tangent spaces, Teissier sequences μ* and parametric local cohomology

Shinichi Tajima, Katsusuke Nabeshima 2015

[雑誌論文] 偏微分作用素環での包括的グレブナー 基底とホロノミD-加群,b-関数

鍋島 克輔, 田島 慎一 2015

[学会発表] グレブナー基底を用いた収束べき級数環上での拡張ideal membershipアルゴリズムについて

鍋島克輔, 田島慎一 2015

[学会発表] Logarithmic vector felds associated with hypersurface isolated singularities and local cohomology

Katsusuke Nabeshima and Shinichi Tajima 2015

[学会発表] 超曲面に付随したホロノミーD-加群の計算アルゴリズムについてII

田島 慎一, 鍋島 克輔 2015

[学会発表] 超曲面に付随したホロノミーD-加群の計算アルゴリズムについてI

田島 慎一, 鍋島 克輔 2015