Descent of preorderlike topoi under free group actions

Let X\mathcal{X} be a topos which is preorderlike, meaning that Topoi(E,X)\mathsf{Topoi}(\mathcal{E},\mathcal{X}) is a preorder for every topos E\mathcal{E}. Let G\mathcal{G} be a group object in Topoi\mathsf{Topoi}, and suppose there is a free group action

μ:X×GX.\mu: \mathcal{X} \times \mathcal{G} \to \mathcal{X}.

Descent conjecture. The descent object X/G\mathcal{X}/\mathcal{G} of G\mathcal{G}-equivariant sheaves on X\mathcal{X} is also preorderlike.

This proposes that preorderlikeness is preserved by descent along free group actions. The source presents the claim as something that “seems to be true,” so its status is unresolved in the supplied text.

Sources & referencesView supporting material

Primary source

Ivan Di Liberti and Lingyuan Ye, “Logic and Concepts in the 2-category of Topoi”, arXiv:2504.16690 (2025).

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.