6
$\begingroup$

Let $X$ be a complex smooth projective variety of dimension $d$. Let $K(X) := K(\text{Coh}(X))$ denote the Grothendieck group of coherent sheaves on $X$. For two coherent sheaves $E$ and $F$ on $X$, define their Euler pairing by $$\chi(E,F) = \sum_{i=0}^{d} (-1)^i \text{dim Ext}^i(E,F).$$ The Euler pairing descends to $K(X)$ by its additivity on short exact sequences in $\text{Coh}(X)$. Let $\ker_L \subset K(X)$ denote the left radical of $\chi$, that is, $E \in \ker_L$ if and only if $\chi(E,F) = 0$ for all $F \in K(X)$. By Serre duality, the left and right radicals of $\chi$ agree with each other. Define the numerical Grothendieck group of $X$ by $$N(X) = K(X)/\ker_L.$$ In Bridgeland's notes on derived categories, he said that it's not clear whether the Chern character descends to $N(X)$, but it's true when $X$ is of dimension $\leq 2$.

Why does the Chern character descend to $N(X)$ when $d \leq 2$?

Suppose $d \leq 2$. I want to prove that if $\chi(E,F) = 0$ for all $F \in \text{Coh}(X)$, then $\text{ch}(E) = 0$. This should be a consequence of the Hirzebruch-Riemann-Roch (HRR) theorem, which says $$\chi(E,F) = \int_X \text{ch}(E)^\vee \text{ch}(F) \text{td}(X),$$ where $$\text{ch}(E)^\vee = \sum_{i=0}^d (-1)^i \text{ch}_i(E),$$ and $$\text{td}(X) = 1 + \frac{1}{2}c_1(X) + \frac{1}{12}(c_1(X)^2+c_2(X)).$$Here I assume the Chern character takes values in the rational cohomology $H^*(X) \otimes \mathbb{Q}$. If $d = 1$, i.e., $X$ is a curve, then the third term in $\text{td}(X)$ is zero. In this case, let $g$ be the genus of $X$, let $(r_1, d_1)$ be the rank and degree of the coherent sheaf $E$ and $(r_2, d_2)$ be those of $F$. Then by the HRR theorem, one obtains the following $$\chi(E,F) = r_1d_2 - r_2d_1 + r_1r_2(1-g).$$ So choosing $(r_2, d_2) = (0, 1)$ kills $r_1$, and further choosing $(r_2, d_2) = (1, 0)$ kills $d_1$. So the case $d = 1$ is settled. Now let $X$ be a surface. The question is to choose suitable $F$ to kill each $\text{ch}_i(E)$. But I don't see how this is always possible.

$\endgroup$

1 Answer 1

5
$\begingroup$

First, taking $F$ to be the structure sheaf of a point you "kill" $\mathrm{ch}_0(E)$.

Next, since intersection pairing is non-degenerate on $$ \mathrm{Im}(\mathrm{Pic}(X) \to H^2(X,\mathbb{Q})) = \mathrm{NS}(X) $$ you can choose $F_i$ to be a collection of the structure sheaves of curves on $X$ to "kill" $\mathrm{ch}_1(E)$.

Finally, taking $F$ to be the structure sheaf of $X$ you "kill" $\mathrm{ch}_2(E)$.

$\endgroup$
3
  • 1
    $\begingroup$ How do you take care of $\text{td}(X)$? Is it true that there always exists some vector bundle $V$ on $X$ such that $\text{ch}(V) = \text{td}(X)^{-1}$? $\endgroup$ Commented Sep 30, 2021 at 9:28
  • 1
    $\begingroup$ The Todd genus doesn't play any role because it is invertible in $H^\bullet(X,\mathbb{Q})$. $\endgroup$
    – Sasha
    Commented Sep 30, 2021 at 9:44
  • $\begingroup$ I realize there is a subtlety to say $\text{ch}(E) = 0$. To be precise, the conclusion from the second step is that $\text{ch}_1(E) = c_1(E)$ is a torsion element in $H^2(X) = H^2(X, \mathbb{Z})$, which vanishes in $H^2(X, \mathbb{Q})$. $\endgroup$ Commented Oct 4, 2021 at 1:03

You must log in to answer this question.

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