Polynomial Properties in Unitriangular Matrices 1

Similar documents
arxiv: v1 [math.gr] 6 Jan 2012

Math 121 Homework 5: Notes on Selected Problems

A Characterization of (3+1)-Free Posets

On the classication of algebras

On Torsion-by-Nilpotent Groups

290 J.M. Carnicer, J.M. Pe~na basis (u 1 ; : : : ; u n ) consisting of minimally supported elements, yet also has a basis (v 1 ; : : : ; v n ) which f

On the solvability of groups with four class sizes.

Chapter 4 - MATRIX ALGEBRA. ... a 2j... a 2n. a i1 a i2... a ij... a in

What is A + B? What is A B? What is AB? What is BA? What is A 2? and B = QUESTION 2. What is the reduced row echelon matrix of A =

Journal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.

3. Vector spaces 3.1 Linear dependence and independence 3.2 Basis and dimension. 5. Extreme points and basic feasible solutions

LOWER BOUNDARY HYPERPLANES OF THE CANONICAL LEFT CELLS IN THE AFFINE WEYL GROUP W a (Ãn 1) Jian-yi Shi

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

Determinants of Partition Matrices

Definition 2.3. We define addition and multiplication of matrices as follows.

APPLICATION OF HOARE S THEOREM TO SYMMETRIES OF RIEMANN SURFACES

A Bijection between Maximal Chains in Fibonacci Posets

EA = I 3 = E = i=1, i k

Math 594, HW2 - Solutions

Maximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector

Partitions, rooks, and symmetric functions in noncommuting variables

Counting Matrices Over a Finite Field With All Eigenvalues in the Field

Math 249B. Geometric Bruhat decomposition

Combinatorial properties of the numbers of tableaux of bounded height

The minimum rank of matrices and the equivalence class graph

THE SMITH NORMAL FORM OF A SPECIALIZED JACOBI-TRUDI MATRIX

The computation of abelian subalgebras in the Lie algebra of upper-triangular matrices

DION 2005 TIFR December 17, The role of complex conjugation in transcendental number theory

Nondegenerate Jordan Algebras Satisfying Local Goldie Conditions*

ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS

The cycle polynomial of a permutation group

Lecture Notes 1: Matrix Algebra Part C: Pivoting and Matrix Decomposition

1. Group Theory Permutations.

On Hadamard Diagonalizable Graphs

Exercises on chapter 1

Review of Linear Algebra

Free Subgroups of the Fundamental Group of the Hawaiian Earring

Minimum number of non-zero-entries in a 7 7 stable matrix

On Systems of Diagonal Forms II

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract

Commuting nilpotent matrices and pairs of partitions

MATH 223A NOTES 2011 LIE ALGEBRAS 35

On the Frobenius Numbers of Symmetric Groups

TC10 / 3. Finite fields S. Xambó

The Outer Automorphism of S 6

NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX. Oh-Jin Kang and Joohyung Kim

PROOF OF TWO MATRIX THEOREMS VIA TRIANGULAR FACTORIZATIONS ROY MATHIAS

Character values and decomposition matrices of symmetric groups

Groups of Prime Power Order with Derived Subgroup of Prime Order

Linear Algebra M1 - FIB. Contents: 5. Matrices, systems of linear equations and determinants 6. Vector space 7. Linear maps 8.

Versal deformations in generalized flag manifolds

Endomorphism rings generated using small numbers of elements arxiv:math/ v2 [math.ra] 10 Jun 2006

Problem 1.1. Classify all groups of order 385 up to isomorphism.

Domino tilings with barriers. In memory of Gian-Carlo Rota

On Representability of a Finite Local Ring

MATH 511 ADVANCED LINEAR ALGEBRA SPRING 2006

ON REGULARITY OF FINITE REFLECTION GROUPS. School of Mathematics and Statistics, University of Sydney, NSW 2006, Australia

can only hit 3 points in the codomain. Hence, f is not surjective. For another example, if n = 4

Simplicity of P SL n (F ) for n > 2

REPRESENTATION THEORY OF S n

Discrete Applied Mathematics

THE ALTERNATIVE DUNFORD-PETTIS PROPERTY FOR SUBSPACES OF THE COMPACT OPERATORS

1 Linear Algebra Problems

Low Rank Co-Diagonal Matrices and Ramsey Graphs

Landau s Theorem for π-blocks of π-separable groups

3-Class Association Schemes and Hadamard Matrices of a Certain Block Form

Chapter 2 Linear Transformations

A short proof of Klyachko s theorem about rational algebraic tori

