Ein–Erman–Lazarsfeld's normal distribution conjecture for syzygy Betti numbers

About 5 years old · traced to

Let XX be a smooth projective variety of dimension nn, let BB be a line bundle, and for sufficiently large dd set Ld:=OX(dA+P)L_d:=\mathscr{O}_X(dA+P). Write kp,q(X,B;Ld):=dim⁡Kp,q(X,B;Ld)k_{p,q}(X,B;L_d):=\dim K_{p,q}(X,B;L_d) for the Betti numbers, and let rd:=h0(X,Ld)−1r_d:=h^0(X,L_d)-1. Ein–Erman–Lazarsfeld's normal distribution conjecture. For each 1≤q≤n1\leq q\leq n, the normalized Betti numbers should converge to a normal distribution; specifically, for Pn\mathbb{P}^n and OPn(d)\mathscr{O}_{\mathbb{P}^n}(d), there is a normalizing function Fq(d)F_q(d) such that

Fq(d) kpd,q(Pn,OPn(d))⟶e−a2/2F_q(d)\,k_{p_d,q}(\mathbb{P}^n,\mathscr{O}_{\mathbb{P}^n}(d))\longrightarrow e^{-a^2/2}

as d→∞d\to\infty and pd→rd/2+ard/2p_d\to r_d/2+a\sqrt{r_d}/2. The conjecture has not been verified even for P2\mathbb{P}^2 or P1×P1\mathbb{P}^1\times\mathbb{P}^1, and remains challenging for Veronese embeddings.

References

Primary source

Jinhyung Park, “Asymptotic vanishing of syzygies of algebraic varieties”, arXiv:2110.12419 (2022).

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.