Arxiv:1705.10957V2 [Math.AC] 14 Dec 2017 Ideal Called Is and Commutator X Y Vrafield a Over Let Matrix Eae Leri Es Is E Sdfierlvn Notions
Total Page:16
File Type:pdf, Size:1020Kb
NEARLY COMMUTING MATRICES ZHIBEK KADYRSIZOVA Abstract. We prove that the algebraic set of pairs of matrices with a diag- onal commutator over a field of positive prime characteristic, its irreducible components, and their intersection are F -pure when the size of matrices is equal to 3. Furthermore, we show that this algebraic set is reduced and the intersection of its irreducible components is irreducible in any characteristic for pairs of matrices of any size. In addition, we discuss various conjectures on the singularities of these algebraic sets and the system of parameters on the corresponding coordinate rings. Keywords: Frobenius, singularities, F -purity, commuting matrices 1. Introduction and preliminaries In this paper we study algebraic sets of pairs of matrices such that their commutator is either nonzero diagonal or zero. We also consider some other related algebraic sets. First let us define relevant notions. Let X =(x ) and Y =(y ) be n×n matrices of indeterminates arXiv:1705.10957v2 [math.AC] 14 Dec 2017 ij 1≤i,j≤n ij 1≤i,j≤n over a field K. Let R = K[X,Y ] be the polynomial ring in {xij,yij}1≤i,j≤n and let I denote the ideal generated by the off-diagonal entries of the commutator matrix XY − YX and J denote the ideal generated by the entries of XY − YX. The ideal I defines the algebraic set of pairs of matrices with a diagonal commutator and is called the algebraic set of nearly commuting matrices. The ideal J defines the algebraic set of pairs of commuting matrices. 1 2 ZHIBEKKADYRSIZOVA Let uij denote the (i, j)th entry of the matrix XY −YX. Then I =(uij | 1 ≤ i =6 j ≤ n) and J =(uij | 1 ≤ i, j ≤ n). Theorem 1 ([Ger61]). The algebraic set of commuting matrices is irreducible, i.e., it is a variety. Equivalently, Rad(J) is prime. The following results are due to A. Knutson [Knu05], when the characteristic of the field is 0, and to H.Young [You11] in all characteristics. Theorem 2 ([Knu05], [You11]). The algebraic set of nearly commuting ma- trices is a complete intersection, with the variety of commuting matrices as one of its irreducible components. In particular, the set {uij|1 ≤ i =6 j ≤ n} is a regular sequence and the dimension of R/I is n2 + n. Theorem 3 ([Knu05], [You11]). When K has characteristic zero, I is a radical ideal. A. Knutson in his paper [Knu05] conjectured that V(I) has only two irre- ducible components and it was proved in all characteristics by H.Young in his thesis, [You11]. Theorem 4 ([You11]). If n ≥ 2, the algebraic set of nearly commuting matri- ces has two irreducible components, one of which is the variety of commuting matrices and the other is the so-called skew component. That is, I has two minimal primes, one of which is Rad(J). Let P = Rad(J) and let Q denote the other minimal prime of I, i.e., Rad(I)= P Q. T The following conjecture was made in 1982 by M. Artin and M. Hochster. NEARLY COMMUTING MATRICES 3 Conjecture 1. J is reduced, i.e., J = P . It was answered positively by Mary Thompson in her thesis in the case of 3 × 3 matrices. Theorem 5 ([Tho85]). R/J is a Cohen-Macaulay domain when n =3. Now let us go back to algebraic sets of nearly commuting matrices and their irreducible components. First, we take a look at what we have when n =1, 2. When n = 1, everything is trivial. More precisely, I = P = Q = K[x11,y11]. When n = 2, without loss of generality we may replace X and Y by X−x22In and Y − y22In respectively. Here In is the identity matrix of size n. Denote ′ ′ x11 = x11 − x22, y11 = y11 − y22. Then the generators of I are 2 by 2 minors ′ ′ x11 x12 x11 x21 u12 = , u21 = − . ′ ′ y y12 y y21 11 11 The diagonal entries of XY − YX are x12 x21 x12 x21 u = , u = − . 11 22 y12 y21 y12 y21 ′ x11 x12 x21 Then J is the ideal generated by size 2 minors of and ′ y11 y12 y21 ′ ′ therefore, J = P is prime. We also have that Q = (x11,y11). Moreover, ′ ′ I = P Q is radical and P + Q =(x12y21 − x21y12, x11,y11) is prime. T We have that p−1 ′ ′ p−1 ′ ′ p−1 (u12u21) =(x11y12 − x12y11) (x11y21 − x21y11) = 4 ZHIBEKKADYRSIZOVA p−1 p−1 p − 1 p − 1 (−1)α+β (x′ )α+β(y′ )2(p−1)−α−βxp−1−αyα xp−1−βyβ . α β 11 11 12 12 21 21 Xα=0 Xβ=0 p−1 ′ ′ p−1 Therefore, (u12u21) has a monomial term (x11y11x12y21) with coefficient p−1 [p] p−1 [p] (−1) . Since I : I =(u12u21) +I , R/I is F -pure, see Fedder’s criterion Lemma 2. Furthermore, determinantal rings R/P , R/Q, R/(P + Q) are F - regular, see [HH94]. Therefore, for the rest of the paper we shall use the following notations. Notation 1. Let n ≥ 3 be an integer. Let X =(xij)1≤i,j≤n and Y =(yij)1≤i,j≤n be n × n matrices of indeterminates over a field K. Let R = K[X,Y ] be the polynomial ring in {xij,yij}1≤i,j≤n and let I denote the ideal generated by the off-diagonal entries of the commutator matrix XY − YX and J denote the ideal generated by the entries of XY − YX. Let P denote the radical of J and Q be the other minimal prime of Rad(I). We prove the following results in this paper. Theorem 6. Let R be a ring as in Notation 1. Assume also that the field K has positive prime characteristic. Then R/I, R/P , R/Q and R/(P +Q) are F - pure rings when n =3. In other words, the algebraic set of nearly commuting matrices of size 3, its irreducible components and their intersection are F -pure. In particular, the skew component is reduced in this case. Theorem 7. Let R be a ring as in Notation 1. Then R/I is reduced. In other words, the algebraic set of nearly commuting matrices is reduced for matrices of all sizes and in all characteristics. Theorem 8. The intersection of the variety of commuting matrices and the skew component is irreducible, that is, Rad(P + Q) is prime. NEARLY COMMUTING MATRICES 5 2. F -purity In this section we show that the coordinate ring of the algebraic set of pairs of matrices with a diagonal commutator is F -pure in the case of 3 by 3 matrices. Moreover, we also show that it implies the corresponding fact for its irreducible components, the variety of commuting matrices and the skew-component, and their intersection. First we state two lemmas due to R. Fedder and they include a criterion for F -purity for finitely generated K-algebras and which has a particularly convenient form for complete intersections. Lemma 1 (Fedder [Fed87]). Let S be a regular local ring or a polynomial ring over a field. If S has characteristic p > 0 and I is an unmixed proper ideal (homogeneous in the polynomial case) with the primary decomposition n A [p] n A[p] A I = i=1 i, then I : I = i=1( : ). T T Lemma 2 (Fedder’s criterion [Fed87]). Let (S, m) be a regular local ring or a polynomial ring over a field with its (homogeneous) maximal ideal. If S has characteristic p > 0 and I is a proper ideal (homogeneous in the polynomial case), then S/I is F -pure if and only if I[p] : I 6⊂ m[p]. The next result is a straightforward consequence of the above two lemmas. It will prove to be quite useful for us. Lemma 3. Let S be a regular local ring or a polynomial ring over a field. Suppose that S has characteristic p > 0 and I is an ideal of S (homogeneous n A in the polynomial case). Suppose also that S/I is F -pure and I = i=1 i is A A T the primary decomposition. Then S/( i1 + ... im ) is F -pure for all 1 ≤ i1 < ... < im ≤ n and for all 1 ≤ m ≤ n. 6 ZHIBEKKADYRSIZOVA A A [p] A A m A[p] Proof. Observe first that ( i1 + ... im ) :S ( i1 + ... im ) ⊇ j=1( ij : A n A[p] A [p] T ij ) ⊇ i=1( i : i)=(I : I). The rest is immediate from Lemma 1 T and Lemma 2. The above lemma is closely related to results on compatibly split ideals, cf. [ST12]. Immediately we get the corresponding result for our algebraic set. Corollary 1. Suppose that the coordinate ring of the algebraic set of nearly commuting matrices R/I is F -pure. Then R/P , R/Q and R/(P + Q) are F -pure. Next, we use Fedder’s criterion to show F -purity of R/I in case when n = 3. Theorem 9. Let K be a field of characteristic p> 0 and let n =3. Let R be a ring as in Notation 1. Then R/I is F -pure. Proof. Recall that I is generated by a regular sequence {uij|1 ≤ i =6 j ≤ n}. [p] p−1 [p] Therefore, I : I = 1≤i=6 j≤n uij R + I . Thus by Fedder’s criterion it Q p−1 m[p] m is sufficient to prove that 1≤i=6 j≤n uij ∈/ , where is the homogeneous Q maximal ideal in R.