No Arabic abstract
We develop a theory of ``ad hoc Chern characters for twisted matrix factorizations associated to a scheme $X$, a line bundle ${mathcal L}$, and a regular global section $W in Gamma(X, {mathcal L})$. As an application, we establish the vanishing, in certain cases, of $h_c^R(M,N)$, the higher Herbrand difference, and, $eta_c^R(M,N)$, the higher codimensional analogue of Hochsters theta pairing, where $R$ is a complete intersection of codimension $c$ with isolated singularities and $M$ and $N$ are finitely generated $R$-modules. Specifically, we prove such vanishing if $R = Q/(f_1, dots, f_c)$ has only isolated singularities, $Q$ is a smooth $k$-algebra, $k$ is a field of characteristic $0$, the $f_i$s form a regular sequence, and $c geq 2$.
We study matrix factorizations of locally free coherent sheaves on a scheme. For a scheme that is projective over an affine scheme, we show that homomorphisms in the homotopy category of matrix factorizations may be computed as the hypercohomology of a certain mapping complex. Using this explicit description, we give another proof of Orlovs theorem that there is a fully faithful embedding of the homotopy category of matrix factorizations into the singularity category of the corresponding zero subscheme. We also give a complete description of the image of this functor.
Let $X$ be a closed equidimensional local complete intersection subscheme of a smooth projective scheme $Y$ over a field, and let $X_t$ denote the $t$-th thickening of $X$ in $Y$. Fix an ample line bundle $mathcal{O}_Y(1)$ on $Y$. We prove the following asymptotic formulation of the Kodaira vanishing theorem: there exists an integer $c$, such that for all integers $t geqslant 1$, the cohomology group $H^k(X_t,mathcal{O}_{X_t}(j))$ vanishes for $k < dim X$ and $j < -ct$. Note that there are no restrictions on the characteristic of the field, or on the singular locus of $X$. We also construct examples illustrating that a linear bound is indeed the best possible, and that the constant $c$ is unbounded, even in a fixed dimension.
We study matrix factorization and curved module categories for Landau-Ginzburg models (X,W) with X a smooth variety, extending parts of the work of Dyckerhoff. Following Positselski, we equip these categories with model category structures. Using results of Rouquier and Orlov, we identify compact generators. Via Toens derived Morita theory, we identify Hochschild cohomology with derived endomorphisms of the diagonal curved module; we compute the latter and get the expected result. Finally, we show that our categories are smooth, proper when the singular locus of W is proper, and Calabi-Yau when the total space X is Calabi-Yau.
We observe that there is an equivalence between the singularity category of an affine complete intersection and the homotopy category of matrix factorizations over a related scheme. This relies in part on a theorem of Orlov. Using this equivalence, we give a geometric construction of the ring of cohomology operators, and a generalization of the theory of support varieties, which we call stable support sets. We settle a question of Avramov about which stable support sets can arise for a given complete intersection ring. We also use the equivalence to construct a projective resolution of a module over a complete intersection ring from a matrix factorization, generalizing the well-known result in the hypersurface case.
Using inversion of adjunction, we deduce from Nadels theorem a vanishing property for ideals sheaves on projective varieties, a special case of which recovers a result due to Bertram--Ein--Lazarsfeld. This enables us to generalize to a large class of projective schemes certain bounds on Castelnuovo--Mumford regularity previously obtained by Bertram--Ein--Lazarsfeld in the smooth case and by Chardin--Ulrich for locally complete intersection varieties with rational singularities. Our results are tested on several examples.