
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be
its edge ideal. Under a natural condition that the underlying (undirected)
graph of $\mathcal{D}$ contains a perfect matching consisting of leaves, we
provide several equivalent conditions for the CohenMacaulayness of
$I(\mathcal{D})$. We also completely characterize the CohenMacaulayness of
$I(\mathcal{D})$ when the underlying graph of $\mathcal{D}$ is a bipartite
graph. When $I(\mathcal{D})$ fails to be CohenMacaulay, we give an instance
where $I(\mathcal{D})$ is shown to be sequentially CohenMacaulay.

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,
the resurgence number, and the symbolic defect for $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$.

Let $I = I(G)$ be the edge ideal of a graph $G$. We give various general
upper bounds for the regularity function $\text{ reg } I^s$, for $s \ge 1$,
addressing a conjecture made by the authors and Alilooee. When $G$ is a
gapfree graph and locally of regularity 2, we show that $\text{ reg } I^s =
2s$ for all $s \ge 2$. This is a slightly weaker version of a conjecture of
Nevo and Peeva. Our method is to investigate the regularity function $\text{
reg }I^s$, for $s \ge 1$, via local information of $I$.

We survey recent studies on the CastelnuovoMumford regularity of edge ideals
of graphs and their powers. Our focus is on bounds and exact values of $\text{
reg } I(G)$ and the asymptotic linear function $\text{ reg } I(G)^q$, for $q
\geq 1,$ in terms of combinatorial data of the given graph $G.$

We study the relationship between depth and regularity of a homogeneous ideal
I and those of (I,f) and I:f, where f is a linear form or a monomial. Our
results has several interesting consequences on depth and regularity of edge
ideals of hypegraphs and of powers of ideals.

Let $G = (V,E)$ be a simple graph. We investigate the CohenMacaulayness and
algebraic invariants, such as the CastelnuovoMumford regularity and the
projective dimension, of the toric ring $k[G]$ via those of toric rings
associated to induced subgraphs of $G$.

Let $I$ and $J$ be nonzero ideals in two Noetherian algebras $A$ and $B$ over
a field $k$. Let $I+J$ denote the ideal generated by $I$ and $J$ in $A\otimes_k
B$. We prove the following expansion for the symbolic powers: $$(I+J)^{(n)} =
\sum_{i+j = n} I^{(i)} J^{(j)}.$$ If $A$ and $B$ are polynomial rings and if
chara$(k) = 0$ or if $I$ and $J$ are monomial ideals, we give exact formulas
for the depth and the CastelnuovoMumford regularity of $(I+J)^{(n)}$, which
depend on the interplay between the symbolic powers of $I$ and $J$. The proof
involves a result of independent interest which states that under the above
assumption, the induced map Tor$_i^A(k,I^{(n)}) \to$ Tor$_i^A(k,I^{(n1)})$ is
zero for all $i \ge 0$, $n \ge 0$. We also investigate other properties and
invariants of $(I+J)^{(n)}$ such as the equality between ordinary and symbolic
powers, the Waldschmidt constant and the CohenMacaulayness.

In a 2008 paper, the first author and Van Tuyl proved that the regularity of
the edge ideal of a graph G is at most one greater than the matching number of
G. In this note, we provide a generalization of this result to any squarefree
monomial ideal. We define a 2collage in a simple hypergraph to be a collection
of edges with the property that for any edge E of the hypergraph, there exists
an edge F in the collage such that E \ F < 2. The CastelnuovoMumford
regularity of the edge ideal of a simple hypergraph is bounded above by a
multiple of the minimum size of a 2collage. We also give a recursive formula
to compute the regularity of a vertexdecomposable hypergraph. Finally, we show
that regularity in the graph case is bounded by a certain statistic based on
maximal packings of nondegenerate star subgraphs.

