Showing 1–50 of 83 results for author: Miró-Roig, R M

Weak Lefschetz property of equigenerated complete intersections. Applications

Authors: Valentina Beorchia, Rosa Maria Miró-Roig

Abstract: In this paper, we prove that any Artinian complete intersection homogeneous ideal $I$ in $K[x_0,\cdots,x_n]$ generated by $n+1$ forms of degree $d\ge 2$ satisfies the weak Lefschetz property (WLP) in degree $t< d+\lceil \frac{d}{n} \rceil$. As a consequence, we get that the Jacobian ideal of a smooth 3-fold of degree $d\ge 7$ in ${\mathbb P}^4$ satisfies the weak Lefschetz property in degree $d$,… ▽ More In this paper, we prove that any Artinian complete intersection homogeneous ideal $I$ in $K[x_0,\cdots,x_n]$ generated by $n+1$ forms of degree $d\ge 2$ satisfies the weak Lefschetz property (WLP) in degree $t< d+\lceil \frac{d}{n} \rceil$. As a consequence, we get that the Jacobian ideal of a smooth 3-fold of degree $d\ge 7$ in ${\mathbb P}^4$ satisfies the weak Lefschetz property in degree $d$, answering a recent question of Beauville. △ Less

Submitted 23 March, 2025; originally announced March 2025.

MSC Class: 13E10; 14M10; 14F06

Complete intersection algebras with binomial Macaulay dual generator

Authors: Roberta Di Gennaro, Rosa Maria Miró-Roig

Abstract: In this paper, we characterize all Artinian complete intersection $K$-algebras $A_F$ whose Macaulay dual generator $F$ is a binomial. In addition, we prove that such complete intersection Artinian $K$-algebras $A_F$ satisfy the Strong Lefschetz property. In this paper, we characterize all Artinian complete intersection $K$-algebras $A_F$ whose Macaulay dual generator $F$ is a binomial. In addition, we prove that such complete intersection Artinian $K$-algebras $A_F$ satisfy the Strong Lefschetz property. △ Less

Submitted 18 March, 2025; originally announced March 2025.

MSC Class: Primary 14M10; Secondary 13E10; 13C40

Artinian Gorenstein algebras with binomial Macaulay dual generator

Authors: Nasrin Altafi, Rodica Dinu, Sara Faridi, Shreedevi K. Masuti, Rosa M. Miró-Roig, Alexandra Seceleanu, Nelly Villamizar

Abstract: This paper initiates a systematic study for key properties of Artinian Gorenstein \(K\)-algebras having binomial Macaulay dual generators. In codimension 3, we demonstrate that all such algebras satisfy the strong Lefschetz property, can be constructed as a doubling of an appropriate 0-dimensional scheme in \(\mathbb{P}^2\), and we provide an explicit characterization of when they form a complete… ▽ More This paper initiates a systematic study for key properties of Artinian Gorenstein \(K\)-algebras having binomial Macaulay dual generators. In codimension 3, we demonstrate that all such algebras satisfy the strong Lefschetz property, can be constructed as a doubling of an appropriate 0-dimensional scheme in \(\mathbb{P}^2\), and we provide an explicit characterization of when they form a complete intersection. For arbitrary codimension, we establish sufficient conditions under which the weak Lefschetz property holds and show that these conditions are optimal. △ Less

Submitted 25 February, 2025; originally announced February 2025.

Comments: Comments are welcome

New families of Artinian Gorenstein algebras with the weak Lefschetz property

Authors: Nasrin Altafi, Rodica Dinu, Shreedevi K. Masuti, Rosa M. Miró-Roig, Alexandra Seceleanu, Nelly Villamizar

Abstract: We construct new families of Artinian Gorenstein graded $K$-algebras of arbitrary codimension having binomial Macaulay dual generators and satisfying the weak or the strong Lefschetz property. This is a companion paper to \cite{ADFMMSV}, which studies codimension three algebras having binomial Macaulay dual generators in great depth, establishing in particular that they enjoy the strong Lefschetz… ▽ More We construct new families of Artinian Gorenstein graded $K$-algebras of arbitrary codimension having binomial Macaulay dual generators and satisfying the weak or the strong Lefschetz property. This is a companion paper to \cite{ADFMMSV}, which studies codimension three algebras having binomial Macaulay dual generators in great depth, establishing in particular that they enjoy the strong Lefschetz property. △ Less

Submitted 23 February, 2025; originally announced February 2025.

Comments: Comments are welcome

Saito's theorem revisited and application to free pencils of hypersurfaces

Authors: Roberta Di Gennaro, Rosa Maria Miró-Roig

Abstract: A hypersurface $X\subset \mathbb P^n$ is said to be free if its associated sheaf $T_X$ of vector fields tangent to $X$ is a free ${\mathcal O}_{\mathbb P^n}$-module. So far few examples of free hypersurfaces are known. In this short note, we reinterpret Saito's criterion of freeness in terms of multiple eigenschemes (ME) and as application we construct huge families of new examples of free reduced… ▽ More A hypersurface $X\subset \mathbb P^n$ is said to be free if its associated sheaf $T_X$ of vector fields tangent to $X$ is a free ${\mathcal O}_{\mathbb P^n}$-module. So far few examples of free hypersurfaces are known. In this short note, we reinterpret Saito's criterion of freeness in terms of multiple eigenschemes (ME) and as application we construct huge families of new examples of free reduced hypersurfaces in $\mathbb P^n$. All of them are union of hypersurfaces in a suitable pencil. △ Less

Submitted 10 February, 2025; originally announced February 2025.

Comments: To appear on Proceedings of the AMS

Quasi-homogeneous singularities of projective hypersurfaces and Jacobian syzygies

Authors: Aline V. Andrade, Valentina Beorchia, Alexandru Dimca, Rosa M. Miró-Roig

Abstract: We prove an unexpected general relation between the Jacobian syzygies of a projective hypersurface $V\subset \mathbb{P}^n$ with only isolated singularities and the nature of its singularities. This allows to establish a new method for the identification of quasi-homogeneous hypersurface isolated singularities. The result gives an insight on how the geometry is reflected in the Jacobian syzygies an… ▽ More We prove an unexpected general relation between the Jacobian syzygies of a projective hypersurface $V\subset \mathbb{P}^n$ with only isolated singularities and the nature of its singularities. This allows to establish a new method for the identification of quasi-homogeneous hypersurface isolated singularities. The result gives an insight on how the geometry is reflected in the Jacobian syzygies and extends previous results of the first, second and last author for free and nearly free plane curves [1]. △ Less

Submitted 20 May, 2025; v1 submitted 10 February, 2025; originally announced February 2025.

Comments: 17 pages

MSC Class: Primary 14H50; 14J10; Secondary 14B05; 13C14; 13D02; 32S25; 32S05 15A69

Characterization of linear spaces of matrices of constant rank from syzygy bundles

Authors: Simone Marchesi, Rosa Maria Miró-Roig

Abstract: In this work, we characterize matrices of linear forms and constant rank, demonstrating that, under some natural assumptions, they are always associated with a syzygy bundle that fits into a (partially linear) resolution. Furthermore, our construction offers a new perspective that unifies the approaches used in known examples from the literature and enables the creation of new ones, as well as to… ▽ More In this work, we characterize matrices of linear forms and constant rank, demonstrating that, under some natural assumptions, they are always associated with a syzygy bundle that fits into a (partially linear) resolution. Furthermore, our construction offers a new perspective that unifies the approaches used in known examples from the literature and enables the creation of new ones, as well as to list all indecomposable matrices of constant rank up to 7. △ Less

Submitted 26 January, 2025; originally announced January 2025.

MSC Class: 14J60; 15A30; 14F06

Betti numbers of full Perazzo algebras

Authors: Rosa Maria Miró-Roig, Josep Pérez

Abstract: In this paper we prove that any full Perazzo algebra $A_F$, whose Macaulay dual generator is a Perazzo form $F\in K[X_0,\dots,X_n,U_1,\dots,U_m]_d$ with $n+1 = \binom{d+m-2}{m-1}$, is the doubling of a 0-dimensional scheme in $\PP^{n+m}$ and we compute the graded Betti numbers of a minimal free resolution of $A_F$. In this paper we prove that any full Perazzo algebra $A_F$, whose Macaulay dual generator is a Perazzo form $F\in K[X_0,\dots,X_n,U_1,\dots,U_m]_d$ with $n+1 = \binom{d+m-2}{m-1}$, is the doubling of a 0-dimensional scheme in $\PP^{n+m}$ and we compute the graded Betti numbers of a minimal free resolution of $A_F$. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Comments: To be published in Annali di Matematica Pura ed Applicata

