# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeMay 26th 2020

I have removed the few stub lines that were in this entry before, and wrote out a more informative Idea-section. Currently it reads as follows:

In basic topology and differential geometry, by an atlas of/for a topological-, differentiable- or smooth manifold $X$ one means a collection of coordinate charts $U_i \subset X$ which form an open cover of $X$.

If one considers here the disjoint union $\mathcal{U} \coloneqq \underset{i}{\sqcup} U_i$ of all the choordinate charts, then the separate chart embeddings $U_i \subset X$ give rise to a single map (continuous/differentiable function)

$\mathcal{U} \longrightarrow X$

and now the condition for an atlas is that this is a surjective étale map/local diffeomorphism.

If, next, one regards this morphism, under the Yoneda embedding, inside the topos of formal smooth sets, then these conditions on an atlas say that this morphism is

In this abstract form the concept of an atlas generalizes to any cohesive higher geometry (KS 17, Def. 3.3, Wellen 18, Def 4.13).

Next, for a geometric stack $\mathcal{X}$, an atlas is a smooth manifold $\mathcal{U}$ (for differentiable stacks) or scheme $\mathcal{U}$ (for algebraic stacks) or similar, equipped with a morphism

$\mathcal{U} \longrightarrow \mathcal{X}$

that is an effective epimorphism and formally étale morphism in the corresponding higher topos (for instance in that of formal smooth infinity-groupoids).

Here the terminology has a bifurcation:

1. In the general context of geometric stacks one typically drops the second condition and calls any effective epimorphism from a smooth manifold or scheme to a differentiable stack or algebraic stack, respectively, an atlas.

2. If in addition the condition is imposed that such an effective epimorphism exists which is also formally étale, then the geometric stack is called an orbifold or Deligne-Mumford stack (often with various further conditions imposed).