Solving Homogeneous Systems with Sub-matrices

Counting k-marked Durfee Symbols

Partitions with Fixed Number of Sizes

LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday

The Interlace Polynomial of Graphs at 1

Self-dual interval orders and row-fishburn matrices

Hierarchical open Leontief models

A length function for the complex reflection

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

MATH 5b: Solutions to Homework Set 7 March 2015

A Questionable Distance-Regular Graph

A. I. BADULESCU AND D. RENARD

Liouvillian solutions of third order differential equations

k-pell, k-pell-lucas and Modified k-pell Numbers: Some Identities and Norms of Hankel Matrices

REVERSALS ON SFT S. 1. Introduction and preliminaries

Journal of Al-Nahrain University Vol.13 (2), June, 2010, pp Science COEFFICIENT THEOREM. Awss Jabbar Majeed

IMA Preprint Series # 2066

Heights of characters and defect groups

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

Factorization of singular integer matrices

A map of sufficient conditions for the real nonnegative inverse eigenvalue problem

The Descent Set and Connectivity Set of a Permutation

On an algebra related to orbit-counting. Peter J. Cameron. Queen Mary and Westeld College. London E1 4NS U.K. Abstract

Noetherian property of infinite EI categories

Chapter 7. Canonical Forms. 7.1 Eigenvalues and Eigenvectors

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60

Eigenvalues of Random Matrices over Finite Fields

ALGEBRAIC GEOMETRY I - FINAL PROJECT

3 (Maths) Linear Algebra

Moore Penrose inverses and commuting elements of C -algebras

ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS

Transcription:

Journal of Algebra 244, 343 351 (2001) doi:10.1006/jabr.2001.8896, available online at http://www.idealibrary.com on Polynomial Properties in Unitriangular Matrices 1 Antonio Vera-López and J. M. Arregi Departamento de Matemáticas, Facultad de Ciencias, Universidad del País Vasco, Apartado 644, Bilbao, Spain E-mail: mtpveloa@lg.ehu.es, mtparlij@lg.ehu.es Communicated bymichel Broué Received March 1, 2001 Let n = n q be the group of the upper unitriangular matrices of size n over q, the finite field of q = p t elements. G. Higman has conjectured that, for each n, the number of conjugacy classes of elements of n is a polynomial expression in q. In this paper we prove that the number of conjugacy classes of n of cardinality q s, with s n 3, is a polynomial in q 1, with non-negative integral coefficients, f s q 1, of degree less than or equal to the integer part of 2s + 1. In addition, f s q 1 depends only on s and not on n. We determine these polynomials arguing with the methods we gave previously (1995, J. Algebra 177, 899 925). In fact, the coefficients of these polynomials are obtained by certain generating functions. 2001 Academic Press INTRODUCTION In [4, 6] we explain the general method to find the conjugacy vector of n. The aim is to reach in each conjugacy class a matrix that is uniquely determinated and, therefore, that can be considered as a canonical representative of the class. We take the set of entries over the main diagonal ordered so that = i j 1 i<j n n 1 n < n 2 n 1 < n 2 n < < 1 2 < < 1 n (1) 1 This work has been supported by the DGICYT Grant PB97-0604 and by UPV 127.310- EB160/98 of the University of the Basque Country. 343 0021-8693/01 $35.00 Copyright 2001 by Academic Press All rights of reproduction in any form reserved.

344 vera-lópez and arregi Let A be a matrix of n. The entries of A whose values can be changed by conjugation without changing the values at the preceding entries are said to be inert points. The rest of the entries are the ramification points. Beginning with n 1 n and according to the order (1), we obtain the value 0 by conjugation at each inert point that we find. So, when we reach the last entry 1 n, this method leads us to a unique matrix, which we say to be canonical. A necessary and sufficient condition for a matrix A = a ij to be canonical is that a ij = 0 at each inert point i j. For a matrix A n, its centralizer C n A consists of matrices T = t kl such that AT TA = 0; that is, matrices whose components t kl, k l, are a solution of the linear equation system L ij = 0 where the linear forms are defined by L ij = j 1 u=i+1 a iu x uj a uj x iu i j An entry i j is an inert point if and only if the corresponding linear form L ij is linearly independent on the preceding linear forms. The rank of this linear system is equal to the number of inert points of A, which we denote s = n i A. Thus the order of the centralizer of A and the order of its conjugacy class are, respectively, C n A = q n r A and Cl n A = q n i A where n r A = ( n 2) ni A is the number of ramification points of A. The inert and ramification points are invariants of the conjugacy class. When we analyze the inert points and ramification points, the first nonzero entry of the non-zero rows of A 0 = A I is of special interest. Such an element is considered as a pivot in order to introduce zeros at the subsequent entries. We define the pivot map, π, at the set 1 n as follows: π i =k if the ith row of A 0 is non-zero and its first non-zero element is a i k ; for convenience we take π i =n + 1iftheith row of A 0 is zero. We summarize some properties proved in [6, Remark 3.3, Theorem 4.3, and Theorem 4.5] in the following proposition. Proposition 1. Let A be a canonical matrix of n. (α) If the form L ij is null, then i j is a ramification point. This is the case for the entries i i + 1 in the first diagonal. (β) If i j is a pivot, then (i) it is a ramification point; (ii) the entries in the same column above it are inert points; (iii) the entries in the same row at its left are ramification points if they are not over a pivot in their column.

