BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Claudia Polini appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a $2\times n$ sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F-rational in positive characteristic.
For a projective variety V in P^n over a field of characteristic zero, with homogeneous ideal I in A = k[x0,x1,...,xn], we consider the local cohomology modules H^i_I(A). These have a structure of holonomic D-module over A, and we investigate their filtration by simple D-modules. In case V is nonsingular, we can describe completely these simple components in terms of the Betti numbers of V.
Consider a rational projective plane curve C parameterized by three homogeneous forms h1,h2,h3 of the same degree d in the polynomial ring R=k[x,y] over the field k. Extracting a common factor, we may harmlessly assume that the ideal I=(h1,h2,h3)R has height two. Let phi be a homogeneous minimal Hilbert-Burch matrix for the row vector [h1,h2,h3]. So, phi is a 3 by 2 matrix of homogeneous forms from R; the entries in column m have degree dm, with d1 \le d2 and d1+d2=d. The Rees algebra $cal R$ of I is the subring k[h1t,h2t,h3t] of the polynomial ring k[t]. The bi-projective spectrum of $cal R$ is the graph of the parameterization of C; and therefore, there is a dictionary which translates between the singularities of C and the algebra structure of $cal R$. The ring $cal R$ is the quotient of the symmetric algebra Sym(I) by the ideal, A, of local cohomology with support in the homogeneous maximal ideal of R. The ideal A_{\ge d2-1}, which is an approximation of A, can be calculated using linkage. We exploit the bi-graded structure of Sym(I) in order to describe the structure of an improved approximation A_{\ge d1-1} when $d1<d2$ and phi has a generalized zero in its first column. (The later condition is equivalent to assuming that C has a singularity of multiplicity d2.) In particular, we give the bi-degrees of a minimal bi-homogeneous generating set for this ideal. When 2=d1<d2 and phi has a generalized zero in its first column, then we record explicit generators for A. When d1=d2, we provide a translation between the bi-degrees of a bi-homogeneous minimal generating set for A_{d1-2} and the number of singularities of multiplicity d1 which are on or infinitely near C. We conclude with a table which translates between the bi-degrees of a bi-homogeneous minimal generating set for A and the configuration of singularities of C in the case that the curve C has degree six.
Let R be a standard graded polynomial ring in f variables over a field and Psi be an f by g matrix of linear forms from R, where g is positive and less than f. Assume that the row vector of variables annihilates Psi and that the ideal I generated by the g by g minors of Psi has grade exactly one short of the maximum possible grade. We resolve R/I, prove that I has a g-linear resolution, record explicit formulas for the h-vector and multiplicity of R/I, and prove that if f-g is even, then the ideal I is unmixed. Furthermore, if f-g is odd, then we identify an explicit generating set for the unmixed part, I^{unm}, of I, resolve R/I^{unm}, and record explicit formulas for the h-vector of R/I^{unm}. These results have applications to the study of the blow-up algebras associated to linearly presented grade three Gorenstein ideals.
Our object of study is a rational map Psi from projective s-1 space to projective n-1 space defined by homogeneous forms g1,...,gn, of the same degree d, in the homogeneous coordinate ring R=k[x1,...,xs] of projective s-1 space. Our goal is to relate properties of Psi, of the homogeneous coordinate ring A=k[g1,...,gn] of the variety parametrized by Psi, and of the Rees algebra R[It], the bihomogeneous coordinate ring of the graph of Psi. For a regular map Psi, for instance, we prove that R[It] satisfies Serre's condition R_i, for some positive i, if and only if A satisfies R_{i-1} and Psi is birational onto its image. Thus, in particular, Psi is birational onto its image if and only if R[It] satisfies R_1. Either condition has implications for the shape of the core, namely, the core of I is the multiplier ideal of I to the power s and the core of I equals the maximal homogeneous ideal of R to the power sd-s+1. Conversely, for s equal to two, either equality for the core implies birationality. In addition, by means of the generalized rows of the syzygy matrix of g1,...,gn, we give an explicit method to reduce the non-birational case to the birational one when s is equal to 2.
We give an explicit formula for the Hilbert Series of an algebra defined by a linearly presented, standard graded, residual intersection of a grade three Gorenstein ideal.
In this paper we consider extremal and almost extremal bounds on the normal Hilbert coefficients of ${\mathfrak m}$-primary ideals of an analytically unramified Cohen-Macaulay ring $R$ of dimension $d>0$ and infinite residue field. In these circumstances we show that the associated graded ring of the normal filtration of the ideal is either Cohen-Macaulay or almost Cohen-Macaulay.
Let $R$ be a formal power series ring over a field, with maximal ideal $\mathfrak m$, and let $I$ be an ideal of $R$ such that $R/I$ is Artinian. We study the iterated socles of $I$, that is the ideals which are defined as the largest ideal $J$ with $J\mathfrak m^s\subset I$ for a fixed positive integer $s$. We are interested in these ideals in connection with the notion of integral dependence of ideals. In this article we show that the iterated socles are integral over $I$, with reduction number one, provided $s \leq \text{o}(I_1(φ_d))-1$, where $\text{o}(I_1(φ_d))$ is the order of the ideal of entries of the last map in a minimal free $R$-resolution of $R/I$. In characteristic zero, we also provide formulas for the generators of iterated socles whenever $s\leq \text{o}(I_1(φ_d))$. This result generalizes previous work of Herzog, who gave formulas for the socle generators of any ${\mathfrak m}$-primary homogeneous ideal $I$ in terms of Jacobian determinants of the entries of the matrices in a minimal homogeneous free $R$-resolution of $R/I$. Applications are given to iterated socles of determinantal ideals with generic height. In particular, we give surprisingly simple formulas for iterated socles of height two ideals in a power series ring in two variables. These generators are suitable determinants obtained from the Hilbert-Burch matrix.
We compute divisors class groups of singular surfaces. Most notably we produce an exact sequence that relates the Cartier divisors and almost Cartier divisors of a surface to the those of its normalization. This generalizes Hartshorne's theorem for the cubic ruled surface in P^3. We apply these results to limit the possible curves that can be set-theoretic complete intersection in P^3 in characteristic zero.
In this paper we describe the defining equations of the Rees algebra and the special fiber ring of a truncation I of a complete intersection ideal in a polynomial ring over a field with homogeneous maximal ideal m. To describe explicitly the Rees algebra R(I) in terms of generators and relations we map another Rees ring R(M) onto it, where M is the direct sum of powers of m. We compute a Groebner basis of the ideal defining R(M). It turns out that the normal domain R(M) is a Koszul algebra and from this we deduce that in many instances R(I) is a Koszul algebra as well.
Consider a rational projective curve C of degree d over an algebraically closed field k. There are n homogeneous forms g_1,...,g_n of degree d in B=k[x,y] which parameterize C in a birational, base point free, manner. We study the singularities of C by studying a Hilbert-Burch matrix phi for the row vector [g_1,...,g_n]. In the "General Lemma" we use the generalized row ideals of phi to identify the singular points on C, their multiplicities, the number of branches at each singular point, and the multiplicity of each branch. Let p be a singular point on the parameterized planar curve C which corresponds to a generalized zero of phi. In the "Triple Lemma" we give a matrix phi' whose maximal minors parameterize the closure, in projective 2-space, of the blow-up at p of C in a neighborhood of p. We apply the General Lemma to phi' in order to learn about the singularities of C in the first neighborhood of p. If C has even degree d=2c and the multiplicity of C at p is equal to c, then we apply the Triple Lemma again to learn about the singularities of C in the second neighborhood of p. Consider rational plane curves C of even degree d=2c. We classify curves according to the configuration of multiplicity c singularities on or infinitely near C. There are 7 possible configurations of such singularities. We classify the Hilbert-Burch matrix which corresponds to each configuration. The study of multiplicity c singularities on, or infinitely near, a fixed rational plane curve C of degree 2c is equivalent to the study of the scheme of generalized zeros of the fixed balanced Hilbert-Burch matrix phi for a parameterization of C.
Let $M$ be a finite module and let $I$ be an arbitrary ideal over a Noetherian local ring. We define the generalized Hilbert function of $I$ on $M$ using the 0th local cohomology functor. We show that our definition re-conciliates with that of Ciuperc$\breve{\rm a}$. By generalizing Singh's formula (which holds in the case of $λ(M/IM)<\infty$), we prove that the generalized Hilbert coefficients $j_0,..., j_{d-2}$ are preserved under a general hyperplane section, where $d={\rm dim}\,M$. We also keep track of the behavior of $j_{d-1}$. Then we apply these results to study the generalized Hilbert function for ideals that have minimal $j$-multiplicity or almost minimal $j$-multiplicity. We provide counterexamples to show that the generalized Hilbert series of ideals having minimal or almost minimal $j$-multiplicity does not have the `expected' shape described in the case where $λ(M/IM)<\infty$. Finally we give a sufficient condition such that the generalized Hilbert series has the desired shape.
Let $R$ be a Noetherian local ring. We define the minimal $j$-multiplicity and almost minimal $j$-multiplicity of an arbitrary $R$-ideal on any finite $R$-module. For any ideal $I$ with minimal $j$-multiplicity or almost minimal $j$-multiplicity on a Cohen-Macaulay module $M$, we prove that under some residual assumptions, the associated graded module ${\rm gr}_I(M)$ is Cohen-Macaulay or almost Cohen-Macaulay, respectively. Our work generalizes the results for minimal multiplicity and almost minimal multiplicity obtained by Sally, Rossi, Valla, Wang, Huckaba, Elias, Corso, Polini, and VazPinto.
In this note we compare the a-invariant of a homogeneous algebra B to the a-invariant of a subalgebra A. In particular we show that if $A \subset B$ is a finite homogeneous inclusion of standard graded domains over an algebraically closed field with A normal and B of minimal multiplicity then A has minimal multiplicity. In some sense these results are algebraic generalizations of Hurwitz type theorems.
Several numerical indices that control the normalization of ideals are introduced and some relationships among them are derived.