arxiv: v3 [math.qa] 11 Jul 2010

Transcription

1 POISSON GEOMETRY OF DIRECTED NETWORKS IN AN ANNULUS arxiv: v3 [math.qa] 11 Jul 2010 MICHAEL GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN Astract. As a generalization of Postnikov s construction [P], we define a map from the space of edge weights of a directed network in an annulus into a space of loops in the Grassmannian. We then show that universal Poisson rackets introduced for the space of edge weights in [GSV3] induce a family of Poisson structures on rational-valued matrix functions and on the space of loops in the Grassmannian. In the former case, this family includes, for a particular kind of networks, the Poisson racket associated with the trigonometric R-matrix. 1. Introduction This is the second in the series of four papers initiated y [GSV3] and devoted to geometry ehind directed networks on surfaces, with a particular emphasis on their Poisson properties. In [GSV3], we concentrated on Postnikov s construction [P] that uses weighted directed planar graphs to parametrize cells in Grassmannians. We found that the space of edge weights of networks in a disk can e endowed with a natural family of Poisson rackets (that we called universal) that respects the operation of concatenation of diagrams. We have shown that, under Postnikov s parametrization, these Poisson rackets induce a two-parameter family of Poisson rackets on the Grassmannian. Every Poisson racket in this family is compatile (in the sense of [GSV1, GSV2]) with the cluster algera on the Grassmannian descried in [GSV1, S] and, on the other hand, endows the Grassmannian with a structure of a Poisson homogeneous space with respect to the natural action of the general linear group equipped with an R-matrix Poisson-Lie structure. As was announced in [GSV3], the current paper uilds a parallel theory for directed weighted networks in an annulus (or, equivalently, on a cylinder). First, we have to modify the definition of the oundary measurement map, whose image now consists of rational valued matrix functions of an auxiliary parameter λ associated with the notion of a cut (see Section 1). We then show that the analogue of Postnikov s construction leads to a map into the space of loops in the Grassmannian. Universal Poisson rackets for networks in an annulus are defined in exactly the same way as in the case of a disk. We show that they induce a two-parameter family of Poisson rackets on rational-valued oundary measurement matrices. In particular, when sources and sinks elong to distinct circles ounding the annulus, one of the generators of these family coincides with the Sklyanin R-matrix racket associated with the trigonometric solution of the classical Yang-Baxter equation in Date: July 13, Mathematics Suject Classification. 53D17, 14M15. 1

2 2 MICHAEL GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN sl(n). Moreover, we prove that the two-parameter family of Poisson rackets can e further pushed-forward to the space of loops in the Grassmannian. In proving the latter, we departed from the approach of [GSV3] where the similar result was otained via a more or less straightforward calculation. Such an approach would haveeen too cumersomein ourcurrentsetting. Instead, wefound awayto utilize so-called face weights and their ehavior under path-reversal maps. The forthcoming third paper in this series [GSV4] focuses on particular graphs in an annulus that can e used to introduce a cluster algera structure on the coordinate ring of the space of normalized rational functions in one variale. This space is irationally equivalent, via the Moser map [M], to any minimal irreducile coadjoint orit of the group of upper triangular matrices associated with a Coxeter element of the permutation group. In this case, the Poisson racket compatile with the cluster algera structure coincides with the quadratic Poisson racket studied in [FG1, FG2] in the context of Toda flows on minimal orits. We show that cluster transformations serve as Bäcklund-Daroux transformations etween different minimal Toda flows. The fourth paper [GSV5] solves, in the case of graphs in an annulus with one source and one sink, the inverse prolem of restoring the weights from the image of the generalized Postnikov map. In the case of aritrary planar graphs in a disk, this prolem was completely solved y Postnikov [P] who proved that for a fixed minimal graph, the space of weights modulo gauge action is irational to its image. To the contrary, already for simplest graphs in an annulus, the corresponding map can only e shown to e finite. The original application of directed weighted planar networks was in the study of total positivity, oth in GL n [KM, B, BFZ, FZ, Fa] and in Grassmannians [P]. We do not address this issue for networks in an annulus. It has een studied in a recent preprint [LP]. The paper is organized as follows. In Section 2, we introduce a notion of a perfect network in an annulus and associate with every such network a matrix of oundary measurements. Each oundary measurement is shown to e a rational function in edge weights and in an auxiliary parameter λ, see Corollary 2.3. Besides, we define the space of face and trail weights, a generalization of the space of face weights studied in [GSV3] for the case of networks in a disk, and provide its cohomological interpretation, see Section 2.3. In Section 3, we characterize all universal Poisson rackets on the space of edge weights of a given network that respect the natural operation of concatenation of networks, see Proposition 3.1. Furthermore, we estalish that the family of universal rackets induces a linear two-parameter family of Poisson rackets on the space of face and trail weights, see Theorem 3.2, and hence on oundary measurement matrices, see Theorem 3.3. This family depends on a mutual location of sources and sinks, ut not on the network itself. We provide an explicit description of this family in Propositions 3.4 and 3.6. An important tool in the proof of Theorem 3.3 is the realization theorem, see Theorem 3.8, that claims that any rational matrix function can e realized as the oundary measurement matrix of a network with a given set of sources and sinks. Finally, if the sources and the sinks are separated, that is, all sourceselong to one ofthe ounding circles ofthe annulus, and all sinks to the other ounding circle, one of the generators of the 2-parametric family can e identified with the R-matrix Sklyanin racket corresponding to the trigonometric R-matrix, see Theorem 3.13.

