## Are extensions of nuclear Fréchet spaces nuclear?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Consider the category of Fréchet spaces, the morphisms being continuous linear maps with closed image. Suppose that we have a short exact sequence in that category:

$0 \rightarrow V_1 \rightarrow V_2 \rightarrow V_3 \rightarrow 0$.

Of course $V_1$ and $V_3$ are nuclear if $V_2$ is. I recently asked myself if the converse might be true. I haven't found anything useful in the standard literature (Treves, Schaefer) but that might be just me being too ignorant to see the obvious. I'm grateful if someone could shed some light on this.

Cheers,

Ralf

-

2
I suspect that nuclearity of $V_3$ might force the extension to split, because nuclear Fr\'echet spaces have some kind of lifting property... does this sound like it might work? – Yemon Choi Mar 31 2011 at 20:19

2
Yemon, this isn't true. See my comment on Ralf's answer. – Andrew Stacey Apr 1 2011 at 7:34

1
Your "category" isn't a category because morphisms with closed image aren't closed under composition. Indeed, every continuous linear map $f: X \to Y$ is the composition of $X \to X \times Y, x \mapsto (x,f(x))$ which has closed image because the graph is closed by continuity and the projection $X \times Y \to Y$ which also has closed image. You can still speak of short exact sequences by requiring that the left morphism be the kernel of the right morphism and that the right morphism be the cokernel of the left morphism. Google for quasi-abelian categories and exact categories for more on this – Theo Buehler Feb 2 2012 at 17:21
Theo, is the cokernel in the category of Frechet spaces and continuous linear maps really what we want in this case? Don't we want a smaller class of "exact sequences", namely those which are exact as diagrams in Vect? (I guess this is addressed in eg your Expositiones article) – Yemon Choi Feb 2 2012 at 18:10

## 2 Answers

You question was answered even for locally convex spaces by S. Dierolf and W. Roelcke in proposition 3.8 of the article "On the three-space-problem for topological vector spaces". Collect. Math. 32, p. 13-35 (1981).

The splitting theory for Frechet spaces is nowadays very well understood by results of D. Vogt and others. This can be found in my "Derived functors in functional analysis", Springer Lecture Notes in Mathematics 1810 (2003).

-

1
But answered which way? Could you add a brief note at least saying what the answer actually is so that those casually reading this, or those without access to the references, can at least know what the answer is. – Andrew Stacey Feb 1 2012 at 9:28

2
In Ralf's question, $V_2$ is nuclear whenever $V_1$ and $V_3$ are nuclear. This can be reformulated without exact sequences: A locally convex space is nuclear whenever it has a nuclear subspaces such that the corresponding quotient is also nuclear. In Dierolf's and Roelcke's article there many more results of this type as well as many counterexamples. – Jochen Wengenroth Feb 1 2012 at 9:40

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Thank you for the hint, Yemon. You are indeed right. I found the following paper which proves the lifting property that you mentioned: emis.de/journals/PM/55f1/pm55f107.ps.gz The splitting follows from exmaple 3 on p. 96. Thanks again :-)

-
Glad to hear that my vague memory was correct - I wrote the comment not to be cryptic, but because I was in a rush earlier and didn't have time to chase down the references. – Yemon Choi Mar 31 2011 at 22:06

2
Example 3 on p96 says "Each nuclear DF -space has the lift property for the class of Frechet spaces" so it **does not apply. Indeed, here's an example of a short exact sequence of nuclear Frechet spaces that does not split: $L_\flat \mathbb{R} \to L\mathbb{R} \to \mathbb{R}^{\mathbb{N}}$. The middle is smooth loops in R and the left-hand is smooth loops that are infinitely flat at the identity. This does not split, but all are nuclear Frechet spaces. – Andrew Stacey Apr 1 2011 at 7:34
Indeed, I read in the introduction to that paper "Gejler has proved that a nuclear Frechet space has the lifting property for the class of all nuclear Frechet spaces if and only if it is finite dimensional." – Andrew Stacey Apr 1 2011 at 8:00
Thanks for the corrections, Andrew. – Yemon Choi Apr 2 2011 at 4:51
Oh, my bad and a prime example of wishful reading. Thank you for the correction and the counterexample, Andrew. – Ralf Apr 13 2011 at 0:37
{"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": 12, "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.9453005194664001, "perplexity_flag": "middle"}