Source author record

Augustine B. O'Keefe

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.CO

Catalog footprint

Research overview

3works

2topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

Algebraic study on Cameron-Walker graphs

Let $G$ be a finite simple graph on $[n]$ and $I(G) \subset S$ the edge ideal of $G$ , where $S = K[x_{1}, \ldots, x_{n}]$ is the polynomial ring over a field $K$ . Let $m(G)$ denote the maximum size of matchings of $G$ and $im(G)$ that of induced matchings of $G$ . It is known that $im(G) \leq \text{reg}(S/I(G)) \leq m(G)$ , where $\text{reg}(S/I(G))$ is the Castelnuovo-Mumford regularity of $S/I(G)$ . Cameron and Walker succeeded in classifying the finite connected simple graphs $G$ with $im(G) = m(G)$ . We say that a finite connected simple graph $G$ is a Cameron-Walker graph if $im(G) = m(G)$ and if $G$ is neither a star nor a star triangle. In the present paper, we study Cameron-Walker graphs from a viewpoint of commutative algebra. First, we prove that a Cameron-Walker graph $G$ is unmixed if and only if $G$ is Cohen-Macaulay and classify all Cohen-Macaulay Cameron-Walker graphs. Second, we prove that there is no Gorenstein Cameron-Walker graph. Finally, we prove that every Cameron--Walker graph is sequentially Cohen-Macaulay.

preprint2011arXiv

Depth of initial ideals of normal edge rings

Let $G$ be a finite graph on the vertex set $[d] = \{1, ..., d \}$ with the edges $e_1, ..., e_n$ and $K[\tb] = K[t_1, ..., t_d]$ the polynomial ring in $d$ variables over a field $K$ . The edge ring of $G$ is the semigroup ring $K[G]$ which is generated by those monomials $\tb^e = t_it_j$ such that $e = \{i, j\}$ is an edge of $G$ . Let $K[\xb] = K[x_1, ..., x_n]$ be the polynomial ring in $n$ variables over $K$ and define the surjective homomorphism $π: K[\xb] \to K[G]$ by setting $π(x_i) = \tb^{e_i}$ for $i = 1, ..., n$ . The toric ideal $I_G$ of $G$ is the kernel of $π$ . It will be proved that, given integers $f$ and $d$ with $6 \leq f \leq d$ , there exist a finite connected nonbipartite graph $G$ on $[d]$ together with a reverse lexicographic order $<_{\rev}$ on $K[\xb]$ and a lexicographic order $<_{\lex}$ on $K[\xb]$ such that (i) $K[G]$ is normal, (ii) $\depth K[\xb]/\ini_{<_{\rev}}(I_G) = f$ and (iii) $K[\xb]/\ini_{<_{\lex}}(I_G)$ is Cohen--Macaulay, where $\ini_{<_{\rev}}(I_G)$ (resp.\ $\ini_{<_{\lex}}(I_G)$) is the initial ideal of $I_G$ with respect to $<_{\rev}$ (resp.\ $<_{\lex}$) and where $\depth K[\xb]/\ini_{<_{\rev}}(I_G)$ is the depth of $K[\xb]/\ini_{<_{\rev}}(I_G)$.

preprint2010arXiv

Depth of edge rings arising from finite graphs

Let $G$ be a finite graph and $K[G]$ the edge ring of $G$ . Based on the technique of Gröbner bases and initial ideals, it will be proved that, given integers $f$ and $d$ with $7 \leq f \leq d$ , there exists a finite graph $G$ on $[d]={1,...,d}$ with $\depth K[G] = f$ and with $\Krull-dim K[G] = d$.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Augustine B. O'Keefe

Research overview

Is this your work?

3 publications

Algebraic study on Cameron-Walker graphs

Depth of initial ideals of normal edge rings

Depth of edge rings arising from finite graphs

See the researcher in context

Building this map preview

Augustine B. O&#39;Keefe

Research overview

Is this your work?

3 publications

Algebraic study on Cameron-Walker graphs

Depth of initial ideals of normal edge rings

Depth of edge rings arising from finite graphs

See the researcher in context

Building this map preview

Augustine B. O'Keefe