arxiv:math/ v2 [math.ac] 1 Dec 2007

The upper bound for the index of nilpotency for a matrix commuting with a given nilpotent matrix arxiv:math/0701561v2 [math.ac] 1 Dec 2007 Polona Oblak polona.oblak@fmf.uni-lj.si February 2, 2008 Abstract. We study the set P(N B ) of all possible Jordan canonical forms of nilpotent matrices commuting with a given nilpotent matrix B. We describe P(N B ) in the special case when B has only one Jordan block and discuss some consequences. In the general case, we find the maximal possible index of nilpotency in the set of all nilpotent matrices commuting with a given nilpotent matrix. We consider several examples. Math. Subj. Class (2000): 15A04, 15A21, 15A27 Key words: commuting nilpotent matrices, Jordan canonical form. 1 Introduction We consider the following problem: What are possible sizes of Jordan blocks for a pair of commuting nilpotent matrices? Or equivalently, for which pairs of nilpotent orbits of matrices (under similarity) there exists a pair of matrices, one from each orbit, that commute. The answer to the question could be considered as a generalization of Gerstenhaber Hesselink theorem on the partial order of nilpotent orbits [4]. The structure of the varieties of commuting pairs of matrices and of commuting pairs of nilpotent matrices is not yet well understood. It was proved by Motzkin and Taussky [13] (see also Guralnick [7]), that the variety of pairs of commuting matrices was irreducible. It was Guralnick [7] who showed that this is no longer the case for the variety of triples of commuting matrices (see also Guralnick and Sethuraman [8], Holbrook and Omladič [11], Omladič [14], Han [10], Šivic [16]). Recently, it was proved that the variety of commuting pairs of nilpotent matrices was irreducible (Baranovsky [1], Basili [2]). Our motivation to study the problem is to contribute to better understanding of the structure of this variety and which might also help in understanding the (ir)reducibility of the variety of triples of commuting matrices. 1

We are also motivated by the problems posed by Binding and Košir [12] in the multiparameter spectral theory and Gustafson [9] in the module theory over commutative rings. In both problems, certain pairs of commuting matrices appear. The matrices from the multiparameter spectral theory generate an algebra that is a complete intersection, and the matrices from the theory of modules are both functions of another matrix. Here we initiate the study of the problem. First we list all possible Jordan forms for nilpotent matrices commuting with a single Jordan block. In the Section 3 we recall the correspondence between directed graphs and generic matrices (also known as Gansner Saks Theorem), which is the main tool to prove our main result, i.e., to compute the maximal index of nilpotency of a nilpotent matrix commuting with a given nilpotent matrix with Jordan canonical form µ. In the last section we discuss some further examples. 2 The one Jordan block case and consequences Let us denote by N = N(n, F) the variety of all n n nilpotent matrices over a field F of characteristic 0 and write N 2 = {(A,B) N N;AB = BA}. We follow the notations used in Basili [2] and write N B = {A N; AB = BA} for some B N. Suppose µ 1 µ 2... µ t > 0 are the orders of Jordan blocks in the Jordan canonical form for B. We call the partition µ = (µ 1,µ 2,...,µ t ) the shape of the matrix B and denote it by sh(b). We also write sh(b) = (m r 1 1,mr 2 2,...,mr l l ), where m 1 > m 2 >... > m l. Let P(n) denote the set of all partitions of n N and for a subset S N(n, F) write Denote also P(S) = {µ P(n); µ = sh(a) for some A S}. P(N 2 ) = {(sh(a),sh(b)); (A,B) N 2 } P(n) P(n). Note that (λ,µ) P(N 2 ) if and only if (µ,λ) P(N 2 ), i.e. P(N 2 ) is symmetric. It is easy to see that for each t = 1,2,...,n there exists a uniquely defined partition ( r(n,t) := (λ 1,λ 2,...,λ t ) P(n), such that λ 1 λ t 1. It can be verified that r(n,t) = n r t, n ) t r t. Denote R(n) = {r(n,t); t = 1,2,...,n}. For µ = (µ 1,µ 2,...,µ r ) we define in the same fashion r(µ,t) = (r(µ 1,t),r(µ 2,t),...,r(µ r,t)). Take a matrix B N(n, F) with dim ker B = 1 (i.e. sh(b) = (n)). Then it is well known that any matrix commuting with B is a polynomial in B. By computing the lengths of the Jordan chains of B, we observe that sh(b k ) = r(n,k) for k = 1,2,...,n. Thus we have the following. Proposition 1. For a matrix B with dimker B = 1 it follows that P(N B ) = R(n). 2

