Related papers: On the infinitesimal Terracini lemma

We determine set theoretic defining equations for the third secant variety of the Segre product of $n$ projective spaces, and from the proof of the main statement we derive an upper bound for the degrees of these equations.

Let $(S,L)$ be a general primitively polarized $K3$ surface of genus $g$. For every $0\leq \delta \leq g$ we consider the Severi variety parametrizing integral curves in $|L|$ with exactly $\delta$ nodes as singularities. We prove that its…

Differential geometry may be generalized to allow infinitesimals to any order. The purpose of the present contribution is to show that the theory so developed expands received geometrical ideas in an interesting way, rich in potential for…

We derive a formula which is a lower bound on the dimension of trivariate splines on a tetrahedral partition which are continuously differentiable of order $r$ in large enough degree. While this formula may fail to be a lower bound on the…

A linear mapping upon real n-dimensional space, where the dimension n is odd, has a real eigenvalue-eigenvector pair. The corresponding statement for complex vector spaces holds true for any dimension n, but should be easy to demonstrate…

We show that the irreducible variety of 4 x 4 x 4 complex valued tensors of border rank at most 4 is the zero set of polynomial equations of degree 5 (the Strassen commutative conditions), of degree 6 (the Landsberg-Manivel polynomials),…

Let $d \geq 3$ be a natural number. We show that for all finite, non-empty sets $A \subseteq \mathbb{R}^d$ that are not contained in a translate of a hyperplane, we have \[ |A-A| \geq (2d-2)|A| - O_d(|A|^{1- \delta}),\] where $\delta >0$ is…

We prove that all moment varieties of univariate Gaussian mixtures have the expected dimension. Our approach rests on intersection theory and Terracini's classification of defective surfaces. The analogous identifiability result is shown to…

We consider the scheme $X_{r,d,n}$ parametrizing $n$ ordered points in projective space $\mathbb{P}^r$ that lie on a common hypersurface of degree $d$. We show that this scheme has a determinantal structure and we prove that it is…

Let V be an even dimensional vector space with a non degenerate quadratic form. We denote by X the variety of maximal isotropic subspaces in V (in fact one of its two connected components). In this paper, we prove the irreducibility of the…

Assuming projective determinacy, we extend Spector's strong version of the Spector-Gandy Theorem to all odd levels of the projective hierarchy: Theorem. For every space $X$ which is a finite product of the natural numbers $N$ and Baire…

We prove that Segre-Veronese varieties are never secant defective if each degree is at least three. The proof is by induction on the number of factors, degree and dimension. As a corollary, we give an almost optimal non-defectivity result…

We study the $m$-th Gauss map in the sense of F.~L.~Zak of a projective variety $X \subset \mathbb{P}^N$ over an algebraically closed field in any characteristic. For all integer $m$ with $n:=\dim(X) \leq m < N$, we show that the contact…

It is proved that for a 3-dimensional compact metrizable space X the infinite real projective space is an absolute extensor of X if and only if the real projective plane is an absolute extensor of X.

The characteristic polynomial of an $r$-tuple $(A_1,..., A_r)$ of $n \times n$ matrices is the determinant $\det(x_0 I + x_1 A_1 + ... + x_r A_r)$. We show that if $r$ is at least 3 and $A = (A_1,..., A_r)$ is an $r$-tuple of matrices in…

Let $\mathbb X\subset\mathbb P(V)$ be a projective variety, which is not contained in a hyperplane. Then every vector $v$ in $V$ can be written as a sum of vectors from the affine cone $X$ over $\mathbb X$. The minimal number of summands in…

Multidimensional permutations, or $d$-permutations, are represented by their diagrams on $[n]^d$ such that there exists exactly one point per hyperplane $x_i$ that satisfies $x_i= j$ for $i \in [d]$ and $j \in [n]$. Bonichon and Morel…

Let $(S,L)$ be a general polarized Enriques surface, with $L$ not numerically 2-divisible. We prove the existence of regular components of all Severi varieties of irreducible $\delta$-nodal curves in the linear system $|L|$, with $0\leq…

Let $X$ be a submanifold of dimension $d\geq 2$ of the complex projective space $\mathbb P^n$. We prove results of the following type. i) If $X$ is irregular and $n=2d$ then the normal bundle $N_{X|\mathbb P^n}$ is indecomposable. ii) If…

Let $X = \bigcup_k X_k$ be the ind-Grassmannian of codimension $n$ subspaces of an infinite-dimensional torus representation. If $\cE$ is a bundle on $X$, we expect that $\sum_j (-1)^j \Lambda^j(\cE)$ represents the $K$-theoretic…