Relative weight-detection conjectures for étale homology

Let XGX\in G' and let r,n0r,n\ge 0. For each Zariski point xx of XX, let ixi_x be the corresponding embedding, and let HH be the product of the theories HQlet(x)ix!H^{et}_{{\mathbb{Q}_l}}(x)\circ i_x^!. Let MObjDMc(X)M\in\operatorname{Obj}DM_c(X), and let E2pqTwChow(X)(H,M)E_2^{pq}T_{{w_{Chow}}(X)}(H,M) be the terms of the associated weight spectral sequence. If a function δ\delta' is defined, let HQlet(X)H^{et}_{{\mathbb{Q}_l}}(X) denote the relative perverse étale homology theory.

Relative weight-detection conjectures. The conjecture WDn(X)WD^n(X) holds if

E2pqTwChow(X)(H,M)=0E_2^{pq}T_{{w_{Chow}}(X)}(H,M)=0

for all qZq\in\mathbb{Z} and p>np>n implies MDMc(X)wChownM\in DM_c(X)_{{w_{Chow}}\ge -n}. Its restricted version WDrn(X)WD_r^n(X) requires additionally that MN~r(X)M\in\widetilde{N}_r(X). If δ\delta' is defined, the conjecture WDn(X)WD'^n(X) holds if

E2pqTwChow(X)(HQlet(X),M)=0E_2^{pq}T_{{w_{Chow}}(X)}(H^{et}_{{\mathbb{Q}_l}}(X),M)=0

for all qZq\in\mathbb{Z} and p>np>n implies MDMc(X)wChownM\in DM_c(X)_{{w_{Chow}}\ge -n}. Its restricted version requires additionally that MN~r(X)M\in\widetilde{N}'_r(X), defined using δ\delta'.

These conjectures seek to detect relative Chow-weight bounds using étale homology, either pointwise or through a relative perverse realization. The source presents the assertions as conjectures and supplies no evidence of resolution.

Sources & referencesView supporting material

Primary source

Mikhail V. Bondarko and Alexander Yu. Luzgarev, “On relative K-motives, weights for them, and negative K-groups”, arXiv:1605.08435 (2017).

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.