12
$\begingroup$

Hello !

If $T$ is an infinity topos, then you can consider the infinity category of geometric morphism from $Sh_{\infty}(\mathcal{L})$ to $T$ for any locale $\mathcal{L}$. This associate to $T$ an infinity stacks over the category of all locale (at least for the etale topology, but also probably for some stronger topology).

My question is : is there anything know about this functor ? is it fully faithful ? or does it has some kind of "conservativity" properties that could allow to give an answer to the question in the tittle ? Or in the contrary is there example of non trivial infinity topos with no (or not enough) morphism from non trivial locale ?

thank you !

Improve this question
$\endgroup$
4
  • 4
    $\begingroup$ I don't know the answer on the top of my head. I do know however that this result is true for $1$-topoi; one can even characterize the stacks that they represent over the site of locales as "etale complete localic stacks" (See: arxiv.org/abs/1011.6070). $\endgroup$
    – David Carchedi
    Commented Jan 24, 2013 at 19:22
  • 1
    $\begingroup$ Out of where are you based Simon? $\endgroup$
    – David Carchedi
    Commented Jan 24, 2013 at 19:25
  • $\begingroup$ Thank you for your paper, even if i already knew that this was true for classical topos it give really interesting precision on the nature of this embeddings. $\endgroup$
    – Simon Henry
    Commented Jan 25, 2013 at 10:16
  • 1
    $\begingroup$ My motivation for this question is related to the relation between the geometric objects considered in topos theory/stacks theory and those considered in Non commutative geometry. In the first case (with possibly the exception of infinity topos depending of the answer to this question) every object is completely characterize by its morphism from 'commutative' object. but this is not true in non commutative geometry, for example there exist C^* alegebra of type one, which are not characterize by the stacks of their irreducible representation over all locale. (I'm working in Paris). $\endgroup$
    – Simon Henry
    Commented Jan 25, 2013 at 10:23

1 Answer 1

Reset to default
6
$\begingroup$

The functor is conservative if $T$ is hypercomplete. This follows from DAG VII, Cor. 4.14, which says that any $\infty$-topos admits a surjection from a hypercomplete locale (where $f$ is a surjection if $f^\ast$ detects $\infty$-connective morphisms).

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .