Related papers: Computations over Local Rings in Macaulay2
Macaulay dual spaces provide a local description of an affine scheme and give rise to computational machinery that is compatible with the methods of numerical algebraic geometry. We introduce eliminating dual spaces, use them for computing…
In this paper we present algorithms that compute certain local cohomology modules associated to a ring of polynomials containing the rational numbers. In particular we are able to compute the local cohomological dimension of algebraic…
We introduce the DeterminantalRepresentations package for Macaulay2, which computes definite symmetric determinantal representations of real polynomials. We focus on quadrics and plane curves of low degree (i.e. cubics and quartics). Our…
The aim of this paper is to study a deep connection between local cohomology annihilators and Macaulayfication and arithmetic Macaulayfication over a local ring. Local cohomology annihilators appear through the notion of p-standard system…
Let $R$ be a commutative noetherian local ring. In this paper, we study the self-duality and eventual periodicity of minimal free resolutions of finitely generated $R$-modules in terms of their syzygy modules and Ext modules. As an…
In this paper we study Ulrich ideals of and Ulrich modules over Cohen--Macaulay local rings from various points of view. We determine the structure of minimal free resolutions of Ulrich modules and their associated graded modules, and…
We construct elementary subgroups of all reductive groups of the local isotropic rank $\geq 2$ over rings and prove their basic properties. In particular, our results may be applied to the automorphism groups of any finitely generated…
Thirty years ago, Huneke (for local rings) and Lyubeznik (in general) conjectured that for all regular rings $R$, the local cohomology modules $H^i_I(R)$ have finitely many associated prime ideals. We prove substantial new cases of their…
Algebraic methods have a long history in statistics. The most prominent manifestation of modern algebra in statistics can be seen in the field of algebraic statistics, which brings tools from commutative algebra and algebraic geometry to…
This first part of the paper describes the support of top graded local cohomology modules. As a corrolary one obtains a simple criteria for the vanishing of these modules and also the fact that they have finitely many minimal primes. The…
The question of what can be computed, and how efficiently, are at the core of computer science. Not surprisingly, in distributed systems and networking research, an equally fundamental question is what can be computed in a…
We introduce and investigate using Hilbert modules the properties of the Fourier algebra A(G) for a locally compact groupoid G. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a…
We study the minimal free resolution of the Veronese modules of the polynomial ring in n variables, by giving a formula for the Betti numbers in terms of the reduced homology of some skeleton of a simplicial complex. We characterize when…
In this paper, we show examples of local cohomology modules over ramified regular local ring, having finite set of associated primes. In doing so we consider our ramified regular local ring as Eisenstein extension of an unramified regular…
The action of a torus on a graded module over a polynomial ring extends to the entire minimal free resolution of the module. We explain how to determine the action of the torus on the free modules in the resolution, when the resolution can…
In the last chapter of his book "The Algebraic Theory of Modular Systems " published in 1916, F. S. Macaulay developped specific techniques for dealing with " unmixed polynomial ideals " by introducing what he called " inverse systems ".…
In this paper we study the isomorphism classes of Artinian Gorenstein local rings with socle degree three by means of Macaulay's inverse system. We prove that their classification is equivalent to the projective classification of the…
An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…
The concepts of localizable set, localization of a ring and a module at a localizable set are introduced and studied. Localizable sets are generalization of Ore sets and denominator sets, and the localization of a ring/module at a…
Lyubeznik's conjecture, (\cite{Ly1}, Remark 3.7) asserts the finiteness of the set ssociated primes of local cohomology modules for regular rings. But, in the case of ramified regular local ring, it is open. Recently, in Theorem 1.2 of…