Tensor algebra explained

In mathematics, the tensor algebra of a vector space V, denoted T(V) or T(V), is the algebra of tensors on V (of any rank) with multiplication being the tensor product. It is the free algebra on V, in the sense of being left adjoint to the forgetful functor from algebras to vector spaces: it is the "most general" algebra containing V, in the sense of the corresponding universal property (see below).

The tensor algebra is important because many other algebras arise as quotient algebras of T(V). These include the exterior algebra, the symmetric algebra, Clifford algebras, the Weyl algebra and universal enveloping algebras.

The tensor algebra also has two coalgebra structures; one simple one, which does not make it a bialgebra, but does lead to the concept of a cofree coalgebra, and a more complicated one, which yields a bialgebra, and can be extended by giving an antipode to create a Hopf algebra structure.

Note: In this article, all algebras are assumed to be unital and associative. The unit is explicitly required to define the coproduct.

Construction

Let V be a vector space over a field K. For any nonnegative integer k, we define the kth tensor power of V to be the tensor product of V with itself k times:

T ^{kV} = V ^{⊗} = V ⊗ V ⊗ … ⊗ V. That is, T^kV consists of all tensors on V of order k. By convention T⁰V is the ground field K (as a one-dimensional vector space over itself).

We then construct T(V) as the direct sum of T^kV for k = 0,1,2,…

T(V) = o plus ^{inf ty} _{k =0} T ^{kV} = K ⊕ V ⊕ (V ⊗ V) ⊕ (V ⊗ V ⊗ V) ⊕ … . The multiplication in T(V) is determined by the canonical isomorphismT ^{kV} ⊗ T ^{\ell} V \to T ^{k} V given by the tensor product, which is then extended by linearity to all of T(V). This multiplication rule implies that the tensor algebra T(V) is naturally a graded algebra with T^kV serving as the grade-k subspace. This grading can be extended to a Z-grading by appending subspaces T ^{k} V = \{ 0 \} for negative integers k.

The construction generalizes in a straightforward manner to the tensor algebra of any module M over a commutative ring. If R is a non-commutative ring, one can still perform the construction for any R-R bimodule M. (It does not work for ordinary R-modules because the iterated tensor products cannot be formed.)

Adjunction and universal property

The tensor algebra is also called the free algebra on the vector space, and is functorial; this means that the map

V\mapsto T(V) extends to linear maps for forming a functor from the category of -vector spaces to the category of associative algebras. Similarly with other free constructions, the functor is left adjoint to the forgetful functor that sends each associative -algebra to its underlying vector space.

Explicitly, the tensor algebra satisfies the following universal property, which formally expresses the statement that it is the most general algebra containing V:

f:V \to A from to an associative algebra over can be uniquely extended to an algebra homomorphism from to as indicated by the following commutative diagram:

Here is the canonical inclusion of into . As for other universal properties, the tensor algebra can be defined as the unique algebra satisfying this property (specifically, it is unique up to a unique isomorphism), but this definition requires to prove that an object satisfying this property exists.

The above universal property implies that is a functor from the category of vector spaces over, to the category of -algebras. This means that any linear map between -vector spaces and extends uniquely to a -algebra homomorphism from to .

Non-commutative polynomials

If V has finite dimension n, another way of looking at the tensor algebra is as the "algebra of polynomials over K in n non-commuting variables". If we take basis vectors for V, those become non-commuting variables (or indeterminates) in T(V), subject to no constraints beyond associativity, the distributive law and K-linearity.

Note that the algebra of polynomials on V is not

T(V) , but rather T(V ^{*)} : a (homogeneous) linear function on V is an element of V ^{*,} for example coordinates x ^{1,...,x} ^{n} on a vector space are covectors, as they take in a vector and give out a scalar (the given coordinate of the vector).

Quotients

Because of the generality of the tensor algebra, many other algebras of interest can be constructed by starting with the tensor algebra and then imposing certain relations on the generators, i.e. by constructing certain quotient algebras of T(V). Examples of this are the exterior algebra, the symmetric algebra, Clifford algebras, the Weyl algebra and universal enveloping algebras.

Coalgebra

The tensor algebra has two different coalgebra structures. One is compatible with the tensor product, and thus can be extended to a bialgebra, and can be further be extended with an antipode to a Hopf algebra structure. The other structure, although simpler, cannot be extended to a bialgebra. The first structure is developed immediately below; the second structure is given in the section on the cofree coalgebra, further down.

The development provided below can be equally well applied to the exterior algebra, using the wedge symbol

\wedge in place of the tensor symbol ⊗ ; a sign must also be kept track of, when permuting elements of the exterior algebra. This correspondence also lasts through the definition of the bialgebra, and on to the definition of a Hopf algebra. That is, the exterior algebra can also be given a Hopf algebra structure.

Similarly, the symmetric algebra can also be given the structure of a Hopf algebra, in exactly the same fashion, by replacing everywhere the tensor product

⊗ by the symmetrized tensor product ⊗ _{Sym} , i.e. that product where v ⊗ _{Sym} w = w ⊗ _{Sym} v.

In each case, this is possible because the alternating product

