The goal of the article is to develop a theory dual to that of support in the derived category $\mathrm{D}\left(R\right)$. This is done by introducing ‘big’ and ‘small’ cosupport for complexes that are different from the cosupport in D. J. Benson, S. B. Iyengar, H. Krause (2012). We give some properties for cosupport that are similar, or rather dual, to those of support for complexes, study some relations between ‘big’ and ‘small’ cosupport and give some comparisons of support and cosupport. Finally, we investigate the...

We investigate how one can detect the dualizing property for a chain complex over a commutative local Noetherian ring $R$. Our focus is on homological properties of contracting endomorphisms of $R$, e.g., the Frobenius endomorphism when $R$ contains a field of positive characteristic. For instance, in this case, when $R$ is $F$-finite and $C$ is a semidualizing $R$-complex, we prove that the following conditions are equivalent: (i) $C$ is a dualizing $R$-complex; (ii) $C\sim 𝐑{\mathrm{Hom}}_R{(}^{n}R,C)$ for some $n>0$; (iii) ${\mathrm{G}}_C{\text{-dim}}^{n}R<\infty$ and $C$ is derived $𝐑{\mathrm{Hom}}_R{(}^{n}R,C)$-reflexive...

We study matrix factorizations of a potential W which is a section of a line bundle on an algebraic stack. We relate the corresponding derived category (the category of D-branes of type B in the Landau-Ginzburg model with potential W) with the singularity category of the zero locus of W generalizing a theorem of Orlov. We use this result to construct push-forward functors for matrix factorizations with relatively proper support.

It was recently proved that every additive category has a unique maximal exact structure, while it remained open whether the distinguished short exact sequences of this canonical exact structure coincide with the stable short exact sequences. The question is answered by a counterexample which shows that none of the steps to construct the maximal exact structure can be dropped.