Forcing algebra/Characteristic 0/Superheight/Remark
Appearance
In characteristic zero, the plus closure behaves very differently compared with positive characteristic. If is a normal domain of characteristic , then the trace map shows that the plus closure is trivial, for every ideal . This implies also that if is a two-dimensional normal local ring of characteristic and an -primary ideal and an element with , then the extended ideal inside the forcing algebra has superheight . If moreover belongs to the solid closure of , then is not affine and so by fact its ring of global sections is not finitely generated.