arxiv:math/ v1 [math.oa] 12 Oct 2004

Transcription

1 [secion] [secion] EXPLICIT CONSTRUCTION AND UNIQUENESS FOR UNIVERSAL OPERATOR ALGEBRAS OF DIRECTED GRAPHS arxiv:mah/ v1 [mah.oa] 12 Oc 2004 BENTON L. DUNCAN Absrac. Given a direced graph, here eiss a universal operaor algebra and universal C -algebra associaed o he direced graph. In his paper we give inrinsic consrucions of hese objecs. We provide an eplici consrucion for he maimal C -algebra of an operaor algebra. We also discuss uniqueness of he universal algebras for finie graphs, showing ha for finie graphs he graph is an isomorphism invarian for he universal operaor algebra of a direced graph. We show ha he underlying undireced graph is a Banach algebra isomorphism invarian for he universal C -algebra of a direced graph. There has been significan work in he sudy of operaor algebras associaed o combinaorial objecs (e.g. groups, semigroups, and graphs). We have coninued his sudy in [3] where he universal operaor algebra of a direced graph and he universal C -algebra of a direced graph were inroduced and described. The aim of his paper is wofold: firs we refine he consrucion of he universal operaor algebras of direced graphs, hen we discuss invarians of he universal algebras of finie direced graphs. Firs we use ideas from [2] o define inrinsic norms on OA(Q) he universal operaor algebra of a direced graph. This allows a more concree consrucion han was given in [3]. We also describe a consrucion of he maimal C -envelope of an operaor algebra, see [1]. This consrucion is defined insrinisically using he free produc operaor algebra consrucion of Blecher and Paulsen [2]. This suggess ha he maimal C -envelope is no as myserious as is presumed. In fac having a canonical consrucion should allow a more deailed sudy of he maimal operaor algebra of a direced graph in paricular cases. Kribs and Power show in [7] ha he graph is a complee uniary invarian for he Toepliz quiver algebra of a direced graph. Recen work on hese Toepliz quiver algebras by Kasoulis and Kribs, [6] and by Solel [12], has demonsraed ha he graph is a complee isomorphism invarian for hese algebras. In his paper we eend he echniques of [6] o show ha for finie graphs he graph is a complee isomorphism invarian for OA(Q). This fac is perhaps no surprising, alhough he echnique requires more subley han in [6] and [12]. For he universal C - algebra of a finie direced graph we are able o show ha he underlying direced graph is an isomorphism invarian for he algebra. This is very surprising since he Cunz-Krieger algebra of a direced graph is no classified by he graph. Before proceeding, we would like o emphasize a difference beween he operaor algebras in he presen paper and hose defined in [9]. When we consruc he 2000 Mahemaics Subjec Classificaion. 47L40, 47L55, 47L75, 46L80. Key words and phrases. direced graph, universal operaor algebra, universal C -algebra, free produc, uniqueness. Par of his work was suppored by a Deparmen of Educaion Gran #P200A

