Showing 1–20 of 20 results for author: Angelini, E

Intermediate dimensions of measures: Interpolating between Hausdorff and Minkowski dimensions

Authors: Nicolas E. Angelini, Ursula M. Molter, Jose M. Tejada

Abstract: In this paper, we define a family of dimensions for Borel measures that lie between the Hausdorff and Minkowski dimensions for measures, analogous to the intermediate dimensions of sets. Previously, Hare et. al. in [10] defined intermediate dimensions that interpolate between the Minkowski and Assouad dimensions for measures. Additionally, Fraser, in [7] introduced intermediate dimensions that int… ▽ More In this paper, we define a family of dimensions for Borel measures that lie between the Hausdorff and Minkowski dimensions for measures, analogous to the intermediate dimensions of sets. Previously, Hare et. al. in [10] defined intermediate dimensions that interpolate between the Minkowski and Assouad dimensions for measures. Additionally, Fraser, in [7] introduced intermediate dimensions that interpolate between the Fourier and Hausdorff dimensions of measures. Our results address a "gap" in the study of dimension interpolation for measures, almost completing the spectrum of intermediate dimensions for measures: from Fourier to Assouad dimensions. Furthermore, Theorem 3.11 can be interpreted as a "reverse Frostman" lemma for intermediate dimensions. We also obtain a capacity-theoretic definition that enables us to estimate the intermediate dimensions of pushforward measures by projections. △ Less

Submitted 2 February, 2025; originally announced February 2025.

The Comma Sequence: A Simple Sequence With Bizarre Properties

Authors: Eric Angelini, Michael S. Branicky, Giovanni Resta, N. J. A. Sloane, David W. Wilson

Abstract: The ``comma sequence'' starts with 1 and is defined by the property that if k and k' are consecutive terms, the two-digit number formed from the last digit of k and the first digit of k' is equal to the difference k'-k. If there is more than one such k', choose the smallest, but if there is no such k' the sequence terminates. The sequence begins 1, 12, 35, 94, 135, ... and, surprisingly, ends at t… ▽ More The ``comma sequence'' starts with 1 and is defined by the property that if k and k' are consecutive terms, the two-digit number formed from the last digit of k and the first digit of k' is equal to the difference k'-k. If there is more than one such k', choose the smallest, but if there is no such k' the sequence terminates. The sequence begins 1, 12, 35, 94, 135, ... and, surprisingly, ends at term 2137453, which is 99999945. The paper analyzes the sequence and its generalizations to other starting values and other bases. A slight change in the rules allows infinitely long comma sequences to exist. △ Less

Submitted 26 May, 2024; v1 submitted 25 January, 2024; originally announced January 2024.

Comments: 19 pages, 4 figures, 1 table. Corrected a formula, expanded discussion of an asymptotic estimate, other small changes

MSC Class: 11B37 11B75

A counterexample to a conjecture on simultaneous Waring identifiability

Authors: Elena Angelini

Abstract: The new identifiable case appeared in \cite{AGMO}, together with the analysis on simultaneous identifiability of pairs of ternary forms recently developed in \cite{BG}, suggested the following conjecture towards a complete classification of all simultaneous Waring identifiable cases: for any $ d \geq 2 $, the general polynomial vectors consisting of $ d-1 $ ternary forms of degree $ d $ and a tern… ▽ More The new identifiable case appeared in \cite{AGMO}, together with the analysis on simultaneous identifiability of pairs of ternary forms recently developed in \cite{BG}, suggested the following conjecture towards a complete classification of all simultaneous Waring identifiable cases: for any $ d \geq 2 $, the general polynomial vectors consisting of $ d-1 $ ternary forms of degree $ d $ and a ternary form of degree $ d+1 $, with rank $ \frac{d^2+d+2}{2} $, are identifiable over $ \mathbf{C} $. In this paper, by means of a computer-aided procedure inspired to the one described in \cite{AGMO}, we obtain that the case $ d = 4 $ contradicts the previous conjecture, admitting at least $ 36 $ complex simultaneous Waring decompositions (of length $ 11 $) instead of $ 1 $. △ Less

Submitted 6 April, 2023; originally announced April 2023.

Comments: 10 pages, accepted for publication on Journal of Symbolic Computation

MSC Class: 14N07; 15A69; 14N05; 13P05; 65H10; 15A72; 14Q20

Waring decompositions of special ternary forms with different Hilbert functions

Authors: Elena Angelini, Luca Chiantini, Alessandro Oneto

