Showing 1–21 of 21 results for author: Marques, P M

The $\text{v}$-function of powers of sums of ideals

Authors: Antonino Ficarra, Pedro Macias Marques

Abstract: Let $K$ be a field, $I\subset R=K[x_1,\dots,x_n]$ and $J\subset T=K[y_1,\dots,y_m]$ be graded ideals. Set $S=R\otimes_KT$ and let $L=IS+JS$. The behaviour of the $\text{v}$-function $\text{v}(L^k)$ in terms of the $\text{v}$-functions $\text{v}(I^k)$ and $\text{v}(J^k)$ is investigated. When $I$ and $J$ are monomial ideals, we describe $\text{v}(L^k)$, giving an explicit formula involving… ▽ More Let $K$ be a field, $I\subset R=K[x_1,\dots,x_n]$ and $J\subset T=K[y_1,\dots,y_m]$ be graded ideals. Set $S=R\otimes_KT$ and let $L=IS+JS$. The behaviour of the $\text{v}$-function $\text{v}(L^k)$ in terms of the $\text{v}$-functions $\text{v}(I^k)$ and $\text{v}(J^k)$ is investigated. When $I$ and $J$ are monomial ideals, we describe $\text{v}(L^k)$, giving an explicit formula involving $\text{v}(I^k)$ and $\text{v}(J^k)$. △ Less

Submitted 21 June, 2024; v1 submitted 27 May, 2024; originally announced May 2024.

Jordan type of an Artinian algebra, a survey

Authors: Nasrin Altafi, Anthony Iarrobino, Pedro Macias Marques

Abstract: We consider Artinian algebras $A$ over a field $\mathsf{k}$, both graded and local algebras. The Lefschetz properties of graded Artinian algebras have been long studied, but more recently the Jordan type invariant of a pair $(\ell,A)$ where $\ell$ is an element of the maximal ideal of $A$, has been introduced. The Jordan type gives the sizes of the Jordan blocks for multiplication by $\ell$ on… ▽ More We consider Artinian algebras $A$ over a field $\mathsf{k}$, both graded and local algebras. The Lefschetz properties of graded Artinian algebras have been long studied, but more recently the Jordan type invariant of a pair $(\ell,A)$ where $\ell$ is an element of the maximal ideal of $A$, has been introduced. The Jordan type gives the sizes of the Jordan blocks for multiplication by $\ell$ on $A$, and it is a finer invariant than the pair $(\ell,A)$ being strong or weak Lefschetz. The Jordan degree type for a graded Artinian algebra adds to the Jordan type the initial degree of ``strings'' in the decomposition of $A$ as a $\mathsf{k}[\ell]$ module. We here give a brief survey of Jordan type for Artinian algebras, Jordan degree type for graded Artinian algebras, and related invariants for local Artinian algebras, with a focus on recent work and open problems. △ Less

Submitted 3 July, 2023; originally announced July 2023.

Comments: 25 pages, comments welcome

MSC Class: Primary: 13H10; Secondary: 13E10; 13M05; 14B07; 14C05

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

Artinian Gorenstein algebras of embedding dimension four and socle degree three

Authors: Pedro Macias Marques, Oana Veliche, Jerzy Weyman

Abstract: We prove that in the polynomial ring $Q=\mathsf{k}[x,y,z,w]$, with $\mathsf{k}$ an algebraically closed field of characteristic zero, all Gorenstein homogeneous ideals $I$ such that $(x,y,z,w)^4\subseteq I \subseteq (x,y,z,w)^2$ can be obtained by \emph{doubling} from a grade three perfect ideal $J\subset I$ such that $Q/J$ is a locally Gorenstein ring. Moreover, a graded minimal free resolution o… ▽ More We prove that in the polynomial ring $Q=\mathsf{k}[x,y,z,w]$, with $\mathsf{k}$ an algebraically closed field of characteristic zero, all Gorenstein homogeneous ideals $I$ such that $(x,y,z,w)^4\subseteq I \subseteq (x,y,z,w)^2$ can be obtained by \emph{doubling} from a grade three perfect ideal $J\subset I$ such that $Q/J$ is a locally Gorenstein ring. Moreover, a graded minimal free resolution of the $Q$-module $Q/I$ can be completely described in terms of a graded minimal free resolution of the $Q$-module $Q/J$ and a homogeneous embedding of a shift of the canonical module $ω_{Q/J}$ into $Q/J$. △ Less

