Time: 15h15, Friday, April 30, 2021

Session Chairs: Prof. Baohua Fu (MCM) and Prof. Yusuke Nakamura(University of Tokyo)

Join Zoom Meeting:

ZOOM ID：466 356 2952

Password：mcm1234

https://zoom.com.cn/j/4663562952?pwd=MytDVU9tUlg5LzFHNHRHZmFMZ0JaUT09

Abstract: I will talk about the isomorphism problem of projective schemes; is it algorithmically decidable whether or not two given projective (or, more generally, quasi-projective) schemes, say over an algebraic closure of Q, are isomorphic? I will explain that it is indeed decidable for the following classes of schemes: (1) one-dimensional projective schemes, (2) one-dimensional reduced quasi-projective schemes, (3) smooth projective varieties with either the canonical divisor or the anti-canonical divisor being big, and (4) K3 surfaces with finite automorphism group. Our main strategy is to compute Iso schemes for finitely many Hilbert polynomials. I will also discuss related decidability problems concerning positivity properties (such as ample, nef and big) of line bundles.

For general information of the AGEA seminar, please check out

https://sites.google.com/ncts.ntu.edu.tw/agea-seminar

or the mirror site

http://www.math.ntu.edu.tw/~jkchen/agea-seminar.html