A characterization of quasi-homogeneous singularities of free and nearly free plane curves

Authors: Aline V. Andrade, Valentina Beorchia, Rosa M. Miró-Roig

Abstract: The goal of this paper is to establish a new characterization of quasi-homogeneous isolated singularities of free curves and nearly free curves $C$ in $\mathbb{P}_\mathbb{C}^2$. The criterion will be in terms of a first syzygy matrix associated with the Jacobian ideal $J_f$ of $f$, where $f=0$ is the equation of the plane curve $C$. The goal of this paper is to establish a new characterization of quasi-homogeneous isolated singularities of free curves and nearly free curves $C$ in $\mathbb{P}_\mathbb{C}^2$. The criterion will be in terms of a first syzygy matrix associated with the Jacobian ideal $J_f$ of $f$, where $f=0$ is the equation of the plane curve $C$. △ Less

Submitted 21 November, 2024; v1 submitted 8 July, 2024; originally announced July 2024.

Comments: 20 pages, 2 figures. Accepted for publication in International Mathematics Research Notices

MSC Class: Primary 14H50; Secondary 14B05; 13C40; 13D02; 32S22; 15A69

The weak Lefschetz property for artinian Gorenstein algebras of small Sperner number

Authors: Mats Boij, Juan C. Migliore, Rosa Maria Miró-Roig, Uwe Nagel

Abstract: For artinian Gorenstein algebras in codimension four and higher, it is well known that the Weak Lefschetz Property (WLP) does not need to hold. For Gorenstein algebras in codimension three, it is still open whether all artinian Gorenstein algebras satisfy the WLP when the socle degree and the Sperner number are both higher than six. We here show that all artinian Gorenstein algebras with socle deg… ▽ More For artinian Gorenstein algebras in codimension four and higher, it is well known that the Weak Lefschetz Property (WLP) does not need to hold. For Gorenstein algebras in codimension three, it is still open whether all artinian Gorenstein algebras satisfy the WLP when the socle degree and the Sperner number are both higher than six. We here show that all artinian Gorenstein algebras with socle degree $d$ and Sperner number at most $d+1$ satisfy the WLP, independent of the codimension. This is a sharp bound in general since there are examples of artinian Gorenstein algebras with socle degree $d$ and Sperner number $d+2$ that do not satisfy the WLP for all $d\ge 3$. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Perazzo $n$-folds and the weak Lefschetz property

Authors: Emilia Mezzetti, Rosa M. Miró-Roig

Abstract: In this paper, we determine the maximum $h_{max}$ and the minimum $h_{min}$ of the Hilbert vectors of Perazzo algebras $A_F$, where $F$ is a Perazzo polynomial of degree $d$ in $n+m+1$ variables. These algebras always fail the Strong Lefschetz Property. We determine the integers $n,m,d$ such that $h_{max}$ (resp. $h_{min}$) is unimodal, and we prove that $A_F$ always fails the Weak Lefschetz Prope… ▽ More In this paper, we determine the maximum $h_{max}$ and the minimum $h_{min}$ of the Hilbert vectors of Perazzo algebras $A_F$, where $F$ is a Perazzo polynomial of degree $d$ in $n+m+1$ variables. These algebras always fail the Strong Lefschetz Property. We determine the integers $n,m,d$ such that $h_{max}$ (resp. $h_{min}$) is unimodal, and we prove that $A_F$ always fails the Weak Lefschetz Property if its Hilbert vector is maximum, while it satisfies the Weak Lefschetz Property if it is minimum, unimodal, and satisfies an additional mild condition. We determine the minimal free resolution of Perazzo algebras associated to Perazzo threefolds in $\mathbb P^4$ with minimum Hilbert vectors. Finally we pose some open problems in this context. Dedicated to Enrique Arrondo on the occasion of his $60^{th}$ birthday. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 24 pages, to be published in Rendiconti del Circolo Matematico di Palermo Series 2

MSC Class: 14J70; 14M05; 13E10

On the moduli space of simple sheaves on singular K3 surfaces

Authors: Barbara Fantechi, Rosa M. Miró-Roig

Abstract: Mukai proved that the moduli space of simple sheaves on a smooth projective K3 surface is symplectic, and in \cite{FM2} we gave two constructions allowing one to construct new locally closed Lagrangian/isotropic subspaces of the moduli from old ones. In this paper, we extend both Mukai's result and our construction to reduced projective K3 surfaces; for the former we need to restrict our attention… ▽ More Mukai proved that the moduli space of simple sheaves on a smooth projective K3 surface is symplectic, and in \cite{FM2} we gave two constructions allowing one to construct new locally closed Lagrangian/isotropic subspaces of the moduli from old ones. In this paper, we extend both Mukai's result and our construction to reduced projective K3 surfaces; for the former we need to restrict our attention to perfect sheaves. There are two key points where we cannot get a straightforward generalization. In each, we need to prove that a certain differential form on the moduli space of simple, perfect sheaves vanishes, and we introduce a smoothability condition to complete the proof. △ Less

Submitted 14 January, 2025; v1 submitted 1 March, 2024; originally announced March 2024.

Comments: Comments and remarks are welcome. Published in Bulletin des Sciences Mathematiques

Perazzo hypersurfaces and the weak Lefschetz property

Authors: Rosa Maria Miró-Roig, Josep Pérez Díez

Abstract: We deal with Perazzo hypersurfaces $X=V(f)$ in $\PP^{n+2}$ defined by a homogeneous polynomial $f(x_0,x_1,\dots,x_n,u,v)=p_0(u,v)x_0+p_1(u,v)x_1+\cdots +p_n(u,v)x_n+g(u,v)$, where $p_0,p_1,\dots ,p_n$ are algebraically dependent but linearly independent forms of degree $d-1$ in $K[u,v]$ and $g$ is a form in $K[u,v]$ of degree $d$. Perazzo hypersurfaces have vanishing hessian and, hence, the associ… ▽ More We deal with Perazzo hypersurfaces $X=V(f)$ in $\PP^{n+2}$ defined by a homogeneous polynomial $f(x_0,x_1,\dots,x_n,u,v)=p_0(u,v)x_0+p_1(u,v)x_1+\cdots +p_n(u,v)x_n+g(u,v)$, where $p_0,p_1,\dots ,p_n$ are algebraically dependent but linearly independent forms of degree $d-1$ in $K[u,v]$ and $g$ is a form in $K[u,v]$ of degree $d$. Perazzo hypersurfaces have vanishing hessian and, hence, the associated graded artinian Gorenstein algebra $A_f$ fails the strong Lefschetz property. In this paper, we first determine the maximum and minimum Hilbert function of $A_f$, we prove that the Hilbert function of $A_f$ is always unimodal and we determine when $A_f$ satisfies the weak Lefschetz property. We illustrate our results with many examples and we show that our results do not generalize to Perazzo hypersurfaces $X=V(f)$ in $\PP^{n+3}$ defined by a homogeneous polynomial $f(x_0,x_1,\dots,x_{n},u,v,w)=p_0(u,v,w)x_0+p_1(u,v,w)x_1+\cdots +p_{n}(u,v,w)x_{n}+g(u,v,w)$, where $p_0,p_1,\dots ,p_{n}$ are algebraically dependent but linearly independent forms of degree $d-1$ in $K[u,v,w]$ and $g$ is a form in $K[u,v,w]$ of degree $d$. △ Less

Submitted 14 February, 2024; originally announced February 2024.

Comments: To be published in Journal of Algebra

MSC Class: 13E10; 13D40; 14M05; 13H10

Betti numbers for connected sums of graded Gorenstein artinian algebras

Authors: Nasrin Altafi, Roberta Di Gennaro, Federico Galetto, Sean Grate, Rosa M. Miro-Roig, Uwe Nagel, Alexandra Seceleanu, Junzo Watanabe

