Definition of étale (etc) for non-representable morphisms of algebraic stacks?

For non-representable morphisms of Artin (i.e. algebraic) stacks, different properties are defined in different ways, depending on their particular nature.

E.g. for properties which are smooth local on source and target, see here in the Stacks Project.

The property of being etale is not smooth local on source and target, so this approach doesn't work in that case. (If we restrict to DM stacks, we can use the etale analogue of this definition, and so in that case we get the correct definition of etale; see David Carchedi's answer.)

This doesn't mean that we can't define the notion of etale morphisms, though; it just means that this particular framework doesn't apply.

One approach is via infinitesimal lifting properties: using these one can define what it means for a morphism of stacks (representable or not) to be formally smooth, formally etale, or formally unramified. By imposing locally fin. pres. in the first two cases, or locally fin. type in the third case, one then gets notions of smooth, etale, and unramified.

Alternatively, one can define a morphism to be unramified iff it is loc. finite type and has etale diagonal. (Since diagonal morphisms are always representable, we know what etale means for the diagonal.) We can then define a a morphism to be etale if it is flat, loc. fin. pres., and unramified.

Note that one can also define a smooth morphism using the framework of smooth-local-on-source-and-target discussed above, because being smooth is smooth local.

See Appendix B of this paper by David Rydh for a discussion of these various definitions and their equivalences. (Note though that the affineness condition on the schemes involved in the infinitesimal lifting properties seems to have been accidentally omitted.)

Note also that in the non-representable context, etale is stronger than smooth and quasi-finite, or smooth and relative dimension zero. (Since smooth implies flat, etale is equivalent to smooth and unramified.)

E.g. if G is a positive dimensional smooth alg. group over Spec $k$, then $$BG := [ \mathrm{Spec} \, k / G] \to \mathrm{Spec} \, k$$ is smooth and quasi-finite, but not etale. It is of negative relative dimension (equal to $- \dim G$.
The morphism $$ [\mathbb A^1/ \mathbb G_m] \to \mathrm{Spec }\, k$$ is smooth and of relative dimension zero, but it is not etale.

(An etale morphism is unramified, thus has etale diagonal, thus has unramified diagonal, and thus is a DM morphism. In particular, if the target is a scheme, then the source is a DM stack, which $BG$ (for positive dimensional $G$) and $[\mathbb A^1/\mathbb G_m]$ are not.)


Added later: here is a correct characterization of etale morphisms of Artin stacks as certain kinds of smooth morphisms (akin to the fact that etale morphisms of schemes are smooth morphisms that are locally quasi-finite).

Recall that a morphism of Artin stacks is called Deligne--Mumford if it has unramified diagonal, or equivalently (but non-obviously) if it's base-change over any scheme yields a Deligne--Mumford stack (see here in the Stacks Project, especially footnote 1). (So this is a weakening of representability --- which is equivalent to the diagonal being a monomorphism --- and is automatic for morphisms between DM stacks.)

Then a morphism $X \to Y$ is etale iff it is smooth, Deligne--Mumford, and locally quasi-finite.

(For the proof: note that an unramified morphism has (by definition) an etale, and so unramified, diagonal, hence is Deligne--Mumford. Using this, one can also check that an unramified morphism is locally quasi-finite, because this reduces to checking that a Deligne--Mumford stack which is unramified over the Spec of a field is locally quasi-finite --- which is easy. Since etale morphisms are in particular smooth, we get the only if direction.

For the if direction, by pulling back over a chart of $Y$ we may assume that $Y$ is a scheme, and hence that $X$ is a DM stack. Now we have to check that a smooth and loc. quasi-fin. morphism from a DM stack to a scheme is etale, which is again easy.)


Yet another formulation of the same notion, adopting the view-point expressed by user t3suji in a comment on another answer:

A morphism $X \to Y$ of Artin stacks is etale if it is DM, and if for any morphism $V \to Y$ whose source is a scheme, the base-changed morphism $$X \times_Y V \to V$$ (which is now a morphism from a DM stack to a scheme) is etale (in the sense of morphisms of DM stacks, where we already know what etale means: choose an etale chart $U \to X\times_Y V$, and require that the composite $U \to V$ be etale).

(The equivalence with the various preceding definitions is easily checked.)


I've been trying to find a good reference for a while, it doesn't seem there are many.

In Simplicial Methods for Operads and Algebraic Geometry, Moerdijk and Toën define an étale $n$-algebraic morphisms of (derived, I'll omit this adjective from now on) stacks $f\colon \mathscr{X}\to \mathscr{Y}$ by requiring that for every scheme $U\to \mathscr{Y}$, the fibered product $U\times_\mathscr{Y}^h \mathscr{X}$ admits a smooth $n$-atlas $V\to U\times_\mathscr{Y}^h \mathscr{X}$ (i.e. a smooth $(n-1)$-algebraic epimorphism from a scheme, $n=0$ means representable) such that $V\to U$ is étale.

If we ignore the "derived" everywhere (I don't know if this is bad in any way) and take $n=1$, this would say that a morphism $\mathscr{X}\to \mathscr{Y}$ between algebraic stacks is étale if for every scheme with a map $U\to \mathscr{Y}$ there exists a smooth atlas $V\to U\times_\mathscr{Y}\mathscr{X}$ such that $V\to U$ is étale.

Now for your case, the base change of $\sqrt[r]{\mathscr{L}/\mathscr{Y}}$ along $T\to \mathscr{Y}$ is $\sqrt[r]{L/T}$ where $L$ is the pullback of $\mathscr{L}$, and since $\sqrt[r]{L/T}$ is a $\mu_r$-gerbe over $T$, if $r$ is invertible you have an atlas $U\to\sqrt[r]{L/T}$ such that $U\to T$ is étale.

EDIT: I'm adding a couple of things in response to comments.

If by "your" definition you mean the one with atlases, that has the problem that I outlined in my first comment to your question, that being étale is not smooth-local in source and target. In the definition I wrote down above, you require something for all maps of schemes to the target, and the existence of an atlas of the pullback that does what you want.

In the DM case this is easier, because being étale is étale local on source and target, and you can just ask it for one pair atlases and it will be true for any.

About affine morphisms, the only definition I've ever seen implies representability. You might be interested in cohomologically affine morphisms (see http://arxiv.org/pdf/0804.2242v3.pdf )

About finite, you can either say "representable finite" (and I think this is the standard) or quasi-finite (that is a condition on geometric points) and proper. Proper is separated (the diagonal, which is representable, is proper), finite type and universally closed (that you define using the associated topological spaces). Alternatively, there is a valuative criterion for properness.

Maybe you've already seen those, but let me also point out this discussion https://math.stackexchange.com/questions/1104790/this-property-is-local-on-properties-of-morphisms-of-s-schemes and this http://stacks.math.columbia.edu/tag/04QW and the neighboring sections of the stacks project.


The way I have always used the word étale in reference to a possibly-not-representable morphism of Deligne-Mumford stacks $f:\mathscr{X} \to \mathscr{Y}$ is that for any étale morphism $X \to \mathscr{X}$ from a scheme, the composite $$X \to \mathscr{Y}$$ is étale (both diagonals are representable so this makes sense). This is equivalent to the induced geometric morphism

$$St\left(\mathscr{X}_{et}\right)\to St\left(\mathscr{Y}_{et}\right)$$

being an étale geometric morphism of small étale 2-topoi (i.e. $f:\mathscr{X} \to \mathscr{Y}$ is a stack on the small étale site of $\mathscr{Y}$). Whether or not this is standard, I don't know, but it should be. This definition, at least at first glance, seems reasonable for Artin stacks as well (without the bit on topoi).