For a sequence (a 1,a 2,...,a k ), a i N, we write ord(a 1,a 2,...,a k ) = (a π(1),a π(2),...,a π(k) ), where a π(1) a π(2)... a π(k) and π is a permutation of {1,2,...,k}. For λ = (λ 1,λ 2,...,λ t ) P(n) we write R(λ) ={ord(r(λ 1,s 1 ),r(λ 2,s 2 ),...,r(λ t,s t )); s i = 1,2,...,i }. So, for example, (3,3,2) R((5,3)), but (4,3,1) / R((5,3)). Proposition 2. For all µ P(n) it follows that {(µ,λ);λ R(µ)} P(N 2 ). Proof. Take an arbitrary B N with sh(b) = µ = (µ 1,µ 2,...,µ t ) and pick λ R(µ). We want to find a matrix A N B such that sh(a) = λ. By definition, λ is of the form λ = ord(r(µ 1,k 1 ),r(µ 2,k 2 ),...,r(µ t,k t )). Let J µi be a µ i µ i Jordan block corresponding to eigenvalue 0. Since sh(j k i µ i ) = r(µ i,k i ), it follows that the matrix A = J k 1 µ 1 J k 2 µ 2... Jµ kt t has sh(a) = λ and clearly A N B. For a matrix A denote by ι(a) its index of nilpotency, i.e. ι(a) = min{i; A i = 0}. For S N(n, F) write ι(s) = max{i; i = ι(a) for some A S}. The following Corollaries can be easily obtained from Propositions 1 and 2. Corollary 3. If λ P(n), then λ R(n) if and only if ((n),λ) P(N 2 ). Corollary 4. For B N it follows that sh(b) R(n) if and only if ι(n B ) = n. Example 5. Note that Proposition 2 gives us a rather large subset of partitions in N B. Take sh(b) = (4,3,2 2,1). First we directly observe that (4,3,2 2,1), (4,3,2,1 3 ), (4,3,1 5 ), (4,2 3,1 2 ), (4,2 2,1 4 ), (4,2,1 6 ), (4,1 8 ), (3,2 4,1), (3,2 3,1 3 ), (3,2 2,1 5 ), (3,2,1 7 ), (3,1 9 ), (2 5,1 2 ), (2 4,1 4 ), (2 3,1 6 ), (2 2,1 8 ), (2,1 10 ), (1 12 ) are all in P(N B ). Next, we see that (4,3,2 2,1) is included in R(µ) if µ is (7,5), (7,4,1), (7,3,2), (7,2 2,1), (5,4,3), (5,4,2,1), (4 2,3,1), (4,3 2,2) or (4,3,2 2,1). Thus, by symmetry, also all these partitions are in P(N B ). Corollary 3 shows that P(N B ) P(12). The natural question is whether the list above is the entire P(N B ). It can be verified with Mathematica that the answer is negative and that there are more partitions in P(N B ). However, it would take a lot of time to compute P(N B ) without computer. From results in Section 5 it follows that there exists a partition (µ 1,µ 2,...,µ k ) P(N B ) such that µ 1 = 9. 3