Abstract: The connected sum construction, which takes as input Gorenstein rings and produces new Gorenstein rings, can be considered as an algebraic analogue for the topological construction having the same name. We determine the graded Betti numbers for connected sums of graded Artinian Gorenstein algebras. Along the way, we find the graded Betti numbers for fiber products of graded rings; an analogous res… ▽ More The connected sum construction, which takes as input Gorenstein rings and produces new Gorenstein rings, can be considered as an algebraic analogue for the topological construction having the same name. We determine the graded Betti numbers for connected sums of graded Artinian Gorenstein algebras. Along the way, we find the graded Betti numbers for fiber products of graded rings; an analogous result was obtained in the local case by Geller. We relate the connected sum construction to the doubling construction, which also produces Gorenstein rings. Specifically, we show that a connected sum of doublings is the doubling of a fiber product ring. △ Less

Submitted 19 January, 2024; originally announced January 2024.

MSC Class: 13D02; 13H10

Schur powers of the cokernel of a graded morphism

Authors: Jan O. Kleppe, Rosa M. Miró-Roig

Abstract: Let $\varphi: F\longrightarrow G$ be a graded morphism between free $R$-modules of rank $t$ and $t+c-1$, respectively, and let $I_j(\varphi)$ be the ideal generated by the $j \times j$ minors of a matrix representing $\varphi$. In this short note: (1) We show that the canonical module of $R/I_j(\varphi)$ is up to twist equal to a suitable Schur power $Σ^I M$ of $M=\coker (\varphi ^*)$; thus equal… ▽ More Let $\varphi: F\longrightarrow G$ be a graded morphism between free $R$-modules of rank $t$ and $t+c-1$, respectively, and let $I_j(\varphi)$ be the ideal generated by the $j \times j$ minors of a matrix representing $\varphi$. In this short note: (1) We show that the canonical module of $R/I_j(\varphi)$ is up to twist equal to a suitable Schur power $Σ^I M$ of $M=\coker (\varphi ^*)$; thus equal to $\wedge ^{t+1-j}M$ if $c=2$ in which case we find a minimal free $R$-resolution of $\wedge ^{t+1-j}M$ for any $j$, (2) For $c = 3$, we construct a free $R$-resolution of $\wedge ^2M$ which starts almost minimally (i.e. the first three terms are minimal up to a precise summand), and (3) For $c \ge 4$, we construct under a certain depth condition the first three terms of a free $R$-resolution of $\wedge ^2M$ which are minimal up to a precise summand. As a byproduct we answer the first open case of a question posed by Buchsbaum and Eisenbud. △ Less

Submitted 14 November, 2023; originally announced November 2023.

List of Problems

Authors: Martina Juhnke-Kubitzke, Rosa M. Miró-Roig

Abstract: The study of the Lefschetz properties of Artinian graded algebras was motivated by the hard Lefschetz theorem for a smooth complex projective variety, a breakthrough in algebraic topology and geometry. Over the last few years, this topic has attracted increasing attention from mathematicians in various areas. Here, we suggest some important open problems about or related to Lefschetz properties of… ▽ More The study of the Lefschetz properties of Artinian graded algebras was motivated by the hard Lefschetz theorem for a smooth complex projective variety, a breakthrough in algebraic topology and geometry. Over the last few years, this topic has attracted increasing attention from mathematicians in various areas. Here, we suggest some important open problems about or related to Lefschetz properties of Artinian graded algebras with the ultimate aim to attract the attention of young researchers from different areas. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: To appear in The Proceedings of the Cortona's meeting; "Lefschetz Properties: Current and New Directions"

Free curves, Eigenschemes and Pencils of curves

Authors: Roberta Di Gennaro, Giovanna Ilardi, Rosa Maria Mirò-Roig, Hal Schenck, Jean Vallès

Abstract: Let $R=K[x,y,z]$. A reduced plane curve $C=V(f)\subset \mathbf P^2$ is $free \ $ if its associated module of tangent derivations $\mathrm{Der}(f)$ is a free $R$-module, or equivalently if the corresponding sheaf $T_ {\mathbf P^2 }(-\log C)$ of vector fields tangent to $C$ splits as a direct sum of line bundles on $\mathbf P^2$. In general, free curves are difficult to find, and in this note, we de… ▽ More Let $R=K[x,y,z]$. A reduced plane curve $C=V(f)\subset \mathbf P^2$ is $free \ $ if its associated module of tangent derivations $\mathrm{Der}(f)$ is a free $R$-module, or equivalently if the corresponding sheaf $T_ {\mathbf P^2 }(-\log C)$ of vector fields tangent to $C$ splits as a direct sum of line bundles on $\mathbf P^2$. In general, free curves are difficult to find, and in this note, we describe a new method for constructing free curves in $\mathbf P^2$. The key tools in our approach are eigenschemes and pencils of curves, combined with an interpretation of Saito's criterion in this context. Previous constructions typically applied only to curves with quasihomogeneous singularities, which is not necessary in our approach. We illustrate our method by constructing large families of free curves. △ Less

Submitted 25 March, 2025; v1 submitted 15 June, 2023; originally announced June 2023.

MSC Class: Primary 14H20; Secondary 14C21; 14J60

Journal ref: BULLETIN OF THE LONDON MATHEMATICAL SOCIETY 56(7) 2024

Syzygy bundles of non-complete linear systems: stability and rigidness

Authors: Rosa M. Miró-Roig, Martí Salat-Moltó

Abstract: Let $(X,L)$ be a polarized smooth projective variety. For any basepoint-free linear system $\mathcal{L}_{V}$ with $V\subset H^{0}(X,\mathcal{O}_{X}(L))$ we consider the syzygy bundle $M_{V}$ as the kernel of the evaluation map $V\otimes \mathcal{O}_{X}\rightarrow \mathcal{O}_{X}(L)$. The purpose of this article is twofold. First, we assume that $M_{V}$ is $L$-stable and prove that, in a wide famil… ▽ More Let $(X,L)$ be a polarized smooth projective variety. For any basepoint-free linear system $\mathcal{L}_{V}$ with $V\subset H^{0}(X,\mathcal{O}_{X}(L))$ we consider the syzygy bundle $M_{V}$ as the kernel of the evaluation map $V\otimes \mathcal{O}_{X}\rightarrow \mathcal{O}_{X}(L)$. The purpose of this article is twofold. First, we assume that $M_{V}$ is $L$-stable and prove that, in a wide family of projective varieties, it represents a smooth point $[M_{V}]$ in the corresponding moduli space $\mathcal{M}$. We compute the dimension of the irreducible component of $\mathcal{M}$ passing through $[M_{V}]$ and whether it is an isolated point. It turns out that the rigidness of $[M_{V}]$ is closely related to the completeness of the linear system $\mathcal{L}_{V}$. In the second part of the paper, we address a question posed by Brenner regarding the stability of $M_{V}$ when $V$ is general enough. We answer this question for a large family of polarizations of $X=\mathbb{P}^{m}\times\mathbb{P}^{n}$. △ Less

Submitted 11 June, 2023; originally announced June 2023.

Comments: To appear in Mediterranean Journal of Mathematics

Lagrangian subspaces of the moduli space of simple sheaves on K3 surfaces

Authors: Barbara Fantechi, Rosa M. Miró-Roig

Abstract: Let $X$ be a K3 surface and let $\text{Spl}(r;c_1,c_2)$ be the moduli space of simple sheaves on $X$ of fixed rank $r$ and Chern classes $c_1$ and $c_2$. Under suitable assumptions, to a pair $(F,W)$ (respectively, $(F,V)$) where $F\in \text{Spl}(r;c_1,c_2)$ and $W\subset H^0(F)$ (resp.~$V^*\subset H^1(F^*)$) is a vector subspace, we associate a simple syzygy bundle (resp.~extension bundle) on… ▽ More Let $X$ be a K3 surface and let $\text{Spl}(r;c_1,c_2)$ be the moduli space of simple sheaves on $X$ of fixed rank $r$ and Chern classes $c_1$ and $c_2$. Under suitable assumptions, to a pair $(F,W)$ (respectively, $(F,V)$) where $F\in \text{Spl}(r;c_1,c_2)$ and $W\subset H^0(F)$ (resp.~$V^*\subset H^1(F^*)$) is a vector subspace, we associate a simple syzygy bundle (resp.~extension bundle) on $X$. We show that both syzygy bundles and extension bundles can be constructed in families and that the induced morphism to a different component of the moduli of simple sheaves is a locally closed embedding. We show that this construction associates to every Lagrangian (resp.~isotropic) algebraic subspace of $\text{Spl}(r;c_1,c_2)$ an induced Lagrangian (resp.~isotropic) algebraic subspace of a different component of the moduli of simple sheaves. △ Less

