Source author record

Rosa M. Miró-Roig

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

ResearcherUnclaimed source record

math.AC math.AG math.CO

Catalog footprint

Research overview

13works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Configurations of eigenpoints

This note is motivated by the Question 16 of http://cubics.wikidot.com: Which configurations of 15 points in the projective 3-space arise as eigenpoints of a cubic surface? We prove that a general eigenscheme in the projective n-space is the complete intersection of two suitable smooth determinantal curves on a smooth determinantal surface. Moreover, we prove that the converse result holds if n=3, providing an answer in any degree to the cited question. Finally, we show that any general set of points in the projective 3-space can be enlarged to an eigenscheme of a partially symmetric tensor.

preprint2022arXiv

Sumsets and Veronese varieties

In this paper, to any subset $\mathcal{A} \subset \mathbb{Z}^{n}$ we explicitly associate a unique monomial projection $Y_{n,d_{\mathcal{A}}}$ of a Veronese variety, whose Hilbert function coincides with the cardinality of the $t$ -fold sumsets $t\mathcal{A}$ . This link allows us to tackle the classical problem of determining the polynomial $p_{\mathcal{A}} \in \mathbb{Q}[t]$ such that $|t\mathcal{A}| = p_{\mathcal{A}}(t)$ for all $t \geq t_0$ and the minimum integer $n_0(\mathcal{A}) \leq t_0$ for which this condition is satisfied, i.e. the so-called {\em phase transition} of $|t\mathcal{A}|$ . We use the Castelnuovo--Mumford regularity and the geometry of $Y_{n,d_{\mathcal{A}}}$ to describe the polynomial $p_{\mathcal{A}}(t)$ and to derive new bounds for $n_0(\mathcal{A})$ under some technical assumptions on the convex hull of $\mathcal{A}$ ; and vice versa we apply the theory of sumsets to obtain geometric information of the varieties $Y_{n,d_{\mathcal{A}}}$ .

preprint2021arXiv

Togliatti systems associated to the dihedral group and the weak Lefschetz property

In this note, we study Togliatti systems generated by invariants of the dihedral group $D_{2d}$ acting on $k[x_{0},x_{1},x_{2}]$ . This leads to the first family of non monomial Togliatti systems, which we call $GT-$ systems with group $D_{2d}$ . We study their associated varieties $S_{D_{2d}}$ , called $GT-$ surfaces with group $D_{2d}$ . We prove that they are arithmetically Cohen-Macaulay surfaces whose homogeneous ideal, $I(S_{D_{2d}})$ , is minimally generated by quadrics and we find a minimal free resolution of $I(S_{D_{2d}})$ .

preprint2020arXiv

On the weak Lefschetz property for almost complete intersections generated by uniform powers of general linear forms

In 2012, Migliore, the first author, and Nagel conjectured that, for all $n\geq 4$ , the artinian ideal $I=(L_0^d,\ldots,L_{2n+1}^d) \subset R=k[x_0,\ldots,x_{2n}]$ generated by the $d$ -th powers of $2n+2$ general linear forms fails to have the weak Lefschetz property if and only if $d>1$ . This paper is entirely devoted to prove partially this conjecture. More precisely, we prove that $R/I$ fails to have the weak Lefschetz property, provided $4\leq n\leq 8,\ d\geq 4$ or $d=2r,\ 1\leq r\leq 8,\ 4\leq n\leq 2r(r+2)-1$ .

preprint2020arXiv

The weak Lefschetz property of Gorenstein algebras of codimension three associated to the Apéry sets