We investigate symbolic and regular powers of monomial ideals. For a
squarefree monomial ideal $I$ in $k[x_0, \ldots, x_n]$ we show
$I^{t(m+e1)e+r)}$ is a subset of $M^{(t1)(e1)+r1}(I^{(m)})^t$ for all
positive integers $m$, $t$ and $r$, where $e$ is the bigheight of $I$ and $M =
(x_0, \ldots, x_n)$. This captures two conjectures ($r=1$ and $r=e$): one of
HarbourneHuneke and one of BocciCooperHarbourne. We also introduce the
symbolic polyhedron of a monomial ideal and use this to explore symbolic powers
of nonsquarefree monomial ideals.

Given arbitrary homogeneous ideals $I$ and $J$ in polynomial rings $A$ and
$B$ over a field $k$, we investigate the depth and the CastelnuovoMumford
regularity of powers of the sum $I+J$ in $A \otimes_k B$ in terms of those of
$I$ and $J$. Our results can be used to study the behavior of the depth and
regularity functions of powers of an ideal. For instance, we show that such a
depth function can take as its values any infinite nonincreasing sequence of
nonnegative integers.

Let $G$ be a simple graph on $n$ vertices. Let $H$ be either the complete
graph $K_m$ or the complete bipartite graph $K_{r,s}$ on a subset of the
vertices in $G$. We show that $G$ contains $H$ as a subgraph if and only if
$\beta_{i,\alpha}(H) \le \beta_{i,\alpha}(G)$ for all $i \ge 0$ and $\alpha \in
\mathbb{Z}^n$. In fact, it suffices to consider only the first syzygy module.
In particular, we prove that $\beta_{1,\alpha}(H) \le \beta_{1,\alpha}(G)$ for
all $\alpha \in \mathbb{Z}^n$ if and only if $G$ contains a subgraph that is
isomorphic to either $H$ or a multipartite graph $K_{2,\dots,2,a,b}$.

Let G be a graph and let I = I(G) be its edge ideal. In this paper, when G is
a forest or a cycle, we explicitly compute the regularity of I^s for all s > 0.
In particular, for these classes of graphs, we provide the asymptotic linear
function reg(I^s) as s > 0, and the initial value of s starting from which
reg(I^s) attains its linear form. We also give new bounds on the regularity of
I when G contains a Hamiltonian path and when G is a Hamiltonian graph.

In a recent work, Kaiser, Stehl\'ik and \v{S}krekovski provide a family of
critically 3chromatic graphs whose expansions do not result in critically
4chromatic graphs, and thus give counterexamples to a conjecture of Francisco,
Ha and Van Tuyl. The cover ideal of the smallest member of this family also
gives a counterexample to the persistence and nonincreasing depth properties.
In this paper, we show that the cover ideals of all members of their family of
graphs indeed fail to have the persistence and nonincreasing depth properties.

We study the question of when 01 polytopes are normal or, equivalently,
having the integer decomposition property. In particular, we shall associate to
each 01 polytope a labeled hypergraph, and examine the equality between its
Ehrhart and polytopal rings via the combinatorial structures of the labeled
hypergraph.

Let $(R,\mathfrak{m})$ be a Noetherian local ring of dimension $d > 0$. Let
$I_\bullet = \{I_n\}_{n \in \mathbb{N}}$ be a graded family of
$\mathfrak{m}$primary ideals in $R$. We examine how far off from a polynomial
can the length function $\ell_R(R/I_n)$ be asymptotically. More specifically,
we show that there exists a constant $\gamma > 0$ such that for all $n \ge 0$,
$$\ell_R(R/I_{n+1})  \ell_R(R/I_n) < \gamma n^{d1}.$$

We survey a number of recent studies of the CastelnuovoMumford regularity of
squarefree monomial ideals. Our focus is on bounds and exact values for the
regularity in terms of combinatorial data from associated simplicial complexes
and/or hypergraphs.

Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$
be a $G$graded polynomial ring over a commutative ring $A$. Let $I_1, ...,
I_s$ be $G$homogeneous ideals in $S$, and let $M$ be a finitely generated
$G$graded $S$module. We show that, when $A$ is Noetherian, the nonzero
$G$graded Betti numbers of $MI_1^{t_1} ... I_s^{t_s}$ exhibit an asymptotic
linear behavior as the $t_i$s get large.

