This problem arose when trying to understand the stack of twisted stable maps into a stack (specifically BG), as introduced by Dan Abramovich, Angelo Vistoli and several co-authors (Olsson, Graber, Corti,...). However, my specific question can be formulated without mentioning such beasts and I will do so. If anyone wants background I can give some.

Suppose that we have the following set-up. One is given:

- A smooth projective curve
*C* - and a finite abelian group
*G*acting on*C*, - such that the quotient map $\pi : C \to C/G$ is an admissible cover.

Suppose moreover that $C/G \cong \mathbf{P}^1$. Over the complex numbers, one can make the following computation. For each ramification point of the covering, consider a small loop centered around that point, with orientation induced by the complex structure. Choose a lifting of that loop to a path on *C*. The path will start and end in the same fiber. Since the restriction of $\pi$ away from the ramification locus is a *G*-torsor, the difference between start- and endpoint will give us a well-defined element of *G*. (This uses that *G* is abelian -- in general, one would only get an element up to conjugation, since there are several choices of liftings of the loop.) Now consider the product of all these elements over all ramification points. By considering the fundamental group of $\mathbf{P}^1$ minus the ramification locus, it is clear that this product is the identity in *G*.

I would like to express this computation algebraically, i.e. without recourse to any monodromy or the classical fundamental group, working over an arbitrary base where the order of *G* is invertible. Unless I'm mistaken, one can still define an evaluation map associating an element of *G* to each ramification point, since the following (to me rather mysterious) construction should work. Consider the stack quotient $[C/G]$. This is a twisted curve in the sense of Abramovich et al, which basically means that the ramification points on *C/G* have been cut out and replaced by cyclotomic gerbes ("stacky points"). Now this twisted curve has an actual *G*-torsor over it, so we get a map $[C/G] \to BG$. Restricting it to one of the stacky points, we obtain a cyclotomic gerbe over the base scheme with a *G*-torsor over it. But this is by definition an object of the *rigidified inertia stack* of *BG*, and the points of the (rigidified) inertia stack correspond to the elements of *G*.

Question 1: Is there a way of formulating this without using the language of twisted curves, i.e. associating an element of *G* to each ramification point only in terms of the admissible cover? There should be, since the moduli space of maps from twisted stable curves to *BG* is isomorphic to the moduli space of stable curves with an admissible cover which is a *G*-torsor away from the branch locus, but I don't see any sensible way of expressing such a construction algebraically.

Question 2: Can one show that in the algebraic setting, the product of the elements over all ramification points is the identity?