properties in unitriangular matrices 345 (γ) If the lth row of A 0 is zero, then those entries k l of the lth column preceded by pivots in its row (that is, π k <l) are inert points. From these properties it follows that there is at most one pivot in each row and in each column of A. We say that a matrix A is quasimonomial if in each row and in each column of A 0 there is at most one non-zero entry. It is immediate that quasimonomial matrices are canonical matrices and that its pivots are the non-zero entries. For A 0, A 0 i (resp. A 0 j ) denotes the ith row (resp. jth column) of A 0. We define the sets s = A n A is canonical and Cl n A =q s t s = A n A is quasimonomial, it has t pivots, and Cl n A =q s Thus, the conjugacy vector of n is n = ( q N s s ) s=0 1 N n 1 with N = ( n 2). The key of the main result of this paper is the fact that, for s n 3, Cl n A = q s implies A is quasimonomial. The values t s will be effectively computed with the aid of rational generating functions. RESULTS Lemma 2. Let A n, A I n a canonical matrix. Consider the indices i 0 and j 0 such that A 0 i0 is the last non-zero row and A 0 j 0 is the first non-zero column of A 0. Then the following bound holds. n i A n 3 j 0 i 0 Proof. From the definition of i 0 and j 0, it follows that all pivots are in the rectangle i0 j 0 = i j 1 i i 0 j 0 j n and there exist entries i 1 j 1, i 2 j 2 corresponding to pivots such that j 1 = j 0 and i 2 = i 0.Letπ be the pivot map of A. We distinguish two cases. If π i 0 =j 0, then, bearing in mind Proposition 1, it follows that the i 0 1 entries k j 0, k = 1 i 0 1 lying over the pivot in its column and the n j 0 entries i 0 l, l = j 0 + 1 n lying at the right in its row are inert points. Therefore, in this case, s n 1 j 0 i 0 holds. Otherwise, if π i 0 j 0, then i 1 j 1 and i 2 j 2 are different pivots of A

346 vera-lópez and arregi and the i 2 1 entries k j 2, k = 1 i 2 1 are inert points, since they are over the pivot i 2 j 2. Furthermore, for each of the n j 1 values k = j 1 + 1 n, we have an inert point either at the entry i 1 k or at the entry i 1 + 1 π k. Indeed, if the kth row of A 0 is zero then, according to Proposition 1, part γ, i k is an inert point, since it is preceded by the pivot of its row; otherwise, there is a pivot in this row, k π k, being k>j 1 >i 1, so that k>i 1 + 1 and the point i 1 + 1 π k is inert. From the above it follows that the number s of inert points, removing possible repetitions in the entries i 1 j 2 and i 1 + 1 j 2, is greater than or equal to i 2 1 + n j 1 2 = n 3 j 0 i 0. For each non-zero row of a canonical matrix A, we define the broken line of its pivot k π k to be B k = u π k 1 u<k k u π k <u n Lemma 3. Let A n, A I n be a canonical matrix. Suppose that n i A n 3. Then A is quasimonomial and the inert points of A are exactly those lying over the pivots in their columns and those lying on the right of the pivots in their rows. Therefore the number of inert points of A is with π = π A and ρ π = n i A =ρ π t i u 1 + n π i u u=1 being i 1 π i 1 i t π i t the pivots of A. u<v π u <π v Proof. Set s = n i A. The entries lying over the pivots in their columns are inert points (Proposition 1(α)). We show that the entries lying on the right of the pivots are inert points. Let i j be a pivot and i j j >j an entry at its right. From the definition of i 0 and j 0,wegeti i 0 and j j 0. From Lemma 2 and the hypothesis it follows that j 0 i 0 n s 3 0. So j >j j 0 i 0 and consequently the j th row of A 0 is zero. Now, from Proposition 1, part γ, we deduce that i j is an inert point. We have shown that the entries of i t k=i 1 B k correspond to inert points and consequently, the only non-zero entries of A are the pivots. So, if an entry i j i t k=i 1 B k then a iu = a uj = 0, u = i + 1 j 1; that is, the corresponding linear form L ij is identically zero and i j is a ramification point. Therefore the inert points of A are exactly those lying in i t k=i 1 B k. Finally, i t it B k = B k B ir B is =ρ π k=i 1 k=i 1 1 r<s t 1