It has been conjectured that {\it all} graded Artinian Gorenstein algebras of codimension three have the weak Lefschetz property over a field of characteristic zero. In this paper, we study the weak Lefschetz property of associated graded algebras $A$ of the Apéry set of $M$ -pure symmetric numerical semigroups generated by four natural numbers. In 2010, Bryant proved that these algebras are graded Artinian Gorenstein algebras of codimension three. In a recent article, Guerrieri showed that if $A$ is not a complete intersection, then $A$ is of form $A=R/I$ with $R=K[x,y,z]$ and \begin{align*} I=(x^a, y^b-x^{b-γ} z^γ, z^c, x^{a-b+γ}y^{b-β}, y^{b-β}z^{c-γ}), \end{align*} where $1\leq β\leq b-1,\; \max\{1, b-a+1 \}\leq γ\leq \min \{b-1,c-1\}$ and $a\geq c\geq 2$ . We prove that $A$ has the weak Lefschetz property in the following cases: (a) $\max\{1,b-a+c-1\}\leq β\leq b-1$ and $γ\geq \lfloor\frac{β-a+b+c-2}{2}\rfloor$ ; (b) $a\leq 2b-c$ and $| a-b| +c-1\leq β\leq b-1$ ; (c) one of $a,b,c$ is at most five.

preprint2016arXiv

Harbourne, Schenck and Seceleanu's Conjecture

In [HSS], Conjecture 5.5.2, Harbourne, Schenck and Seceleanu conjectured that, for $r=6$ and all $r\ge 8$ , the artinian ideal $I=(\ell _1^2,\dots ,l_{r+1}^2)\subset K[x_1, \dots ,x_r]$ generated by the square of $r+1$ general linear forms $\ell _{i}$ fails the Weak Lefschetz property. This paper is entirely devoted to prove this Conjecture. It is worthwhile to point out that half of the Conjecture - namely, the case when the number of variables $r$ is even - was already proved in [mmn], Theorem 6.1.

preprint2016arXiv

On the normal sheaf of determinantal varieties

Let X be a standard determinantal scheme X \subset \PP^n of codimension c, i.e. a scheme defined by the maximal minors of a t \times (t+c-1) homogeneous polynomial matrix A. In this paper, we study the main features of its normal sheaf \shN_X. We prove that under some mild restrictions: (1) there exists a line bundle \shL on X \setminus Sing(X) such that \shN_X \otimes \shL is arithmetically Cohen-Macaulay and, even more, it is Ulrich whenever the entries of A are linear forms, (2) \shN_X is simple (hence, indecomposable) and, finally, (3) \shN_X is μ-(semi)stable provided the entries of A are linear forms.

preprint2016arXiv

The minimal number of generators of a Togliatti system

We compute the minimal and the maximal bound on the number of generators of a minimal smooth monomial Togliatti system of forms of degree $d$ in $n+1$ variables, for any $d\ge 2$ and $n\geq 2$ . We classify the Togliatti systems with number of generators reaching the lower bound or close to the lower bound. We then prove that if $n=2$ (resp $n=2,3$ ) all range between the lower and upper bound is covered, while if $n\geq 3$ (resp. $n\ge 4$ ) there are gaps if we only consider smooth minimal Togliatti systems (resp. if we avoid the smoothness hypothesis). We finally analyze for $n=2$ the Mumford-Takemoto stability of the syzygy bundle associated to smooth monomial Togliatti systems.

preprint2016arXiv

The non-Lefschetz locus

We study the weak Lefschetz property of artinian Gorenstein algebras and in particular of artinian complete intersections. In codimension four and higher, it is an open problem whether all complete intersections have the weak Lefschetz property. For a given artinian Gorenstein algebra $A$ we ask what linear forms are Lefschetz elements for this particular algebra, i.e., which linear forms $\ell$ give maximal rank for all the multiplication maps $\times \ell: [A]_i \longrightarrow [A]_{i+1}$ . This is a Zariski open set and its complement is the \emph{non-Lefschetz locus}. For monomial complete intersections, we completely describe the non-Lefschetz locus. For general complete intersections of codimension three and four we prove that the non-Lefschetz locus has the expected codimension, which in particular means that it is empty in a large family of examples. For general Gorenstein algebras of codimension three with a given Hilbert function, we prove that the non-Lefschetz locus has the expected codimension if the first difference of the Hilbert function is of decreasing type. For completeness we also give a full description of the non-Lefschetz locus for artinian algebras of codimension two.

preprint2013arXiv

On ideals with the Rees property