3 Directed graphs and the Gansner-Saks theory A digraph is a directed graph (i.e. a graph each of whose edges are directed). A path of length k in a digraph Γ is a sequence of vertices a 1,a 2,...,a k such that (a i,a i+1 ) is an edge in Γ for i = 1,2,...,k 1. We do allow a path to consist of a single vertex. For a path P we denote by P its length. We call a 1 (resp. a k ) the initial (resp. final) vertex of P. A path a 1,...,a k with a 1 = a k is called a cycle. A digraph without cycles is called an acyclic digraph. Let Γ be a finite acyclic digraph on n vertices, with the vertices labeled from 1 to n. A k path in Γ is a subset of the vertices that can be partitioned into k or fewer disjoint paths. Let ˆd k = ˆd k (Γ) be the largest cardinality of a k path in Γ and define ˆd 0 = 0 and k = k (Γ) = ˆd k ˆd k 1. Since ˆd k ˆd k+1, all the k s are nonnegative, so we have the infinite sequence = (Γ) = ( 1, 2,...) of nonnegative integers. We denote by M(i;j) the entry in the i-th row and the j-th column of the matrix M. We say that matrices M and N of the same size have the same pattern if M(i;j) = 0 if and only if N(i;j) = 0 for i,j = 1,2,...,n. Let F be a field that contains F and has at least n 2 algebraically independent transcendentals over rational numbers Q. A matrix M N(n, F) is called generic if all its nonzero entries are algebraically independent transcendentals over Q. For a nilpotent matrix A N(n, F) and a generic M N(n, F) of the same pattern it follows that ι(a) ι(m). Given a finite acyclic digraph Γ with n vertices, we assign to it a generic n n matrix M Γ = [m ij ] such that m ij = 0 if (i,j) is not an edge in Γ and such that the rest of the entries of M Γ are nonzero complex numbers which are independent transcendentals. Since Γ is acyclic, M Γ is nilpotent. Conversely, given a nilpotent generic matrix, it corresponds, reversing the above assignment, to an acyclic digraph on n vertices. Example 6. Consider a generic nilpotent matrix M =. Its di- graph Γ M is then equal to the digraph on the Figure 1. 0 0 a 0 b 0 0 0 0 c 0 d 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 e 0 f 0 0 0 0 0 0 4

1 2 5 3 6 4 Figure 1: Conversely, every digraph Γ as on the Figure 1, corresponds to a generic matrix with the same pattern as matrix M. The following theorem was independently proved by Gansner [5] and Saks [15]. Theorem 7. Let M be a generic nilpotent matrix. Then (Γ M ) = sh(m). Corollary 8. The length of the longest path in an acyclic digraph Γ is equal to ι(m Γ ). Example 9. Take matrix M as in example 6 and digraph Γ as on the Figure 1. We easily see that ˆd 1 = 3 (a path of length 3 is 1,5,4), ˆd 2 = 5 (a path of length 3 is 1,5,6 and a path of length 2 is 2,4) and ˆd 3 = 6. By Theorem 7 it follows that sh(m) = (3,2,1). 4 The (N B, A) digraph and its paths Let us fix a nilpotent matrix B N(n, F) with sh(b) = µ = (µ 1,µ 2,...,µ t ) = (m r 1 1,mr 2 2,...,mr l l ). By convention we have m 1 > m 2 >... > m l > 0. In this section we introduce some special digraphs, corresponding to elements in N B. For a pair of matrices (A,B) N 2 denote sh(a,b) = (sh(a),sh(b)). Then there exists P GL n (F) such that B = PJ B P 1, where J B denotes the Jordan canonical form of matrix B. Thus sh(pap 1,J B ) = (sh(a),sh(b)) and (PAP 1,J B ) N 2. Therefore we can assume that B is already in its upper triangular Jordan canonical form. 5

Write A = [A ij ] where A ij M µi µ j. It is well known (see e. g. [6, p. 297]) that if AB = BA, then A ij are all upper triangular Toeplitz matrices, i.e. for 1 j i t we have a 0 ji a 1 ji... a µ i 1 ji 0... 0 a 0 ij a 1 ij... a µ i 1 0 a 0... ji. ij. A ij =... 0 a 0.... ij....... a 1 ji..... 0.. a 1 ij and A ji =. 0 a 0. (1) ji 0............ 0 a 0 ij. 0.. 0...... 0 If µ i = µ j then we omit the rows or columns of zeros in A ij or A ji above. We introduce some further notation following Basili [2]. For a matrix B with sh(b) = (µ 1,µ 2,...,µ t ) we denote by r B and k i, i = 1,2,...,r B, the numbers such that k 1 = 1, µ ki µ ki+1 2, µ ki µ ki+1 1 1 for i = 1,2,...,r B 1, µ krb µ t 1. Note that k i {1,2,...,t}. For example, if sh(a) = (5 3,3 2,1 3 ) and sh(b) = (5 3,4,3 2,2 4,1 3 ), then r A = r B = 3. Furthermore, sh(c) R(n) if and only if r C = 1. Set q 0 = 0, q l = t and for α = 1,2,...,l let q α {1,2,...,t}, be such that µ i = µ i+1 if q α 1 + 1 i < q α and µ qα µ qα+1. For a block matrix with blocks as in (1) we define A αα = [a 0 ij ] where q α 1 + 1 i,j q α. Lemma 10. [2, Proposition 2.3] For an n n matrix A such that AB = BA it follows that A N B if and only if A αα are nilpotent for α = 1,2,...,l. Moreover, if A N B there exists a Jordan basis for B such that A αα are all strictly upper triangular. Therefore, when we study what are possible shapes of pairs from the set N 2 (or in particular what are the indices of nilpotency in N B ), we may consider only matrices A N B such that we have a 0 ij = 0 for all 1 j i t whenever µ i = µ j. From now, we assume that the latter relations hold for A. Let Γ be a digraph corresponding to a generic matrix M N(n, F) such that M has the same pattern as a matrix A N B. We call Γ an (N B,A)-digraph. Example 11. Consider a nilpotent matrix B with sh(b) = and a matrix A = 0 0 a 0 b 0 0 0 0 a 0 b 0 0 0 0 0 0 0 0 0 0 0 0 N B. Then the digraph on the Figure 1 is an (N B,A)-digraph. 0 0 0 c 0 d 0 0 0 0 0 0 6

