A "toric face ring", which generalizes both Stanley-Reisner rings and affine semigroup rings, is studied by Bruns, Roemer and their coauthors recently. In this paper, under the "normality" assumption, we describe a dualizing complex of a toric face ring $R$ in a very concise way. Since $R$ is not a graded ring in general, the proof is not straightforward. We also develop the squarefree module theory over $R$, and show that the Buchsbaum property and the Gorenstein* property of $R$ are topological properties of its associated cell complex.
We characterize the seminormality of an affine semigroup ring in terms of the dualizing complex, and the normality of a Cohen-Macaulay semigroup ring by the "shape" of the canonical module. We also characterize the seminormality of a toric face ring in terms of the dualizing complex. A toric face ring is a simultaneous generalization of Stanley-Reisner rings and affine semigroups.
The notion of "toric face rings" generalizes both Stanley-Reisner rings and affine semigroup rings, and has been studied by Bruns, Romer, et.al. Here, we will show that, for a toric face ring $R$, the "graded" Matlis dual of a Cech complex gives a dualizing complex. In the most general setting, $R$ is not a graded ring in the usual sense. Hence technical argument is required.
A finite poset $P$ is called "simplicial", if it has the smallest element $\hat{0}$, and every interval $[\hat{0}, x]$ is a boolean algebra. The face poset of a simplicial complex is a typical example. Generalizing the Stanley-Reisner ring of a simplicial complex, Stanley assigned the graded ring $A_P$ to $P$. This ring has been studied from both combinatorial and topological perspective. In this paper, we will give a concise description of a dualizing complex of $A_P$, which has many applications.
In this short note, we give a characterization of domains satisfying Serre's condition $(\mathrm{R}_1)$ in terms of their canonical modules. In the special case of toric rings, this generalizes a result of the second author (K. Yanagawa, Dualizing complexes of seminormal affine semigroup rings and toric face rings, J. Algebra 425 (2015).) where the normality is described in terms of the "shape" of the canonical module.
Toric face rings is a generalization of the concepts of affine monoid rings and Stanley-Reisner rings. We consider several properties which imply Koszulness for toric face rings over a field $k$. Generalizing works of Laudal, Sletsjøe and Herzog et al., graded Betti numbers of $k$ over the toric face rings are computed, and a characterization of Koszul toric face rings is provided. We investigate a conjecture suggested by Römer about the sufficient condition for the Koszul property. The conjecture is inspired by Fröberg's theorem on the Koszulness of quadratic squarefree monomial ideals. Final…
We characterize the toric face rings that are normal (respectively seminormal). Extending results about local cohomology of Brun, Bruns, Ichim, Li and Römer of seminormal monoid rings and Stanley toric face rings, we prove the vanishing of certain graded parts of local cohomology of seminormal toric face rings. The combinatorial formula we obtain generalizes Hochster's formula. We also characterize all (necessarily seminormal) toric face rings that are $F$-pure or $F$-split over a field of characteristic $p>0$. An example is given to show that $F$-injectivity does not behave well with respect …
We introduce toric complexes as polyhedral complexes consisting of rational cones together with a set of integral generators for each cone, and we define their associated face rings. Abstract simplicial complexes and rational fans can be considered as toric complexes, and the face ring for toric complexes extend Stanley and Reisner's face ring for abstract simplicial complexes and Stanley's face ring for rational fans. Given a toric complex with defining ideal I for the face ring we give a geometrical interpretation of the initial ideals of I with respect to weight orders in terms of subdivisi…
Following a construction of Stanley we consider toric face rings associated to rational pointed fans. This class of rings is a common generalization of the concepts of Stanley--Reisner and affine monoid algebras. The main goal of this article is to unify parts of the theories of Stanley--Reisner- and affine monoid algebras. We consider (non-pure) shellable fan's and the Cohen--Macaulay property. Moreover, we study the local cohomology, the canonical module and the Gorenstein property of a toric face ring.
Generalizing the concepts of Stanley-Reisner and affine monoid algebras, one can associate to a rational pointed fan the toric face ring. Assuming that this ring is Cohen-Macaulay, the main result of this paper is to characterize the situation when its canonical module is isomorphic to a fine graded ideal of the toric face ring. From this result several algebraic and combinatorial consequences are deduced in the situations where the fan may be related to a manifold with non-empty boundary, or the fan is a shellable fan.
In this paper, we study the well-know $g$-conjecture for rational homology spheres in a topological way. To do this, we construct a class of topological spaces with torus actions, which can be viewed as topological generalizations of toric varieties. Along this way we prove that after doing stellar subdivision operations at some middle dimensional faces of an arbitrary rational homology sphere, the $g$-conjecture is valid. Furthermore, we give topological proofs of several fundamental algebraic results about Buchsbaum complexes and simplicial manifolds. In this process, we also get a few inter…
In this paper we define and study a ring associated to a graph that we call the cographic toric face ring, or simply the cographic ring. The cographic ring is the toric face ring defined by the following equivalent combinatorial structures of a graph: the cographic arrangement of hyperplanes, the Voronoi polytope, and the poset of totally cyclic orientations. We describe the properties of the cographic ring and, in particular, relate the invariants of the ring to the invariants of the corresponding graph. Our study of the cographic ring fits into a body of work on describing rings constructed …
The rank of a $d$-dimensional polytope $P$ is defined by $F-(d+1)$, where $F$ denotes the number of facets of $P$. In this paper, We focus on the toric rings of $(0,1)$-polytopes with small rank. We study their normality, the torsionfreeness of their divisor class groups and the classification of their isomorphism classes.
In the present paper, we give some sufficient conditions for $\operatorname{Cl}(\Bbbk[P])$ to be torsionfree, where $\operatorname{Cl}(\Bbbk[P])$ denote the divisor class group of the toric ring $\Bbbk[P]$ of an integral polytope $P$. We prove that $\operatorname{Cl}(\Bbbk[P])$ is torsionfree if $P$ is compressed, and $\operatorname{Cl}(\Bbbk[P])$ is torsionfree if $P$ is a $(0,1)$-polytope which has at most $\dim P+2$ facets. Moreover, we characterize the toric rings of $(0,1)$-polytopes in the case $\operatorname{Cl}(\Bbbk[P])\cong \mathbb{Z}$.
In this note we consider monoidal complexes and their associated algebras, called toric face rings. These rings generalize Stanley-Reisner rings and affine monoid algebras. We compute initial ideals of the presentation ideal of a toric face ring, and determine its graded Betti numbers. Our results generalize celebrated theorems of Hochster in combinatorial commutative algebra.
Let $A=\{{\bf a}_1,...,{\bf a}_m\} \subset \mathbb{Z}^n$ be a vector configuration and $I_A \subset K[x_1,...,x_m]$ its corresponding toric ideal. The paper consists of two parts. In the first part we completely determine the number of different minimal systems of binomial generators of $I_A$. We also prove that generic toric ideals are generated by indispensable binomials. In the second part we associate to $A$ a simplicial complex $Δ_{\ind(A)}$. We show that the vertices of $Δ_{\ind(A)}$ correspond to the indispensable monomials of the toric ideal $I_A$, while one dimensional facets of $Δ_{\…
Let $H$ be a positive semigroup in $\mathbb{Z}^d$ generated by $A$, and let $K[H]$ be the associated semigroup ring over a field $K$. We investigate heredity of the Cohen-Macaulay property from $K[H]$ to both its $A$-Newton graded ring and to its face rings. We show by example that neither one inherits in general the Cohen-Macaulay property. On the positive side we show that for every $H$ there exist generating sets $A$ for which the Newton graduation preserves Cohen-Macaulayness. This gives an elementary proof for an important vanishing result on $A$-hypergeometric Euler-Koszul homology. As a…
Let $P$ be a simple polytope of dimension $n$ with $m$ facets. In this paper we pay our attention on those elementary symmetric polynomials in the Stanley--Reisner face ring of $P$ and study how the decomposability of the $n$-th elementary symmetric polynomial influences on the combinatorics of $P$ and the topology and geometry of toric spaces over $P$. We give algebraic criterions of detecting the decomposability of $P$ and determining when $P$ is $n$-colorable in terms of the $n$-th elementary symmetric polynomial. In addition, we define the Stanley--Reisner {\em exterior} face ring $\mathca…
In this survey article we present several new developments of `toric topology' concerning the cohomology of face rings (also known as Stanley-Reisner algebras). We prove that the integral cohomology algebra of the moment-angle complex Z_K (equivalently, of the complement U(K) of the coordinate subspace arrangement) determined by a simplicial complex K is isomorphic to the Tor-algebra of the face ring of K. Then we analyse Massey products and formality of this algebra by using a generalisation of Hochster's theorem. We also review several related combinatorial results and problems.
We introduce the notion of a \emph{resolution supported on a poset}. When the poset is a CW-poset, i.e. the face poset of a regular CW-complex, we recover the notion of cellular resolution as introduced by Bayer and Sturmfels. Work of Reiner and Welker, and of Velasco, has shown that there are monomial ideals whose minimal free resolutions are not cellular, hence cannot be supported on any CW-poset. We show that for any monomial ideal there is a \emph{homology CW-poset} that supports a minimal free resolution of the ideal. This allows one to extend to every minimal resolution, essentially verb…
A torus manifold is an even-dimensional manifold acted on by a half-dimensional torus with non-empty fixed point set and some additional orientation data. It may be considered as a far-reaching generalisation of toric manifolds from algebraic geometry. The orbit space of a torus manifold has a rich combinatorial structure, e.g., it is a manifold with corners provided that the action is locally standard. Here we investigate relationships between the cohomological properties of torus manifolds and the combinatorics of their orbit quotients. We show that the cohomology ring of a torus manifold is…
There are two seemingly unrelated ideals associated with a simplicial complex Δ. One is the Stanley-Reisner ideal I_Δ, the monomial ideal generated by minimal non-faces of Δ, well-known in combinatorial commutative algebra. The other is the toric ideal I_{M(Δ)} of the facet subring of Δ, whose generators give a Markov basis for the hierarchical model defined by Δ, playing a prominent role in algebraic statistics. In this note we show that the complexity of the generators of I_{M(Δ)} is determined by the Betti numbers of I_Δ. The unexpected connection between the syzygies of the Stanley-Reisner…
Consider a simplicial complex that allows for an embedding into $\mathbb{R}^d$. How many faces of dimension $\frac{d}{2}$ or higher can it have? How dense can they be? This basic question goes back to Descartes' "Lost Theorem" and Euler's work on polyhedra. Using it and other fundamental combinatorial problems, we introduce a version of the Kähler package beyond positivity, allowing us to prove the hard Lefschetz theorem for toric varieties (and beyond) even when the ample cone is empty. A particular focus lies on replacing the Hodge-Riemann relations by a non-degeneracy relation at torus-inva…
We extend the notion of face rings of simplicial complexes and simplicial posets to the case of finite-length (possibly infinite) simplicial posets with a group action. The action on the complex induces an action on the face ring, and we prove that the ring of invariants is isomorphic to the face ring of the quotient simplicial poset under a mild condition on the group action. We also identify a class of actions on simplicial complexes that preserve the homotopical Cohen-Macaulay property under quotients. When the acted-upon poset is the independence complex of a semimatroid, the $h$-polynomia…
We show that the cohomology algebra of the complement of a coordinate subspace arrangement in m-dimensional complex space is isomorphic to the cohomology algebra of Stanley-Reisner face ring of a certain simplicial complex on m vertices. (The face ring is regarded as a module over the polynomial ring on m generators.) Then we calculate the latter cohomology algebra by means of the standard Koszul resolution of polynomial ring. To prove these facts we construct an equivariant with respect to the torus action homotopy equivalence between the complement of a coordinate subspace arrangement and th…
