Loughran's conjecture for counting points orthogonal to a Brauer subgroup

Let XX be a smooth projective variety over a number field FF satisfying the stated assumptions, and let HH be an anticanonical height function. Let BBrF(X)\mathscr{B}\subset\operatorname{Br}F(X) be finite, and suppose there is an xX(F)x\in X(F) at which every bBb\in\mathscr{B} is defined and satisfies b(x)=0b(x)=0. For a divisor DX(1)D\in X^{(1)}, let D(B)\operatorname{\partial}_D(\mathscr{B}) denote the residue subgroup, and set

ΔX(B)=DX(1)(11D(B)).\Delta_X(\mathscr{B})=\sum_{D\in X^{(1)}}\left(1-\frac{1}{|\operatorname{\partial}_D(\mathscr{B})|}\right).

Loughran's conjecture. There exist an open subset UXU\subset X with BBrU\mathscr{B}\subset\operatorname{Br}U and a constant cU,B,H>0c_{U,\mathscr{B},H}>0 such that

N(U,H,B,B)cU,B,HB(logB)ρ(X)1(logB)ΔX(B),B.N(U,H,\mathscr{B},B)\sim c_{U,\mathscr{B},H}B\frac{(\log B)^{\rho(X)-1}}{(\log B)^{\Delta_X(\mathscr{B})}},\qquad B\to\infty.

The conjecture predicts how Brauer-group conditions alter the usual Peyre-type point-counting asymptotic. Its resolution status is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Daniel Loughran, “The number of varieties in a family which contain a rational point”, arXiv:1310.6219 (2016).

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.