2 2 BENTON L. DUNCAN universal operaor algebra of a direced graph we consider represenaions which send verices o projecions. We do no assume ha he projecions are orhogonal, as was implici in [9]. This difference provides eamples which differ significanly from he Toepliz quiver algebras. We would also like o clarify he consrucion of he universal operaor algebra of a direced graph from [3]. I was implici in he consrucion ha he se w(q) was he se of all finie words in V (Q) E(Q) subjec o he relaions r(e)e = e = es(e). Here r : E V V and s : E V V are he range and source map eended o E V by defining r(v) = v = s(v) for all v V. We poin ou he connecion beween Secion 2 and he resuls in [10]. There he Gelfand-Naimark seminorm is defined on a Banach -algebra. I urns ou ha he seminorm we define in Secion 2 is equal o he Gelfand-Naimark seminorm. This yields a more direc approach he maerial in Secion 2. We have used boh mehods, we concreely define he seminorm o emphasize ha he norm is inrinsic, and hen we reference Palmer s work for compleeness. We now emphasize an imporan fac from he laer pars of his paper. In secions 4, 5 and 6 we resric our aenion o finie graphs. 1. Inrinsic norms for OA(Q) We begin by adaping a echnique of [2] o provide inrinsic norms on OA(Q). Recall ha in [2] an inrinsic norm is described for he universal operaor algebra associaed o a monoid. Tradiionally he norm on a universal operaor algebra of an objec is defined by aking he supremum over all represenaions of he objec as an operaor algebra. Someimes we are able o define his norm wihou reference o he represenaions. We will call such a norm an inrinsic norm. We will consruc an inrinsic norm for he universal operaor algebra of a direced graph. Le M be a semigroup wihou ideniy. I is well know [5] ha here is a monoid M + and a homomorphism τ : M M + which is one-o-one. I is a consequence of he universal properies of he uniizaion [8] of an operaor algebra ha here is a compleely isomeric inclusion τ : O(M) O(M + ) induced by τ. Furher, by he definiions of O(M + ) and O(M) we know ha τ is a compleely isomeric isomorphism ono is range, in paricular O(M) = τ() O(M + ). The following lemma now follows. Lemma 1. If M is a semigroup wihou ideniy having no zero divisors, hen O(M) + = O(M + ). Now for U M n (CM) define U n = inf{ A 0 A 1 A m } where A 0 M n,k, A m M k,n A i M k and U = A 0 M 1 A 2 M m A m where M i is a diagonal k k mari wih enries in M +. I is a consequence of [2] ha if N = { CM : 1 = 0 hen O(M)/N is an operaor algebra wih he maricial norms given by n. We now urn o he cone of universal operaor algebras of direced graphs. We will denoe by W(Q) he se of all finie words in he alphabe given by E(Q) V (Q). We will denoe he range and source map by r and s respecively and we will eend heir definiions o all of V (Q) E(Q) be defining r(v) = s(v) = v for all v V (Q).

3 UNIVERSAL GRAPH OPERATOR ALGEBRAS: CONSTRUCTIONS AND UNIQUENESS 3 Definiion 1. Le Q be a direced graph and le w W(Q). We say ha a word w 1 w 2 w n W(Q) is reduced if r(w i ) w i 1, s(w i ) w i+1, s(w i 1 ) w i, and r(w i+1 ) w i. We denoe by w(q), he se of reduced words in W(Q). Proposiion 1. For a direced graph Q, w(q) is a semigroup. Furher w(q) has an ideniy if and only if V (Q) is a singleon. Proof. Cerainly W(Q) is a semigroup. Furher he operaion of reducing a word is erminaing and locally confluen and hence each word w W(Q) has a unique reduced word w(q) associaed o i. I follows ha w(q) is a semigroup, wih operaion given by concaenaion followed by reducion. Now if V (Q) has a single vere v, hen for an arbirary edge e he reduced word for ve is e, he reduced word for ev is e and he reduced word for vv is v. I follows ha v will serve as an ideniy elemen in w(q). If w(q) has an ideniy elemen ι hen ι 2 = ι and hence ι corresponds o a vere, since verices give rise o he only idempoens in w(q). On he oher hand le v be a vere in Q. Then since ι is an ideniy ιv = v and hence i = v. We le n denoe he maricial norm on O(w(Q)). I is a consequence of he proof of Proposiion 2.1 in [3] ha he subspace { : 1 = 0} is he rivial subspace and hence n yields a norm on Cw(Q). Theorem 1. Le Q be a direced graph, hen O(w(Q)) is compleely isomerically isomorphic o OA(Q). Proof. Recalling he consrucion of OA(Q) [3] he algebra Cw(Q) is a dense subalgebra of OA(Q). Furher he norm on Cw(Q) is he universal norm induced by represenaions of Cw(Q). The resul now follows. I follows ha maricial norms can be defined on OA(Q) in an inrinsic manner by defining maricial norms on Cw(Q) as for he semigroup operaor algebra. This provides an inrinsic characerizaion of he norm on OA(Q) and perhaps makes he consrucion of OA(Q) less myserious. Eample. Le T be he direced graph wih wo verices and a single edge connecing he verices. Labelling he verices as v 0 and v 1 and he edge as, wih r() = v 1 and s() = v 0. we can see ha OA(T) is he norm closed algebra generaed by he span of elemens of he se {(v 0 ) δ0 (v 1 v 0 ) l1 n1 (v 1 v 0 ) m1 (v 1 v 0 ) l2 n2 (v 1 v 0 ) m2 (v 1 v 0 ) l k n k (v 1 v 0 ) m k (v 1 ) δ1 } where δ 0, δ 1 {0, 1} and l i, m i, n i 0. This provides an alernae mehod from [3] where his algebra is described as he quoien of hree free producs. 2. Inrinsic norms for C m (A) We now look o build Cm (A) in a manner inrinsic o A, wihou reference o he compleely conracive represenaions of A. We begin by leing A be a unial operaor algebra. We recall he inrinsic characerizaion of he operaor algebraic free produc of wo operaor algebras. Consrucion (Blecher-Paulsen [2] Theorem 4.1). For A and B operaor algebras wih a common subalgebra D and for in he algebraic free produc of A and B amalgamaed over D we define OA = inf{ 1 2 n : 1 2 n = }

4 4 BENTON L. DUNCAN where he i are elemens of eiher M k (A) or M j (B) wih j, k N, and he free produc mari muliplicaion. Compleing he algebraic free produc wih respec o his norm yields an operaor algebra A OA B wih he following universal propery. Universal propery: If τ : A X and σ : B X are compleely conracive such ha σ D = τ D hen here is τ σ : A OA B X compleely conracive wih τ σ A = τ and τ σ B = σ. ι A A τ σ A OA B ι B τ σ B Using his consrucion we will be able o build Cm(A) inrinsically. We begin wih a definiion. Definiion 2. Le A be a unial operaor algebra and le A # be he canonically associaed adjoin algebra. We wrie F(A) = A (A) A # for he operaor algebraic free produc amalgamaed over he diagonal, (A), of A. Remark 1. We will use # o denoe he formal adjoin, and o represen an adjoin in a C algebra. The reason is o minimize confusion beween elemens of F and elemens of C m (A). Remark 2. Where i will no cause confusion we suppress he A in he noaion ha follows. We now consruc a C semi-norm on F. Definiion 3. For y M n (F) we say ha y 0 if m y = y # i y i for some se {y i } m i=1 M n(f). i=1 We record some elemenary lemmas involving posiive elemens of F and M 2 (F). In wha follows we will omi he formal produc symbol where i is inferred. Lemma 2. Le F and R +, hen # 0 if and only if 2 # 0. Proof. If 2 # 0 hen clearly # 0 and hence [ ] # = 1 [ # # X ] [ ] 1 0.

5 UNIVERSAL GRAPH OPERATOR ALGEBRAS: CONSTRUCTIONS AND UNIQUENESS 5 Now if # 0 hen # 0 1 [ = 1 # 0 0 # = [ 0 0 # I follows ha 2 # 0. ]. ] [ ] The ne wo lemmas will allow us o show ha our semi-norm is acually a C semi-norm. Lemma 3. For F and R + 2 # 0 if and only if # # 0. 2 Proof. If # # 0 hen i follows ha # # = 2 2 # which implies ha 2 # 0 which by he previous lemma yields one direcion of he resul. Now if # 0 hen by he previous lemma we have 2 # 0 and clearly 2 + # 0. I follows ha 2 + # # 0 and hence # # = 2 # #. Lemma 4. If, y F, s, R +, s # 0, and s y y # 0 hen s y y # # 0. s Proof. Noice by he firs lemma ha s 2 # 0 and hence s 2 y # y y # # y 0. Bu noice also ha 2 y # y 0 hence s 2 2 s 2 y # y 0 and i follows ha s 2 2 y # # y 0 and he firs lemma gives he resul.

6 6 BENTON L. DUNCAN The ne lemma follows rivially from he definiion. The ne four are he las seps in providing a C -seminorm on F. Lemma 5. Le, y F and s, R + wih s y # 0 and s y # 0 hen s + + y + y 0. s + Lemma 6. Le F and s R + hen s s # # 0 if and only if 0. s s Proof. Noice ha s # = s and he resul is immediae. [ ][ s # s ] Lemma 7. Le F and λ C, s R + hen λ s λ s λ # 0 if and only if λ s # 0. s Proof. Noice firs ha λ 2 s 2 λ 2 # 0 if and only if s 2 # 0. Now by he firs lemma he resul is esablished. Lemma 8. Le F hen inf { : [ ] # } 0 OA. Proof. Noice ha his is equivalen o showing ha 2 # 0 in F. Bu noice ha for all 0 ha # C ( # ) F. Now using he specral heorem for C algebras we ge ha 2 OA # 0 in C ( # ) F. We are now in a posiion o define a C seminorm on F. Definiion 4. Le F hen define { γ() = inf : # } 0. Proposiion 2. The funcion γ is a C seminorm on F and F/ kerγ is isomorphic o C m (A). Proof. The saemen ha γ is a C seminorm follows from he series of lemmas preceding he definiion. We need only show ha F/ ker(γ) = Cm(A). We le q : F F/ ker(γ) be he compleely conracive quoien homomorphism. Noice ha he inclusion ι : A F is compleely isomeric, and furher q ι : A F/ ker(γ) sends A o a generaing subalgebra of F/ ker(γ). I follows by he universal propery for Cm (A) ha here eiss an ono homomorphism q : C m (A) F/ ker(γ). We also know ha here eiss a compleely conracive homomorphism π : F Cm (A). Now if ε # 0 for all ε > 0, hen π(ε # ) 0 for all ε > 0. In paricular ε π() π() 0 for all ε > 0. Now as Cm(A) is a C algebra i follows ha π() = 0. I follows ha ker(γ) ker(π). Hence here is a compleely

7 UNIVERSAL GRAPH OPERATOR ALGEBRAS: CONSTRUCTIONS AND UNIQUENESS 7 conracive homomorphism π : F/ ker(γ) Cm (A). Noice ha π q() = for all A i follows ha Cm(A) = F/ ker(γ). This would seem o imply he BRS-heorem, see [11, corollary 16.7]. Recall hough ha he BRS-heorem was implici in consrucing he operaor algebraic free produc [2] and hence his does no provide an alernae approach o he BRSheorem. Noice ha one can use he general heory of Banach- algebras o ge a he same resul [10, proposiion ]. We need only show ha F is indeed a Banach- algebra. Proposiion 3. Le A be an operaor algebra hen F = A (A) A # is a Banach -algebra. Proof. We know ha F(A) is an operaor algebra and hence a Banach algebra. Now le be in A alg A # and le ε > 0. By definiion here eiss A 1 M k1 (A), A 2 M k2 (A),, A n M kn (A) and B 1 M j1 (A # ), B 2 M j2 (A # ), B n M jn (A # ) such ha A 1 B 1 A 2 B 2 A n B n = and OA A 1 Mk1 (A) B 1 Mj1 (A # ) B n Mjn (A # ) OA + ε. Now noice ha # = B # n A # 1 and A 1 Mk1 (A) B 1 Mj1 (A # ) B n Mjn (A # ) = B n Mjn (A) A n Mkn (A # ) A n Mkn (A # ). I follows ha # OA OA. A similar argumen ells us ha # OA OA and hence # OA = OA Now if { n } is Cauchy, hen { # n } is cauchy and hence convergen. Now if n hen n OA 0. By uniqueness of limis i follows ha # n # OA 0. Hence OA is coninuous wih respec o # and hence F is a Banach algebra. in [10] γ is called he Gelfand-Naimark seminorm and he ideal kerγ is called he reducing ideal of F. The previous secion can hen be applied o he consrucion of he algebra GCm (Q) where Q is a direced graph. In paricular given a direced graph Q, we can use Theorem 3.3 in [3] o recognize GCm (Q) as a maimal C envelope of OA(Q). Proposiion 2 hen gives us an inrinsic seminorm on OA(Q) OA(Q) which yields he algebra GCm (Q). 3. Idempoens in OA(Q) and GC m(q) We remind he reader of an eample from [3] and a resul concerning he idempoens of OA(Q) and GC m(q). Eample. We will denoe by V n he graph wih n verices and no edges. OA(V n ) is equal o he unamalgamaed free produc of copies of C. Proposiion 4. Le Q be a direced graph, hen here is norm coninuous homoopy from OA(Q) ono OA(V (Q)) and also from GC m(q) ono OA(V (Q)). Corollary 1. Le Q be a finie direced graph. Then he se of idempoens in GC m(q) is given by {P v : v V (Q)}.

8 8 BENTON L. DUNCAN Proof. The previous proposiion ells us ha he se of idempoens is conained in OA(V (Q)) OA(Q) GCm(Q). Now for every idempoen J here is a norm coninuous pah of idempoens in GCm (Q) connecing J o a projecion [13]. I follows from Eample 3 ha each projecion in GCm (Q) has he form {P v : v V (Q)} and ha here are no nonrivial norm coninuous pahs of idempoens in GCm (Q) 4. The maimal ideal space of OA(Q) and GC m(q) for finie graphs For he remainder of his chaper we will only be concerned wih finie graphs. For a Banach algebra A, we denoe he maimal ideal space by M A. By P(X) we mean he power se of X and we le P(X) = P(X) \ { }. For k N we le D k be he caresian produc of k copies of D, and we le D 0 = {0}. If S V (Q) and S we le E(S) := {e E(Q) : r(e), s(e) S}. Lasly, for S a nonempy subse of V (Q), we define n(s) = E(S). Proposiion 5. The se M OA(Q) is homeomorphic o D n(s). S P(V (Q)) Proof. We begin by leing ϕ be a muliplicaive linear funcional and fiing an enumeraion of E(Q). Now ϕ is uniquely deermined by ϕ(p v ) and ϕ(t e ) where v V (Q) and e E(Q). I is clear ha ϕ(p v ) {0, 1} where v V (Q). Furher we have ha ϕ(t e ) ϕ T e 1 for all edges e E(Q) and hence ϕ(t e ) D. Fi ϕ M OA(Q) and le S ϕ := {v V (Q) : ϕ(p v ) = 1}. Then ϕ is deermined wih a fied ordering on E(S ϕ ) by he n(s ϕ )-uple [ϕ(t es1 ), ϕ(t es2 ), ϕ(t esn(s) )]. Thus he map ϕ [ϕ(t es1 ), ϕ(t es2 ), ϕ(t esn(s) )] gives a map of he maimal ideal space ino D n(s). S P(V (Q)) We claim ha his correspondence is ono. Uniqueness follows by definiion. To prove ha he correspondence is ono, le S P(V (Q)) be nonempy and ake λ D n(s). We define ϕ λ : Q C by { 1 v S ϕ λ (v) =. 0 else Then define ϕ λ (e i ) = λ i for e i {e : r(e) S and s(e) S}, and ϕ λ (e) = 0 oherwise. I is easy o see ha ϕ λ is a conracive represenaion of Q. Now by he universal propery of OA(Q) here eiss a unique compleely conracive homomorphism, which we also call ϕ λ, wih ϕ λ : OA(Q) C. I follows ha he correspondence is ono.

9 UNIVERSAL GRAPH OPERATOR ALGEBRAS: CONSTRUCTIONS AND UNIQUENESS 9 We now urn o coninuiy. If ϕ λ ϕ hen ϕ λ (T e ) ϕ(t e ) and ϕ λ (P v ) ϕ(p v ) for each edge e and vere v. I follows ha he correspondence will preserve he se S and he n(s) uples will converge poinwise. Thus he correspondence induces a coninuous map beween M OA(Q) and S P(V (Q)) Dn(S). Now since we have a one o one and ono coninuous map from a space which is Hausdorff and compac we have ha he inverse map is also coninuous and he homeomorphism is esablished. In fac we have esablished ha M OA(Q) is a compac Hausdorff space wih a conneced componen for each nonempy S V (Q). Eample. Le Q be he graph 1 v1 2 3 v2 v3. Since Q has 3 verices here are seven conneced componens in he maimal ideal space. The componen corresponding o v 1 has wo copies of D since here are wo edges wih range and source equal o v 1. The componen corresponding o v 2 and he componen corresponding o v 3 are boh singleon ses since neiher vere has an edge which eners and leaves he vere. The componen corresponding o he pair {v 1, v 2 } has hree copies of D one for each of he edges, 1, 2, and 3. The pair {v 2, v 3 } also yields a singleon se. The pair {v 1, v 3 } has wo copies of D. The final componen corresponding o {v 1, v 2, v 3 } has 3 copies of D since here are hree oal edges. The maimal ideal space is hen homeomorphic o D 2 D 0 D 0 D 3 D 0 D 2 D 3. Definiion 5. For a finie direced graph Q we le N Q be he number of conneced componens of M OA(Q). We can acually define several invarians of he algebra by using combinaorial argumens and he srucure of he maimal ideal space in a fairly simple manner. Proposiion 6. For a finie direced graph Q, and where n(s) = E(S). V (Q) = log 2 (N Q + 1) E(Q) = ma{n(s)} Proof. Each conneced componen of M OA(Q) is associaed uniquely o a nonempy subse of V (Q). I follows ha N Q +1 = P(V (Q)) = 2 V (Q). and he firs formula is esablished. Secondly as V (Q) P(V (Q)) here is a conneced componen of M OA(Q) associaed o he se V (Q). Bu n(v (Q)) is he number of edges emanaing from and ending in V (Q), which is he oal number of edges. Since n(s) is less han or equal o he oal number of edges for all S V (Q), we have he second formula and he corollary is esablished. Corollary 2. Suppose OA(Q 1 ) and OA(Q 2 ) are algebraically isomorphic. Then V (Q 1 ) = V (Q 2 ), E(Q 1 ) = E(Q 2 ).

10 10 BENTON L. DUNCAN Proof. If he algebras OA(Q 1 ) and OA(Q 2 ) are isomorphic, hen he spaces M OA(Q1) and M OA(Q2) are homeomorphic. Hence by he formulas esablished in he previous Proposiion he corollary follows. Acually, more is rue. We say ha an edge e E(Q) is a loop edge if s(e) = r(e). We can use calculaions o find he number of loop edges and non loop edges in he graph from combinaorial facs abou M OA(Q). Proposiion 7. Le Q be a finie direced graph. If α is he number of loop edges in Q and β is he number of non loop edges in Q hen α and β can be calculaed uniquely from M OA(Q). Proof. If n is he number of verices in Q, hen for an edge e here will be a copy of D for every subse of S V (Q) wih r(e), s(e) S. Thus if r(e) = s(e), since here are 2 n 1 nonempy subses of V (Q) conaining r(e), here are 2 n 1 copies of D M OA(Q) for each loop edge. If r(e) s(e) here are 2 n 2 subses of P(V (Q)) which conain s(e) and r(e). Thus, here are 2 n 2 copies of D M OA(Q) for each edge which is no a loop. If α is he number of loop edges, and β is he number of non loop edges, hen α(2 n 1 )+β(2 n 2 ) = S P(V (Q)) n(s). Now assume ha here are α and β, a differen combinaion of loop edges and non loop edges respecively, such ha α(2 n 1 ) + β(2 n 2 ) = α (2 n 1 ) + β (2 n 2 ). Since he number of edges is fied a n we know ha (n β)(2 n 1 ) + β(2 n 2 ) = (n β )(2 n 1 ) + β (2 n 2 ). Simplifying we ge ha β(2 n 2 2 n 1 ) = β (2 n 2 2 n 1 ) and hence β = β. I follows ha in a finie graph he number of loop edges and he number of non loop edges is an isomorphism invarian which can be calculaed direcly from informaion abou he se M OA(Q). We now look a he algebra GC M (Q). Recall ha his is he universal C algebra of he direced graph Q which is consruced by looking a represenaions of he graph Q V (Q) Q. The universal properies will allow us o idenify he maimal ideal space of GC M (Q). Proposiion 8. The se M GC M (Q) is homeomorphic o M OA(Q). In fac for an operaor algebra A, M A is homeomorphic o M C m (A). Proof. Since GCM (Q) = C m(oa(q)) we will prove he more general resul. If ϕ : Cm(A) C is a muliplicaive linear funcional hen ϕ A C is also a muliplicaive linear funcional. Furher every muliplicaive linear funcional π : A C is compleely conracive and hence here eiss a unique muliplicaive linear funcional π : Cm (A) C such ha π A = π A. I follows ha here is a one o one correspondence beween maimal ideals of A and Cm (A). Tha he maps are coninuous is rivial. Proposiion 7 applies also o GC m(q) and hence he number of verices, loop edges and non loop edges are isomorphism invarians for GC m (Q). 5. Uniqueness of GC m(q) for finie graphs In his secion we are ineresed in uniqueness of GC m (Q). We begin wih definiions. Le A be a Banach algebra, and le ϕ be a muliplicaive linear funcional. We le P(ϕ) := { A : 2 = and ϕ() = 1}.

11 UNIVERSAL GRAPH OPERATOR ALGEBRAS: CONSTRUCTIONS AND UNIQUENESS 11 Definiion 6. For X a conneced componen of M A we say ha X has degree k if for every ϕ X, P(ϕ) = k. If here eis ϕ X and τ X such ha P(ϕ) P(τ) hen we say ha X has degree 1. In he cone of universal graph operaor algebras he preceding definiion will be useful in esablishing uniqueness. We use i now o idenify he number of verices associaed o a paricular conneced componen of M GC m (Q). Recall ha o each se S P(X) here is a conneced componen in M GC m (Q). I is a consequence of Proposiion 5 and Proposiion 8 ha for ϕ, τ X, a conneced componen of M GC m (Q), P(ϕ) = P(τ). Proposiion 9. Le X be a conneced componen in M GC m (Q), hen X has degree k 1 if and only if here is a se of disjoin verices V := {v 1, v 2,, v k } V (Q) such ha X is he componen associaed o he se V P(X). Proof. Le S P(V (Q)). We will show ha if S = k hen he associaed componen, X, has degree k. le {v 1, v 2,, v k } = S and denoe by P vi he projecion associaed o v i. Now define a conracive represenaion π : Q C by sending v i o 1 for each i and everyhing else o 0. The induced compleely conracive map will be a muliplicaive linear funcional associaed o he componen X. Now noice ha P(ϕ) = {P v1, P v2,, P vk } and hence P(ϕ) = k. The resul follows. Definiion 7. For X a conneced componen in M GC m (Q) we le P X := { : 2 = and ϕ() = 1 for all ϕ X}. If X has degree wo and Y and Z are componens of degree one, hen we say ha X is he componen associaed o Y and Z if P X = P Y P Z We are now in a posiion o describe he main resul of his secion. Saring wih he graph Q we build an associaed undireced graph Q. Recall ha an undireced graph is a 3-uple (V, E, n), where V is a se of verices, E is he se of all pairs of verices, and n : E N is a coninuous map. The map n({v, w}) will specify how many edges connec he pair of varices v and w. For a direced graph Q we le V ( Q) = V (Q) and n({v, w}) be he number of edges e wih {r(e), s(e)} = {v, w}. The graph Q can be hough of as he graph obained from Q by removing he direcions on each edge. We will show ha Q is an isomorphism invarian for GC m (Q). We say ha an edge e in a graph is a loop edge if r(e) = s(e). Theorem 2. Le Q 1 and Q 2 be finie direced graphs. The algebras GC m(q 1 ) and GC m (Q 2) are isomorphic as Banach algebras if and only if he graphs Q 1 and Q 2 are isomorphic. Proof. We begin by assuming ha wo algebras GC m(q 1 ) and GC m(q 2 ) are isomorphic. I is well known ha if wo Banach algebras are isomorphic as Banach algebras hen here is an induced homeomorphism beween heir maimal ideal spaces. I follows from Corollary 2 ha he number of verices in Q 1 is equal o he number of verices in Q 2. The homeomorphism will clearly preserve degree. Le X be a degree wo componen in M GC m (Q 1) or M GC m (Q 2). We can, by Proposiion 9, idenify he degree one componens, Y and Z, which correspond o X. For clariy of presenaion we will wrie a degree wo componen wih corresponding degree one componens Y and Z as X Y,Z.

12 12 BENTON L. DUNCAN For an arbirary conneced componen W of M GC m (Q) or M GC m (Q ) we le n(w) be he number of copies of D in W. If Y is a degree one componen hen n(y ) is he number of loop edges. For a degree wo componen n(x Y,Z ) (n(y ) + n(z)) is he number of edges e in he graph wih r(e) s(e) and ϕ(r(e)) = 1 = ϕ(s(e)) for all ϕ X Y,Z. Now n(w) is also invarian under isomorphism and hence Q 1 is isomorphic o Q 2. For he converse, assume ha Q 1 and Q 2 are isomorphic. Then here is a 1-1 correspondence beween he ses V (Q 1 ) and V (Q 2 ). There is also a 1-1 correspondence beween he ses E(Q 1 ) and E(Q 2 ). We build a new direced graph Q from Q by seing V (Q) = V ( Q), E(Q) = E( Q), r((v, w)) = v, and s((v, w)) = w. The assignmen of range and source will no change he graph Q V (Q) Q. I is easy o see ha Q 1 Q V (Q1) 1 is isomorphic o Q2 Q V (Q2) 2. The resul now follows from he consrucion of GCm (Q), [3]. There is no reason o epec a sronger uniqueness resul. For eample, he wo graphs v1 1 v2 and w1 1 s 1 s 1 have isomorphic universal C algebras, even hough he graphs are no isomorphic. On he oher hand any uniqueness may be considered surprising since Q is no an invarian for C (Q). For an eample we poin he reader o [4] where i is shown ha he disinc graphs w2 e 0,0 0,3 e 1,1 e 2,2 e 3,3 v0 e v1 0,1 e 1,2 v2 e 2,3 v3 e 0,2 e 1,3 e 0,3 and e 0,0 0,3 e 1,1 v0 yield isomorphic C -algebras. e v1 0,1 e 2,2 e 1,2 v2 e 3,3 e 2,3 v3 6. Uniqueness of OA(Q) for finie graphs We use he definiions from he previous secion in esablishing he uniqueness of he algebra OA(Q). Once again we have mos of he informaion abou our direced graph embedded in he maimal ideal space. The only complicaion ha remains is idenifying he direcions on he edges wih disinc source and range. We will use

13 UNIVERSAL GRAPH OPERATOR ALGEBRAS: CONSTRUCTIONS AND UNIQUENESS 13 ideas similar o hose in [6] o build he original graph Q from informaion abou a class of represenaions of OA(Q). As in Secion 5 we will need o idenify he degree one componens of M OA(Q). The same argumens work in his cone so we do no repea hem here. We need a few preliminary resuls before addressing uniqueness. Le T 2 be he algebra of 2 2 upper riangular marices. If A is an operaor algebra we say ha a represenaion π : A T 2 is a wo dimensional nes represenaion if π is ono. Le X and Y be degree one conneced componens in M A. We say ha a wo dimensional nes represenaion π of OA(Q) has he projecion propery for X and Y if 1 0 π(p X ) =, π(p Y ) =, 0 1 and if is an idempoen no conained in P X P Y hen π() = 0. Definiion 8. For X and Y, degree one conneced componens in M OA(Q), le K X,Y := {ker(π) : π has he projecion propery for X and Y }. If π : OA(Q) T 2 has he projecion propery for X and Y, hen here is an induced map π q : OA(Q)/K X,Y T 2 which is a wo dimensional nes represenaion wih he projecion propery for X and Y. Definiion 9. If X and Y are degree one conneced componens in M OA(Q) le R X,Y be he se of all coses OA(Q) + K X,Y OA(Q)/K X,Y such ha (π q (OA(Q) + K X,Y )) 2 = 0 for all π wih he projecion propery for X and Y. Lemma 9. R X,Y is a closed wo sided ideal in OA(Q)/K X,Y. Proof. The fac ha (π q (OA(Q)+K X,Y )) 2 = 0 implies ha π q (OA(Q)+K X,Y ) is sricly upper riangular. Now if B + K X,Y is anoher cose in OA(Q)/K X,Y hen π q ((A + K X,Y )(B + K X,Y )) = π q (A + K X,Y )π q (B + K X,Y ) 0 a a1 a = a 3 0 aa3 =. 0 0 Hence (π q ((A + K X,Y )(B + K X,Y ))) 2 = 0. Similar argumens for muliplicaion on he righ by an ideal elemen shows ha R X,Y is a wo sided ideal. Closure is auomaic since π q is coninuous. We now describe R X,Y for a finie direced graph Q. Proposiion 10. Le Q be a finie graph, and v, w V (Q). We denoe he conneced componens of M OA(Q) associaed o {v} and {w} by V and W, respecively. There are n edges wih range v and source w if and only if R V,W has a minimal generaing se of cardinaliy n.

14 14 BENTON L. DUNCAN Proof. Le V and W be he ses described. Then i is clear ha P v AP w + K V,W = A + K V,W for all A R V,W. Furher noice ha T e + K V,W = P v T e P w + K V,W R V,W for all edges e wih s(e) = w, r(e) = v. A quick calculaion ells us ha if π has he projecion propery for V and W hen for each edge e wih r(e) = v, s(e) = w here is an a e such ha ( ) 0 ae π(t e ) =. 0 0 If r(e) = s(e) = v hen π(t e ) = λ for some λ C. Similarly if r(e) = s(e) = w hen 0 0 π(t e ) = 0 λ for some λ C. Lasly if r(e) v or s(e) w hen π(t e ) = 0. Now, leing N = {e : r(e) = v, s(e) = w} we have ha {T e + K V,W : e N} is a linearly independen generaing se for R V,W. In paricular, a ypical elemen of R V,W is conained in he closure of he linear span of R := {T n f T et m g + K V,W : s(f) = r(f) = r(e), e N, r(g) = s(g) = s(e), n, m 0}. Now le X = { 1, 2,, m } be a generaing se for R V,W. We will show ha X n. Le e be an an edge in N. Now define a represenaion π e : Q T 2 by firs leing 0 0 π e (s(e)) = π e (r(e)) = π e (e) = 0 0 and sending all oher edges and verices o zero. There will be a compleely conracive eension π e : OA(Q) T 2 and π e will have he projecion propery for V and W. I follows hen ha ( π e ) q : OA(Q)/K V,W T 2 is well defined. Now here eiss i X such ha ( π e ) q ( i ) > 0 hence i = α e T e + k e where α e 0 C and k e is in he kernel of π e. I follows ha for each i, i = {( e N α et e )+k i } where k i e N ker(π e ). The se {T e } e N + e N ker(π e ) is a linearly independen subse of OA(Q)/ e N ker(π e ) and i follows ha X > n. We now prove a classificaion heorem for universal operaor algebras of direced graphs. Theorem 3. Le Q 1 and Q 2 be finie direced graphs. The algebras OA(Q 1 ) and OA(Q 2 ) are isomorphic as Banach algebras if and only if Q 1 and Q 2 are isomorphic as direced graphs.

15 UNIVERSAL GRAPH OPERATOR ALGEBRAS: CONSTRUCTIONS AND UNIQUENESS 15 Proof. Cerainly if Q 1 and Q 2 are isomorphic hen OA(Q 1 ) and OA(Q 2 ) are isomorphic by uniqueness of he eension of a direced graph morphism. Le he map π : OA(Q 1 ) OA(Q 2 ) be a bounded isomorphism hen π induces a homeomorphism, which we also call π. Furher he algebra OA(Q 1 )/K V,W is isomorphic o OA(Q 2 )/K π(v ),π(w), and he resul follows. We noe here some differences beween he proof here and he proof of uniqueness for quiver algebras given in [6]. For he quiver algebras, since he projecions are orhogonal, all of he conneced componens of he maimal ideal space are degree one. This simplifies he quiver algebra resul. Also, Kasoulis and Kribs, use a Fourier epansion for elemens of he quiver algebra and hence hey do no need o resric he class of wo dimensional nes represenaions ha hey use. Alhough he proofs are significanly differen he ideas are similar. Using he maimal ideal space and he wo dimensional nes represenaions we consruc he underlying graph from he algebra using only Banach algebra properies. Eending he uniqueness resuls o infinie graphs may be more complicaed. A beer undersanding of he maimal ideal space is vial. On he oher hand i is a consequence of he descripion of he K-heory ha if Q is an infinie graph, hen OA(Q) = OA(Q ) for any finie graph Q and similarly GC m (Q) = OA(Q ) for any finie graph Q. References [1] David P. Blecher. Modules over operaor algebras, and he maimal C -dilaion. J. Func. Anal., 169(1): , [2] David P. Blecher and Vern I. Paulsen. Eplici consrucion of universal operaor algebras and applicaions o polynomial facorizaion. Proc. Amer. Mah. Soc., 112(3): , [3] Benon L. Duncan. Universal operaor algebras of direced graphs. Houson J. Mah., o appear. [4] Jeong Hee Hong and Wojciech Szymański. Quanum lens spaces and graph algebras. Pacific J. Mah., 211(2): , [5] J. M. Howie. An inroducion o semigroup heory. Academic Press [Harcour Brace Jovanovich Publishers], London, [6] Elias Kasoulis and David Kribs. Isomorphisms of algebras associaed wih direced graphs. Mah. Annalen, o appear. [7] David Kribs and Sephen Power. Free semigroupoid algebras. J. Ramanujan Mah. Soc., 19, [8] Ralf Meyer. Adjoining a uni o an operaor algebra. J. Operaor Theory, 46(2): , [9] Paul S. Muhly. A finie-dimensional inroducion o operaor algebra. In Operaor algebras and applicaions (Samos, 1996), volume 495 of NATO Adv. Sci. Ins. Ser. C Mah. Phys. Sci., pages Kluwer Acad. Publ., Dordrech, [10] Theodore W. Palmer. Banach algebras and he general heory of -algebras. Vol. 2, volume 79 of Encyclopedia of Mahemaics and is Applicaions. Cambridge Universiy Press, Cambridge, algebras. [11] Vern Paulsen. Compleely bounded maps and operaor algebras, volume 78 of Cambridge Sudies in Advanced Mahemaics. Cambridge Universiy Press, Cambridge, [12] Baruch Solel. You can see he arrows in a quiver operaor algebra. [13] N. E. Wegge-Olsen. K-heory and C -algebras. Oford Science Publicaions. The Clarendon Press Oford Universiy Press, New York, A friendly approach.

16 16 BENTON L. DUNCAN Deparmen of Mahemaics, 203 Avery Hall, Universiy of Nebraska Lincoln, Lincoln, NE Curren address: Deparmen of Mahemaics, 300 Minard Hall, Norh Dakoa Sae Universiy, Fargo, ND address: