# Tight closure/Arithmetic deformation/Brenner and Katzman/Section

## Example

Consider ${\displaystyle {}\mathbb {Z} [x,y,z]/{\left(x^{7}+y^{7}+z^{7}\right)}}$ and take the ideal ${\displaystyle {}I={\left(x^{4},y^{4},z^{4}\right)}}$ and the element ${\displaystyle {}f=x^{3}y^{3}}$. Consider reductions ${\displaystyle {}\mathbb {Z} \rightarrow \mathbb {Z} /(p)}$. Then

${\displaystyle f\in I^{*}{\text{ holds in }}\mathbb {Z} /(p)[x,y,z]/(x^{7}+y^{7}+z^{7}){\text{ for }}p\equiv 3\!\!\!\mod 7}$

and

${\displaystyle f\not \in I^{*}{\text{ holds in }}\mathbb {Z} /(p)[x,y,z]/(x^{7}+y^{7}+z^{7}){\text{ for }}p\equiv 2\!\!\!\mod 7.}$

In particular, the bundle ${\displaystyle {}\operatorname {Syz} {\left(x^{4},y^{4},z^{4}\right)}}$ is semistable in the generic fiber, but not strongly semistable for any reduction ${\displaystyle {}p\equiv 2\!\!\!\mod 7}$. The corresponding torsor is an affine scheme for infinitely many prime reductions and not an affine scheme for infinitely many prime reductions.

In terms of affineness (or local cohomology) of quasiaffine schemes, this example has the following properties: the open subset given by the ideal

${\displaystyle (x,y,z)\subseteq \mathbb {Z} /(p)[x,y,z,s_{1},s_{2},s_{3}]/{\left(x^{7}+y^{7}+z^{7},s_{1}x^{4}+s_{2}y^{4}+s_{3}z^{4}+x^{3}y^{3}\right)}\,}$

has cohomological dimension ${\displaystyle {}1}$ if ${\displaystyle {}p=3\mod 7}$ and has cohomological dimension ${\displaystyle {}0}$ (equivalently, ${\displaystyle D(x,y,z)}$ is an affine scheme) if ${\displaystyle {}p=2\mod 7}$.