The triangular spectrum of matrix factorizations is the singular locus (Q2809183)

Let \(R\) be a regular ring of finite Krull dimension in which 2 is invertible, and let \(f \in R\) be a non-zero-divisor. The goal of the article is to equip the homotopy category of matrix factorizations of \(f\) over \(R\), denoted \([\mathrm{MF}(R, f)]\), with the structure of a (nonunital) tensor triangulated category in the sense of Balmer (see [\textit{P. Balmer}, J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)]), and to show that the triangular spectrum of \([\mathrm{MF}(R,f)]\) coincides with the singular locus of the hypersurface \(R/(f)\). The tensor product on \([\mathrm{MF}(R,f)]\) is given by applying the usual tensor product of matrix factorizations, which gives an object of \([\mathrm{MF}(R,2f)]\), followed by an operation which scales one of the differentials in the tensor product by \(\frac{1}{2}\), yielding an object of \([\mathrm{MF}(R,f)]\); this is why the author requires \(2\) to be a unit in \(R\).