|
（１）Nー複体の三角圏について（伊山修、宮地淳一両氏との共同研究）
多角形ルコルマンは、捩れ対の発展形である。これを自然に有する三角圏としてNー複体の三角圏を考察している。Nー複体とは、通常の複体が微分写像２回の合成で消失するのに対し、N回で消失するものをいう。ところで、連続する（Nー１）条の射は特殊なNー複体である。すなわち、（Nー１）条射の加法圏を加法圏を部分圏として含む複体の圏として、「（Nー１）条射の（通常の）２ー複体の圏」以外に「Nー複体の圏」が考えられるということになる。研究代表者らは今までに、これらの導来圏が三角同値であることを示した。また、Nー複体のホモトピー圏については、(Nー１）条分裂単射の２ー複体のホモトピー圏との三角同値が得られた。今年度の成果としては、三角函手による多角形ルコルマンの引き戻しが多角形ルコルマンになるための条件を記述することにより、上記のホモトピー圏の三角同値についての証明を簡略化したことが挙げられる。
（２）全非輪状複体について（L.W.Christensen氏との共同研究）
入射加群の非輪状複体で、入射加群によるHom双対によっても非輪状性が保たれるものを全非輪状複体と呼ぶ。Iyengar-Krauseは、双対化複体を有する環のGorenstein性が非輪状と全非輪状の一致で判定できることを示した。研究代表者らは、これをKrull次元有限とは限らない（従って双対化複体を有するとは限らない）環において一般化した。また、射影加群の複体、平坦加群の複体にも全非輪状複体が定義されるので、非輪状と全非輪状の一致が入射、射影、平坦において同時に起こるかどうかを調べた。その結果、平坦加群の射影次元が上限を有する場合には、これらが同時に起こることを示した。
|