We survey research relating algebraic properties of powers of squarefree
monomial ideals to combinatorial structures. In particular, we describe how to
detect important properties of (hyper)graphs by solving ideal membership
problems and computing associated primes. This work leads to algebraic
characterizations of perfect graphs independent of the Strong Perfect Graph
Theorem. In addition, we discuss the equivalence between the
ConfortiCornuejols conjecture from linear programming and the question of when
symbolic and ordinary powers of squarefree monomial ideals coincide.

In attempting to understand how combinatorial modifications alter algebraic
properties of monomial ideals, several authors have investigated the process of
adding "whiskers" to graphs. In this paper, we study a similar construction to
build a simplicial complex $\Delta_\chi$ from a coloring $\chi$ of a subset of
the vertices of $\Delta$, and give necessary and sufficient conditions for this
construction to produce vertex decomposable simplicial complexes. We apply this
work to strengthen and give new proofs about sequentially CohenMacaulay edge
ideals of graphs.

We study Stanley's longstanding conjecture that the hvectors of matroid
simplicial complexes are pure Osequences. Our method consists of a new and
more abstract approach, which shifts the focus from working on constructing
suitable artinian level monomial ideals, as often done in the past, to the
study of properties of pure Osequences. We propose a conjecture on pure
Osequences and settle it in small socle degrees. This allows us to prove
Stanley's conjecture for all matroids of rank 3. At the end of the paper, using
our method, we discuss a first possible approach to Stanley's conjecture in
full generality. Our technical work on pure Osequences also uses very recent
results of the third author and collaborators.

We study the question of whether there is a minimum Hilbert functions for
double point schemes whose support is $s$ points with the generic Hilbert
functions. Previous work shows that the question has an affirmative answer for
$s \le 9$ and for $s$ equal to a binomial coefficient number. In this paper, we
give evidence in the case when $s$ equals to a binomial coefficient number plus
1, and give an affirmative answer to the question when $s = 11$.

Let $\Gamma$ be a rooted tree and let $t$ be a positive integer. We study
algebraic invariants and properties of the path ideal generated by monomial
corresponding to paths of length $(t1)$ in $\Gamma$. In particular, we give a
recursive formula to compute the graded Betti numbers, a general bound for the
regularity, an explicit computation of the linear strand, and we characterize
when this path ideal has a linear resolution.

There is a natural onetoone correspondence between squarefree monomial
ideals and finite simple hypergraphs via the cover ideal construction. Let H be
a finite simple hypergraph, and let J = J(H) be its cover ideal in a polynomial
ring R. We give an explicit description of all associated primes of R/J^s, for
any power J^s of J, in terms of the coloring properties of hypergraphs arising
from H. We also give an algebraic method for determining the chromatic number
of H, proving that it is equivalent to a monomial ideal membership problem
involving powers of J. Our work yields two new purely algebraic
characterizations of perfect graphs, independent of the Strong Perfect Graph
Theorem; the first characterization is in terms of the sets Ass(R/J^s), while
the second characterization is in terms of the saturated chain condition for
associated primes.

We introduce a conjecture about constructing critically (s+1)chromatic
graphs from critically schromatic graphs. We then show how this conjecture
implies that any unmixed height two squarefree monomial ideal I, i.e., the
cover ideal of a finite simple graph, has the persistence property, that is,
Ass(R/I^s) \subseteq Ass(R/I^{s+1}) for all s >= 1. To support our conjecture,
we prove that the statement is true if we also assume that \chi_f(G), the
fractional chromatic number of the graph G, satisfies \chi(G) 1 < \chi_f(G) <=
\chi(G). We give an algebraic proof of this result.

Let X = Proj R be a projective scheme over a field k, and let I be an ideal
in R generated by forms of the same degree d. Let Y > X be the blowing up of
X along the subscheme defined by I, and let f: Y > Z be the projection of Y
given by the divisor dH  E, where E is the exceptional divisor of the blowup
and H is the pullback of a general hyperplane in X. We investigate how the
asymptotic linearity of the regularity and a*invariant of I^q (for q large) is
related to invariants of fibers of f.