properties in unitriangular matrices 347 because B ir B is B iu = and B ir B is =1 or 0, according to whether π r <π s or π r >π s. We define the following equivalence relation in the set t s A B iff they have the same pivot map. A π denotes the equivalence class of A with pivot map π, and t s denotes the quotient set. Lemma 4. Let n. The number of conjugacy classes of quasimonomial matrices of n of cardinality q s is f s q 1 = 2s+1 t=0 t s q 1 t (2) Proof. For each A π t s we have A π = q 1 t, since each pivot entry admits q 1 non-zero different values. If a canonical matrix has t pivots and s inert points, it is immediate that s t t 1 /2, so (2) follows. Theorem 5. Let n. For each s n 3, the number of conjugacy classes of n of cardinality q s is a polynomial f s in q 1, which depends only on s and not on n. In fact we have (1) Let f s q 1 = 2s+1 t=0 t s q 1 t (2) For t fixed, the generating function of the numbers a t s = t s is m t x = xt t 1 /2 1 x t t k=1 1 1 x k Proof. Part (1) follows immediately from Lemmas 3 and 4. We see (2). We notice that if A t s, with s n 3, then from Lemma 3 we have s = ρ π. We define R t = u 1 u t u k 1 u 1 u t, the map λ R t given by λ u 1 u t =u 1 + +u t and for each k the set R t k = u 1 u t R t λ u 1 u t =k. We have R t = k 0R t k. Let ι σ be the number of inversions of a permutation σ t. We define t k = σ t ι σ =k. It is clear that t = k 0 t k. Let the set t = s 0 t s. For each A π t, with pivots i 1 π i 1 i t π i t we consider the permutation σ t such that π i σ 1 > >π i σ t.we define the map φ t R 2 t t

348vera-lópez and arregi given by φ A π = u 1 u t v 1 v t σ where u k = i k k 1 and v k = n + 1 π i σ k k 1. It is immediate that φ is a bijection. The map µ R 2 t t given by µ u 1 u t v 1 v t σ =λ u 1 u t +λ v 1 v t ι σ +t t 3 satisfies the relationship ρ π = µ φ A π. Consequently, the restriction φ of φ to t s gives the following bijection φ t s k 1 k 2 k 3 k 1 +k 2 k 3 =s t t 3 R t k1 R t k2 t k3 where the union is disjoint. By taking cardinals in this formula, we obtain t s =a t s, where a t s = R t k1 R t k2 t k3 (3) k 1 k 2 k 3 k 1 +k 2 k 3 =s t t 3 This expression does not depend on n. Now, we determinate exactly the values a t s, by using generating functions theory. The cardinal p t k = R t k is the number of different ways of writing k as a sum of t positive integers. It is well known (see [7]) that the generating functions of the sequences p t k k and q t k k q t k = t k are, respectively, and g t x = x t 1 x 1 x t = xt t k=1 h t x = 1 + x 1 + x + +x t 1 = 1 1 x k t k=1 1 x k 1 x as may be shown from the recurrence relations and initial conditions and p t k =p t 1 k 1 +p t k t p 1 k =1 k 1 q t k =q t 1 k +q t 1 k 1 + +q t 1 k t + 1 q 1 0 =1 q 1 k =0 k > 0 From (3), it follows that, for t fixed, the generating function of the numbers a t s = t s is x t t 3 g t x 2 h t x 1 =m t x, so (2) holds.

