2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/69751Let M be a hyperkaehler manifold, not necessarily compact, and $S\cong CP^1$ the set of complex structures induced by the quaternionic action. Trianalytic subvariety of M is a subvariety which is complex analytic with respect to all $I \in CP^1$. We show that for all $I \in S$ outside of a countable set, all compact complex subvarieties $Z \subset (M,I)$ are trianalytic. For M compact, this result was proven in alg-geom/9403006 using Hodge theory.7 pages, a trivial error found and correctedAlgebraic GeometryDifferential Geometrytext