On Regular Locally Scalar Representations of Graph D in Hilbert Spaces arxiv:math/06093v math.rt 30 Oct 006 S. A. Kruglyak, L. A. Nazarova, A. V. Roiter. Institute of Mathematics of National Academy of Sciences of Ukraine, Tereshchenkovska str., 3, Kiev, Ukraine, ind. 060 E-mail: red@imath.kiev.ua Representations of quivers corresponding to extended Dynkin graphs are described up to equivalence in. Locally scalar representations of graphs in the category of Hilbert spaces were introduced in, and such representations are naturally classified up to unitary equivalense. Representations of -algebras generated by linearly related orthogonal projections are studied in 3 0 and others. The connection between locally scalar representations of several graphs (trees, which include also Dynkin graphs) and representations of such -algenras is stated in, and we further use this connection. The present paper is dedicated to the classification of indecomposable regular (see ) locally scalar representations of the graph D (for D those are indecomposable locally scalar representations in the dimension (;,,, )). The answer obtained for the corresponding - algebra in 5, 6, in our opinion, cannot be satisfactory and definitive. We will obtain explicit formulas, expressing matrix elements of a representation by a character (see ) of a locally scalar representation and two free real parameters.. Let H be the category of finite-dimensional Hilbert spaces, and D be an extended Dynkin graph 0 3 3 Remind (see ) that a representation Π of the graph D associates a space H i H to each vertex i (i = 0, ), and a pair of interadjoint linear operators Π(γ i ) = {Γ i0 ; Γ 0i } to each edge γ i, where Γ 0i : H i H 0, Γ i0 = Γ 0i. A morphism C : Π Π is a family C = {C i } i=0, of operators C i : Π(i) Π(i) such that
the diagrams H i C i Γ ji Hj C j are commutative, i. e. C j Γ ji = Γ ji C i. H i Γ ji Hj Let M i be the set of vertices connected with a vertex i by an edge, A i = j M i Γ ij Γ ji. Representation Π is called locally scalar if all operators A i are scalar; A i = α i I Hi, where I Hi is identity operator in a space H i. Since A i is a positive operator, α i 0. A vector {dim Π(i)} is a dimension of a finite-dimensional representation Π i ; if A i = f(i)i Hi then {f(i)} is called a character of locally scalar representation Π. Further we will denote as Rep ( D, f) the category of finite-dimensional locally scalar representations of the graph D in H with given character f. We will assume that α i = f(i) > 0, i = 0, and the character is normalized: f(0) = α 0 =. On the other hand, consider the following -algebra over the field C: P,f = C p, p, p 3, p p i = p i = p i, α i p i = e, where α i = f(i), e is the identity of the algebra, and the category Rep P,f of finite-dimensional -representation of the algebra P,f. Set Π Rep ( D, f), Π(i) = H i, π(γ i ) = {Γ i,0 ; Γ 0,i }. Let us construct a representation π of the algebra P,f by the following way: π(p α i) = Γ 0,i Γ i,0 = P i. If C : Π Π is a morphism in Rep ( D, f) then C 0 : π π is a morphism in the category Rep P,f (C 0 is the operator interlacing representations π and π). Define a functor i= Φ : Rep ( D, f) Rep P,f putting Φ(Π) = π, Φ(C) = C 0. Clearly, the functor Φ is the equivalence of categories. Let π Rep P,f be a representation in the space H 0. Set H i = Im P i, i =, ; Γ 0,i : H i H 0 is the natural injection of the space H i into H 0, then, putting Π(γ i ) = {Γ 0,i ; Γ 0,i }, we obtain a representation from Rep ( D, f). If C 0 : π π set C i = C Hi 0. If Φ ( ) (π) = Π, Φ ( ) (C 0 ) = {C i } i=0, then ΦΦ ( ) I Rep P,f, Φ ( ) Φ I Rep ( D,f).. Consider representations of the -algebra P,f for 0 < α α α 3 α <, α i =. (in other cases representations of the -algebras P,f are reduced to the simplest representations by the Coxeter functors 3). i=
Let us make the substitution of generators in the algebra P,f 5 : x = α p + α 3 p 3 β e, y = α p + α 3 p 3 β e, z = α p + α p β 3e, where β = ( α + α + α 3 α )/, β = ( + α α + α 3 α )/, β 3 = ( + α + α α 3 α )/. () Denote also γ = (α α α3 + α)/, γ = ( α + α α 3 + α )/, γ 3 = ( α α + α 3 + α )/. It is easy to check that γ γ γ 3 and 0 γ. The new generators x, y, z satisfies the system of relations {y, z} = γ e, {z, x} = γ e, {x, y} = γ 3 e, (x + y + z) = α e. () The equalities () imply p = x + y + z α + e, p = x y + z α + e, p 3 = x + y z α 3 + e, p = x y z α + e. (3) 3. Let γ 3 = 0, then 0 γ γ 3 implies γ = 0, hence α = α = α 3 = α = considered in ), and so γ = 0. In this case the system of relation () has a form (this case is {y, z} = 0, {z, x} = 0, {x, y} = 0, x + y + z = e. () Let π be an indecomposable representation of the algebra and π(x) = X, π(y) = Y, π(z) = Z. a) Let Z = 0. The matrix X can be diagonalized as a matrix of self-adjoint operator. The relations of anticommutation imply that the triple X, Y, Z = 0 is indecomposable only in λ 0 0 y the case when the diagonalized matrix X equals. Then Y =, y 0, 0 λ y 0 3
and the element y can be made positive by the admissible tranformations. Therefore, we obtain the case 0 0 0 0 X = λ, Y = µ, Z = ; λ > 0, µ > 0. 0 0 0 0 µ 0 b) Let Z 0 and X = 0. Then the matrix Y can be diagonalized: Y =, µ > 0 0 µ (in the other cases the triple of matrices turn out to be decomposable). Then from 0 z {y, z} = 0 we obtain Z = and the matrix Z can be reduced by the admissible z 0 0 iν transformations (does not changing the Y ) to the form Z =, ν > 0. The iν 0 / / triple of matrices is reduced by means of a unitary matrix U = / by the / transormation UXU, UY U, UZU to the form 0 0 0 0 i X =, Y = µ, Z = ν ; µ > 0, ν > 0. 0 0 0 i 0 c) Let X 0, Z 0, Y = 0. In this case the matrices X, Y, Z can be reduced to the form 0 0 0 0 i X = λ, Y =, Z = ν ; λ > 0, ν > 0. 0 0 0 i 0 d) X 0, Y 0, Z 0. In this case the matrices X, Y, Z can be reduced to the form 0 0 0 i X = λ, Y = µ, Z = ν ; λ > 0, µ > 0, ν R, ν 0. 0 0 i 0 Thus, unifying these cases, we may consider that 0 0 0 i X = λ, Y = µ, Z = ν, 0 0 i 0 Formulas (3) imply where λ + µ + ν = (follows from ()), and either λ > 0, µ > 0, ν R; P = P 3 = either λ = 0, µ > 0, ν > 0; or λ > 0, µ = 0, ν > 0. λ µ + νi µ νi + λ, P = + λ µ νi µ + νi λ, P = + λ µ + νi µ νi λ, λ µ νi µ + νi + λ.
If µ+νi = µ + ν e iϕ = λ e iϕ then, passing on to the unitary equivalent representation e ivp 0 by means of the matrix U =, we may consider that 0 λ λ + λ eiχ λ P = λ + λ P 3 = + λ e iχ e iχ λ λ λ, P = e iχ λ λ, P = λ λ + λ 0 λ < /, and 0 < χ < π/ when λ = 0, π/ < χ π/ when 0 < λ < /. λ,, (5). Let γ 3 0, then {x, y} = γ 3 e implies X 0 and Y 0. Moreover, X and Y has no λ 0 zero eigenvalues. Indeed, let martix X has the form after digonalization: X =. In 0 λ the matrices Y and Z either y 0 or z 0 (or else the triple of matrices is decomposable). {x, y} = γ 3 e, {x, z} = γ e imply (λ + λ )z = 0 and (λ + λ )y = 0. Therefore we can conclude that λ = λ = λ 0, λ > 0. The same reasoning is useful also for Y. λ 0 Let X =. {x, y} = γ 3 e imply y = γ 3 λ 0 λ, y = γ 3 ; {x, z} = γ λ e imply z = γ, z λ = γ : λ {y, z} = γ e imply hence 0 X = λ 0 λ, Y = λ γ 3 y y γ 3 γ γ 3 + y z + y z 0, Z = λ 0 γ γ 3 + y z + y z γ z z γ = γ I, y z + y z = γ λ γ γ 3. (6) Let us turn to the unitary equivalent representation by means of the unitary matrix U = e iϕ 0 such that y + z = r would be real positive, at that y + z remains complex in 0 0 general, y + z = r e iχ. Then () implies (X + Y + Z) = λ (λ + γ + γ 3 ) + (y + z ) 0 0 (λ + γ + γ 3 ) + (y + z ). 5. = α I.
and r = (y + z ) = α λ (λ + γ + γ 3 ) from which it easy to obtain r = λ + (α + α)λ (α α) = ( )( ) = λ (α α ) λ (α +α ), (7) α α λ α + α. y + z = r, y = (r r e iχ )/, therefore y + z = r e iχ, z = (r + r e iχ )/, y z + y z = (r r )/ = γ λ γ γ 3 (the last equality follows from (6)). and Thus, r = r + γ γ 3 8γ λ = λ + (α + α 3 )λ (α 3 α ) 0 y + z = r e iχ = e λ iχ + (α + α 3 )λ (α 3 α ) = ) = e (λ iχ (α 3 α )(λ ) (α 3 +α ), α 3 α λ α 3 + α. Now we can directly pass on to the determining of the operators of the representation P, P, P 3, P : X+Y +Z P = + α I = = λ +α λ (α α) λ +(α+α )λ (α α ) α λ λ +(α +α )λ (α α ) λ +α λ+ (α α ) = = ( λ (α α ) )( λ+ (α +α ) ) ( λ (α α ) )( λ (α +α ) ) α λ ( λ (α α ) )( λ (α +α ) ) ( λ+ (α α ) ) ( λ (α +α ) ), X Y +Z P = + α I = = λ +α λ+ (α 3 α) e λ iχ +(α+α 3)λ (α 3 α) α λ e λ iχ +(α+α 3)λ (α 3 α) λ +α λ (α 3 α ) = = ( λ (α 3+α ) )( λ+ (α 3 α ) ) e iχ ( λ (α 3+α ) )( λ (α 3 α ) ) α λ e iχ ( λ (α 3+α ) )( λ (α 3 α ) ) ( λ+ (α 3+α ) )( λ (α 3 α ) ), 6
X+Y Z P 3 = + α 3 I = = λ +α 3 λ (α 3 α) e λ iχ +(α+α 3)λ (α 3 α) α 3 λ e λ iχ +(α+α 3)λ (α 3 α) λ +α 3 λ+ (α 3 α ) = = ( λ (α 3+α ) )( λ (α 3 α ) ) e iχ ( λ (α 3+α ) )( λ (α 3 α ) ) α 3 λ e iχ ( λ (α ) 3+α ) ( λ (α 3 α ) ) ( λ+ (α 3+α ) )( λ+ (α 3 α ) ), X Y Z P = + α I = = λ +α λ+ (α α λ ) +(α+α )λ (α α ) α λ λ +(α +α )λ (α α ) λ +α λ (α α ) = = ( λ+ (α +α ) )( λ+ (α α ) ) ( λ (α +α ) )( λ (α α ) ) α λ ( λ (α +α ) )( λ (α α ) ) ( λ (α +α ) )( λ (α α ) ). 5. Let us construct, according to p., isometries Γ 0,i : H i H 0, i =, by projectors P i : H 0 H 0 and obtain regular indecomposable locally scalar representations of the graph D : λ + α λ (α α )/ λ + α λ + (α3 α )/ Γ 0, = α λ λ + α λ + (α α )/, Γ 0, = α λ λ + α λ (α3 α )/, Γ 0,3 = e iχ e iχ α λ α λ λ + α 3 λ (α3 α )/ λ + α λ + (α α )/ α 3 λ λ + α 3 λ + (α3 α )/, Γ 0, = α λ λ + α λ (α α )/. α 3 λ α λ 0 < (α α )/ λ min ((α + α 3 )/, (α + α )/), π < χ π. Thus, locally scalar (not necessarily normalized) representations of the graph D depend on 6 real parameters (on the of 5 parameters α, α, α 3, α, α 0, connected by the relation α + α + α 3 + α = α 0, α i = α i, and parameters λ and χ). α 0 References. L. A. Nazarova Representations of quivers of infinite type. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 37 (973), 75 79. 7
. S. A. Kruglyak, A. V. Roiter Locally scalar representations of graphs in the category of Hilbert spaces. Funct. Anal. Appl. 39 (005), no., 9 05 3. Yu. N. Bespalov. Sets of orthoprojectors connected by relations. Ukrainian Math. J. (99), no. 3, 69 77.. V. Ostrovskyi and Yu. Samoilenko Introduction to the theory of representations of finitely presented *-algebras. I. Representations by bounded operators. Reviews in Mathematics and Mathematical Physics,, pt.. Harwood Academic Publishers, Amsterdam, 999. iv+6 pp. ISBN: 90-583-0-5. D. V. Galinsky, S. A. Kruglyak Representations of -algebras generated by linearly related orthogonal projections. (Ukrainian.) Visnyk Kyiv. derzh. Univ. No., 3, 999. 6. D. V. Galinsky. Representations of -algebras generated by orthogonal projections satisfying a linear relation. Methods Funct. Anal. Topology (998), no. 3, 7 3. 7. D. V. Galinsky, M. A. Muratov On representations of algebras generated by sets of three and four orthoprojections. Spectral and evolutionary problems, Vol. 8 (Sevastopol, 997), 5, Tavria Publ., Simferopol, 998. 8. S. A. Kruglyak, V. I. Rabanovich, Yu. S. Samoilenko On sums of projections. Funct. Anal. Appl. 36 (00), no. 3, 8 95 9. S. Kruglyak, A. Kyrychenko. On four orthogonal projections that satisfy the linear relation α P + α P + α 3 P 3 + α P = I, α i > 0. Symmetry in nonlinear mathematical physics, Part, (Kyiv, 00), 6 65, Pr. Inst. Mat. Nats. Akad. Nauk Ukr. Mat. Zastos., 3, Part,, Natsional. Akad. Nauk Ukrai ni, Īnst. Mat., Kiev, 00. 0. A. Strelets. Description of the representations of the algebras generated by four linearly related idempotents. J. Algebra Appl. (005), no. 6, 67 68.. S. Kruglyak, S. Popovich, Yu. Samoilenko. The spectral problem and -representations of algebras associated with Dynkin graphs. J. Algebra Appl. (005), no. 6, 76 776.. I. K. Redchuk, A. V. Roiter. Singular locally scalar representations of quivers in Hilbert spaces, and separating functions. Ukrainian Math. J. 56 (00), no. 6, 97 963. 3. S. A. Kruglyak. Coxeter functors for a certain class of -quivers and -algebras. Methods Funct. Anal. Topology 8 (00), no., 9 57. 8