Submitted 8 June, 2023; originally announced June 2023.

MSC Class: 14D20; 14J28; 14J42

Moduli of generalized syzygy bundles

Authors: Barbara Fantechi, Rosa M. Miró-Roig

Abstract: Given a vector bundle $F$ on a variety $X$ and $W\subset H^0(F)$ such that the evaluation map $W\otimes \mathcal{O}_X\to F$ is surjective, its kernel $S_{F,W}$ is called generalized syzygy bundle. Under mild assumptions, we construct a moduli space $\mathcal{G}^0_U$ of simple generalized syzygy bundles, and show that the natural morphism $α$ to the moduli of simple sheaves is a locally closed em… ▽ More Given a vector bundle $F$ on a variety $X$ and $W\subset H^0(F)$ such that the evaluation map $W\otimes \mathcal{O}_X\to F$ is surjective, its kernel $S_{F,W}$ is called generalized syzygy bundle. Under mild assumptions, we construct a moduli space $\mathcal{G}^0_U$ of simple generalized syzygy bundles, and show that the natural morphism $α$ to the moduli of simple sheaves is a locally closed embedding. If moreover $H^1(X,\mathcal{O}_X)=0$, we find an explicit open subspace $\mathcal{G}^0_V$ of $\mathcal{G}^0_U$ where the restriction of $α$ is an open embedding. In particular, if $\dim X\ge 3$ and $H^1(\mathcal{O}_X)=0$, starting from an ample line bundle (or a simple rigid vector bundle) on $X$ we construct recursively open subspaces of moduli spaces of simple sheaves on $X$ that are smooth, rational, quasiprojective varieties. △ Less

Submitted 7 June, 2023; originally announced June 2023.

MSC Class: 14D20

Hilbert functions and Jordan type of Perazzo Artinian algebras

Authors: Nancy Abdallah, Nasrin Altafi, Pietro De Poi, Luca Fiorindo, Anthony Iarrobino, Pedro Macias Marques, Emilia Mezzetti, Rosa M. Miró-Roig, Lisa Nicklasson

Abstract: We study Hilbert functions, Lefschetz properties, and Jordan type of Artinian Gorenstein algebras associated to Perazzo hypersurfaces in projective space. The main focus lies on Perazzo threefolds, for which we prove that the Hilbert functions are always unimodal. Further we prove that the Hilbert function determines whether the algebra is weak Lefschetz, and we characterize those Hilbert function… ▽ More We study Hilbert functions, Lefschetz properties, and Jordan type of Artinian Gorenstein algebras associated to Perazzo hypersurfaces in projective space. The main focus lies on Perazzo threefolds, for which we prove that the Hilbert functions are always unimodal. Further we prove that the Hilbert function determines whether the algebra is weak Lefschetz, and we characterize those Hilbert functions for which the weak Lefschetz property holds. By example, we verify that the Hilbert functions of Perazzo fourfolds are not always unimodal. In the particular case of Perazzo threefolds with the smallest possible Hilbert function, we give a description of the possible Jordan types for multiplication by any linear form. △ Less

Submitted 29 March, 2023; originally announced March 2023.

Comments: 23 pages

MSC Class: 13E10 (primary); 13D40; 14M05; 13H10

Monomial projections of Veronese varieties: new results and conjectures

Authors: Liena Colarte-Gómez, Rosa M. Miró-Roig, Lisa Nicklasson

Abstract: In this paper, we consider the homogeneous coordinate rings $A(Y_{n,d}) \cong \mathbb{K}[Ω_{n,d}]$ of monomial projections $Y_{n,d}$ of Veronese varieties parameterized by subsets $Ω_{n,d}$ of monomials of degree $d$ in $n+1$ variables where: (1) $Ω_{n,d}$ contains all monomials supported in at most $s$ variables and, (2) $Ω_{n,d}$ is a set of monomial invariants of a finite diagonal abelian group… ▽ More In this paper, we consider the homogeneous coordinate rings $A(Y_{n,d}) \cong \mathbb{K}[Ω_{n,d}]$ of monomial projections $Y_{n,d}$ of Veronese varieties parameterized by subsets $Ω_{n,d}$ of monomials of degree $d$ in $n+1$ variables where: (1) $Ω_{n,d}$ contains all monomials supported in at most $s$ variables and, (2) $Ω_{n,d}$ is a set of monomial invariants of a finite diagonal abelian group $G \subset GL(n+1,\mathbb{K})$ of order $d$. Our goal is to study when $\mathbb{K}[Ω_{n,d}]$ is a quadratic algebra and, if so, when $\mathbb{K}[Ω_{n,d}]$ is Koszul or G-quadratic. For the family (1), we prove that $\mathbb{K}[Ω_{n,d}]$ is quadratic when $s \ge \lceil \frac{n+2}{2} \rceil$. For the family (2), we completely characterize when $\mathbb{K}[Ω_{2,d}]$ is quadratic in terms of the group $G \subset GL(3,\mathbb{K})$, and we prove that $\mathbb{K}[Ω_{2,d}]$ is quadratic if and only if it is Koszul. We also provide large families of examples where $\mathbb{K}[Ω_{n,d}]$ is G-quadratic. △ Less

Submitted 16 March, 2023; originally announced March 2023.

Comments: To appear in Journal of Algebra

Journal ref: Journal of Algebra, Volume 626 (2023), Pages 82-108

On the Weak Lefschetz Property for height four equigenerated complete intersections

Authors: Mats Boij, Juan Migliore, Rosa M. Miró-Roig, Uwe Nagel

Abstract: We consider the conjecture that all artinian height 4 complete intersections of forms of the same degree $d$ have the Weak Lefschetz Property (WLP). We translate this problem to one of studying the general hyperplane section of a certain smooth curve in $\mathbb P^3$, and our main tools are the Socle Lemma of Huneke and Ulrich together with a careful liaison argument. Our main results are (i) a pr… ▽ More We consider the conjecture that all artinian height 4 complete intersections of forms of the same degree $d$ have the Weak Lefschetz Property (WLP). We translate this problem to one of studying the general hyperplane section of a certain smooth curve in $\mathbb P^3$, and our main tools are the Socle Lemma of Huneke and Ulrich together with a careful liaison argument. Our main results are (i) a proof that the property holds for $d=3,4$ and 5; (ii) a partial result showing maximal rank in a non-trivial but incomplete range, cutting in half the previous unknown range; and (iii) a proof that maximal rank holds in a different range, even without assuming that all the generators have the same degree. We furthermore conjecture that if there were to exist any height 4 complete intersection generated by forms of the same degree and failing WLP then there must exist one (not necessarily the same one) failing by exactly one (in a sense that we make precise). Based on this conjecture we outline an approach to proving WLP for all equigenerated complete intersections in four variables. Finally, we apply our results to the Jacobian ideal of a smooth surface in~$\mathbb P^3$. △ Less

Submitted 23 May, 2023; v1 submitted 19 December, 2022; originally announced December 2022.

Comments: Final version, with improved exposition suggested by the referee. To appear in Transactions of the American Mathematical Society, Series B

MSC Class: 14M10; 13D40; 14H50; 14M06

Klyachko diagrams of monomial ideals

Authors: Rosa M. Miró-Roig, Martí Salat-Moltó

Abstract: In this paper, we introduce the notion of a Klyachko diagram for a monomial ideal $I$ in a certain multi-graded polynomial ring, namely the Cox ring $R$ of a smooth complete toric variety, with irrelevant maximal ideal $B$. We present procedures to compute the Klyachko diagram of $I$ from its monomial generators, and to retrieve the $B-$saturation $I^{\mathrm{sat}}$ of $I$ from its Klyachko diagra… ▽ More In this paper, we introduce the notion of a Klyachko diagram for a monomial ideal $I$ in a certain multi-graded polynomial ring, namely the Cox ring $R$ of a smooth complete toric variety, with irrelevant maximal ideal $B$. We present procedures to compute the Klyachko diagram of $I$ from its monomial generators, and to retrieve the $B-$saturation $I^{\mathrm{sat}}$ of $I$ from its Klyachko diagram. We use this description to compute the first local cohomology module $H^{1}_{B}(I)$. As an application, we find a formula for the Hilbert function of $I^{\mathrm{sat}}$, and a characterization of monomial ideals with constant Hilbert polynomial, in terms of their Klyachko diagram. △ Less

