1 problem

Algebraicity conjecture. The space $\operatorname{Sh}_{\varrho}(X)$ is quasi-projective and $\operatorname{sh}_{\varrho}$ is an algebraic morphism.