Linear spaces of matrices of constant rank and instanton bundles

We present a new method to study 4-dimensional linear spaces of skew-symmetric matrices of constant co-rank 2, based on rank 2 vector bundles on P³${\mathbb{P}}^3$ and derived category tools. The method allows one to prove the existence of new examples of size 10×10$10\times 10$ and 14×14$14\times 14$ via instanton bundles of charge 2 and 4 respectively, and it provides an explanation for what used to be the only known example (Westwick 1996 [25]). We also give an algorithm to construct explicitly a matrix of size 14 of this type.     

On globally generated vector bundles on projective spaces

A classification is given for globally generated vector bundles E of rank k on Pⁿ having first Chern class c₁(E)=2. In particular, we get that they split if k<n unless E is a twisted null-correlation bundle on P³. In view of the well-known correspondence between globally generated vector bundles and maps to Grassmannians, we obtain, as a corollary, a classification of double Veronese embeddings of Pⁿ into a Grassmannian G(k−1,N) of (k−1)-planes in P^N.     

Hankel planes

Starting from an (m+1)×(n+1) matrix A one can construct (m+p+1)×(n+1)(p+1) block Toeplitz matrices , p≥0, based on the rows of A. The connections between the ranks of the two matrices is studied by comparing the corresponding vector spaces of row relations R and R(p). A main tool are the Hankel matrices with rows in R. The dimension of R(p) is determined in terms of geometric invariants attached to the Hankel matrices with rows in R. The study of Hankel r-planes of P^m, for r≥1, turns out to be very useful and interesting in itself since they constitute a subvariety of the Grassmannian G(r,m).     

Subspaces of matrices with special rank properties

Let K be a field and let M_m×n(K) denote the space of m×n matrices over K. We investigate properties of a subspace M of M_m×n(K) of dimension n(m-r+1) in which each non-zero element of M has rank at least r and enumerate the number of elements of a given rank in M when K is finite. We also provide an upper bound for the dimension of a constant rank r subspace of M_m×n(K) when K is finite and give non-trivial examples to show that our bound is optimal in some cases. We include a similar a bound for the maximum dimension of a constant rank subspace of skew-symmetric matrices over a finite field.     

Preservers of pairs of bivectors with bounded distance

We extend Liu’s fundamental theorem of the geometry of alternate matrices to the second exterior power of an infinite dimensional vector space and also use her theorem to characterize surjective mappings T from the vector space V of all n×n alternate matrices over a field with at least three elements onto itself such that for any pair A, B in V, rank(A-B)?2k if and only if rank(T(A)-T(B))?2k, where k is a fixed positive integer such that n?2k+2 and k?2.     

Semidefinite descriptions of low-dimensional separable matrix cones

Let K⊂E, K^′⊂E^′ be convex cones residing in finite-dimensional real vector spaces. An element y in the tensor product E⊗E^′ is K⊗K^′-separable if it can be represented as finite sum , where x_l∈K and for all l. Let S(n), H(n), Q(n) be the spaces of n×n real symmetric, complex Hermitian and quaternionic Hermitian matrices, respectively. Let further S₊(n), H₊(n), Q₊(n) be the cones of positive semidefinite matrices in these spaces. If a matrix A∈H(mn)=H(m)⊗H(n) is H₊(m)⊗H₊(n)-separable, then it fulfills also the so-called PPT condition, i.e. it is positive semidefinite and has a positive semidefinite partial transpose. The same implication holds for matrices in the spaces S(m)⊗S(n), H(m)⊗S(n), and for m?2 in the space Q(m)⊗S(n). We provide a complete enumeration of all pairs (n,m) when the inverse implication is also true for each of the above spaces, i.e. the PPT condition is sufficient for separability. We also show that a matrix in Q(n)⊗S(2) is Q₊(n)⊗S₊(2)- separable if and only if it is positive semidefinite.     

On the dimension of some real spaces of bounded rank matrices

Given n∈N, let X be either the set of hermitian or real n×n matrices of rank at least n-1. If n is even, we give a sharp estimate on the maximal dimension of a real vector space V⊂X∪{0}. The results are obtained, via K-theory, by studying a bundle map induced by the adjunction of matrices.     

Monodromy groups of Hurwitz-type problems