Abstract: We prove the existence of ternary forms admitting apolar sets of points of cardinality equal to the Waring rank, but having different Hilbert function and different regularity. This is done exploiting liaison theory and Cayley-Bacharach properties for sets of points in the projective plane We prove the existence of ternary forms admitting apolar sets of points of cardinality equal to the Waring rank, but having different Hilbert function and different regularity. This is done exploiting liaison theory and Cayley-Bacharach properties for sets of points in the projective plane △ Less

Submitted 12 March, 2023; originally announced March 2023.

Comments: 12 pages. Comments are welcome!

MSC Class: Primary: 14C20; 14N07; Secondary: 13A02; 13C40; 14N05; 15A69

On the description of identifiable quartics

Authors: Elena Angelini, Luca Chiantini

Abstract: In this paper we study the identifiability of specific forms (symmetric tensors), with the target of extending recent methods for the case of $3$ variables to more general cases. In particular, we focus on forms of degree $4$ in $5$ variables. By means of tools coming from classical algebraic geometry, such as Hilbert function, liaison procedure and Serre's construction, we give a complete geometr… ▽ More In this paper we study the identifiability of specific forms (symmetric tensors), with the target of extending recent methods for the case of $3$ variables to more general cases. In particular, we focus on forms of degree $4$ in $5$ 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 $\geq 9$, filling the gap between rank $\leq 8$, covered by Kruskal's criterion, and $15$, the rank of a general quartic in $5$ variables. For the case $r=12$, we construct an effective algorithm that guarantees that a given decomposition is unique. △ Less

Submitted 6 March, 2022; v1 submitted 12 June, 2021; originally announced June 2021.

Comments: Accepted for publication on Linear and Multilinear Algebra

MSC Class: 14N07; 14J70; 14C20; 14N05; 15A69; 15A72

Minimality and uniqueness for decompositions of specific ternary forms

Authors: Elena Angelini, Luca Chiantini

Abstract: 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 f… ▽ More 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 $9$. This is the first numerical case in which a new phaenomenon appears: the span of $18$ general powers of linear forms contains points of (subgeneric) rank $18$, but it also contains points whose rank is $17$, due to the existence of a second shorter decomposition which is completely different from the given one. △ Less

Submitted 20 July, 2020; originally announced July 2020.

MSC Class: 14N07; 14J70; 14C20; 14N05; 15A69; 15A72

Journal ref: Math. of Comput. 91 (2022), 973-1006

Catalecticant intersections and confinement of decompositions of forms

Authors: Elena Angelini, Cristiano Bocci, Luca Chiantini

Abstract: 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 $3$… ▽ More 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 $3$ general plane cubics have $2$ simultaneous Waring decompositions of rank $6$. Then we compute, with the software Bertini, that $4$ general plane quartics have $18$ different decompositions of rank $10$ (a result which was not known before). △ Less

Submitted 27 May, 2020; v1 submitted 18 November, 2019; originally announced November 2019.

Comments: to appear on the special issue of the Journal of Symbolic Computation on the occasion of MEGA 2019

MSC Class: 14N07; 14N05; 15A69; 14P05; 14Q99

"Choix de Bruxelles": A New Operation on Positive Integers

Authors: Eric Angelini, Lars Blomberg, Charlie Neder, Remy Sigrist, N. J. A. Sloane

Abstract: The "Choix de Bruxelles" operation replaces a positive integer n by any of the numbers that can be obtained by halving or doubling a substring of the decimal representation of n. For example, 16 can become any of 16, 26, 13, 112, 8, or 32. We investigate the properties of this interesting operation and its iterates. The "Choix de Bruxelles" operation replaces a positive integer n by any of the numbers that can be obtained by halving or doubling a substring of the decimal representation of n. For example, 16 can become any of 16, 26, 13, 112, 8, or 32. We investigate the properties of this interesting operation and its iterates. △ Less

Submitted 4 February, 2019; originally announced February 2019.

Comments: 7 pages, 3 tables

MSC Class: 11A63; 11B37

On the identifiability of ternary forms

Authors: Elena Angelini, Luca Chiantini

Abstract: We describe a new method to determine the minimality and identifiability of a Waring decomposition $A$ of a specific form (symmetric tensor) $T$ in three variables. Our method, which is based on the Hilbert function of $A$, can distinguish between forms in the span of the Veronese image of $A$, which in general contains both identifiable and not identifiable points, depending on the choice of coef… ▽ More We describe a new method to determine the minimality and identifiability of a Waring decomposition $A$ of a specific form (symmetric tensor) $T$ in three variables. Our method, which is based on the Hilbert function of $A$, can distinguish between forms in the span of the Veronese image of $A$, 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 $r$ of the decomposition, from $2$ 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 $8$. △ Less

