Invariant subspaces for compact restrictions Suppose $Y$ is a closed hyperplane in $X$, so we can write $X=Y\oplus[x_0]$. Let $y_n$ be a normalized basis of $Y$. Define an operator $S:Y\to Y\oplus[x_0]$ by $Sy_n=\alpha_ny_n+\beta_nx_0$, for any $n=1,2,\dots$. We can choose $\alpha_n\to 0$ and $\beta_n\to 0$ such that $S$ is compact. Can we find a non-trivial subspace $Z$  of $Y$ such that $S(Z)\subseteq Z$?
Edit: I previously posted a more general question, but I just realized it has a negative answer. This is the concrete example I have.   
 A: If the values $\alpha_n$ are distinct and nonzero and none of the $\beta_n$ is zero, then there is no nontrivial invariant subspace of $Y$. To see this, identify $Y$ with $l^2$, so that $S$ takes the sequence $a = (a_n)$ to $\langle a, \beta\rangle \oplus (\alpha_n a_n) \in {\bf C} \oplus l^2$. Now $Sa \in Y$ if and only if $\langle a,\beta\rangle = 0$, in which case $Sa = 0 \oplus (\alpha_n a_n)$. So we seek a subspace $Z$ of $l^2$ consisting of vectors orthogonal to $\beta$, and which is invariant under multiplication by $\alpha$.
But if $Z$ is invariant under multiplication by $\alpha$, it is also invariant under multiplication by any power of $\alpha$, hence any polynomial in $\alpha$, hence any weak* limit of polynomials in $\alpha$. Assuming the $\alpha_n$ are distinct and nonzero, this means that $Z$ is invariant for all diagonal operators. So $Z$ has to be of the form
$l^2(X) \subseteq l^2$ for some set $X \subseteq {\bf N}$. But then if none of the $\beta_n$ are zero, the only way for every vector in $Z$ to be orthogonal to $\beta$ is for $X$ to be empty. So $Z$ has to be the zero subspace.
A: Consider first a couple of special cases, where there is an obvious choice of $Z:=\operatorname{span}(z)$ with an eigenvctor $z\in Y$.  
I. At least one of the $\beta_n$'s vanishes, say $\beta_{n_0}=0$. Then $z:=y_{n_0}$ is an eigenvector of $S$ on $Y$ .
II. At least two of the $\alpha_n$'s coincide, say $\alpha_{n_0}=\alpha_ {n_1}=\lambda$, for $n_0\neq n_1$. Then some non-trivial linear combination $p\beta_{n_0}+q\beta_{n_1}$ vanishes;  $z:= p y_{n_0}+qy_{n_1}$ is an eigenvector with eigenvalue $\lambda$.
Conversely, if there is such an invariant subspace $Z\subset Y$, then the compact operator $S_{|Z}$ has an eigenvalue $\lambda$ with eigenvector $z:=\sum_{n=1}^\infty c_ny_n\in Y$. This means $$\sum_{n=1}^\infty \alpha_n c_ny_n + \left(\sum_{n=1}^\infty \beta_nc_n\right)x_0=\lambda \sum_{n=1}^\infty c_ny_n\\ ,$$
so $(\alpha_n-\lambda)c_n=0$ for all $n$ and $\sum_{n=1}^\infty \beta_nc_n=0$.  Hence, if only one $c_n$ is non-zero,  we are in case I; if there are at least two non-zero $c_n$, we are in case II.
