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.

On the stable radical of the module category for special biserial algebras

Automating the stable rank computation for special biserial algebras

On the stable radical of some non-domestic string algebras

The radical of functorially finite subcategories

Telescope conjecture, idempotent ideals, and the transfinite radical

The stable category of Gorenstein-projective modules over a monomial algebra

Stable categories of Cohen-Macaulay modules and cluster categories

On class operators for the lower radical class and semisimple closure constructions

Koszul Modules (and the Ω-growth of Modules) over Short Local Algebras

Strong Algebras and Radical Sylvester-Gallai Configurations

Nil modules and the envelope of a submodule

Ground state degeneracy and module category

Koszul Modules and Modules with Linear Presentations

Irreducible graded bimodules over algebras and a Pierce decomposition of the Jacobson radical

Modules with finitely generated cohomology

Quasi-Hereditary Algebras Associated with Upper Triangular Bimodules

Simple transitive 2-representations of bimodules over radical square zero Nakayama algebras via localization

Wall And Chamber Structure For A Special Biserial Algebra Coming From Perverse Sheaves on $\mathbb{P}^n$

The Von Neumann Regular Radical and Jacobson Radical of Crossed Products

Semiartinian profinite algebras have nilpotent Jacobson radical

(Co)module algebras and their generalizations