Davenport's geometric-condition conjecture for cubic forms in ten variables

Let C(x)=i,j,kcijkxixjxkC(\mathbf{x})=\sum_{i,j,k}c_{ijk}x_ix_jx_k be a cubic form in nn variables with symmetric integer coefficients. Define

Bi(x,y)=j,k=1ncijkxjyk,B_i(\mathbf{x},\mathbf{y})=\sum_{j,k=1}^n c_{ijk}x_jy_k,

and let M(x)M(\mathbf{x}) be the matrix with entries M(x)jk=i=1ncijkxiM(\mathbf{x})_{jk}=\sum_{i=1}^n c_{ijk}x_i. Write D(x)=detM(x)D(\mathbf{x})=\det M(\mathbf{x}) and r(x)=rankM(x)r(\mathbf{x})=\operatorname{rank}M(\mathbf{x}). Davenport's Geometric Condition is that, for every integer rr with 0rn0\leq r\leq n,

#{xZn:xP, r(x)=r}Pr+ε.\#\{\mathbf{x}\in\mathbb{Z}^n:\|\mathbf{x}\|_\infty\leq P,\ r(\mathbf{x})=r\}\ll P^{r+\varepsilon}.

Davenport's geometric-condition conjecture. If CC satisfies Davenport's Geometric Condition, then the asymptotic formula for the number of solutions to C(x)=0C(\mathbf{x})=0 holds with positive singular integral and singular series, I,S>0\mathfrak{I},\mathfrak{S}>0, as soon as n10n\geq 10. In particular, C(x)=0C(\mathbf{x})=0 has a non-trivial integer solution.

The preceding results establish the corresponding assertion for n14n\geq14, while the paper proves absolute convergence and positivity of the singular series under the geometric condition for n10n\geq10. The conjectural remaining step is the full asymptotic formula in the range n10n\geq10.

Sources & referencesView supporting material

Primary source

Christian Bernert, “The singular series of a cubic form in many variables and a new proof of Davenport's Shrinking Lemma”, arXiv:2310.02036 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.