2
$\begingroup$

Let $V = \mathbb{C}^n$ with basis $e_1,\dots,e_n$, and $U = \langle e_1,\dots,e_k\rangle$. Let $$\Sigma(U)=\{\sigma\in Gr(V,2)\mid \sigma\in U \}$$ be the Schubert cell of $2$-planes contained in $U$. The equations for $\Sigma(U)$ are the Plucker relations, in addition to the relations $$w_{ij}=0\quad 1\leq i\leq k, i< j\leq n$$ where $w_{ij}$ are the induced (by $e_1,\dots,e_n$) coordinates on $\wedge^2 V$. Write $$K = \text{span}(w_{ij})_{1\leq i\leq k, i< j\leq n}\subset (\wedge^2 V)^*\subset \mathbb{C}[w_{ij}]_{1\leq i<j\leq n}.$$ Hence we write the ideal defining $\Sigma(U)$ as $$I(\Sigma(U)) = P+\langle K\rangle$$ where $\langle K\rangle$ denotes the ideal generated by $K$, and $P$ is the ideal of Plucker relations. My question is the following: does there exist a subspace $L\subsetneq K$ such that $$V(P+\langle L\rangle) = \Sigma(U)$$ ($V(P+\langle L\rangle)$ denotes the variety defined by $P+\langle L\rangle$) or equivalently, $$\sqrt{P+L}=P+K.$$ In other words, can we defined $\Sigma(U)$ as the intersection of $Gr(V,2)$ with a subspace larger then $V(K)$?

It is clear that we cannot leave out any of the $w_{ij}$, but I'm having a hard time proving that there is no such $L\subsetneq K$ at all.

$\endgroup$

1 Answer 1

3
$\begingroup$

The dimension of $Gr(V,2)$ is $2 (n-2)$. For each point $x$ of $Gr(V,2)$ not in $\Sigma(U)$, the codimension of the space of subspaces $L$ that vanish on $x$ in the space of $m$-dimensional subspaces $L$ of $K$ is $m$. Hence the codimension of the space of subspaces $L$ that vanish on any point of $Gr(V,2)- \Sigma(U)$ is $m- 2(n-2)$. Thus as soon as $m> 2(n-2)$, there exists a suitable $L$. Because the dimension of $U$ is ${n \choose 2} - {k \choose 2}$, this is viable as soon as $2 \leq k \leq n-3$.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.