Related papers: Terracini loci and a codimension one Alexander-Hir…

We characterize the smallest codimension components of the Hodge locus of smooth degree $d$ hypersurfaces of the projective space $\mathbb{P}^{n+1}$ of even dimension $n$, passing through the Fermat variety (with $d\neq 3,4,6$). They…

We introduce the notion of r-th Terracini locus of a variety and we compute it for at most three points on a Segre variety.

We prove that the singular locus of the commuting variety of a noncommutative reductive Lie algebra is contained in the irregular locus and we compute the codimension of the latter. We prove that one of the irreducible components of the…

We provide a step towards classifying Riemannian four-manifolds in which the curvature tensor has zero divergence, or -- equivalently -- the Ricci tensor Ric satisfies the Codazzi equation. Every known compact manifold of this type belongs…

It is shown that for any subspace $V\subseteq \mathbb{F}_p^{n\times\cdots\times n}$ of $d$-tensors, if $\dim(V) \geq tn^{d-1}$, then there is subspace $W\subseteq V$ of dimension at least $t/(dr) - 1$ whose nonzero elements all have…

Steinitz's theorem states that if a point $a \in \mathrm{int\,conv\,} X$ for a set $X \subset \mathbb{R}^d$, then $X$ contains a subset $Y$ of size at most $2d$ such that $a \in \mathrm{int\,conv\,}Y$. The bound $2d$ is best possible here.…

Genus $g$ Torelli space is the moduli space of genus $g$ curves of compact type equipped with a homology framing. The hyperelliptic locus is a closed analytic subvariety consisting of finitely many mutually isomorphic components. We use…

Let $P_1, P_2,\ldots, P_{d+1}$ be pairwise disjoint $n$-element point sets in general position in $d$-space. It is shown that there exist a point $O$ and suitable subsets $Q_i\subseteq P_i \; (i=1, 2, \ldots, d+1)$ such that $|Q_i|\geq…

We give a short proof of the fact that there are no measurable subsets of Euclidean space (in dimension d > 2), which, no matter how translated and rotated, always contain exactly one integer lattice point. In dimension d=2 (the original…

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…

We introduce the theory of div point sets, which aims to provide a framework to study the combinatoric nature of any set of points in general position on an Euclidean plane. We then show that proving the unsatisfiability of some first-order…

Let $F\in\mathbb{C}[x,y,s,t]$ be an irreducible constant-degree polynomial, and let $A,B,C,D\subset\mathbb{C}$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{8/3})$ points of the Cartesian product $A\times B\times…

According to Suk's breakthrough result on the Erdos-Szekeres problem, any point set in general position in the plane, which has no $n$ elements that form the vertex set of a convex $n$-gon, has at most $2^{n+O\left({n^{2/3}\log n}\right)}$…

Quaternionic tori are defined as quotients of the skew field $\mathbb{H}$ of quaternions by rank-4 lattices. Using slice regular functions, these tori are endowed with natural structures of quaternionic manifolds (in fact quaternionic…

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…

Poonen and Slavov recently developed a novel approach to Bertini irreducibility theorems over an arbitrary field, based on random hyperplane slicing. In this paper, we extend their work by proving an analogous bound for the dimension of the…

We use linear programming bounds to analyze point sets in the torus with respect to their optimality for problems in discrepancy theory and quasi-Monte Carlo methods. These concepts will be unified by introducing tensor product energies. We…

In this paper, we classify the irreducible representations of the trigonometric Cherednik algebras of rank 1 in characteristic p > 0. There are two cases. One is the "quantum" case, where "Planck's constant" is nonzero and generic…

Suppose X is the complex zero set of a finite collection of polynomials in Z[x_1,...,x_n]. We show that deciding whether X contains a point all of whose coordinates are d_th roots of unity can be done within NP^NP (relative to the sparse…

We consider the locus of irreducible nonsingular rational curves of degree d Pn, n>2, meeting a generic collection of linear subspaces. When this locus is 0 (resp 1)- dimensional, we compute (recursively) its degree (resp. geometric genus).…