Arxiv:1705.10957V2 [Math.AC] 14 Dec 2017 Ideal Called Is and Commutator X Y Vraﬁeld a Over Let Matrix Eae Leri Es Is E Sdﬁerlvn Notions

Home , Commuting matrices

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. relevant define so us consider let First also We sets. algebraic zero. related or diagonal nonzero either is commutator Keywords: Let that such matrices of pairs of sets algebraic study we paper this In I h ideal The . eoeteielgnrtdb h ffdaoa nre ftecom the of entries off-diagonal the by generated ideal the denote J X ntesnuaiiso hs leri esadtesse fparam of rings. system coordinate the corresponding and the sets con algebraic various these discuss of we singularities addition, the In on size. any of matrices of charac pairs any for in irreducible is reduce components is irreducible set its algebraic of this intersection that show we Furthermore, 3. to equal are intersection irr their its and characteristic, components, prime positive of field a over commutator onal Abstract. XY ensteagbacsto ar fcmuigmatrices. commuting of pairs of set algebraic the defines ( = K − x Let . ij X Y rbnu,singularities, Frobenius, ) I 1 ERYCMUIGMATRICES COMMUTING NEARLY ≤ ensteagbacsto ar fmtie ihadiagonal a with matrices of pairs of set algebraic the defines epoeta h leri e fpiso arcswt diag- a with matrices of pairs of set algebraic the that prove We i,j 1. R and ≤ n nrdcinadpreliminaries and Introduction = and J K h leri e fnal omtn matrices commuting nearly of set algebraic the [ eoeteielgnrtdb h nre of entries the by generated ideal the denote ,Y X, Y HBKKADYRSIZOVA ZHIBEK ( = eteplnma igin ring polynomial the be ] y ij ) 1 ≤ 1 i,j F ≤ F prt,cmuigmatrices commuting -purity, n pr hntesz fmtie is matrices of size the when -pure be n × n arcso indeterminates of matrices { x ij y , n the and d educible tr on eters jectures ij teristic } 1 ≤ eother me i,j mutator ≤ XY The . n their and − 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 ﬁeld is 0, and to H.Young [You11] in all characteristics.

Theorem 2 ([Knu05], [You11]). The algebraic set of nearly commuting matrices 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 irreducible 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 matrices 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 coeﬃcient 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 ﬁeld 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 oﬀ-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 ﬁeld 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 ﬁnitely 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 ﬁeld. 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 ﬁeld 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 ﬁeld. 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 ﬁrst 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 ﬁeld 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 suﬃcient to prove that 1≤i=6 j≤n uij ∈/ , where is the homogeneous Q maximal ideal in R. We show this by proving the following claim.

p−1 Claim. If µ = x12x13x21x23x31x33y11y12y23y31y32y33, then µ is a monomial p−1 term of 1≤i=6 j≤3 uij with a nonzero coeﬃcient modulo p. Q Proof. We compute the coeﬃcient of µp−1. It can be obtained by choosing a monomial from every uij in the following way:

α1 β1 u12 : (−x12y11) (x13y32)

α2 β2 γ2 δ2 u13 : (−x23y12) (x12y23) (−x13y11) (x13y33) NEARLY COMMUTING MATRICES 7

α3 β3 γ3 u21 : (−x31y23) (x21y11) (x23y31)

α4 β4 u23 : (x23y33) (−x33y23)

α5 β5 γ5 δ5 u31 : (−x21y32) (x33y31) (−x31y33) (x31y11)

α6 β6 γ6 u32 : (x31y12) (−x12y31) (x33y32)

Then the exponents Ast and Bst of each xst and yst respectively are

A12 = α1 + β2 + β6 A23 = α2 + γ3 + α4

A13 = β1 + γ2 + δ2 A31 = α3 + γ5 + δ5 + α6

A21 = β3 + α5 A33 = β4 + β5 + γ6

B11 = α1 + γ2 + β3 + δ5 B31 = γ3 + β5 + β6

B12 = α2 + α6 B32 = β1 + α5 + γ6

B23 = β2 + α3 + β4 B33 = δ2 + α4 + γ5

In addition, denote

C12 = α1 + β1, C23 = α4 + β4,

C13 = α2 + β2 + γ2 + δ2, C31 = α5 + β5 + γ5 + δ5,

C21 = α3 + β3 + γ3, C32 = α6 + β6 + γ6.

Our goal is to ﬁnd all nonnegative integer tuples α = (α1,...,α6), β =

(β1,...,β6),γ =(γ2,γ3,γ5,γ6), δ =(δ5, δ6) such that Ast = p − 1, Bst = p − 1

for all 1 ≤ s, t ≤ 3 and Cij = p − 1 for all 1 ≤ i =6 j ≤ 3. Notice that the linear system does not have a nonzero determinant: the sum of the ﬁrst 12 equations is twice the sum of the rest 6 equations. Therefore, there is not a unique solution. The above linear system can be solved using standard methods from linear algebra and has the following solution: 8 ZHIBEKKADYRSIZOVA