Submitted 16 October, 2022; originally announced October 2022.

Comments: To appear in Algebras and Representation Theory

Perazzo 3-folds and the weak Lefschetz property

Authors: Luca Fiorindo, Emilia Mezzetti, Rosa M. Miró-Roig

Abstract: We deal with Perazzo 3-folds in $\mathbb P^4$, i.e. hypersurfaces $X=V(f)\subset \mathbb P^4$ of degree $d$ defined by a homogeneous polynomial $f(x_0,x_1,x_2,u,v)=p_0(u,v)x_0+p_1(u,v)x_1+p_2(u,v)x_2+g(u,v)$, where $p_0,p_1,p_2$ are algebraically dependent but linearly independent forms of degree $d-1$ in $u,v$, and $g$ is a form in $u,v$ of degree $d$. Perazzo 3-folds have vanishing hessian and,… ▽ More We deal with Perazzo 3-folds in $\mathbb P^4$, i.e. hypersurfaces $X=V(f)\subset \mathbb P^4$ of degree $d$ defined by a homogeneous polynomial $f(x_0,x_1,x_2,u,v)=p_0(u,v)x_0+p_1(u,v)x_1+p_2(u,v)x_2+g(u,v)$, where $p_0,p_1,p_2$ are algebraically dependent but linearly independent forms of degree $d-1$ in $u,v$, and $g$ is a form in $u,v$ of degree $d$. Perazzo 3-folds have vanishing hessian and, hence, the associated graded artinian Gorenstein algebra $A_f$ fails the strong Lefschetz property. In this paper, we determine the maximum and minimum Hilbert function of $A_f$ and we prove that if $A_f$ has maximal Hilbert function it fails the weak Lefschetz property, while it satisfies the weak Lefschetz property when it has minimum Hilbert function. In addition, we classify all Perazzo 3-folds in $\mathbb P^4$ such that $A_f$ has minimum Hilbert function. △ Less

Submitted 16 March, 2023; v1 submitted 6 June, 2022; originally announced June 2022.

Comments: 21 pages; final version to be published in Journal of Algebra

MSC Class: 14J70; 14N07; 13E10

Configurations of eigenpoints

Authors: Valentina Beorchia, Rosa M. Miró-Roig

Abstract: 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,… ▽ More 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. △ Less

Submitted 10 May, 2022; originally announced May 2022.

Comments: 12 pages

MSC Class: Primary 15A18; 14M12; Secondary 15A69

Sumsets and Veronese varieties

Authors: Liena Colarte-Gómez, Joan Elias, Rosa M. Miró-Roig

Abstract: 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… ▽ More 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}}}$. △ Less

Submitted 2 February, 2022; originally announced February 2022.

Comments: To appear in Collectanea Mathematica

Multigraded Castelnuovo-Mumford regularity via Klyachko filtrations

Authors: Rosa M. Miró-Roig, Martí Salat-Moltó

Abstract: In this paper, we consider $\mathbb{Z}^{r}-$graded modules on the $\mathrm{Cl}(X)$ $-$graded Cox ring $\mathbb{C}[x_{1},\dotsc,x_{r}]$ of a smooth complete toric variety $X$. Using the theory of Klyachko filtrations in the reflexive case, we construct a collection of lattice polytopes codifying the multigraded Hilbert function of the module. We apply this approach to reflexive… ▽ More In this paper, we consider $\mathbb{Z}^{r}-$graded modules on the $\mathrm{Cl}(X)$ $-$graded Cox ring $\mathbb{C}[x_{1},\dotsc,x_{r}]$ of a smooth complete toric variety $X$. Using the theory of Klyachko filtrations in the reflexive case, we construct a collection of lattice polytopes codifying the multigraded Hilbert function of the module. We apply this approach to reflexive $\mathbb{Z}^{s+r+2}$-graded modules over non-standard bigraded polynomial rings $\mathbb{C}[x_{0},\dotsc,x_{s},y_{0},\dotsc,y_{r}]$. In this case, we give sharp bounds for the multigraded regularity index of their multigraded Hilbert function, and a method to compute their Hilbert polynomial. △ Less

Submitted 5 November, 2021; originally announced November 2021.

Comments: To appear in Forum Mathematicum

Hypertetrahedral arrangements

Authors: Liena Colarte, Laura Costa, Simone Marchesi, Rosa Maria Miró-Roig, Marti Salat

Abstract: In this paper, we introduce the notion of a complete hypertetrahedral arrangement $\mathcal{A}$ in $\mathbb{P}^{n}$. We address two basic problems. First, we describe the local freeness of $\mathcal{A}$ in terms of smaller complete hypertetrahedral arrangements and graph theory properties, specializing the Mustaţă-Schenck criterion. As an application, we obtain that general complete hypertetrahedr… ▽ More In this paper, we introduce the notion of a complete hypertetrahedral arrangement $\mathcal{A}$ in $\mathbb{P}^{n}$. We address two basic problems. First, we describe the local freeness of $\mathcal{A}$ in terms of smaller complete hypertetrahedral arrangements and graph theory properties, specializing the Mustaţă-Schenck criterion. As an application, we obtain that general complete hypertetrahedral arrangements are not locally free. In the second part of this paper, we bound the initial degree of the first syzygy module of the Jacobian ideal of $\mathcal{A}$. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Comments: 26 pages. To appear in Mathematische Zeitschrift. Comments are welcome

MSC Class: 14N20; 13D02; 14F06

The canonical module of GT-varieties and the normal bundle of RL-varieties

Authors: Liena Colarte-Gómez, Rosa M. Miró-Roig

Abstract: In this paper, we study the geometry of $GT-$varieties $X_{d}$ with group a finite cyclic group $Γ\subset \mathrm{GL}(n+1,\mathbb{K})$ of order $d$. We prove that the homogeneous ideal $\mathrm{I}(X_{d})$ of $X_{d}$ is generated by binomials of degree at most $3$ and we provide examples reaching this bound. We give a combinatorial description of the canonical module of the homogeneous coordinate r… ▽ More In this paper, we study the geometry of $GT-$varieties $X_{d}$ with group a finite cyclic group $Γ\subset \mathrm{GL}(n+1,\mathbb{K})$ of order $d$. We prove that the homogeneous ideal $\mathrm{I}(X_{d})$ of $X_{d}$ is generated by binomials of degree at most $3$ and we provide examples reaching this bound. We give a combinatorial description of the canonical module of the homogeneous coordinate ring of $X_{d}$ and we show that it is generated by monomial invariants of $Γ$ of degree $d$ and $2d$. This allows us to characterize the Castelnuovo-Mumford regularity of the homogeneous coordinate ring of $X_d$. Finally, we compute the cohomology table of the normal bundle of the so called $RL-$varieties. They are projections of the Veronese variety $ν_{d}(\mathbb{P}^{n}) \subset \mathbb{P}^{\binom{n+d}{n}-1}$ which naturally arise from level $GT-$varieties. △ Less

Submitted 10 April, 2021; originally announced April 2021.

Comments: To appear in Mediterranean Journal of Mathematics

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

Authors: Liena Colarte-Gómez, Emilia Mezzetti, Rosa M. Miró-Roig, Martí Salat-Moltó

Abstract: 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 wh… ▽ More 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}})$. △ Less

Submitted 24 January, 2021; originally announced January 2021.

Comments: To appear in Israel Journal of Mathematics

Companion varieties for root systems and Fermat arrangements

Authors: Roberta Di Gennaro, Giovanna Ilardi, Rosa Maria Miró-Roig, Tomasz Szemberg, Justyna Szpond

