6. Modules over the Cox ring
-
Problem 6.1.
Given M an S-module, S=Cox(X),- can we always find another S-module M' satisfying \begin{itemize}
- \bullet \tilde{M}=\tilde{M}'
- \bullet pdim(M')\geq dim(X)
\end{itemize}
This is known to be true if X=\mathbb{P}^{n_1}\times ... \times \mathbb{P}^{n_r}.
- What is the relation of this to examples of [Chardin-D’Cruz] where adding embedded components drops regularity?
- Potential mechanism by truncating M to (M)_{\geq d}? (This works for \mathbb{P}^{n_1}\times ... \times \mathbb{P}^{n_r}’s)
- Alternatively, could there be an invariant of \tilde{M} which obstructs existence of such an M'?
Cite this as: AimPL: Syzygies and mirror symmetry, available at http://aimpl.org/syzygyms.