α   β     =    γ       δ    a b dp − 1 − b − a + d a p − 1 − b   p − 1 − a p − 1 − a − b p − 1 − a a + b − d p − 1 − a − b + d b        − a − c a − d − b + a − d − c 0       − c − − c − a −    where the column vector [α,β,γ,δ] represents the matrix of solutions and a,b,c,d are arbitrary non-negative integers. Since we look for non-negative integer solutions we must have that a = c and a, b ≥ d and a + b ≤ p − 1. Hence we have that

α   β     =    γ       δ    a b dp − 1 − b − a + d a p − 1 − b   p − 1 − a p − 1 − a − b p − 1 − a a + b − d p − 1 − a − b + d b        − 0 a − d − b − d 0       − a − − 0 −   

Therefore, the coeﬃcient of µp−1 is the sum of expressions of the form

α1+α2+γ2+α3+β4+α5+γ5+β6 6 (−1) ((p − 1)!) /(α1! ...α6!β1! ...β6!γ2!γ3!γ5!γ6!δ5!δ6!) NEARLY COMMUTING MATRICES 9 where α = (α1,...,α6), β = (β1,...,β6),γ = (γ2,γ3,γ5,γ6), δ = (δ5, δ6) run over all solutions of the linear system above. That is,

(p−1)/2 p − 1 2 p − 1 2 p − 1 2 p − 1 − b a + b − d b (−1)a−d a b a + b − d a b d Xd=0 a,b≥d,X a+b≤p−1 which modulo p is equivalent to

(p−1)/2 p − 1 − b a + b − d b (−1)a−d a b d Xd=0 a,b≥d,X a+b≤p−1

It also can be written as

(p−1)/2 p − 1 − b a + b − d (−1)a−d a a − d b − d d Xd=0 a,b≥d,X a+b≤p−1 or p−1 p−1−b b p − 1 − b a + b − d b (−1)a−d a b d Xb=0 Xd=0 Xa=d The following lemma shows that the above expression is equal to 1 for all values of p. In fact, for this purpose p does not have to be prime.

m b m−b a−d m−b a+b−d b Lemma 4. Let Cm = b=0 d=0 a=d (−1) a b d . Then Cm = P P P 1 for all m ≥ 1.

Proof. We prove a stronger statement.

b m−b a−d m−b a+b−d b Claim. Let Bm,b = d=0 a=d (−1) a b d . Then for all m ≥ 1 P P 0 if 0 ≤ b ≤ m − 1; Bm,b =   1 if b = m.  m 0 a−d m−b a+b−d b Proof. First observe that Bm,m = d=0 a=d(−1) a b d = 1 and m a m P P Bm,0 = a=0(−1) a = 0. Hence we may assume that 0

m−b a m−b a+b−d b d b Let Am,b,d = a=d (−1) a b , then Bm,b = d=0(−1) d Am,b,d. P P Consider the diﬀerence

Am,b,d − Am,b,d+1 = − − m b m − b a + b − d m b m − b a + b − d − 1 (−1)a − (−1)a = a b a b Xa=d a=Xd+1 − m − b m b m − b a + b − d a + b − d − 1 (−1)d + (−1)a ( − )= d a b b a=Xd+1 Using Pascal’s identity, we get

− m − b m b m − b a + b − d − 1 (−1)d + (−1)a = d a b − 1 a=Xd+1

− m b m − b a + b − d − 1 (−1)a = a b − 1 Xa=d m−1−(b−1) m − 1 − (b − 1) a +(b − 1) − d (−1)a . a b − 1 Xa=d Thus we have that

Am,b,d − Am,b,d+1 = Am−1,b−1,d for all m − 1 ≥ b ≥ d + 1 and d ≥ 0.

Therefore,

− − b 1 b − 1 b 1 b − 1 B = (−1)d A = (−1)d (A −A )= m−1,b−1 d m−1,b−1,d d m,b,d m,b,d+1 Xd=0 Xd=0

− − b 1 b − 1 b 1 b − 1 (−1)d A − (−1)d A = d m,b,d d m,b,d+1 Xd=0 Xd=0 − b 1 b b − d b b − 1 (−1)d A − (−1)d−1 A = d b m,b,d d − 1 m,b,d Xd=0 Xd=1 NEARLY COMMUTING MATRICES 11

− b 1 b b − d b b d (−1)d A + (−1)d A = d b m,b,d d b m,b,d Xd=0 Xd=1 − b 1 b (−1)d A + A +(−1)bA = d m,b,d m,b,0 m,b,b Xd=1 b b (−1)d A = B . d m,b,d m,b Xd=0

Thus we have that Bm−1,b−1 = Bm,b for all m ≥ 1 and m − 1 ≥ b ≥ 1.