Submitted 11 December, 2022; originally announced December 2022.

Comments: 42 pages

MSC Class: Primary 13C05. Secondary 13H10; 13A02; 13D02; 13D07

Journal ref: Journal of Algebra (2024) Volume 638, 788-839

Higher Lorentzian Polynomials, Higher Hessians, and the Hodge-Riemann Property for Graded Oriented Artinian Gorenstein Algebras in Codimension Two

Authors: Pedro Macias Marques, Chris McDaniel, Alexandra Seceleanu, Junzo Watanabe

Abstract: A (standard graded) oriented Artinian Gorenstein algebra over the real numbers is uniquely determined by a real homogeneous polynomial called its Macaulay dual generator. We study the mixed Hodge-Riemann relations on oriented Artinian Gorenstein algebras for which we give a signature criterion on the higher mixed Hessian matrices of its Macaulay dual generator. Inspired by recent work of Brändén a… ▽ More A (standard graded) oriented Artinian Gorenstein algebra over the real numbers is uniquely determined by a real homogeneous polynomial called its Macaulay dual generator. We study the mixed Hodge-Riemann relations on oriented Artinian Gorenstein algebras for which we give a signature criterion on the higher mixed Hessian matrices of its Macaulay dual generator. Inspired by recent work of Brändén and Huh, we introduce a class of homogeneous polynomials in two variables called $i$-Lorentzian polynomials, and show that these are exactly the Macaulay dual generators of oriented Artinian Gorenstein algebras in codimension two satisfying mixed Hodge-Riemann relations up to degree $i$ on the positive orthant of linear forms. We further show that the set of $i$-Lorentzian polynomials of degree $d$ are in one-to-one correspondence with the set of totally nonnegative Toeplitz matrices of size depending on $i$ and $d$. A corollary is that all normally stable polynomials, i.e. polynomials whose normalized coefficients form a PF sequence, are $i$-Lorentzian. Another corollary is an analogue of Whitney's theorem for Toeplitz matrices, which appears to be new: the closure of the set of totally positive Toeplitz matrices, in the Euclidean space of all real matrices of a given size, is equal to the set of totally nonnegative Toeplitz matrices. △ Less

Submitted 12 June, 2023; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: Rewritten in parts, other minor edits made, 1 figure added, comments still welcome

MSC Class: 13H10; 11B83; 13E10; 14F45; 15B05; 15B35

Reducibility of a family of local Artinian Gorenstein algebras

Authors: Anthony Iarrobino, Pedro Macias Marques

Abstract: The Jordan type of an Artinian algebra is the Jordan block partition associated to multiplication by a generic element of the maximal ideal. We study the Jordan type for Artinian Gorenstein (AG) local algebras A, and the interaction of Jordan type with the symmetric decomposition of the Hilbert function H(A). We give examples of Gorenstein sequences H for which the family Gor(H) of AG algebras hav… ▽ More The Jordan type of an Artinian algebra is the Jordan block partition associated to multiplication by a generic element of the maximal ideal. We study the Jordan type for Artinian Gorenstein (AG) local algebras A, and the interaction of Jordan type with the symmetric decomposition of the Hilbert function H(A). We give examples of Gorenstein sequences H for which the family Gor(H) of AG algebras having Hilbert function H has several irreducible components, each corresponding to a symmetric decomposition of H. The component structure results from the intersection of two opposing filtrations of the family Gor(H) of AG algebras: that by Jordan type satisfies the usual dominance property; the second filtration, by symmetric decomposition, satisfies a known semicontinuity property. Our examples are in codimension three -- the lowest codimension of such an example, as Gor(H) is irreducible in codimension two. △ Less

Submitted 29 December, 2021; originally announced December 2021.

Comments: 43 pages, 1 figure, comments welcome

MSC Class: 13H10 (Primary) 13E10; 14B07; 14C05 (Secondary)

Cohomological Blow Ups of Graded Artinian Gorenstein Algebras Along Surjective Maps

Authors: Anthony Iarrobino, Pedro Macias Marques, Chris McDaniel, Alexandra Seceleanu, Junzo Watanabe

Abstract: We introduce the cohomological blow up of a graded Artinian Gorenstein (AG) algebra along a surjective map, which we term BUG (Blow Up Gorenstein) for short. This is intended to translate to an algebraic context the cohomology ring of a blow up of a projective manifold along a projective submanifold. We show, among other things, that a BUG is a connected sum, that it is the general fiber in a flat… ▽ More We introduce the cohomological blow up of a graded Artinian Gorenstein (AG) algebra along a surjective map, which we term BUG (Blow Up Gorenstein) for short. This is intended to translate to an algebraic context the cohomology ring of a blow up of a projective manifold along a projective submanifold. We show, among other things, that a BUG is a connected sum, that it is the general fiber in a flat family of algebras, and that it preserves the strong Lefschetz property. We also show that standard graded compressed algebras are rarely BUGs, and we classify those BUGs that are complete intersections. We have included many examples throughout this manuscript. △ Less

Submitted 10 September, 2021; originally announced September 2021.

Comments: Comments welcome!

MSC Class: 13H10; 13E10 (primary); 14D06; 14F45; 55R10 (secondary)

BV right continuous solutions of differential inclusions involving time dependent maximal monotone operators

Authors: Dalila Azzam-Laouir, Charles Castaing, M. D. P. Monteiro Marques

Abstract: This paper is devoted to the study of evolution problems involving time dependent maximal monotone operators, which are right continuous and bounded in variation with respect to the Vladimirov's pseudo distance. Several variants and applications are presented. This paper is devoted to the study of evolution problems involving time dependent maximal monotone operators, which are right continuous and bounded in variation with respect to the Vladimirov's pseudo distance. Several variants and applications are presented. △ Less

Submitted 1 March, 2021; originally announced March 2021.

MSC Class: 34H05; 34K35; 60H10 28A25; 28C20

A note on finite determinacy of matrices

Authors: Thuy Huong Pham, Pedro Macias Marques

Abstract: In this note, we give a necessary and sufficient condition for a matrix A in M to be finitely G-determined, where M is the ring of 2 x 2 matrices whose entries are formal power series over an infinite field, and G is a group acting on M by change of coordinates together with multiplication by invertible matrices from both sides. In this note, we give a necessary and sufficient condition for a matrix A in M to be finitely G-determined, where M is the ring of 2 x 2 matrices whose entries are formal power series over an infinite field, and G is a group acting on M by change of coordinates together with multiplication by invertible matrices from both sides. △ Less

Submitted 17 September, 2020; v1 submitted 30 August, 2020; originally announced August 2020.

Comments: 6 pages, final version, to appear in the PAMQ special issue in honor of Professor Gert-Martin Greuel's 75th birthday

MSC Class: 14B05; 13A50; 13F25

Symmetric Decomposition of the Associated Graded Algebra of an Artinian Gorenstein Algebra

Authors: Anthony Iarrobino, Pedro Macias Marques

Abstract: We study the symmetric subquotient decomposition of the associated graded algebras $A^*$ of a non-homogeneous commutative Artinian Gorenstein (AG) algebra $A$. This decomposition arises from the stratification of $A^*$ by a sequence of ideals $A^*=C_A(0)\supset C_A(1)\supset\cdots$ whose successive quotients $Q(a)=C(a)/C(a+1)$ are reflexive $A^*$ modules. These were introduced by the first author,… ▽ More We study the symmetric subquotient decomposition of the associated graded algebras $A^*$ of a non-homogeneous commutative Artinian Gorenstein (AG) algebra $A$. This decomposition arises from the stratification of $A^*$ by a sequence of ideals $A^*=C_A(0)\supset C_A(1)\supset\cdots$ whose successive quotients $Q(a)=C(a)/C(a+1)$ are reflexive $A^*$ modules. These were introduced by the first author, and have been used more recently by several groups, especially those interested in short Gorenstein algebras, and in the scheme length (cactus rank) of forms. For us a Gorenstein sequence is an integer sequence $H$ occurring as the Hilbert function for an AG algebra $A$, that is not necessarily homogeneous. Such a Hilbert function $H(A)$ is the sum of symmetric non-negative sequences $H_A(a)=H(Q_A(a))$, each having center of symmetry $(j-a)/2$ where $j$ is the socle degree of $A$: we call these the symmetry conditions, and the decomposition $\mathcal{D}(A)=(H_A(0),H_A(1),\ldots)$ the symmetric decomposition of $H(A)$. We here study which sequences may occur as the summands $H_A(a)$: in particular we construct in a systematic way examples of AG algebras $A$ for which $H_A(a)$ can have interior zeroes, as $H_A(a)=(0,s,0,\ldots,0,s,0)$. We also study the symmetric decomposition sets $\mathcal{D}(A)$, and in particular determine which sequences $H_A(a)$ can be non-zero when the dual generator is linear in a subset of the variables. Several groups have studied "exotic summands" of the Macaulay dual generator $F$. Studying these, we recall a normal form for the Macaulay dual generator of an AG algebra that has no "exotic" summands. We apply this to Gorenstein algebras that are connected sums. We give throughout many examples and counterexamples, and conclude with some open questions about symmetric decomposition. △ Less

Submitted 29 July, 2020; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: 55 pages, some corrections and clarifications were made, index added, to appear in Journal of Pure and Applied Algebra

MSC Class: Primary: 13H10; Secondary: 13E10; 14B07; 14C05

Journal ref: J. Pure and Applied Algebra, Vol. 225 no. 3 (2021), paper # 106496, 49p

Skew-Symmetric Tensor Decomposition

Authors: Enrique Arrondo, Alessandra Bernardi, Pedro Macias Marques, Bernard Mourrain

Abstract: We introduce the ``skew apolarity lemma'' and we use it to give algorithms for the skew-symmetric rank and the decompositions of tensors in {$\bigwedge^dV_{\mathbb{C}}$ with $d\leq 3$ and $\dim V_{\mathbb{C}} \leq 8$}. New algorithms to compute the rank and a minimal decomposition of a tritensor are also presented. We introduce the ``skew apolarity lemma'' and we use it to give algorithms for the skew-symmetric rank and the decompositions of tensors in {$\bigwedge^dV_{\mathbb{C}}$ with $d\leq 3$ and $\dim V_{\mathbb{C}} \leq 8$}. New algorithms to compute the rank and a minimal decomposition of a tritensor are also presented. △ Less

Submitted 15 June, 2019; v1 submitted 30 November, 2018; originally announced November 2018.

Comments: 25 pages, 3 figures

Journal ref: Communications in Contemporary Mathematics, 2019

Free extensions and Lefschetz properties, with an application to rings of relative coinvariants

Authors: Chris McDaniel, Shujian Chen, Anthony Iarrobino, Pedro Macias Marques

Abstract: Graded Artinian algebras can be regarded as algebraic analogues of cohomology rings (in even degrees) of compact topological manifolds. In this analogy, a free extension of a base ring with a fiber ring corresponds to a fiber bundle over a manifold. For rings, as with manifolds, it is a natural question to ask: to what extent do properties of the base and the fiber carry over to the extension? For… ▽ More Graded Artinian algebras can be regarded as algebraic analogues of cohomology rings (in even degrees) of compact topological manifolds. In this analogy, a free extension of a base ring with a fiber ring corresponds to a fiber bundle over a manifold. For rings, as with manifolds, it is a natural question to ask: to what extent do properties of the base and the fiber carry over to the extension? For example, if the base and fiber both satisfy a strong Lefschetz property, can we conclude the same for the extension? Or, more generally, can one determine the generic Jordan type for the extension given the generic Jordan types of the base and fiber? We address these questions using the relative coinvariant rings as prototypical models. We show that if $V$ is a vector space and if the subgroup $W$ of the general linear group Gl(V), is a non-modular finite reflection group and $K\subset W$ is a non parabolic reflection subgroup, then the relative coinvariant ring $R^K_W$ cannot have a linear element of strong Lefschetz Jordan type. However, we give examples where these rings $R^K_W$, some with non-unimodal Hilbert functions, nevertheless have (non-homogeneous) elements of strong Lefschetz Jordan type. Some of these examples give rise to open questions concerning Lefschetz properties of certain algebras $A(m,n)$, related to combinatorial questions proposed and partially answered by G. Almqvist. △ Less

