Source author record

Elena Angelini

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
1topics
3close collaborators

Published work

9 publications

preprint2022arXiv

On the description of identifiable quartics

In this paper we study the identifiability of specific forms (symmetric tensors), with the target of extending recent methods for the case of 33 variables to more general cases. In particular, we focus on forms of degree 44 in 55 variables. By means of tools coming from classical algebraic geometry, such as Hilbert function, liaison procedure and Serre's construction, we give a complete geometric description and criteria of identifiability for ranks ≥9\geq 9, filling the gap between rank ≤8\leq 8, covered by Kruskal's criterion, and 1515, the rank of a general quartic in 55 variables. For the case r=12r=12, we construct an effective algorithm that guarantees that a given decomposition is unique.

preprint2020arXiv

Catalecticant intersections and confinement of decompositions of forms

We introduce the notion of confinement of decompositions for forms or vector of forms. The confinement, when it holds, lowers the number of parameters that one needs to consider, in order to find all the possible decompositions of a given set of data. With the technique of confinement, we obtain here two results. First, we give a new, shorter proof of a result by London (\cite{London90}) that 33 general plane cubics have 22 simultaneous Waring decompositions of rank 66. Then we compute, with the software Bertini, that 44 general plane quartics have 1818 different decompositions of rank 1010 (a result which was not known before).

preprint2020arXiv

Minimality and uniqueness for decompositions of specific ternary forms

The paper deals with the computation of the rank and the identifiability of a specific ternary form. Often, one knows some short Waring decomposition of a given form, and the problem is to determine whether the decomposition is minimal and unique. We show how the analysis of the Hilbert-Burch matrix of the set of points representing the decomposition can solve this problem in the case of ternary forms. Moreover, when the decomposition is not unique, we show how the procedure of liaison can provide alternative, maybe shorter, decompositions. We give an explicit algorithm that tests our criterion of minimality for the case of ternary forms of degree 99. This is the first numerical case in which a new phaenomenon appears: the span of 1818 general powers of linear forms contains points of (subgeneric) rank 1818, but it also contains points whose rank is 1717, due to the existence of a second shorter decomposition which is completely different from the given one.

preprint2020arXiv

On the identifiability of ternary forms

We describe a new method to determine the minimality and identifiability of a Waring decomposition AA of a specific form (symmetric tensor) TT in three variables. Our method, which is based on the Hilbert function of AA, can distinguish between forms in the span of the Veronese image of AA, which in general contains both identifiable and not identifiable points, depending on the choice of coefficients in the decomposition. This makes our method applicable for all values of the length rr of the decomposition, from 22 up to the generic rank, a range which was not achievable before. Though the method in principle can handle all cases of specific ternary forms, we introduce and describe it in details for forms of degree 88.

preprint2017arXiv

Identifiability beyond Kruskal's bound for symmetric tensors of degree 4

We show how methods of algebraic geometry can produce criteria for the identifiability of specific tensors that reach beyond the range of applicability of the celebrated Kruskal criterion. More specifically, we deal with the symmetric identifiability of symmetric tensors in Sym4(Cn+1)^4(\mathbb{C}^{n+1}), i.e., quartic hypersurfaces in a projective space Pn\mathbb{P}^n, that have a decomposition in 2n+1 summands of rank 1. This is the first case where the reshaped Kruskal criterion no longer applies. We present an effective algorithm, based on efficient linear algebra computations, that checks if the given decomposition is minimal and unique. The criterion is based on the application of advanced geometric tools, like Castelnuovo's lemma for the existence of rational normal curves passing through a finite set of points, and the Cayley-Bacharach condition on the postulation of finite sets. In order to apply these tools to our situation, we prove a reformulation of these results, hereby extending classical results such as Castelnuovo's lemma and the analysis of Geramita, Kreuzer, and Robbiano, "Cayley-Bacharach schemes and their canonical modules", Trans. Amer. Math. Soc. 339:443-452, 1993.

preprint2015arXiv

Logarithmic bundles of multi-degree arrangements in Pn\mathbf{P}^{n}

