Миш,

а что ты думаешь про всю это теор-модельную активность, напр.
вот тут короткий обзор в американских мать-заметках.

Например, для геометра следуещее утверждение интересно или очевидно или ?
(3-я страница файла)

If X is a simple complex manifold, then

I. X is a projective curve, or
II. X is modular: whenever Y is a compact
complex manifold with dim Y > 0, and
A ⊆ Y × X 2 is an analytic subset whose
generic fibres over Y are distinct proper
infinite irreducible analytic subsets of X 2
that project onto each coordinate, then Y
is simple.

If X is modular, then

I. X is in generically finite-to-finite corre-
spondence with a complex torus, or
II. X is relationally trivial: if A ⊆ X n is an irre-
ducible analytic subset that projects onto
X in each coordinate, and if {π1 , . . . , πl }
is an enumeration of all the coordinate
projections from X n to X 2 , then A is an
irreducible component of