Related papers: Arithmetic Macaulayfication of projective schemes

Let $X$ be a unit interval or a unit circle and let $B$ be a $\sigma_p$-unital, purely infinite, simple $C\sp*$-algebra such that its multiplier algebra $M(B)$ has real rank zero. Then we determine necessary and sufficient conditions for a…

This is an expository version of our paper [arXiv:1902.07384]. Our aim is to present recent Macaulay2 algorithms for computation of mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over…

Interval systems of linear algebraic equations (ISLAE) are considered in the context of constructing of linear models according to data with interval uncertainty. Sufficient conditions for boundedness and convexity of an admissible domain…

Let S be a standard N^r-graded algebra over a local ring A, and let M be a finitely generated Z^r-graded S-module. We characterize the Cohen-Macaulayness of M in terms of the vanishing of certain sheaf cohomology modules. As a consequence,…

The commuting variety of a reductive Lie algebra $\mathfrak{g}$ is the underlying variety of a well defined subscheme of $\mathfrak{g}\times\mathfrak{g}$. In this note, it is proved that this scheme is normal and Cohen-Macaulay. In…

We investigate the Rees algebra and the toric ring of the squarefree monomial ideal associated to the three-dimensional Ferrers diagram. Under the projection property condition, we describe explicitly the presentation ideals of the Rees…

Let $V$ be a smooth scheme over a field $k$, and let $\{I_n, n\geq 0\}$ be a filtration of sheaves of ideals in $\calo_V$, such that $I_0=\calo_V$, and $I_s\cdot I_t\subset I_{s+t}$. In such case $\bigoplus I_n$ is called a Rees algebra. A…

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gr\"obner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded…

A celebrated conjecture of Auslander and Reiten claims that a finitely generated module $M$ that has no extensions with $M\oplus \Lambda$ over an Artin algebra $\Lambda$ must be projective. This conjecture is widely open in general, even…

Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gr\"obner basis for the associated toric ideal.…

Given a commutative algebra $\mathcal O$, a proper ideal $\mathcal I$, and a resolution of $\mathcal O/ \mathcal I$ by projective $\mathcal O $-modules, we construct an explicit Koszul-Tate resolution. We call it the arborescent Koszul-Tate…

We study the ring extensions R \subseteq T having the same set of prime ideals provided Nil(R) is a divided prime ideal. Some conditions are given under which no such T exist properly containing R. Using idealization theory, the examples…

Let $(A,\mathfrak{m})$ be an excellent local complete intersection ring and let $I = (a_1, \ldots, a_r)$ be an ideal of positive height. Let $\mathcal{R}(I) = A[It]$ be the Rees algebra of $I$. Consider the map $\psi \colon S = A[X_1,…

An integer program is called ideal if its continuous relaxation coincides with its convex hull allowing the problem to be solved as a continuous program and offering substantial computational advantages. Proving idealness analytically can…

We introduce the class of rational plane curves parameterizable by conics as an extension of the family of curves parameterizable by lines (also known as monoid curves). We show that they are the image of monoid curves via suitable…

This paper discusses model order reduction of large sparse second-order index-3 differential algebraic equations (DAEs) by applying Iterative Rational Krylov Algorithm (IRKA). In general, such DAEs arise in constraint mechanics, multibody…

We show that a given set of first class constraints becomes abelian if one maps each constraint to the surface of other constraints. There is no assumption that first class constraints satisfy a closed algebra. The explicit form of the…

We consider the problem of finding the isolated common roots of a set of polynomial functions defining a zero-dimensional ideal I in a ring R of polynomials over C. We propose a general algebraic framework to find the solutions and to…

Let $(R,m)$ be a Noetherian local ring and $I$ an ideal with finite projective dimension. If $R/I$ satisfies some property $\mathcal{P}$, it is natural to ask whether $R$ would also satisfy this property $\mathcal{P}$. This is called the…

A biased graph is a graph with a class of selected circles ("cycles", "circuits"), called "balanced", such that no theta subgraph contains exactly two balanced circles. A biased graph has two natural matroids, the frame matroid and the lift…