arXiv subjects

Dayane Lira

Publications and source records attributed to Dayane Lira.

3 recordsLinked to original sources

arXiv2025

Special fibers of coordinate sections of Hankel Matrices

We investigate the special fibers associated with certain coordinate sections of Hankel determinantal ideals. We provide explicit descriptions of their defining equations, showing that these equations admit a natural matrix structure. In particular, we prove that they are Cohen-Macaulay and cannot, in general, be minimally generated only by quadrics and cubics. Instead, we show that the degrees of their minimal generators grow with the size of the minors involved. In one case, we also prove that the Rees algebra is of fiber type. Additionally, we compute algebraic invariants of these special fibers. Our results partially build on and extend the work of Ramkumar and Sammartano on $2$-determinantal ideals and answer some of the questions posed by Cunha, Mostafazadehfard, Ramos, and Simis in earlier work.

math.AC↗

arXiv2025

Cohen--Macaulay ideals of codimension two and the geometry of plane points

We consider classes of codimension two Cohen--Macaulay ideals over a standard graded polynomial ring over a field. We revisit Vasconcelos' problem on $3\times 2$ matrices with homogeneous entries and describe the homological details of Geramita's work on plane points. An additional topic is the homological discussion of minors fixing a submatrix in the context of a perfect codimension two ideal. A combinatorial outcome of the results is a proof of the conjecture on the Jacobian ideal of a hyperplane arrangement stated by Burity, Simis and Toh\v{a}neanu. The basic drive behind the present landscapes is a thorough analysis of the related Hilbert--Burch matrix, often without assuming equigeneration, linear presentation or even the popular $G_d$ condition of Artin--Nagata.

math.AC↗

arXiv2021

Equigenerated Gorenstein ideals of codimension three

We focus on the structure of a homogeneous Gorenstein ideal $I$ of codimension three in a standard polynomial ring $R=\kk[x_1,\ldots,x_n]$ over a field $\kk$, assuming that $I$ is generated in a fixed degree $d$. For such an ideal $I$ this degree comes along with the minimal number of generators of $I$ and the degree of the entries of the associated skew-symmetric matrix in a simple formula. We give an elementary characteristic-free argument to the effect that, for any such data linked by this formula, there exists a Gorenstein ideal $I$ of codimension three filling them. We conjecture that, for arbitrary $n\geq 2$, an ideal $I\subset \kk[x_1,\ldots,x_n]$ generated by a general set of $r\geq n+2$ forms of degree $d\geq 2$ is Gorenstein if and only if $d=2$ and $r= {{n+1}\choose 2}-1$. We prove the `only if' implication of this conjecture when $n=3$. For arbitrary $n\geq 2$, we prove that if $d=2$ and $r\geq (n+2)(n+1)/6$ then the ideal is Gorenstein if and only if $r={{n+1}\choose 2}-1$, which settles the `if' assertion of the conjecture for $n\leq 5$. Finally, we elaborate around one of the questions of Fröberg--Lundqvist. In a different direction, we reveal a connection between the Macaulay inverse and the so-called Newton dual, a matter so far not brought out to our knowledge. Finally, we consider the question as to when the link $(\ell_1^m,\ldots,\ell_n^m):\mathfrak{f}$ is equigenerated, where $\ell_1,\ldots,\ell_n$ are independent linear forms and $\mathfrak{f}$ is a form, is given a solution in some important cases.

math.AC↗