One-sided ideals of the non-commutative Schwartz space

We show that maximal one-sided ideals of the non-commutative Schwartz space are closed. We also characterize all closed one-sided ideals of this algebra. As a result, all maximal left ideals are fixed.


Introduction
The problem of characterizing ideals of a given topological algebra belongs to classical ones and there is vast literature devoted to it. The aim of this paper is to address this problem in the case of one particular lmc Fréchet * -algebra, the so-called noncommutative Schwartz space. This object has received reasonable attention recently, mostly due to Ciaś-see [3], Domański-see [7] and the author-see [21,22]. This paper is a continuation of the previous work. The motivation for the investigation of the non-commutative Schwartz space-which we will denote from now on by Scomes from several directions. First, it has several, natural function (and sequence) space representations, for instance S is isomorphic (as a topological vector space) Communicated  to the space C ∞ (M) of smooth functions on a compact smooth manifold M or to the Schwartz space S(R) of test functions for tempered distributions (again as a tvs). This last isomorphism justifies also the name for S (the other name algebra of smooth operators-used e.g. by Ciaś-comes from the first-mentioned isomorphism). This links our object with the structure theory of Fréchet spaces, especially with questions concerning nuclearity or splitting of short exact sequences-see [17,Part IV]. This algebra appears also in the context of K-theory-see [4,20] or in the context of cyclic cohomology for crossed products-see [12,23]. Another interesting motivation comes from the theory of operator spaces and its locally convex analogues-see [10,11]. The non-commutative Schwartz space plays also a role in quantum mechanics, where it is called the space of physical states and its dual is the so-called space of observablessee [8] for details. This algebra shares also some nice features with C * -algebras, e.g. it admits a Hölder functional calculus-see [3,Th. 5.2] and all positive functionals as well as all derivations are automatically continuous-see [21,Ths. 11,13]. On the other hand it causes some technical difficulties, e.g. it has neither a bounded approximate identity-see [21,Prop. 2] nor is it a locally C * -algebra-see [13,Ths. 8.2,8.3].
The paper is divided into four parts. The next section contains basic notation and terminology. The remaining two sections contain our main results. They are devoted only to one-sided ideals since S is topologically simple, i.e. there are no non-trivial closed two-sided ideals-see [21,Th. 4]. In the third Section we show that all maximal one-sided ideals of S are closed-see Theorem 5. In the last Section we characterize all closed one-sided ideals of S-see Theorem 7. As a consequence, we obtain that a left ideal of the non-commutative Schwartz space is maximal if and only if it is fixed-see Corollary 8.
For unexplained details we refer the reader to [17] in the case of the structure theory of Fréchet spaces and to [5] in the case of the 'algebraic-in-flavour' aspects of the paper.
The author is very indebted to Tomasz Kania for many valuable comments and discussions and to David Blecher for pointing out the reference [9].

