# Regularity and Koszul property of symbolic powers of monomial ideals

## TL;DR

This paper investigates the asymptotic behavior of regularity and generating degrees of symbolic powers of monomial ideals, revealing convergence properties and introducing new methods for analyzing componentwise linearity.

## Contribution

It demonstrates the convergence of normalized regularity and generating degree sequences and introduces a novel approach to establish componentwise linearity of symbolic powers.

## Key findings

- Sequences of regularity and generating degrees converge to the same limit.
- Existence of monomial ideals where these functions are not eventually linear.
- New method for proving componentwise linearity of symbolic powers.

## Abstract

Let $I$ be a homogeneous ideal in a polynomial ring over a field. Let $I^{(n)}$ be the $n$-th symbolic power of $I$. Motivated by results about ordinary powers of $I$, we study the asymptotic behavior of the regularity function $\text{reg}~ (I^{(n)})$ and the maximal generating degree function $\omega(I^{(n)})$, when $I$ is a monomial ideal. It is known that both functions are eventually quasi-linear. We show that, in addition, the sequences $\{\text{reg}~ I^{(n)}/n\}_n$ and $\{\omega(I^{(n)})/n\}_n$ converge to the same limit, which can be described combinatorially. We construct an example of an equidimensional, height two squarefree monomial ideal $I$ for which $\omega(I^{(n)})$ and $\text{reg}~ (I^{(n)})$ are not eventually linear functions. For the last goal, we introduce a new method for establishing the componentwise linearity of ideals. This method allows us to identify a new class of monomial ideals whose symbolic powers are componentwise linear.