Submitted 6 December, 2018; v1 submitted 16 July, 2018; originally announced July 2018.

Comments: 34 p, shortened, and revised for clarity

MSC Class: 13E10 (Primary); 13A50; 13D40; 13H10; 14C05; 14L35; 20F55 (Secondary)

Journal ref: J. Pure and Applied Algebra 226 (2022), no. 1, Paper No. 106787, 52 pp

Artinian Gorenstein algebras that are free extensions over ${\sf k}[t]/(t^n)$, and Macaulay duality

Authors: Anthony Iarrobino, Pedro Macias Marques, Chris McDaniel

Abstract: T. Harima and J. Watanabe studied the Lefschetz properties of free extension Artinian algebras $C$ over a base $A$ with fibre $B$. The free extensions are deformations of the usual tensor product, when $C$ is also Gorenstein, so are $A$ and $B$, and it is natural to ask for the relation among the Macaulay dual generators for the algebras. Writing a dual generator $F$ for $C$ as a homogeneous "poly… ▽ More T. Harima and J. Watanabe studied the Lefschetz properties of free extension Artinian algebras $C$ over a base $A$ with fibre $B$. The free extensions are deformations of the usual tensor product, when $C$ is also Gorenstein, so are $A$ and $B$, and it is natural to ask for the relation among the Macaulay dual generators for the algebras. Writing a dual generator $F$ for $C$ as a homogeneous "polynomial" in $T$ and the dual variables for $B$, and given the dual generator for $B$, we give sufficient conditions on $F$ that ensure that $C$ is a free extension of $A={\sf k}[t]/(t^n)$ with fiber $B$. We give examples that explore the sharpness of the statements. We also consider a special set of coinvariant algebras $C$ which are free extensions of $A$, but which do not satisfy the sufficient conditions of our main result. △ Less

Submitted 9 August, 2019; v1 submitted 8 July, 2018; originally announced July 2018.

Comments: 25 pages, we clarified the assumption of non-standard grading; we added a Lemma and detail in some Examples, in response to referee comment

MSC Class: 13E10 (primary); 13A50; 13D40; 13H10; 14D06 (secondary)

Free Extensions and Jordan type

Authors: Anthony Iarrobino, Pedro Macias Marques, Chris McDaniel

Abstract: Free extensions of commutative Artinian algebras were introduced by T. Harima and J. Watanabe. The Jordan type of a multiplication map $m$ by a nilpotent element of an Artinian algebra is the partition determining the sizes of the blocks in a Jordan matrix for $m$. We show that a free extension of the Artinian algebra $A$ with fibre $B$ is a deformation of the usual tensor product. This has conseq… ▽ More Free extensions of commutative Artinian algebras were introduced by T. Harima and J. Watanabe. The Jordan type of a multiplication map $m$ by a nilpotent element of an Artinian algebra is the partition determining the sizes of the blocks in a Jordan matrix for $m$. We show that a free extension of the Artinian algebra $A$ with fibre $B$ is a deformation of the usual tensor product. This has consequences for the generic Jordan types of $A,B$ and $C$, showing that the Jordan type of $C$ is at least that of the usual tensor product in the dominance order. We give applications to algebras of relative coinvariants of linear group actions on a polynomial ring. △ Less

Submitted 5 January, 2020; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: v3 17p. Has clarification of free extension as deformation of tensor product, after referee comment

