Positivity in power series rings

We extend and generalize the results of Scheiderer (2006) on the representation of polynomials nonnegative on two-dimensional basic closed semialgebraic sets. Our extension covers some situations where the defining polynomials do not satisfy the transversality condition. Such situations arise naturally when one considers semialgebraic sets invariant under finite group actions.