Notation and terminology
Throughout the paper we denote N := {1, 2, 3, . . .} and N 0 := N ∪ {0}. Recall that by we denote the space of rapidly decreasing sequences. This space becomes Fréchet when endowed with the above defined sequence (| · | k ) k∈N 0 of norms. The basis (U k ) k∈N 0 of zero neighbourhoods of s is defined by U k := {ξ ∈ s : |ξ | k ≤ 1}. This space is topologically isomorphic to several spaces of functions, e.g. the space C ∞ (M) of smooth functions on any smooth, compact manifold M or the Schwartz space of rapidly decreasing functions S(R)-see [17,Example 29.5(2), (4)]. It is also present in the structure theory of (nuclear) Fréchet spaces as well as in the theory of splitting of short exact sequences of Fréchet spaces-see [17,25,Ch. 30]. The topological dual of s is If we now endow the space S := L(s , s) of linear and continuous operators from the dual of s into s with the topology of uniform convergence on bounded sets then it becomes a Fréchet space with the sequence ( · n ) n∈N 0 of norms given by It is fairly easy to observe that the identity map ι : s →s is a continuous embedding which allows us to endow the space S with the multiplication defined by This multiplication is easily seen to be separately continuous therefore by [26,Th. 1.5] it is also jointly continuous. If we define the duality bracket between s and s by then our algebra can also be given an involution map defined by With these operations S becomes a locally multiplicatively convex (lmc for short) Fréchet * -algebra and this will be the main object of the paper. It has several representations as the lmc Fréchet * -algebra-see e.g. [7, Th. 1.1]. Of particular interest for us will be the * -algebra isomorphism S K ∞ , where is the lmc Fréchet * -algebra endowed with the topology defined by the sequence of norms ( · n ) n∈N 0 , multiplication of matrices and the 'star' operation being the matrix conjugate transpose. It turns out that we also have the isomorphism S s-this time, however, as Fréchet spaces. Note that any reasonable multiplication (e.g. pointwise) on the sequence space s makes it into a commutative algebra while S is highly noncommutative. Thus, as a Fréchet space, S can be thought of as the space of smooth functions or the Schwartz space of rapidly decreasing functions. On the other hand, if we endow s with the pointwise multiplication and involution being the coordinatewise complex conjugation then we get a * -isomorphism (onto its range) D : s → S sending a sequence a = (a j ) into a diagonal operator D a := diag(a j ) j . The above-mentioned Fréchet space isomorphism S s justifies the name non-commutative Schwartz space which we will be using throughout the paper.
The isomorphism S K ∞ shows that our algebra can be thought of as an algebra of matrices. Moreover the zeroth norm in S is just the C * -algebra norm in B( 2 ) and so we obtain a continuous inclusion map S →B( 2 ). In fact we even have S →K ( 2 ) since every element of S is a compact operator on 2 . The above inclusions have several consequences. Among them we point out that the non-commutative Schwartz space does not have a unit and so by S 1 we denote its unitization. This unit is in fact the identity map on 2 therefore we still have This equality shows in particular that an element x ∈ S is positive in S if and only if it is positive as an operator on 2 . Consequently, the order structure, multiplication and the 'star' operation in S and S 1 are inherited from the C * -algebra B( 2 ). Furthermore, the space of self-adjoint elements of S, denoted by S sa is a real Fréchet space and the set S + of positive elements is a convex cone in S. Moreover by [7, Cor. 2.4] S 1 is a Q-algebra and by [13,Ths. 8.2,8.3] the topology of both S and S 1 cannot be given by a sequence of C * -norms. It has also been shown recently in [3] that S as well as S 1 admit a functional calculus for normal elements. Its description is a bit technical nevertheless we can work with the Hölder functions which vanish at 0. In particular we can take roots of positive elements. To obtain this functional calculus one has to apply a purely Fréchet space property (called (DN )) which holds trivially in Banach spaces-see [3, Th. 5.2] for details.

Closedness of maximal one-sided ideals
In this Section we prove that all maximal one-sided ideals of the non-commutative Schwartz space are closed. Recall that one-sided ideals are in fact all ideals one can consider since by [21,Th. 4] S is topologically simple, i.e. there are no non-trivial two-sided ideals. We will show in fact a stronger property, namely that null sequences in S factor, i.e. for every sequence (x n ) n∈N ⊂ S tending to 0 there is a single element a ∈ S and another sequence (y n ) n∈N ⊂ S also tending to zero such that x n = ay n for all n ∈ N. This property may also be defined for algebra modules-see [5, Def. 2.6.11]-however we will not need this general setting here. It turns out that if null sequences in a Banach algebra factor then maximal right ideals are closed-see [14,Th. 3] (cf. also [5,Prop. 2.6.13]). However the proof of this result carries over onto Fréchet lmc algebras. If the algebra is involutive, this applies also to maximal left ideals. We state this result explicitly.

