I’m going to be using this, and most likely the next post or two to organize my thoughts about a fun little problem I’ve been toying around with.
Recently, I’ve become interested in directly infinite algebras. Gien a field of characteristic zero , these are -algebras which have elements and such that but . Whenever an algebra is directly infinite, one can also say that has a sub-algebra which is isomorphic to the non-unital algebra of infinite matrices with finitely many nonzero entries. One can see this by considering the algebra generated by
This is certainly a sub-algebra of and calculation shows that is a countably infinite set of matrix units, let’s denote the individual matrix units by .
The rest of this post will be devoted to investigating some of the properties of a particularly nice (or not nice if you are a glass half-empty person) example of a directly infinite algebra. This algebra, this algebra, called the “Toeplitz-Jacobson” algebra, was first identified by Jacobson in the 50’s here. In that paper, he investigated properties of elements which are only “one-sided invertible.” Particularly interesting to me is his construction of infinite matrix representations of the generators.
Under these mappings, may be embedded in the row and column finite matrix algebra, via the mapping where denotes the -algebra of infinite matrices indexed by where each row and column has finitely many nonzero entries. Note that, if one were to v isualize these matrices as operators on an infinite dimensional vector space with ordered basis , and can be visualized as the shift operators on . It’s due to this property that the Toeplitz-Jacobson algebra gains the former of its names. The Toeplitz algebra from functional analysis is merely the completion (in the appropriate norm) of the algebra (where is taken to be .
The set of matrix units then takes on a very important role in this embedding. The map sends the set of matrix units of , , to , the set of matrix units of . Moreover, is a minimal ideal of whose embedding in consists of the set of infinite matrices with only finitely many nonzero entries, which will be denoted by (we’ll abuse notation a bit and also denote the subalgebra generated by the ‘s in by also.
This ability to create an infinite set of matrix units is one of the charms of directly infinite algebras. Since is an infinite set of orthogonal idempotents, the Toeplitz-Jacobson algebra fails many of the finiteness properties. Because one can create a family of ideals
which increases without bound, (as well as any directly infinite algebra) fails to be Noetherian, and thus also fails to be Artinian.
The Toeplitz-Jacobson algebra occupies an interesting space in the realm of module decompositions. Because it has a quotient isomorphic to a commutative ring (, the algebra of Laurent polynomials), it has invariant basis number, namely if then $n = m$. Thus it cannot be broken up into some number of copies of itself. However, it may be decomposed into a copy of itself and another -module. Note that since , there is a left -module isomorphism between and . Then a simple argument shows that , where denotes the left annihilator of the element . The isomorophism between $A$ and $Ax$ then implies that
for some nonzero left -module . As with previous results, this is a consequence of the failure of to be directly finite rather than a consequence of any specific property of the Toeplitz-Jacobson algebra. This decomposition property is the reason that the Toeplitz-Jacobson algebra seems to spin out of control of many particularly nice properties. It can “bud off” these submodules which gives it just enough room to run away.
This exposition is by no means a complete narrative of all the properties of the Toeplitz-Jacobson algebra. For example, I left out much of the rich representation theory investigated by Iovanov and Sistko in their paper (as well as many others), and it also fails to mention its importance in the theory of Leavitt path algebras. However, these properties are the ones that come first to mind mind when I think of directly infinite algebras generally and the Toeplitz-Jacobson algebra specifically in a research context.
In the next post we’ll talk about automorphisms of this algebra.