The purpose of this paper is twofold. In the first part we concentrate on hyperplane sections of algebraic schemes, and present results for determining when Grobner bases pass to the quotient and when they can be lifted. The main difficulty to overcome is the fact that we deal with non-homogeneous ideals. As a by-product we hint at a promising technique for computing implicitization efficiently. In the second part of the paper we deal with families of algebraic schemes and the Hough transforms, in particular we compute their dimension, and show that in some interesting cases it is zero. Then we concentrate on their hyperplane sections. Some results and examples hint at the possibility of reconstructing external and internal surfaces of human organs from the parallel cross-sections obtained by tomography.
We study a notion called $n$-standardness (defined by M. E. Rossi and extended in this paper) of ideals primary to the maximal ideal in a Cohen-Macaulay local ring and some of its consequences. We further study conditions under which the maximal ideal is three-standard, first proving results when the residue field has prime characteristic and then using the method of reduction to prime characteristic to extend the results to the equicharacteristic zero case. As an application, we extend a result due to T. Puthenpurakal and show that a certain length associated to a minimal reduction of the maximal ideal does not depend on the minimal reduction chosen.
In this paper we investigate the concept of radical factorization with respect to finitary ideal systems of cancellative monoids. We present new characterizations for r-almost Dedekind r-SP-monoids and provide specific descriptions of t-almost Dedekind t-SP-monoids and w-SP-monoids. We show that a monoid is a w-SP-monoid if and only if the radical of every nontrivial principal ideal is t-invertible. We characterize when the monoid ring is a w-SP-domain and describe when the *-Nagata ring is an SP-domain for a star operation * of finite type.
We begin the study of the notion of diameter of an ideal I of a polynomial ring S over a field, an invariant measuring the distance between the minimal primes of I. We provide large classes of Hirsch ideals, i.e. ideals with diameter not larger than the codimension, such as: quadratic radical ideals of codimension at most 4 and such that S/I is Gorenstein, or ideals admitting a square-free complete intersection initial ideal.
For a partition $lambda$ of $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 show that if $R/I^{rm Sp}_lambda$ is Cohen--Macaulay then $lambda$ is of the form either $(a, 1, ldots, 1)$, $(a,b)$, or $(a,a,1)$. We also prove that the converse is true if ${rm char}(K)=0$. To show the latter statement, the radicalness of these ideals and a result of Etingof et al. are crucial. We also remark that $R/I^{rm Sp}_{(n-3,3)}$ is NOT Cohen--Macaulay if and only if ${rm char}(K)=2$.