Theorem 1 If null sequences in a Fréchet lmc * -algebra factor then all maximal one-sided ideals are closed.
In order to prove that null sequences in S factor we cannot follow the Banach-algebra proof of Varopoulos, who proved in [24] that if a Banach algebra admits a bounded approximate identity then null sequences in this algebra factor. Instead we will rely on [1] and [9]. Our proof will be divided into several steps. We start by defining αadditive ordered Fréchet spaces (we restrict ourselves to the Fréchet-space setting but this definition can mutatis mutandis be extended onto arbitrary lcs). By an ordered locally convex space we mean a real lcs partially ordered by a closed convex cone of positive elements. Our definition is slightly different from the one used e.g. by Asimov in the setting of Banach spaces-see [1, p. 118]. While the dual to a Banach space is still a Banach space (with the dual order if the initial space was ordered), this is no longer true for Fréchet spaces (these are called (DF)-spaces which are not metrizable in general). Therefore we think such a slight change is reasonable. Of course for Banach ordered spaces (which are by definition also Fréchet spaces) we get two different notions of α-additiveness. The relation between these notions for an arbitrary ordered Banach space X is that it is α-additive in our sense if and only if the dual ordered Banach space X (with the dual order) is α-additive in the sense used by Asimov.

Definition 2
Let α 0. An ordered Fréchet space X is α-additive if for any p ∈ N there exists q ∈ N such that for any n ∈ N and an arbitrary choice of n positive functionals φ 1 , . . . , φ n ∈ X we have that Proposition 3 S sa is π 2 6 -additive. Proof We will be using in the proof the representation S K ∞ with the ∞ -norms of the matrices that is Consequently, the dual norms in S are given by the formulae By Cauchy-Schwarz this leads to For arbitrary positive functionals φ 1 , . . . , φ n this gives We have thus shown that for any k ∈ N 0 , n ∈ N and arbitrary choice of positive This proves that S sa is π 2 6 -additive. The next step is to show that S sa is quasi-directed. An ordered locally convex space is (see [9]) quasi-directed if for any neighbourhood U of zero there is another neighbourhood V of zero such that every finite subset of V is majorized by some element of U . We will now prove that the ordered self-adjoint part of the non-commutative Schwartz space is quasi-directed. The idea of proof comes from the proof of [1, Th. 1.1]. However at some point we will have to modify it in order to adapt it to the Fréchet-space setting.