Let D={D1,...,Dℓ} \mathcal{D} = \{D_{1}, ..., D_{\ell}\} be a multi-degree arrangement with normal crossings on the complex projective space Pn \mathbf{P}^{n} , with degrees d1,...,dℓ d_{1}, ..., d_{\ell} ; let ΩPn1(log⁡D) Ω_{\mathbf{P}^{n}}^{1}(\log \mathcal{D}) be the logarithmic bundle attached to it. First we prove a Torelli type theorem when D \mathcal{D} has a sufficiently large number of components by recovering them as unstable smooth irreducible degree-di d_{i} hypersurfaces of ΩPn1(log⁡D) Ω_{\mathbf{P}^{n}}^{1}(\log \mathcal{D}) . Then, when n=2 n = 2 , by describing the moduli spaces containing ΩP21(log⁡D) Ω_{\mathbf{P}^{2}}^{1}(\log \mathcal{D}) , we show that arrangements of a line and a conic, or of two lines and a conic, are not Torelli. Moreover we prove that the logarithmic bundle of three lines and a conic is related with the one of a cubic. Finally we analyze the conic-case.

preprint2015arXiv

The Torelli problem for Logarithmic bundles of hypersurface arrangements in the projective space

Let D={D1,…,Dℓ} \mathcal{D} = \{D_{1}, \ldots, D_{\ell}\} be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space Pn \mathbb{P}^{n} and let ΩPn1(logD) Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) be the logarithmic bundle attached to it. Our aim is to study the injectivity of the correspondence D⟶ΩPn1(logD) \mathcal{D} \longrightarrow Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) . In order to do that, we first show that ΩPn1(logD) Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) admits a resolution of length 1 1 depending on the degrees and on the equations of D1,…,Dℓ D_{1}, \ldots, D_{\ell} . Then, we prove a Torelli type theorem when D \mathcal{D} has a sufficiently large number of components of the same degree d d , by recovering them as unstable smooth irreducible degree-dd hypersurfaces of ΩPn1(logD) Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) . The cases of one quadric and a pair of quadrics in Pn \mathbb{P}^{n} are not Torelli; in particular, through a duality argument, we prove that the isomorphism class of the logarithmic bundle attached to a pair of quadrics is determined by the tangent hyperplanes to the pair. Finally, by describing the moduli spaces containing ΩP21(logD) Ω^{1}_{\mathbb{P}^{2}}(log \mathcal{D}) , we show that some line-conic arrangements are not of Torelli type.

preprint2014arXiv

Logarithmic Bundles Of Hypersurface Arrangements In P^n

Let D = {D_{1},...,D_{l}} be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space P^n and let Ω^{1}_{P^n}(log D) be the logarithmic bundle attached to it. Following [1], we show that Ω^{1}_{P^n}(log D) admits a resolution of lenght 1 which explicitly depends on the degrees and on the equations of D_{1},...,D_{l}. Then we prove a Torelli type theorem when all the D_{i}'s have the same degree d and l >= {{n+d} \choose {d}}+3: indeed, we recover the components of D as unstable smooth hypersurfaces of Ω^{1}_{P^n}(log D). Finally we analyze the cases of one quadric and a pair of quadrics, which yield examples of non-Torelli arrangements. In particular, through a duality argument, we prove that two pairs of quadrics have isomorphic logarithmic bundles if and only if they have the same tangent hyperplanes.

preprint2010arXiv

Higher secants of spinor varieties

Let ShS_h be the even pure spinors variety of a complex vector space VV of even dimension 2h2h endowed with a non degenerate quadratic form QQ and let σk(Sh)σ_k(S_h) be the kk-secant variety of ShS_h. We decribe a probabilistic algorithm which computes the complex dimension of σk(Sh)σ_k(S_h) . Then, by using an inductive argument, we get our main result: σ3(Sh)σ_3(S_h) has the expected dimension except when h∈{7,8}h\in \{7,8\} . Also we provide theoretical arguments which prove that S7S_7 has a defective 3-secant variety and S8S_8 has defective 3-secant and 4-secant varieties.

Research graph

See the researcher in context

Open full explorer

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

Building this map preview

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