In case m = 1, we only have B1,0 = 0. Finally, use induction on m to conclude that Bm,b = 0 for all m ≥ 1 and m − 1 ≥ b. m Thus, Cm = b=0 Bm,b = 1. P p−1 Finally, we complete the proof of Theorem 9. We have that 1≤i=6 j≤n uij ∈/ Q m[p] and R/I is F -pure when n = 3.

Corollary 2. Let R be a ring as in Notation 1. When n =3, R/P, R/Q and R/(P + Q) are F -pure Cohen-Macaulay rings and R/(P + Q) is Gorenstein.

Proof. By [Tho85], R/P is a Cohen-Macaulay ring when n = 3. Since the ideals P and Q are linked via I, that is I : P = Q and I : Q = P , we have that R/Q is also Cohen-Macaulay, see [PS74]. Moreover, the theory of linkage also implies that (P + Q)/P and (P + Q)/Q are isomorphic to the canonical modules of R/P and R/Q, respectively. Hence R/(P + Q) is Gorenstein of dimension n2 + n − 1.

Corollary 3. Let R be a ring as in Notation 1. Then P + Q is radical when n =3. 12 ZHIBEKKADYRSIZOVA

Remark. We prove in the next section that for all n, the radical of P + Q is prime, which implies that P + Q is prime when n = 3. In particular, we have that R/(P + Q) is a domain when n = 3.

3. Irreducibility of P + Q

In this section we prove that the intersection of the variety of commuting matrices and the skew-component is irreducible. But ﬁrst we deﬁne some notions.

Deﬁnition. Let X be an n by n matrix of indeterminates. Then D(X) is an n by n matrix whose ith column is deﬁned by the diagonal entries of Xi−1 numbered from upper left corner to lower right corner. Let P(X) denote the determinant of D(X).

Theorem 10 ([You11]). P(X) is an irreducible polynomial.

Remark. P(X) = P(X − aI), where a ∈ K and I ∈ Mn(K) is the identity matrix.

The next two lemmas are due to H. Young. They give us the connection between the variety deﬁned by P(X) and the algebraic set of nearly commuting matrices.

Lemma 5 ([You11]). Given an n × n matrix A, if there exists a matrix B such that [A, B] is a non-zero diagonal matrix, then P(A)=0.

Lemma 6 ([You11]). There is a dense open set U in the variety deﬁned by P(X) where for every point A in U, there exists a matrix B such that [A, B] is a nonzero diagonal matrix. NEARLY COMMUTING MATRICES 13

The following notion of a discriminant is of signiﬁcant importance in matrix theory. We use it in this section in order to reduce our study to the case when commuting matrices have a particularly simple characterization.

Deﬁnition. Let A ∈ Mn(K). Then the discriminant ∆(A) of A is the discriminant of its characteristic polynomial. That is, if K contains all the eigenvalues

2 λ1,...,λn of A, then ∆(A)= 1≤i

Fact. Let A ∈ Mn(K) be a matrix such that ∆(A) =6 0, or equivalently, A has distinct eigenvalues. Then a matrix B commutes with A if and only if B is a polynomial in A of degree at most n − 1, see Theorem 3.2.4.2 [HJ85].

Remark. P(X) is an irreducible polynomial of degree n(n − 1)/2 and ∆(X) is a polynomial of degree n(n−1). Moreover, when n ≥ 3, P(X) does not divide ∆(X). This can be proved by showing that there exists a matrix A with the property that P(A) = 0 while ∆(A) =6 0. For example, for this purpose one can use the following matrices.

0 1 0 ... 0 0   0 0 1 ... 0 0     0 0 En =  ......  if p ∤ n, and En =  , otherwise.     0 En−1   e    0 0 0 ... 0 1       1 0 0 ... 0 0   

n n−1 The characteristic polynomials are x − 1 for En and x(x − 1) for En. e Here is the outline for how we prove the main result of this section, that is, Rad(P + Q) is prime.

(1) dim V(P + Q)= n2 + n − 1 and V(P + Q) is equidimensional. 14 ZHIBEKKADYRSIZOVA

(2) dim V(P + Q, ∆(X)) ≤ n2 + n − 2, that is, ∆(X) is not in any of the minimal primes of P + Q.

(3) Rad(P + Q)R∆(X) is a prime ideal.

We observe that P + Q has no minimal primes of height larger than one over P and Q. First we need the following theorem due to R. Hartshorne.

Theorem 11 ([Har62] Proposition 2.1). Let A be a Noetherian local ring with the maximal ideal m. If Spec(A) −{m} is disconnected, then the depth of A is at most 1.

Lemma 7. Let P and Q be ideals as in Notation 1. Then every minimal prime of P + Q has height n2 − n +1.

Proof. Suppose that there exists a minimal prime ideal T of P +Q of height at

least ht(I)+2. Localize at T . Then (P +Q)(R/I)T is T (R/I)T -primary. More-

over, V(P ) and V(Q) are disjoint on the punctured spectrum Spec((R/I)T ) −

