Dirac's theorem on chordal graphs and Alexander duality

区间图的超图类比：弦性、合冲与可壳性

Chordality, syzygies, and shellability for hypergraphic analogues of interval graphs

本文证明共区间超图与下闭复形在补集意义下等价，并证明下闭团簇是Woodroofe弦性的，从而回答Dochtermann和Engström的问题，表明其Alexander对偶复形是顶点可分解的，且具有由下闭顶点序诱导的壳化。

r-连通子图的复形、 chordality 与 Fröberg 定理

The complex of $r$-co-connected subgraphs, chordality and Fröberg's theorem

本文研究了 r-连通子图复形的拓扑与代数性质，揭示了其与图类 co-chordality 的关系，并扩展了 Fröberg 定理。

Nets in $\mathbb P^2$ and Alexander Duality

A net in $\mathbb{P}^2$ is a configuration of lines $\mathcal A$ and points $X$ satisfying certain incidence properties. Nets appear in a variety of settings, ranging from quasigroups to combinatorial design to classification of Kac-Moody algebras to cohomology jump loci of hyperplane arrangements. For a matroid $M$ and rank $r$, we associate a monomial ideal (a monomial variant of the Orlik-Solomon ideal) to the set of flats of $M$ of rank $\le r$. In the context of line arrangements in $\mathbb{P}^2$, applying Alexander duality to the resulting ideal yields insight into the combinatorial str…

Alexander duality for monomial ideals associated with isotone maps between posets

For a pair $(P,Q)$ of finite posets the generators of the ideal $L(P,Q)$ correspond bijectively to the isotone maps from $P$ to $Q$. In this note we determine all pairs $(P,Q)$ for which the Alexander dual of $L(P,Q)$ coincides with $L(Q,P)$, up to a switch of the indices.

关于弦图的路径理想

On the path ideals of chordal graphs

本文推广了弦图边理想的正则性与投射维数公式，给出了弦图 $3$-路径理想的组合公式，证明了树的 $3$-路径理想 Alexander 对偶顶点可分裂性以解决相关猜想，并将正则性公式扩展至毛毛虫图。

Chordality, $d$-collapsibility, and componentwise linear ideals

Using the concept of $d$-collapsibility from combinatorial topology, we define chordal simplicial complexes and show that their Stanley-Reisner ideals are componentwise linear. Our construction is inspired by and an extension of "chordal clutters'' which was defined by Bigdeli, Yazdan Pour and Zaare-Nahandi in 2017, and characterizes Betti tables of all ideals with linear resolution in a polynomial ring. We show $d$-collapsible and $d$-representable complexes produce componentwise linear ideals for appropriate $d$. Along the way, we prove that there are generators that when added to the ideal,…

Alexander duality and Stanley depth of multigraded modules

We apply Miller's theory on multigraded modules over a polynomial ring to the study of the Stanley depth of these modules. Several tools for Stanley's conjecture are developed, and a few partial answers are given. For example, we show that taking the Alexander duality twice (but with different "centers") is useful for this subject. Generalizing a result of Apel, we prove that Stanley's conjecture holds for the quotient by a cogeneric monomial ideal.

Alexander Duality and Serre's Property $(S_i)$ for Square-free Monomial Ideals

In this note, we study Serre's property $(S_i)$, and its relation to Alexander duality for monomial ideals in a polynomial ring over a field. We describe ideals that define the non-Cohen-Macaulay- and the non-$(S_i)$-loci of finitely generated modules over regular rings, and show that minimal prime ideals in these loci are homogeneous, in the graded case. We show that a square-free monomial ideal has property $(S_i)$ if and only if its Alexander dual has a linear resolution up to homological degree $i-1$. We prove that for square-free monomial ideals, having property $(S_2)$ is equivalent to b…

Alexander duality for the alternative polarizations of strongly stable ideals

We will define the Alexander duality for strongly stable ideals. More precisely, for a strongly stable ideal $I \subset \Bbbk[x_1, \ldots, x_n]$ with ${\rm deg}(\mathsf{m}) \le d$ for all $\mathsf{m} \in G(I)$, its dual $I^* \subset \Bbbk[y_1, \ldots, y_d]$ is a strongly stable ideal with ${\rm deg}(\mathsf{m}) \le n$ for all $\mathsf{m} \in G(I^*)$. This duality has been constructed by Fl$ø$ystad et al. in a different manner, so we emphasis applications here. For example, we will describe the Hilbert serieses of the local cohomologies $H_\mathfrak{m}^i(S/I)$ using the irreducible decompositio…

