1: \begin{abstract}

2: We discuss the isomorphism problem of projective schemes; given two

3: projective schemes, can we algorithmically decide whether they are

4: isomorphic? We give affirmative answers in the case of one-dimensional

5: projective schemes, the case of smooth irreducible varieties with

6: a big canonical sheaf or a big anti-canonical sheaf, and the case

7: of K3 surfaces with a finite automorphism group. As related algorithmic

8: problems, we also discuss decidability of positivity properties of

9: invertible sheaves, and approximation of the nef cone and the pseudo-effective

10: cone.

11: \end{abstract}

12: