The title is a little tongue-in-cheek, since I have a very particular question, but I don't know how to condense it into a pithy title. If you have suggestions, let me know.
Suppose I have a Lie groupoid $G \rightrightarrows G_0$, by which I mean the following data:
- two finite-dimensional (everything is smooth) manifolds $G,G_0$,
- two surjective submersions $l,r: G \to G_0$,
- an embedding $e: G_0 \hookrightarrow G$ that is a section of both the maps $l,r$,
- a composition law $m: G \times_{G_0} G \to G$, where the fiber product is the pull back of $G \overset{r}\to G_0 \overset{l}\leftarrow G$, intertwining the projections $l,r$ to $G_0$.
- Such that $m$ is associative, by which I mean the two obvious maps $G \times_{G_0} G \times_{G_0} G \to G$ agree,
- $m(e(l(g)),g) = g = m(g,e(r(g)))$ for all $g\in G$,
- and there is a map $i: G \to G$, with $i\circ l = r$ and $i\circ i = \text{id}$ and $m(i(g),g) = e(r(g))$ and $m(g,i(g)) = e(l(g))$.
Then it makes sense to talk about smooth functors of Lie groupoids, smooth natural transformations of functors, etc. In particular, we can talk about whether two Lie groupoids are "equivalent", and I believe that a warm-up notion for "smooth stack" is "Lie groupoid up to equivalence". Actually, I believe that the experts prefer some generalizations of this — (certain) bibundles rather than functors, for example. But I digress.
Other than that we know what equivalences of Lie groupoids are, I'd like to point out that we can work also in small neighborhoods. Indeed, if $U_0$ is an open neighborhood in $G_0$, then I think I can let $U = l^{-1}(U_0) \cap r^{-1}(U_0)$, and then $U \rightrightarrows U_0$ is another Lie groupoid.
Oh, let me also recall the notion of tangent Lie algebroid $A \to G\_0$ to a Lie groupoid. The definition I'll write down doesn't look very symmetric in $l\leftrightarrow r$, but the final object is. The fibers of the vector bundle $A \to G\_0$ are $A\_y = {\rm T}\_{e(y)}(r^{-1}(y))$, the tangent space along $e(G\_0)$ to the $r$-fibers, and $l: r^{-1}(y) \to G\_0$ determines a God-given anchor map $\alpha = dl: A \to {\rm T}G\_0$, and because $e$ is a section of both $l,r$, this map intertwines the projections, and so is a vector bundle map. In fact, the composition $m$ determines a Lie bracket on sections of $A$, and $\alpha$ is a Lie algebra homomorphism to vector fields on $G_0$.
Suppose that I have a smooth function $f: G_0 \to \mathbb R$ that is constant on $G$-orbits of $G_0$, i.e. $f(l(g)) = f(r(g))$ for all $g\in G$. I'd like to think of $f$ as a Morse function on "the stack $G_0 // G$". So, suppose $[y] \subseteq G_0$ is a critical orbit, by which I mean: it is an orbit of the $G$ action on $G_0$, and each $y \in [y]$ is a critical point of $f$. (Since $f$ is $G$-invariant, critical points necessarily come in orbits.) If $y$ is a critical point of $f$, then it makes sense to talk about the Hessian, which is a symmetric pairing $({\rm T}\_yG\_0)^{\otimes 2} \to \mathbb R$, but I'll think of it as a map $f^{(2)}\_y : {\rm T}\_yG\_0 \to ({\rm T}\_yG\_0)^*$. In general, this map will not be injective, but rather the kernel will include $\alpha\_y(A\_y) \subseteq {\rm T}\_yG\_0$. Let's say that the critical orbit $[y]$ is nondegenerate if $\ker f^{(2)}_y = \alpha\_y(A\_y)$, i.e. if the Hessian is nondegenerate as a pairing on ${\rm T}\_yG\_0 / \alpha\_y(A\_y)$. I'm pretty sure that this is a condition of the orbit, not of the individual point.
Nondegeneracy rules out some singular behavior of $[y]$, like the irrational line in the torus.
Anyway, my question is as follows:
Suppose I have a Lie groupoid $G \rightrightarrows G_0$ and a $G$-invariant smooth function $f: G_0 \to \mathbb R$ and a nondegenerate critical orbit $[y]$ of $f$. Can I find a $G$-invariant neighborhood $U_0 \supseteq [y]$ so that the corresponding Lie groupoid $U \rightrightarrows U_0$ is equivalent to a groupoid $V \rightrightarrows V_0$ in which $[y]$ corresponds to a single point $\bar y \in V_0$? I.e. push/pull the function $f$ over to $V_0$ along the equivalence; then can I make $[y]$ into an honestly-nondegenerate critical point $\bar y \in V_0$?
I'm assuming, in the second phrasing of the question, that $f$ push/pulls along the equivalence to a $V$-invariant function $\bar f$ on $V_0$. I'm also assuming, so if I'm wrong I hope I'm set right, that ${\rm T}\_{\bar y}V\_0 \cong {\rm T}\_yG\_0 / \alpha\_y(A\_y)$ canonically, so that e.g. $\bar f^{(2)}_{\bar y} = f^{(2)}_y$.