3 POISSON GEOMETRY OF DIRECTED NETWORKS IN AN ANNULUS 3 In Section 4, the oundary measurement map defined y a network with k sources, n k sinks and n 1 n oundary vertices on the outer oundary circle is extended to the Grassmannian oundary measurement map into the space LG k (n) of Grassmannian loops. The Poisson family on oundary measurement matrices allows us to equip LG k (n) with a two-parameter family of Poisson rackets P n1 α,β in such a way that for any choice of a universal Poisson racket on edge weights there is a unique memer of P n1 α,β that makes the Grassmannian oundary measurement map Poisson, see Theorem 4.7. This latter family depends only on the numer of sources and sinks and on the distriution of the oundary vertices etween the ounding circles of the annulus. The main tool in the proof of Theorem 4.7 is the path reversal operation on networks and its properties, see Theorem Perfect planar networks and oundary measurements 2.1. Networks, cuts, paths and weights. Let G = (V, E) e a directed planar graph drawn inside an annulus with the vertex set V and the edge set E. Exactly n of its vertices are located on the oundary circles of the annulus and are called oundary vertices; n 1 0 of them lie on the outer circle, and n 2 = n n 1 0 on the inner circle. The graph is considered up to an isotopy relative to the oundary (with fixed oundary vertices). Each oundary vertex is marked as a source or a sink. A source is a vertex with exactly one outcoming edge and no incoming edges. Sinks are defined in the same way, with the direction of the single edge reversed. All the internal vertices of G have degree 3 and are of two types: either they have exactly one incoming edge, or exactly one outcoming edge. The vertices of the first type are called (and shown in figures) white, those of the second type, lack. A cut ρ is an oriented non-selfintersecting curve starting at a ase point on the inner circle and ending at a ase point on the outer circle considered up to an isotopy relative to the oundary (with fixed endpoints). We assume that the ase points of the cut are distinct from the oundary vertices of G. For an aritrary oriented curve γ with endpoints not lying on the cut ρ we denote y ind(γ) the algeraic intersection numer of γ and ρ. Recall that each transversal intersection point of γ and ρ contriutes to this numer 1 if the oriented tangents to γ and ρ at this point form a positively oriented asis, and 1 otherwise. Non-transversal intersection points are treated in a similar way. Let x 1,...,x d e independent variales. A perfect planar network in an annulus N = (G,ρ,w) is otained from a graph G equipped with a cut ρ as aove y assigning a weight w e Z(x 1,...,x d ) to each edge e E. Below we occasionally write network instead of perfect planar network in an annulus. Each network defines a rational map w : R d R E ; the space of edge weights E N is defined as the intersection of the image of w with (R \ 0) E. In other words, a point in E N is a graph G as aove with edges weighted y nonzero real numers otained y specializing the variales x 1,...,x d in the expressions for w e. A path P in N is an alternating sequence (v 1,e 1,v 2,...,e r,v r+1 ) of vertices and edges such that e i = (v i,v i+1 ) for any i [1,r]. Sometimes we omit the names of the vertices and write P = (e 1,...,e r ). A path is called a cycle if v r+1 = v 1 and a simple cycle if additionally v i v j for any other pair i j. To define the weight of a path we need the following construction. Consider a closed oriented polygonal plane curve C. Let e and e e two consequent oriented

4 4 MICHAEL GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN segments of C, and let v e their common vertex. We assume for simplicity that for any such pair (e,e ), the cone spanned y e and e is not a line; in other words, if e and e are collinear, then they have the same direction. Oserve that since C is not necessary simple, there might e other edges of C incident to v. Let l e an aritrary oriented line. Define c l (e,e ) Z/2Z in the following way: c l (e,e ) = 1 if the directing vector of l elongs to the interior of the cone spanned y e and e and c l (e,e ) = 0 otherwise. Define c l (C) as the sum of c l (e,e ) over all pairs of consequent segments in C. It follows immediately from Theorem 1 in [GrSh] that c l (C) does not depend on l, provided l is not collinear to any of the segments in C. The common value of c l (C) for different choices of l is denoted y c(c) and called the concordance numer of C. In fact, c(c) equals mod 2 the rotation numer of C; the definition of the latter is similar, ut more complicated. In what follows we assume without loss of generality that N is drawn in such a way that all its edges and the cut are smooth curves. Moreover, any simple path in N is a piecewise-smooth curve with no cusps, at any oundary vertex of N the edge and the circle intersect transversally, and the same holds for the cut at oth of its ase points. Given a path P etween a source and a sink, we define a closed piecewise-smooth curve C P in the following way: if oth and elong to the same circle, C P is otained y adding to P the path etween and that goes counterclockwise along the oundary of the corresponding circle. Otherwise, if and elong to distinct circles, C P is otained y adding to P the path that starts at, goes counterclockwise along the corresponding circle to the ase point of the cut, follows the cut to the other ase point and then goes counterclockwise along the other circle up to. Clearly, the otained curve C P does not have cusps, so its concordance numer c(c P ) can e defined in a straightforward manner via polygonal approximation. Finally the weight of P is defined as (2.1) w P = w P (λ) = ( 1) c(cp) 1 λ ind(p) e P w e, where λ is an auxiliary independent variale. Occasionally, it will e convenient to assume that the internal vertices of G do not lie on the cut and to rewrite the aove formula as (2.2) w P = ( 1) c(cp) 1 e P w e, where w e = w e λ ind(e) are modified edge weights. Oserve that the weight of a path is a relative isotopy invariant, while modified edge weights are not. The weight of an aritrary cycle in N is defined in the same way via the concordance numer of the cycle. If edgese i and e j in P coincide and i < j, the path P can e decomposedinto the pathp = (e 1,...,e i 1,e i = e j,e j+1,...,e r )andthecyclec 0 = (e i,e i+1,...,e j 1 ). Clearly, c(c P ) = c(c P )+c(c 0 ), and hence (2.3) w P = w P w C 0. An example of a perfect planar network in an annulus is shown in Fig. 2.1 on the left. It has two sources, on the outer circle and on the inner circle, and one sink on the inner circle. Each edge e i is laeled y its weight. The cut is shown