properties in unitriangular matrices 349 The bound s n 3 given in the above theorem is the best possible one. Indeed, for s = n 2, the following assertion holds: Theorem 6. Let n = s + 2. The s >f s q 1. Proof. Let A s+2 be a canonical matrix and π = π A the corresponding pivot map. We shall see that all canonical matrices A such that ρ π = n 2 have exactly n 2 inert points and, in addition, there exist canonical matrices with ρ π = n 1 and exactly n 2 inert points. Suppose ρ π = n 2. Let i 0 and j 0 be as in Lemma 2. If i 0 j 0 is a pivot then n 2 = ρ π i 0 1 + n j 0 and so j 0 i 0 1. Otherwise, let i j 0 and i 0 j be two different pivots. Then the number of inert points is n 2 = ρ π i 1 + n j 0 + i 0 1 + n j 1 n j 0 + i 0 1 1, so j 0 i 0 0. In both cases the pivots of A are in the rectangle i0 j 0, with j 0 i 0 0. Arguing as in Lemma 3, we conclude that the set of inert points of A is t k=1 B i j0 and their number is exactly n i A =s = ρ π. As an example of the second case we can point the matrix A = I + E 12 + E 3n whose pivots are (1, 2) and (3, n). In this case the entry (1, 3) is a ramification point, since we have L 13 = x 23 and L 2n = x 23. Therefore the value of the function ρ is ρ π = 1 1 + n 2 + 3 1 + n n 1 = n 1 = s + 1 and the inert points are precisely 1 4 1 n 2 n and consequently n i A =n 2. Examples 7. By straightforward computation we can calculate the first 20 coefficients of m t x, t = 0 6. The coefficientes of the first 20 polynomials f s y are given by the columns of Table I. The number of conjugacy classes and the conjugation vector of n for n 8 are given in [4, 6]. The computational method described in these TABLE I 1 0 0 0 0 0 0 0 0 0 1 2 3 4 5 6 7 8 9 10 0 1 3 7 13 22 34 50 70 95 0 0 0 1 4 11 25 50 91 155 0 0 0 0 0 0 1 5 16 41 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 12 13 14 15 16 17 18 19 20 125 161 203 252 308 372 444 525 615 715 250 386 575 831 1170 1611 2175 2886 3771 4860 92 187 353 628 1065 1735 2732 4177 6225 9070 1 6 22 63 155 343 701 1345 2451 4278 0 0 0 0 0 1 7 29 92 247

350 vera-lópez and arregi two papers, applied to the cases n = 9 10 11, and 12, allows us to obtain the values of r n M s, for s 10, which are resumed in the following four tables: (1) For n = 9 and s 6 the values are given in the first 7 columns of Table 1. For s = 7 8 9, and 10 we have n = 9 1 q 1 q 1 2 q 1 3 q 1 4 q 1 5 q 1 6 7 0 8 56 60 9 8 0 0 70 123 39 2 9 0 0 76 205 110 15 10 0 0 73 302 249 60 2 (2) For n = 10 and s 7 the values are given in the first 8 columns of Table I. For s = 8 9, and 10 we have n = 10 1 q 1 q 1 2 q 1 3 q 1 4 q 1 5 8 0 9 77 103 21 9 0 0 96 194 70 3 10 0 0 106 315 181 22 (3) For n = 11 and s 8 the values are given in the first 9 columns of Table I. For s = 9 and 10 we have n = 11 1 q 1 q 1 2 q 1 3 q 1 4 q 1 5 9 0 10 103 169 47 10 0 0 127 296 127 5 (4) For n = 12 and s 9 the values are given in the first 10 columns of Table I. For s = 10 we have n = 12 1 q 1 q 1 2 q 1 3 q 1 4 q 1 5 f 10 0 11 134 266 99 1 We see that, when n = 9 10 11 10 decreases until the value of f 10 in Table I. The same property holds for 7, 8, and 9.

properties in unitriangular matrices 351 REFERENCES 1. G. Higman, Enumerating p-groups. I. Inequalities, Proc. London Math. Soc. 3 (1960), 24 30. 2. A. Vera-López and J. M. Arregi, Classes de conjugaison dans les p-sousgroupes de Sylow de Gl n q C.R. Acad. Sci. Paris 310 (1990), 81 84. 3. A. Vera-López and J. M. Arregi, Conjugacy classes in Sylow p-subgroups of GL n q, II, Proc. Roy. Soc. Edinburgh Sect. A 119 (1991), 343 346. 4. A. Vera-López and J. M. Arregi, Conjugacy classes in Sylow p-subgroups of GL n q, J. Algebra 152 (1992), 1 19. 5. A. Vera-López and J. M. Arregi, Conjugacy classes in Sylow p-subgroups of GL n q, IV, Glasgow Math. J. 36 (1994), 91 96. 6. A. Vera-López and J. M. Arregi, Some algorithms for the calculation of conjugacy classes in the Sylow p-subgroups of GL n q, J. Algebra 177 (1995), 899 925. 7. R. P. Stanley, Enumerative Combinatorics, Wadsworth, Monterey, CA, 1986.