“…To prove a nonvanishing statement such as Theorem B, one needs a geometric interpretation of K p,1 itself. Voisin [2002; achieves this by working on a Hilbert scheme -which has the advantage of being smooth when dim X = 2 -while Yang [2014] passes in effect to the symmetric product. 3 We follow the latter approach for Theorem B: we exhibit a sheaf on Sym p+1 (X ) whose twisted global sections compute K p,1 (X, B; L d ), and we show that it is nonzero provided that there is a reduced cycle that fails to impose independent conditions on H 0 (X, B).…”