5 POISSON GEOMETRY OF DIRECTED NETWORKS IN AN ANNULUS 5 y the dashed line. The same network is shown in Fig. 2.1 on the right; it differs from the original picture y an isotopic deformation of the cut. w 2 w 2 w 3 w 3 w1 w w1 w 8 4 w 7 w 5 w 9 w 6 w 9 w 5 w 4 w 7 w 6 w 8 Figure 2.1. A perfect planar network in an annulus Consider the path P 1 = (e 1,e 2,e 3,e 4 ) from to. Its algeraic intersection numer with the cut equals 0(in the left picture, two intersection points contriute 1 each, and two other intersection points contriute 1 each; in the right picture there are no intersection points). The concordance numer of the corresponding closed curvec P1 equals1. Therefore,(2.1)givesw P1 = w 1 w 2 w 3 w 4. Ontheotherhand,the modified weights for the left picture are given y w 1 = w 1, w 2 = λw 2, w 3 = λ 1 w 3, w 4 = w 4, and hence, computation via (2.2) gives w P1 = w 1 w 2 w 3 w 4 = w 1 w 2 w 3 w 4. Finally, the modified weights for the relevant edges in the right picture coincide with the original weights, and we again get the same result. Consider the path P 2 = (e 7,e 8,e 3,e 4 ) from to. Its algeraic intersection numer with the cut equals 1, and the concordance numer of the corresponding closed curve C P2 equals 1. Therefore, w P2 = λ 1 w 3 w 4 w 7 w 8. The same result can e otained y using modified weights. Finally, consider the path P 3 = (e 1,e 2,e 3,e 5,e 6,e 8,e 3,e 4 ) from to. Clearly, w P3 = λ 1 w 1 w 2 w 2 3w 4 w 5 w 6 w 8. The path P 3 can e decomposed into the path P 1 as aove and a cycle C 0 = (e 3,e 5,e 6,e 8 ) with the weights w P1 = w 1 w 2 w 3 w 4 and w C 0 = λ 1 w 3 w 5 w 6 w 8, hence relation (2.3) yields the same expression for w P3 as efore. Let us see how moving a ase point of the cut affects the weights of paths. Let N = (G,ρ,w) and N = (G,ρ,w) e two networks with the same graph and the same weights, and assume that the cuts ρ and ρ are not isotopic. More exactly, let us start moving a ase point of the cut in the counterclockwise direction. Assume that is the first oundary vertex in the counterclockwise direction from the ase point of ρ that is eing moved. Clearly, nothing is changed while the ase point and do not interchange. Let ρ e the cut otained after the interchange, and assume that no other interchanges occured. Then the relation etween the weight w P of a path P in N and its weight w P in N is given y the following proposition. Proposition 2.1. For N and N as aove, w P(λ) = (( 1) α(p) λ) β(,p) w P,

6 6 MICHAEL GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN where α(p) equals 0 if the endpoints of P lie on the same circle and 1 otherwise, and 1 if is the sink of P, β(,p) = 1 if is the source of P, 0 otherwise. Proof. The proof is straightforward. w 2 w 2 w 3 w 3 w1 w w1 w8 w 8 4 w 4 w 7 w 7 w 5 w 5 w 9 w 9 w 6 w 6 N N Figure 2.2. Moving the ase point of the cut For example, consider the networks N and N shown in Fig The ase point of the cut lying on the inner circle interchanges positions with the sink. The path P 1 from the previous example goes from the outer circle to the inner circle, so α(p 1 ) = 1; esides, is the sink of P 1, so β(,p 1 ) = 1. Therefore, y Proposition 2.1, w P 1 = λw P1 = λw 1 w 2 w 3 w 4, which coincides with the value otained via (2.2). The path P 2 from the previous example starts and ends at the inner circle, so α(p 2 ) = 0. Besides, β(,p 2 ) = 1, and hence, y Proposition 2.1, w P 2 = λw P2 = w 1 w 2 w 3 w 4 ; once again, this coincides with the value otained via (2.2) Boundary measurements. Given a perfect planar network in an annulus as aove, we lael its oundary vertices 1,..., n in the following way. The oundary vertices lying on the outer circle are laeled 1,..., n1 in the counterclockwise order starting from the first vertex that follows after the ase point of the cut. The oundary vertices lying on the inner circle are laeled n1+1,..., n in the clockwise order starting from the first vertex that follows after the ase point of the cut. For example, for the network N in Fig. 2.2, the oundary vertices are laeled as 1 =, 2 =, 3 =, while for the network N, one has 1 =, 2 =, 3 =. The numer of sources lying on the outer circle is denoted y k 1, and the corresponding set of indices, y I 1 [1,n 1 ]; the set of the remaining m 1 = n 1 k 1 indices is denoted y J 1. Similarly, the numer of sources lying on the inner circle is denoted y k 2, and the corresponding set of indices, y I 2 [n 1 + 1,n]; the set of the remaining m 2 = n 2 k 2 indices is denoted y J 2. Finally, we denote

7 POISSON GEOMETRY OF DIRECTED NETWORKS IN AN ANNULUS 7 I = I 1 I 2 and J = J 1 J 2 ; the cardinalities of I and J are denoted k = k 1 +k 2 and m = m 1 +m 2. Givenasource i,i I, andasink j, j J, wedefinetheoundary measurement M(i,j) as the sum of the weights of all paths starting at i and ending at j. Assume first that the weights of the paths are calculated via (2.2). The oundary measurement thus defined is a formal infinite series in variales w e, e E. The following proposition holds true in Z[[ w e,e E]]. Proposition 2.2. Let N e a perfect planar network in an annulus, then each oundary measurement in N is a rational function in the modified weights w e, e E. Proof. The proof y induction on the numer of internal vertices literally follows the proof of the similar statement in [GSV3]. The only changes are that modified weights are used instead of original weights and that the counterclockwise cyclic order is replaced y the cyclic order mod n induced y the laeling. Taking into account the definition of the modified weights, we immediately get the following corollary. Corollary 2.3. Let N e a perfect planar network in an annulus, then each oundary measurement in N is a rational function in the parameter λ and the weights w e, e E. For example, the oundary measurement M(1,2) in the network N shown on Fig. 2.2 equals w 1 w 3 w 4 (w 6 w 8 w 9 λw 2 ) 1+λ 1. w 3 w 5 w 6 w 8 Boundary measurements can e organized into a k m oundary measurement matrix M N exactly as in the case of planar networks in the disk: let I = {i 1 < i 2 < < i k } and J = {j 1 < j 2 < < j m }, then M N = (M pq ), p [1,k], q [1,m], wherem pq = M(i p,j q ). Let Rat k,m stand forthe spaceofrealrationalk m matrix functions in one variale. Then each network N defines a map E N Rat k,m given y M N and called the oundary measurement map corresponding to N. The oundary measurement matrix has a lock structure ( ) M1 M M N = 2, M 3 M 4 where M 1 is k 1 m 1 and M 4 is k 2 m 2. Moving a ase point of the cut changes the weights of paths as descried in Proposition 2.1, which affects M N in the following way. Define Λ + = λ , Λ = λ then interchanging the ase point of the cut with 1 implies transformation ( ) ( ) M1 M 2 Λ+ M 1 Λ M 2, M 3 M 4 M 3 M 4,

