2405.04694

Total: 1

#1 Affine subspaces of matrices with rank in a range [PDF] [Copy] [Kimi]

Author: Elena Rubei

For every $m,n \in \mathbb{N}$ and every field $K$, let $M(m \times n, K)$ be the vector space of the $(m \times n)$-matrices over $K$ and let $A(n,K)$ be the vector space of the antisymmetric $(n \times n)$-matrices over $K$. Let $r, s \in \N $ with $ s \leq r$. Define $${\cal A}^K(m \times n;s,r)= \left\{ \begin{array}{ll} S \;| & \; S \; \mbox{ affine subspace of $M(m \times n, K)$ such that } & s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \;, A \in S \} \end{array} \right\}$$ $${\cal A}_{antisym}^K(n;s,r)= \left\{ \begin{array}{ll} S \;| & \; S \; \mbox{ affine subspace of $A(n,K)$ such that } & s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \; A \in S \} \end{array} \right\}, $$ $${\cal A}_{echel}^K(m \times n;s,r)= \left\{ \begin{array}{ll} S \;| & \; S \; \mbox{ affine subspace of $M( m \times n,K)$ such that } \\ & A \; \mbox{ is in row echelon form } \forall A \in S & s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \; A \in S \} \end{array} \right\}. $$ In this paper we prove the following formulas: if $|K| \geq r+2$ and the characteristic of $K$ is different from $2$, then $$ \max \{\dim(S) \; |\; S \in {\cal A}^K(m \times n; s,r)\} = r \max \{m,n\} - \binom{s+1}{2}$$ and $$ \max \{\dim(S) \; |\; S \in {\cal A}_{antisym}^K( n; s,r) \} \leq (n-1) \frac{r}{2} - \frac{s^2}{4};$$ if $|K| \geq m+1$, then $$ \max \{\dim(S) \; |\; S \in {\cal A}^K_{echel}(m \times n; r,r) \}= r n - \frac{r(r+1)}{2}.$$