Abstract:In this paper, we prove the following non-linear generalization of the classical Sylvester-Gallai theorem. Let $\mathbb{K}$ be an algebraically closed field of characteristic $0$, and $\mathcal{F}=\{F_1,\cdots,F_m\} \subset \mathbb{K}[x_1,\cdots,x_N]$ be a set of irreducible homogeneous polynomials of degree at most $d$ such that $F_i$ is not a scalar multiple of $F_j$ for $i\neq j$. Suppose that for any two distinct $F_i,F_j\in \mathcal{F}$, there is $k\neq i,j$ such that $F_k\in \mathrm{rad}(F_i,F_j)$. We prove that such radical SG configurations must be low dimensional. More precisely, we show that there exists a function $\lambda : \mathbb{N} \to \mathbb{N}$, independent of $\mathbb{K},N$ and $m$, such that any such configuration $\mathcal{F}$ must satisfy $$ \dim (\mathrm{span}_{\mathbb{K}}{\mathcal{F}}) \leq \lambda(d). $$ Our result confirms a conjecture of Gupta [Gup14, Conjecture 2] and generalizes the quadratic and cubic Sylvester-Gallai theorems of [S20,OS22]. Our result takes us one step closer towards the first deterministic polynomial time algorithm for the Polynomial Identity Testing (PIT) problem for depth-4 circuits of bounded top and bottom fanins. Our result, when combined with the Stillman uniformity type results of [AH20a,DLL19,ESS21], yields uniform bounds for several algebraic invariants such as projective dimension, Betti numbers and Castelnuovo-Mumford regularity of ideals generated by radical SG configurations.

Skew-Symmetric Identities of Finitely Generated Alternative Algebras

Nondegenerate invariant symmetric bilinear forms on simple Lie superalgebras in characteristic 2

Structure of the Variety of Alternative Algebras with the Lie-Nilpotency Identity of Degree 5

Positivity of Denominator Vectors of Skew-Symmetric Cluster Algebras

Symmetric Functions over Finite Fields

On the isomorphism between four dimensional sklyanin and elliptic algebras

Skew Group Algebras, (Fg) and Self-injective Rad-Cube-Zero Algebras

Noether's normalization in skew polynomial rings

A determinantal formula for orthosymplectic Schur functions

Noetherianity of some degree two twisted skew-commutative algebras

Quasi-Hereditary Skew Group Algebras

Symmetries of various sets of polynomials

Constant rank subspaces of alternating bilinear forms from Galois Theory

Two-Term Polynomial Identities

Left-symmetric algebras and homogeneous improper affine spheres

Generators for the Algebra of Symmetric Functions

Strong Algebras and Radical Sylvester-Gallai Configurations

Superpolynomial identities of finite-dimensional simple algebras

An identity in the Bethe subalgebra of $\mathbb{C}[\mathfrak{S}_n]$