Теоремата на Чао (Chow) гласи точно това. Има я доказана в книгата дето споменах по-горе. В част от доказателството се ползва теоремата за proper mapping. (Как се превежда това?) Ето и самата:

Remmert's Proper Mapping Theorem:
Let U and N be complex manifolds, M in U an analytic subvariety, and f : U -> N a holomorphic mapping, whose restriction to M is proper. Then the image f(M) is an analytic subvariety of N.

Хм, комплексният анализ има своите приятни изненади, няма спор :) Колкото до Галоа кохомологията- това е кохомологична теория на групи, която в подходяща обстановка давала аритметична информация... пълна каша е в моите очи засега обаче ...

Tout est bien qui finit bien ...

Ааа. Уайлз не беше ли пресмятал нещо с такива кохАмАлогии?
А като си помисля как едно време от думичката кохомология ми настръхваха косите....
Имаш ли книги специално по елиптични криви? Но да ти кажа понякога просто бих те посъветвал да се поразровиш из статиите, където е дефинирано понятието.
Абе успех. Удоволствието често е в търсенето.