EDIT: There seem to be some problems with the
The argument below, especially the case of K3 surfaces. I will try to post a correct version later.
I want to argue that in the case in which XI had is flawed and Y are surfaces that are not ruled, then you can decide if they are isomorphic or not.
Computationally you can decide if the surfaces are rational (P_2=q=0) or ruled (P_{12}=0). I will ignore these cases, even though it might be possible do not know how to decide them; in any case, you can easily determine the birational isomorphism class of X and Yfix it.
Compute the Kodaira dimension Here is a short description of the surfaces by computing the image under the linear system |12K|one part that I cannot address. If the surfaces are of general type, then we We are more or less done since any isomorphism must come from a linear isomorphism of the ambient projective space under the "embedding" given by |5K|. If the Kodaira dimension is one, then you essentially reduce to computing the base curve of the elliptic fibration and the corresponding morphism to the j-line: this information seems to be pretty computable!
If the Kodaira dimension is zero, then you look for exceptional curves on your surfaces (using Hilbert schemes) and contract them, until $K^2=0$. The final surfaces will be one of Enriques, bielliptic, Abelian and two polarized K3 surfaces ; these classes are easily discernible by $p_g$ and q. Note that replacing X and Y by their minimal models in these cases does not affect the computability of an isomorphismdegrees x and y respectively. (This reduction may not be needed, but it makes me feel safer; note also It is clear that you can probably do this more efficiently by looking for effective divisors in (multiples of) the anticanonical divisor.)
Enriques surfaces seem to be decidable since their ample bundles do not vary, so you we can get them all in the same projective space check if X and reduce the isomorphism to an ambient linear isomorphism.
Bielliptic surfaces roughly reduce to the case of curves.
Abelian Y are isomorphic as polarized surfacescorrespond , but we would like to genus two curves and check if they are therefore again recognizableisomorphic as surfaces.
Finally If we get to the interesting case: K3 surfaces! (Recall though could prove that we left out rational surfaces.)
Determine very ample line bundles $A_X$ there were finitely many polarizations on X having degree y and $A_Y$ on Ythis finite set were computable, then we would be done. Just to Unfortunately, there could be infinitely many such polarizations on the safe side, decide if the two embeddings for X and Y that you obtain are not the "same"! Assume they are not the same.
Here is where the real meat of
For Abelian surfaces the argument situation is (and where I might have made my most serious mistake). Find models of X and Y over slightly better, since the same finite extension number of Q and find polarisations with a prime p that given degree is finite (by a theorem of good non-supersingular reduction for both X and YNarasimhan and reduce them modulo pNori). Using the known Tate-conjecture in this case we can compute the (geometric) Picard lattices (up to tensoring with Q) of the reductions by looking for new divisors until we To find enough whose intersection matrix has the appropriate rank. We can establish polarisations on an isomorphism of the corresponding rational vector spaces with intersection formAbelian variety A, find a vector in this vector space that one possibility is represented by an effective divisor in both surfaces and has positive square. The image under such a line bundle of the two surfaces will allow us to find an isomorphism between compute the two sufaces in positive characteristic. The outcome orbits of all this is that now we can find out what lattice do the two ample line bundles $A_X$ and $A_Y$ we started with on X and Y span in their respective Picard groups: it is the lattice spanned by their images in the Picard automorphism group of the reduction!
So now we go back to our surfaces X and Y and their ample line bundles $A_X$ and $A_Y$. We know the degree and A on the genus Neron-Severi group of the ample line bundle A. While this could be difficult over $A_Y$ of Y under the embedding of X given \overline{\mathbb{Q}}$, it might be replaced by $A_Y$, and we look for such a divisor in the Hilbert scheme: there will be finitely many possibilities. We check all similar statement modulo a prime of them and we conclude!
I hope that the above is correctgood reduction, or where at least that it is recoverable Picard numbers can be computed by the Tate conjecture. Also in this case, I do not know if it isn'tthere are further problems with this approach.
I believe that this kills completely my previous post!