MSC Class: 13E10 (Primary); 13A50; 13D40; 13H10; 14B07; 14C05

Journal ref: J. Algebra 549 (2020), 346-364

Artinian algebras and Jordan type

Authors: Anthony Iarrobino, Pedro Macias Marques, Chris McDaniel

Abstract: The Jordan type of an element $\ell$ of the maximal ideal of an Artinian k-algebra A acting on an A-module M of k-dimension n, is the partition of n given by the Jordan block decomposition of the multiplication map $m_\ell$ on M. In general the Jordan type has more information than whether the pair $(\ell,M)$ is strong or weak Lefschetz. We develop basic properties of the Jordan type and their loc… ▽ More The Jordan type of an element $\ell$ of the maximal ideal of an Artinian k-algebra A acting on an A-module M of k-dimension n, is the partition of n given by the Jordan block decomposition of the multiplication map $m_\ell$ on M. In general the Jordan type has more information than whether the pair $(\ell,M)$ is strong or weak Lefschetz. We develop basic properties of the Jordan type and their loci for modules over graded or local Artinian algebras. We as well study the relation of generic Jordan type of $A$ to the Hilbert function of $A$. We introduce and study a finer invariant, the Jordan degree type. In our last sections we give an overview of topics such as the Jordan types for Nagata idealizations, for modular tensor products, and for free extensions, including examples and some new results. We as well propose open problems. △ Less

Submitted 31 August, 2022; v1 submitted 20 February, 2018; originally announced February 2018.

Comments: 54 pages. Minor correction Def. 2.1, Lemma 2.2, Lemma 2.29. Updated references

MSC Class: 13E10 (Primary) 13D40; 13H10; 14B07; 14C05 (Secondary)

Monads on projective varieties

Authors: Simone Marchesi, Pedro Macias Marques, Helena Soares

Abstract: We generalise Fløystad's theorem on the existence of monads on the projective space to a larger set of projective varieties. We consider a variety $X$, a line bundle $L$ on $X$, and a base-point-free linear system of sections of $L$ giving a morphism to the projective space whose image is either arithmetically Cohen-Macaulay (ACM), or linearly normal and not contained in a quadric. We give necessa… ▽ More We generalise Fløystad's theorem on the existence of monads on the projective space to a larger set of projective varieties. We consider a variety $X$, a line bundle $L$ on $X$, and a base-point-free linear system of sections of $L$ giving a morphism to the projective space whose image is either arithmetically Cohen-Macaulay (ACM), or linearly normal and not contained in a quadric. We give necessary and sufficient conditions on integers $a$, $b$, and $c$ for a monad of type \[ 0\to(L^\vee)^a\to\mathcal{O}_{X}^{\,b}\to L^c\to0 \] to exist. We show that under certain conditions there exists a monad whose cohomology sheaf is simple. We furthermore characterise low-rank vector bundles that are the cohomology sheaf of some monad as above. Finally, we obtain an irreducible family of monads over the projective space and make a description on how the same method could be used on an ACM smooth projective variety $X$. We establish the existence of a coarse moduli space of low-rank vector bundles over an odd-dimensional $X$ and show that in one case this moduli space is irreducible. △ Less

Submitted 30 December, 2017; originally announced January 2018.

Comments: 22 pages, to appear in Pacific Journal of Mathematics

MSC Class: Primary 14F05; Secondary 14J10; 14J60

Journal ref: Pacific Journal of Mathematics 296 (2018), no. 1, 155-180

On polynomials with given Hilbert function and applications

Authors: Alessandra Bernardi, Joachim Jelisiejew, Pedro Macias Marques, Kristian Ranestad

Abstract: Using Macaulay's correspondence we study the family of Artinian Gorenstein local algebras with fixed symmetric Hilbert function decomposition. As an application we give a new lower bound for cactus varieties of the third Veronese embedding. We discuss the case of cubic surfaces, where interesting phenomena occur. Using Macaulay's correspondence we study the family of Artinian Gorenstein local algebras with fixed symmetric Hilbert function decomposition. As an application we give a new lower bound for cactus varieties of the third Veronese embedding. We discuss the case of cubic surfaces, where interesting phenomena occur. △ Less

