Related papers: The explicit minimal resolution constructed from a…
We present proofs of the basic isopermetric structure theory, obtaining some new simplified proofs. As an application, we obtain simple descriptions for subsets $S$ of an abelian group with $|kS|\le k|S|-k+1$ or $|kS-rS|- (k+r)|S|,$ where…
For a two-parameter family of lower triangular matrices with entries involving Jacobi polynomials an explicit inverse is given, with entries involving a sum of two Jacobi polynomials. The formula simplifies in the Gegenbauer case and then…
We find the defining equations of Rees rings of linearly presented height three Gorenstein ideals. To prove our main theorem we use local cohomology techniques to bound the maximum generator degree of the torsion submodule of symmetric…
We show that the rings of invariants for the three dimensional modular representations of an elementary abelian $p$-group of rank four are complete intersections with embedding dimension at most five. Our results confirm the conjectures of…
Let $P$ be a commutative Noetherian ring and $F$ be a self-dual acyclic complex of finitely generated free $P$-modules. Assume that $F$ has length four and $F_0$ has rank one. We prove that $F$ can be given the structure of a Differential…
Let $H=\langle n_1, \ldots ,n_4\rangle$ be a numerical semigroup generated by $4$ elements, which is symmetric and let $k[H]$ be the semigroup ring of $H$ over a field $k$. H. Bresinski proved that the defining ideal of $k[H]$ is minimally…
We show that the minimal resolution of the quotient of the polynomial algebra over a field by a cointerval edge ideal can be given the structure of a DG-algebra.
We present a new notion of decomposition of semialgebraic sets by introducing a mode of irreducibility based on arc-analytic functions. The result is a refinement of the decomposition of such sets with respect to the Zariski topology as…
An algorithm for resolution of singularities in characteristic zero is described. It is expressed in terms of multi-ideals, that essentially are defined as a finite sequence of pairs, each one consiting of a sheaf of ideals and a positive…
It is shown that the question raised in Section 5.7 of [1] has an affirmative answer.
With a view to study problems of smoothability, we construct a minimal free resolution for the coordinate ring of an algebroid monomial curve associated to an $AS$ numerical semigroup (i.e. generated by an arithmetic sequence), obtained…
We study the volume map on Artinian quotients of Cohen-Macaulay algebras in characteristic $p$, and the interaction between it and the action of Frobenius on resolutions. This allows us to provide a general, conceptual way to understand…
This paper brings together two theories in algebra that have had been extensively developed in recent years. First is the study of various homological dimensions and what information such invariants can give about a ring and its modules. A…
In this paper, we use the idempotent decomposition to give an explicit isomorphism from an arbitrary semisimple Artinian ring to an external direct sum of finitely many full matrix rings over division rings.
In this paper I investigate minimal surfaces of general type with p_g=5, q=0 for which the 1-canonical map is a birational morphism onto a surface in P^4 (so called canonical surfaces in P^4) via a structure theorem for the Hilbert…
The aim of this survey is to discuss invariants of Cohen-Macaulay local rings that admit a canonical module. Attached to each such ring R with a canonical ideal C, there are integers--the type of R, the reduction number of C--that provide…
We characterize Cohen-Macaulay and Gorenstein rings obtained from certain types of convex body semigroups. Algorithmic methods to check if a polygonal or circle semigroup is Cohen-Macaulay/Gorenstein are given. We also provide some families…
Every quotient R/I of a semigroup ring R by a radical monomial ideal I has a unique minimal injective-like resolution by direct sums of quotients of R modulo prime monomial ideals. The quotient R/I is Cohen-Macaulay if and only if every…
Let $(R,\mathfrak{m},\Bbbk)$ be a regular local ring of dimension 3. Let $I$ be a Gorenstein ideal of $R$ of grade 3. It follows from a result of Buchsbaum and Eisenbud that there is a skew-symmetric matrix of odd size such that $I$ is…
A canonical minimal free resolution of an arbitrary co-artinian lattice ideal over the polynomial ring is constructed over any field whose characteristic is 0 or any but finitely many positive primes. The differential has a closed-form…