YOSHIDA Ken-ichi Nagoya University, Graduate School of Mathematics, Research Assistant, 大学院・多元数理科学研究科, 助手 (80240802)
OKADA Soichi Nagoya University, Graduate School of Mathematics, Associate Professor, 大学院・多元数理科学研究科, 助教授 (20224016)
HAYASHI Takahiro Nagoya University, Graduate School of Mathematics, Associate Professor, 大学院・多元数理科学研究科, 助教授 (60208618)
|Budget Amount *help
¥3,100,000 (Direct Cost : ¥3,100,000)
Fiscal Year 2000 : ¥700,000 (Direct Cost : ¥700,000)
Fiscal Year 1999 : ¥800,000 (Direct Cost : ¥800,000)
Fiscal Year 1998 : ¥1,600,000 (Direct Cost : ¥1,600,000)
Through the research done in the last academic year, more or less we achieved the objective on the fundamental research on homological behavior of equivariant modules. In this academic year, we published a monograph in English including the technical part of that homological research. The monograph includes a theory which unifies the Cohen-Macaulay approximation theory over a Cohen-Macaulay ring with canonical modules by Auslander-Buchweitz and the theory of Δ-good approximations over quasi-hereditary algebras by Ringel.
Moreover, continued from the last academic year, we were trying to enrich the theorem which asserts that if a connected reductive group G acts on a polynomial algebra S linearly, and if S admits good filtrations as a G-module, then the ring of invariants S^G is strongly F-regular. Since the condition that a polynomial algebra admits good filtrations is always true in characteristic zero, and the condition is Zariski open, S^G is of strongly F-regular type in character
istic zero. As the strong F-regular type property is stronger than rationality of singularities, the theorem is not included in Boutot's well-known theorem. On the other hand, in order to study Gorenstein property of invariant subrings in positive characteristics, it is necessary to investigate the behavior of canonical modules. For this purpose, we proved the Grothendieck duality theorem with respect to equivariant proper morphisms, and constructed the equivariant version of twisted inverse pseudofunctors which are necessary to state the equivariant duality theorem. Moreover, utilizing them, we partly succeeded in modifying the results on Gorenstein property of invariant subrings in characteristic zero by Knop to positive characteristics. These results were announced at domestic and international meetings, and the abstracts were published. Moreover, we got some results on behavior of F-rationality with respect to flat morphisms, and it has been published.