Submitted 1 June, 2020; v1 submitted 7 January, 2019; originally announced January 2019.

MSC Class: 14J70; 14C20; 14N05; 15A69; 15A72

Journal ref: Linear Algebra and its Applications 599 (2020) 36-65

Identifiability for a class of symmetric tensors

Authors: Elena Angelini, Luca Chiantini, Andrea Mazzon

Abstract: We use methods of algebraic geometry to find new, effective methods for detecting the identifiability of symmetric tensors. In particular, for ternary symmetric tensors T of degree 7, we use the analysis of the Hilbert function of a finite projective set, and the Cayley-Bacharach property, to prove that, when the Kruskal's rank of a decomposition of T are maximal (a condition which holds outside a… ▽ More We use methods of algebraic geometry to find new, effective methods for detecting the identifiability of symmetric tensors. In particular, for ternary symmetric tensors T of degree 7, we use the analysis of the Hilbert function of a finite projective set, and the Cayley-Bacharach property, to prove that, when the Kruskal's rank of a decomposition of T are maximal (a condition which holds outside a Zariski closed set of measure 0), then the tensor T is identifiable, i.e. the decomposition is unique, even if the rank lies beyond the range of application of both the Kruskal's and the reshaped Kruskal's criteria. △ Less

Submitted 22 July, 2019; v1 submitted 5 November, 2018; originally announced November 2018.

MSC Class: 14J70; 14C20; 14N05; 15A69; 15A72

Waring decompositions and identifiability via Bertini and Macaulay2 software

Authors: Elena Angelini

Abstract: Starting from our previous papers [AGMO] and [ABC], we prove the existence of a non-empty Euclidean open subset whose elements are polynomial vectors with 4 components, in 3 variables, degrees, respectively, 2,3,3,3 and rank 6, which are not identifiable over $ \mathbb{C} $ but are identifiable over $ \mathbb{R} $. This result has been obtained via computer-aided procedures suitably adapted to inv… ▽ More Starting from our previous papers [AGMO] and [ABC], we prove the existence of a non-empty Euclidean open subset whose elements are polynomial vectors with 4 components, in 3 variables, degrees, respectively, 2,3,3,3 and rank 6, which are not identifiable over $ \mathbb{C} $ but are identifiable over $ \mathbb{R} $. This result has been obtained via computer-aided procedures suitably adapted to investigate the number of Waring decompositions for general polynomial vectors over the fields of complex and real numbers. Furthermore, by means of the Hessian criterion ([COV]), we prove identifiability over $ \mathbb{C} $ for polynomial vectors in many cases of sub-generic rank. △ Less

Submitted 2 March, 2018; originally announced March 2018.

Comments: 15 pages

Journal ref: Journal of Symbolic Computation 91 (2019) 200-212

On complex and real identifiability of tensors

Authors: Elena Angelini

Abstract: We report about the state of the art on complex and real generic identifiability of tensors, we describe some of our recent results obtained in [6] and we present perspectives on the subject. We report about the state of the art on complex and real generic identifiability of tensors, we describe some of our recent results obtained in [6] and we present perspectives on the subject. △ Less

Submitted 25 January, 2018; originally announced January 2018.

Comments: To appear on Rivista di Matematica dell'Università di Parma, Volume 8, Number 2, 2017, pages 367-377

Journal ref: Rivista di Matematica dell'Universita di Parma, volume 8, numero 2 (2017), 367-377

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

Authors: Elena Angelini, Luca Chiantini, Nick Vannieuwenhoven

Abstract: 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 Sym$^4(\mathbb{C}^{n+1})$, i.e., quartic hypersurfaces in a projective space $\mathbb{P}^n$, that have a decomposition in 2n+… ▽ More 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 Sym$^4(\mathbb{C}^{n+1})$, i.e., quartic hypersurfaces in a projective space $\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. △ Less

Submitted 12 December, 2017; originally announced December 2017.

Comments: 16 pages

Journal ref: Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. 29 (2018), 465-485

Real identifiability vs complex identifiability

Authors: Elena Angelini, Cristiano Bocci, Luca Chiantini

