密着閉包

数学の可換環論における密着閉包（みっちゃくへいほう、英: tight closure）とは、正標数の環のイデアルに対して定義されるある操作である。メルビン・ホッシュターとクレイグ・ハネクによって考案された。

$R$ を可換なネーター環で標数 $p>0$ の体（したがって $p$ は素数）を含むものとする。

$I$ を $R$ のイデアルとする。

$I$ の密着閉包 $I^{*}$ とは、$I$ を含む $R$ のイデアルで次のように定義されるものである。

$z\in I^{*}$ であるのは、$R$ のどの極小素因子にも含まれないある $c\in R$ が存在して、全ての $e\gg 0$ に対して $cz^{p^{e}}\in I^{[p^{e}]}$ が成り立つとき、かつそのときに限る。$R$ が被約環のときは、全ての $e>0$ に対して、としてもよい。

ここで $I^{[p^{e}]}$ は $I$ の元の $p^{e}$ベキで生成される $R$ のイデアルで、$I$ の $e$ 次フロベニウス冪という。

$I=I^{*}$ が成り立つとき、このイデアルは密着的閉（tightly closed）という。 全てのイデアルが密着的閉である環は弱 $F$ 正則（weakly $F$-regular, フロベニウス正則の意）という。また、環の任意の局所化が弱 $F$ 正則であるとき $F$ 正則という。

かつては密着閉包の操作と局所化が交換可能かどうかが大きな未解決問題だったが、Brenner & Monsky (2010) が反例を見つけた。しかし、全ての弱 $F$ 正則環が $F$ 正則かどうか、つまり環の全てのイデアルが密着的閉ならばその環の任意の局所化の任意のイデアルもまた密着的閉かどうか、という問題はまだ未解決である。

参考文献

• Brenner, Holger; Monsky, Paul (2010), “Tight closure does not commute with localization” (PDF), Annals of Mathematics, Second Series 171 (1): 571–588, arXiv:0710.2913, doi:10.4007/annals.2010.171.571, ISSN 0003-486X, MR2630050, https://annals.math.princeton.edu/wp-content/uploads/annals-v171-n1-p15-s.pdf 
• Hochster, Melvin; Huneke, Craig (1988), “Tightly closed ideals”, Bulletin of the American Mathematical Society, New Series 18 (1): 45–48, doi:10.1090/S0273-0979-1988-15592-9, ISSN 0002-9904, MR919658 
• Hochster, Melvin; Huneke, Craig (1990), “Tight closure, invariant theory, and the Briançon–Skoda theorem”, Journal of the American Mathematical Society 3 (1): 31–116, doi:10.2307/1990984, ISSN 0894-0347, JSTOR 1990984, MR1017784, https://jstor.org/stable/1990984 
• 橋本, 光靖 (2008年). “不変式環の環論的性質” (PDF). 2021年11月14日閲覧。