Showing 1–3 of 3 results for author: O'Rourke, J L

Density of $f$-ideals and $f$-ideals in mixed small degrees

Authors: Huy TÀi HÀ, Graham Keiper, Hasan Mahmood, Jonathan L. O'Rourke

Abstract: 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. 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. △ Less

Submitted 5 November, 2020; originally announced November 2020.

MSC Class: 13F55; 05E45; 05E40

Local Cohomology and Degree Complexes of Monomial Ideals

Authors: Jonathan L. O'Rourke

Abstract: 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 o… ▽ More 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)}$. △ Less

Submitted 14 November, 2019; v1 submitted 30 October, 2019; originally announced October 2019.

Comments: 26 pages, comments welcome; v2 corrects some errors and restates the results

MSC Class: 13D45; 13A30; 14B15; 05E40

Symbolic powers of edge ideals of graphs

Authors: Yan Gu, Huy Tai Ha, Jonathan L. O'Rourke, Joseph W. Skelton

Abstract: 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 l… ▽ More 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$. △ Less

Submitted 24 February, 2019; v1 submitted 9 May, 2018; originally announced May 2018.

Comments: 19 pages; remove condition on characteristic of the field, remove an incorrect corollary

MSC Class: 13D02; 13F55; 13P20