Homotopy in enriched functor categories: Frobenius exact structures and weak Serre functors

arXiv:2610.40746v1 Announce Type: new Abstract: Let $(\V, \otimes, I,[-,-])$ be a closed symmetric monoidal category with finite (co)limits. Assume that $\V$ is weakly idempotent complete and additive. For a given small $\V$-category $\A$, we investigate sufficient conditions on $\A$ under which the ordinary category $[\A, \V]_0$ of $\V$-functors from $\A$ to $\V$, equipped with the exact structure $\mathcal{E}_{\textrm{lowt}}$, is a Frobenius exact category,and hence, induces a triangulated stable category. The exact structure $\mathcal{E}_{\textrm{lowt}}$ encompasses the degre-wise trivial exact structure on categories of $N$-chain complexes and $m$-periodic chain complexes, with terms in a variety of settings, including left $R$-modules, quasi-coherent sheaves on a scheme, and Banach spaces. We subsequently address the question of describing abstract left and right homotopy relations in $([\A, \V]_0;\mathcal{E}_{\textrm{lowt}})$ in terms of families of morphisms defined objectwise, as in the cases of chain-homotopy and relative homotopy relations. To this end, we introduce the notion of left/right-weak Serre $\V$-functors on $\A$, and investigate their relationships with the classical Serre functor relative to a commutative ring $k$.

You are being forwarded in 6s — stay on this page