For this algebra, we will denote the maximal ideals corresponding to evaluation of a diagonal entry at zero, by
${\phi}_{0,m}$
where the
$m$
corresponds with the diagonal entry which is evaluated at zero.
Corollary 2.
The algebra
$A\left({\mathcal{C}}_{n}\right)$
is semisimple.

Proof.
Assume that
${\phi}_{\lambda}\left(a\right)=0$
for all
$0<\left\lambda \right<1$
. Then in particular.
${f}_{i,j}\left({\lambda}^{n}\right)=0$
for all
$0<\left\lambda \right<1$
. But since
${f}_{i,j}$
is analytic in
$\mathbb{D}$
, if
${f}_{i,j}=0$
on a set containing a limit point then
${f}_{i,j}\equiv 0$
. The result now follows.
$\u25a0$
Another approach, and a more general approach, to the semisimplicity result for graph algebras is given in [
4]
, [
9]
and alternatively for semicrossed products in [
12]
.
Proposition 6.
Let
$n\ge 2$
, then there does not exist a nontrivial point derivation of
$A\left({\mathcal{C}}_{n}\right)$
at
${\phi}_{0,j}$
for all
$1\le j\le n$

Proof.
Notice that since the range of
${\phi}_{0,j}$
is
$\mathbb{C}$
we need not worry about inner derivations. Now let
$D:A\left({\mathcal{C}}_{n}\right)\to \mathbb{C}$
be a point derivation for
${\phi}_{0,j}$
. Further, since the range of
${\phi}_{0,j}$
is
$\mathbb{C}$
we know that
$A\left({\mathcal{C}}_{n}\right)\sim =\mathbb{C}\oplus ker{\phi}_{0,j}$
as vector spaces.
Without loss of generality we will assume that
$j=1$
. Then
$$ker\left({\phi}_{0,j}\right)=\left\{\left[\begin{array}{ccccc}{z}^{n}{f}_{1,1}\left({z}^{n}\right)& z{f}_{1,2}\left({z}^{n}\right)& {z}^{2}{f}_{1,3}\left({z}^{n}\right)& \cdot \cdot \cdot & {z}^{n1}{f}_{1,n}\left({z}^{n}\right)\\ {z}^{n1}{f}_{2,1}\left({z}^{n}\right)& {f}_{2,2}\left({z}^{n}\right)& z{f}_{2,3}\left({z}^{n}\right)& \cdot \cdot \cdot & {z}^{n2}{f}_{2,n}\left({z}^{n}\right)\\ {z}^{n2}{f}_{3,1}\left({z}^{n}\right)& {z}^{n1}{f}_{3,2}\left({z}^{n}\right)& {f}_{3,3}\left({z}^{n}\right)& \cdot \cdot \cdot & {z}^{n3}{f}_{3,n}\left({z}^{n}\right)\\ ...& ...& ...& ...& ...\\ z{f}_{n,1}\left({z}^{n}\right)& {z}^{2}{f}_{n,2}\left({z}^{n}\right)& {z}^{3}{f}_{n,3}\left({z}^{n}\right)& \cdot \cdot \cdot & {f}_{n,n}\left({z}^{n}\right)\end{array}\right]\right\}$$
where
${f}_{i,j}\in A(\mathbb{D})$
for all
$i,j$
. A short calculation shows that
$(ker({\phi}_{0,1}){)}^{2}=ker({\phi}_{0,1})$
and hence any derivation must send
$ker\left({\phi}_{0,1}\right)$
identically to zero. The result now follows, since any derivation must also send the copy of
$\mathbb{C}$
to zero.
A similar argument gives the result for arbitrary
$j$
.
$\u25a0$
Proposition 7.
For
$1<m\le n$
let
$\pi :A\left({\mathcal{C}}_{n}\right)\to {M}_{m}$
be given by
$$\pi \left(x\right)=diag\left({\phi}_{0,{j}_{1}}\right(x),{\phi}_{0,{j}_{2}}(x),\cdots ,{\phi}_{0,{j}_{m}}(x\left)\right)$$
where
${j}_{1}<{j}_{2}<\cdots <{j}_{m}$
. Then there exist nontrivial point derivations at
$\pi $
.

