ACM sheaves of pure rank two on reducible hyperquadrics (Q1682034)

Let $X \subset \mathbb{P}^N$ be a projective scheme, together with a very ample line bundle $\mathcal O_X(1)$. A coherent sheaf $\mathcal E$ on $X$ is called arithmetically Cohen-Macaulay (aCM for short) when it is locally Cohen-Macaulay and $H^i(X, \mathcal E(t)) = 0$ for all $t \in \mathbb{Z}$ and $0<i<\dim X$. The study of aCM sheaves has been stimulated due to its several connections, for instance, between the algebraic context, or the Horrocks' theorem. \par The paper under review concerns the structure and the classification of aCM sheaves of rank up to two on a reducible and reduced quadric hypersurface $X_n = H_1 \cup H_2 \subset \mathbb{P}^{n+1}$ of dimension $n$, where $H_1 , H_2$ are distinct hyperplanes. The $n=1$ case is already completely understood [\textit{Y. A. Drozd} and \textit{G.-M. Greuel}, J. Algebra 246, No. 1, 1--54 (2001; Zbl. 1065.14041); \textit{D. Eisenbud}, \textit{F.-O. Schreyer}, and \textit{J. Weyman}, J. Amer. Math. Soc. 16, No. 3, 537--579 (2003; Zbl. 1069.14019)]. The $n=2$ case is the main object of the paper, so that $X=X_2$ is a union of two distinct planes $H_1, H_2 \subset \mathbb{P}^3 $ intersecting at a line $L$. The authors prove the structure theorem of aCM sheaves of pure rank $1$ and $2$, see Theorem 1.1(= Proposition 3.10) and Theorem 1.2 (= Proposition 3.12, Lemma 5.2, Proposition 5.3 and 5.4). The key ingredient is a kernel sheaf, which appears naturally while comparing the restrictions of a vector bundle $\mathcal E$ over $X$ onto $H_1, H_2$ and the short exact sequence \[ 0 \to \mathcal E \to \mathcal E|_{H_1} \oplus \mathcal E|_{H_2} \to \mathcal E_L \to 0 \] (see Definition 3.5 and the discussion above). Finally, when $n \ge 3$, the authors show that there is no indecomposable aCM bundles of rank $2$ on $X_n$ (Theorem 1.4).