In this paper, we consider the iterated trimming complex associated to data yielding a complex of length $3$. We compute an explicit algebra structure in this complex in terms of the algebra structures of the associated input data. Moreover, it is shown that many of these products become trivial after descending to homology. We apply these results to the problem of realizability for Tor-algebras of grade $3$ perfect ideals, and show that under mild hypotheses, the process of "trimming" an ideal preserves Tor-algebra class. In particular, we construct new classes of ideals in arbitrary regular local rings defining rings realizing Tor-algebra classes $G(r)$ and $H(p,q)$ for a prescribed set of homological data.
We produce a family of complexes called trimming complexes and explore applications. We study how trimming complexes can be used to deduce the Betti table for the minimal free resolution of the ideal generated by subsets of a generating set for an arbitrary ideal $I$. In particular, we compute the Betti table for removing an arbitrary generator from the ideal of submaximal pfaffians of a generic skew symmetric matrix $M$. We also explicitly compute the Betti table for the ideal generated by certain subsets of the generating set of the ideal of maximal minors of a generic $n \times m$ matrix. S…
Let $R = k[x_1, \dotsc , x_n]$ denote the standard graded polynomial ring over a field $k$. We study certain classes of equigenerated monomial ideals with the property that the so-called complementary ideal has no linear relations on the generators. We then use iterated trimming complexes to deduce Betti numbers for such ideals. Furthermore, using a result on splitting mapping cones by Miller and Rahmati, we construct the minimal free resolutions for all ideals under consideration explicitly and conclude with questions about extra structure on these complexes.
Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s)^{\ell} \oplus k(-2s+1)$, where $s \geq3$ and $\ell \geq 1$ are integers. The case for $\ell =1$ was studied in a previous paper by the author; a generically minimal resolution was constructed for all such ideals. More recently, this resolution is generalized in the guise of (iterated) trimming complexes. In this paper, we show that all ideals of the above form are resolved by an iterated trimming compl…
We introduce the notions of Koszul $N$-complex, $\check{\mathrm{C}}$ech $N$-complex and telescope $N$-complex, explicit derived torsion and derived completion functors in the derived category $\mathbf{D}_N(R)$ of $N$-complexes using the $\check{\mathrm{C}}$ech $N$-complex and the telescope $N$-complex. Moreover, we give an equivalence between the category of cohomologically $\mathfrak{a}$-torsion $N$-complexes and the category of cohomologically $\mathfrak{a}$-adic complete $N$-complexes, and prove that over a commutative noetherian ring, via Koszul cohomology, via RHom cohomology (resp. $\oti…
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.
It is proved that a module $M$ over a Noetherian local ring $R$ of prime characteristic and positive dimension has finite flat dimension if Tor$_i^R({}^e R, M)=0$ for dim $R$ consecutive positive values of $i$ and infinitely many $e$. Here ${}^e R$ denotes the ring $R$ viewed as an $R$-module via the $e$th iteration of the Frobenius endomorphism. In the case $R$ is Cohen-Macualay, it suffices that the Tor vanishing above holds for a single $e\geq \log_p e(R)$, where $e(R)$ is the multiplicity of the ring. This improves a result of D. Dailey, S. Iyengar, and the second author, as well as genera…
We introduce Gorenstein silting modules (resp. complexes), and give the relation with the usual silting modules (resp. complexes). We show that Gorenstein silting modules are the module-theoretic counterpart of 2-term Gorenstein silting complexes; and partial Gorenstein silting modules are in bijection with τ_{G}-rigid modules for finite dimensional algebras of finite CM-type. We also give the relation between 2-term Gorenstein silting complexes, t-structures and torsion pair in module categories; and generalise the classical Brenner-Butler theorem to this setting; and characterise the global …
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.
This paper is concerned with the combinatorial description of the graded minimal free resolution of certain monomial algebras which includes toric rings. Concretely, we explicitly describe how the graded minimal free resolution of those algebras is related to the combinatorics of some simplicial complexes. Our description may be interpreted as an algorithmic procedure to partially compute this resolution.
We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of Dwyer-Greenlees and Porta-Shaul-Yekutieli, this implies an equivalence between the (bounded or unbounded) conventional derived categories of the abelian categories of torsion modules and contramodules. Over the adic completion of a commutative ring by an arbitrary finitely generated ideal, we obtain an equivalence between the derived categories of complexes of …
Let Z_K be the moment angle complex associated to a simplicial complex K, with the canonical torus T-action. In this paper, we prove that, for any possibly disconnected subgroup G of T, G-equivariant cohomology of Z_K over the integer Z is isomophic to the Tor-module Tor_{H(BR;Z)}(Z[K],Z) as graded modules, where Z_[K] is the Stanley-Reisner ring of K. Based on this, we prove that the surjectivity of the natural map H_T(Z_K;Z) to H_G(Z_K;Z) is equivalent to the vanishing of Tor^{H(BR;Z)}_1(Z[K],Z). Since the integral cohomology of various toric orbifolds can be identified with H_G(Z_K;Z), we s…
The bottom complex of a finite polyhedal pointed rational cone is the lattice polytopal complex of the compact faces of the convex hull of nonzero lattice points in the cone. The algebra, associated to the bottom complex of a cone, defines a flat deformation of the affine toric variety, associated to the polyhedral cone, set-theoretically. We describe three explicit infinite families of abstract polytopal complexes, defining such flat deformations scheme-theoretically.
In this article we survey recent results on rigid dualizing complexes over commutative algebras. We begin by recalling what are dualizing complexes. Next we define rigid complexes, and explain their functorial properties. Due to the possible presence of torsion, we must use differential graded algebras in the constructions. We then discuss rigid dualizing complexes. Finally we show how rigid complexes can be used to understand Cohen-Macaulay homomorphisms and relative dualizing sheaves.
An affine monoid is an additive monoid which is cancellative, pointed and finitely generated. An affine monoid $Λ$ has the partial order defined by $λ\le λ+ μ$. The Frobenius complex is the order complex of an open interval of $Λ$ with respect to this partial order. The reduced homology of the Frobenius complex is related to the torsion group of the monoid algebra $K[Λ]$. In this paper, we pay attention to homotopy types of Frobenius complexes, and we express the homotopy types of the Frobenius complexes of $Λ$ in terms of those of $Λ_1$ and $Λ_2$ when $Λ$ is an affine monoid obtained by gluin…
The paper surveys some new results and open problems connected with such fundamental combinatorial concepts as polytopes, simplicial complexes, cubical complexes, and subspace arrangements. Particular attention is paid to the case of simplicial and cubical subdivisions of manifolds and, especially, spheres. We describe important constructions which allow to study all these combinatorial objects by means of methods of commutative and homological algebra. The proposed approach to combinatorial problems relies on the theory of moment-angle complexes, currently being developed by the authors. The …
We review a class of problems on the borders of topology of torus actions, commutative homological algebra and combinatorial geometry, which is currently being investigated by Victor Buchstaber and the author. The text builds on the lectures delivered on the transformation group courses in Osaka City University and Universitat Autonoma de Barcelona. We start with discussing several well-known results and problems on combinatorial geometry of polytopes and simplicial complexes, and then move gradually towards investigating the combinatorial structures associated with spaces acted on by the toru…
This is a survey article on Gorenstein initial complexes of extensively studied ideals in commutative algebra and algebraic geometry. These include defining ideals of Segre and Veronese varieties, toric deformations of flag varieties known as Hibi ideals, determinantal ideals of generic matrices of indeterminates, and ideals generated by Pfaffians of generic skew symmetric matrices. We give a summary of recent work on the construction of squarefree Gorenstein initial ideals of these ideals when the ideals are themselves Gorenstein. We also present our own independent results for the Segre, Ver…
Let A be a commutative ring, and \a a weakly proregular ideal in A. This includes the noetherian case: if A is noetherian then any ideal in it is weakly proregular; but there are other interesting examples. In this paper we prove the MGM equivalence, which is an equivalence between the category of cohomologically \a-adically complete complexes and the category of cohomologically \a-torsion complexes. These are triangulated subcategories of the derived category of A-modules. Our work extends earlier work by Alonso- Jeremias-Lipman, Schenzel and Dwyer-Greenlees.
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…
We introduce notions of vector field and its (discrete time) flow on a chain complex. The resulting dynamical systems theory provides a set of tools with a broad range of applicability that allow, among others, to replace in a canonical way a chain complex with a "smaller" one of the same homotopy type. As applications we construct in an explicit, canonical, and symmetry-preserving fashion a minimal free resolution for every toric ring and every monomial ideal. Our constructions work in all characteristics and over any base field. A key subtle new point is that in certain finitely many positiv…
Buchstaber invariant is a numerical characteristic of a simplicial complex, arising from torus actions on moment-angle complexes. In the paper we study the relation between Buchstaber invariants and classical invariants of simplicial complexes such as bigraded Betti numbers and chromatic invariants. The following two statements are proved. (1) There exists a simplicial complex U with different real and ordinary Buchstaber invariants. (2) There exist two simplicial complexes with equal bigraded Betti numbers and chromatic numbers, but different Buchstaber invariants. To prove the first theorem …
We compute the initial ideals, with respect to certain conveniently chosen term orders, of ideals of tangent cones at torus fixed points to Schubert varieties in orthogonal Grassmannians. The initial ideals turn out to be square-free monomial ideals and therefore Stanley-Reisner face rings of simplicial complexes. We describe these complexes. The maximal faces of these complexes encode certain sets of non-intersecting lattice paths.