Submitted 23 June, 2016; v1 submitted 30 November, 2012; originally announced November 2012.

MSC Class: 13H10 (Primary) 14Q15; 14C05 (Secondary)

Journal ref: Collectanea Mathematica, 69 (2018) 39-64

Stability of syzygy bundles

Authors: Pedro Macias Marques, Rosa María Miró-Roig

Abstract: We show that given integers $N$, $d$ and $n$ such that ${N\ge2}$, ${(N,d,n)\ne(2,2,5)}$, and ${N+1\le n\le\tbinom{d+N}{N}}$, there is a family of $n$ monomials in $K[X_0,\ldots,X_N]$ of degree $d$ such that their syzygy bundle is stable. Case ${N\ge3}$ was obtained independently by Coandǎ with a different choice of families of monomials [Coa09]. For ${(N,d,n)=(2,2,5)}$, there are $5$ monomials o… ▽ More We show that given integers $N$, $d$ and $n$ such that ${N\ge2}$, ${(N,d,n)\ne(2,2,5)}$, and ${N+1\le n\le\tbinom{d+N}{N}}$, there is a family of $n$ monomials in $K[X_0,\ldots,X_N]$ of degree $d$ such that their syzygy bundle is stable. Case ${N\ge3}$ was obtained independently by Coandǎ with a different choice of families of monomials [Coa09]. For ${(N,d,n)=(2,2,5)}$, there are $5$ monomials of degree~$2$ in $K[X_0,X_1,X_2]$ such that their syzygy bundle is semistable. △ Less

Submitted 16 August, 2010; originally announced August 2010.

Comments: 16 pages, to appear in the Proceedings of the American Mathematical Society

MSC Class: 14J60; 14F05

Journal ref: Proceedings of the American Mathematical Society 139 (2011), no. 9, 3155-3170

Splitting criteria for vector bundles on the symplectic isotropic Grassmannian

Authors: Pedro Macias Marques, Luke Oeding

Abstract: We extend a theorem of Ottaviani on cohomological splitting criterion for vector bundles over the Grassmannian to the case of the symplectic isotropic Grassmanian. We find necessary and sufficient conditions for the case of the Grassmanian of symplectic isotropic lines. For the general case the generalization of Ottaviani's conditions are sufficient for vector bundles over the symplectic isotropi… ▽ More We extend a theorem of Ottaviani on cohomological splitting criterion for vector bundles over the Grassmannian to the case of the symplectic isotropic Grassmanian. We find necessary and sufficient conditions for the case of the Grassmanian of symplectic isotropic lines. For the general case the generalization of Ottaviani's conditions are sufficient for vector bundles over the symplectic isotropic Grassmannian. By a calculation in the program LiE, we find that Ottaviani's conditions are necessary for Lagrangian Grassmannian of isotropic $k$-planes for $k\leq 6$, but they fail to be necessary for the case of the Lagrangian Grassmannian of isotropic 7-planes. Finally, we find a related set of necessary and sufficient splitting criteria for the Lagrangian Grassmannian. △ Less

Submitted 15 March, 2010; originally announced March 2010.

Comments: 21 pages. Work initiated at PRAGMATIC 2009

MSC Class: 14M17; 14J60; 14F05

Journal ref: Le Matematiche (Catania) 64 (2009), No. 2, 155-176

Stability and moduli spaces of syzygy bundles

Authors: Pedro Macias Marques

