Related papers: The explicit minimal resolution constructed from a…
Generalizing the concept of the Macaulay inverse system, we introduce a way to describe localizations of an ideal in a polynomial ring. This leads to an approach to the differential primary decomposition as a description of the affine…
This is the continuation of Montes' paper "On the canonical discussion of polynomial systems with parameters". In this paper we define the Minimal Canonical Comprehensive Groebner System (MCCGS) of a parametric ideal and fix under which…
In this paper we consider the problem of finding explicitly canonical ideals of one-dimensional Cohen-Macaulay local rings. We show that Gorenstein ideals contained in a high power of the maximal ideal are canonical ideals. In the…
The aim of this paper is to study integer rounding properties of various systems of linear inequalities to gain insight about the algebraic properties of Rees algebras of monomial ideals and monomial subrings. We study the normality and…
For a partition $\lambda$ of $n \in \mathbb{N}$, let $I^{\rm Sp}_\lambda$ be the ideal of $R=K[x_1,\ldots,x_n]$ generated by all Specht polynomials of shape $\lambda$. We assume that ${\rm char}(K)=0$. Then $R/I^{\rm Sp}_{(n-2,2)}$ is…
We study the equivariant cohomology classes of torus-equivariant subvarieties of the space of matrices. For a large class of torus actions, we prove that the polynomials representing these classes (up to suitably changing signs) are…
We exhibit the elementary but somewhat surprising property that most direct links of prime ideals in Gorenstein rings are equimultiple ideals. It leads to the construction of a bountiful set of Cohen--Macaulay Rees algebras.
Let $R$ be a complete local Gorenstein ring of dimension one, with maximal ideal m. We show that if $M$ is a Cohen-Macaulay $R$-module which begins an AR-sequence, then this sequence is produced by a particular endomorphism of m…
For an ideal $I_{m,n}$ generated by all square-free monomials of degree $m$ in a polynomial ring $R$ with $n$ variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this…
Let $(A,\mathfrak{m})$ be a Gorenstein local ring and let $M$ be a finitely generated Cohen Macaulay $A$ module. Let $G(A)=\bigoplus_{n\geq 0}\mathfrak{m}^n/\mathfrak{m}^{n+1}$ be the associated graded ring of $A$ and $G(M)=\bigoplus_{n\geq…
The representation dimension of an artin algebra as introduced by M.Auslander in his Queen Mary Notes is the minimal possible global dimension of the endomorphism ring of a generator-cogenerator. The paper is based on two texts written in…
Gorenstein homological algebra is a kind of relative homological algebra which has been developed to a high level since more than four decades. In this report we review the basic theory of Gorenstein homological algebra of artin algebras.…
Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s)^{\ell} \oplus k(-2s+1)$, where $s \geq3$ and…
We describe the ring of invariants for the finite orthogonal groups in odd dimension and even characteristic acting on the defining representation. We construct a minimal algebra generating set and describe the relations among the…
In 1978, Stanley constructed an example of an Artinian Gorenstein (AG) ring $A$ with non-unimodal $H$-vector $(1,13,12,13,1)$. Migliore-Zanello later showed that for regularity $r=4$, Stanley's example has the smallest possible codimension…
For a commutative local ring $R$, consider (noncommutative) $R$-algebras $\Lambda$ of the form $\Lambda = End_R(M)$ where $M$ is a reflexive $R$-module with nonzero free direct summand. Such algebras $\Lambda$ of finite global dimension can…
The so-called 'change-of-ring' results are well-known expressions which present several connections between projective, injective and flat dimensions over the various base rings. In this note we extend these results to the Gorenstein…
We introduce a subexponential algorithm for geometric solving of multivariate polynomial equation systems whose bit complexity depends mainly on intrinsic geometric invariants of the solution set. From this algorithm, we derive a new…
Let $(A,{\mathfrak m})$ be a Cohen-Macaulay local ring and let $I$ be an ideal of $A$. We prove that the Rees algebra ${\mathcal R}(I)$ is an almost Gorenstein ring in the following cases: (1) $(A,{\mathfrak m})$ is a two-dimensional…
The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of…