Symbolic powers and free resolutions of generalized star configurations of hypersurfaces

Ideals and multiplicative ideal theory in commutative rings (13A15) Actions of groups on commutative rings; invariant theory (13A50) Syzygies, resolutions, complexes and commutative rings (13D02) Configurations and arrangements of linear subspaces (14N20) Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35)

Abstract: As a generalization of the ideals of star configurations of hypersurfaces, we consider the

a

-fold product ideal

I_{a} (f_{1}^{m_{1}} c d o t s f_{s}^{m_{s}})

when

f_{1}, d o t s, f_{s}

is a sequence of generic forms and

1 l e a l e m_{1} + c d o t s + m_{s}

. Firstly, we show that this ideal has complete intersection quotients when these forms are of the same degree and essentially linear. Then we study its symbolic powers while focusing on the uniform case with

m_{1} = c d o t s = m_{s}

. For large

a

, we describe its resurgence and symbolic defect. And for general

a

, we also investigate the corresponding invariants for meeting-at-the-minimal-components version of symbolic powers.

Review text

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.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Symbolic powers and free resolutions of generalized star configurations of hypersurfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6158008)