3
$\begingroup$

Let $S$ be a noetherian scheme, $\mathcal{E}$ a quasi-coherent sheaf on $S$ and let $d \in \mathbb{N}$. There is a Plücker embedding $\omega : \mathrm{Grass}_d(\mathcal{E}) \hookrightarrow \mathbb{P}(\wedge^d \mathcal{E})$. A very elegant functorial construction can be found in EGA I, 9.8. My question is:

How can we describe the corresponding quasi-coherent ideal $I$ on $\mathbb{P}(\wedge^d \mathcal{E})$ globally? More precisely, if $\mathcal{E}$ is coherent, then by results of EGA II there is an epimorphism $\oplus_i M_i \otimes_{\mathcal{O}_S} \mathcal{O}(n_i) \twoheadrightarrow I$ for some coherent $\mathcal{O}_S$-modules $M_i$ and integers $n_i$. I would like know if one can write this down without using a presentation of $\mathcal{E}$.

The answer in the special case $\mathcal{E} = \mathcal{O}_S^{\oplus I}$ for some set $I$ is well-known (at least when $S$ is a field and $I$ is finite, but the general case works the same. Does anybody know a reference where this is done?): The Plücker relations generate $I$. More precisely, let $\mathcal{O}_{\mathbb{P}}(1)$ be the universal invertible sheaf on $\mathbb{P}(\wedge^d \mathcal{E})$ together with its universal epimorphism $s : \wedge^d \mathcal{E} \otimes_{\mathcal{O}_S} \mathcal{O}_{\mathbb{P}} \twoheadrightarrow \mathcal{O}_{\mathbb{P}}(1)$ . Then define

$P : \wedge^{d-1}(\mathcal{E}) \otimes_{\mathcal{O}_S} \wedge^{d+1}(\mathcal{E}) \otimes_{\mathcal{O}_S} \mathcal{O}_{\mathbb{P}} \to \mathcal{O}_{\mathbb{P}}(2),$ $${\small f_1 \wedge \dotsc \wedge f_{d-1} \otimes e_0 \wedge \dotsc \wedge e_d \mapsto \sum_{l=0}^{d} (-1)^l s(f_1 \wedge \dotsc \wedge f_{d-1} \wedge e_k) \otimes s(e_0 \wedge \dotsc \wedge \widehat{e_k} \wedge \dotsc \wedge e_d).}$$

Then $I$ is the image of $\check{P} : \wedge^{d-1}(\mathcal{E}) \otimes_{\mathcal{O}_S} \wedge^{d+1}(\mathcal{E}) \otimes_{\mathcal{O}_S} \mathcal{O}_{\mathbb{P}}(-2) \to \mathcal{O}_{\mathbb{P}}$.

For general $\mathcal{E}$, these Plücker relations are also satisfied, but I couldn't prove the converse and meanwhile I'm convinced that we need more relations. If it helps, you may assume that $2$ is invertible on $S$.

Improve this question
$\endgroup$
1
  • 3
    $\begingroup$ Note that I am not looking for the equations in the classical special case $\mathrm{Grass}_d(R^n) \hookrightarrow \mathbb{P}(\wedge^d R^n)$. $\endgroup$
    – Martin Brandenburg
    Commented Dec 13, 2012 at 9:48

2 Answers 2

Reset to default
2
$\begingroup$

References for this purpose are: A series of papers initiated by C S Seshadri, Lakshmibai, Musili develops "Standard Monomial Theory" to deal with this. It gives equations for Schubert varietes, describes their singular loci, proves many cohomology-vanishing theorems for line bundles on them.

V. Lakshmibai & K.N. Raghavan have written a book published by Springer (2008). Encyclopaedia of Mathematical Sciences, 137.

Improve this answer
$\endgroup$
2
  • $\begingroup$ You might start with Seshadri's "Standard Monomial Theory -- A Historical Account" (in volume 2 of his collected works) or Lakshmibai/Littelmann/Magyar's "Standard Monomial Theory and Applications" (available online). $\endgroup$
    – Michael Joyce
    Commented Dec 13, 2012 at 12:39
  • $\begingroup$ They only deal with the classical case, i.e. $S=\mathrm{Spec}(k)$ for a field $k$ and $\mathcal{E}=k^n$. $\endgroup$
    – Martin Brandenburg
    Commented Dec 13, 2012 at 17:31
1
$\begingroup$

I am not sure if it fits what you are looking form but there is a sort of a description of this ideal sheaf in section 12.A in Hacon-Kovács, Classification of Higher Dimensional Algebraic Varieties.

Improve this answer
$\endgroup$
1
  • $\begingroup$ Thank you, but this only contains the special case that $\mathcal{E}$ is locally free of finite rank. $\endgroup$
    – Martin Brandenburg
    Commented Dec 13, 2012 at 17:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .