3
$\begingroup$

Some context: The $(k,n)$-Grassmannian is the set of $k$-dimensional subspaces of an $n$-dimensional vector space $V$. It can be realized as a projective variety via the Plücker embedding, and the set of points in $\mathbb{P}(\wedge^k V)$ corresponding to points in the Grassmannian can be specified as the common vanishing of the Plücker relations.

Somewhat in the spirit of this question "What's the "best" proof of quadratic reciprocity?," I am curious about different proofs that the Plücker relations generate the ideal of the Grassmannian. There is one involving some amount of calculus with Young tableaux (you can find the proof in Fulton's book with the same name), which seems to extend to other flag varieties. However, in Shafarevich's introductory book Basic Algebraic Geometry I there is an exercise involving just some basic facts to do with local parameters. How many other proofs of this fact are commonly known?

$\endgroup$
1
  • 1
    $\begingroup$ It is harder to prove that the homogeneous ideal of the Grassmannian is generated by the Pluecker relations than it is to prove that the zero scheme of the Pluecker relations equals the Grassmannian. That may explain the difference in the apparent difficulty of the two results. $\endgroup$ Commented Sep 17, 2016 at 17:28

0

You must log in to answer this question.