Proof.
Notice that the derivation on
${M}_{n}\otimes A(\mathbb{D})$
given by
$\left({f}_{i,j}\right)\mapsto \left({f}_{i,j}^{\prime}\right(0\left)\right)$
restricts to a derivation
$D:A\left({\mathcal{C}}_{n}\right)\to {M}_{n}$
. Further, by examining the derivation applied to the matrix
$$A=\left[\begin{array}{cccccc}0& z& 0& 0& \cdot \cdot \cdot & 0\\ 0& 0& z& 0& \cdot \cdot \cdot & 0\\ 0& 0& 0& z& \cdot \cdot \cdot & 0\\ ...& ...& ...& ...& ...& ...\\ 0& 0& 0& \cdot \cdot \cdot & 0& z\\ z& 0& 0& \cdot \cdot \cdot & 0& 0\end{array}\right],$$
we see that
$D\left(A\right)\ne 0$
but
${\phi}_{0}\left(A\right)=0$
. It follows that
$D$
is not inner.
Now if we truncate the matrix
$D\left(A\right)$
by only keeping those rows and columns which correspond to one of the
${j}_{i}$
, then we have a noncommutative point derivation which is not inner at the representation
$\pi $
.
$\u25a0$
We denote the representation of the preceding result by
$({\phi}_{{j}_{i},0}{)}_{1<i<m}$
with the special case
$\{{j}_{1},{j}_{2},\cdots ,{j}_{n}\}=\{1,2,\cdots ,n\}$
denoted by
${\phi}_{0}$
.
Here the set
$M\backslash \overline{{M}^{2}}$
is
$m1$
dimensional spanned by the
$m1$
matrices with a single
$z$
in the super diagonal, corresponding to the truncated matrix, and all other entries
$0$
.
Proposition 8.
For
$n\ge 1$
then
$${H}^{1}\left(A\right({\mathcal{C}}_{n}),{\phi}_{0})={\mathbb{C}}^{n},$$

Proof.
Let
$D:A\left({\mathcal{C}}_{n}\right)\to {M}_{n}$
be a point derivation at
${\phi}_{0}$
. Notice that
$ran{\phi}_{0}$
is finite dimensional and hence
$ker{\phi}_{0}$
has a Banach space complement in
$A\left({\mathcal{C}}_{n}\right)$
which we will denote by
$(ker{\phi}_{0}{)}^{c}$
. Further, every
$a\in A\left({\mathcal{C}}_{n}\right)$
can be written as
${x}_{a}+{y}_{a}$
where
${x}_{a}\in (ker{\phi}_{0}{)}^{c}$
and
${y}_{a}\in ker{\phi}_{0}$
. Further there exist
${\lambda}_{i}$
such that
${\sum}_{i=1}^{n}{\lambda}_{i}{e}_{ii}$
where
${e}_{ii}$
is the matrix with
$1$
in the
$i$