8 8 MICHAEL GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN if 1 is a source and ( ) ( M1 M 2 M1 Λ 1 ) + M 2 M 3 M 4 M 3 Λ 1, M 4 if 1 is a sink, while interchanging the ase point of the cut with n yields ( ) ( ) M1 M 2 M1 M 2 M 3 M 4 Λ T + M 3 Λ T M. 4 if n is a source and ( ) ( M1 M 2 M1 M 2 (Λ 1 ) + ) T M 3 M 4 M 3 M 4 (Λ 1, )T if 1 is a sink. Note that Λ + and Λ are k 1 k 1 in the first case, m 1 m 1 in the second case, k 2 k 2 in the third case and m 2 m 2 in the fourth case The space of face and trail weights. Let N = (G, ρ, w) e a perfect network. Consider the Z-module Z E generated y the edges of G. Clearly, points of E N can e identified with the elements of Hom(Z E,R ) via w( n i e i ) = we ni i, where R is the aelian multiplicative group R\0. Further, consider the Z-module Z V generated y the vertices of G and its Z-sumodule Z V0 generated y the internal vertices. An aritrary element ϕ Hom(Z V,R ) acts on E N as follows: if e = (u,v) then ϕ(v) w e w e ϕ(u). Therefore,theweightofapathetweentheoundaryvertices i and j ismultiplied y ϕ( j )/ϕ( i ). It follows that the gauge group G, which preserves the weights of all paths etween oundary vertices, consists of all ϕ Hom(Z V,R ) such that ϕ() = 1 for any oundary vertex, and can e identified with Hom(Z V0,R ). Thus, the oundary measurement map E N Rat k,m factors through the quotient space F N = E N /G as follows: M N = MN F y, where y : E N F N is the projection and MN F is a map F N Rat k,m. The space F N is called the space of face and trail weights for the following reasons. First, y considering the cochain complex 0 G E N 0 with the cooundary operator δ : G E N defined y δ(ϕ)(e) = ϕ(v)/ϕ(u) for e = (u,v), we can identify F N with the first relative cohomology H 1 (G, G;R ) of the complex, where G is the set of all oundary vertices of G. Second, consider a slightly more general situation, when the annulus is replaced y an aritrary Riemann surface Σ with the oundary Σ, and G is emedded into Σ in such a way that all vertices of degree 1 elong to Σ (oundary vertices). Then the exact sequence of relative cohomology with coefficients in R gives 0 H 0 (G Σ, Σ) H 0 (G Σ) H 0 ( Σ) H 1 (G Σ, Σ) H 1 (G Σ) H 1 ( Σ) 0. Evidently, H 1 (G, G) H 1 (G Σ, Σ). Next, H 0 (G Σ, Σ) = 0, since each connected component of G is connected to at least one connected component of Σ, and hence H 1 (G, G) H 1 (G Σ)/H 1 ( Σ) H 0 ( Σ)/H 0 (G Σ) = F f N Ft N.

