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.

Blowup algebras of determinantal ideals in prime characteristic

Blowup algebras of ladder or interval determinantal modules

On the symbolic $F$-splitness of binomial edge ideals

Diagonal F-splitting and Symbolic Powers of Ideals

Blow-up Algebras of Secant Varieties of Rational Normal Scrolls

$M$-ideals and split faces of the quasi state space of a non-unital ordered Banach space

Generalized Jouanolou duality, weakly Gorenstein rings, and applications to blowup algebras

Equivalent conjectures on blowing-ups of $\mathbb P^2$

Split-by-nilpotent extensions algebras and stratifying systems

On reduction numbers and Castelnuovo–Mumford regularity of blowup rings and modules

Blowdowns of the Deligne-Mumford Spaces of Real Rational Curves

Koszul blowup algebras associated to three-dimensional Ferrers diagrams

Multiplier ideals and klt singularities via (derived) splittings

The blow-down map in Lie algebroid cohomology

Regular Ideals, Ideal Intersections, and Quotients

Strong Algebras and Radical Sylvester-Gallai Configurations

Rees Algebras of unit interval determinantal facet ideals

On split Leibniz superalgebras

On higher Jacobians, Laplace equations and Lefschetz properties

Higher multiplier ideals

Blow-up Algebras of Rational Normal Scrolls and Their Secant Varieties