This post is devoted to determining the set of automorphisms of the Toeplitz-Jacobson -algebra
There are two general approaches to finding the automorphisms of these algebras. One could take the “outside-in” approach and look for bijective endomorphisms of . This might be an interesting approach since one can, in theory, leverage the decomposition of the regular module
and use the fact that as a -algebra to show that
This approach, however, has two significant drawbacks. The first is that we still need to classify the invertible endomorphisms of , and then we now must classify the invertible endomorphisms, .
This leaves the “inside-out approach” inspired by this paper of Courtemanche and Dugas. It is easiest to fix an embedding of the Toeplitz-Jacobson algebra into the row and column matrices; specifically, I’ll be using the embedding from my last post here. The inside-out approach depends on the fact that the algebra (the infinite matrix algebra with only finitely many nonzero entries) is a faithful ideal of the algebra .
Definition: An ideal is called faithful if whenever there is some element such that or then . In other words, is faithful if it is faithful as a left and a right module.
This can be seen to be a strengthening of an essential ideal, that is, an ideal which has nontrivial intersection with any other nonzero ideal. In the theory of C*-algebras, which inspires much of my current research, these two are indistinguishable, but it is not hard to see that the principal ideal of is an essential ideal without being faithful.
What does being faithful give us? For one, it allows the ideal to control much of the structure of its ambient algebra; faithfulness is to algebras as density is to analysis. If we can show that something must be true on a faithful ideal, then it must be true in the algebra itself. The classification of automorphisms is a perfect example.
Recall that is the unique minimal ideal of the Toeplitz-Jacobson algebra . Moreover, it is a faithful ideal since for every nonzero element , there is some , such that .
To see an example of the power of a faithful ideal isomorphic to we finish this post with the following result. Recall that denotes the -algebra of infinite matrices (indexed by )
Lemma: Suppose that the algebra has an ideal which is isomorphic to , and let denote that composition of the embedding which takes and maps it to with the isomorphism and be the standard inclusion map of the ideal into . Then there exists a unique algebra homomorphism which makes the following diagram commute.
Furthermore is injective if, and only if, is a faithful ideal of .
Let denote the matrix units which generate as a indeal of . Define by where is the matrix whose entries are defined (note also that ). Because any decomposition of an algebra by a complete set of orthogonal idempotents is a direct sum, it is simple to show that for any . Commutativity of the diagram is similarly straightforward. So all that remains to show is uniqueness. Suppose that there exists some which also completes the commutative diagram. Consider for all choices of , the entry of . Then . Because the entry of is equal to the entry of , it follows that . This completes the proof of the first statement.
Now suppose that is injective, but that is not a faithful ideal. Then there is some nonzero such that or . In this case , contradicting the injectivity of . Now suppose that is faithful. If were not injective, then there would be some nonzero such that for all . In particular this means that and . By noting that , one has that . Thus is a nonzero element of such that and , contradicting that is faithful.
The presence of a faithful ideal isomorphic to allows us to create a unique matrix embedding of a countable dimensional algebra. This allows us to work within the algebra of row and column finite matrices to analyze the automorphisms. Tune in next time for that proof.