We solve the Hurwitz monodromy problem for degree 4 covers. That is, the Hurwitz space H4,g of all simply branched covers of P¹ of degree 4 and genus g is an unramified cover of the space P2g+6 of (2g+6)-tuples of distinct points in P¹. We determine the monodromy of π₁(P2g+6) on the points of the fiber. This turns out to be the same problem as the action of π₁(P2g+6) on a certain local system of Z/2-vector spaces. We generalize our result by treating the analogous local system with Z/N coefficients, 3?N, in place of Z/2. This in turn allows us to answer a question of Ellenberg concerning families of Galois covers of P¹ with deck group ²(Z/N):S₃.     

On extremal matrices of second largest exponent by Boolean rank

Let b = b(A) be the Boolean rank of an n × n primitive Boolean matrix A and exp(A) be the exponent of A. Then exp(A) ? (b − 1)² + 2, and the matrices for which equality occurs have been determined in [D.A. Gregory, S.J. Kirkland, N.J. Pullman, A bound on the exponent of a primitive matrix using Boolean rank, Linear Algebra Appl. 217 (1995) 101-116]. In this paper, we show that for each 3 ? b ? n − 1, there are n × n primitive Boolean matrices A with b(A) = b such that exp(A) = (b − 1)² + 1, and we explicitly describe all such matrices.     

Ideals of varieties parameterized by certain symmetric tensors

The ideal of a Segre variety P^n₁×?×P^n_t?P^{(n₁+1)?(n_t+1)−1} is generated by the 2-minors of a generic hypermatrix of indeterminates (see [H.T. Hà, Box-shaped matrices and the defining ideal of certain blowup surface, J. Pure Appl. Algebra 167 (2-3) (2002) 203-224. MR1874542 (2002h:13020)] and [R. Grone, Decomposable tensors as a quadratic variety, Proc. Amer. Math. 43 (2) (1977) 227-230. MR0472853 (57 #12542)]). We extend this result to the case of Segre-Veronese varieties. The main tool is the concept of “weak generic hypermatrix” which allows us to treat also the case of projection of Veronese surfaces from a set of general points and of Veronese varieties from a Cohen-Macaulay subvariety of codimension 2.     

Palindromic matrix polynomials, matrix functions and integral representations

We study the properties of palindromic quadratic matrix polynomials φ(z)=P+Qz+Pz², i.e., quadratic polynomials where the coefficients P and Q are square matrices, and where the constant and the leading coefficients are equal. We show that, for suitable choices of the matrix coefficients P and Q, it is possible to characterize by means of φ(z) well known matrix functions, namely the matrix square root, the matrix polar factor, the matrix sign and the geometric mean of two matrices. Finally we provide some integral representations of these matrix functions.     

A note on the perturbation of positive matrices by normal and unitary matrices

In a recent paper, Neumann and Sze considered for an n × n nonnegative matrix A, the minimization and maximization of ρ(A + S), the spectral radius of (A + S), as S ranges over all the doubly stochastic matrices. They showed that both extremal values are always attained at an n × n permutation matrix. As a permutation matrix is a particular case of a normal matrix whose spectral radius is 1, we consider here, for positive matrices A such that (A + N) is a nonnegative matrix, for all normal matrices N whose spectral radius is 1, the minimization and maximization problems of ρ(A + N) as N ranges over all such matrices. We show that the extremal values always occur at an n × n real unitary matrix. We compare our results with a less recent work of Han, Neumann, and Tastsomeros in which the maximum value of ρ(A + X) over all n × n real matrices X of Frobenius norm was sought.     

2-Adic valuations of certain ratios of products of factorials and applications

We prove the conjecture of Falikman-Friedland-Loewy on the parity of the degrees of projective varieties of n×n complex symmetric matrices of rank at most k. We also characterize the parity of the degrees of projective varieties of n×n complex skew symmetric matrices of rank at most 2p. We give recursive relations which determine the parity of the degrees of projective varieties of m×n complex matrices of rank at most k. In the case the degrees of these varieties are odd, we characterize the minimal dimensions of subspaces of n×n skew symmetric real matrices and of m×n real matrices containing a nonzero matrix of rank at most k. The parity questions studied here are also of combinatorial interest since they concern the parity of the number of plane partitions contained in a given box, on the one hand, and the parity of the number of symplectic tableaux of rectangular shape, on the other hand.     

Orbits of parabolic subgroups on metabelian ideals

Let k be an algebraically closed field, t∈Z?1, and let B be the Borel subgroup of GLt(k) consisting of upper-triangular matrices. Let Q be a parabolic subgroup of GLt(k) that contains B and such that the Lie algebra qu of the unipotent radical of Q is metabelian, i.e. the derived subalgebra of qu is abelian. For a dimension vector with , we obtain a parabolic subgroup P(d) of GLn(k) from B by taking upper-triangular block matrices with (i,j) block of size di×dj. In a similar manner we obtain a parabolic subgroup Q(d) of GLn(k) from Q. We determine all instances when P(d) acts on qu(d) with a finite number of orbits for all dimension vectors d. Our methods use a translation of the problem into the representation theory of certain quasi-hereditary algebras. In the finite cases, we use Auslander-Reiten theory to explicitly determine the P(d)-orbits; this also allows us to determine the degenerations of P(d)-orbits.     

Poisson structures on affine spaces and flag varieties. I. Matrix affine Poisson space

The standard Poisson structure on the rectangular matrix variety Mm,n(C) is investigated, via the orbits of symplectic leaves under the action of the maximal torus T⊂GLm+n(C). These orbits, finite in number, are shown to be smooth irreducible locally closed subvarieties of Mm,n(C), isomorphic to intersections of dual Schubert cells in the full flag variety of GLm+n(C). Three different presentations of the T-orbits of symplectic leaves in Mm,n(C) are obtained: (a) as pullbacks of Bruhat cells in GLm+n(C) under a particular map; (b) in terms of rank conditions on rectangular submatrices; and (c) as matrix products of sets similar to double Bruhat cells in GLm(C) and GLn(C). In presentation (a), the orbits of leaves are parametrized by a subset of the Weyl group Sm+n, such that inclusions of Zariski closures correspond to the Bruhat order. Presentation (b) allows explicit calculations of orbits. From presentation (c) it follows that, up to Zariski closure, each orbit of leaves is a matrix product of one orbit with a fixed column-echelon form and one with a fixed row-echelon form. Finally, decompositions of generalized double Bruhat cells in Mm,n(C) (with respect to pairs of partial permutation matrices) into unions of T-orbits of symplectic leaves are obtained.     

On the Picard bundle

Fix a holomorphic line bundle ξ over a compact connected Riemann surface X of genus g, with g?2, and also fix an integer r such that degree(ξ)>r(2g−1). Let Mξ(r) denote the moduli space of stable vector bundles over X of rank r and determinant ξ. The Fourier-Mukai transform, with respect to a Poincaré line bundle on X×J(X), of any F∈Mξ(r) is a stable vector bundle on J(X). This gives an injective map of Mξ(r) in a moduli space associated to J(X). If g=2, then Mξ(r) becomes a Lagrangian subscheme.     

Elementary transformations of pfaffian representations of plane curves

Let C be a smooth curve in P² given by an equation F=0 of degree d. In this paper we consider elementary transformations of linear pfaffian representations of C. Elementary transformations can be interpreted as actions on a rank 2 vector bundle on C with canonical determinant and no sections, which corresponds to the cokernel of a pfaffian representation. Every two pfaffian representations of C can be bridged by a finite sequence of elementary transformations. Pfaffian representations and elementary transformations are constructed explicitly. For a smooth quartic, applications to Aronhold bundles and theta characteristics are given.     

The nullity and rank of linear combinations of idempotent matrices

Baksalary and Baksalary [J.K. Baksalary, O.M. Baksalary, Nonsingularity of linear combinations of idempotent matrices, Linear Algebra Appl. 388 (2004) 25-29] proved that the nonsingularity of P₁ + P₂, where P₁ and P₂ are idempotent matrices, is equivalent to the nonsingularity of any linear combinations c₁P₁ + c₂P₂, where c₁, c₂ ≠ 0 and c₁ + c₂ ≠ 0. In the present note this result is strengthened by showing that the nullity and rank of c₁P₁ + c₂P₂ are constant. Furthermore, a simple proof of the rank formula of Groß and Trenkler [J. Groß, G. Trenkler, Nonsingularity of the difference of two oblique projectors, SIAM J. Matrix Anal. Appl. 21 (1999) 390-395] is obtained.