arXiv subjects
Publications and source records attributed to Jonathan L. O'Rourke.
A squarefree monomial ideal is called an $f$-ideal if its Stanley-Reisner and facet simplicial complexes have the same $f$-vector. We show that $f$-ideals generated in a fixed degree have asymptotic density zero when the number of variables goes to infinity. We also provide novel algorithms to construct $f$-ideals generated in small degrees.
This paper examines the dimension of the graded local cohomology $H_\mathfrak{m}^p(S/K^s)_γ$ and $H_\mathfrak{m}^p(S/K^{(s)})$ for a monomial ideal $K$. This information is encoded in the reduced homology of a simplicial complex called the degree complex. We explicitly compute the degree complexes of ordinary and symbolic powers of sums and fiber products of ideals, as well as the degree complex of the mixed product, in terms of the degree complexes of their components. We then use homological techniques to discuss the cohomology of their quotient rings. In particular, this technique allows for the explicit computation of $\text{reg} ((I + J + \mathfrak{m}\mathfrak{n})^{(s)})$ in terms of the regularities of $I^{(i)}$ and $J^{(j)}$.
Let $G$ be a graph and let $I = I(G)$ be its edge ideal. When $G$ is unicyclic, we give a decomposition of symbolic powers of $I$ in terms of its ordinary powers. This allows us to explicitly compute the Waldschmidt constant and the resurgence number of $I$. When $G$ is an odd cycle, we explicitly compute the regularity of $I^{(s)}$ for all $s \in \mathbb{N}$. In doing so, we also give a natural lower bound for the regularity function $\text{reg } I^{(s)}$, for $s \in \mathbb{N}$, for an arbitrary graph $G$.