Source author record

Sabine El Khoury

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC

Catalog footprint

Research overview

8works

1topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Quadratically presented Gorenstein ideals

Let $J$ be a quadratically presented grade three Gorenstein ideal in the standard graded polynomial ring $R= k[x,y,z]$ , where $k$ is a field. Assume that $R/J$ satisfies the weak Lefschetz property. We give the presentation matrix for $J$ in terms of the coefficients of a Macaulay inverse system for $J$ . (This presentation matrix is an alternating matrix and $J$ is generated by the maximal order Pfaffians of the presentation matrix.) Our formulas are computer friendly; they involve only matrix multiplication; they do not involve multilinear algebra or complicated summations. As an application, we give the presentation matrix for $J_1=(x^{n+1},y^{n+1},z^{n+1}):(x+y+z)^{n+1}$ , when $n$ is even and the characteristic of $k$ is zero. Generators for $J_1$ had been identified previously; but the presentation matrix for $J_1$ had not previously been known. The first step in our proof is to give improved formulas for the presentation matrix of a linearly presented grade three Gorenstein ideal $I$ in terms of the coefficients of the Macaulay inverse system for $I$ .

preprint2020arXiv

An Upper Bound for the First Hilbert Coefficient of Gorenstein Algebras and Modules

Let $R$ be a polynomial ring over a field and $M= \bigoplus_n M_n$ a finitely generated graded $R$ -module, minimally generated by homogeneous elements of degree zero with a graded $R$ -minimal free resolution $\mathbf{F}$ . A Cohen-Macaulay module $M$ is Gorenstein when the graded resolution is symmetric. We give an upper bound for the first Hilbert coefficient, $e_1$ in terms of the shifts in the graded resolution of $M$ . When $M = R/I$ , a Gorenstein algebra, this bound agrees with the bound obtained in \cite{ES} in Gorenstein algebras with quasi-pure resolution. We conjecture a similar bound for the higher coefficients.

preprint2016arXiv

A note on the subadditivity of Syzygies

Let $R=S/I$ be a graded algebra with $t_i$ and $T_i$ being the minimal and maximal shifts in the minimal $S$ resolution of $R$ at degree $i$ . In this paper we prove that $t_n\leq t_1+T_{n-1}$ , for all $n$ and as a consequence, we show that for Gorenstein algebras of codimension $h$ , the subadditivity of maximal shifts $T_i$ in the minimal resolution holds for $i \geq h-1$ , i.e, we show that $T_i \leq T_a+T_{i-a}$ for $i\geq h-1$ .

preprint2014arXiv

The explicit minimal resolution constructed from a Macaulay inverse system

This is the second paper in a series of three papers. In the first paper of the series, "Artinian Gorenstein algebras with linear resolutions", (arXiv:1306.2523, J. of Algebra, to appear) we prove that it is possible to give the minimal resolution of the rings from the title in terms of the coefficients of the corresponding Macaulay inverse system. In this context, the word "give" means, "give in a polynomial manner". The first paper in the series proves, essentially, an existence theorem. The second and third papers in the series construct the explicit formulas for the resolution. The present paper is concerned with Artinian Gorenstein algebras of embedding codimension three. In the third paper, "The structure of Gorenstein-linear resolutions of Artinian algebras", the embedding codimension is arbitrary.

preprint2014arXiv

The structure of Gorenstein-linear resolutions of Artinian algebras

This is the third paper in a series of three papers. The first two papers in the series are called "Artinian Gorenstein algebras with linear resolutions", (arXiv:1306.2523) and "The explicit minimal resolution constructed from a Macaulay inverse system". In the present paper, we give the explicit minimal resolution of an Artinian Gorenstein algebra with a linear resolution. This minimal resolution is given in a polynomial manner in terms of the coefficients of the Macaulay inverse system for the Gorenstein algebra. Let k be a field, A a standard-graded Artinian Gorenstein k-algebra, S the standard-graded polynomial ring Sym(A_1), I the kernel of the natural surjection from S to A, d the vector space dimension of A_1, and n the least index with I_n not equal to 0. Assume that 3<= d and 2<= n. In this paper, we give the structure of the minimal homogeneous resolution B of A by free S-modules, provided B is Gorenstein-linear. Our description of B depends on a fixed decomposition of A_1 of the form k x_1\oplus V_0, for some non-zero element x_1 and some d-1 dimensional subspace V_0 of A_1. Much information about B is already contained in the complex Bbar=B/x_1B, which we call the skeleton of B. One striking feature of B is the fact that the skeleton of B is completely determined by the data (d,n); no other information about A is used in the construction of Bbar. The skeleton Bbar is the mapping cone of zero: K->L, where L is a well known resolution of Buchsbaum and Eisenbud; K is the dual of L; and L and K are comprised of Schur and Weyl modules associated to hooks, respectively. The decomposition of Bbar into Schur and Weyl modules lifts to a decomposition of B; furthermore, B inherits the natural self-duality of Bbar. As an application we observe that every non-zero element of A_1 is a weak Lefschetz element for A.

preprint2013arXiv

Artinian Gorenstein algebras with linear resolutions

Fix a pair of positive integers d and n. We create a ring R and a complex G of R-modules with the following universal property. Let P be a polynomial ring in d variables over a field and let I be a grade d Gorenstein ideal in P which is generated by homogeneous forms of degree n. If the resolution of P/I by free P-modules is linear, then there exists a ring homomorphism from R to P such that P tensor G is a minimal homogeneous resolution of P/I by free P-modules. Our construction is coordinate free.

preprint2012arXiv

Bounds for the Multiplicity of Gorenstein algebras

We prove upper bounds for the Hilbert-Samuel multiplicity of standard graded Gorenstein algebras. The main tool that we use is Boij-Söderberg theory to obtain a decomposition of the Betti table of a Gorenstein algebra as the sum of rational multiples of symmetrized pure tables. Our bound agrees with the one in the quasi-pure case obtained by Srinivasan [J. Algebra, vol.~208, no.~2, (1998)].

preprint2012arXiv

Gorenstein Hilbert Coefficients

We prove upper and lower bounds for all the coefficients in the Hilbert Polynomial of a graded Gorenstein algebra $S=R/I$ with a quasi-pure resolution over $R$ . The bounds are in terms of the minimal and the maximal shifts in the resolution of $R$ . These bounds are analogous to the bounds for the multiplicity found in \cite{S} and are stronger than the bounds for the Cohen Macaulay algebras found in \cite{HZ}.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.