研究者詳細 - 寺井　直樹

共同研究・競争的資金等の研究 - 寺井　直樹

分割表示 28 件中 1 - 20 件目／全件表示 >>

Stanley-Reisner イデアルの算術階数とその記号的べきの射影次元

研究課題/領域番号：18K03244 2018年04月 - 2023年03月

日本学術振興会科学研究費助成事業基盤研究(C)

寺井直樹, 木村杏子, 吉田健一, 宮崎誓

配分額：4550000円（直接経費：3500000円、間接経費：1050000円）

本研究の目的は、Stanley-Reisner イデアルのべきについてその可換環論的、ホモロジー代数的性質を考察し、組合せ論的応用を探ることにある。可換環の満たす最も重要な性質のひとつとしてCohen-Macaulay性がある。したがって、Cohen-Macaulay性を判定する条件を与えることや、そのような環を分類することは極めて意義深い。本年度発表の結果として、次が挙げられる。良被覆グラフの辺イデアルの高さは不定元の個数の半分以上であることが知られており、エッジイデアルの高さが丁度、不定元の個数の半分である良被覆グラフは強良被覆グラフと呼ばれている。強良被覆グラフのCohen-Macaulay性については過去の共同研究において調べた（M.Crupi, G.Rinaldo, N.Terai, Cohen-Macaulay edge ideal whose height is half of the number of vertices, Nagoya Mathematical Journal 201(2011), 117-131）。今回はその拡張として辺重み付き強良被覆グラフの辺イデアルについて考察した。Cohen-Macaulay辺重み付き強良被覆グラフの辺イデアルの非混合性とCohen-Macaulayが同値であることを示し、またその条件を辺の重みの条件で記述した。また、頂点重み付き有向グラフにおいて底グラフがCohen-Macaulayであるとき、非混合性とCohen-Macaulay性が同値であることが予想されていたのであるが、その予想に対して反例を構成した。

射影多様体のカステルヌボー・マンフォード正則量とシジジーに関連した話題の研究

研究課題/領域番号：26400048 2014年04月 - 2020年03月

日本学術振興会科学研究費助成事業基盤研究(C)

宮崎誓, 岡田拓三, 寺井直樹

配分額：4420000円（直接経費：3400000円、間接経費：1020000円）

カステルヌボー・マンフォード正則量は射影多様体の定義多項式のシジジーを制御する重要な代数的不変量の一つである。本研究においては、正則量を多様体の次元、次数、余次元および線形k-ブックスバウム性で制御する結果を得た。また、正則量の手法を多重射影空間上のベクトル束の問題に応用し、ホロックス型のベクトル束の分裂判定法を得た。

Stanley-Reisner イデアルの算術階数とそのべきの射影次元

研究課題/領域番号：26400049 2014年04月 - 2017年03月

日本学術振興会科学研究費助成事業基盤研究(C)

寺井直樹, 吉田健一, 柳川浩二, 木村杏子, 庄田敏宏, 岡田拓三, 宮崎誓, 青山崇洋

配分額：4810000円（直接経費：3700000円、間接経費：1110000円）

多項式環の被約単項式イデアルの記号的べきの射影次元に関して研究した。強良被覆グラフの辺イデアルの場合に記号的べきの射影次元に関して広義単調増加であることを示した。良被覆である２部グラフは強良被覆グラフであり、２部グラフの辺イデアルの記号的べきは通常べきに等しいことから、良被覆である２部グラフの辺イデアルの通常べきの射影次元はべきの大きさに関して広義単調増加であることも示せたことになる。さらに、次数１の頂点をもつグラフの辺イデアルに対しても記号的べきの射影次元に関して広義単調増加であることを示した。

モジュラー群の巾零完備化のモチーフ的構造

研究課題/領域番号：23540021 2011年 - 2013年

日本学術振興会科学研究費助成事業基盤研究(C)

市川尚志, 上原健, 宮崎誓, 寺井直樹, 廣瀬進

配分額：5070000円（直接経費：3900000円、間接経費：1170000円）

代数曲線やアーベル多様体のモジュライ空間の数論幾何的研究を進めて、次の成果を得た。１．楕円モジュラーモチーフにおけるヘッケ作用素の理論を構成し、その応用として多重モジュラーL値の代数性を示した。２．リジッド解析を用いて、アーベル多様体がヤコビ多様体になるための条件、すなわちショットキー問題の解を与えた。３．p進ベクトル値ジーゲルモジュラー形式の基礎理論を構成し、志村による概正則ベクトル値ジーゲルモジュラー形式のp進版を与えて、そのCM点における代数性を示した。４．数論的ショットキー一意化理論を用い、3次元双曲多様体の幾何的ゼータ関数について、その特殊値の数論性を示した。

Ｓｔａｎｌｅｙ－Ｒｅｉｓｎｅｒイデアルの極小自由分解と算術階数

研究課題/領域番号：23540053 2011年 - 2013年

日本学術振興会科学研究費助成事業基盤研究(C)

寺井直樹, 上原健, 市川尚志, 宮崎誓, 河合茂生, 吉田健一, 柳川浩二, 木村杏子, 村井聡

配分額：5070000円（直接経費：3900000円、間接経費：1170000円）

多項式環の被約単項式イデアルであるStanley-Reisner イデアルの算術階数について研究した。Stanley-Reisner イデアルに関してはその算術階数はその剰余環の極小自由分解の長さ、つまり、その剰余環の射影次元以上であることが知られている。林の辺イデアルの算術階数はその剰余環の射影次元に等しいとBarileにより予想されていたのであるが、それに対して肯定的な答えを与えた。また高さ３のGorenstein Stanley-Reisner イデアルに関してもその算術階数はその剰余環の射影次元３となることを示した。

イデアルのべきに付随する環論的不変量の研究

研究課題/領域番号：22540047 2010年 - 2012年

日本学術振興会科学研究費助成事業基盤研究(C)

吉田健一, 橋本光靖, 伊山修, 寺井直樹

配分額：4290000円（直接経費：3300000円、間接経費：990000円）

二項式で定義された超曲面の対角的F閾値の計算方法を与えた。標準的次数付きアフィントーリック環のF(純)閾値と後藤・渡辺による不変量との間の不等式を証明した。グラフの辺イデアルのべき及び形式的べきのコーエン・マコーレー性を議論し、3次以上のべきがコーエン・マコーレーになるようなグラフを特徴づけた。また、2次のべきについても同様の成果を得た。正標数の理論(スコダの定理)を応用して、後藤数に関するワン型の定理を証明した。

射影多様体のカステルヌボー・マンフォード量とその周辺の話題についての研究

研究課題/領域番号：21540044 2009年04月 - 2014年03月

日本学術振興会科学研究費助成事業基盤研究(C)

宮崎誓, 市川尚志, 岡田拓三, 寺井直樹, 野間淳, 尼崎睦実, 尾形庄悦

配分額：4160000円（直接経費：3200000円、間接経費：960000円）

射影多様体の極小自由分解は定義イデアルの代数的な複雑さを表す重要な不変量である。マンフォードにより導入されたカステルヌボー・マンフォード正則量は定義イデアルの複雑さを表す量である。ブックスバウム多様体のカステルヌボー・マンフォード正則量は次数および余次元で表されるカステルヌボー型の上限を持つことが知られていた。本研究においては、ブックスバウム多様体の正則量がカステルヌボー型の上限もしくは２番目の上限を満たすときは、有理線織射多様体もしくはデル・ペッツォ多様体の因子となることを示した。さらに、正則量の応用として、多重射影空間上のベクトル束のホロックス型の分裂判定法を求めた。

Stanley-Reisner環の重複度と極小自由分解に関する研究

研究課題/領域番号：20540047 2008年 - 2010年

日本学術振興会科学研究費助成事業基盤研究(C)

寺井直樹, 上原健, 市川尚志, 宮崎誓, 河合茂生

配分額：4420000円（直接経費：3400000円、間接経費：1020000円）

多項式環の被約単項式イデアルであるStanley-Reisnerイデアルのべきについて研究した。その結果、その3乗以上のあるべき乗がCohen-Macaulay性をもつならば、任意のべき乗もCohen-Macaulay性をもつことがわかった。また、そのとき、もとのイデアルは完全交差となる。このことはCowsik-Noriの定理に対して単項式イデアルの場合に精密化を与えていることになる。

整数論及びその離散数理領域への展開

研究課題/領域番号：20540019 2008年 - 2010年

日本学術振興会科学研究費助成事業基盤研究(C)

中原徹, 上原健, 宮崎誓, 寺井直樹, 片山眞一, 田口雄一郎, クロードルベック, 金賢光

配分額：4420000円（直接経費：3400000円、間接経費：1020000円）

