broadcast in Room 515, Cosmology Bldg., NTU, Online seminar
(線上演講 於台大次震宇宙館515教室直播/收播)
On the Isomorphism Problem of Projective Schemes
Takehiko Yasuda (Osaka University)
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.
Join Zoom Meeting:
ZOOM ID:466 356 2952
Password:mcm1234