9 POISSON GEOMETRY OF DIRECTED NETWORKS IN AN ANNULUS 9 The space F f N can e descried as follows. Graph G divides Σ into a finite numer of connected components called faces. The oundary of each face consists of edges of G and, possily, of several arcs of Σ. A face is called ounded if its oundary contains only edges of G and unounded otherwise. Given a face f, we define its face weight y f as the function on E N that assigns to the edge weights w e, e E, the value (2.4) y f = we γe, e f whereγ e = 1ifthedirectionofeiscompatilewiththecounterclockwiseorientation of the oundary f and γ e = 1 otherwise. It follows immediately from the definition that face weights are invariant under the gauge group action, and hence are functions on F f N, and, moreover, form a asis in the space of such functions. Consider now the space FN t. If Σ is a disk, then Ft N = 0, and hence F N and F f N coincide. This case was studied in [GSV3], and the space F N was called there the space of face weights. If Σ is an annulus, there are two possile cases. Indeed, dimh 1 ( Σ) = 2. The dimension of H 1 (G Σ) is either 2 or 1, depending on the existence of a trail connecting the components of Σ. Here a trail is a sequence (v 1,...,v k+1 ) of vertices such that either (v i,v i+1 ) or (v i+1,v i ) is an edge in G for all i [1,k] an the endpoints v 1 and v k+1 are oundary vertices of G. Given a trail t, the trail weight y t is defined as k y t = w(v i,v i+1 ), i=1 where { w e if e = (v i,v i+1 ) E, w(v i,v i+1 ) = we 1 if e = (v i+1,v i ) E. Clearly, the trail weights are invariant under the action of the gauge group. If G does not contain a trail connecting the inner and the outer circles, then dimh 1 (G Σ) = 2, and hence FN t = 0. Otherwise, dimh1 (G Σ) = 1, and hence dimfn t = 1. The functions on Ft N are generated y the weight of any connecting trail. 3. Poisson properties of the oundary measurement map 3.1. Poisson structures on the spaces E N and F N. The construction of a Poisson structure on the space E N for perfect planar networks in an annulus is a straightforward extension of the corresponding construction for the case of the disk studied in [GSV3]. Let G e a directed planar graph in an annulus as descried in Section 2.1. A pair (v,e) is called a flag if v is an endpoint of e. To each internal vertex v of G we assign a 3-dimensional space (R\0) 3 v with coordinates x 1 v,x 2 v,x 3 v. We equip each (R \0) 3 v with a Poisson racket {, } v. It is convenient to assume that the flags involving v are laeled y the coordinates, as shown on Figure 3.1. Besides, to each oundary vertex j of G we assign a 1-dimensional space (R\0) j with the coordinate x 1 j (in accordance with the aove convention, this coordinate laels the unique flag involving j ). Define R to e the direct sum of all the aove spaces; thus, the dimension of R equals twice the numer of edges in G. Note that R is equipped with a Poisson racket {, } R, which is defined as the direct sum of the rackets {, } v ; that is, {x,y} R = 0 whenever x and y are not defined on the

10 10 MICHAEL GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN 1 v x v x v 2 x v 3 x v 3 2 v x v x v 1 Figure 3.1. Edge laeling for R 3 v same (R\0) 3 v. We say that the racket {, } R is universal if each of {, } v depends only on the color of the vertex v. Define the weights w e y (3.1) w e = x i v xj u, provided the flag (v,e) is laeled y x i v and the flag (u,e) is laeled y x j u. In other words, the weight of an edge is defined as the product of the weights of the two flags involving this edge. Therefore, in this case the space of edge weights E N coincides withtheentire(r\0) E, andtheweightsdefineaweight map w: (R\0) d (R\0) E. We require the pushforward of {, } R to (R \ 0) E y the weight map to e a well defined Poisson racket; this can e regarded as an analog of the Poisson Lie property for groups. Proposition 3.1. Universal Poisson rackets {, } R such that the weight map w is Poisson form a 6-parametric family defined y relations (3.2) {x i v,x j v} v = α ij x i vx j v, i,j [1,3],i j, at each white vertex v and (3.3) {x i v,x j v} v = β ij x i vx j v, i,j [1,3],i j, at each lack vertex v. Proof. Indeed, let v e a white vertex, and let e = (v,u) and ē = (v,ū) e the two outcoming edges. By definition, there exist i,j,k,l [1,3], i j, such that w e = x i vx k u, wē = x j vx l ū. Therefore, {w e,wē} N = {x i v xk u,xj v xl ū } R = x k u xl ū {xi v,xj v } v, where {, } N stands for the pushforward of {, } R. Recall that the Poisson racket in (R \ 0) 3 v depends only on x 1 v, x 2 v and x 3 v. Hence the only possiility for the right hand side of the aove relation to e a function of w e and wē occurs when {x i v,x j v} v = α ij x i vx j v, as required. Black vertices are treated in the same way. The 6-parametric family of universal Poisson rackets descried in Proposition 3.1 induces a 6-parametric family of Poisson rackets {, } N on E N. Our next goal is to study the pushforward of this family to F N y the map y. Theorem 3.2. The 6-parametric family {, } N induces a 2-parametric family of Poisson rackets {, } FN on F N with parameters α and β given y (3.4) α = α 23 +α 13 α 12, β = β 23 +β 13 β 12.

11 POISSON GEOMETRY OF DIRECTED NETWORKS IN AN ANNULUS 11 Proof. In what follows it will e convenient to assume that oundary vertices are colored in gray. Let e = (u,v) e a directed edge. We say that the flag (u,e) is positive, and the flag (v,e) is negative. The color of a flag is defined as the color of the vertex participating in the flag. Consider first a racket of two face weights. Let f and f e two faces of N. We say that a flag (v,e) is common to f and f if oth v and e elong to f f. Clearly, the racket {y f,y f } FN can e calculated as the sum of the contriutions of all flags common to f and f. Assume that (v,e) is a positive white flag common to f and f, see Fig Then y f = x3 v ȳ f and y f = x 1 vx 2 vȳ f, where x i v are the weights of flags involving x 2 v v and {x i v,ȳ f} R = {x i v,ȳ f } R = 0. Therefore, y (3.2), the contriution of (v,e) equals (α 12 α 13 α 23 )y f y f, which y (3.4) equals αy f y f. Assume now that (v,e) is a negative white flag common to f and f, see Fig In this case y f = 1 ȳ f and y f = x 1 v x2 vȳf, so the contriution of (v,e) equals x 1 v x3 v (α 13 +α 23 α 12 )y f y f = αy f y f. e f f v f v e a) ) f Figure 3.2. Contriution of a white common flag: a) positive flag; ) negative flag In a similar way one proves that the contriution ofapositive lack flag common tof andf equals βy f y f, andthe contriutionofanegativelackflagcommonto f andf equalsβy f y f. Finally, the contriutionsofpositiveandnegativegrayflags are clearly equal to zero. Therefore, the rackets {y f,y f } FN form a 2-parametric family with parameters α and β defined y (3.4). The case of a racket {y f,y t } FN is treated in a similar way Induced Poisson structures on Rat k,m. Fix an aritrary pair of partitions I 1 J 1 = [1,n 1 ], I 1 J 1 =, I 2 J 2 = [n 1 + 1,n], I 2 J 2 =, and denote k = I 1 + I 2, m = n k = J 1 + J 2. Let Net I1,J 1,I 2,J 2 stand for the set of all perfect planar networks in an annulus with the sources i, i I 1 and sinks j, j J 1, on the outer circle, sources i, i I 2 and sinks j, j J 2, on the inner circle, and edge weights w e defined y (3.1). We assume that the space of edge weights E N = R E is equipped with the Poisson racket {, } N otained as the pushforward of the 6-parametric family {, } R descried in Proposition 3.1. Theorem3.3. There exists a 2-parametric family of Poisson rackets {, } I1,J 1,I 2,J 2 on Rat k,m withthe following property: for any choice of parameters α ij, β ij in (3.2), (3.3) this family contains a unique Poisson racket on Rat k,m such that for any network N Net I1,J 1,I 2,J 2 the map M N : (R\0) E Rat k,m is Poisson.