\wedge and the symmetric product ⊗ _{Sym} obey the required consistency conditions for the definition of a bialgebra and Hopf algebra; this can be explicitly checked in the manner below. Whenever one has a product obeying these consistency conditions, the construction goes through; insofar as such a product gave rise to a quotient space, the quotient space inherits the Hopf algebra structure.

In the language of category theory, one says that there is a functor from the category of -vector spaces to the category of -associative algebras. But there is also a functor taking vector spaces to the category of exterior algebras, and a functor taking vector spaces to symmetric algebras. There is a natural map from to each of these. Verifying that quotienting preserves the Hopf algebra structure is the same as verifying that the maps are indeed natural.

Coproduct

The coalgebra is obtained by defining a coproduct or diagonal operator

\Delta: TV\to TV\boxtimes TV

Here,

TV is used as a short-hand for T(V) to avoid an explosion of parentheses. The \boxtimes symbol is used to denote the "external" tensor product, needed for the definition of a coalgebra. It is being used to distinguish it from the "internal" tensor product ⊗ , which is already being used to denote multiplication in the tensor algebra (see the section Multiplication, below, for further clarification on this issue). In order to avoid confusion between these two symbols, most texts will replace ⊗ by a plain dot, or even drop it altogether, with the understanding that it is implied from context. This then allows the ⊗ symbol to be used in place of the \boxtimes symbol. This is not done below, and the two symbols are used independently and explicitly, so as to show the proper location of each. The result is a bit more verbose, but should be easier to comprehend.

The definition of the operator

\Delta is most easily built up in stages, first by defining it for elements v\in V\subset TV and then by homomorphically extending it to the whole algebra. A suitable choice for the coproduct is then\Delta: v \mapsto v\boxtimes 1 + 1 \boxtimes v and\Delta: 1 \mapsto 1 \boxtimes 1

where

1 \in K = T ^{0V\subset} TV is the unit of the field K . By linearity, one obviously has\Delta(k) = k( 1 \boxtimes 1 ) = k\boxtimes 1=1 \boxtimes k

for all

k\in K. It is straightforward to verify that this definition satisfies the axioms of a coalgebra: that is, that( id _{TV} \boxtimes \Delta) \circ \Delta = (\Delta \boxtimes id _{TV} ) \circ \Delta

where

id _{TV} : x\mapsto x is the identity map on TV . Indeed, one gets(( id _{TV} \boxtimes \Delta) \circ \Delta)(v) = v\boxtimes 1 \boxtimes 1 + 1 \boxtimes v \boxtimes 1 + 1 \boxtimes 1 \boxtimes v and likewise for the other side. At this point, one could invoke a lemma, and say that \Delta extends trivially, by linearity, to all of TV , because TV is a free object and V is a generator of the free algebra, and \Delta is a homomorphism. However, it is insightful to provide explicit expressions. So, for v ⊗ w \in T ^{2V} , one has (by definition) the homomorphism\Delta: v ⊗ w \mapsto \Delta(v) ⊗ \Delta(w) Expanding, one has\begin{align} \Delta (v ⊗ w) & = (v\boxtimes 1 + 1 \boxtimes v) ⊗ (w\boxtimes 1 + 1 \boxtimes w) \\ & = (v ⊗ w) \boxtimes 1 + v\boxtimes w + w\boxtimes v + 1 \boxtimes (v ⊗ w) \end{align}

In the above expansion, there is no need to ever write

1 ⊗ v as this is just plain-old scalar multiplication in the algebra; that is, one trivially has that 1 ⊗ v = 1 ⋅ v = v.

The extension above preserves the algebra grading. That is,

\Delta: T ^{2V} \to o plus ^{2} _{k =0} T ^{kV} \boxtimes T ^{2-k} V

Continuing in this fashion, one can obtain an explicit expression for the coproduct acting on a homogenous element of order m:

\begin{align} \Delta(v _{1 ⊗ … ⊗} v _{m)} & = \Delta(v _{1) ⊗ … ⊗ \Delta(v} _{m)} \\ & = \sum ^{m} _{p =0} \left(v _{1 ⊗} … ⊗ v _{p\right)} \omega \left(v _{p+1} ⊗ … ⊗ v _{m\right)} \ & = \sum ^{m} _{p =0} \sum _{\sigma\inSh(p,m-p)} \left(v _{\sigma(1)} ⊗ ... ⊗ v _{\sigma(p)} \right) \boxtimes \left(v _{\sigma(p+1)} ⊗ ... ⊗ v _{\sigma(m)} \right) \end{align} where the \omega symbol, which should appear as ш, the sha, denotes the shuffle product. This is expressed in the second summation, which is taken over all (p, m − p)-shuffles. The shuffle is\begin{aligned} \operatorname{Sh}(p,q) = \{\sigma:\{ 1 , ... ,p + q\}\to\{ 1 , ... ,p + q\} \mid &\sigma isbijective , \sigma( 1 )<\sigma( 2 )< … < \sigma(p),\\ & and \sigma(p +1 ) <\sigma(p +2 )< … < \sigma(m)\}. \end{aligned}

By convention, one takes that Sh(m,0) and Sh(0,m) equals