Abstract: Unexpected hypersurfaces are a brand name for some special linear systems. They were introduced around 2017 and are a field of intensive study since then. They attracted a lot of attention because of their close tights to various other areas of mathematics including vector bundles, arrangements of hyperplanes, geometry of projective varieties. Our research is motivated by the what is now known as… ▽ More Unexpected hypersurfaces are a brand name for some special linear systems. They were introduced around 2017 and are a field of intensive study since then. They attracted a lot of attention because of their close tights to various other areas of mathematics including vector bundles, arrangements of hyperplanes, geometry of projective varieties. Our research is motivated by the what is now known as the BMSS duality, which is a new way of deriving projective varieties out of already constructed. The last author coined the concept of companion surfaces in the setting of unexpected curves admitted by the $B_3$ root system. Here we extend this construction in various directions. We revisit the configurations of points associated to either root systems or to Fermat arrangements and we study the geometry of the associated varieties and their companions. △ Less

Submitted 8 February, 2022; v1 submitted 18 January, 2021; originally announced January 2021.

Comments: Revised version following advices by the referees. Accepted for publication in JPAA

MSC Class: 13A15; 13C70; 14C20; 14E05; 14J70; 14N20

On the arithmetic Cohen-Macaulayness of varieties parameterized by Togliatti systems

Authors: Liena Colarte-Gómez, Emilia Mezzetti, Rosa M. Miró-Roig

Abstract: Given any diagonal cyclic subgroup $Λ\subset GL(n+1,k)$ of order $d$, let $I_d\subset k[x_0,\ldots, x_n]$ be the ideal generated by all monomials $\{m_{1},\ldots, m_{r}\}$ of degree $d$ which are invariants of $Λ$. $I_d$ is a monomial Togliatti system, provided $r \leq \binom{d+n-1}{n-1}$, and in this case the projective toric variety $X_d$ parameterized by $(m_{1},\ldots, m_{r})$ is called a… ▽ More Given any diagonal cyclic subgroup $Λ\subset GL(n+1,k)$ of order $d$, let $I_d\subset k[x_0,\ldots, x_n]$ be the ideal generated by all monomials $\{m_{1},\ldots, m_{r}\}$ of degree $d$ which are invariants of $Λ$. $I_d$ is a monomial Togliatti system, provided $r \leq \binom{d+n-1}{n-1}$, and in this case the projective toric variety $X_d$ parameterized by $(m_{1},\ldots, m_{r})$ is called a $GT$-variety with group $Λ$. We prove that all these $GT$-varieties are arithmetically Cohen-Macaulay and we give a combinatorial expression of their Hilbert functions. In the case $n=2$, we compute explicitly the Hilbert function, polynomial and series of $X_d$. We determine a minimal free resolution of its homogeneous ideal and we show that it is a binomial prime ideal generated by quadrics and cubics. We also provide the exact number of both types of generators. Finally, we pose the problem of determining whether a surface parameterized by a Togliatti system is aCM. We construct examples that are aCM and examples that are not. △ Less

Submitted 19 December, 2020; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: To appear in Annali di Matematica Pura ed Applicata. Minor correction in the Introduction

Waring and cactus ranks and Strong Lefschetz Property for annihilators of symmetric forms

Authors: M. Boij, J. Migliore, R. M. Miró-Roig, U. Nagel

Abstract: In this note we show that the complete symmetric polynomials are dual generators of compressed artinian Gorenstein algebras satisfying the Strong Lefschetz Property. This is the first example of an explicit dual form with these properties. For complete symmetric forms of any degree in any number of variables, we provide an upper bound for the Waring rank by establishing an explicit power sum dec… ▽ More In this note we show that the complete symmetric polynomials are dual generators of compressed artinian Gorenstein algebras satisfying the Strong Lefschetz Property. This is the first example of an explicit dual form with these properties. For complete symmetric forms of any degree in any number of variables, we provide an upper bound for the Waring rank by establishing an explicit power sum decomposition. Moreover, we determine the Waring rank, the cactus rank, the resolution and the Strong Lefschetz Property for any Gorenstein algebra defined by a symmetric cubic form. In particular, we show that the difference between the Waring rank and the cactus rank of a symmetric cubic form can be made arbitrarily large by increasing the number of variables. We provide upper bounds for the Waring rank of generic symmetric forms of degrees four and five. △ Less

Submitted 27 September, 2020; originally announced September 2020.

Comments: 24 pages, 1 figure

MSC Class: 13B25

Journal ref: Alg. Number Th. 16 (2022) 155-178

Deformation and Unobstructedness of Determinantal Schemes

Authors: Jan O. Kleppe, Rosa M. Miró-Roig

Abstract: Let $Hilb ^{p(t)}(P^n)$ be the Hilbert scheme of closed subschemes of $P^n$ with Hilbert polynomial $p(t) \in Q[t]$, and let $W:= \overline{W(\underline{b};\underline{a};r)}$ be the closure of the locus in $Hilb ^{p(t)}(P^n)$ of determinantal schemes defined by the vanishing of the $(t-r+1)\times (t - r+1)$ minors of some matrix $\mathcal A$ of size $t\times (t+c-1)$ with $ij$-enty a homogeneous f… ▽ More Let $Hilb ^{p(t)}(P^n)$ be the Hilbert scheme of closed subschemes of $P^n$ with Hilbert polynomial $p(t) \in Q[t]$, and let $W:= \overline{W(\underline{b};\underline{a};r)}$ be the closure of the locus in $Hilb ^{p(t)}(P^n)$ of determinantal schemes defined by the vanishing of the $(t-r+1)\times (t - r+1)$ minors of some matrix $\mathcal A$ of size $t\times (t+c-1)$ with $ij$-enty a homogeneous form of degree $a_j-b_i$ and with $r$ satisfying $\max\{1,2-c\} \le r < t$. $W$ is an irreducible algebraic set. First of all, we compute an upper $r$-independent bound for the dimension of $W$ in terms of $a_j$ and $b_i$ which is sharp for $r=1$. In the linear case ($a_j = 1, b_i=0$) and cases sufficiently close, we conjecture and to a certain degree prove that this bound is achieved for all $r$. Then, we study to what extent $W$ is a generically smooth component of $Hilb ^{p(t)}(P^n)$. Under some weak numerical assumptions on the integers $a_j$ and $b_i$ (or under some depth conditions) we conjecture and often prove that $W$ is a generically smooth component. Moreover, we also study the depth of the normal module of the homogeneous coordinate ring of $(X)\in W$ and of a closely related module. We conjecture, and in some cases prove, that their codepth is often 1 (resp. $r$). These results extend previous results on standard determinantal schemes to determinantal schemes; i.e. previous results of the authors on $W(\underline{b};\underline{a};1)$ to $W$ with $1\le r < t$ and $c\ge 2-r$. Finally, deformations of exterior powers of the cokernel of the map determined by $\mathcal A$ are studied and proven to be given as deformations of $X \subset P^n$ if $\dim X \ge 3$. The work contains many examples which illustrate the results obtained and a considerable number of open problems; some of them are collected as conjectures in the final section. △ Less

Submitted 27 September, 2023; v1 submitted 23 July, 2020; originally announced July 2020.

Comments: This version (v2) is a postprint (AAM) of an article published in the Memoirs of the American Mathematical Society, with very minor changes from version v1. The final authenticated version is available online at DOI: 10.1090/memo/1418. Remark 3.2 is, however, extended and the new extension in (3) and (4) is not included in the published paper. Remark 3.2(4) makes a correction to [33]

MSC Class: 14M12; 14C05(Primary) 14H10; 14J10; 13C40(Secondary)

Journal ref: Mem. Amer. Math. Soc. 286 (2023), no 1418, 1-113

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

Authors: Rosa M. Miró-Roig, Quang Hoa Tran

Abstract: 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… ▽ More 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. △ Less

Submitted 5 July, 2020; originally announced July 2020.

Comments: 20 pages. To appear in Linear Algebra and its Applications

MSC Class: 13E10; 13H10; 13A30; 13C40

Journal ref: Linear Algebra and its Applications 604(2020), Pages: 346-369

Uniform Steiner bundles

Authors: Simone Marchesi, Rosa Maria Miró-Roig

Abstract: In this work we study $k$-type uniform Steiner bundles, being $k$ the lowest degree of the splitting. We prove sharp upper and lower bounds for the rank in the case $k=1$ and moreover we give families of examples for every allowed possible rank and explain which relation exists between the families. After dealing with the case $k$ in general, we conjecture that every $k$-type uniform Steiner bundl… ▽ More In this work we study $k$-type uniform Steiner bundles, being $k$ the lowest degree of the splitting. We prove sharp upper and lower bounds for the rank in the case $k=1$ and moreover we give families of examples for every allowed possible rank and explain which relation exists between the families. After dealing with the case $k$ in general, we conjecture that every $k$-type uniform Steiner bundle is obtained through the proposed construction technique. △ Less

