I've stumbled upon the statement that the morphism $\pi$ from a root stack of the form $\sqrt[r]{\mathscr{L}/\mathscr{Y}}$ (i.e. the "generic" version, not the one concentrated along a divisor) to its underlying stack $\mathscr{Y}$ is "étale".


Now, I know what "étale" means for representable morphisms (which the above $\pi$ is *not*). If $\boldsymbol{\mathrm{p}}$ is a property of morphisms of schemes (usually required to be stable under base change), then $f:\mathscr{X}\to\mathscr{Y}$ is $\boldsymbol{\mathrm{p}}$ if every base change $\mathscr{X}\times\_\mathscr{Y} U\to U$ is $\boldsymbol{\mathrm{p}}$.


What about the case of a non representable $f:\mathscr{X}\to\mathscr{Y}$ when we have atlases $\alpha:X\to\mathscr{X}$, $\beta:Y\to \mathscr{Y}$ (with $X$ and $Y$,say, schemes)? I had a look to the stacks project but wasn't able to find it.


At least when $\alpha$ and $\beta$ are étale atlases (i.e. when $\mathscr{X}$ and $\mathscr{Y}$ are Deligne-Mumford), I think it would make sense to say that $f$ is $\boldsymbol{\mathrm{p}}$ if $f'':=f'\circ \alpha'$ is $\boldsymbol{\mathrm{p}}$, where $f':\mathscr{X}':=\mathscr{X}\times\_{\mathscr{Y}}Y\to Y$ and $\alpha':\mathscr{X}'\times\_{\mathscr{X}}X\to\mathscr{X}'$. **Edit:** This is equivalent to requiring that $X\_Y:=X\times\_{f\circ\alpha, \mathscr{Y},\beta}Y\to Y$ is $\boldsymbol{\mathrm{p}}$.


Is this one the right definition people use? Is it correct also for Artin stacks?


**Edit:** Also, how does "my" definition compare with others in the literature?


**Edit:** So far, it seems that for DM stacks all the definitions agree and work for $\boldsymbol{\mathrm{p}}=$"étale". On page 10 [here](http://arxiv.org/pdf/0804.2242v3.pdf) Alper says "finite morphisms of stacks are necessarily representable": *why?* 



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](http://stacks.math.columbia.edu/tag/06FL) 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](http://arxiv.org/abs/0910.0056) 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](http://stacks.math.columbia.edu/tag/04YW) 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.)


