Let X⊂Pr be an integral and non-degenerate variety. Set n:=dim(X). We prove that if the (k+n−1)-secant variety of X has (the expected) dimension (k+n−1)(n+1)−1<r and X is not uniruled by lines, then X is not k-weakly defective and hence the k-secant variety satisfies identifiability, i.e. a general element of it is in the linear span of a unique S⊂X with ♯(S)=k. We apply this result to many Segre-Veronese varieties and to the identifiability of Gaussian mixtures G1,d. If X is the Segre embedding of a multiprojective space we prove identifiability for the k-secant variety (assuming that the (k+n−1)-secant variety has dimension (k+n−1)(n+1)−1<r, this is a known result in many cases), beating several bounds on the identifiability of tensors.
Sibasish BanerjeeWeyertal 86-90, Department of Mathematics, University of Cologne, 50679, Cologne, Germany; Max Planck Institute for Mathematics, Vivatsgasse 7, 53111 Bonn, GermanyPietro LonghiInstitute for Theoretical Physics, ETH Zurich, 8093, Zurich, SwitzerlandMauricio Andrés Romo JorqueraYau Mathematical Sciences Center, Tsinghua University, Beijing, 100084, China
Symplectic GeometryAlgebraic GeometryarXiv subject: High Energy Physics - Theory (hep-th)mathscidoc:2207.34001
This paper studies a notion of enumerative invariants for stable A-branes, and discusses its relation to invariants defined by spectral and exponential networks. A natural definition of stable A-branes and their counts is provided by the string theoretic origin of the topological A-model. This is the Witten index of the supersymmetric quantum mechanics of a single D3 brane supported on a special Lagrangian in a Calabi-Yau threefold. Geometrically, this is closely related to the Euler characteristic of the A-brane moduli space. Using the natural torus action on this moduli space, we reduce the computation of its Euler characteristic to a count of fixed points via equivariant localization. Studying the A-branes that correspond to fixed points, we make contact with definitions of spectral and exponential networks. We find agreement between the counts defined via the Witten index, and the BPS invariants defined by networks. By extension, our definition also matches with Donaldson-Thomas invariants of B-branes related by homological mirror symmetry.
Finite Quot schemes were used by Bertram, Johnson, and the first author to study Le Potier’s strange duality conjecture on del Pezzo surfaces when one of the moduli spaces is the Hilbert scheme of points. In order to rigorously enumerate the finite Quot
scheme, we study the moduli space of limit stable pairs in which the target has rank one on a smooth complex projective surface. We obtain an embedding of this moduli space into a smooth space that induces a perfect obstruction theory. This obstruction theory yields a virtual fundamental class that can be computed explicitly. Because the moduli space coincides with the Quot scheme when they have dimension 0, this makes the desired count of the finite Quot scheme in Bertram et al. rigorous. As another application, we obtain a universality result for tautological integrals on the moduli space of stable pairs.