Abstract: It is a longstanding problem in Algebraic Geometry to determine whether the syzygy bundle $E_{d_1,...,d_n}$ on $\mathbb{P}^N$ defined as the kernel of a general epimorphism \[φ:\mathcal{O}(-d_1)\oplus...\oplus\mathcal{O}(-d_n) \to\mathcal{O}\] is (semi)stable. In this thesis, attention is restricted to the case of syzygy bundles $\mathrm{Syz}(f_1,...,f_n)$ on $\mathbb{P}^N$ associated to $n$ gen… ▽ More It is a longstanding problem in Algebraic Geometry to determine whether the syzygy bundle $E_{d_1,...,d_n}$ on $\mathbb{P}^N$ defined as the kernel of a general epimorphism \[φ:\mathcal{O}(-d_1)\oplus...\oplus\mathcal{O}(-d_n) \to\mathcal{O}\] is (semi)stable. In this thesis, attention is restricted to the case of syzygy bundles $\mathrm{Syz}(f_1,...,f_n)$ on $\mathbb{P}^N$ associated to $n$ generic forms $f_1,...,f_n\in K[X_0,...,X_N]$ of the same degree $d$, for ${N\ge2}$. The first goal is to prove that $\mathrm{Syz}(f_1,...,f_n)$ is stable if \[N+1\le n\le\tbinom{d+N}{N},\] except for the case ${(N,n,d)=(2,5,2)}$. The second is to study moduli spaces of stable rank ${n-1}$ vector bundles on $\mathbb{P}^N$ containing syzygy bundles. In a joint work with Laura Costa and Rosa Mar{\'ı}a Miró-Roig, we prove that $N$, $d$ and $n$ are as above, then the syzygy bundle $\mathrm{Syz}(f_1,...,f_n)$ is unobstructed and it belongs to a generically smooth irreducible component of dimension ${n\tbinom{d+N}{N}-n^2}$, if ${N\ge3}$, and ${n\tbinom{d+2}{2}+n\tbinom{d-1}{2}-n^2}$, if ${N=2}$. The results in chapter 3, for $N\ge3$, were obtained independently by Iustin Coandă in arXiv:0909.4435. △ Less

Submitted 1 October, 2009; v1 submitted 25 September, 2009; originally announced September 2009.

Comments: PhD thesis

MSC Class: 14J60; 14D20; 14F05; 13F20; 13D02

Stability and Unobstructedness of Syzygy Bundles

Authors: L. Costa, P. Macias Marques, R. M. Miró-Roig

Abstract: It is a longstanding problem in Algebraic Geometry to determine whether the syzygy bundle $E_{d_1,..., d_n}$ on $\PP^N$ defined as the kernel of a general epimorphism $\xymatrix{φ:\cO(-d_1)\oplus...\oplus\cO(-d_n)\ar[r] &\cO}$ is (semi)stable. In this note, we restrict our attention to the case of syzygy bundles $E_{d,n}$ on $\PP^N$ associated to $n$ generic forms… ▽ More It is a longstanding problem in Algebraic Geometry to determine whether the syzygy bundle $E_{d_1,..., d_n}$ on $\PP^N$ defined as the kernel of a general epimorphism $\xymatrix{φ:\cO(-d_1)\oplus...\oplus\cO(-d_n)\ar[r] &\cO}$ is (semi)stable. In this note, we restrict our attention to the case of syzygy bundles $E_{d,n}$ on $\PP^N$ associated to $n$ generic forms $f_1,...,f_n\in K[X_0,X_1,..., X_N]$ of the same degree $d$. Our first goal is to prove that $E_{d,n}$ is stable if $N+1\le n\le\tbinom{d+2}{2}+N-2$. This bound improves, in general, the bound $n\le d(N+1)$ given by G. Hein in \cite{B}, Appendix A. In the last part of the paper, we study moduli spaces of stable rank $n-1$ vector bundles on $\PP^N$ containing syzygy bundles. We prove that if $N+1\le n\le\tbinom{d+2}{2}+N-2$ and $N\ne 3$, then the syzygy bundle $E_{d,n}$ is unobstructed and it belongs to a generically smooth irreducible component of dimension $n\tbinom{d+N}{N}-n^2$, if $N \geq 4$, and $n\tbinom{d+2}{2}+n\tbinom{d-1}{2}-n^2$, if N=2. △ Less

Submitted 30 March, 2009; v1 submitted 16 January, 2009; originally announced January 2009.

Comments: 32 pages, minor changes

MSC Class: 14F05

Journal ref: Journal of Pure and Applied Algebra 214 (2010), no. 7, 1241-1262