$i$
position and zero everywhere else.
We claim that if
$a,b\in A\left({\mathcal{C}}_{n}\right)$
then, with respect to the decomposition above,
${\lambda}_{0}\left({x}_{a}{x}_{b}\right)=0$
if and only if
${x}_{a}{x}_{b}=0$
. Writing
${x}_{a}={\sum}_{i=1}^{n}{\lambda}_{i}{e}_{ii}$
and
${x}_{b}={\sum}_{i=1}^{n}{\mu}_{i}{e}_{ii}$
then,
$${x}_{a}{x}_{b}={\sum}_{i=1}^{n}{\lambda}_{i}{\mu}_{i}{e}_{ii}$$
and the claim follows.
Define the map
${D}^{\prime}:A\left({\mathcal{C}}_{n}\right)\to {M}_{n}$
by letting
${D}^{\prime}({x}_{a}+{y}_{a})=D\left({y}_{a}\right)$
with respect to the above decomposition. We will use the claim in the previous paragraph to show that
${D}^{\prime}$
is a derivation at
${\phi}_{0}$
. Linearity, and continuity are clear. We need only establish the derivation property. Now
$$\begin{array}{cc}{D}^{\prime}\left(ab\right)& ={D}^{\prime}\left(\right({x}_{a}+{y}_{a}\left)\right({x}_{b}+{y}_{b}\left)\right)\end{array}$$  
$$\begin{array}{cc}& ={D}^{\prime}({x}_{a}{x}_{b}+{y}_{a}{x}_{b}+{x}_{a}{y}_{b}+{y}_{a}{y}_{b})\end{array}$$  
$$\begin{array}{cc}& =D\left({y}_{a}{x}_{b}\right)+D\left({x}_{a}{y}_{b}\right)\end{array}$$  
$$\begin{array}{cc}& =D\left({y}_{a}\right){\phi}_{0}\left({x}_{b}\right)+{\phi}_{0}\left({y}_{a}\right)D\left({x}_{b}\right)+D\left({x}_{a}\right){\phi}_{0}\left({y}_{b}\right)+{\phi}_{0}\left({x}_{a}\right)D\left({y}_{b}\right)\end{array}$$  
$$\begin{array}{cc}& =D\left({y}_{a}\right){\phi}_{0}\left({x}_{b}\right)+{\phi}_{0}\left({x}_{a}\right)D\left({y}_{b}\right)\end{array}$$  
$$\begin{array}{cc}& =D\left({y}_{a}\right){\phi}_{0}({x}_{b}+{y}_{b})+{\phi}_{0}\left({x}_{a}\right){D}^{\prime}({x}_{b}+{y}_{b})\end{array}$$  
$$\begin{array}{cc}& ={D}^{\prime}({x}_{a}+{y}_{a}){\phi}_{0}({x}_{b}+{y}_{b})+{\phi}_{0}({x}_{a}+{y}_{a}){D}^{\prime}({x}_{b}+{y}_{b})\end{array}$$  
$$\begin{array}{cc}& ={D}^{\prime}\left(a\right){\phi}_{0}\left(b\right)+{\phi}_{0}\left(a\right){D}^{\prime}\left(b\right)\end{array}$$  
$$\begin{array}{}\end{array}$$  
and hence
${D}^{\prime}$
is a derivation at
${\phi}_{0}$
.
It follows that every point derivation at
${\phi}_{0}$
can be written as an inner derivation and a derivation which sends
$(ker{\phi}_{0}{)}^{c}$
to zero. Since
$D{D}^{\prime}$
will be zero on
${\phi}_{0}$
and hence inner. It follows that
${H}^{1}\left(A\right({\mathcal{C}}_{n}),{\phi}_{0})$
is isomorphic to the group generated by derivations which send
$(ker{\phi}_{0}{)}^{c}$
to zero.
Notice that each such derivation is uniquely determined by it's value on
$ker{\phi}_{0}\backslash \overline{(ker{\phi}_{0}{)}^{2}}$
. A technical calculation shows us that the set
$ker{\phi}_{0}\backslash \overline{(ker{\phi}_{0}{)}^{2}}$
is given by
$$\left\{\left[\begin{array}{cccccc}0& {\lambda}_{1}z& 0& 0& \cdot \cdot \cdot & 0\\ 0& 0& {\lambda}_{2}z& 0& \cdot \cdot \cdot & 0\\ 0& 0& 0& {\lambda}_{3}z& \cdot \cdot \cdot & 0\\ ...& ...& ...& ...& ...& ...\\ 0& 0& 0& \cdot \cdot \cdot & 0& {\lambda}_{n1}z\\ {\lambda}_{n}z& 0& 0& \cdot \cdot \cdot & 0& 0\end{array}\right]:{\lambda}_{i}\in \mathbb{C}\right\}.$$
For each
$i$
define the continuous map from
${D}_{i}:A\left({\mathcal{C}}_{n}\right)\to {M}_{n}$
by sending
$(ker{\phi}_{0}{)}^{c}$
to zero,
$\overline{(ker{\phi}_{0}{)}^{2}}$
to zero, and
$a$
from the set
$ker{\phi}_{0}\backslash \overline{(ker{\phi}_{0}{)}^{2}}$
as described above to
$\frac{1}{z}{e}_{ii}a$
.
${D}_{i}$
will be a derivation sending
$(ker{\phi}_{0}{)}^{c}$
to zero and linear combinations of the
${D}_{i}$
will span all possible point derivations at
${\phi}_{0}$
. The result now follows.
$\u25a0$
A similar result is true for the representations
$({\phi}_{{j}_{i},0}{)}_{1<i<m}$
and the proof follows in a method similar to the previous.
We now deal with the case of
$0<\left\lambda \right<1$
.
Proposition 9.
There exists a nontrivial point derivation at
${\phi}_{\lambda}$
if and only if
$0<\left\lambda \right<1$
.