本研究課題の主体をなす整数論,とくにアーベル体に関するHasseの問題[A],数論幾何,代数幾何[B]並びにその離散分野への応用[C]に関して,パキスタン・イスラム共和国NUCES[先端科技大]と佐賀大学大学院工学系研究科とのWorkshop on NumberTheory in Sagaを2008～2010年度の各1月及び8月に両国の先端的若手及び中堅研究者を中心に計5回佐賀大学にて実施した.先行して研究代表者はNUCESに延べ2年半滞在し,Peshawar,Lahore 両Campus PhD大学院生,ポストドク及び国内研究者との共同研究を行った.

モジュラー多様体の幾何とジーゲル保型形式の合同、P進理論

研究課題/領域番号：20540018 2008年 - 2010年

日本学術振興会科学研究費助成事業基盤研究(C)

市川尚志, 長岡昇勇, 上原健, 宮崎誓, 寺井直樹

配分額：4550000円（直接経費：3500000円、間接経費：1050000円）

ジーゲルモジュラー多様体の数論幾何的性質を調べることにより、ジーゲルモジュラー形式の合同問題を解決し、p進ジーゲルモジュラー形式の重さがp進数として定まることを示した。またベクトル値ジーゲルモジュラー形式の数論的理論と、ベクトル値p進ジーゲルモジュラー形式の理論の基礎付けを与え、p進作用素の自然な構成を与えた。さらに環上のジーゲルモジュラー形式のなす環(保型形式環)の構造を調べ、6を逆元として持つ環上において、次数2のジーゲルモジュラー形式のなす環の構造を決定した。

乗数イデアルと密着閉包の可換代数及び計算代数の視点からの研究

研究課題/領域番号：19340005 2007年 - 2009年

日本学術振興会科学研究費助成事業基盤研究(B)

吉田健一, 橋本光靖, 伊山修, 藤野修, 寺井直樹, 寺井直樹

配分額：8450000円（直接経費：6500000円、間接経費：1950000円）

研究代表者は、以前の研究で原伸生氏と共に、一般化された密着閉包の概念を導入し、乗数イデアルを可換環論の言葉で定義することに成功した。具体的には、乗数イデアルは、密着閉包のテストイデアルの標数に関する極限として得られる。本研究では、小さな標数のテストイデアルの振る舞いと乗数イデアルの振る舞いとの違いを明らかにした。さらに、可換環論におけるさまざまな不変量の研究を行うために、密着閉包の理論を整備した。

Koszul双対性の可換環論への応用

研究課題/領域番号：19540028 2007年 - 2009年

日本学術振興会科学研究費助成事業基盤研究(C)

柳川浩二, 寺井直樹, 和久井道久, 毛利出, 若松隆義, 和久井道久, 毛利出, 寺井直樹, 若松隆義

配分額：3900000円（直接経費：3000000円、間接経費：900000円）

代表者は以前より、「Koszul双対性」など導来圏の理論を、組合せ論的可換代数の問題に応用してきた。その手法を、一般の可換環の研究に活かすことが当初の目的であった。この方向で、環の連接性等と関連した成果を得て、2009年に学術誌に発表した。2008年頃からは、若干方針を転換し、組合せ論的可換代数の対象ではあるが、やや定義が緩く(一般の環に近く)従来の手法が使えないものの研究に移行した。この方向では、数本の論文を書き、一部は出版済である。

整数論及びその離散数理領域への応用と展開

研究課題/領域番号：18540040 2006年 - 2007年

日本学術振興会科学研究費助成事業基盤研究(C)

中原徹, 上原健, 市川尚志, 寺井直樹, 片山真一, 田口雄一郎

配分額：3880000円（直接経費：3400000円、間接経費：480000円）

