arXiv subjects
Publications and source records attributed to Ada Boralevi.
We study spaces of matrices coming from irreducible representations of reductive groups over an algebraically closed field of characteristic zero and we completely classify those of constant corank one. In particular, we recover the examples coming from symmetric forms discovered in [BFL22].
In this article, we study permanental varieties, i.e. varieties defined by the vanishing of permanents of fixed size of a generic matrix. Permanents and their varieties play an important, and sometimes poorly understood, role in combinatorics. However, there are essentially no geometric results about them in the literature, in very sharp contrast to the well-behaved and ubiquitous case of determinants and minors. Motivated by the study of the singular locus of the permanental hypersurface, we focus on the codimension of these varieties. We introduce a $\mathbb C^{*}$-action on matrices and prove a number of results. In particular, we improve a lower bound on the codimension of the aforementioned singular locus established by von zur Gathen in 1987.
We give a geometric description of singular pencils of quadrics of constant rank, relating them to the splitting type of some naturally associated vector bundles on $\mathbb{P}^1$. Then we study their orbits in the Grassmannian of lines, under the natural action of the general linear group.
We study smooth quadric surfaces in the Pfaffian hypersurface in $\mathbb{P}^{14}$ parameterising $6 \times 6$ skew-symmetric matrices of rank at most 4, not intersecting the Grassmannian $\mathbb{G}(1,5)$. Such surfaces correspond to quadratic systems of skew-symmetric matrices of size 6 and constant rank 4, and give rise to a globally generated vector bundle $E$ on the quadric. We analyse these bundles and their geometry, relating them to linear congruences of lines in $\mathbb{P}^5$.
We construct stable vector bundles on the space of symmetric forms of degree d in n+1 variables which are equivariant for the action of SL_{n+1}(C), and admit an equivariant free resolution of length 2. For n=1, we obtain new examples of stable vector bundles of rank d-1 on P^d, which are moreover equivariant for SL_2(C). The presentation matrix of these bundles attains Westwick's upper bound for the dimension of vector spaces of matrices of constant rank and fixed size.
We give a new method to construct linear spaces of matrices of constant rank, based on truncated graded cohomology modules of certain vector bundles as well as on the existence of graded Artinian modules with pure resolutions. Our method allows one to produce several new examples, and provides an alternative point of view on the existing ones.
The problem of expressing a specific polynomial as the determinant of a square matrix of affine-linear forms arises from algebraic geometry, optimisation, complexity theory, and scientific computing. Motivated by recent developments in this last area, we introduce the notion of a uniform determinantal representation, not of a single polynomial but rather of all polynomials in a given number of variables and of a given maximal degree. We derive a lower bound on the size of the matrix, and present a construction achieving that lower bound up to a constant factor as the number of variables is fixed and the degree grows. This construction marks an improvement upon a recent construction due to Plestenjak-Hochstenbach, and we investigate the performance of new representations in their root-finding technique for bivariate systems. Furthermore, we relate uniform determinantal representations to vector spaces of singular matrices, and we conclude with a number of future research directions.
We consider the problem of determining all pairs (c_1, c_2) of Chern classes of rank 2 bundles that are cokernel of a skew-symmetric matrix of linear forms in 3 variables, having constant rank 2c_1 and size 2c_1+2. We completely solve the problem in the "stable" range, i.e. for pairs with c_1^2-4c_2<0, proving that the additional condition c_2\le {{c_1+1}\choose 2} is necessary and sufficient. For c_1^2-4c_2\ge 0, we prove that there exist globally generated bundles, some even defining an embedding of P^2 in a Grassmannian, that cannot correspond to a matrix of the above type. This extends previous work on c_1\le 3.
While every matrix admits a singular value decomposition, in which the terms are pairwise orthogonal in a strong sense, higher-order tensors typically do not admit such an orthogonal decomposition. Those that do have attracted attention from theoretical computer science and scientific computing. We complement this existing body of literature with an algebro-geometric analysis of the set of orthogonally decomposable tensors. More specifically, we prove that they form a real-algebraic variety defined by polynomials of degree at most four. The exact degrees, and the corresponding polynomials, are different in each of three times two scenarios: ordinary, symmetric, or alternating tensors; and real-orthogonal versus complex-unitary. A key feature of our approach is a surprising connection between orthogonally decomposable tensors and semisimple algebras---associative in the ordinary and symmetric settings and of compact Lie type in the alternating setting.
Using properties of skew-Hamiltonian matrices and classic connectedness results, we prove that the moduli space $M_{ort}^0(r,n)$ of stable rank $r$ orthogonal vector bundles on $\mathbb{P}^2$, with Chern classes $(c_1,c_2)=(0,n)$, and trivial splitting on the general line, is smooth irreducible of dimension $(r-2)n-{r \choose 2}$ for specific values of $r$ and $n$.
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^3 and derived category tools. The method allows one to prove the existence of new examples of size 10x10 and 14x14 via instanton bundles of charge 2 and 4 respectively, and provides an explanation for what used to be the only known example (Westwick 1996). We also give an algorithm to construct explicitly a matrix of size 14 of this type.
We study the dimensions of secant varieties of the Grassmannian of Lagrangian subspaces in a symplectic vector space. We calculate these dimensions for third and fourth secant varieties. Our result is obtained by providing a normal form for four general points on such a Grassmannian and by explicitly calculating the tangent spaces at these four points.
In this work we give a method for computing sections of homogeneous vector bundles on any rational homogeneous variety G/P of type ADE. Our main tool is the equivalence of categories between homogeneous vector bundles on G/P and finite dimensional representations of a given quiver with relations. Our result generalizes the work of Ottaviani and Rubei [OR06].
Given a rational homogeneous variety G/P where G is complex simple and of type ADE, we prove that all tangent bundles T_{G/P} are simple, meaning that their only endomorphisms are scalar multiples of the identity. This result combined with Hitchin-Kobayashi correspondence implies stability of these tangent bundles with respect to the anticanonical polarization. Our main tool is the equivalence of categories between homogeneous vector bundles on G/P and finite dimensional representations of a given quiver with relations.
We study the behavior of the Horrocks-Mumford bundle when restricted to a plane P^2 in P^4, looking for all possible minimal free resolutions for the restricted bundle. To each of the 6 resolutions (4 stable and 2 unstable) we find, we then associate a subvariety of the Grassmannian G(2,4) of planes in P^4. We thus obtain a filtration of the Grassmannian, which we describe in the second part of this work.