Related papers: Equations and syzygies of some Kalman varieties
The Kalman variety of a linear subspace is a vector space consisting of all endomorphisms that have an eigenvector in that subspace. We resolve a conjecture of Ottaviani and Sturmfels and give the minimal defining equations of the Kalman…
The Kalman variety of a linear subspace in a vector space consists of all endomorphism that possess an eigenvector in that subspace. We study the defining polynomials and basic geometric invariants of the Kalman variety.
We study the locus of square matrices having at least one eigenvector on a prescribed algebraic variety $X$. When $X$ is a linear subspace, this data locus is known as the Kalman variety of $X$ and was studied first by Ottaviani and…
Let K be an arbitrary (commutative) field and L be an algebraic closure of it. Let V be a linear subspace of M_n(K), with n>2. We show that if every matrix of V has at most one eigenvalue in K, then dim V<=1+n(n-1)/2. If every matrix of V…
The first author with B. Sturmfels studied the variety of matrices with eigenvectors in a given linear subspace, called Kalman variety. We extend that study from matrices to symmetric tensors, proving in the tensor setting the…
Kalman varieties of tensors are algebraic varieties consisting of tensors whose singular vector $k$-tuples lay on prescribed subvarieties. They were first studied by Ottaviani and Sturmfels in the context of matrices. We extend recent…
Let K be a (commutative) field with characteristic not 2, and V be a linear subspace of n by n matrices that have at most two eigenvalues in K (respectively, at most one non-zero eigenvalue in K). We prove that the dimension of V is less…
The purpose of this note is to establish the following theorem: Let N be a Kahler manifold, L be a compact oriented immersed minimal Lagrangian submanifold in N and V be a holomorphic vector field in a neighbourhood of L in N. Let div(V) be…
Let d1,...,dn be a strictly increasing sequence of integers. Boij and S\"oderberg [arXiv:math/0611081] have conjectured the existence of a graded module M of finite length over any polynomial ring K[x_1,..., x_n], whose minimal free…
We prove that for any connected open set $\Omega\subset \R^n$ and for any set of matrices $K=\{A_1,A_2,A_3\}\subset M^{m\times n}$, with $m\ge n$ and rank$(A_i-A_j)=n$ for $i\neq j$, there is no non-constant solution $B\in…
Given an arbitrary (commutative) field K, let V be a linear subspace of M_n(K) consisting of matrices of rank lesser than or equal to some r<n. A theorem of Atkinson and Lloyd states that, if dim V>nr-r+1 and #K>r, then either all the…
Let $K$ be a field of characteristic zero and let $\mathfrak{M}_5$ be the variety of associative algebras over $K$, defined by the identity $[x_1,x_2][x_3,x_4,x_5]$. It is well-known that such variety is a minimal variety and that is…
Let K be a (commutative) field, and U and V be finite-dimensional vector spaces over K. Let S be a linear subspace of the space L(U,V) of all linear operators from U to V. A map F from S to V is called range-compatible when F(s) belongs to…
We give an explicit formula for the rational category of an elliptic space whose minimal model has a homogeneous-length differential. We also show that for such a space, there are no gaps in the sequence of integers realized as the rational…
Hermitian linear matrix pencils are ubiquitous in control theory, operator systems, semidefinite optimization, and real algebraic geometry. This survey reviews the fundamental features of the matricial solution set of a linear matrix…
Consider the affine space consisting of pairs of matrices $(A,B)$ of fixed size, and its closed subvariety given by the rank conditions $\operatorname{rank} A \leq a$, $\operatorname{rank} B \leq b$ and $\operatorname{rank} (A\cdot B) \leq…
The original Smale Conjecture asserted that the inclusion of the group O(4) of isometries of the round 3-sphere S into the full diffeomorphism group Diff(S) is a homotopy equivalence. The (Generalized) Smale Conjecture asserts that the…
We expand the completeness study instigated in [J. Math. Phys. 50 (2009), 103516, 29 pages] which found all $2\times2$ Lax pairs with non-zero, separable terms in each entry of each Lax matrix, along with the most general nonlinear systems…
We construct two Lefschetz decompositions of the derived category of coherent sheaves on the Grassmannian of $k$-dimensional subspaces in a vector space of dimension $n$. Both of them admit a Lefschetz basis consisting of equivariant vector…
Let $U$ and $V$ be finite-dimensional vector spaces over a (commutative) field $\mathbb{K}$, and $\mathcal{S}$ be a linear subspace of the space $\mathcal{L}(U,V)$ of all linear operators from $U$ to $V$. A map $F : \mathcal{S} \rightarrow…