{T (R/I)T }. However, the above theorem shows that this is not possible.

Now let us deﬁne the set-up which we need to state and prove our next result.

Let m be a positive integer such that m ≤ n. Fix a partition (h1,...,hm) of n, that is, choose positive integers h1,...,hm such that h1 + ... + hm = n.

Let Ji be an upper triangular Jordan form of a nilpotent matrix of size hi. For

each hi there are ﬁnitely many choices of Ji. Let J = (J1,...,Jm) and let Ii

denote the identity matrix of size hi.

For any m-tuple λ = λ1,...,λm of distinct elements of K, let J(λ) =

J(λ1,...,λm) be a matrix such that for all 1 ≤ i ≤ m, the blocks λiIi + Ji are

on the main diagonal. That is, J(λ) is the direct sum of matrices λiIi + Ji. NEARLY COMMUTING MATRICES 15

m Let Λ = {(λ1,...,λm) ∈ A | λi =6 λj for all 1 ≤ i =6 j ≤ m}. It is an open subset of Am and therefore is irreducible and has dimension m. Let

WJ = {A ∈ Mn(K) | A is similar to some J(λ1,...,λm) with

λ1,...,λm ∈ K distinct}.

Let cJ denote the dimension of the set of matrices that commute with J(λ), for some λ. This number is independent of the choice of λ, since J(λ) commutes

with a matrix A if and only if A is a direct sum of matrices Ai such that each

Ai has size hi and Ai commutes with Ji. Moreover, cJ is the dimension of the set of invertible matrices that commute with J(λ), for some λ.

2 Lemma 8. The dimension of WJ is n − cJ + m.

Proof. Deﬁne a surjective map of algebraic sets

θ : GLn(K) × Λ → WJ such that

−1 (U, λ1,...,λm) → U J(λ1,...,λm)U.

Fix λ =(λ1,...,λm). Then

−1 −1 θ (J(λ)) = {(U, µ) ∈ GLn(K) × Λ | U J(µ)U = J(λ)}

and it has the dimension of the set

{U ∈ GLn(K) | J(λ)U = UJ(λ)},

that is, it is the set of all invertible matrices commuting with J(λ). 16 ZHIBEKKADYRSIZOVA

−1 −1 −1 Let M = U J(λ)U ∈ WJ and let (V,µ) ∈ θ (M). Then U J(λ)U = V −1J(µ)V for some µ and J(µ)=(UV −1)−1J(λ)(UV −1). Hence, (V,µ) ∈ θ−1(J(λ))U. Therefore, θ−1(J(λ)) and θ−1(M) have the same dimension.

Since the dimension of WJ is the dimension of GLn(K) × Λ minus the di-

−1 mension of a generic ﬁber θ (J(λ)), we have that the dimension of WJ is

2 n − cJ + m.

Moreover, the set of pairs of matrices (A, B) ∈ Mn(K) × Mn(K) such that

2 2 2 A and B commute has dimension (n − cJ + m)+ cJ = n + m ≤ n + n.

Claim. Let

W = {(A, B) ∈ Mn(K)×Mn(K)| [A, B]=0, ∆(A)=0, P(A)=0, P(B)=0}, then there is an injective map

Ψ: V(P + Q, ∆(X)) → W

so that (A, B) → (A, B).

Proof. Let (A, B) ∈ V(Q, ∆(X)) − V(P + Q, ∆(X)). Then by Lemma 5, P(A) = P(B) = 0. Therefore, (A, B) ∈ W . Since V(Q) is the closure of V(Q)−V(P +Q) we have that P(A)= P(B) = 0 for all (A, B) ∈ V(Q, ∆(X)). Hence, V(P + Q, ∆(X)) ⊆ W .

Claim. The dimension of the set W = {(A, B) ∈ Mn(K) × Mn(K)| [A, B]= 0, ∆(A)=0, P(A)=0, P(B)=0} is at most n2 + n − 2.

Proof. Let V = {(A, B) ∈ Mn(K) × Mn(K)| [A, B]=0, ∆(A)=0} and Vm =

{(A, B) ∈ V | A has m distinct eigenvalues }. Then we have that dim Vm = NEARLY COMMUTING MATRICES 17

2 n−1 2 n + m and V = m=1 Vm. Therefore, dim V ≤ n + n − 1. Notice that since S ∆(A) = 0, m ≤ n − 1.

Similarly, let Wm = {(A, B) ∈ W | A has m distinct eigenvalues }. Then n−1 W = m=1 Wm. For each value of m, Wm ⊆ Vm. Therefore, the dimension S of W is at most n2 + n − 1. Moreover, W is a closed subset of V deﬁned by the vanishing of P(X) and P(Y ). To prove the claim we need to show that dim W cannot be n2 + n − 1. We do this by showing that W does not contain any component of V of dimension n2 + n − 1. In other words, we show that there are pairs of matrices (A, B) ∈ V but not in W , i.e., either P(A) =06 or P(B) =6 0.

