Skip to main content
Post Undeleted by VA.
Post Deleted by VA.
corrected Petri's theorem
Source Link
VA.
  • 13.1k
  • 2
  • 50
  • 63

As Pete already indicated, Mumford's theorem says that for any projective variety $X\subset \mathbb P^n$, its Veronese emberdding $v_d(X)\subset \mathbb P^N$ is cut out by quadrics, for $d\gg0$. So a reasonable question is for the variety with a fixed projective embedding (such as Grassmannians in the Plucker embedding and not in some other random embedding).

For thethis latter more meaningful question, the most classical theoremmany "combinatorial" rational varieties, such as Grassmannians, Schubert varieties (by some classical Italian mathematicianas you pointed out), Petriflag varieties, I think)determinantal varieties, etc., are cut out by quadrics.

For the "non-combinatorial", non-rational varieties, the most classical result is that anyPetri's theorem: a smooth non-hyperelliptic curve, in of genus $g\ge 4$ in its canonical embedding, is cut out by quadrics, with the exceptions of trigonal curves and plane quintics.

There is a vast generatization of this property: $X\subset \mathbb P^n$ satisfies property $N_p$ if the first syzygy of its homogeneous ideal $I_X$ is a direct sum of $\mathcal O(2)$, the second syzygy is a direct sum of $\mathcal O(3)$, etc., the $p$-th syzygy is a direct sum of $\mathcal O(p+1)$. In this language, $X$ is cut out by quadrics is equivalent to the property $N_1$.

A 1984 Green's conjecture is that a smooth nonhyperelliptic curve satisfies $N_p$ for $p=$ its$p=Cliff(X)-1$, where $Cliff(X)$ is the Clifford index minus 1of $X$. I think itThis has been proved for generic curves of any genus by Voisin (in characteristic 0; it is false in positive characteristic).

Another notable case: the ideal of $2\times 2$ minors of a $p\times q$ matrix has property $N_{p+q-3}$.

As Pete already indicated, Mumford's theorem says that for any projective variety $X\subset \mathbb P^n$, its Veronese emberdding $v_d(X)\subset \mathbb P^N$ is cut out by quadrics, for $d\gg0$. So a reasonable question is for the variety with a fixed projective embedding (such as Grassmannians in the Plucker embedding and not in some other random embedding).

For the latter question, the most classical theorem (by some classical Italian mathematician, Petri, I think) is that any smooth non-hyperelliptic curve, in its canonical embedding, is cut out by quadrics.

There is a vast generatization of this property: $X\subset \mathbb P^n$ satisfies property $N_p$ if the first syzygy of its homogeneous ideal $I_X$ is a direct sum of $\mathcal O(2)$, the second syzygy is a direct sum of $\mathcal O(3)$, etc., the $p$-th syzygy is a direct sum of $\mathcal O(p+1)$. In this language, $X$ is cut out by quadrics is equivalent to the property $N_1$.

A 1984 Green's conjecture is that a smooth nonhyperelliptic curve satisfies $N_p$ for $p=$ its Clifford index minus 1. I think it has been proved for generic curves of any genus by Voisin.

Another notable case: the ideal of $2\times 2$ minors of a $p\times q$ matrix has property $N_{p+q-3}$.

As Pete already indicated, Mumford's theorem says that for any projective variety $X\subset \mathbb P^n$, its Veronese emberdding $v_d(X)\subset \mathbb P^N$ is cut out by quadrics, for $d\gg0$. So a reasonable question is for the variety with a fixed projective embedding (such as Grassmannians in the Plucker embedding and not in some other random embedding).

For this latter more meaningful question, many "combinatorial" rational varieties, such as Grassmannians, Schubert varieties (as you pointed out), flag varieties, determinantal varieties, etc., are cut out by quadrics.

For the "non-combinatorial", non-rational varieties, the most classical result is Petri's theorem: a smooth non-hyperelliptic curve of genus $g\ge 4$ in its canonical embedding is cut out by quadrics, with the exceptions of trigonal curves and plane quintics.

There is a vast generatization of this property: $X\subset \mathbb P^n$ satisfies property $N_p$ if the first syzygy of its homogeneous ideal $I_X$ is a direct sum of $\mathcal O(2)$, the second syzygy is a direct sum of $\mathcal O(3)$, etc., the $p$-th syzygy is a direct sum of $\mathcal O(p+1)$. In this language, $X$ is cut out by quadrics is equivalent to the property $N_1$.

A 1984 Green's conjecture is that a smooth nonhyperelliptic curve satisfies $N_p$ for $p=Cliff(X)-1$, where $Cliff(X)$ is the Clifford of $X$. This has been proved for generic curves of any genus by Voisin (in characteristic 0; it is false in positive characteristic).

Another notable case: the ideal of $2\times 2$ minors of a $p\times q$ matrix has property $N_{p+q-3}$.

added 168 characters in body
Source Link
VA.
  • 13.1k
  • 2
  • 50
  • 63

