Matrix factorization categories beyond the isolated singularity case

Question

In his really nice thesis, Tobias Dyckerhoff proved the following theorems about matrix factorizations(of possibly infinite rank) over a regular local k-algebra R with a function w and residue field k such that the Tyurina algebra, T= $R/(w,dw)$ is finite dimensional. This last condition says that w has an isolated singularity. For further reference, let S denote the ring R/(w).

1) The homotopy category of matrix factorizations has a compact generator as a triangulated category, which he denotes as $k^{stab}$.

2) As a consequence of 1), he derives that there is a natural complex which represents the identity functor thought of as an element of MF($R\otimes R,1\otimes w-w\otimes 1)$ which he denotes as the stabilization of the diagonal $R^{stab}$.

3) MF(R,w) is a Calabi Yau dg-category.

Now my question is how much of the above remains true for when the singularity is non-isolated? In some writings, Kontsevich, while not explicitly saying so, writes as if the homotopy category always has a compact generator and that the category is there by "dg-affine", e.g. equivalent to D(A), the derived category of modules over a dg-algebra. Is this indeed known to be true or false? If not, is there a way to prove 2) without making reference to 1)? I'm asking because I haven't found anything about this stuff in the literature, but a lot of things in this field are not written or written in physics literature that I'm not familiar with.

I've checked a few examples with non-isolated singularities and it appears that for example in the category of factorizations $(k[[x,y]], xy^2)$, that while $k^{stab}$ doesn't generate as Dyckerhoff proves, one has $(k\oplus k[[x]])^{stab}$, which I think does generate. The way I want to argue this is Dyckerhoff's theorem 3.6 that it is enough to show that $Tor_S(k\oplus k[[x]], M)$ implies that $Tor_S(N,M)=0$, where N is a finitely generated T module and M is any S module.Then one does an analysis of finitely generated modules over T(I didn't think about the characteristic 2 case) and does some devissage with short exact sequences. Please let me know if this sounds off. I also think that with a bit more calculation one can prove similarly that in (k[[x,y,z]], xyz) the module $(k[[x]]\oplus k[[y]]\oplus k[[z]]\oplus k)^{stab}$ is a compact generator.

Added: I think the right generalization of the above two examples is the following, in http://websupport1.citytech.cuny.edu/faculty/hschoutens/pdf/finiteprojdim.pdf, the author introduces the notion of a "net". The above method should give a compact generator, whenever the net of finitely generated modules over T is generated as a net by finitely many modules. This happens for example when T has finitely prime ideals. The modules A/p, where p is a prime, generate the net of finitely generated projective modules over T, which is enough to prove the vanishing above. In particular, this should take care of the case when T has dimension 1. A question is what are some conditions on (R,w) which lead to the net of finitely generated modules over T being generated by finitely many objects?

Assuming that this right, I think that to derive 2 and 3 for these examples becomes a formality in view of Dyckerhoff's section 5. One just replaces his compact generator with the new one.

Answer 1

The answer to (1) is yes for any local abstract hypersurface $S$ whose singular locus is closed (which is barely a hypothesis, and free in the case of interest). Let us write $\mathrm{Sing} \;S$ for the singular locus, which we can write as a union finitely many irreducible components corresponding to primes $\mathfrak{p}_i$ for $i=1,\ldots,n$. Then the image of the object

$$ \bigoplus_{i=1}^n S/\mathfrak{p}_i $$

in the category of matrix factorizations is a compact generator. The point is that there is a notion of support for objects of the category of all matrix factorizations. For a hypersurface this support gives a classification of the localizing subcategories in terms of subsets of the singular locus. The image of the given object is supported everywhere so must generate.

The statement about the classification of localizing subcategories is not actually published anywhere (Iyengar has announced this as part of a more general result on complete intersections and I have an (independent and different) proof, also for complete intersections, which also works for certain singular schemes - but Iyengar has not yet released a preprint and the results of mine are in my thesis which isn't publicly available yet). Although there is this paper by Takahashi, the main result of which is sufficient to give the statement about the generator above.

The generator above actually works for any noetherian ring which is locally a hypersurface if one works in one's favourite infinite completion of $D_{\mathrm{Sg}}(S)$.

Edit: As promised in the comments (well sort of, it didn't turn out to be soon) here is the link to the preprint concerning subcategories of singularity categories from which one can deduce the existence of compact generators in certain cases as above.

Answer 2

This won't answer your question completely, but I thought I would expand on my comment above. This is very much an algebraic approach to your question.

The homotopy category of finitely generated matrix factorizations over a hypersurface $S$ is equivalent to the stable category of maximal Cohen-Macaulay $S$-modules, which is essentially due to Eisenbud. By a theorem of Buchweitz the later category is equivalent to the quotient $D^f_b(S)/ Thick(S)$, where $D^f_b(S)$ is the full subcategory of the derived category whose objects are the complexes with finitely generated cohomology. A reference for this is Buchweitz's manuscript which is available at https://tspace.library.utoronto.ca/handle/1807/16682. So to answer your question it is enough to find a generator for $D^f_b(S)$.

In the paper of Roquier you cited above he shows that for a commutative algebra of finite type over a field, such a compact generator exists (he works much more generally). I haven't spent much time with the proof, but from my understanding it is not at all constructive.

On the other hand Schoutens has shown that for a commutative noetherian ring $R$, modules of the form $R/\mathfrak{p}$, such that $R_{\mathfrak{p}}$ is not regular, can be used to construct the category of finitely generated $R$-modules by taking extensions, direct summands and cosyzygies. There are some details I'm skipping but Schoutens does this carefully and his work can be used to show that the objects $R/\mathfrak{p}$, such that $R_{\mathfrak{p}}$ is not regular, and $R$, generate $D^f_b(R)$.

Usually there are an infinite number of primes in the singular locus...I've thought about how to use Schoutens theorem to come up with a finite set that generate but I haven't made much progress. One thing to note is that if your local hypersurface has a 1-dimensional singular locus, and is the quotient of a power series ring, then there will be a finite number of primes in the singular locus. This is the case in the examples you listed.