Let A ∈ Mn(K) be a matrix with distinct eigenvalues λ = λ1 = λ2,λ3,...,λn. Then A is similar to a Jordan matrix in two possible forms. λ 0 0 0 ... 0   0 λ 0 0 ... 0     Case 1. A is similar to J =  0 0 λ 0 ... 0   3       ......       0 0 0 0 ... λn   

Take B = diag(a1,...,an) be a diagonal matrix with distinct entries on the

diagonal. Then [A, B] = 0 and P(B)= 1≤i

λ 1 0 0 ... 0   0 λ 0 0 ... 0     Case 2. A is similar to J =  0 0 λ 0 ... 0   3       ......       0 0 0 0 ... λn    18 ZHIBEKKADYRSIZOVA

λ4 0 ... 0 λ 1 0   J 0   0 λ ... 0 0  5  Write J =  , where J0 = 0 λ 0 and J1 =  .     0 J1    ...     0 0 λ3         0 0 ... λn   

U0 0 Take an n by n block-diagonal matrix U =   such that U0 = 0 U1   0 0 1   1 1 0 and U1 ∈ Mn−3(K) is the identity matrix.      0 1 1    −1 −1 U0 0 U0 J0U0 0 Then U −1 =   and U −1JU =  . −1 0 U 0 J1  1    Our goal is to show that P(U −1JU) =6 0. First, we prove it for the case of

−1 3 by 3 matrices, i.e., for U0 J0U0. −1 −1 −1 Observe that P(U0 J0U0)= P(U0 J0U0 − λI)= P(U0 (J0 − λI)U0). −1 −1 Denote M = U (J − λI)U and M0 = U0 (J0 − λI)U0. We have that

1 1 −1 −1   U0 = −10 1      1 0 0    and

1 1 − (λ3 − λ) −(λ3 − λ) −1   M0 = U0 (J0 − λI)U0 = −1 −1+(λ3 − λ) (λ3 − λ) .      1 1 0    NEARLY COMMUTING MATRICES 19

Moreover, 2 2 0 −(λ3 − λ) −(λ3 − λ)   2 2 2 M0 = 0 (λ3 − λ) (λ3 − λ) .      00 0    i i In particular, the diagonal diag(M0)=(0, (λ3 − λ) , 0) for all i ≥ 2. Then

1 1 0   2 2 P(M0) = det 1 −1+(λ3 − λ) (λ3 − λ) =(λ3 − λ) =06 .      1 0 0   

Finally,

11 0 0 ... 0   1 −1+ λ − λ (λ − λ)2 (λ − λ)3 ... (λ − λ)n−1  3 3 3 3     10 0 0 ... 0    P(M) = det   =  2 3 n−1   1 λ4 − λ (λ4 − λ) (λ4 − λ) ... (λ4 − λ)       ......     2 3 n−1   1 λn − λ (λn − λ) (λn − λ) ... (λn − λ)   

n 2 = (λi − λ) (λj − λi) =06 . Yi=3 3≤Yi

Now we prove that P + Q has only one minimal prime. 20 ZHIBEKKADYRSIZOVA

Theorem 12. Let P and Q be as in Notation 1. Then V(P +Q) is irreducible, i.e., Rad(P + Q) is prime. Proof. Let U be a dense open subset in the algebraic set deﬁned by P(X) as in

Lemma 6. Let A ∈ Mn(K) be such that P(A) = 0. Suppose that A ∈ U. Then by Lemma 6 there exists a matrix B such that (A, B) is in the skew-component of the algebraic set of nearly commuting matrices, that is (A, B) ∈ V(Q). Let K[t] be a polynomial ring in one independent variable t. Fix any f ∈ K[t]. Then (A, cB + f(A)) ∈ V(Q) for all c ∈ K −{0}. Since Q deﬁnes a closed set, we must have that (A, f(A)) ∈ V(Q), i.e., when c = 0 as well. Since U is a dense subset in V(P(X)), (A, f(A)) ∈ V(Q) for all A ∈ V(P(X)). Recall that f was an arbitrary element of K[t]. Now assume also that ∆(A) =6 0. Then every matrix B that commutes with A is a polynomial in A of degree at most n − 1. Thus

V(P )∆(X) = {(A, f(A)) | ∆(A) =6 0 and f is a polynomial of degree at most n−1}.

Moreover, since V(P + Q) ⊂ V(P ), every element of V(P + Q)∆(X) is of the form (A, f(A)), where P(A) = 0 and f is a polynomial of degree at most n−1. Identify polynomials f ∈ K[t] of degree at most n − 1 with An. Then we can consider a map

n V(P(X))∆(X) × A → V(P + Q)∆(X)

such that (A, f) → (A, f(A)).

