Abstract: Essential-categoricity; i.e., -categoricity in some full countable language, is shown to be a robust notion for strongly minimal compact complex manifolds. Characterisations of triviality and essential -categoricity are given in terms of complex-analytic automorphisms in the simply connected case and correspondences in general. As a consequence, we point out that an example of McMullen yields a strongly minimal compact Kähler manifold with trivial geometry but which is not -categorical, giving a counterexample to a conjecture of the second author and Tom Scanlon.
1.Frédéric
Campana, Images directes de cycles compacts par un morphisme et
application à l’espace des cycles des tores, Functions of
several complex variables, IV (Sem. François Norguet,
1977–1979) (French), Lecture Notes in Math., vol. 807,
Springer, Berlin, 1980, pp. 25–65 (French). MR 592785
(82i:32056)
8.Anand
Pillay, Model theory and stability theory, with applications in
differential algebra and algebraic geometry, Model theory with
applications to algebra and analysis. Vol. 1, London Math. Soc. Lecture
Note Ser., vol. 349, Cambridge Univ. Press, Cambridge, 2008,
pp. 1–23. MR 2441372
(2009g:03056), http://dx.doi.org/10.1017/CBO9780511735226.002
11.Boris
Zilber, Zariski geometries, London Mathematical Society
Lecture Note Series, vol. 360, Cambridge University Press, Cambridge,
2010. Geometry from the logician’s point of view. MR 2606195
(2012b:03001)