Abstract: Let $T$ be a real tensor of (real) rank $r$. $T$ is 'identifiable' when it has a unique decomposition in terms of rank $1$ tensors. There are cases in which the identifiability fails over the complex field, for general tensors of rank $r$. This behavior is quite peculiar when the rank $r$ is submaximal. Often, the failure is due to the existence of an elliptic normal curve through general points o… ▽ More Let $T$ be a real tensor of (real) rank $r$. $T$ is 'identifiable' when it has a unique decomposition in terms of rank $1$ tensors. There are cases in which the identifiability fails over the complex field, for general tensors of rank $r$. This behavior is quite peculiar when the rank $r$ is submaximal. Often, the failure is due to the existence of an elliptic normal curve through general points of the corresponding Segre, Veronese or Grassmann variety. We prove the existence of nonempty euclidean open subsets of some variety of tensors of rank $r$, whose elements have several decompositions over $\mathbb C$, but only one of them is formed by real summands. Thus, in the open sets, tensors are not identifiable over $\mathbb C$, but are identifiable over $\mathbb R$. We also provide examples of non trivial euclidean open subsets in a whole space of symmetric tensors (of degree $7$ and $8$ in three variables) and of almost unbalanced tensors Segre Product ($\mathbb P^2\times \mathbb P^4\times \mathbb P^9$) whose elements have typical real rank equal to the complex rank, and are identifiable over $\mathbb R$, but not over $\mathbb C$. On the contrary, we provide examples of tensors of given real rank, for which real identifiability cannot hold in non-trivial open subsets. △ Less

Submitted 20 October, 2016; v1 submitted 25 August, 2016; originally announced August 2016.

Journal ref: Linear and Multilinear Algebra (2017)

On the number of Waring decompositions for a generic polynomial vector

Authors: Elena Angelini, Francesco Galuppi, Massimiliano Mella, Giorgio Ottaviani

Abstract: We prove that a general polynomial vector $(f_1, f_2, f_3)$ in three homogeneous variables of degrees $(3,3,4)$ has a unique Waring decomposition of rank 7. This is the first new case we are aware, and likely the last one, after five examples known since 19th century and the binary case. We prove that there are no identifiable cases among pairs $(f_1, f_2)$ in three homogeneous variables of degree… ▽ More We prove that a general polynomial vector $(f_1, f_2, f_3)$ in three homogeneous variables of degrees $(3,3,4)$ has a unique Waring decomposition of rank 7. This is the first new case we are aware, and likely the last one, after five examples known since 19th century and the binary case. We prove that there are no identifiable cases among pairs $(f_1, f_2)$ in three homogeneous variables of degree $(a, a+1)$, unless $a=2$, and we give a lower bound on the number of decompositions. The new example was discovered with Numerical Algebraic Geometry, while its proof needs Nonabelian Apolarity. △ Less

Submitted 8 January, 2016; originally announced January 2016.

Comments: 17 pages, a Macaulay2 code as ancillary file

MSC Class: 15A21; 14N05; 14Q15; 15A69

Journal ref: Journal of Pure and Applied Algebra 222 (2018), 950-965

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

Authors: Elena Angelini

Abstract: Let $ \mathcal{D} = \{D_{1}, \ldots, D_{\ell}\} $ be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space $ \mathbb{P}^{n} $ and let $ Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $ be the logarithmic bundle attached to it. Our aim is to study the injectivity of the correspondence $ \mathcal{D} \longrightarrow Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $. In order t… ▽ More Let $ \mathcal{D} = \{D_{1}, \ldots, D_{\ell}\} $ be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space $ \mathbb{P}^{n} $ and let $ Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $ be the logarithmic bundle attached to it. Our aim is to study the injectivity of the correspondence $ \mathcal{D} \longrightarrow Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $. In order to do that, we first show that $ Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $ admits a resolution of length $ 1 $ depending on the degrees and on the equations of $ D_{1}, \ldots, D_{\ell} $. Then, we prove a Torelli type theorem when $ \mathcal{D} $ has a sufficiently large number of components of the same degree $ d $, by recovering them as unstable smooth irreducible degree-$d$ hypersurfaces of $ Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $. The cases of one quadric and a pair of quadrics in $ \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 $ Ω^{1}_{\mathbb{P}^{2}}(log \mathcal{D}) $, we show that some line-conic arrangements are not of Torelli type. △ Less

Submitted 5 June, 2015; originally announced June 2015.

Comments: 99 pages, 13 figures, Ph. D. thesis defended at Università di Firenze (Italy) on 6 May 2013. Related papers: arXiv 1410.8770 and 1304.5709 [math.AG]

MSC Class: 14J60; 14F05; 14C34; 14C20; 14N05

The action of the Cremona group on rational curves of $ \mathbb{P}^{3} $

Authors: Elena Angelini, Massimiliano Mella

