Infinite-dimensional complex projective spaces and complete intersections
Let be an infinite-dimensional complex Banach space and a closed analytic subset with finite codimension. We give a condition on which implies that is a complete intersection. We conjecture that the result should be true for more general topological vector spaces.