Zum Inhalt springen

Fermat-Kubik/z^2 in tight closure von (x,y)/Beispiel/en

Aus Wikiversity

We consider the Fermat cubic  R=K[X,Y,Z]/(X3+Y3+Z3),  the ideal  I=(X,Y)  and the element Z2. We claim that in positive characteristic 3 the element Z2 does belong to the tight closure of I. Equivalently, the open subset

D(X,Y)Spec(R[S,T]/(XS+YT+Z2))

is not affine. The element Z2 defines the cohomology class

c=Z2XYH1(D(X,Y),𝒪X)

and its Frobenius pull-backs are

Fe(c)=Z2qXqYqH1(D(X,Y),𝒪X).

This cohomology module has a -graded structure (the degree is given by the difference of the degree of the numerator and the degree of the denominator) and, moreover, it is 0 in positive degree (this is related to the fact that the corresponding projective curve is elliptic). Therefore for any homogeneous element  tR  of positive degree we have  tFe(c)=0  and so Z2 belongs to the tight closure.

From this it follows also that in characteristic 0 the element Z2 belongs to the solid closure, because affineness is an open property in an arithmetic family.