MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

There is a class of big ∞-toposes that come with a good supply of intrinsic notions of differential geometry and differential cohomology: called cohesive ∞-toposes (after Lawvere's cohesive toposes).

One way to get hold of cohesive ∞-toposes is to construct them over suitable sites of definition, such as ∞-cohesive sites. For instance, by using variants of the site of smooth manifolds, one obtains this way ∞-toposes for things like smooth geometry, synthetic differential geometry, supergeometry and the like. An account is here. One key technical point is that smooth manifolds are, of course, locally contractible, and that the large site of all of them has a small dense subsite of contractible spaces, which is an ∞-cohesive site.

I would like to construct cohesive ∞-toposes for further kinds of geometry. Currently I am focusing on analytic geometry in the Berkovich style (as referenced for instance here). Because Berkovich has the nice result that every k-analytic space locally embeddable into a smooth space is locally contractible, with the contractible patches being directed colimits of analytic domains.

This seems to suggest that we can faithfully embed this analytic geometry (and its higher analogs) in the ∞-sheaf ∞-topos over a site that consists, maybe, of contractible ind-objects of k-analytic spaces, or something similar.

But I am just learning some basics of Berkovich theory, and this is where my question starts: can anyone help me see if there is an ∞-cohesive site (or some variant, for instance we can use hypercovers instead of the covers mentioned there) suitable for (Berkovich style) analytic geometry?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.