Let A[X]_U be a fraction ring of the polynomial ring A[X] in the variable X over a commutative ring A. We show that the Hilbert functor {Hilb}^n_{A[X]_U} is represented by an affine scheme $\text{Symm}^n_A(A[X]_U)$ give as the ring of symmetric tensors of $\otimes_A^nA[X]_U$. The universal family is given as $\text{Symm}^{n-1}_A(A[X]_U)\times_A \text{Spec}(A[X]_U)$.
We show how well known tools of algebraic geometry for the study of finite sets can be fruitfully applied to the study of Waring decompositions of symmetric tensors (forms). We mainly focus on the uniqueness of a given decomposition (the identifiability problem), and show how, in some cases, one can effectively determine the uniqueness even in some range in which the Kruskal's criterion does not apply.
The integral cohomology ring of the Hilbert scheme of n-tuples on the affine plane is shown to be isomorphic to the graded ring associated to a filtration of the ring of integral class functions on the symmetric group.
We introduce the notion of symmetric obstruction theory and study symmetric obstruction theories which are compatible with C*-actions. We prove that the contribution of an isolated fixed point under a C*-action to equivariant Donaldson-Thomas type invariants is +/- 1. As an application, we compute weighted Euler characteristics of all Hilbert schemes of points on any 3-fold. Moreover, we calculate the zero-dimensional Donaldson-Thomas invariants of any projective Calabi-Yau 3-fold. This proves a conjecture of Maulik-Nekrasov-Okounkov-Pandharipande.
Hilbert proved in 1888 that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$, where $n$ is the number of variables and $2d$ the degree of the form. We study the analogue for even symmetric forms. We establish that an even symmetric $n$-ary $2d$-ic psd form is sos if and only if $n=2$ or $d=1$ or $(n,2d)=(n,4)_{n \geq 3}$ or $(n,2d)= (3,8)$.
We give a description of the image of tensor products of tautological bundles on Hilbert schemes of points on surfaces under the Bridgeland-King-Reid-Haiman equivalence. Using this, some new formulas for cohomological invariants of these bundles are obtained. In particular, we give formulas for the Euler characteristic of arbitrary tensor products on the Hilbert scheme of two points and of triple tensor products in general.
We obtain a formula for the generating series of (the push-forward under the Hilbert-Chow morphism of) the Hirzebruch homology characteristic classes of the Hilbert schemes of points for a smooth quasi-projective variety of arbitrary pure dimension. This result is based on a geometric construction of a motivic exponentiation generalizing the notion of motivic power structure, as well as on a formula for the generating series of the Hirzebruch homology characteristic classes of symmetric products. We apply the same methods for the calculation of generating series formulae for the Hirzebruch cla…
Fix integers $m \ge 2$, $s\ge 5$ and $d\ge 2s+2$. Here we describe the possible symmetric tensor ranks $\le 2d+s-7$ of all symmetric tensors (or homogeneous degree $d$ polynomials) in $m+1$ variables with border rank $s$.
We introduce an elementary method to study the border rank of polynomials and tensors, analogous to the apolarity lemma. This can be used to describe the border rank of all cases uniformly, including those very special ones that resisted a systematic approach. We also define a border rank version of the variety of sums of powers and analyse its usefulness in studying tensors and polynomials with large symmetries. In particular, it can be applied to provide lower bounds for the border rank of some very interesting tensors, such as the matrix multiplication tensor. We work in a general setting, …
Inspired by recent work of Kopparty-Moshkovitz-Zuiddam and motivated by problems in combinatorics and hypergraphs, we introduce the notion of the symmetric geometric rank of a symmetric tensor. This quantity is equal to the codimension of the singular locus of the hypersurface associated to the tensor. We first derive fundamental properties of the symmetric geometric rank. Then, we study the space of symmetric tensors of prescribed symmetric geometric rank, which are spaces of homogeneous polynomials whose corresponding hypersurfaces have a singular locus of bounded codimension.
In this paper, we first introduce the invertibility of even-order tensors and the separable tensors, including separable symmetry tensors and separable anti-symmetry tensors, defined respectively as the sum and the algebraic sum of rank-1 tensors generated by the tensor product of some vectors, say, $v_{1}, v_{2}, \ldots, v_{m}$. We show that the $m!$ sumrands, each in form $v_{σ(1)}\times v_{σ(2)}\times\ldots\times v_{σ(m)}$, are linearly independent if $v_{1},v_{2}, \ldots, v_{m}$ are linearly independent, where $σ$ is any permutation on $\set{1,2,\ldots,m}$. We offer a class of tensors to a…
A famous theorem of Hilbert from 1888 states that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$, where $n$ is the number of variables and $2d$ the degree of the form. In 1976, Choi and Lam proved the analogue of Hilbert's Theorem for symmetric forms by assuming the existence of psd not sos symmetric $n$-ary quartics for $n \geq 5$. In this paper we complete their proof by constructing explicit psd not sos symmetric $n$-ary quartics for $n \geq 5$.
Shitov recently gave a counterexample to Comon's conjecture that the symmetric tensor rank and tensor rank of a symmetric tensor are the same. In this paper we show that an analog of Comon's conjecture for the G-stable rank introduced by Derksen is true: the symmetric G-stable rank and G-stable rank of a symmetric tensor are the same. We also show that the log-canonical threshold of a singularity is bounded by the G-stable rank of the defining ideal.
Here we address a Waring type problem for partially symmetric tensors, extending previous work by Massimiliano Mella in the totally symmetric case of forms. In particular, we provide an explicit answer in lower dimensional cases.
We lower bound the rank of a tensor by a linear combination of the ranks of three of its unfoldings, using Sylvester's rank inequality. In a similar way, we lower bound the symmetric rank by a linear combination of the symmetric ranks of three unfoldings. Lower bounds on the rank and symmetric rank of tensors are important for finding counterexamples to Comon's conjecture. A real counterexample to Comon's conjecture is a tensor whose real rank and real symmetric rank differ. Previously, only one real counterexample was known. We divide the construction into three steps. The first step involves…
We combine our results on symmetric products and second quantization with our description of discrete torsion in order to explain the ring structure of the cohomology of the Hilbert scheme of points on a K3 surface. This is achieved in terms of an essentially unique symmetric group Frobenius algebra twisted by a specific discrete torsion. This twist is realized in form of a tensor product with a twisted group algebra that is defined by a discrete torsion cocycle. We furthermore show that the form of this cocycle is dictated by the geometry of the Hilbert scheme as a resolution of singularities…
We consider the Hilbert scheme Hilb^{d+1}(C^d) of (d+1) points in affine d-space C^d (d > 2), which includes the square of any maximal ideal. We describe equations for the most symmetric affine open subscheme of Hilb^{d+1}(C^d), in terms of Schur modules. In addition we prove that Hilb^{d+1}(C^d) is reducible for n>d>11.
We consider the problem of determining the symmetric tensor rank for symmetric tensors with an algebraic geometry approach. We give algorithms for computing the symmetric rank for $2\times ... \times 2$ tensors and for tensors of small border rank. From a geometric point of view, we describe the symmetric rank strata for some secant varieties of Veronese varieties.
Given tensors $T$ and $T'$ of order $k$ and $k'$ respectively, the tensor product $T \otimes T'$ is a tensor of order $k+k'$. It was recently shown that the tensor rank can be strictly submultiplicative under this operation ([Christandl-Jensen-Zuiddam]). We study this phenomenon for symmetric tensors where additional techniques from algebraic geometry become available. The tensor product of symmetric tensors results in a partially symmetric tensor and our results amount to bounds on the partially symmetric rank. Following motivations from algebraic complexity theory and quantum information the…
In this survey paper we study the relationships between the coarse moduli space which parameterizes the finite dimensional linear representations of an associative alegebra, the non commutative hilbert scheme and the affine scheme which is the spectrum of the abelianization of algebra of the divided powers. In particular we will show a map which specialize to the Hlibert - Chow morphism when the associative algebra is commutative. The extension to the positive characteristic case of some of the results due to L. Le Bruyn on noncommutative desingularization is outlined. The possibility to use o…
Laboratoire I3S, CNRS and the University of Nice, Sophia-Antipolis(I3S实验室,法国国家科学研究中心和尼斯大学);Department of Computer Science and the Institute for Computational and Mathematical Engineering, Stanford University(计算机科学系和计算与数学工程研究所,斯坦福大学);Projet GALAAD, INRIA(GALAAD项目,法国国家信息与自动化研究所)
We use an algebraic approach to construct minimal decompositions of symmetric tensors with low rank. This is done by using Apolarity Theory and by studying minimal sets of reduced points apolar to a given symmetric tensor, namely, whose ideal is contained in the apolar ideal associated to the tensor. In particular, we focus on the structure of the Hilbert function of these ideals of points. We give a procedure which produces a minimal set of points apolar to any symmetric tensor of rank at most 5. This procedure is also implemented in the algebra software Macaulay2.
This paper discusses the problem of symmetric tensor decomposition on a given variety $X$: decomposing a symmetric tensor into the sum of tensor powers of vectors contained in $X$. In this paper, we first study geometric and algebraic properties of such decomposable tensors, which are crucial to the practical computations of such decompositions. For a given tensor, we also develop a criterion for the existence of a symmetric decomposition on $X$. Secondly and most importantly, we propose a method for computing symmetric tensor decompositions on an arbitrary $X$. As a specific application, Vand…
Given a closed complex manifold $X$ of even dimension, we develop a systematic (vertex) algebraic approach to study the rational orbifold cohomology rings $\orbsym$ of the symmetric products. We present constructions and establish results on the rings $\orbsym$ including two sets of ring generators, universality and stability, as well as connections with vertex operators and W algebras. These are independent of but parallel to the main results on the cohomology rings of the Hilbert schemes of points on surfaces as developed in our earlier works joint with W.-P. Li. We introduce a deformation o…
A real symmetric tensor is orthogonally decomposable (or odeco) if it can be written as a linear combination of symmetric powers of $n$ vectors which form an orthonormal basis of $\mathbb R^n$. Motivated by the spectral theorem for real symmetric matrices, we study the properties of odeco tensors. We give a formula for all of the eigenvectors of an odeco tensor. Moreover, we formulate a set of polynomial equations that vanish on the odeco variety and we conjecture that these polynomials generate its prime ideal. We prove this conjecture in some cases and give strong evidence for its overall co…