Conjecture on restriction functors and full faithfulness of specialization
Let Y0Y_0Y0 be a kkk-scheme, let X0X_0X0 be a smooth ambient scheme when specified, and let ρY0,X0:Isoc†(Y0/K)→Isoc†(Y0,X0/K)\rho_{Y_0,X_0}:\mathrm{Isoc}^{\dag}(Y_0/K)\to\mathrm{Isoc}^{\dag}(Y_0,X_0/K)ρY0,X0:Isoc†(Y0/K)→Isoc†(Y0,X0/K) and…