Related papers: Annihilators of Koszul Homologies and Almost Compl…
In this paper, we answer a question of Dwyer, Greenlees, and Iyengar by proving a local ring $R$ is a complete intersection if and only if every complex of $R$-modules with finitely generated homology is proxy small. Moreover, we establish…
In this paper, various Homological Conjectures are studied for local rings which are locally finitely generated over a discrete valuation ring $V$ of mixed characteristic. Typically, we can only conclude that a particular Conjecture holds…
We introduce regular sequences and associated Koszul resolutions for monoids in the category of functors over an essentially small linear symmetric monoidal category. Next we define polynomials over such monoids. We compute the Hochschild…
Let $(A,\mathfrak{m})$ be an excellent local complete intersection ring and let $I = (a_1, \ldots, a_r)$ be an ideal of positive height. Let $\mathcal{R}(I) = A[It]$ be the Rees algebra of $I$. Consider the map $\psi \colon S = A[X_1,…
We study the syzygies of a codimension two ideal I = <f_1,f_2,f_3> in k[x,y,z]. Our main result is that the module of syzygies vanishing (scheme-theoretically) at the zero locus Z = V(I) is generated by the Koszul syzygies iff Z is a local…
Let $R$ be a commutative Noetherian ring, $\mathfrak a$ a proper ideal of $R$ and $N$ a non-zero finitely generated $R$-module with $N\neq \mathfrak a N$. Let $d$ (respectively $c$) be the smallest (respectively greatest) non-negative…
Under certain conditions, Koszul complexes can be used to calculate relative Betti diagrams of vector space-valued functors indexed by a poset, without the explicit computation of global minimal relative resolutions. In relative homological…
Suppose M is a complex manifold of dimension $n+1$ and K is a hypersurface in M. By Poincar\'e duality we define a residue morphism $res:H^{k+1}(M\setminus K)\longrightarrow H_{2n-k}(K)$ which generalizes the classical Leray residue…
We extend the notions of complete intersection dimension and lower complete intersection dimension to the category of complexes with finite homology and verify basic properties analogous to those holding for modules. We also discuss the…
We study the so-called weakly Koszul modules and characterise their Koszul duals. We show that the (adjusted) associated graded module of a weakly Koszul module exactly determines the homology modules of the Koszul dual. We give an example…
Let V be a holomorphic bundle over a complex manifold M, and s be a holomorphic section of V. We study different types of cohomology associated to the Koszul complex induced by s. When M is complete, these cohomologies are isomorphic to…
We study ideals in a local ring $R$ whose quotient rings induce large homomorphisms of local rings. We characterize such ideals over complete intersections, Koszul rings, and over some classes of Golod rings.
Inspired from the work of P. Scholze on the finiteness of \(\mathbf{F}_{p}\)-cohomology groups of proper rigid-analytic varieties over \(p\)-adic fields, Zavyalov recently introduced the notion of almost coherent rings, which plays a key…
Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a…
We compare and contrast various relative cohomology theories that arise from resolutions involving semidualizing modules. We prove a general balance result for relative cohomology over a Cohen-Macaulay ring with a dualizing module, and we…
An almost complete intersection ideal can be seen as a $d$-sequence ideal with the minimal number of generators being one more than its height. In this paper, we give exact formulas for the regularity of powers of graded almost complete…
A stable homology theory is defined for completely distributive CSL algebras in terms of the point-neighbourhood homology of the partially ordered set of meet-irreducible elements of the invariant projection lattice. This specialises to the…
Motivated by the foundational result that a monomial complete intersection has the strong Lefschetz property (SLP) in characteristic zero, it is natural to ask when monomial almost complete intersections have the SLP. In this paper, using…
Let R be a regular, local and F-finite ring defined over a field of finite characteristic. Let I be an ideal of height c with normal quotient $A=R/I$. It is shown that the local cohomology module H^c_I(R) contains a unique simple…
A presheaf of complexes is constructed on a category of weighted finite subsets of a fixed Euclidean space. To each object, a Koszul complex is assigned which resolves the coordinate ring of least squares solutions on that data set for a…