Related papers: Noetherian Operators in Macaulay2

Recent results of Kahle and Miller give a method of constructing primary decompositions of binomial ideals by first constructing "mesoprimary decompositions" determined by their underlying monoid congruences. These mesoprimary…

We use residue currents on toric varieties to obtain bounds on the support of solutions to polynomial ideal membership problems. Our bounds depend on the Newton polytopes of the polynomial systems and are therefore well adjusted to sparse…

In a formally unmixed Noetherian local ring, if the colength and multiplicity of an integrally closed ideal agree, then $R$ is regular. We deduce this using the relationship between multiplicity and various ideal closure operations.

Let $A$ be a commutative Noetherian local ring with maximal ideal $\mathfrak{m}$, and let $I$ be an ideal. The fiber cone is then an image of the polynomial ring over the residue field $A/\mathfrak{m}$. The kernel of this map is called the…

An ideal $I$ in a Noetherian ring is called \textit{normal} if $I^n$ is integrally closed for all $n \geq 1$. Zariski proved that in two-dimensional regular local rings, every integrally closed ideal is normal. However, in dimension three…

We introduce and study rational symbolic powers of ideals in Noetherian rings. We give membership criteria for rational symbolic powers and discuss settings where they agree with integer symbolic powers. We investigate the binomial…

We describe and classify countable Boolean rings (which may or may not have a multiplicative identity) with finitely many distinguished ideals whose elementary theory is countably categorical. This extends the description by Macintyre and…

A Lagrangian formalism for variational second-order delay ordinary differential equations (DODEs) is developed. The Noether operator identity for a DODE is established, which relates the invariance of a Lagrangian function with the…

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…

Several definitions of differential operators on modules over noncommutative rings are discussed.

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…

A general classification of linear differential and finite-difference operators possessing a finite-dimensional invariant subspace with a polynomial basis (the generalized Bochner problem) is given. The main result is that any operator with…

Let $R$ be a Noetherian ring. We prove that $R$ has global dimension at most two if, and only if, every prime ideal of $R$ is of linear type. Similarly, we show that $R$ has global dimension at most three if, and only if, every prime ideal…

Let A be a Noetherian ring and B be a finitely generated A-algebra. Denote by A' the integral closure of A in B. We give necessary and sufficient conditions for prime ideals to be in Ass_{A}(B/A') and Ass_{A'}(B/A') generalizing and…

For functions of a single complex variable, points of multiplicity greater than $k$ are characterized by the vanishing of the first $k$ derivatives. There are various quantitative generalizations of this statement, showing that for…

Consider a Noetherian domain $R$ and a finite group $G \subseteq Gl_n(R)$. We prove that if the ring of invariants $R[x_1, \ldots, x_n]^G$ is a Cohen-Macaulay ring, then it is generated as an $R$-algebra by elements of degree at most…

The notion of invariant operators, or Fourier multipliers, is discussed for densely defined operators on Hilbert spaces, with respect to a fixed partition of the space into a direct sum of finite dimensional subspaces. As a consequence,…

Let $F$ be a field. We show that certain subrings contained between the polynomial ring $F[X] = F[X_1, ..., X_n]$ and the power series ring $F[X][[Y]] = F[X_1, ..., X_n][[Y]]$ have Weierstrass Factorization, which allows us to deduce both…

Let R be a commutative Noetherian (not necessarily local) ring with identity and a be a proper ideal of R. We introduce a notion of a-relative system of parameters and characterize them by using the notion of cohomological dimension. Also,…

We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is…