Let Γ be an (N B,A)-digraph that corresponds to A N B. Denote its vertices by (x,y), where x = 1,2,...,t and y = 1,2,...,µ x. Write blocks of A as in (1). If a k ij 0 for some 1 i j t, then Γ contains edges ((i,h),(j,h + k)) for h = 1,2,...,µ j k. If a k ij 0 for some 1 j i t, then Γ contains edges ((i,h),(j,h + k + µ j µ i + 1)) for all h = 1,2,...,µ i k. We say that edges ((i 1,j 1 ),(i 2,j 2 )) and ((i 3,j 3 ),(i 4,j 4 )) are parallel if i 1 = i 3, i 2 = i 4 and j 1 + j 4 = j 2 + j 3. We call two paths P 1 and P 2 parallel if they consist of pairwise parallel edges. Example 12. Consider the case sh(b) = (4,3,2 2,1) P(12). Each (N B,A)-digraph Γ consists of 12 vertices: Denote by M the generic nilpotent matrix, which corresponds to Γ and has the same pattern as A N B. Suppose, for example, that there exists an edge (,) in Γ. By the correspondence between nilpotent matrices and acyclic digraphs it follows that M 10,6 0. Since A and M have the same pattern, a 0 4,2 0 and thus M 11,7 0. Therefore, there exists also an edge (,) in Γ, which is parallel to an edge (,). Similarly, we can add some other parallel edges to Γ as described above. For example, a possible (N B,A)-digraph Γ is Figure 2: 7

