Symbolic powers and free resolutions of generalized star configurations of hypersurfaces (Q6158008)

The authors study symbolic powers and free resolutions of \(a\)-fold product ideals \(I_{a}(f_{1}^{m_{1}} \cdots f_{s}^{m_{s}})\) when \(f_{1}, \dots, f_{s} \in R = \mathbb{K}[x_{0}, \dots, x_{n}]\) is a sequence of \(n\)-generic forms and \(1 \leq a \leq m_{1} + \dots + m_{s}\). Here, when we say that a sequence is \(n\)-generic, we mean that any subset of size at most \(n+1\) will form a regular sequence. However, as the authors explain in the text, the condition of being \(n\)-generic is not sufficient for the main purposes of the paper, and they additionally assume (in many spots) that the sequence is strongly \(n\)-generic, which roughly means that the forms have the same degree and come from a common \(\mathbb{K}\)-linear space of \(\mathbb{K}\)-dimension \(\dim R = n+1\). This condition seems very restrictive to the reviewer. The first main result of the paper under review tells us that the \(a\)-fold product ideal \(I=I_{a}(f_{1}^{m_{1}}\cdots f_{s}^{m_{s}})\) of strongly \(n\)-generic forms will have complete intersection quotients. If we restrict out attention to case of \(n\)-generic linear forms, the \(a\)-fold ideal has a linear resolution, and this observation recovers a result by \textit{Ş. O. Tohǎneanu} and \textit{Y. Xie} [Trans. Am. Math. Soc. 374, No. 6, 4059--4073 (2021; Zbl 1462.13012)]. Then the authors study symbolic powers in the uniform case when \(m_{1} = \dots =m_{s}\). For large \(a\), the authors compute the resurgence and the so-called symbolic defect. For general \(a\), the authors investigate the corresponding invariants for meeting-at-the-minimal-components version of symbolic powers.