Proof.
The existence of a derivation for
$\left\lambda \right<1$
follows from Proposition 3 since
$A\left({\mathcal{C}}_{n}\right)$
is a subalgebra of
${M}_{n}\otimes A(\mathbb{D})$
, and the representations coincide. We need only show that
$\left\lambda \right=1$
implies that there are no nonzero point derivations. If we investigate the ideal
$M=ker\left({\phi}_{\lambda}\right)$
we will see that
${M}^{2}$
is given by matrices in the set
$$\left\{\left[\begin{array}{ccccc}({M}_{\lambda}{)}^{2}& z({M}_{\lambda}{)}^{2}& {z}^{2}({M}_{\lambda}{)}^{2}& \cdot \cdot \cdot & {z}^{n}1({M}_{\lambda}{)}^{2}\\ {z}^{n1}({M}_{\lambda}{)}^{2}& ({M}_{\lambda}{)}^{2}& z({M}_{\lambda}{)}^{2}& \cdot \cdot \cdot & {z}^{n1}({M}_{\lambda}{)}^{2}\\ {z}^{n2}({M}_{\lambda}{)}^{2}& {z}^{n1}({M}_{\lambda}{)}^{2}& ({M}_{\lambda}{)}^{2}& \cdot \cdot \cdot & {z}^{n2}({M}_{\lambda}{)}^{2}\\ ...& ...& ...& ...& ...\\ z({M}_{\lambda}{)}^{2}& {z}^{2}({M}_{\lambda}{)}^{2}& {z}^{3}({M}_{\lambda}{)}^{2}& \cdot \cdot \cdot & ({M}_{\lambda}{)}^{2}\end{array}\right]\right\},$$
where
${M}_{\lambda}$
is the ideal in
$A\left({z}^{n}\right)$
given by the kernel of the map
$f\left({z}^{n}\right)\mapsto f\left({\lambda}^{n}\right)$
. It suffices to show, then, that
${M}_{\lambda}=\overline{{M}_{\lambda}^{2}}$
. As the algebra
$A\left({z}^{n}\right)$
is not a uniform algebra we can not use [3,Corollary1.6.4] directly as before.
We let
${\pi}_{n}:A(\mathbb{D})\to A\left({z}^{n}\right)$
be the completely contractive isomorphism induced by sending
$z\mapsto {z}^{n}$
. (We are not making any claims about contractivity of the reverse map). Notice that
$${\pi}_{n}\left(\right\{f\in A(\mathbb{D}):f\left(\lambda \right)=0\left\}\right)\subseteq \{f\in A({z}^{n}):f({\lambda}^{n})=0\}.$$
Further, since
$\left\lambda \right=1$
we know that there is a uniformly bounded net
$$\left\{{f}_{\iota}\right\}\subseteq \{f\in A(\mathbb{D}):f(\lambda )=0\}$$
such that
${f}_{\iota}g\to g$
for all
$$g\in \{f\in A(\mathbb{D}):f(\lambda )=0\}.$$
Notice that
$\parallel {\pi}_{n}\left({f}_{\iota}\right)\parallel \le \parallel {f}_{\iota}\parallel $
and hence
$\left\{{\pi}_{n}\right({f}_{\iota}\left)\right\}$
is a bounded net in
$\{f\in A({z}^{n}):f({\lambda}^{n})=0\}$
. Now if
$g\left({\lambda}^{n}\right)=0$
then
$$h={\pi}_{n}^{1}\left(g\right)\in \{f\in A(\mathbb{D}):f(\lambda )=0\}.$$
It follows that
${f}_{\iota}h\to h$
. Now
${\pi}_{n}\left({f}_{\iota}g\right)\to g$
and hence the ideal
$$\{f\in A({z}^{n}):f({\lambda}^{n})=0\}$$
has a bounded approximate identity. The result now follows in a manner similar to the proof for
${M}_{n}\otimes A(\mathbb{D})$
.
$\u25a0$
A uniqueness result for point derivations at
${\phi}_{\lambda}$
, where
$0<\lambda <1$
is not obvious.
We suspect that a result similar to
8 will hold but a different proof is necessary, since
$a,b\in ({\phi}_{\lambda}{)}^{c}$
does not imply that
$ab\in ({\phi}_{\lambda}{)}^{c}$
for
$\lambda \ne 0$
.
5 Homology for
$A\left({\mathcal{C}}_{n}\right)$
Now
${M}_{n}$
is a right
$A\left({\mathcal{C}}_{n}\right)$
module with module multiplication given by
$a\left(X\right)={\phi}_{\lambda}\left(a\right)X$
for all
$X\in {M}_{n}$
. To denote this module we will write
$({M}_{n}{)}_{\lambda}$
. Similarly, for
$k\le n$
${M}_{k}$
is a module over
$A\left({\mathcal{C}}_{n}\right)$
with module multiplication given by
$aX=\left({\phi}_{{j}_{i},0}{)}_{1\le i\le m}\right(a)X$
.
We will denote this module by
${M}_{m,{j}_{1},{j}_{2},\cdots ,{j}_{m}}$
.
Summarizing the results of the previous section in the language of Hochschild cohomology groups we have the following theorem.
Theorem 2.
Let
$A\left({\mathcal{C}}_{n}\right)$
be the quiver algebra associated to the
$n$
cycle graph. Then
$${H}^{1}\left(A\right({\mathbb{C}}_{n}),({M}_{n}{)}_{\lambda})\ne 0$$
if and only if
$\left\lambda \right<1$
. Similarly,
$${H}^{1}\left(A\right({\mathbb{C}}_{n}),{M}_{m,{j}_{1},{j}_{2},\cdots ,{j}_{m}})={\mathbb{C}}^{m1},$$
where
${\mathbb{C}}^{0}=\left\{0\right\}$
.
In this section, in analogy with the classical theory of uniform algebras, we will show that the algebra
$A\left({\mathbb{C}}_{n}\right)$
has no nontrivial derivations (i.e the homology group
${H}^{1}\left(A\right({\mathbb{C}}_{n},A\left({\mathbb{C}}_{n}\right))$
is trivial).
We begin with a definition.
Definition 3.
Let
$A$
be a Banach algebra and
$D:A\to A$
be a continuous derivation. For a representation
$\pi :A\to B(\mathcal{\mathscr{H}})$
we say that
$D$
is locally inner at
$\pi $
if
$\pi \circ D:A\to B(\mathcal{\mathscr{H}})$
is inner.
Notice that in the context of
$A\left({\mathcal{C}}_{n}\right)$
, a derivation
$D$
will be locally inner at
${\phi}_{\lambda}$
if
$D{}_{ker{\phi}_{\lambda}}$
is identically zero.
Theorem 3.
Let
$D:A\left({\mathcal{C}}_{n}\right)\to A\left({\mathcal{C}}_{n}\right)$
be a derivation such that
$D$
is locally inner at
${\phi}_{\lambda}$
for all
$\lambda \in \overline{\mathbb{D}}$
. Then
$D$
is an inner derivation.

Proof.
Let
${D}_{\lambda}:={\phi}_{\lambda}\circ D$
. Then, by hypothesis,
${D}_{\lambda}\left(a\right)$
can be written as
${M}_{\lambda}{\phi}_{\lambda}\left(a\right){\phi}_{\lambda}\left(a\right){M}_{\lambda}$
for all
$a\in A\left({\mathcal{C}}_{n}\right)$
.
Now define a matrix function
$M\left(z\right):\overline{\mathbb{D}}\to {M}_{n}$
by
${M}_{ij}\left(z\right)={M}_{z}$
. We will show that there exists
$\left({f}_{ij}\right)\in \in A\left({\mathcal{C}}_{n}\right)$
such that
$D\left(a\right)=\left({f}_{ij}\right)aa\left({f}_{ij}\right)$
for all
$a\in A\left({\mathcal{C}}_{n}\right)$
.
Notice that
$D\left({e}_{ii}\right)\in A\left({\mathcal{C}}_{n}\right)$
and further
${\phi}_{\lambda}\circ D\left({e}_{ii}\right)={M}_{\lambda}{e}_{ii}{e}_{ii}{M}_{\lambda}$
. As we let
$\lambda $
vary we see that
${M}_{ij}$
is a uniquely determined element of
${z}^{ij}A\left({z}^{n}\right)$
for
$i\ne j$
. So we define
${f}_{ij}\left(z\right)={M}_{ij}\left(z\right)$
for
$i\ne j$
. We need only determine the entries of
$\left({f}_{ij}\right)$
along the diagonal.
Notice that
${M}_{ii}\left(\lambda \right)$
is uniformly bounded. Now let
$A$
be the norm closed algebra generated by
$\left\{{M}_{ii}\right(z):1\le i\le n\}$
and
$A\left({z}^{n}\right)$
. Notice that
$A\left({z}^{n}\right)$
is a closed subalgebra of
$A$
, and further as a Banach space
$A/A\left({z}^{n}\right)$
is finite dimensional and hence
$A\left({z}^{n}\right)$
is complemented. Now let
${f}_{ii}\left(z\right)={M}_{ii}\left(z\right){P}_{A\left({z}^{n}\right)}$
, where
${P}_{A\left({z}^{n}\right)}$
is the projection of
$A$
onto the complemented subspace given by
$A\left({z}^{n}\right)$
. Notice that
$\left({f}_{ij}\right)\in A\left({\mathcal{C}}_{n}\right)$
. Since elements of
$A\left({\mathcal{C}}_{n}\right)$
are uniquely determined by the value of
${\phi}_{\lambda}$
as we let
$\lambda $
vary,
$\left({f}_{ij}\right)$
induces the derivation
$D$
and the result follows.
$\u25a0$
We will show that the homology group
${H}^{1}\left(A\right({\mathcal{C}}_{n}),A({\mathcal{C}}_{n}\left)\right)$
is trivial by showing that every derivation on
$A\left({\mathcal{C}}_{n}\right)$
is locally inner.
Theorem 4.
Every derivation on
$A\left({\mathcal{C}}_{n}\right)$
is inner, hence homology group
${H}^{1}\left(A\right({\mathcal{C}}_{n}),A({\mathcal{C}}_{n}\left)\right)$
is trivial for all
$n\ge 1$
.

Proof.
The case of
$n=1$
is well known, see [7,Proposition9.1] . We will show the result for
$n\ge 2$
. Fix
$D$
, a derivation on
$A\left({\mathcal{C}}_{n}\right)$
. Now since
$A\left({\mathcal{C}}_{n}\right)$
is semisimple, every derivation is continuous, see [8] . Thus
${\phi}_{\lambda}\circ D$
is a noncommutative point derivation for all
$\left\lambda \right\le 1$
.
In particular, since every point derivation at
${\phi}_{\lambda}$
is inner for all
$\left\lambda \right=1$
, it follows that
${\phi}_{\lambda}\circ D$
is inner for all
$\left\lambda \right=1$
.
Now
${\phi}_{0}\circ D$
is also a point derivation at
${\phi}_{0}$
. By the description of point derivations in Proposition 8 , and since
$ran{\phi}_{0}$
is contained in the diagonal matrices, it follows that
$({\phi}_{0}\circ D)$
is an inner point derivation at
${\phi}_{0}$
. In fact, simple calculations with the matrices
${e}_{ii}$
tells us that the matrix
$X$
such that
${\phi}_{0}\circ D\left(a\right)={\phi}_{0}\left(a\right)XX{\phi}_{0}\left(a\right)$
is a diagonal matrix and hence in the range of
${\phi}_{0}$
.
We need only show that
${\phi}_{\lambda}\circ D$
is locally inner at
${\phi}_{\lambda}$
for all
$0<\left\lambda \right<1$
.
Let
$\left(f\right)\in ker{\phi}_{\lambda}$
, then notice that
$\left({e}_{ii}\right)\left(f\right)\left({e}_{jj}\right)\in ker{\phi}_{\lambda}$
, for all
$i,j$
. Further notice that
$\left({e}_{ii}\right)\left(f\right)\left({e}_{jj}\right)$
is the matrix which is the same as
$\left(f\right)$
in the
$i$

$j$
entry and zero everywhere else. Now
${\phi}_{\lambda}\circ D\left(\right({e}_{ii}\left)\right(f\left)\right({e}_{jj}\left)\right)=\left({e}_{ii}\right)({\phi}_{\lambda}\circ D(f\left)\right)\left({e}_{jj}\right)$
which is a matrix which is zero in all components except perhaps the
$i$

$j$
entry.
Further notice that for
$\left\mu \right=1$
${e}_{ii}[{\phi}_{\mu}\circ D(\left({e}_{ii}\right)\left(f\right)\left({e}_{jj}\right)\left)\right]{e}_{jj}={e}_{ii}\left[\right({e}_{ii}\left(f\right)\left({e}_{jj}\right)XX\left({e}_{ii}\right)\left(f\right)\left({e}_{jj}\right)]{e}_{jj}$
which is zero. In particular, the
$i$

$j$
entry of
${\phi}_{\mu}\circ D$
will be zero for all matrices
$g$
with the only nonzero entry being the
$i$

$j$
entry. Notice that
$\mu $
was an arbitrary element of
$\mathbb{T}$
.
Now suppose
$f\in ker{\phi}_{\lambda}$
with
$\phi \circ D\ne 0$
. Then there exists some
$i$
and
$j$
such that
$\phi \circ D\left(\right({e}_{ii}\left)f\right({e}_{jj}\left)\right)\ne 0$
, and in particular the
$i$

$j$
entry of
$\phi \circ D\left(\right({e}_{ii}\left)f\right({e}_{jj}\left)\right)$
is nonzero. But since
$D$
is a derivation it follows that
$D\left(\right({e}_{ii}f\left({e}_{jj}\right)$
yields a matrix of analytic functions. But since the
$i$

$j$
entry of
${\phi}_{\mu}\circ D$
is zero for all
$\mu \in \mathbb{T}$
it follows that the
$i$

$j$
entry of
${\phi}_{\lambda}\circ D$
must be zero, by the maximum modulus theorem. This is a contradiction and hence every point derivation induced by
$D$
must be inner.
The result now follows.
$\u25a0$
An interesting question is for which
$n$
is
${H}^{n}\left(A\right({\mathbb{C}}_{n},A\left({\mathbb{C}}_{n}\right))=0$
. It is shown in [
7]
that
${H}^{2}\left(A\right(\mathbb{D}),A(\mathbb{D}\left)\right)\ne 0$
. We are pursuing a similar result in this setting.
6 Amenability for graph algebras
We can put together the results of this paper, and the paper [
13]
to present a proof of the perhaps well known result that the quiver algebras associated to a directed graph with at least one edge are never amenable. This extends the result of [
13,Corollary4.3]
. Clearly if a graph has no edges then the associated quiver algebra is a direct sum of copies of
$\mathbb{C}$
and hence is amenable.
Theorem 5.
Let
$A$
be the quiver algebra associated to the directed graph
$Q$
. If
$Q$
has at least one edge then
$A$
is not amenable.

Proof.
We first show the result for the semisimple quiver algebras. Let
$Q$
be a graph such that
$A\left(Q\right)$
is a semisimple quiver algebra. By Theorem 5.1 in [10] each vertex is contained in a cycle. Choose a vertex
$v$
and let
${e}_{1},{e}_{2},\cdots ,{e}_{n}$
be a minimal cycle of length
$n$
beginning and ending at
$v$
. Here by minimal, we mean that
$s\left({e}_{i}\right)\ne s\left({e}_{j}\right)$
and
$r\left({e}_{i}\right)\ne e\left({e}_{j}\right)$
for
$i\ne j$
.
Fixing a consecutive ordering on the edges
$\left\{{f}_{i}\right\}$
of
${C}_{n}$
define a representation
$\pi :A\left(Q\right)\to A\left({\mathcal{C}}_{n}\right)$
by
$$\pi \left({P}_{v}\right)=\{\begin{array}{cc}{P}_{{v}_{i}}& \text{if}v=s\left({e}_{i}\right)\\ 0& \text{else}\end{array}$$
and
$$\pi \left({L}_{e}\right)=\{\begin{array}{cc}{L}_{{f}_{i}}& \text{if}e={e}_{i}\\ 0& \text{else}.\end{array}$$
Since amenability is preserved by homomorphism, and
$A\left({\mathcal{C}}_{n}\right)$
is not amenable for all
$n\ge 1$
, the result follows.
For graphs with no cycles we use a different representation. Let
$e$
be an edge in
$Q$
with
$r\left(e\right)\ne s\left(e\right)$
. Define
$\pi :A\left(Q\right)\to {M}_{2}$
by extending the map with
$$\begin{array}{cc}\pi \left({P}_{s\left(e\right)}\right)& =\left[\begin{array}{cc}0& 0\\ 0& 1\end{array}\right],\end{array}$$  
$$\begin{array}{cc}\pi \left({P}_{r\left(e\right)}\right)& =\left[\begin{array}{cc}1& 0\\ 0& 0\end{array}\right],\end{array}$$  
$$\begin{array}{cc}\pi \left({T}_{e}\right)& =\left[\begin{array}{cc}0& 1\\ 0& 0\end{array}\right],\end{array}$$  
$$\begin{array}{}\end{array}$$  
$\pi \left({P}_{v}\right)=0\text{for}v\notin \left\{s\right(e),r(e\left)\right\}$
, and
$\pi \left({T}_{f}\right)=0\text{for}f\ne e$
. Notice that
$ran\pi ={T}_{2}$
which is not amenable and hence the result follows.
$\u25a0$
References

M. Alaimia, Automorphisms of some Banach algebras of analytic functions, Linear Algebra Appl. 298 (1999) 8797.

A. Browder, Point derivations on function algebras, J. Funct. Anal. 1 (1967) 2227.

A. Browder, “Introduction to Function Algebras,” W. A. Benjamin, New York, 1969

K. Davidson and E. Katsoulis, Nest representations of directed graph algebras, preprint.

K. Davidson and D. Pitts, The algebraic structure of noncommutative analytic Toeplitz algebras, Math. Ann. 311 (2) (1998), 275303.

L. DeAlba and J. Peters, Classification of semicrossed products of finitedimensional
${C}^{*}$
algebras, Proc. Amer. Math. Soc. 95(4) (1985), 557564.

B. Johnson “Cohomology in Banach Algebras” American Mathematical Society, Providence, 1972.

B. Johnson and A. Sinclair, Continuity of derivations and a problem of Kaplansky, Amer. J. Math. 90 (1968), 10671073.

M. Jury and D. Kribs, Ideal structure in free semigroupoid algebras from directed graphs, J. Operator Theory to appear.

D. Kribs and S. Power, Free semigroupoid algebras, J. Ramanujan Math. Soc. 19 (2004), 75114.

V. Paulsen, “Completely Bounded Maps and Operator Algebras” Cambridge University Press, Cambridge, 2002.

J. Peters, The ideal structure of certain nonselfadjoint operator algebras, Trans. Amer. Math. Soc. 305(1) (1988), 333352.

G. Popescu, Noncommutative joint dilations and free product operator algebras, Pacific J. Math. 186(1) (1998), 111140.
Department of Mathematics, 300 Minard Hall, North Dakota State University, Fargo, ND 581055075 Email address : benton.duncan@ndsu.edu