20 pages. part 2 of a series with arXiv:1401.6925, arXiv:1506.07052, arXiv:1602.03225, arXiv:1602.03226, and arXiv:1602.03227. comments welcome. v.2 has updated references and URL for Sather-Wagstaff
We investigate the similarities between adic finiteness and homological finiteness for chain complexes over a commutative noetherian ring. In particular, we extend the isomorphism properties of certain natural morphisms from homologically finite complexes to adically finite complexes. We do the same for characterizations of certain homological dimensions. In addition, we study transfer of adic finiteness along ring homomorphisms, all with a view toward subsequent applications.
Let $R$ be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and the sequential one. The two definitions are known to be equivalent for a weakly proregular ideal $I$; we show that they are different otherwise. We argue that the sequential approach works well, but the idealistic one needs to be reinterpreted or properly understood. We also consider $I$-adically flat $R$-modules.
Let $X$ be a chain complex over a commutative noetherian ring $R$, that is, an object in the derived category $\mathcal{D}(R)$. We investigate the small support and co-support of $X$, introduced by Foxby and Benson, Iyengar, and Krause. We show that the derived functors $M \otimes_R^{\mathbf{L}} -$ and $\mathbf{R}\operatorname{Hom}_R(M,-)$ can detect isomorphisms in $\mathcal{D}(R)$ between complexes with restrictions on their supports or co-supports. In particular, the derived local (co)homology functors $\mathbf{R}Γ_{\mathfrak{a}}(-)$ and $\mathbf{L}Λ_{\mathfrak{a}}(-)$ with respect to an id…
We introduce a notion of pure-minimality for chain complexes of modules and show that it coincides with (homotopic) minimality in standard settings, while being a more useful notion for complexes of flat modules. As applications, we characterize von Neumann regular rings and left perfect rings.
Let (R, m) be a local commutative ring. Suppose that m is principal and that m^2 = 0. We give a complete description of the cellular lattice of perfect chain complexes of modules over this ring.
In this paper we prove certain properties of cellular and acyclic classes of chain complexes of modules over a commutative Noetherian ring. In particular we show that if X is finite and belongs to some cellular class C then Σ^n H_X also belongs to C, for every n.
Let R be a commutative local noetherian ring. We prove that the existence of a chain of semidualizing R-complexes of length (d+1) yields a degree-d polynomial lower bound for the Bass numbers of R. We also show how information about certain Bass numbers of R provide restrictions on the lengths of chains of semidualizing R-complexes. To make this article somewhat self-contained, we also include a survey of some of the basic properties of semidualizing modules, semidualizing complexes and derived categories.
We define the notion of universal lift of a projective complex based on non-commutative parameter algebras, and prove its existence and uniqueness. We investigate the properties of parameter algebras for universal lifts.
We investigate how one can detect the dualizing property for a chain complex over a commutative local noetherian ring R. Our focus is on homological properties of contracting endomorphisms of R, e.g., the Frobenius endomorphism when R contains a field of positive characteristic.
We investigate Buchbaum and Eisenbud's construction of the second symmetric power S^2_R(X) of a chain complex X of modules over a commutative ring R. We state and prove a number of results from the folklore of the subject for which we know of no good direct references. We also provide several explicit computations and examples. We use this construction to prove the following version of a result of Avramov, Buchweitz, and Sega: Let R \to S be a module-finite ring homomorphism such that R is noetherian and local, and such that 2 is a unit in R. Let X be a complex of finite rank free S-modules su…
We introduce a model for random chain complexes over a finite field. The randomness in our complex comes from choosing the entries in the matrices that represent the boundary maps uniformly over $\mathbb{F}_q$, conditioned on ensuring that the composition of consecutive boundary maps is the zero map. We then investigate the combinatorial and homological properties of this random chain complex.
Let $K$ be a non-empty set of ideals of the commutative ring $R$, closed under taking smaller ideals. A subset $X$ of the group ring $R[\mathbb{Z}^s]$ is called a $K$-set if the ideal generated by the coefficients of the elements of $X$ is in $K$. For $X$ not a $K$-set we investigate the set of those homomorphisms $p \colon \mathbb{Z}^s \to \mathbb{Z}^t$ such that $p_*(X)$ is a $K$-set. We also consider corresponding notions of rank of matrices and Betti numbers of chain complexes; this includes an analysis of the case of McCoy rank. Our setup also recovers results on jump loci obtained by Koh…
Let $G$ be a finite $p$-group and $\mathbb{F}$ a field of characteristic $p$. We filter the cochain complex of a free $G$-space with coefficients in $\mathbb{F}$ by powers of the augmentation ideal of $\mathbb{F} G$. We show that the cup product induces a multiplicative structure on the arising spectral sequence and compute the $E_1$-page as a bigraded algebra. As an application, we prove that recent counterexamples of Iyengar and Walker to an algebraic version of Carlsson's conjecture can not be realized topologically.
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…
We reformulate the problem of bounding the total rank of the homology of perfect chain complexes over the group ring $\mathbb{F}_p[G]$ of an elementary abelian $p$-group $G$ in terms of commutative algebra. This extends results of Carlsson for $p=2$ to all primes. As an intermediate step, we construct an embedding of the derived category of perfect chain complexes over $\mathbb{F}_p[G]$ into the derived category of $p$-DG modules over a polynomial ring.
Asymptotic depth of invariant chains of edge ideals
University of Education, Hue University（顺化大学教育学院）；Faculty of Mathematics and Informatics, Hanoi University of Science and Technology（河内科学技术大学数学与信息学院）；Department of Mathematics, FPT University（FPT大学数学系）；Institute of Mathematics, Vietnam Academy of Science and Technology（越南科学院数学研究所）；McMaster University（麦克马斯特大学）
Given an ascending chain $(I_n)_{n\in\mathbb{N}}$ of $\Sym$-invariant squarefree monomial ideals, we study the corresponding chain of Alexander duals $(I_n^\vee)_{n\in\mathbb{N}}$. Using a novel combinatorial tool, which we call \emph{avoidance up to symmetry}, we provide an explicit description of the minimal generating set up to symmetry in terms of the original generators. Combining this result with methods from discrete geometry, this enables us to show that the number of orbit generators of $I_n^\vee$ is given by a polynomial in $n$ for sufficiently large $n$. The same is true for the num…