12 12 MICHAEL GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN Proof. First of all, we use the factorization M N = MN F y to decrease the numer of parameters. By Theorem 3.2, it suffices to consider the 2-parametric family (3.5) { x 2 v, x 3 v} v = α x 2 v x 3 v, { x 1 v, x 2 v} v = { x 1 v, x 3 v} v = 0 and (3.6) { x 2 v, x 3 v} v = β x 2 v x 3 v, { x 1 v, x 2 v} v = { x 1 v, x 3 v} v = 0 with α and β defined y (3.4), instead of the 6-parametric family (3.2), (3.3) The rest of the proof consists of two major steps. First, we compute the induced Poisson racket on the image of the oundary measurement map. More exactly, we show that the racket {, } N of any pair of pullacks of coordinate functions on the image can e expressed in terms of pullacks of other coordinate functions, and that for fixed I 1,J 1,I 2,J 2 these expressions do not depend on the network N Net I1,J 1,I 2,J 2. Second, we prove that any rational matrix function elongs to the imageoftheoundarymeasurementmap(forasufficientlylargen Net I1,J 1,I 2,J 2 ), and therefore {, } N induces {, } I1,J 1,I 2,J 2 on Rat k,m. This approach allows us to circumvent technical difficulties one encounters when attempting to check the Jacoi identity in the image in a straightforward way. To compute the induced Poisson racket on the image of the oundary measurement map, we consider coordinate functions val t : f f(t) that assign to any f Rat 1,1 its value at point t. Given a pair of two matrix entries, it suffices to calculate the racket etween aritrary pair of functions val t and val s defined on two copies of Rat 1,1 representing these entries. Since the pullack of val t is the corresponding component of M N (t), we have to deal with expressions of the form {M pq (t),m p q (s)} N. To avoid overcomplicated formulas we consider separately two particular representatives of the family (3.5), (3.6): 1) α = β = 1, and 2) α = β = 1. Any memer of the family can e represented as a linear comination of the aove two. Denote y {, } 1 N the memer of the 2-parametricfamily (3.5), (3.6) corresponding to the case α = β = 1. Besides, define σ = (i,j,i,j ) = sign(i i) sign(j j); clearly,σ = (i,j,i,j )iscloselyrelatedtos = (i,j,i,j )definedandstudiedin[gsv3]. The racket induced y {, } 1 N on the image of the oundary measurement map is completely descried y the following statement. Proposition 3.4. (i) Let i p,i p [1,n 1 ] and 1 max{i p,i p } < j q < j q n, then (3.7) {M pq (t),m p q (s)} 1 N = σ =(i p,j q,i p,j q )M p q (s)m pq (t) 2 where Φ p q pq(t,s) = t s Φ p q pq (t,s), ( Mp q (t) M p q (s) )( sm pq (t) tm pq (s) ), j q < j q n 1, sm pq (t) ( M p q (t) M p q (s) ), j q n 1 < j q, s ( M p q (t)m pq (s) M p q (s)m pq (t) ), n 1 < j q < j q. (ii) Let j q,j q [n 1 +1,n] and 1 i p < i p < min{j q,j q } n, then (3.8) {M pq (t),m p q (s)} 1 N = σ = (i p,j q,i p,j q )M p q (t)m pq (s) 2 where Ψ p q pq(t,s) = t s Ψ p q pq(t,s), t ( M p q (t)m pq (s) M p q (s)m pq (t) ), i p < i p n 1, tm p q (t) ( M pq (t) M pq (s) ), i p n 1 < i p, ( tm p q (t) sm p q (s) )( M pq (t) M pq (s) ), n 1 < i p < i p.