Proposition 4 S sa is quasi-directed.
Proof Let α = π 2 6 and fix n ∈ N. Following Asimov we denote by S (n) sa the n-fold Cartesian product of S sa with itself. The topology in this Fréchet space is given by the basis (U (2) Now we modify the proof of Asimov. Let x (n) ∈ U (n) k+1 . By (2) there is z k+2 . Proceeding recursively we will find sequences (y It is now easy to show that y The above argument was independent of the choice of n ∈ N which means that for any k ∈ N 0 , n ∈ N and for arbitrary self-adjoint x 1 , . . . , x n ∈ U k+1 there is z ∈ 2αU k such that x j ≤ z for all j = 1, . . . , n. Since (U k ) k is a basis of zero neighbourhoods this implies that S sa is quasi-directed.
Now we are ready to prove the following result.
Theorem 5 Null sequences in the non-commutative Schwartz space factor. Consequently, all maximal one-sided ideals of S are closed.
Proof Let (x n ) n∈N be a null sequence in S. By [21,Lemmata 8 and 12] we have where a k,∞ = sup{|a i j |(i j) k : i, j ∈ N} for a ∈ S. This implies that the sequences (y n ) n∈N ∈ S and (z n ) n∈N ∈ S + , z n := (x n x * n ) i.e. z n ≤ z for all n ∈ N. Now we apply [21,Lemma 12] to the pairs (z, z n ) and we obtain a decomposition Consequently, x n = z n y n = z

Description of closed one-sided ideals
The description we are going to provide is analogous to the characterization of closed one-sided ideals of the algebra of compact (or nuclear) operators on a Hilbert space -see [16,Th. (III. 2.5)]. The proof of this result relies strongly on the fact that every closed subspace in a Hilbert space is complemented which is not the case for the Schwartz space. Therefore we choose to adapt the proof of [15,Prop. 7.3]. The general idea is the same however in several points we have to appeal to the fact that we are dealing precisely with the Schwartz space instead of just a Banach space with the approximation property (which is the case in [15]). Recall for convenience that In particular the zeroth norm · 0 is just the 2 -norm of a rapidly decreasing sequence and we can compute the inner product ·, · of two vectors in s. In this case this inner product is in fact given by the duality (1). The definition below which we start with goes back to Grønbaek's paper. Let F be a closed subspace in s and let I be a closed left ideal of S. We define Remark It can be easily observed that (F) is a closed left ideal of S. Moreover, (I ) is a closed subspace of s. Indeed, take any non-zero ζ ∈ s and let η ∈ (I ). By definition there is some non-zero element ξ ∈ s such that ξ ⊗ η ∈ I . Since I is a left ideal we get Let now η n → η, (η n ) n∈N ⊂ (I ). For arbitrary ξ ∈ s we have since I is closed. Consequently, η ∈ (I ).

Proposition 6 Let F be a closed subspace in s and let I be a closed left ideal of S. Then
Proof (i) The inclusion '⊃' is clear. To show the other one choose x ∈ I and for every n ∈ N define u n := I n 0 0 0 , where I n is the n × n identity map. Then for all n ∈ N we have u n x ∈ I and dim im u n x < +∞. We may suppose that u n x = m n j=1 ξ j ⊗ η j , ξ j , η j ∈ s, j = 1, . . . , m n (4) and the vectors (ξ j ) j are linearly independent. By the Gram-Schmidt orthogonalization we obtain orthogonal vectors e 1 , . . . , e m n ∈ 2 satisfying ξ m n , e m n = 0 and ξ j , e m n = 0 ( j = 1, . . . , m n − 1).
But e j 's are linear combinations of ξ j 's therefore (e j ) m n j=1 ⊂ s. By (5) this leads to ξ m n ⊗ η m n = 1 ξ m n , e m n (ξ m n ⊗ e m n )u n x ∈ I.
Consequently, u n x ∈ ( (I )) for all n ∈ N. By [21, Prop. 2] (u n ) n∈N is a sequential approximate identity therefore x ∈ ( (I )) and the desired equality follows.
(ii) This time the inclusion '⊂' is clear. Let now η ∈ ( (F)) and take ξ = 0 such that ξ ⊗ η ∈ (F). By definition Let ζ := 1 ξ 2 0 and define η n := m n j=1 ξ n j , ζ η n j . Then each η n ∈ F and (ξ ⊗ ζ )x n = ξ ⊗ η n . This implies that Consequently, for every k ∈ N 0 we have Therefore η ∈ F and the proof is thereby complete. there is E ⊂ s such that I * = {x * : x * | E ≡ 0}. Using now the duality (1) it is easy to obtain the desired conclusion.
For maximal left ideals the above characterization may be rephrased in the language of fixed ideals. Following [6] a fixed ideal is a left ideal I of the form I = I ξ := {x ∈ S : x(ξ ) = 0} (ξ ∈ s \{0}).

Corollary 8 A left ideal of the non-commutative Schwartz space is maximal if and only if it is fixed.
Proof If I is a maximal left ideal then by Theorem 5 it is closed. Therefore by Theorem 7(i) I = {x ∈ S : x| E ≡ 0} for some closed subspace E ⊂ s . Maximality of I gives now dim E = 1. On the other hand every fixed ideal is maximal. Indeed, let I ξ be a fixed ideal and take y ∈ S with 0 = y(ξ ) ∈ s. This means that y(ξ ), e j for some coordinate functional e j : s → C, e j (η) := η j . But such a functional is easily seen to be a rapidly decreasing sequence therefore there exists μ ∈ s such that y(ξ ), μ = 1. For any n ∈ N denote ξ n : = (ξ 1 , . . . , ξ n , 0, 0, . . .). Then (u n − (ξ n ⊗ μ)y)(ξ ) = 0. Thus u n − (ξ n ⊗ μ)y ∈ I ξ and, consequently, u n = u n − (ξ n ⊗ μ)y + (ξ n ⊗ μ)y ∈ I ξ ∪ {y} (n ∈ N).
Since (u n ) n∈N ⊂ S is an approximate identity, we arrive at S = I ξ ∪ {y} and the proof is complete.