Sequentially Cohen-Macaulay Edge Ideals

Let G be a simple undirected graph on n vertices, and let I(G) \subseteq R = k[x_1,...,x_n] denote its associated edge ideal. We show that all chordal graphs G are sequentially Cohen-Macaulay; our proof depends upon showing that the Alexander dual of I(G) is componentwise linear. Our result complements Faridi's theorem that the facet ideal of a simplicial tree is sequentially Cohen-Macaulay and implies Herzog, Hibi, and Zheng's theorem that a chordal graph is Cohen-Macaulay if and only if its edge ideal is unmixed. We also characterize the sequentially Cohen-Macaulay cycles and produce some ex…

Profunctors between posets and Alexander duality

We consider profunctors $f : P \promap Q$ between posets and introduce their {\em graph} and {\em ascent}. The profunctors $\Pro(P,Q)$ form themselves a poset, and we consider a partition $\cI \sqcup \cF$ of this into a down-set $\cI$ and up-set $\cF$, called a {\it cut}. To elements of $\cF$ we associate their graphs, and to elements of $\cI$ we associate their ascents. Our basic result is that this, suitable refined, preserves being a cut: We get a cut in the Boolean lattice of subsets of the underlying set of $Q \times P$. Cuts in finite Booleans lattices correspond precisely to finite simp…

Cohomology of toric line bundles via simplicial Alexander duality

We give a rigorous mathematical proof for the validity of the toric sheaf cohomology algorithm conjectured in the recent paper by R. Blumenhagen, B. Jurke, T. Rahn, and H. Roschy (arXiv:1003.5217). We actually prove not only the original algorithm but also a speed-up version of it. Our proof is independent from (in fact appeared earlier on the arXiv than) the proof by H. Roschy and T. Rahn (arXiv:1006.2392), and has several advantages such as being shorter and cleaner and can also settle the additional conjecture on "Serre duality for Betti numbers" which was raised but unresolved in arXiv:100…

On vertex decomposable simplicial complexes and their Alexander duals

In this paper we study the Alexander dual of a vertex decomposable simplicial complex. We define the concept of a vertex splittable ideal and show that a simplicial complex $Δ$ is vertex decomposable if and only if $I_{Δ^{\vee}}$ is a vertex splittable ideal. Moreover, the properties of vertex splittable ideals are studied. As the main result, it is proved that any vertex splittable ideal has a Betti splitting and the graded Betti numbers of such ideals are explained with a recursive formula. As a corollary, recursive formulas for the regularity and projective dimension of $R/I_Δ$, when $Δ$ is…

Spheres arising from multicomplexes

In 1992, Thomas Bier introduced a surprisingly simple way to construct a large number of simplicial spheres. He proved that, for any simplicial complex $Δ$ on the vertex set $V$ with $Δ\ne 2^V$, the deleted join of $Δ$ with its Alexander dual $Δ^\vee$ is a combinatorial sphere. In this paper, we extend Bier's construction to multicomplexes, and study their combinatorial and algebraic properties. We show that all these spheres are shellable and edge decomposable, which yields a new class of many shellable edge decomposable spheres that are not realizable as polytopes. It is also shown that thes…

Bounds on the regularity and projective dimension of ideals associated to graphs

In this paper we give new upper bounds on the regularity of edge ideals whose resolutions are k-steps linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of such ideals, generalizing other recent results. By Alexander duality, our results also apply to unmixed square-free monomial ideals of codimension two. We also discuss and connect these results to more classical topics in commutative algebra.

Monomials, Binomials, and Riemann-Roch

The Riemann-Roch theorem on a graph G is related to Alexander duality in combinatorial commutive algebra. We study the lattice ideal given by chip firing on G and the initial ideal whose standard monomials are the G-parking functions. When G is a saturated graph, these ideals are generic and the Scarf complex is a minimal free resolution. Otherwise, syzygies are obtained by degeneration. We also develop a self-contained Riemann-Roch theory for artinian monomial ideals.

Triplets of pure free squarefree complexes

On the category of bounded complexes of finitely generated free squarefree modules over the polynomial ring S, there is the standard duality functor D = Hom_S(-, omega_S) and the Alexander duality functor A. The composition AD is an endofunctor on this category, of order three up to translation. We consider complexes F of free squarefree modules such that both F, AD(F) and (AD)^2(F) are pure, when considered as singly graded complexes. We conjecture i) the existence of such triplets of complexes for given triplets of degree sequences, and ii) the uniqueness of their Betti numbers, up to scalar…