A homogeneous ideal $I$ of a polynomial ring $S$ is said to have the Rees property if, for any homogeneous ideal $J \subset S$ which contains $I$ , the number of generators of $J$ is smaller than or equal to that of $I$ . A homogeneous ideal $I \subset S$ is said to be $\mathfrak m$ -full if $\mathfrak mI:y=I$ for some $y \in \mathfrak m$ , where $\mathfrak m$ is the graded maximal ideal of $S$ . It was proved by one of the authors that $\mathfrak m$ -full ideals have the Rees property and that the converse holds in a polynomial ring with two variables. In this note, we give examples of ideals which have the Rees property but are not $\mathfrak m$ -full in a polynomial ring with more than two variables. To prove this result, we also show that every Artinian monomial almost complete intersection in three variables has the Sperner property.

preprint2011arXiv

Families of determinantal schemes

Given integers a_0 \le a_1 \le ... \le a_{t+c-2} and b_1 \le ... \le b_t, we denote by W(b;a) \subset Hilb^p(\PP^{n}) the locus of good determinantal schemes X \subset \PP^{n} of codimension c defined by the maximal minors of a t x (t+c-1) homogeneous matrix with entries homogeneous polynomials of degree a_j-b_i. The goal of this short note is to extend and complete the results given by the authors in [10] and determine under weakened numerical assumptions the dimension of W(b;a), as well as whether the closure of W(b;a) is a generically smooth irreducible component of the Hilbert scheme Hilb^p(\PP^{n}).

preprint2010arXiv

On the Weak Lefschetz Property for Powers of Linear Forms

In a recent paper, Schenck and Seceleanu showed that in three variables, any ideal generated by powers of linear forms has the Weak Lefschetz Property (WLP). This result contrasts with examples, in our previous work, of ideals in four variables generated by powers of linear forms which fail the WLP. Set $R:=k[x_1,\dots,x_r]$ . Assume $1< a_1 \leq \dots \leq a_{r+1}$ . In this paper, we concentrate our attention on almost complete intersection ideals $I = \langle L_1^{a_1}, \dots ,L_r^{a_r},L_{r+1}^{a_{r+1}} \rangle \subset R$ generated by powers of general linear forms $L_{i}$ . Our approach is via the connection (thanks to Macaulay duality) to fat point ideals, together with a reduction to a smaller projective space. When $r=4$ we give an almost complete description of when such ideals have the WLP, leaving open only one case. When $r=5$ we solve the problem when $a_1 = \cdots = a_5 \leq a_6$ . When $r \geq 6$ is even we solve the problem for uniform powers $a_1 = \cdots = a_{r+1} = d$ ; an asympotic version of this latter result was proven by Harbourne, Schenck and Seceleanu (see their simultaneous submission). As a special case, we prove half of their Conjecure 5.5.2, which deals with the case $d=2$ . Other examples are analyzed, most notably when $r=7$ , and we end up with a conjecture which says that if the number of variables $r \geq 9$ is odd and all powers have the same degree, say $d$ , then the WLP fails for all $d>1$ .

preprint2006arXiv

On the semistability of instanton sheaves over certain projective varieties

We show that instanton bundles of rank $r\le 2n-1$ , defined as the cohomology of certain linear monads, on an $n$ -dimensional projective variety with cyclic Picard group are semistable in the sense of Mumford-Takemoto. Furthermore, we show that rank $r\le n$ linear bundles with nonzero first Chern class over such varieties are stable. We also show that these bounds are sharp.

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.

Rosa M. Miró-Roig

Research overview

Is this your work?

13 publications

Configurations of eigenpoints

Sumsets and Veronese varieties

Togliatti systems associated to the dihedral group and the weak Lefschetz property

On the weak Lefschetz property for almost complete intersections generated by uniform powers of general linear forms

The weak Lefschetz property of Gorenstein algebras of codimension three associated to the Apéry sets

Harbourne, Schenck and Seceleanu's Conjecture

On the normal sheaf of determinantal varieties

The minimal number of generators of a Togliatti system

The non-Lefschetz locus

On ideals with the Rees property

Families of determinantal schemes

On the Weak Lefschetz Property for Powers of Linear Forms

On the semistability of instanton sheaves over certain projective varieties

See the researcher in context

Building this map preview