Fermat equation/x^2 in (y,z)^*/Forcing algebra/Several characteristics/Example
Let be a field and consider the Fermat ring
together with the ideal and . For we have . This element is however in the tight closure of the ideal in positive characteristic (assume that the characteristic does not divide ) and is therefore also in characteristic inside the tight closure and inside the solid closure. Hence the open subset
is not an affine scheme. In positive characteristic, is also contained in the plus closure and therefore this open subset contains punctured surfaces (the spectrum of the forcing algebra contains two-dimensional closed subschemes which meet the exceptional fiber in only one point; the ideal has superheight two in the forcing algebra). In characteristic zero however, due to remark the superheight is one and therefore by fact the algebra is not finitely generated. For and one can also show that is, considered as a complex space, a Stein space.