本研究課題の中核をなす整数論,とくにHasseの問題及び特殊線形群の作用による実2次無理数の軌道計算[A07],代数幾何[B07]並びに低密度パリティ検査符号とその復号能力の探索[C07]に関して,パキスタン・イスラム共和国先端科学技術大学[NUCES,Peshawar Campus],大韓民国,浦項工科大学校と佐賀大学大学院工学系研究科との拡大国際パートナーシッププログラムを2008年2月から3月初めに実施した.研究代表者はパキスタン・イスラム共和国先端科学技術大学に一ケ月滞在し,Shah Syed Inayat Ali氏と2008年2月にはKhan Hamid氏[NUCES,Peshawar Campus]を佐賀大に招聘し共同研究を行った.
分野A07.有理数体Q上,4次巡回体Kの整数環Z_Kにおけるハッセの問題について研究した.体Kが合成数導手の場合は素数導手のときと異なり,或る無限族の4次巡回体に対しZ_Kが巾底を持つことを証明した[研究代表者].Binary recurrence sequencesに伴う不定方程式の研究とその応用,すなわち類群のp-rankが2以上のp-1次巡回拡大の無限族の構成問題について研究を行った[片山].
分野B07.文賢淑氏と共同で保型形式の1-進的な性質を調べ,さらにいくつかの二次体に対し,2の外不分岐なmod2表現の非存在や有限性を証明した[田口].局所的完全交叉であるStanley-Reisner環について研究した[寺井].
分野C07.エルミート曲線から構成された誤り訂正符号であるエルミート符号の新しい構成方法について研究した.従来の一点型符号と別の符号を構成し、その最小距離の下からの限界を計算した,その結果,作られた符号が従来のエルミート符号より優れていることを示した[上原].

リーマン面上のベクトル束の新しい構成法とフェアリンデ公式

研究課題/領域番号：18540039 2006年 - 2007年

日本学術振興会科学研究費助成事業基盤研究(C)

市川尚志, 中原徹, 三苫至, 上原健, 寺井直樹, 広瀬進

配分額：4010000円（直接経費：3500000円、間接経費：510000円）

・Riemenn面を一意化するSchottky群の線形表現空間とRiemann面上のベクトル束のモジュライ空間との関係を、Abel-Jacobiの定理とVbrlindeの公式を用いて記述した。
・Igusaの結果を拡張し、1/6を持つ環上の次数2のSiegel保型形式の環構造を記述した。
・楕円保型形式の合同・p進的性質に関するSwinnerton-Dyer,Serre,Katzの結果をSiegel保型形式の場合に拡張した。
・代数体の整数環における巾底の存在に関するHasseの問題を研究し、特別な場合にそのような巾低が存在しないことを示した。
・摂動型Chern-Simons積分の1ループ近似を、Wiener空間の枠組みで数学として正当化し、その漸近展開をMalliavin-Taniguchiの変数変換定理に訴えて導いた。
・Hermite曲線から構成された誤り訂正符号であるHermite符号の新しい構成法について研究し、その最小距離の下界を計算することによって、新しい構成法の有用性を示した。
・局所的完全交叉であるStanley-Reisner環の性質を研究し、対応する単体的複体が連結で2以上の次元を持つ場合、その環の完全交叉性を示した。
・種数4以下の有向閉曲面上の周期的写像のDehn twistによる表示を求め、その応用として、Lefschetz fiber空間でnon-holomorphicなものや極小でないものの例を構成した。

Stanley-Reisner環の極小自由分解の研究

研究課題/領域番号：18540041 2006年 - 2007年

日本学術振興会科学研究費助成事業基盤研究(C)

寺井直樹, 中原徹, 上原健, 市川尚志, 吉田健一, 柳川浩二

配分額：4010000円（直接経費：3500000円、間接経費：510000円）

本研究の目的は、Stanley-Reisner環の極小自由分解についてその可換環論的、組合せ論的性質を考察し、その応用を探ることにあった。Stanley-Reisner環の重複度と正則度の関係について重点的に研究した。
平成17年度以前の研究において、Stanley-Reisner環の次元をdとするとき、そのStanley-Reisnerイデアルの全ての生成元の次数がd以下でありそのStanley-Reisner環の重複度が2d-1以下ならば、その正則度はd以下であることを示した。それを受けて平成18年度にはStanley-Reisnerイデアルの第1シジジー加群の全ての生成元の次数がd+1以下であるとするとき、そのStanley-Reisner環の重複度が3d-2以下ならば、その正則度はd以下であることを示した。そのことから一般にStanley-Reisnerイデアルの第pシジジー加群の全ての生成元の次数がd+p以下であるとするとき、そのStanley-Reisner環の重複度が(p+2)d-(p+1)以下ならば、その正則度はd以下であることが予想される。平成19年度は、この予想に対して、Stanley-Reisner環の次元dが2、3のときにそれが成立することを示した。また、この予想は凸多面体論において有名な下限定理(次元と頂点数を固定したとき、stacked多面体の各次元の面の数が単体的多面体の中で極小値を与えるという定理)の極大面の場合のもっと一般的な図形への拡張に相当することがわかった。

代数幾何符号の明示的構成

研究課題/領域番号：18540038 2006年 - 2007年

