2
$\begingroup$

Let $\{v_1,v_2, \cdots , v_n, w_1,w_2, \cdots ,w_n\}$ be a basis of $\mathbb C^{2n}$. For a $n$-dimensional subspace $V \in Gr(n,\mathbb C^{2n})$ define another $n$ dimensional subspace $\bar{V} \in Gr(n, \mathbb C^{2n})$ as follows:

If $V$ is generated by $n$ linearly independent vectors $x_i\in \mathbb C^{2n}$ of the form $\sum_{j=1}^ka_{i_j}v_{i_j}+\sum_{j=1}^{n-k}a_{i_j}w_{i_j}$, then $\bar{V}$ is generated by $\bar{x_i}$'s where $\bar{x_i}= \sum_{j=1}^ka_{i_j}v_{i_j}-\sum_{j=1}^{n-k}a_{i_j}w_{i_j}$. Then $V$ and $\bar{V}$ represent two points in $\mathbb P(\bigwedge^n\mathbb C^{2n})$. My guess is that the line joining these two points in $\mathbb P(\bigwedge^n\mathbb C^{2n})$ intersect $Gr(n, \mathbb C^{2n})$ exactly at two points namely at $V$ and $\bar{V}$. Is there way to prove my claim ? If I take the set of all such lines, then what could be the Zariski closure of this set ?

$\endgroup$
1
  • $\begingroup$ For the record: I didn't vote to close as off-topic, but as "unclear what you are asking", because $V\mapsto\bar V$ doesn't seem well-defined. (The two sums for $x_i$ can't always use the same coefficients $a_{i_j}$, can they? And what kind of object is "$i$" here anyway?) $\endgroup$ May 13, 2017 at 12:38

1 Answer 1

2
$\begingroup$

Since the Grassmannian is an intersection of quadrics, the intersection $Gr \cap L$ is either zero-dimensional of length at most 2, or equals to $L$. So, to prove the claim it is enough to rule out the possibility that $L \subset Gr$.

For this just note that a line on $Gr(n,2n)$ is determined by a flag $U_{n-1} \subset U_{n+1}$ and is formed by all $V$ sandwiched between $U_{n-1}$ and $U_{n+1}$. So, to prove the claim it is enough to check that $\dim (V \cap \bar{V}) < n - 1$.

This, however, is not always true. For instance, if $V$ is the span of $v_1,\dots,v_{n-1}$, and $v_n + w_n$, then the intersection is $(n-1)$-dimensional and the line is contained in the Grassmannian.

$\endgroup$
2
  • 3
    $\begingroup$ Thanks. Could you please explain the 2nd paragraph of your answer about how a line is determined in $Gr(n,2n)$ ? $\endgroup$
    – Mark
    May 12, 2017 at 14:59
  • $\begingroup$ For every $U_{n-1} \subset U_{n+1}$ the subscheme $\{V \mid U_{n-1} \subset V \subset U_{n+1} \}$ is a line in $Gr(n,2n)$. Moreover, any line can be obtained in that way. What is not clear here? $\endgroup$
    – Sasha
    May 12, 2017 at 17:10