13 POISSON GEOMETRY OF DIRECTED NETWORKS IN AN ANNULUS 13 (3.9) (iii) Let 1 i p = i p < j q = j q n, then {M pq (t),m pq (s)} 1 N { 2 = t s( Mpq (t) M pq (s) )( sm pq (t) tm pq (s) ), i p < j q n 1, 0, i p n 1 < j q. (iv) Let 1 i p < min{i p,j q,j q }, then (3.10) {M pq (t),m p q (s)} 1 N 2t t s( Mp q (t) M p q (s) )( M pq (t) M pq (s) ), j q < i p < j q n 1, = 2t t s( Mp q (t)m pq (t) M p q (s)m pq (s) ), j q n 1 < i p < j q, 0, j q n 1 < i p < j q. Proof. Let us first make sure that relations (3.7) (3.10) indeed allow to compute {M pq (t),m p q (s)} 1 N for any p, p [1,k] and q, q [1,m]. This is done y employing the following three techniques: moving a ase point of the cut; reversing the direction of the cut; reversing the orientation of oundary circles. The first of the aove techniques has een descried in detail in Section 2.1. For example, let 1 j q < i p < i p < j q n 1. This case is not covered explicitly y relations (3.7) (3.10). Consider the network N otained from N y moving the ase point of the cut on the outer circle counterclockwise and interchanging it with j q. In this new network one has 1 i p < i p < j q < j q = n 1, so the conditions of Proposition 3.4(i) are satisfied and (3.7) yields {M p q (t),m p q (s)}1 N = 2M p q (s)m p q (t) 2 ( Mp q t s (t) M p q (s))( sm p q (t) tm p q (s)). By Lemma 2.1, M p q (t) = tm pq(t), M p q (t) = M p q(t), M p q (t) = M p q(t), M p q (t) = tm p q (t). Finally, {, } N = {, } N for any pair of edge weights, so we get {M pq (t),m p q (s)} 1 N = 2M p q (s)m pq (t) 2s ( Mp q (t) M p q (s) )( M pq (t) M pq (s) ). t s Reversing the direction of the cut transforms the initial network N to a new network N ; the graph G remains the same, while the laeling of its oundary vertices is changed. Namely, the n 1 = n 2 oundary vertices lying on the inner circle are laeled 1,..., n 1 in the clockwise order starting from the first vertex that follows after the ase point of the cut. The oundary vertices lying on the outer circle are laeled n 1 +1,..., n in the counterclockwise order starting from the first vertex that follows after the ase point of the cut. The transformation N N is etter visualized if the network is drawn on a cylinder, instead of an annulus. The oundary circles of a cylinder are identical, and reversing the direction of the cut simply interchanges them. Clearly, the oundary measurements in N and N are related y M r s (t) = M rs(1/t) for any i r I, j s J. Besides, {, } N = {, } N for any

14 14 MICHAEL GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN pair of edge weights. Therefore, an expression for {M pq (t),m p q (s)} 1 N via M p q(t), M p q (s), M pq (t), M pq (s) is transformed to the expression for {M p q (t),m p q (s)}1 N via M p q (t), M p q (s), M p q (t), M p q (s) y the sustitution t 1/t and s 1/s in coefficients. For example, let 1 i p < j q < j q n 1 < i p n. This case is not covered explicitly y relations (3.7) (3.10). Consider the network N otained from N y reversing the direction of the cut. In this new network one has 1 i p n 1 < i p < j q < j q n, so the conditions of Proposition 3.4(ii) are satisfied and (3.8) yields {M p q (t),m p q (s)}1 N = 2M 2t p q (t)m p q (s)+ t s M p q (t)( M p q (t) M p q (s)). Applying the aove descried rule one gets {M pq (t),m p q (s)} 1 N = 2M p q(t)m pq (s)+ 2t 1 t 1 s 1M p q(t) ( M pq (t) M pq (s) ) = 2M p q (t)m pq (s) 2s t s M p q(t) ( M pq (t) M pq (s) ). Finally, reversing the orientation of oundary circles also retains the graph G andchangesthe laelingofits oundaryvertices. Namely, the n 1 oundaryvertices of N lying on the outer circle are laeled 1,..., n1 in the clockwise order starting from the first vertex that follows after the ase point of the cut. The oundary vertices lying on the inner circle are laeled n1+1,..., n in the counterclockwise order starting from the first vertex that follows after the ase point of the cut. The transformation N N may e visualized as a mirror reflection. Clearly, the oundary measurements in N and N are related y M r s (t) = M rs(1/t) for any i r I, j s J. Besides, {, } N = {, } N for any pair of edge weights. Therefore, the transformation of the expressions for the rackets differs from the one for the case of cut reversal y factor 1. For example, let 1 j q < i p < i p < j q n 1. This case is not covered explicitly y relations (3.7) (3.10). Consider the network N otained from N y reversing the orientation of oundary circles. In this new network one has 1 i p < j q < i p < j q n 1, so the conditions of Proposition 3.4(iv) are satisfied and (3.10) yields {M p q (t),m p q (s)}1 N = 2t ( Mp q t s (t) M p q (s))( M p q (t) M p q (s)). Applying the aove descried rule one gets {M pq (t),m p q (s)} 1 N = 2t 1 ( Mp q t 1 s 1 (t) M p q (s) )( M pq (t) M pq (s) ) = 2s ( Mp q (t) M p q (s) )( M pq (t) M pq (s) ). t s Elementary, though tedious, consideration of all possile cases reveals that indeedanyquadruple(i p,j q,i p,j q ) canereducedythe aovethreetransformations to one of the quadruples mentioned in the statement of Proposition 3.4. It is worth to note that cases (i) and (ii) are not independent. First, they oth apply if 1 i p < i p n 1 < j q < j q n; the expressions prescried y (3.7)

15 POISSON GEOMETRY OF DIRECTED NETWORKS IN AN ANNULUS 15 and (3.8) are distinct, ut yield the same result: 2M p q (s)m pq (t) 2s ( Mp q (t)m pq (s) M p q (s)m pq (t) ) t s = 2M p q (t)m pq (s) 2t ( Mp q (t)m pq (s) M p q (s)m pq (t) ). t s Besides, the expression for n 1 < i p < i p < j q < j q n in case (ii) can e otained from the expressions for 1 i p < i p < j q < j q n 1 in case (i) y reversing the direction of the cut. However, we think that the aove presentation, though redundant, etter emphasizes the underlying symmetries of the otained expressions. The proof of relations (3.7) (3.10) is similar to the proof of Theorem 3.3 in [GSV3] and is ased on the induction on the numer of internal vertices in N. The key ingredient of the proof is the following straightforward analog of Lemma 3.5 from [GSV3]. Consider an aritrary oundary vertex i (without loss of generality we may assumethat i lies on the outer circle ofthe annulus) and suppose that the neighor of i is alackvertexu. Denote yu + the uniquevertexin Gsuchthat(u,u + ) E, and y u the neighor of u distinct from u + and i. Create a new network N y deleting i and the edge e 0 = ( i,u) from G, splitting u into one new source iu and one new sink ju placed on the outer circle (so that either i 1 < i u < j u < i+1 or i 1 < j u < i u < i+1) and replacing the edges e + = (u,u + ) and e = (u,u) y new edges ê + = ( iu,u + ) and ê = (u, ju ), see Figure 3.3. We may assume without loss of generality that the cut ρ in N does not intersect the edge e 0, and hence ρ remains a valid cut in N. i 1 i 1 u u i e u e + u + ju u + N i+1 i u N i+1 i 1 i i 1 u + u + e + u e u i u u ju i+1 N N i+1 Figure 3.3. Splitting a lack vertex: cases i 1 < i u < j u < i+1 (upper part) and i 1 < j u < i u < i+1 (lower part)

16 16 MICHAEL GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN Lemma 3.5. Boundary measurements in the networks N and N are related y M(i p,j) = w e0 w e+ M(iu,j) 1+w e w e+ M(iu,j u ), M(i p,j) = M(i p,j)± w e w e+ M(i p,j u ) M(i u,j), p p; 1+w e w e+ M(iu,j u ) in the second formula aove, sign + corresponds to the cases i p 1 j u i u i p +1 j i p or i p j i p 1 i u j u i p +1, and sign corresponds to the cases i p 1 i u j u i p +1 j i p or i p j i p 1 j u i u i p +1, where is the cyclic order modn. We leave the details of the proof to the interested reader. Denote y {, } 2 N the memer of the 2-parametricfamily (3.5), (3.6) corresponding to the case α = β = 1. Besides, define σ (i,j,i,j ) = sign(i i)+sign(j j); clearly,σ (i,j,i,j )iscloselyrelatedtos (i,j,i,j )definedandstudiedin[gsv3]. The racket induced y {, } 2 N on the image of the oundary measurement map is completely descried y the following statement. Proposition 3.6. (i) Let 1 max{i p,i p } < j q < j q n, then (3.11) {M pq (t),m p q (s)} 2 N = σ (i p,j q,i p,j q )M pq (t)m p q (s) 2Γ p q pq(t,s), where Γ p q pq(t,s) = 0, j q n 1, sm pq (t)m p q (s), j q n 1 < j q, tm pq(t)m p q (s) sm pq (t)m p q(s), max{i p,i p } n 1 < j q, tm pq(t)m p q (s), i p n 1 < i p, and M pq, M p q are the derivatives of M pq and M p q. (ii) Let 1 i p < j q < i p < j q n and either j q n 1 < i p or j q n 1, then (3.12) {M pq (t),m p q (s)} 2 N = 0. (iii) Let 1 i p < j q < i p < j q n and either j q n 1 < i p or j q n 1, then (3.13) {M pq (t),m p q (s)} 2 N = 0. Proof. The proof is similar to the proof of Proposition 3.4. We leave the details to the interested reader. Remark 3.7. It is worth to mention that the racket induced on k m matrices via perfect planar networks in a disk, which was studied in [GSV3], can e considered as a particular case of (3.7) (3.10) (for α = β = 1) or (3.11) (3.13) (for α = β = 1). To see this it suffices to consider only networks without edges that intersect the cut ρ, and to cut the annulus along ρ in order to get a disk.

17 POISSON GEOMETRY OF DIRECTED NETWORKS IN AN ANNULUS Realization theorem. To conclude the proof of Theorem 3.3 we need the following statement. We say that F Rat k,m is represented y a network N if F elongs to the image of M N. Theorem 3.8. For any F Rat k,m there exists a network N Net I1,J 1,I 2,J 2 such that F is represented y N. Proof. We preface the proof y the following simple oservation concerning perfect planar networks in a disk. Lemma 3.9. Let n = 4, I = {1,2}, J = {3,4}. There exists a network N id Net I,J such that the 2 2 identity matrix is represented y N id. Proof. The proof is furnished y the network depicted on Fig The corresponding oundary measurement matrix is given y ( ( ) ) w1 w 8 w3 w 11 (w 2 +w 6 w 9 w 10 )+w 6 w 7 w 9 w 1 w 3 w 4 (w 2 +w 6 w 9 w 10 ), w 1 w 6 w 8 (w 7 +w 3 w 10 w 11 ) w 3 w 4 w 5 w 6 w 10 which yields the identity matrix for w 5 = w 10 = 1 and w i = 1 for i 5, w w w w w w w w w w w 2 3 Figure 3.4. Network N id Effectively, Lemma 3.9 says that the planarity restriction can e omitted in the proof of Theorem 3.8. Indeed, if F Rat k,m is represented y a nonplanar perfect network in an annulus, one can turn it to a planar perfect network in annulus y replacing each intersection y a copy of N id. In what follows we make use of the concatenation of planar networks in an annulus. Similarly to the case of networks in a disk, the most important particular case of concatenation arises when the sources and the sinks are separated, that is, all sources lie on the outer circle, and all sinks lie on the inner circle. We can concatenate two networks of this kind, one with k sources and m sinks and another with m sources and l sinks, y gluing the sinks of the former to the sources of the latter. More exactly, we glue together the inner circle of the former network and the outer circle of the latter in such a way that the corresponding ase points of the cuts are identified, and the ith sink of the former network is identified with the (m+1 i)th source of the latter. The erasure of the common oundary and the identification of edges are performed exactly as in the case of a disk.

18 18 MICHAEL GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN Let us start with representing any rational function F Rat 1,1 y a network with the only source on the outer circle and the only sink on the inner circle. Lemma Any rational function F Rat 1,1 can e represented y a network N Net 1,,,2. Proof. First, if networks N 1,N 2 Net 1,,,2 represent functions F 1 and F 2 respectively, their concatenation N 1 N 2 Net 1,,,2 represents F 1 F N N N1 N Figure 3.5. The direct sum of two networks (left) and a network representing the sum of two functions (right) Second, define the direct sum N 1 N 2 Net [1,2],,,[3,4] as shown in the left part of Fig The shadowed annuli contain networks N 1 and N 2. The intersections of the dashed parts of additional edges with the edges of N 1 and N 2 are resolved with the help of N id (not shown). Note that this direct( sum operation ) is not 0 F1 commutative. Clearly, N 1 N 2 represents the 2 2 matrix. The direct F 2 0 sum of networks is used to represent the sum F 1 +F 2 as shown in the right part of Fig Third, if N Net 1,,,2 represents F, the network shown in Fig. 3.6 represents F/(1+F), and, with a simple adjustment of weights, can also e used to represent F/(1+F). Taking the direct sum with the trivial network representing 1, we get a representation for 1/(1+F). Finally, functions aλ k for any integer k can e represented y networks in Net 1,,,2. The cases k = 2 and k = 2 are shown in Fig Other values of k are otained in the same way. Wenowhavealltheingredientsfortheproofofthelemma. Anyrationalfunction F can e represented as F(λ) = r i=0 a iλ d+i /Q(λ), where d is an integer and Q is a polynomial satisfying Q(0) = 1. Therefore, it suffices to represent each of the summands, and to use the direct sum construction. Each summand, in its turn, is represented y the concatenation of a network representing a i λ d+i with a network representing 1/Q = 1/(1+(Q 1). The latter network is otained as explained aove from a network representing Q 1 = p j=1 jλ j via the direct sum construction.

19 POISSON GEOMETRY OF DIRECTED NETWORKS IN AN ANNULUS 19 1 N Figure 3.6. Representing F/(1 + F) Figure 3.7. Representing aλ k for k = 2 (left) and k = 2 (right) To get an analog of Lemma 3.10 for networks with the only source and the only sink on the outer circle, one has to use once again Lemma 3.9. Lemma Any rational function F Rat 1,1 can e represented y a network N Net 1,2,,. Proof. Such a representation is otained from the one constructed in the proof of Lemma 3.10 y replacing the edge incident to the sink with a new edge sharing the same tail. The arising intersections, if any, are resolved with the help of N id. For example, representation of a(1 +λ) 1 otained this way is shown in Fig. 3.8 on the right. It makes use of the network N id descried in Lemma 3.9; the latter is shown in thin lines inside a dashed circle. Note that the network on the left, which representsa(1+λ) 1 in Net 1,,,2, is not the one uilt in the proofof Lemma Representation of rational functions y networks in Net 2,1,, and Net,1,2, is otained in a similar way. In the latter case one has to replace also the edge incident to the source with a new one sharing the head. The next step is to prove Theorem 3.8 in the case when all sources lie on the outer circle and all sinks lie on the inner circle.

20 20 MICHAEL GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN Figure 3.8. Representing a(1+λ) 1 y a network in Net 1,,,2 (left) and Net 1,2,, (right) Lemma For any rational matrix F Rat k,m there exists a network N Net [1,k],,,[k+1,k+m] such that F is represented y N. Proof. First of all, we represent F as F = A FB, where A = {a ij } is the k km constant matrix given y { 1, if (k i)m < j (k i+1)m, a ij = 0, otherwise, F is the km km diagonal matrix F = diag{f km,f k,m 1,...,F k1,f k 1,m,...,F 11 }, and B is the km m constant matrix B = with W 0 = (δ i,m+1 j ) m i,j=1. Similarly to the case of networks in a disk, the concatenationofnetworksrepresentingmatricesf 1 andf 2 producesanetworkrepresenting F 1 W 0 F 2. Therefore, in order to get F as aove, we have to represent matrices A, W 0 F and W0 B. The first representation is achieved trivially as the disjoint union of networks representing the 1 m matrix ( ); in fact, since A is constant, it can e represented y a network in a disk. The second representation is otained as the direct sum of networks representing each of F ij. Finally, the third representation can e also achieved y a network in a disk, via a repeated use of the network N id. Oserve that in order to represent a k m matrix we have to use intermediate matrices of a larger size. To complete the proof of Theorem 3.8 we rely on Lemma 3.12 and use the same idea of replacing edges incident to oundary vertices as in the proof of Lemma So, Theorem 3.8 has een proved, and hence the proof of Theorem 3.3 is completed. W 0. W 0