Abstract: A Cremona transformation is a birational self-map of the projective space $ \mathbb{P}^{n} $. Cremona transformations of $ \mathbb{P}^{n} $ form a group and this group has a rational action on subvarieties of $ \mathbb{P}^{n} $ and hence on its Hilbert scheme. We study this action on the family of rational curves of $ \mathbb{P}^{3} $ and we prove the rectifiability of any one dimensional family.… ▽ More A Cremona transformation is a birational self-map of the projective space $ \mathbb{P}^{n} $. Cremona transformations of $ \mathbb{P}^{n} $ form a group and this group has a rational action on subvarieties of $ \mathbb{P}^{n} $ and hence on its Hilbert scheme. We study this action on the family of rational curves of $ \mathbb{P}^{3} $ and we prove the rectifiability of any one dimensional family. This shows that any uniruled surface is Cremona equivalent to a scroll and it answers a question of Bogomolov-Böhning related to the study of uniformly rational varieties. We provide examples of infinitely many scrolls in the same Cremona orbit and we show that a "general" scroll is not in the Cremona orbit of a "general" rational surface. △ Less

Submitted 4 June, 2019; v1 submitted 4 May, 2015; originally announced May 2015.

Comments: The paper is withdrawn due to an error in the computations leading to the proof of the main Theorem

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

Authors: Elena Angelini

Abstract: Let $ \mathcal{D} = \{D_{1}, ..., D_{\ell}\} $ be a multi-degree arrangement with normal crossings on the complex projective space $ \mathbf{P}^{n} $, with degrees $ d_{1}, ..., d_{\ell} $; let $ Ω_{\mathbf{P}^{n}}^{1}(\log \mathcal{D}) $ be the logarithmic bundle attached to it. First we prove a Torelli type theorem when $ \mathcal{D} $ has a sufficiently large number of components by recovering… ▽ More Let $ \mathcal{D} = \{D_{1}, ..., D_{\ell}\} $ be a multi-degree arrangement with normal crossings on the complex projective space $ \mathbf{P}^{n} $, with degrees $ d_{1}, ..., d_{\ell} $; let $ Ω_{\mathbf{P}^{n}}^{1}(\log \mathcal{D}) $ be the logarithmic bundle attached to it. First we prove a Torelli type theorem when $ \mathcal{D} $ has a sufficiently large number of components by recovering them as unstable smooth irreducible degree-$ d_{i} $ hypersurfaces of $ Ω_{\mathbf{P}^{n}}^{1}(\log \mathcal{D}) $. Then, when $ n = 2 $, by describing the moduli spaces containing $ Ω_{\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. △ Less

Submitted 5 June, 2015; v1 submitted 31 October, 2014; originally announced October 2014.

Comments: 22 pages, 3 figures

MSC Class: 14J60; 14F05; 14C34; 14C20; 14N05

Journal ref: Documenta Mathematica 20 (2015) 507-529

Logarithmic Bundles Of Hypersurface Arrangements In P^n

Authors: Elena Angelini

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

Submitted 17 June, 2014; v1 submitted 21 April, 2013; originally announced April 2013.

Comments: 21 pages, 2 figures, Collectanea Mathematica 2014

Journal ref: Collectanea Mathematica, volume 65, issue 3 (2014), 285-302

Higher secants of spinor varieties

Authors: Elena Angelini

Abstract: Let $S_h$ be the even pure spinors variety of a complex vector space $V$ of even dimension $2h$ endowed with a non degenerate quadratic form $Q$ and let $σ_k(S_h) $ be the $k$-secant variety of $S_h$. We decribe a probabilistic algorithm which computes the complex dimension of $σ_k(S_h) $. Then, by using an inductive argument, we get our main result: $σ_3(S_h) $ has the expected dimension except w… ▽ More Let $S_h$ be the even pure spinors variety of a complex vector space $V$ of even dimension $2h$ endowed with a non degenerate quadratic form $Q$ and let $σ_k(S_h) $ be the $k$-secant variety of $S_h$. We decribe a probabilistic algorithm which computes the complex dimension of $σ_k(S_h) $. Then, by using an inductive argument, we get our main result: $σ_3(S_h) $ has the expected dimension except when $h\in \{7,8\} $. Also we provide theoretical arguments which prove that $S_7$ has a defective 3-secant variety and $S_8$ has defective 3-secant and 4-secant varieties. △ Less

Submitted 10 November, 2010; originally announced November 2010.

Comments: 23 pages

MSC Class: 15A66; 14M17; 14Q99

Journal ref: Bollettino U.M.I. (9) IV (2011), 213-235