This paper considers numerical semigroups $S$ that have a non-principal relative ideal $I$ such that $mu_S(I)mu_S(S-I)=mu_S(I+(S-I)) $. We show the existence of an infinite family of such which $I+(S-I)=Sbackslash{0}$. We also show examples of such pairs that are not members of this family. We discuss the computational process used to find these examples and present some open questions pertaining to them.
Principal matrices of a numerical semigroup of embedding dimension n are special types of $n times n$ matrices over integers of rank $leq n - 1$. We show that such matrices and even the pseudo principal matrices of size n must have rank $geq frac{n}{2}$ regardless of the embedding dimension. We give structure theorems for pseudo principal matrices for which at least one $n - 1 times n - 1$ principal minor vanish and thereby characterize the semigroups in embedding dimensions $4$ and $5$ in terms of their principal matrices. When the pseudo principal matrix is of rank $n - 1$, we give a sufficient condition for it to be principal.
What kind of reduced monomial schemes can be obtained as a Grobner degeneration of a smooth projective variety? Our conjectured answer is: only Stanley-Reisner schemes associated to acyclic Cohen-Macaulay simplicial complexes. This would imply, in particular, that only curves of genus zero have such a degeneration. We prove this conjecture for degrevlex orders, for elliptic curves over real number fields, for boundaries of cross-polytopes, and for leafless graphs. We discuss consequences for rational and F-rational singularities of algebras with straightening laws.
The Qth-power algorithm for computing structured global presentations of integral closures of affine domains over finite fields is modified to compute structured presentations of integral closures of ideals in affine domains over finite fields relative to a local monomial ordering. A non-homogeneous version of the standard (homogeneous) Rees algebra is introduced as well.
In two dimensional regular local rings integrally closed ideals have a unique factorization property and have a Cohen-Macaulay associated graded ring. In higher dimension these properties do not hold for general integrally closed ideals and the goal of the paper is to identify a subclass of integrally closed ideals for which they do. We restrict our attention to 0-dimensional homogeneous ideals in polynomial rings $R$ of arbitrary dimension and identify a class of integrally closed ideals, the Goto-class $G^*$, that is closed under product and that has a suitable unique factorization property. Ideals in $G^*$ have a Cohen-Macaulay associated graded ring if either they are monomial or $dim Rleq 3$. Our approach is based on the study of the relationship between the notions of integrally closed, contracted, full and componentwise linear ideals.
An ideal in a polynomial ring encodes a system of linear partial differential equations with constant coefficients. Primary decomposition organizes the solutions to the PDE. This paper develops a novel structure theory for primary ideals in a polynomial ring. We characterize primary ideals in terms of PDE, punctual Hilbert schemes, relative Weyl algebras, and the join construction. Solving the PDE described by a primary ideal amounts to computing Noetherian operators in the sense of Ehrenpreis and Palamodov. We develop new algorithms for this task, and we present efficient implementations.