日本学術振興会科学研究費助成事業基盤研究(C)

上原健, 中原徹, 市川尚志, 寺井直樹

配分額：3450000円（直接経費：3000000円、間接経費：450000円）

1.エルミート曲線から構成された誤り訂正符号であるエルミート符号の構成について研究を行い,新しい構成方法を開発した.開発した方法で,従来の一点型符号と別の符号を構成し,その符号の最小距離の下からの限界を計算した。その結果,構成した符号が従来の一点型エルミート符号より優れていることを示した.
2.優良な符号列を生成するトレース・ノルム符号について,基底の具体形を求める研究を実行し,変数が3個以下の場合に,基底の具体形を求めた.
3.誤り訂正能力が注目されている低密度パリティ検査符号の代数的構成方法について研究し,有限体上のベクトル空間から構成する方法,非可換有限群から構成する方法を示した.
4.代数体の整数環の基底構造について研究し,拡大次数が8以上の2-基本アーベル体の中で整数環が単一の整数のべきが基底となるのは1例だけであることを示した.
5.Siegel保型形式について研究し,1/6を持つ環上の次数2のSiegel保型形式の環構造を記述した.
6.Stanley-Reisner環について研究し,対応する単体的複体が2以上の次元を持ち,連結であれば,局所的完全交叉であるStanley-Reisner環は完全交叉であることを示した.

射影多様体のCastelnuovo-Mumford量についての研究

研究課題/領域番号：17540035 2005年 - 2008年

日本学術振興会科学研究費助成事業基盤研究(C)

宮崎誓, 寺井直樹, 前田高士, 尼崎睦実, 尾形庄悦, 野間淳, 前田高士, 尼崎睦実, 尾形庄悦, 野間淳

配分額：3880000円（直接経費：3400000円、間接経費：480000円）

射影空間内において有限個の斉次多項式の零点として定義された射影多様体の定義イデアルの次数、極小自由分解の複雑さを表す重要な不変量として、Castelnuovo-Mumford 量がある。Castelnuovo-Mumford 量の上限を射影多様体の次数、余次元などで記述する問題はこの分野の重要なテーマであり、いくつかの上限が知られている。本研究において、射影曲線のCastelnuovo-Mumford 量がCastelnuovo 型の上限、次の上限を満たすときに、最小次数の射影曲面もしくは正規Del Pezzo 曲面の因子となることを示した。

Stanley-Reisner環の極小自由分解に関する研究

研究課題/領域番号：16540028 2004年 - 2005年

日本学術振興会科学研究費助成事業基盤研究(C)

寺井直樹, 田中達治, 中原徹, 市川尚志, 吉田健一, 柳川浩二

配分額：3600000円（直接経費：3600000円）

本研究の目的は、Stanley-Reisner環の極小自由分解についてその可換環論的、組合せ論的性質を考察し、組合せ論的応用を探ることにあった。
平成16年度は線形自由分解を持つBuchsbaum Stanley-Reisner環について研究した。Buchsbaum Stanley-Reisner環の重複度の下限を求め、それが、ちょうど下限の値をとるとき、線形自由分解を持つことを示した。また、Buchsbaum Stanley-Reisner環が線形自由分解をもつ必要十分条件を対応する単体的複体および、そのまつわり複体の被約ホモロジー群の言葉であたえた。
平成17年度は主にStanley-Reisner環の重複度とCastelnuovo-Mumford正則度の関係について研究した。Stanley-Reisner環の次元をdとするとき、その重複度がd以下ならばそのStanley-Reisner環のCastelnuovo-Mumford正則度はd以下であることを示した。さらにそのStanley-Reisnerイデアルの全ての生成元の次数がd以下であるときにはそのStanley-Reisner環の重複度が2d-1以下ならばそのCastelnuovo-Mumford正則度はd以下であることを示した。
さらに、線形自由分解をもつStanley-Reisner環のなかで、特にd線形自由分解をもつものについて重点的に調べた。上の結果からStanley-Reisnerイデアルの全ての生成元の次数がd以上であるときにはそのStanley-Reisner環の重複度がd以下ならばそのStanley-Reisner環はd線形自由分解をもつことがわかった。さらに、Stanley-Reisnerイデアルの全ての生成元の次数がdであるときにはそのStanley-Reisner環の重複度が2d-1以下ならばそのStanley-Reisner環はd線形自由分解をもつことがわかった。また、アレクサンダー双対複体を用いて、重複度が十分大きいならば、Stanley-Reisner環はCohen-Hacaulay環であることを示した。

