## Return to Answer

4 added 184 characters in body

I don't understand the questions for the following reason: If the image of $X$ is complemented in $E_1$ then the extension is split. Indeed, if $P$ is a projection of $E_1$ onto the image of $X$ then $1-P$ is a projection onto an isomorph of $Y$ by the open mapping theorem (see e.g. Nicolas Monod's thesis Corollary 4.2.4 for a detailed proof).

First question: If you're asking about a pair of extensions of $Y$ by $X$ with $E_1$ split and $E_2$ non-split, take $X = c_0$ and $Y = \ell^{\infty}/c_0$. Then $E_2: 0 \to X \to \ell^{\infty} \to Y \to 0$ is not split by Phillips' lemma (see Whitley's note in the Monthly for a simple proof), and $E_1: 0 \to X \to X \oplus Y \to Y \to 0$ is split by definition.

Second question: Yes, $(x, y) \mapsto \left(\frac{1}{2}(x+y), \frac{1}{2}(x+y)\right)$ is a projection of $X \oplus X$ onto $\Delta$. I recommend you to prove that this sequence is isomorphic to the obvious extension $0 \to X \to X \oplus X \to X \to 0$ (inclusion into the first summand, projection onto the second).

Two final remarks:

• A very interesting procedure for producing non-split extensions of Banach spaces is the twisted sum construction due to Kalton-Peck (I recently learned about this from Bill Johnson in this thread).

• Basically, you're asking about the Yoneda Exts in the exact category of Banach spaces with the exact structure consisting of all kernel-cokernel pairs. If you're interested in such abstract nonsense, please allow me a bit of self-advertisement.

3 added 27 characters in body

I don't understand the questions for the following reason: If the image of $X$ is complemented in $E_1$ then the extension is split. Indeed, if $P$ is a projection of $E_1$ onto the image of $X$ then $1-P$ is a projection onto an isomorph of $Y$ by the open mapping theorem (see e.g. Nicolas Monod's thesis Corollary 4.2.4 for a detailed proof).

First question: If you're asking about a pair of extensions of $Y$ by $X$ with $E_1$ split and $E_2$ non-split, take $X = c_0$ and $Y = \ell^{\infty}/c_0$. Then $E_2: 0 \to X \to \ell^{\infty} \to Y \to 0$ is not split by Phillips' lemma (see Whitley's note in the Monthly for a simple proof), and $E_1: 0 \to X \to X \times oplus Y \to Y \to 0$ is split by definition.

Second question: yesYes, $(x, y) \to mapsto \left(\frac{1}{2}(x+y), \frac{1}{2}(x+y)\right)$ is a projection of $X \times oplus X$ onto $\Delta$.

Two final remarks:

• a

• A very interesting procedure for producing non-split extensions of Banach spaces is the twisted sum construction due to Kalton-Peck (I recently learned about this from Bill Johnson in this thread).

• Basically, you're asking about the Yoneda Exts in the exact category of Banach spaces with the exact structure consisting of all kernel-cokernel pairs. If you're interested in such abstract nonsense, please allow me a bit of self-advertisement.

Post Undeleted by Theo Buehler
2 added 1013 characters in body; added 1 characters in body

I don't understand the questions for the following reason: if If $X$ is complemented in $E_1$ then the extension is splitfor algebraic reasons: . Indeed, if $P$ is a projection of $E_1$ onto the image of $X$ then $1-P$ is a projection onto an isomorph of $Y$.Y\$ by the open mapping theorem (see e.g. Nicolas Monod's thesis Corollary 4.2.4 for a detailed proof).

First question: If you're asking about a pair of extensions of $Y$ by $X$ with $E_1$ split and $E_2$ non-split, take $X = c_0$ and $Y = \ell^{\infty}/c_0$. Then $0 \to X \to \ell^{\infty} \to Y \to 0$ is not split by Phillips' lemma (see Whitley's note in the Monthly for a simple proof), and $0 \to X \to X \times Y \to Y \to 0$ is split by definition.

Second question: yes, $(x, y) \to \left(\frac{1}{2}(x+y), \frac{1}{2}(x+y)\right)$ is a projection of $X \times X$ onto $\Delta$.

Two final remarks:

• a very interesting procedure for producing non-split extensions of Banach spaces is the twisted sum construction due to Kalton-Peck (I recently learned about this from Bill Johnson in this thread).

• Basically, you're asking about the Yoneda Exts in the exact category of Banach spaces with the exact structure consisting of all kernel-cokernel pairs. If you're interested in such abstract nonsense, please allow me a bit of self-advertisement.

Post Deleted by Theo Buehler
1

I don't understand the questions for the following reason: if $X$ is complemented in $E_1$ then the extension is split for algebraic reasons: if $P$ is a projection of $E_1$ onto the image of $X$ then $1-P$ is a projection onto an isomorph of $Y$.

First question: If you're asking about a pair of extensions of $Y$ by $X$ with $E_1$ split and $E_2$ non-split, take $X = c_0$ and $Y = \ell^{\infty}/c_0$. Then $0 \to X \to \ell^{\infty} \to Y \to 0$ is not split by Phillips' lemma, and $0 \to X \to X \times Y \to Y \to 0$ is split by definition.

Second question: yes, $(x, y) \to \left(\frac{1}{2}(x+y), \frac{1}{2}(x+y)\right)$ is a projection of $X \times X$ onto $\Delta$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 73, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9296639561653137, "perplexity_flag": "head"}