Related papers: Implementing the Kustin-Miller complex constructio…
We first introduce the notion of $CM$-$\tau$-tilting free algebras as the generalization of $CM$-free algebras and show the homological properties of $CM$-$\tau$-tilting free algebras. Then we give a bijection between Gorenstein projective…
We present a practical way of introducing convolutional structure into Gaussian processes, making them more suited to high-dimensional inputs like images. The main contribution of our work is the construction of an inter-domain inducing…
Recently, Cappell and Miller extended the classical construction of the analytic torsion for de Rham complexes to coupling with an arbitrary flat bundle and the holomorphic torsion for $\bar{\partial}$-complexes to coupling with an…
By extending some basic results of Grothendieck and Foxby about local cohomology to commutative DG-rings, we prove new amplitude inequalities about finite DG-modules of finite injective dimension over commutative local DG-rings,…
Our main purpose is to give multiple examples for using the available implementations for computing the normalization of an affine ring, computing the minimial generators of the normalization as an algebra over the original ring and…
A foundational result by C. Huneke and V. Trivedi provides a formula for the depth of an ideal in terms of height, computed over a finite set of prime ideals, for rings that are homomorphic images of regular rings. Building on a result by…
We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence…
In this work we demonstrate a surprising way of exploitation of the mosaic--skeleton approximations for efficient numerical solving of aggregation equations with many applied kinetic kernels. The complexity of the evaluation of the…
McCammond and Wise have introduced the perimeter of 2-complexes, and they have used it to obtain a sufficient criterion for coherence. We present a new exposition of their main result, as well as some applications.
Using discrete Morse theory, Batzies and Welker introduced Morse resolutions of monomial ideals. In this note, we present the {\it Macaulay2} package {\tt MorseResolutions} for working with two important classes of Morse resolutions:…
Simplicial complexes X provide commutative rings A(X) via the Stanley-Reisner construction. We calculated the cotangent cohomology, i.e., T1 and T2 of A(X) in terms of X. These modules provide information about the deformation theory of the…
The notion of almost Gorenstein local ring introduced by V. Barucci and R. Fr\"oberg for one-dimensional Noetherian local rings which are analytically unramified has been generalized by S. Goto, N. Matsuoka and T. T. Phuong to…
Using the geometric vertex decomposition property first defined by Knutson, Miller, and Yong, a recursive definition for geometrically vertex decomposable ideals was given by Klein and Rajchgot. We introduce the Macaulay2 package…
Given a commutative and graded Gorenstein ring $R$ with associated projective variety $X$, a theorem of Orlov gives fully faithful embeddings from the graded singularity category of $R$ to the derived category of $X$, or vice versa,…
Motivated by their impact on homological algebra, the change of rings results have been the subject of several interesting works in Gorenstein homological algebra over Noetherian rings. In this paper, we investigate the change of rings…
This paper studies the relationship between Serre's condition $(\R_n)$ and Auslander--Buchweitz's maximal Cohen--Macaulay approximations. It is proved that a Gorenstein local ring satisfies $(\R_n)$ if and only if every maximal…
We prove Auslander-Gorenstein and $\GKdim$-Macaulay properties for certain invariant subrings of some quantum algebras, the Weyl algebras, and the universal enveloping algebras of finite dimensional Lie algebras.
Let $T_R(M)$ be a tensor ring and $\mathcal{X}$, $\mathcal{Y}$ be two classes of $R$-modules. Under certain conditions, we prove that a $T_R(M)$-module $(A, u)$ is $Ind(\mathcal{X})$-Gorenstein projective if and only if $u$ is monomorphic…
In this thesis, the class of modules whose Cousin complexes have finitely generated cohomologies are studied as a subclass of modules which have uniform local cohomological annihilators and it is shown that these two classes coincide over…
In this note, we calculate the Koszul homology of the codimension 3 Gorenstein ideals. We find filtrations for the Koszul homology in terms of modules with pure free resolutions and completely describe these resolutions. We also consider…