Moreover, this map is a bijective morphism. Therefore, V(P + Q)∆(X) is irreducible. If V(P + Q) is not irreducible, then its nontrivial irreducible NEARLY COMMUTING MATRICES 21 decomposition will give us a nontrivial irreducible decomposition of V(P +

Q)∆(X), since ∆(X) is not in any of the minimal primes of P + Q. Thus the result. Corollary 4. Let P and Q be as in Notation 1. Then, when n =3, P + Q is prime.

4. The ideal of nearly commuting matrices is a radical ideal

In this section we prove that I is a radical ideal in all characteristics. We know that Rad(I) = P Q and I is unmixed as the heights of P and Q are T equal to n2 − n. To prove the result it is suﬃcient to show that I becomes prime or radical once we localize at P or Q.

Theorem 13. The deﬁning ideal of the algebraic set of nearly commuting matrices is radical.

Proof. For simplicity of notation, let P denote P(X). We have that K[X] P = (0), since every f ∈ K[X] P must vanish T T when we set X = Y . Therefore, W = K[X] −{0} is disjoint from P and hence from I. Localize at P . Then we have an injective homomorphism of K[X,Y ]/I-modules

∼ , K[X,Y ]/I)P ֒→ (K(X)[Y ]/I)P = (L[Y ]/I)P)

where L = K(X) and now I is an ideal generated by n2 − n linear equations in the entries of Y with coeﬃcients in L. We can always choose at least n

variables yij, (i, j) ∈ Λ, and write the rest of them as L-linear combinations of

.the chosen ones. Thus (K[X,Y ]/I)P ֒→ L[yij](i,j)∈Λ and IK[X,Y ]P is prime 22 ZHIBEKKADYRSIZOVA

Next observe that K[X] Q =(P). Clearly, (P) ⊆ Q. To prove the other T direction, let f ∈ K[X] Q be nonzero. Then by Lemma 5, f ∈ (P). In other T words, for all A ∈ Mn(K) such that A ∈ V(Q) and such that there exists a matrix B with the property that [A, B] is nonzero diagonal, then P(A) = 0. Therefore, we have an injective homomorphism of K[X,Y ]/I-modules

,K[X,Y ]/I)Q ֒→ (V [Y ]/I)Q)

where V = K[X](P) is a discrete valuation domain. Then generators of I become linear polynomials in the entries of Y with coeﬃcients in V . Let B be the matrix of coeﬃcients of this linear system such that its rows are indexed by (i, j) for 1 ≤ i =6 j ≤ n and columns are indexed by (h, k) for all

1 ≤ h, k ≤ n. Then for i =6 h and k =6 j B has an entry xih in the (i, k), (h, k) spot, has an entry −xkj in the (i, j), (i, k) spot, and xii − xjj in the (i, j)(i, j) spot and zero everywhere else. Let y1,...,yn2 denote the entries of Y such that y(i−1)n+j = yij. In V [Y ], I is generated by the entries of the matrix

y1   y  2  B   .    ...       yn2    By doing elementary row operations over V , we can transform B into a diagonal matrix C. This gives new generators of I. To prove that IV [Y ] is radical, it is suﬃcient to show that the diagonal entries in C have order at most one in V . To this end it reduces to show that C has rank n2 − n and the ideal generated by the minors of C of size n2 − n cannot be contained in NEARLY COMMUTING MATRICES 23

P2V . But then it is suﬃcient to prove this for the original matrix B. Hence it suﬃces to show:

2 Claim. (1) The submatrix B0 of B obtained from the ﬁrst n − n columns has nonzero determinant in V .

2 (2) The determinant of B0 is in (P) − (P ).

Proof.

(1) It is suﬃcient to prove the ﬁrst part of the claim over K(X) = frac(V ), i.e., after we invert P. In this case, since X and Y nearly commute, they must commute, see Lemma 5. Moreover, X is a generic matrix, hence its discriminant is nonzero and is not divisible by P. Thus X has distinct eigenvalues and Y is a polynomial in X of degree at most n − 1. Write B = [B0|B1], then our equations become

y1 yn2−n+1     y y 2  2   n −n+2  B0   + B1   =0.      ...   ...           yn2−n   yn2      Notice that B0 is invertible if and only if for every choice of the values for

[yn2−n+1,...,yn2 ] there is a unique solution for the above equation. Furthermore, the bottom rows of X0, X,...,Xn−1 are linearly independent for a generic matrix X. This is true because it even holds for the permutation 24 ZHIBEKKADYRSIZOVA

matrix 0 1 0 ... 0 0   0 0 1 ... 0 0     E =  ......         0 0 0 ... 0 1       1 0 0 ... 0 0    for which the bottom rows of E0,E,...,En−1 are the standard basis vectors

ei for 1 ≤ i ≤ n.

Thus, given any bottom row ρ of Y , there exist α0,...,αn−1 ∈ K(X) such

n−1 that ρ equals the bottom row of α0 + α1X + ... + αn−1X . That is, such

a Y is uniquely determined by the entries of its bottom row. Therefore, B0 is invertible in K(X).