〇次元ラティスイデアルの普遍グレブナー基底の探究

研究課題/領域番号：15340007 2003年 - 2005年

日本学術振興会科学研究費助成事業基盤研究(B)

日比孝之, 齋藤睦, 大杉英史, 松井泰子, 高山幸秀, 寺井直樹

配分額：8600000円（直接経費：8600000円）

純粋数学と応用数学の両者に深く拘わる0次元ラティスイデアルの普遍グレブナー基底について、その代数的基礎理論を構築し、可換代数と代数幾何への理論的有効性とともに、整数計画、符号理論、統計数学などへの実践的有効性を多角的に探究することが当該基盤研究の申請書類作成段階における目的であった。当該基盤研究の研究成果を列挙する。第1に、有限グラフに付随するトーリックイデアルから得られる0次元ラティスイデアルの普遍グレブナー基底の具象的研究を展開し、その構造を有限グラフの言葉で記述することに成功した。第2に、有限グラフの整数計画問題にいわゆるGomoryのrelaxationと呼ばれる整数計画の技巧を使うことが可能なとき、最適解を探すための計算量を有限グラフの組合せ論を使って決定する研究を推進した。第3に、0次元ラティスイデアルのcorner polyhedronを有界な凸多面体と凸錐のMinkowski和として表示する研究を推進し、その多面体的諸性質についての顕著な結果が得られた。第4に、統計数学における分割表のマルコフ基底に関する代数的研究を展開し、完全多重グラフのトーリックイデアルに付随する統計モデルを提唱し、その統計学的な解析を遂行した。以上の研究成果は、整数計画問題の代数的な分析の展開に十分な貢献をする。他方、当該基盤研究においては、海外から著名な研究者を招聘し、2件の国際会議を開催した。それらは(1)可換代数と代数幾何(於、大阪大学)平成16年3月、(2)グレブナー基底の理論的有効性と実践的有効性(於、立教大学)平成17年8月、である。

頂点作用素代数と代数曲線のモジュライ空間

研究課題/領域番号：15540036 2003年 - 2004年

日本学術振興会科学研究費助成事業基盤研究(C)

市川尚志, 田中達治, 中原徹, 三苫至, 寺井直樹, 廣瀬進

配分額：3700000円（直接経費：3700000円）

1.代数曲線とそのモジュライ空間に関する数論幾何と数理物理について研究し、タイヒミュラー基本亜群の数論幾何的構成を行って、ガロア表現に関するグロタンディーク予想の部分的解決、及び共形場理論に付随するモノドロミー表現の記述を与えた。
2.ボゴモロフ予想に関するウルモ・張の結果を拡張し、代数体上定義されたアーベル多様体の部分代数多様体が、アーベル多様体の構造を持つための条件を、ネロン・テイト高さ関数の値分布の言葉で与えた。
3.純虚数の指数を持つ超幾何微分方程式のモノドロミー表現から定まるリーマン面の構造を決定した(吉田正章との共同研究)。
4.射影空間内の1-サイクルのなすチャウ多様体の次元を、定義に基づいて計算している。
5.低次代数体、特にクンマー型のアーベル4次体の類群及び単数群の構造を解明した(片山真一及びClaude Levesqueとの共同研究)。
6.ハッセの問題について研究し、ガロア群が2-基本群であるアーベル16次体以上はその極大整還が巾底を持たないこと、8次体では、ある条件の下で、巾底をもつものは円周24等分体のみであることを証明した(元田康夫との共同研究)。
7.確率的ホロノミー作用素を定義し、ゲージ不変なウィルソン・ループ観測変数の積に対するChern-Simons積分の1-ループ近似を、ウイナー空間を使って数学的に定義した。
8.線型自由分解を持つBuchsbaum Stanley-Reisner環について研究し、重複度による特徴付けを与えた。
9.モノミアルイデアルの算術階数について研究し、偏差が2のモノミアルイデアルの算術階数を決定した。
10.単連結4次元多様体に埋め込まれた曲面で、その上の任意の同相写像が4次元多様体に拡張できるものをflexible surfaceとよぶ。Flexible surfaceが存在するために4次元多様体が満たすべき十分条件を調べ、4次元球面を除く多くの単連結4次元多様体内にflexible surfaceが存在することを示し、さらに任意の単連結4次元多様体内の曲面をflexibleに改変する操作の存在を示した。

　前のページ - 次のページ　

1
2