3
$\begingroup$

In an answer to a MathOverflow question on the following link Vector bundles on $\mathbb{P}^1\times\mathbb{P}^1$, it is mentioned that $\mathbb P^1 \times \mathbb P^1$ has an Ulrich sheaf. However, I am not able to see a proof that it does. Can someone please suggest how to prove this or cite a reference?

EDIT: Let me add the definition of an Ulrich sheaf: Let $X \hookrightarrow \mathbb P^n$ be a scheme of dimension $d$. $X$ is said to admit an Ulrich sheaf $\mathcal F$ if $\mathcal F$ is a coheren sheaf on $X$ such that $\pi_*\mathcal F \simeq \mathcal O_{\mathbb P^d}^r$, for some $r$, and for some $\pi: X \to \mathbb P^n \to \mathbb P^d$, which is the inclusion followed by a general linear projection.

$\endgroup$
3
  • 6
    $\begingroup$ Wait. There are Ulrich sheaves? Damn, I should have studied algebraic geometry :-). $\endgroup$ Commented Feb 7, 2014 at 14:05
  • $\begingroup$ Where did you find this definition of Ulrich bundle? It doesn't fit at all with the standard definition (due, I believe, to Eisenbud and Schreyer). $\endgroup$
    – abx
    Commented Feb 7, 2014 at 17:03
  • $\begingroup$ @abx: This is equivalent to the one due to Eisenbud and Schreyer. This definition is mentioned in Eisenbud's answer to the MathOverflow question to which I have given a link in the question. You can find it in the article by Eisenbud and Schreyer called "Boij-Soderberg Theory", Combinatorial Aspects of Commutative Algebra and Algebraic Geometry, Abel Symposia Volume 6, 2011, pp 35-48. It can also be found in expositions on Boij-Soderberg theory, for example, in the one due to Floystad, which can be found on arxiv. $\endgroup$
    – Adam
    Commented Feb 7, 2014 at 17:15

1 Answer 1

7
$\begingroup$

View $\mathbb{P}^1\times \mathbb{P}^1$ as a quadric $Q$ in $\mathbb{P}^3$; let $\pi :Q\rightarrow \mathbb{P}^2$ be a general projection. Let $D$ be a line contained in $Q$. Then $\pi _*\mathcal{O}_Q(D)\cong \mathcal{O}_{\mathbb{P}^2}^2$, so $\mathcal{O}_Q(D)$ is a Ulrich bundle.

$\endgroup$

You must log in to answer this question.

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