(2) First, let us show that det B0 ∈ (P). For any matrix A in an open dense subset of the closed set deﬁned by P, there exists a matrix A′ such that the commutator [A, A′] is a nonzero diagonal matrix, see Lemma 6 . Hence, for all c ∈ K −{0} and for all f ∈ K[X] polynomials of degree at most n − 1, (A, cA′ + f(A)) ∈ V(I). Therefore, the space of solutions of

y1   y  2  B·   =0    ...       yn2    has dimension n + 1, but we showed in (1) that it must be n. Therefore, the minors of B must vanish whenever P vanishes. NEARLY COMMUTING MATRICES 25

Notice that the degree of the polynomial P is n(n − 1)/2, while the degree of det B0 is n(n − 1). Therefore, to prove part (2) it is suﬃcient to show that

2 det B0 is not a K-scalar multiple of P .

Now let us put grading on the entries of X and Y . Let deg xij = deg yij = i − j. Then their products XY and YX and sums have this property as well: deg (XY )ij = i − j and deg (X + Y )ij = i − j. Therefore, so does the commutator matrix XY − YX. In fact, any polynomial in X and Y has this property. Notice that the diagonal entries have degree 0, thus P has degree

0. However, this is not the case for the determinant of the matrix B0. The nonzero entry corresponding to (i, j), (k, h) has degree i−j +h−k. Therefore, if a product of the entries is a nonzero term of the determinant of B0, then its

2 2 degree is 1≤i=6 j≤n 1≤h≤n 1≤k

Now we are ready to ﬁnish our discussion. Let C = [C0|C1] be a matrix that is obtained from B by elementary row transformations so that C0 = diag(cii)1≤i≤n2−n is a diagonal matrix. We proved that there exists 1 ≤ k ≤

2 2 n −n with the property that cii is a unit in V for all i =6 k and ckk ∈ (P)−(P ).

Denote ckk = αP, where α is a unit in V . 26 ZHIBEKKADYRSIZOVA

The ideal I is generated by the following equations

c11 0 0 ... 0   y1 yn2−n+1 0 c22 0 ... 0       y y 2    2   n −n+2   ......  +C1 .          ...   ...         0 0 0 ... cn2−n−1,n2−n−1 0         y 2   y 2     n −n   n   0 0 0 ... 0 cn2−n,n2−n        n ∼ 2 2 2 2 Then V [Y ]/I = V [yn −n+1,yn −n+2,...,yn ][ykk]/(αP − j=1(C1)kjyn −n+j) P is reduced. To show this we consider two cases. If all (C1)kj ∈ P, then the last factor ring is isomorphic to V [yn2−n+1,yn2−n+2,...,yn2 ][z]/(zP). If there is j so that (C1)kj is a unit, then the factor ring is isomorphic to

V [yi]n2−n+1≤i=6 j≤n2 [ykk]. In either case, it is reduced. Therefore, since we have

.an injective map (R/I)Q ֒→ (V [Y ]/I)Q, IRQ is radical

5. Conjectures

In this section we state conjectures that we have made while doing the research. Many of them appeared as a result of computations performed on a computer algebra program Macaulay2, [GS].

Conjecture 2. Let R be as in Notation 1. Then R/P , R/Q and R/(P + Q) are F -regular.

Remark. In the case when n = 2 the conjecture is true.

The following lemma allows us to reduce the above conjecture to the F - regularity of R/(P + Q). NEARLY COMMUTING MATRICES 27

Lemma 9. Let R be a Noetherian local or N-graded ring of prime characteristic p> 0 and let I be an ideal (homogeneous in the graded case) generated by a regular sequence. Let P and Q be ideals of R of the same height such that P and Q are linked via I = P Q. Let R/P be Cohen-Macaulay. Suppose that T R/(P +Q) is F -regular (or equivalently, F -rational). Then R/P and R/Q are F -regular.

Proof. By [PS74], R/Q is Cohen-Macaulay and has the canonical module isomorphic to (P + Q)/Q. Similarly, the canonical module of R/P is (P + Q)/P . Then R/(P + Q) is Gorenstein, hence it is F -rational if and only if it is F - regular.

Recall that a graded ring R is F -regular if and only if Rm is F -regular, [LS99]. Then R/(P + Q) is F -rational if and only if its localization at the homogeneous maximal ideal is F -rational. Then by applying Corollary 2.9 in [Ene03] we have that F -rationality of R/(P + Q) implies F -regularity of R/P and R/Q.

Thus if we want to prove that the variety of commuting matrices and the skew component are F -regular, it is suﬃcient to prove the statement for their intersection. Of course we need to know whether R/P is Cohen-Macaulay.

Conjecture 3. R/I is F -pure for all n.

The above conjecture can be solved by proving the following one.

n Qi=1,j=1 xij yij Conjecture 4. Let µ = n−1 . Qi=1 xiiyi,n−i+1·xn,n−1·yn−1,1

p−1 p Then µ is a monomial term of 1≤i=6 j≤n uij with coeﬃcient equal to 1 Q modulo p. 28 ZHIBEKKADYRSIZOVA

Remark. The above monomial can be obtained taking the product of all the variables and dividing by the variables according to the following pattern: denote by ⋆ the variable to be divided out.

⋆ x12 ... x1,n−2 x1,n−1 x1n

x21 ⋆ ... x2,n−2 x2,n−1 x2n

......

X = ,

xn−2,1 xn−2,2 ... ⋆ xn−2,n−1 xn−1,n

xn−1,1 xn−1,2 ... xn−1,n−2 ⋆ xn−1,n

xn,1 xn,2 ... xn,n−2 ⋆ xn,n

y11 y12 y1,3 ... y1,n−1 ⋆

y21 y22 y2,3 ... ⋆ y2n

......

Y =

yn−2,1 yn−2,2 ⋆ ... yn−2,n−1 yn−2,n

⋆ ⋆yn−1,3 ... yn−1,n−1 yn−1,n

yn,1 yn,2 yn,3 ... yn,n−1 yn,n

Conjecture 5. Let X be a matrix of indeterminates of size n over a ﬁeld K. Let P(X) be the irreducible polynomial as in Deﬁnition 3. Then K[X]/P(X) is F -regular.

Conjecture 6. The following is a regular sequence on R/I and hence a part of a system of parameters on R/J and R/Q.

xst − yt,θ(s,t), x1n, xnn, x11 − y2n NEARLY COMMUTING MATRICES 29

(s + t)mod n, if s + t =6 n; for all 1 ≤ s, t, ≤ n and where θ(s, t)=   n, if s + t = n.  Remark. The conjecture was veriﬁed by using Macaulay2 software when n = 3, 4 over K = Q and in some small prime characteristics.

In the case when n = 3, this is equivalent to the following identiﬁcations of variables in matrices X and Y

x11 x12 0 x31 x11 x21

X = x21 x22 x22 ,Y = x22 x32 x12 .

x31 x32 0 0 x22 0

Conjecture 7. Let Z ⊆{uij | 1 ≤ i =6 j ≤ n} be any subset of cardinality at

2 most n − n − 1. Let IZ be the ideal of R generated by the elements of Z.

Then R/IZ is F -regular. In particular, IZ is a prime ideal.

6. Acknowledgement

This paper is the part of the thesis written by the author during her doc- torate study at the University of Michigan. The author would like to express an enormous gratitude to Mel Hochster for the support and guidance received while working on the paper. This work was supported in part by NSF grant DMS-1401384 and the Barbour Scholarship at the University of Michigan. 30 ZHIBEKKADYRSIZOVA

References

[Ene03] F. Enescu, Applications of pseudocanonical covers to tight closure problems, J. Pure Appl. Algebra 178(2) (2003), 159–167. [Fed87] R. Fedder, F-purity and rational singularity in graded complete intersection rings, Transactions of the American Mathematical Society 301 (1987), no. 1, 47–62. [Ger61] M. Gerstenhaber, On dominance and varieties of commuting matrices, Ann. Math. 73 (1961), 324–348. [GS] D. Grayson and M. Stillman, Macaulay 2: a computer algebra system for algebraic geometry and commutative algebra, available at http://www.math.uiuc.edu/Macaulay2. [Har62] R. Hartshorne, Complete intersections and connectedness, American Journal of Mathematics 84 (1962), no. 3, 497–508. [HH94] M. Hochster and C. Huneke, Tight closure of parameter ideals and splitting in module-finite extensions, J. Algebraic Geom. 3 (1994), no. 4, 599–670. [HJ85] R. Horn and C. Johnson, Matrix analysis, Cambridge Univ. Press, Cambridge, UK, 1985. [Knu05] A. Knutson, Some schemes related to the commuting variety, Journal of Algebraic Geometry 14 (2005), 283–294. [LS99] G. Lyubeznik and K. Smith, Strong and weak F-regularity are equivalent for graded rings, American Journal of Mathematics 121 (1999), no. 6, 1279–1290. [PS74] C. Peskine and L. Szpiro, Liaison des variétés algébriques, i, Invent. Math. 26 (1974), 271–302. [ST12] K. Schwede and K. Tucker, A survey of test ideals, Progress in Commutative Alge- bra 2, Closures, Finiteness and Factorization, Walter de Gruyter GmbH and Co. KG Berlin (2012), 39–99. [Tho85] M. Thompson, Topics in the ideal theory of commutative Noetherian rings, Ph.D. thesis, University of Michigan, 1985. [You11] H. Young, Components of algebraic sets of commuting and nearly commuting matrices, Ph.D. thesis, University of Michigan, 2011. NEARLY COMMUTING MATRICES 31

Email address: [email protected] Department of Mathematics, School of Science and Technology, Nazarbayev University 53 Kabanbay Batyr Ave, Astana 010000, Kazakhstan