and the corresponding matrix A N B is equal to 0 0 a 0 b 0 c 0 0 0 0 0 0 0 0 a 0 b 0 0 0 0 0 0 0 0 0 0 0 0 b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 d 0 0 0 0 e f 0 0 0 0 0 0 d 0 0 0 0 e 0 0 0 A = 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 g 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 h 0 0 0 0 0 0 0 0 0 0 0 0 h 0 0 0 0 0 0 0 0 0 0 0 0 0 i 0 0 0 for some a,b,c,...,i F. Suppose that r i,r i+1 0 for some i. Then parts m r i i, mr i+1 i+1 in sh(b) have to be treated differently if m i m i+1 = 1 or m i m i+1 2. We introduce some notation that will help us unify the treatments. For i = 1,2,...,l 1 such that r i 0 define { r s(i) = i, if m i m i+1 2 r i + r i+1, if m i m i+1 1 and s(l) = r l. We set µ 0 = µ 1 + 1. Choose any k, 1 k t, such that µ k 1 > µ k > 1 and let w and z be such that µ k µ w 1, µ k µ w+1 2 and µ k = µ z > µ z+1. If µ k 1 > µ k = 1, then set w = z = t. We denote by V B,k the set of vertices { (x,y); x = k,k + 1,...,w,y = 1,2,...,µx }. We call the path that contains vertices V 1,k = {(x,1) x = 1,2,...,k}, V B,k and V 3,k = {(x,µ x ) x = 1,2,...,k 1} {(z,µ z )} the B k -path (or B-path for short). We call s(k) the width of B k -path (or of the set V B,k ). 8

Example 13. Consider again the case sh(b) = (4,3,2 2,1) P(12) and an (N B,A)- digraph Γ Figure 3: Then for k = 1,2,3,5, the set V B,k and B k -path consist of the following vertices k s(k) w z V B,k vertices of B k -path 1 2 2 1,,,,,,,,,,,, 2 3 4 2,,,,,,,,,,,,,, 3 3 5 4,,,,,,,,,,,, 5 1 5 5,,,,,,,, The B k -path consists of three subpaths P i, i = 1,2,3, such that P 1 P 2 = {(k,1)} and P 2 P 3 = {(z,µ z )}. The vertices of P 1 are from V 1,k and its edges are ((i,1),(i + 1,1)) for i = 1,2,...,k 1. The P 2 consists of vertices V B,k and edges ((i,j),(i + 1,j)) for i = k,k + 1,...,w 1, j = 1,2,...,µ k 1 or i = k,k + 1,...,z 1, j = µ k and ((w,j),(k,j + 1)) for j = 1,2,...,µ k 1. The subpath P 3 on vertices V 3,k consists of edges ((i,µ i ),(i + 1,µ i+1 )) 9

if µ i = µ i+1, 1 i k 2, and ((j,µ j ),(i,µ i )) if µ k µ j+1 < µ j < µ i < µ i 1 and such that if i h j, then it follows that either µ h = µ i or µ h = µ j. For a B k -path P it follows that P = 2(k 1) + µ k + µ k+1 +... + µ w. Example 14. Recall the Examples 12 and 13 where sh(b) = (4,3,2 2,1). In the (N B,A)- digraph Γ from Figure 2 there are no B k -paths. However the (N B,A)-digraph Γ from Figure 3 has three B-paths, namely, B 1 -path (with width 2 and length 7), B 2 -path (with width 3 and length 9) and B 3 -path (also of length 9 and width 3), as shown below Note that in this case B 3 -path and B 5 -path coincide. Example 15. Let sh(b) = (4,3 2 ). By Corollary 4 it follows that ι(n B ) = 10. The generic M, such that its digraph Γ M is equal to (3,3) 10

and A N B such that a 0 12, a0 23, a0 31 are its only nonzero entries, have the same pattern. It is easy to verify that ι(m) = ι(a) = 10. The shown path is the only B-path in Γ M. Recall that ι(a) ι(m) for A N B and a generic matrix M N(n, F) with the same pattern. By Corollary 8 it follows that ι(n B ) is less than or equal to the length of the longest path in a (N B,A)-digraph. The length of the B k -path is equal to 2 k 1 r i + r k m k + r k+1 m k+1 if s(k) = r k + r k+1 and 2 k 1 r i + r k m k otherwise. 5 Maximal index of nilpotency in N B Here, we prove the following theorem: Theorem 16. Let B be a nilpotent matrix with sh(b) = (µ 1,µ 2,...,µ t ). Then ι(n B ) = max 1 i<t {2i + µ i+1 + µ i+2 +... + µ i+r ; µ i+1 µ i+r 1,µ i µ i+1 }. First, we show that the longest path in an (N B,A)-digraph Γ is actually equal to the length of the longest B-path in Γ. Lemma 17. Suppose that for x = 1,2,...,t vertices (x,1) are contained in a path P of an (N B,A)-digraph Γ. Then there exists a B-path P B in Γ such that P P B. Proof. Let us write sh(b) = (µ 1,µ 2,...,µ t ) = (m r 1 1,mr 2 2,...,mr l l ), where m i = µ 1 i + 1 for i = 1,2,...,l and m l = µ t. (Note that r i can be 0 for some i.) Let Γ be an (N B,A)-digraph and k be the maximal index such that s(k) = max{s(i); 1 i l}. By P B,k we denote the B k -path, i.e. the widest B-path in Γ. Suppose first that s(k) = r k + r k+1, where r k+1 0. Then k 1 k 1 P B,k = 2 r i + r k m k + r k+1 m k+1 = 2 r i + (r k + r k+1 )m k+1 + r k. Examine the edge ((i,y i ),(j,y j )) of P, where µ i µ j. If i > j (and thus µ i < µ j ) then µ i y i > µ j y j. If i < j (and thus µ i > µ j ) then y i < y j. Let P be the subpath of P that contains all the vertices (x,y) from P, where y > 1. Let (x 0,y 0 ) be the initial vertex of P. Since ((t,1),(x 0,y 0 )), 1 x 0 t, is an edge of P, it follows that µ t 1 µ x0 y 0. Since P B,k is the widest B-path in Γ, it follows that P (µ x0 y 0 )(r k +r k+1 )+ l 1 r i l 1 r i + (m l 1)(r k + r k+1 ). Therefore l 1 P 2 r i + r l + (m l 1)(r k+1 + r k ). 11

Since m i = µ 1 i + 1 for i = 1,2,...,l, it follows that m i m l = l i for i = 1,2,...,l. In particular, m l = m k l + k. Thus l 1 P 2 r i + r l + (m k l + k 1)(r k + r k+1 ). By definition of k it follows that r i + r i+1 r k + r k+1 1 for all i = k + 1,k + 2,...,l 1. Thus r k+1 +2r k+2 +2r k+3 +...+2r l 1 +r l = l 1 i=k+1 (r i+r i+1 ) (l k 1)(r k +r k+1 1). Therefore k 1 P 2 r i + r k + (r k + r k+1 ) + (l k 1)(r k + r k+1 1)+ + (m k l + k 1)(r k + r k+1 ) = k 1 = 2 r i + r k + (m k 1)(r k + r k+1 ) + k + 1 l k 1 2 r i + r k + m k+1 (r k + r k+1 ) = P B,k. If s(k) = r k and k < l, then r i + r i+1 r k 1 for i = k + 1,k + 2,...,l 1. Thus r k+1 + 2r k+2 + 2r k+3 +... + 2r l 1 + r l = l 1 i=k+1 (r i + r i+1 ) (l k 1)(r k 1). Again, since P B,k is the widest B-path in Γ, we see similarly as before, l 1 P 2 r i + r l + (µ t 1)r k k 1 2 r i + (l k 1)(r k 1) + (µ k l + k + 1)r k k 1 2 r i + µ k r k = P B,k, which proves the Lemma. Theorem 18. For A N B it follows that ι(a) max 1 i<t {2i + µ i+1 + µ i+2 +... + µ i+r ; µ i+1 µ i+r 1,µ i µ i+1 }. Proof. Write sh(b) = (µ 1,µ 2,...,µ t ). We show by induction on t that the longest possible path of (N B,A)-digraphs is of the same length as a B-path. Suppose that the longest path of (N B,A)-digraphs is included in digraph Γ and denote it by P. Note that P contains vertices and (1,µ 1 ). If it does not, we can add an 12

edge from to the first vertex of P or an edge from the last vertex of P to (1,µ 1 ) and lenghten it. If t = 1 then the longest path contains all vertices and therefore it is a B-path. Suppose that our claim holds for all partitions with at most t 1 parts. Fix an x, 1 x t. If P does not contain any of the vertices (x,y) for y = 1,2,...,µ x, then P is a path in a (N B,A)-digraph, where sh(b ) = (µ 1,µ 2,...,µ x 1,µ x+1,µ x+2,...,µ t ). By induction, there exists a B -path P B such that P P B. If a B -path is not already a B-path, it can be lengthened to a B-path. Therefore there exists a B-path P B in Γ, such that its length is greater than or equal to P. By assumption that P is the longest path in Γ it follows that P = P B. Suppose now that for each x the path P contains a vertex (x,y x ) for some y x. The basic idea of the proof is to show the following claim: In Γ there exists a path P of the same length as P such that its first t vertices are (1,y 1 ), (2,y 2 ),..., (t,y t ). Since P is the longest path in Γ it follows that y i = 1 for i = 1,2,...,t. Otherwise the path that contains vertices,,..., (t,1), (t,2),..., (t,y t ) and is after (t,y t ) equal to P is longer than P. Let us prove the claim. Let y t > 1 be the smallest integer such that P contains vertex (t,y t ). Since P is the longest path, (t,y t ) is not the last vertex of P, and so for x = 1,...,t, there exists a vertex (x,yx) 3 that P visits after (t,y t ), i.e. yx 3 y t. Next, suppose that there exists some k, where 1 k < t and yk 1 < y2 k y t, such that P contains vertices (k,yk 1) and (k,y2 k ) with the following properties: there does not exist a vertex (k,yk 0) of P such that 1 y0 k y1 k and y2 k is such that there does not exist a vertex between (k,yk 2) and (t,y t) in P with k as its first coordinate. Denote by P 1 (resp. P 2 ) the subpath of P with its initial vertex (k,yk 1) (resp. (k,y2 k )) and its final vertex (k,y2 k ) (resp. (k,yk 3)) and define P 0 = P \ {P 1, P 2 }. In Γ there exist the path P 1 parallel to P 2 starting at the (k,yk 1) and the path P 2 parallel to P 1 ending at the (k,yk 3 ). Then, the initial vertex of P 2 coincides with the final vertex of P 1. Thus P 0 P 1 P 2 is a path in Γ of the same length as P and it contains only one vertex with its first coordinate k before (t,y t ). By repeating this swap for k = 1,2,...,t, we obtain a path P such that it does not contain vertices (x,yx 1) and (x,y2 x ), with y1 x < y2 x y t for all x = 1,2,...,t 1. As argued above, this forces P to be a path in the (N B,A)-digraph Γ that contains vertices (x,1) for all x = 1,2,...,t. By Lemma 17 there exists a B-path P B,k such that P = P P B,k = 2k + µ k+1 + µ k+2 +... + µ k+r for some r, µ k µ k+r 1. To prove Theorem 16, it only remains to show that the maximum of Theorem 18 is attained. Proof. (of Theorem 16) Let sh(b) = (µ 1,µ 2,...,µ t ) = (m r 1 1,mr 2 2,...,mr l l ). We define the B-path P, for which the maximum max {2i + µ i+1 + µ i+2 +... + µ i+r ; µ i+1 µ i+r 1; µ i µ i+1 } 1 i<t 13

is attained. Let k and s be such that max 1 i<t {2i+µ i+1 +µ i+2 +...+µ i+r ; µ i+1 µ i+r 1; µ i µ i+1 } = 2k + µ k+1 + µ k+2 +... + µ k+s. Denote by P the B (k+1) -path in Γ. It follows that P = 2k+µ k+1 +µ k+2 +...+µ k+s. The path P is such that it can be completed (by drawing parallel edges) to an (N B,A)-digraph. (For examples of such (N B,A)-digraphs see Example 19.) By the proof of Theorem 18 it follows that P is a longest path in Γ. For a generic matrix M Γ, corresponding to Γ, it follows that ι(m) = P. Take A N B to be a positive matrix with the same pattern as M. Since char(f) = 0, it follows that [A h ] ij = 0 if and only if [M h ] ij = 0 for all h, i, j. Therefore ι(a) = ι(m) = 2k + µ k+1 + µ k+2 +... + µ k+s which proves the theorem. 6 Examples Example 19. As in Examples 12 and 14, we again consider the case sh(b) = (4,3,2 2,1). By Theorem 16 it follows that ι(n B ) = max{7,9,9} = 9. Consider the following matrices: A 1 = A 2 = 0 0 0 0 a 0 0 0 0 0 0 0 0 0 0 0 0 a 0 0 0 0 0 0 0 0 0 0 0 0 a 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 d 0 0 0 0 0 b 0 0 0 0 0 0 d 0 0 0 0 0 b 0 0 0 0 0 0 d 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 c 0 0 0 0 0 0 0 0 0 0 0 0 c 0 0 0 0 0 0 e 0 0 0 0 0 0 0 0 0 0 0 0 e 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f 0 0 a 0 0 0 0 0 0 0 0 0 f 0 0 a 0 0 0 0 0 0 0 0 0 f 0 0 a 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 d 0 0 0 0 0 b 0 0 0 0 0 0 d 0 0 0 0 0 b 0 0 0 0 0 0 d 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 c 0 0 0 0 0 0 0 0 0 0 0 0 c 0 0 0 0 0 0 e 0 0 0 0 0 0 0 0 0 0 0 0 e 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14,

and A 3 = 0 0 0 0 a 0 0 0 0 0 0 0 0 0 0 0 0 a 0 0 0 0 0 0 0 0 0 0 0 0 a 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 d 0 0 0 0 0 b 0 0 0 0 0 0 d 0 0 0 0 0 b 0 0 0 0 0 0 d 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 c 0 0 0 0 0 0 0 0 0 0 0 0 c 0 0 0 0 0 0 e 0 0 0 0 0 f 0 0 0 0 0 0 e 0 0 0 0 0 0 0 0 0 0 0 0 0 g 0 0 0 where a,b,c,d,e,f,g F are nonzero. The generic matrices M 1, M 2 and M 3 with the same patterns as A 1, A 2 and A 3 have the following digraphs, It can be easily seen that sh(a 1 ) = sh(m 1 ) = (9,1 3 ), sh(a 2 ) = sh(m 2 ) = (9,2,1) and sh(a 3 ) = sh(m 3 ) = (9,3). Example 20. Not all λ = (λ 1,λ 2,...,λ k ) P(n), where λ 1 = ι(n B ), are in P(N B ). For sh(b) = (6,4) it follows that ι(n B ) = 6. It can be shown that (6,3,1) / P(N B ). 15

Example 21. Not all partitions in P(N B ) can be obtained from a generic matrix corresponding to an (N B,A)-digraph. Let sh(b) = (5,3). It can be verified (for example, using Mathematica) that P(N B ) = { (5,3),(5,2,1),(5,1 3 ),(4 2 ),(4,2 2 ),(4,2,1 2 ),(4,1 4 ), (3 2,2),(3 2,1 2 ),(3,2 2,1),(3,2,1 3 ),(3,1 5 ), (2 4 ),(2 3,1 2 ),(2 2,1 4 ),(2,1 6 ),(1 8 ) } = = R(5,3) { (4 2 ),(4,2 2 ),(4,2,1 2 ),(4,1 4 ),(3 2,1 2 ),(2 4 ) }. One can check that there is no (N B,A)-digraph Γ with (Γ) equal to (4 2 ), (3 2,1 2 ) or (2 4 ). However, there are matrices with these shapes in N B. For example, for 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 A 1 = 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 and A 2 = 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0. we have sh(a 1 ) = (2 4 ), sh(a 2 ) = (3 2,1 2 ). Let M i, i = 1,2, be generic matrices of the same shape as A i. It can be proved, using Gansner-Saks Theorem, that sh(m 1 ) = sh(m 2 ) = (5,3). References [1] V. Baranovsky: The variety of pairs of commuting nilpotent matrices is irreducible, Transform. Groups 6 (2001), no. 1, 3 8. [2] R. Basili: On the irreducibility of commuting varieties of nilpotent matrices, J. Algebra 268 (2003), 58-80. 16

[3] R. A. Brualdi, H. J. Ryser: Combinatorial matrix theory, Cambridge University Press, 1991. [4] D. H. Collingwood, W. M. McGovern: Nilpotent orbits in semisimple Lie algebras, Van Nostrand Reinhold, 1993. [5] E. R. Gansner: Acyclic digraphs, Young tableaux and nilpotent matrices, SIAM J. Algebraic Discrete Methods 2 (1981), no. 4, 429 440. [6] I. Gohberg, P. Lancaster, and L. Rodman, Invariant Subspaces of Matrices with Applications, Wiley-Interscience, 1986. [7] R. Guralnick: A note on commuting pairs of matrices, Linear and Multilinear Algebra 31 (1992), no. 1-4, 71 75. [8] R. Guralnick, B. A. Sethuraman: Commuting pairs and triples of matrices and related varieties, Linear Algebra Appl. 310 (2000), 139 148. [9] W. H. Gustafson: Modules and matrices, Linear Algebra Appl. 157 (1991), 3-19. [10] Y. Han: Commuting triples of matrices, Electron. J. Linear Algebra 13 (2005), 274-343. [11] J. Holbrook, M. Omladič: Approximating commuting operators, Linear Algebra Appl. 327 (2001), no. 1-3, 131 149. [12] T. Košir: The Cayley-Hamilton theorem and inverse problems for multiparameter systems, Linear Algebra Appl. 367 (2003), 155-163. [13] T. S. Motzkin, O. Taussky: Pairs of matrices with property L, Trans. Amer. Math. Soc. 73, (1952), 108 114. [14] M. Omladič: A variety of commuting triples, Linear Algebra Appl. 383 (2004), 233 245. [15] M. Saks: Some sequences associated with combinatorial structures, Discrete Math. 59 (1986), no. 1-2, 135 166. [16] K. Šivic: On varieties of commuting triples,, Linear Algebra Appl. (2007), doi: 10.1016/j.laa.2007.11.004. 17