Regularity and Free Resolution of Ideals Which Are Minimal To $d$-Linearity

For given positive integers $n\geq d$, a $d$-uniform clutter on a vertex set $[n]=\{1,\dots,n\}$ is a collection of distinct $d$-subsets of $[n]$. Let $\mathscr{C}$ be a $d$-uniform clutter on $[n]$. We may naturally associate an ideal $I(\mathscr{C})$ in the polynomial ring $S=k[x_1,\dots,x_n]$ generated by all square-free monomials \smash{$x_{i_1}\cdots x_{i_d}$} for $\{i_1,\dots,i_d\}\in\mathscr{C}$. We say a clutter $\mathscr{C}$ has a $d$-linear resolution if the ideal \smash{$I(\overline{\mathscr{\mathscr{C}}})$} has a $d$-linear resolution, where \smash{$\overline{\mathscr{C}}$} is the complement of $\mathscr{C}$ (the set of $d$-subsets of $[n]$ which are not in $\mathscr C$). In this paper, we introduce some classes of $d$-uniform clutters which do not have a linear resolution, but every proper subclutter of them has a $d$-linear resolution. It is proved that for any two $d$-uniform clutters $\mathscr{C}_1$, $\mathscr{C}_2$ the regularity of the ideal $I(\overline{\mathscr{C}_1 \cup \mathscr{C}_2})$, under some restrictions on their intersection, is equal to the maximum of the regularities of $I(\overline{\mathscr{C}}_1)$ and $I(\overline{\mathscr{C}}_2)$. As applications, alternative proofs are given for Fröberg's Theorem on linearity of edge ideals of graphs with chordal complement as well as for linearity of generalized chordal hypergraphs defined by Emtander. Finally, we find minimal free resolutions of the ideal of a triangulation of a pseudo-manifold and a homology manifold explicitly.

Gorenstein rings through face rings of manifolds

The face ring of a homology manifold (without boundary) modulo a generic system of parameters is studied. Its socle is computed and it is verified that a particular quotient of this ring is Gorenstein. This fact is used to prove that the algebraic g-conjecture for spheres implies all enumerative consequences of its far-reaching generalization (due to Kalai) to manifolds. A special case of Kalai’s conjecture is established for homology manifolds that have a codimension-two face whose link contains many vertices.

Relative resolutions of homology manifolds

SynopsisIn the theory of resolutions of polyhedral homology manifolds to PL manifolds, itis natural to ask whether, when such a resolution exists, it is possible to preserve a given subspace of the original homology manifold under the resolution. The answer is provided in the affirmative so long as the codimension of the subspace is at least 3. In addition, it is shown that if the original dimension was at least 5 then a resolution may be chosen so as to induce an isomorphism of fundamental groups. As a corollary to these results we see that any homology n-manifold homology n-sphere may be PL embedded in S+3.

Transverse regularity for maps of homology manifolds

Recall that in (2) we showed that it was possible to make transverse a homology manifold and PL-manifold inside a large dimensional homology manifold, subject to being able to do some general position inside the large manifold. In (1) we were able to relax the condition that one of the submanifolds be a PL-manifold to it being a homotopy manifold. The way in which the making transverse was achieved was via a system of h-cobordisms from the original situation to the transverse one. The problem we tackle here is that of making a map between homology manifolds transverse regular. Thus we ask: given a map f: M → N of homology manifolds with P a proper submanifold of N, is it possible to homotop f to a map g: M → N such that g−1(P) is a proper submanifold of M and g induces a map from the normal bundle of g−1(P) in M to the normal bundle of P in N?