Strength and Hartshorne's conjecture in high degree (Q2663088)

Fix positive integers \(c\) and \(e\). The authors prove the existence of an integer \(N(c,e)\) such that for all fields \(k\) and all equidimensional projective varieties \(X\subset \mathbb {P}_k^n\) with codimension \(c\), degree \(e\) and singular locus of codimension \(N(c,e)\) (so \(n\ge c+N(c,e)\)) the variety \(X\) is a complete intersection. The novelty is the independence of \(N(c,e)\) on the characteristic of the field. The reader may get the classical works on Hartshorne's conjecture and Babylonian towers from [\textit{I. Coandă}, Commun. Algebra 40, No. 12, 4668--4672 (2012; Zbl 1268.14013)]. The proof uses a very powerful new approach (going to infinitely many variables and handling the Noetherianity problems arising at the limit; see [\textit{D. Erman} et al., Invent. Math. 218, No. 2, 413--439 (2019; Zbl 1427.13018)].