Submitted 17 May, 2020; originally announced May 2020.

Comments: 23 pages, to appear at Annales de l'Institut Fourier

MSC Class: Primary 14F05; 14J60

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

Authors: Rosa M. Miró-Roig, Quang Hoa Tran

Abstract: 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 t… ▽ More 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$. △ Less

Submitted 16 January, 2020; originally announced January 2020.

Comments: To appear in Journal of Algebra. 20 pages

MSC Class: 14C20; 13E10; 13C40; 13C13; 13D02; 13D40

Journal ref: Journal of Algebra 551 (2020), Pages 209-231

The weak Lefschetz property for Artinian Gorenstein algebras of codimension three

Authors: Rosa Maria Miró-Roig, Quang Hoa Tran

Abstract: We study the weak Lefschetz property of a class of graded Artinian Gorenstein algebras of codimension three associated in a natural way to the Apéry set of a numerical semigroup generated by four natural numbers. We show that these algebras have the weak Lefschetz property whenever the initial degree of their defining ideal is small. We study the weak Lefschetz property of a class of graded Artinian Gorenstein algebras of codimension three associated in a natural way to the Apéry set of a numerical semigroup generated by four natural numbers. We show that these algebras have the weak Lefschetz property whenever the initial degree of their defining ideal is small. △ Less

Submitted 10 December, 2019; originally announced December 2019.

Comments: To appear in JPAA. 29 pages

MSC Class: 13E10; 13H10; 13A30; 13C40

Journal ref: Journal of Pure and Applied Algebra Volume 224(7), 2020, 106305

Minimal set of binomial generators for certain Veronese 3-fold projections

Authors: Liena Colarte Gómez, Rosa Maria Miró-Roig

Abstract: The goal of this paper is to explicitly describe a minimal binomial generating set of a class of lattice ideals, namely the ideal of certain Veronese $3$-fold projections. More precisely, for any integer $d\ge 4$ and any $d$-th root $e$ of 1 we denote by $X_d$ the toric variety defined as the image of the morphism $\varphi _{T_d}:\mathbb{P}^3 \longrightarrow \mathbb{P}^{μ(T_d)-1}$ where $T_d$ are… ▽ More The goal of this paper is to explicitly describe a minimal binomial generating set of a class of lattice ideals, namely the ideal of certain Veronese $3$-fold projections. More precisely, for any integer $d\ge 4$ and any $d$-th root $e$ of 1 we denote by $X_d$ the toric variety defined as the image of the morphism $\varphi _{T_d}:\mathbb{P}^3 \longrightarrow \mathbb{P}^{μ(T_d)-1}$ where $T_d$ are all monomials of degree $d$ in $k[x,y,z,t]$ invariant under the action of the diagonal matrix $M(1,e,e^2,e^3).$ In this work, we describe a $\mathbb{Z}$-basis of the lattice $L_{η}$ associated to $I(X_d)$ as well as a minimal binomial set of generators of the lattice ideal $I(X_d)=I_+(η)$. △ Less

Submitted 7 May, 2019; originally announced May 2019.

Comments: JPAA to appear

Theta divisors and Ulrich bundles on Geometrically ruled surfaces

Authors: M. Aprodu, G. Casnati, L. Costa, R. M. Miró-Roig, M. Teixidor i Bigas

Abstract: We consider the following question: for which invariants $g$ and $e$ is there a geometrically ruled surface $S \rightarrow C$ over a curve $C$ of genus $g$ with invariant $e$ such that $S$ is the support of an Ulrich line bundle with respect to a very ample line bundle? A surprising relation between the existence of certain proper Theta divisors on some moduli spaces of vector bundles on $C$ with… ▽ More We consider the following question: for which invariants $g$ and $e$ is there a geometrically ruled surface $S \rightarrow C$ over a curve $C$ of genus $g$ with invariant $e$ such that $S$ is the support of an Ulrich line bundle with respect to a very ample line bundle? A surprising relation between the existence of certain proper Theta divisors on some moduli spaces of vector bundles on $C$ with the existence of Ulrich line bundles on $S$ will be the key to completely solve the above question. The relation is realized by translating the vanishing conditions characterizing Ulrich line bundles to specific geometric conditions on the symmetric powers of the defining vector bundle of a given ruled surface. This general principle leads to some finer existence results of Ulrich line bundles in particular cases. Another focus is on the rank two case where, with very few exceptions, we show the existence of large families of special Ulrich bundles on arbitrary polarized ruled surfaces. △ Less

Submitted 2 April, 2019; originally announced April 2019.

MSC Class: Primary 14J60; Secondary 14J26

Circulant matrices and Galois-Togliatti systems

Authors: Pietro De Poi, Emilia Mezzetti, Mateusz Michałek, Rosa Maria Miró-Roig, Eran Nevo

Abstract: The goal of this article is to compare the coefficients in the expansion of the permanent with those in the expansion of the determinant of a three-lines circulant matrix. As an application we prove a conjecture concerning the minimality of Galois-Togliatti systems. The goal of this article is to compare the coefficients in the expansion of the permanent with those in the expansion of the determinant of a three-lines circulant matrix. As an application we prove a conjecture concerning the minimality of Galois-Togliatti systems. △ Less

Submitted 25 August, 2018; originally announced August 2018.

MSC Class: 15B05; 15A05; 13E10; 14M25

On the Coefficients of the Permanent and the Determinant of a Circulant Matrix. Applications

Authors: Liena Colarte, Emilia Mezzetti, Rosa Maria Miró-Roig, Martí Salat

Abstract: Let $d(N )$ (resp. $p(N )$) be the number of summands in the determinant (resp. permanent) of an $N\times N$ circulant matrix $A = (a_{ij} )$ given by $a_{ij} = X_{i+j}$ where $i + j$ should be considered $\mod N$ . This short note is devoted to prove that $d(N ) = p(N )$ if and only if $N$ is a prime power. We then give an application to homogeneous monomial ideals failing the Weak Lefschetz prop… ▽ More Let $d(N )$ (resp. $p(N )$) be the number of summands in the determinant (resp. permanent) of an $N\times N$ circulant matrix $A = (a_{ij} )$ given by $a_{ij} = X_{i+j}$ where $i + j$ should be considered $\mod N$ . This short note is devoted to prove that $d(N ) = p(N )$ if and only if $N$ is a prime power. We then give an application to homogeneous monomial ideals failing the Weak Lefschetz property. △ Less

Submitted 8 October, 2018; v1 submitted 15 June, 2018; originally announced June 2018.

Comments: Proc. AMS, to appear

Irreducibility of the moduli space of orthogonal instanton bundles on $\mathbb{P}^n$

Authors: Aline V. Andrade, Simone Marchesi, Rosa Maria Miró-Roig

Abstract: In order to obtain existence criteria for orthogonal instanton bundles on $\mathbb{P}^n$, we provide a bijection between equivalence classes of orthogonal instanton bundles with no global sections and symmetric forms. Using such correspondence we are able to provide explicit examples of orthogonal instanton bundles with no global sections on $\mathbb{P}^n$ and prove that every orthogonal instanton… ▽ More In order to obtain existence criteria for orthogonal instanton bundles on $\mathbb{P}^n$, we provide a bijection between equivalence classes of orthogonal instanton bundles with no global sections and symmetric forms. Using such correspondence we are able to provide explicit examples of orthogonal instanton bundles with no global sections on $\mathbb{P}^n$ and prove that every orthogonal instanton bundle with no global sections on $\mathbb{P}^n$ and charge $c\geq 3$ has rank $r\leq (n-1)c$. We also prove that when the rank $r$ of the bundles reaches the upper bound, $\mathcal{M}_{\mathbb{P}^n}^{\mathcal{O}}(c,r)$, the coarse moduli space of orthogonal instanton bundles with no global sections on $\mathbb{P}^n$, with charge $c\geq 3$ and rank $r$, is affine, reduced and irreducible. Last, we construct Kronecker modules to determine the splitting type of the bundles in $\mathcal{M}_{\mathbb{P}^n}^{\mathcal{O}}(c,r)$, whenever is non-empty. △ Less

