Related papers: Residual Intersections are Koszul-Fitting ideals

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…

A classical result of Micali asserts that a Noetherian local ring is regular if and only if the Rees algebra of its maximal ideal is defined by an ideal of linear forms. In this case, this defining ideal may be realized as a determinantal…

We prove that finiteness of the index of the intersection of a finite set of finite index subalgebras in a von Neumann algebra (with small centre) is equivalent to the finite dimensionality of the algebra generated by the conditional…

In this paper we continue the study (initiated in a previous article) of linear Koszul duality, a geometric version of the standard duality between modules over symmetric and exterior algebras. We construct this duality in a very general…

We study the periodic cyclic homology groups of the cross-product of a finite type algebra $A$ by a discrete group $\Gamma$. In case $A$ is commutative and $\Gamma$ is finite, our results are complete and given in terms of the singular…

Motivated by the representation theory of symplectic reflection algebras, deformed preprojective algebras, and graded Hecke algebras, we consider filtered algebras $U$ whose associated graded is Koszul. The Koszul dual of $U$, as defined by…

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…

We present a comprehensive formalization in the Lean4 theorem prover of the Auslander--Buchsbaum--Serre criterion, which characterizes regular local rings as those Noetherian local rings with finite global dimension. Rather than following…

The residual closure of a subgroup $H$ of a group $G$ is the intersection of all virtually normal subgroups of $G$ containing $H$. We show that if $G$ is generated by finitely many cosets of $H$ and if $H$ is commensurated, then the…

We prove, in any positive characteristic, Parseval-Rayleigh identities for the residue map of a homogeneous complete intersection. As an application, we give a conceptual proof of the folklore fact that generic homogeneous complete…

Trinh and Xue have proposed a startling conjecture on intersections of blocks of cyclotomic Hecke algebras occurring in modular representation theory of finite reductive groups. We prove this conjecture for all exceptional type groups apart…

Residue complexes were introduced by Grothendieck in algebraic geometry. These are canonical complexes of injective modules that enjoy remarkable functorial properties (traces). In this paper we study residue complexes over noncommutative…

We determine sets of elements which, under certain conditions, generate an intersection of ideals up to radical.

For a system of non-homogeneous polynomials it was constructed explicit complex morphism of a dual complex to the Koszul complex into the Koszul complex. If the ideal of these polynomials is 0-dimensional, then this mapping is a homotopic…

Let R be a commutative noetherian local ring with completion R^. We apply differential graded (DG) algebra techniques to study descent of modules and complexes from R^ to R' where R' is either the henselization of R or a pointed \'etale…

We study the cohomology ring of the Bott--Samelson variety. We compute an explicit presentation of this ring via Soergel's result, which implies that it is a purely combinatorial invariant. We use the presentation to introduce the…

Compositional graphoids are fundamental discrete structures which appear in probabilistic reasoning, particularly in the area of graphical models. They are semigraphoids which satisfy the Intersection and Composition properties. These…

We show that taking the wreath product of a quasi-hereditary algebra with symmetric group inherits several homological properties of the original algebra, namely BGG duality, standard Koszulity, balancedness as well as a condition which…

The paper is a part of our program to build up a theory of couting immersed nodal curve on algebraic surfaces, as an enumerative Riemann-Roch theory (outlined in math.AG/0405113). In this paper, we discuss the excess intersection theory of…

In this paper we prove a residue formula for intersection pairings of reduced spaces of certain quasi-Hamiltonian G-spaces, by constructing the corresponding Hamiltonian G-space. Our argument closely follows the methods of a 1998 paper of…