1
$\begingroup$

Well, actually, what are the dimensions of the following two subvarieties of the Grassmannian. Let $N$ be a positive integer.

  1. Let $V \subseteq \mathbb{C}^N$ be a linear subspace of dimension $N-k$ for some positive inter $k \leq N$. What is the dimension of the subvariety of $Gr(k,\mathbb{C}^N)$ consisting of those subspaces $W$ for which $V \cap W \neq \{0\}$?

  2. Let $d$ and $l$ be positive integers with $l \leq N$. What is the dimension of the subvariety of $$ Gr\Bigg(\binom{l+d-1}{d},S^d(\mathbb{C}^N)\Bigg) $$

consisting of those subspaces that have a basis

$$\tag{1} \{v_{a_1} \cdot \dots \cdot v_{a_d} : a_1\leq a_2\leq \dots\leq a_d \in \{1,\dots, l\}\} $$ for some $v_1,\dots, v_l \in \mathbb{C}^N$? Here, $S^d(\mathbb{C}^N)$ denotes the symmetric subspace of $(\mathbb{C}^N)^{\otimes d}$, and the product $\cdot$ appearing in the above set is the symmetric product, $$ v_{a_1} \cdot \dots \cdot v_{a_d}=\frac{1}{d!} \sum_{\sigma \in S_d} v_{a_{\sigma(1)}} \otimes \dots \otimes v_{a_{\sigma(d)}}. $$

$\endgroup$
7
  • 3
    $\begingroup$ The first locus is a hypersurface. $\endgroup$ Commented Feb 9, 2022 at 2:21
  • $\begingroup$ Thanks, now I see this is obvious as it is the zero locus of a single determinant. Any idea what the dimension is if $V$ has dimension $r<N-k$? $\endgroup$
    – Ben
    Commented Feb 9, 2022 at 3:31
  • 1
    $\begingroup$ I'm not sure I understand your second definition. Are you describing subspaces of the form $S^d(W)$ for $W \subseteq \mathbb{C}^N$ itself a subspace of dimension $l$? If so, that is a copy of $Gr(l, N)$, $S^d(-)$ is functorial. This is similar to a Veronese map. $\endgroup$ Commented Feb 9, 2022 at 5:46
  • 1
    $\begingroup$ For the first one, this is a Schubert variety, specifically the Schubert variety corresponding to a partition with one row. If $V$ has dimension $r = N - k + 1 - c$ (so $c=1$ is the hypersurface case), the partition is $\lambda = (c)$ and the locus has codimension $c$ in $Gr(k,N)$. $\endgroup$ Commented Feb 9, 2022 at 5:57
  • $\begingroup$ @JakeLevinson Thanks, you're right about the second one. I'm also interested in the dimension when you remove $\{v_{a}^{d}: a \in [s]\}$ from the set (1), for some $s \leq l$. $\endgroup$
    – Ben
    Commented Feb 9, 2022 at 13:00

0

You must log in to answer this question.

Browse other questions tagged .