Fermat equation/x^2 in (y,z)^*/Forcing algebra/Several characteristics/Example

From Wikiversity
Jump to navigation Jump to search

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.