As Pete already indicated, Mumford's theorem says that for any projective variety $X\subset \mathbb P^n$, its Veronese emberdding $v_d(X)\subset \mathbb P^N$ is cut out by quadrics, for $d\gg0$. So a reasonable question is for the variety with a fixed projective embedding (such as Grassmannians in the Plucker embedding and not in some other random embedding).

For the latter question, the most classical theorem (ofby some classical Italian mathematician, Petri, I think) is that any smooth non-hyperelliptic curve, in its canonical embedding, is cut out by quadrics.

There is a vast generatization of this property: $X\subset \mathbb P^n$ satisfies property $N_p$ if the first syzygy of its homogeneous ideal $I_X$ is a direct sum of $\mathcal O(2)$, the second syzygy is a direct sum of $\mathcal O(3)$, etc., the $p$-th syzygy is a direct sum of $\mathcal O(p+1)$. In this language, $X$ is cut out by quadrics is equivalent to the property $N_1$.

A 1984 Green's conjecture is that a smooth nonhyperelliptic curve satisfies $N_p$ for $p=$ its Clifford index minus 1. I think it has been proved for generic curves of any genus by Voisin.

Another notable case: the ideal of $2\times 2$ minors of a $p\times q$ matrix has property $N_{p+q-3}$.

As Pete already indicated, Mumford's theorem says that for any projective variety $X\subset \mathbb P^n$, its Veronese emberdding $v_d(X)\subset \mathbb P^N$ is cut out by quadrics, for $d\gg0$. So a reasonable question is for the variety with a fixed projective embedding.

For the latter question, the most classical theorem (of Petri, I think) is that any smooth non-hyperelliptic curve is cut out by quadrics.

There is a vast generatization of this property: $X\subset \mathbb P^n$ satisfies property $N_p$ if the first syzygy of its homogeneous ideal $I_X$ is a direct sum of $\mathcal O(2)$, the second syzygy is a direct sum of $\mathcal O(3)$, etc., the $p$-th syzygy is a direct sum of $\mathcal O(p+1)$. In this language, $X$ is cut out by quadrics is equivalent to the property $N_1$.

A 1984 Green's conjecture is that a smooth nonhyperelliptic curve satisfies $N_p$ for $p=$ its Clifford index minus 1. I think it has been proved for generic curves by Voisin.

Another notable case: the ideal of $2\times 2$ minors of a $p\times q$ matrix has property $N_{p+q-3}$.

As Pete already indicated, Mumford's theorem says that for any projective variety $X\subset \mathbb P^n$, its Veronese emberdding $v_d(X)\subset \mathbb P^N$ is cut out by quadrics, for $d\gg0$. So a reasonable question is for the variety with a fixed projective embedding (such as Grassmannians in the Plucker embedding and not in some other random embedding).

For the latter question, the most classical theorem (by some classical Italian mathematician, Petri, I think) is that any smooth non-hyperelliptic curve, in its canonical embedding, is cut out by quadrics.

There is a vast generatization of this property: $X\subset \mathbb P^n$ satisfies property $N_p$ if the first syzygy of its homogeneous ideal $I_X$ is a direct sum of $\mathcal O(2)$, the second syzygy is a direct sum of $\mathcal O(3)$, etc., the $p$-th syzygy is a direct sum of $\mathcal O(p+1)$. In this language, $X$ is cut out by quadrics is equivalent to the property $N_1$.

A 1984 Green's conjecture is that a smooth nonhyperelliptic curve satisfies $N_p$ for $p=$ its Clifford index minus 1. I think it has been proved for generic curves of any genus by Voisin.

Another notable case: the ideal of $2\times 2$ minors of a $p\times q$ matrix has property $N_{p+q-3}$.

Source Link
VA.
  • 13.1k
  • 2
  • 50
  • 63

As Pete already indicated, Mumford's theorem says that for any projective variety $X\subset \mathbb P^n$, its Veronese emberdding $v_d(X)\subset \mathbb P^N$ is cut out by quadrics, for $d\gg0$. So a reasonable question is for the variety with a fixed projective embedding.

For the latter question, the most classical theorem (of Petri, I think) is that any smooth non-hyperelliptic curve is cut out by quadrics.

There is a vast generatization of this property: $X\subset \mathbb P^n$ satisfies property $N_p$ if the first syzygy of its homogeneous ideal $I_X$ is a direct sum of $\mathcal O(2)$, the second syzygy is a direct sum of $\mathcal O(3)$, etc., the $p$-th syzygy is a direct sum of $\mathcal O(p+1)$. In this language, $X$ is cut out by quadrics is equivalent to the property $N_1$.

A 1984 Green's conjecture is that a smooth nonhyperelliptic curve satisfies $N_p$ for $p=$ its Clifford index minus 1. I think it has been proved for generic curves by Voisin.

Another notable case: the ideal of $2\times 2$ minors of a $p\times q$ matrix has property $N_{p+q-3}$.