Submitted 12 February, 2019; v1 submitted 29 March, 2018; originally announced March 2018.

Comments: 24 pages. We have fixed an inaccuracy in the previous version

MSC Class: 14D20; 14J60

The representation type of determinantal varieties

Authors: Jan O. Kleppe, Rosa M. Miró-Roig

Abstract: This work is entirely devoted to construct huge families of indecomposable arithmetically Cohen-Macaulay (resp. Ulrich) sheaves E of arbitrary high rank on a general standard (resp. linear) determinantal scheme X\subset \PP^n of codimension c \ge 1, n-c \ge 1 and defined by the maximal minors of a t \times (t+c-1) homogeneous matrix A. The sheaves E are constructed as iterated extensions of sheave… ▽ More This work is entirely devoted to construct huge families of indecomposable arithmetically Cohen-Macaulay (resp. Ulrich) sheaves E of arbitrary high rank on a general standard (resp. linear) determinantal scheme X\subset \PP^n of codimension c \ge 1, n-c \ge 1 and defined by the maximal minors of a t \times (t+c-1) homogeneous matrix A. The sheaves E are constructed as iterated extensions of sheaves of lower rank. As applications: (1) we prove that any general standard determinantal scheme X\subset \PP^n is of wild representation type provided the degrees of the entries of the matrix A satisfy some weak numerical assumptions; and (2) we determine values of t, n and n-c for which a linear standard determinantal scheme X\subset \PP^n is of wild representation type with respect to the much more restrictive category of its indecomposable Ulrich sheaves, i.e. X is of Ulrich wild representation type. △ Less

Submitted 22 March, 2018; originally announced March 2018.

Comments: This is a postprint (AAM) of an article published in Algebras and Representation Theory. The final authenticated version is available online at: http://dx.doi.org/10.1007/s10468-017-9673-4

MSC Class: 16G60; 14M12 (Primary) 13C40; 13D07 (Secondary)

Journal ref: Algebr Represent Theor (2017) 20:1029-1059

A Horrocks' theorem for reflexive sheaves

Authors: Laura Costa, Simone Marchesi, Rosa Maria Miró-Roig

Abstract: In this paper, we define $m$-tail reflexive sheaves as reflexive sheaves on projective spaces with the simplest possible cohomology. We prove that the rank of any $m$-tail reflexive sheaf $\mathcal{E}$ on $\mathcal{P}^n$ is greater or equal to $ nm-m$. We completely describe $m$-tail reflexive sheaves on $\mathcal{P}^n$ of minimal rank and we construct huge families of $m$-tail reflexive sheaves o… ▽ More In this paper, we define $m$-tail reflexive sheaves as reflexive sheaves on projective spaces with the simplest possible cohomology. We prove that the rank of any $m$-tail reflexive sheaf $\mathcal{E}$ on $\mathcal{P}^n$ is greater or equal to $ nm-m$. We completely describe $m$-tail reflexive sheaves on $\mathcal{P}^n$ of minimal rank and we construct huge families of $m$-tail reflexive sheaves of higher rank. △ Less

Submitted 5 December, 2017; originally announced December 2017.

Comments: to appear in Journal of Algebra

MSC Class: 14F05; 14J60

On the classification of Togliatti systems

Authors: Rosa Maria Miró-Roig, Martí Salat

Abstract: In [MeMR], Mezzetti and Miró-Roig proved that the minimal number of generators $μ(I)$ of a minimal (smooth) monomial Togliatti system $I\subset k[x_{0},\dotsc,x_{n}]$ satisfies $2n+1\le μ(I)\le \binom{n+d-1}{n-1}$ and they classify all smooth minimal monomial Togliatti systems $I\subset k[x_{0},\dotsc,x_{n}]$ with $2n+1\le μ(I)\le 2n+2$. In this paper, we address the first open case. We classify a… ▽ More In [MeMR], Mezzetti and Miró-Roig proved that the minimal number of generators $μ(I)$ of a minimal (smooth) monomial Togliatti system $I\subset k[x_{0},\dotsc,x_{n}]$ satisfies $2n+1\le μ(I)\le \binom{n+d-1}{n-1}$ and they classify all smooth minimal monomial Togliatti systems $I\subset k[x_{0},\dotsc,x_{n}]$ with $2n+1\le μ(I)\le 2n+2$. In this paper, we address the first open case. We classify all smooth monomial Togliatti systems $I\subset k[x_{0},\dotsc,x_{n}]$ of forms of degree $d\ge 4$ with $μ(I)=2n+3$ and $n\ge 2$ and all monomial Togliatti systems $I\subset k[x_0,x_1,x_2]$ of forms of degree $d\ge 6$ with $μ(I)=7$. △ Less

Submitted 7 October, 2017; originally announced October 2017.

Comments: To appear in Communications in Algebra. arXiv admin note: text overlap with arXiv:1506.05914

Lefschetz properties for complete intersection ideals generated by products of linear forms

Authors: Martina Juhnke-Kubitzke, Rosa M. Miró-Roig, Satoshi Murai, Akihito Wachi

Abstract: In this paper, we study the strong Lefschetz property of artinian complete intersection ideals generated by products of linear forms. We prove the strong Lefschetz property for a class of such ideals with binomial generators. In this paper, we study the strong Lefschetz property of artinian complete intersection ideals generated by products of linear forms. We prove the strong Lefschetz property for a class of such ideals with binomial generators. △ Less

Submitted 7 August, 2017; originally announced August 2017.

Comments: 9 pages

MSC Class: 13E10; 13C40

The Minimal Resolution Conjecture on a general quartic surface in $\mathbb P^3$

Authors: Mats Boij, Juan C. Migliore, Rosa María Miró-Roig, Uwe Nagel

Abstract: Mustaţă has given a conjecture for the graded Betti numbers in the minimal free resolution of the ideal of a general set of points on an irreducible projective algebraic variety. For surfaces in $\mathbb P^3$ this conjecture has been proven for points on quadric surfaces and on general cubic surfaces. In the latter case, Gorenstein liaison was the main tool. Here we prove the conjecture for genera… ▽ More Mustaţă has given a conjecture for the graded Betti numbers in the minimal free resolution of the ideal of a general set of points on an irreducible projective algebraic variety. For surfaces in $\mathbb P^3$ this conjecture has been proven for points on quadric surfaces and on general cubic surfaces. In the latter case, Gorenstein liaison was the main tool. Here we prove the conjecture for general quartic surfaces. Gorenstein liaison continues to be a central tool, but to prove the existence of our links we make use of certain dimension computations. We also discuss the higher degree case, but now the dimension count does not force the existence of our links. △ Less

Submitted 27 May, 2018; v1 submitted 18 July, 2017; originally announced July 2017.

Comments: 16 pages, to appear in J. Pure Appl. Algebra. Proof of the main theorem has been substantially revised

MSC Class: 13D02; 13C40; 13D40; 13E10; 14M06

Togliatti systems and Galois coverings

Authors: Emilia Mezzetti, Rosa Maria Miró-Roig

Abstract: We study the homogeneous artinian ideals of the polynomial ring $K[x,y,z]$, generated by the homogenous polynomials of degree $d$ which are invariant under an action of the cyclic group $\mathbb Z/d\mathbb Z$, for any $d\geq 3$. We prove that they are all monomial Togliatti systems, and that they are minimal if the action is defined by a diagonal matrix having on the diagonal $(1, e, e^a)$, where… ▽ More We study the homogeneous artinian ideals of the polynomial ring $K[x,y,z]$, generated by the homogenous polynomials of degree $d$ which are invariant under an action of the cyclic group $\mathbb Z/d\mathbb Z$, for any $d\geq 3$. We prove that they are all monomial Togliatti systems, and that they are minimal if the action is defined by a diagonal matrix having on the diagonal $(1, e, e^a)$, where $e$ is a primitive $d$-th root of the unity. We get a complete description when $d$ is prime or a power of a prime. We also establish the relation of these systems with linear Ceva configurations. △ Less

Submitted 6 September, 2018; v1 submitted 17 November, 2016; originally announced November 2016.

Comments: 28 pages, 1 figure; final version published in Journal of Algebra

MSC Class: 14M25; 13E10; 14N05; 14N15; 53A20

Journal ref: J. Algebra 509 (2018), 263-291