Weak Manin's conjecture for rational point counting

Let XX be a geometrically uniruled smooth projective variety defined over a number field kk, let LL be a big and nef divisor on XX, and let

HL:X(k)R>0H_L:X(k)\rightarrow\mathbb R_{>0}

be a height function. For a suitable Zariski open subset UXU\subset X, define

N(U,L,T)=#{PU(k)HL(P)T}.N(U,L,T)=\#\{P\in U(k)\mid H_L(P)\leq T\}.

The aa-invariant is

a(X,L)=inf{tRKX+tLEff1(X)},a(X,L)=\inf\{t\in\mathbb R\mid K_X+tL\in\overline{\operatorname{Eff}}^1(X)\},

where Eff1(X)\overline{\operatorname{Eff}}^1(X) is the cone of pseudo-effective divisors on XX. Weak Manin's conjecture. There exists a non-empty Zariski open subset UXU\subset X such that, for every ϵ>0\epsilon>0,

N(U,L,T)=Oϵ(Ta(X,L)+ϵ).N(U,L,T)=O_\epsilon\left(T^{a(X,L)+\epsilon}\right).

For L=KXL=-K_X, one has a(X,L)=1a(X,L)=1, explaining the terminology “linear growth”. The paper notes that the analogous assertion with LL merely big, rather than big and nef, has counterexamples; the conjecture is presented as a weaker form of Manin's conjecture.

Sources & referencesView supporting material

Primary source

Sho Tanimoto, “On upper bounds of Manin type”, arXiv:1812.03423 (2019).

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.