Free resolutions and marked families

Let $\kk$ be a field and $A$ a Noetherian $\kk$-algebra. In a paper of 2020, M.~Albert, C.~Bertone, M.~Roggero and W.~M.~Seiler proved that, given a quasi-stable module $U \subset R^m$ with $R=\kk[x_0,\dots,x_n]$, any submodule $M\subseteq (R\otimes A)^m$ generated by a marked basis over $U$ admits a special free resolution described in terms of marked bases as well, called the {\em $U$-resolution of $M$}. In this paper, we first investigate the minimality of the $U$-resolution and its structure. When $M$ is an ideal and $A=\kk$, we show that $M$ is componentwise linear if and only if its $U$-resolution is minimal, up to a linear change of variables. Then, adopting a functorial approach to the construction of the $U$-resolution, we prove that certain functors naturally associated with the resolution are isomorphic. These isomorphisms arise from the fact that the marked basis of the $i$-th syzygy module in the $U$-resolution can be expressed in terms of the coefficients of the marked basis of~$M$. Moreover, when $M$ is an ideal of depth at least 2, this correspondence can be reversed: in this case, the marked basis of $M$ itself can be written in terms of the coefficients of the marked basis of its first syzygy module.