Sorting orders, subword complexes, Bruhat order and total positivity

Abstract: In this note we construct a poset map from a Boolean algebra to the Bruhat order which unveils an interesting connection between subword complexes, sorting orders, and certain totally nonnegative spaces. This relationship gives a new proof of Björner and Wachs' result \cite{BW} that the proper part of Bruhat order is homotopy equivalent to the proper part of a Boolean algebra --- that is, to a sphere. We also obtain a geometric interpretation for sorting orders. We conclude with two new results: that the intersection of all sorting orders is the weak order, and the union of sorting orders is the Bruhat order.

\section{Introduction and terminology}
\label{definition-section}

The sorting orders (cf. \cite{Ar}) and subword complexes (cf. \cite{KM}) are combinatorial structures defined in terms of a finite Coxeter group $W$. In this note we show how these structures both arise
in the context of
a certain poset map from a Boolean algebra to the Bruhat order on $W$. A consequence of this poset map is a new proof of the homotopy equivalence of the proper part of any Bruhat interval to a
sphere.

We also give the following refinement of Armstrong's result from \cite{Ar} that the sorting orders lie in between the weak order and Bruhat order on $W$. Given $w\in W$, let $[\hat{0},w]_R$ denote the weak order interval from $\hat{0}$ to $w$. We show that the intersection of all sorting orders for $w$ is the weak order on $[\hat{0},w]_R$ and that the union of all sorting orders for $w$ is the Bruhat order on $[\hat{0},w]_R$. These results apply to the whole group by taking $w$ to be the longest element
$w_\circ$.

We will need the following concepts.

\subsection{Poset Topology and the Quillen Fiber Lemma}

Given a partially ordered set (poset) $(P,\leq)$,
we say that $x\prec y$ is a {\sf cover relation} if we have $x<y$ and if there does not exist $z\in P$ such that $x<z<y$.
Recall that the {\sf order complex}, denoted $\Delta(P)$,
of a finite poset $P$ is the simplicial complex whose $i$-faces are the chains $z_0<z_1<\cdots <z_i$ of comparable poset elements. Let $P_{\leq p}$ denote the subposet of elements $q\in P$ satisfying $q\leq p$.   Given any simplicial complex $K$, let $F(K)$
be its {\sf face poset}, i.e. the partial order on the faces of $K$ by containment.  More generally,
the {\sf closure poset} of a cell complex is the partial order on its cells given by $\sigma \le \tau $
if and only if $\sigma \subseteq \overline{\tau }$.

\begin{remark}\label{barycenter}
For any
simplicial complex $K$, $\Delta ( F(K) \setminus \{ \emptyset \} )$ is the first barycentric
subdivision of $K$, hence is homeomorphic to $K$.
\end{remark}

We recall from Quillen ~\cite{Qu} the following result:

\begin{lemma}\label{quillen-fiber}
If $f: P\rightarrow P'$ is a poset map whose fibers $f^{-1}(P'_{\leq p})$ are all contractible,
then the order complexes of $P$ and $P'$ are homotopy equivalent.
\end{lemma}

Recall that the {\sf dual poset} of $P$, denoted $P^*$, is defined by setting $p\leq q$ in $P^*$ whenever $p\geq q$ in $P$.

\begin{remark}\label{dual-qfl}
Since a poset and its dual have the same order complex, we may restate the Quillen Fiber Lemma by requiring contractibility of $f^{-1}(P'_{\geq p})$ for each $p\in P'$.
\end{remark}

Define the {\sf closed interval}
$[u,v]$ of a poset $P$ as $\{ z\in P | u\le z \le v\} $ and the {\sf open interval} $(u,v)$ as
$\{ z\in P | u < z < v\} $.

\subsection{Sorting Orders}
We recall from \cite{Ar} the definition of the sorting orders. Let $W$ be a finite Coxeter group with simple generators $S=\{s_1,\ldots,s_n\}$. Let $Q$ be a word in the generators whose product is $w\in W$. If there is no such word with fewer symbols, we call $Q$ {\sf reduced}; the {\sf length} $\ell(w)$ is the number of symbols in a reduced word for $w$. We define the {\sf (right) weak order} on $W$ by setting $u\leq_R v$ if there exists a reduced word for $v$ such that $u$ occurs as a prefix. The {\sf Bruhat order} is defined by setting $u\leq_B v$ if there exists a reduced word for $v$ such that $u$ occurs as an arbitrary subword.

Now fix a reduced word $Q$  for some element $w\in W$. It turns out that the elements which occur as subwords of $Q$ are the elements of the Bruhat interval $[\hat{0},w]_B$. To each element $u\in [\hat{0},w]_B$ we associate a subset $Q(u)$ of the indices of $Q$ whose corresponding subword is reduced for $u$ and which is the lexicographically first subset with this property; such a subword exists by the definition of Bruhat order, i.e. we have $u\le_{Br} v$ if and only if any reduced word for $v$ has a subword that is a reduced word for $u$. The {\sf $Q$-sorting order} is defined by setting $u\leq_Q v$ whenever $Q(u)\subseteq Q(v)$. Armstrong \cite{Ar} proved the following.

\begin{theorem}[Ar, Theorem 4.2]\label{sorting}
Let $Q$ be a reduced word for $w\in W$. Given $u$ and $v$ in the Bruhat interval $[\hat{0},w]_B$, we have
\begin{equation*}
u\leq_R v \quad\Rightarrow\quad u\leq_Q v \quad\Rightarrow\quad u\leq_B v.
\end{equation*}
That is, the $Q$-sorting order is between the weak and Bruhat orders.
\end{theorem}

\subsection{The 0-Hecke Algebra}

Given a finite Coxeter group $W$ with generators $S=\{s_1,\ldots,s_n\}$,
recall that the corresponding $0$-Hecke algebra has a
generating set $X=\{x_1,\ldots,x_n\}$ with the
following relations (up to a sign). Each
Hecke generator is idempotent, namely satisfies
$x_i^2=x_i$, whereas the Coxeter generators are involutions $s_i^2=e$.
Also, for each Coxeter braid relation $(s_is_j)^{m(i,j)}=e$ we get a corresponding
 Hecke braid relation of the form $x_ix_jx_i\cdots=x_jx_ix_j\cdots$, with $m(i,j)$
 alternating terms on each side.
Recall from ~\cite{BB}:

\begin{theorem}[BB, Theorem 3.3.1]\label{word-property}
Let $(W,S)$ be a Coxeter group generated by $S$.  Consider $w\in W$.
\begin{enumerate}
\item
Any expression $s_{i_1}s_{i_2}\cdots
s_{i_d}$ for $w$ can be transformed into a reduced expression for $w$ by a sequence of
nil-moves and braid-moves.
\item
Every two reduced expressions for $w$ can be connected via a sequence of braid-moves.
\end{enumerate}
\end{theorem}

This implies that
an arbitrary word in the $0$-Hecke generators may be {\sf reduced} by a sequence of nil-moves $x_i^2\to x_i$ and braid moves $x_ix_jx_i\cdots \to x_jx_ix_j\cdots$. A reduced
word in the $0$-Hecke generators corresponds to a reduced
word in the Coxeter generators by switching occurrences of $x_i$ with $s_i$. Note that likewise
nonreduced  words in the 0-Hecke algebra correspond to nonreduced words in the associated
Coxeter group.  Our upcoming
poset map from a Boolean algebra to Bruhat order
will take the subexpressions of a fixed reduced expression in the
0-Hecke algebra and send them to Coxeter group elements.

\subsection{Subword Complexes}

We recall from \cite{KM} and \cite{KM2}
the definition of a subword complex. Let $Q$ be a (not necessarily reduced)
word in the generators  and let $w\in W$ be an arbitrary element of the Coxeter group. The {\sf subword complex} $\Delta(Q,w)$ has as its ground set the indexing positions of the list $Q$ and its facets are the complementary sets to subwords of $Q$ that are reduced expressions for $w$. Since the set of faces of a simplicial complex is closed under taking subsets, the faces of $\Delta(Q,w)$ are precisely the complements of the
subwords of $Q$ that contain a reduced expression for $w$.

Knutson and Miller \cite{KM} proved that subword complexes are vertex decomposable --- hence shellable --- and they gave a characterization of the homotopy type. To describe this we will need the notion of a {\sf Demazure product}. For a commutative ring $R$, define a free $R$-module with generators indexed by the Coxeter group $\{e_w : w\in W\}$ and with multiplication as follows. Let $w\in W$ be a group element and let $s\in S$ be a simple generator. Let $\ell:W\to\mathbb{Z}$ denote the word length on $W$ with respect to the generators $S$. If $s$ is a right descent of $w$ --- that is, if $\ell(w)>\ell(ws)$ --- we set $e_we_s=e_w$, and otherwise we set $e_we_s=e_{ws}$.

\begin{remark}
Notice that the Demazure product is equivalent to the multiplication rule for the 0-Hecke
algebra from the previous section.
\end{remark}

\begin{theorem}[KM, Corollary 3.8]\label{subword}
The subword complex $\Delta (Q,w)$ is either a ball or a top-dimensional sphere.  It is a sphere if and only if the Demazure product applied to $Q$ yields exactly $w$.
\end{theorem}

In the language of
Section ~\ref{poset-map-section},
this means that we get a ball unless a certain poset map applied to $Q$ yields exactly the group element $w$, rather than yielding an element strictly above $w$ in Bruhat order.

Subword complexes arose in \cite{KM2} as the Stanley-Reisner
complexes of  initial ideals  for the (determinantal) vanishing ideals of
matrix Schubert varieties.  Shellability of subword complexes provides one way
(of many) to explain why matrix Schubert varieties are Cohen-Macaulay, and the
combinatorics of subword complexes provides insight into formulas for
Grothendieck polynomials which are the $K$-polynomials of matrix Schubert
varieties.

\subsection{Stratified Totally Nonnegative Spaces}\label{stratified-spaces}
Here, and in the following sections, we will use the notation $(i_1,i_2,\ldots,i_d)$ to denote either the word $s_{i_1}\cdots s_{i_d}$ in the Coxeter generators or the word $x_{i_1}\cdots x_{i_d}$ in the $0$-Hecke generators, depending on context.

Recall that a matrix is totally nonnegative if each minor is nonnegative.
It was shown by Whitney (\cite{Wh}) that every $n\times n$ totally nonnegative,
upper triangular matrix with $1$'s on the diagonal can be written as a product of
matrices $\{ x_i(t): t\in {\mathbb R}_{\ge 0},\, 1\le i \le n-1 \} $ where $x_i(t) = I_n + t E_{i,i+1}$
for $I_n$ the identity matrix and
$E_{i,i+1}$ the matrix whose only nonzero entry is a 1 which is in row $i$ and
column $i+1$.  Lusztig generalized this type A notion to all semisimple, simply
connected algebraic groups over ${\mathbb C} $ split over ${\mathbb R} $.
Lusztig showed for any reduced word $(i_1,\dots ,i_d)$ that the
set $Y_{s_{i_1}\cdots s_{i_d}}$
of points $\{ x_{i_1}(t_1)\cdots x_{i_d}(t_d): t_1,\dots ,t_d\in {\mathbb R}_{>0} \} $ is
homeomorphic to an open ball. Now consider the decomposition of the closure of
this space, namely $\{ x_{i_1}(t_1)\cdots x_{i_d}(t_d): t_1,\dots ,t_d \in {\mathbb R}_{\ge 0} \} $,
into cells defined by which subset of parameters are nonzero. Fomin and Shapiro \cite{FS} showed that the closure poset for this decomposition is the Bruhat order, and conjectured that this stratified space is a regular CW complex; this was recently proven by Hersh \cite{He} via a map on points of a space
which induces a map on cells, namely the poset map of the next section.

\section{A Poset Map From Subwords to Bruhat Order}\label{poset-map-section}

Let us now  define a poset map from a Boolean algebra to Bruhat order which is
derived from
 Lusztig's map $(t_1,\dots ,t_d) \rightarrow x_{i_1}(t_1)\cdots x_{i_d}(t_d)$,
where $(i_1,\dots ,i_d)$ is any fixed reduced word.  First note that
setting the parameter $t_j$  to 0 amounts to replacing the
matrix $x_{i_j}(t_j)$ by the identity matrix, essentially choosing the subword of
$(i_1,\dots ,i_d)$ with $i_j$ eliminated, hinting at a connection to the subword complexes
of \cite{KM}.   The relations
$x_i(t_1)x_i(t_2) = x_i(t_1+t_2)$ and
$$x_i(t_1)x_{i+1}(t_2)x_i(t_3) =
x_{i+1}(\frac{t_2t_3}{t_1+t_3})x_i (t_1+t_3)x_{i+1}(\frac{t_1t_2}{t_1+t_3})$$
along with similar relations corresponding to higher degree braid relations
(cf. \cite{FZ})
allow us to use the relations in the 0-Hecke algebra to determine how to assign
points $(t_1,\dots ,t_d)\in {\mathbb R}_{\ge 0}^d$ to cells in $\overline{Y_{s_{i_1}\cdots s_{i_d}}}$,
i.e. to elements of Bruhat order.

The poset map we now analyze
comes from choosing a subset of the parameters $\{ t_1,\dots ,t_d\} $ to
set to 0, taking the resulting subword of $(i_1,\dots ,i_d)$ and determining the Coxeter
group element which has this as one of its (not necessarily reduced) words in the
0-Hecke algebra.  That is:

\begin{definition}
Let $Q=(i_1,\dots ,i_d)$
be a reduced word for a Coxeter group element $w\in W$. Define a map $f$ from the Boolean algebra $2^Q$ to the Bruhat interval $[\hat{0},w]_B$ as follows. Given a subset
$\{ j_1,\dots ,j_r \} $ of the indices $\{ 1,\dots ,d\} $
of $Q$, map this to a (possibly non-reduced) expression $x_{i_{j_1}}\cdots x_{i_{j_r}} $
in the $0$-Hecke generators; use braid moves and nil-moves to obtain a reduced $0$-Hecke
expression; then map this to a Coxeter group element by replacing each $x_k$ with the
corresponding Coxeter group generator $x_k$.
\end{definition}

For example, consider the Coxeter group of type $A_3$ with generators $\{s_1,s_2,s_3\}$, and consider the reduced word $Q=(1,2,3,1,2,1)$ for the longest element $w_\circ=s_1s_2s_3s_1s_2s_1$. The index set $\{1,2,4,5\}\in 2^Q$ gets mapped to the $0$-Hecke word $x_1x_2x_1x_2$, which reduces to
\begin{equation*}
x_1(x_2x_1x_2)\to x_1(x_1x_2x_1)\to (x_1x_1)x_2x_1\to x_1x_2x_1.
\end{equation*}
Finaly, this maps to the group element $s_1s_2s_1$.

We have the following results.

\begin{proposition}
Each fiber of $f$ contains exactly one element of
the $Q$-sorting order, and every element of the $Q$-sorting order belongs to some fiber of $f$.  The subposet of the Boolean algebra $2^Q$ comprised of these elements is isomorphic to the $Q$-sorting order.
\end{proposition}

\begin{proof}
This is immediate from the definition of the sorting order.
\end{proof}

\begin{proposition}\label{fibers}
For $u\in [\hat{0},w]_B$, the fiber $f^{-1}([u,w]_B)$ is dual to the face poset of the subword complex $\Delta(Q,u)$.  The fiber $f^{-1}((u,w)_B)$ is dual to the face poset for
$\partial (\Delta (Q,u))\setminus \{ \emptyset \} $, i.e. for the boundary of the subword
complex $\Delta(Q,u)$ with the empy set removed.
\end{proposition}

\begin{proof}
For $u\in[\hat{0},w]_B$, note that the elements $S=\{j_1,j_2,\ldots,j_r\}\in 2^Q$ with $f(S)=u$ are exactly those such that $x_{j_1}x_{j_2}\cdots x_{j_r}$ reduces via braid moves and nil-moves to a reduced expression $x_{i_1}x_{i_2}\cdots x_{i_t}$ such that $s_{i_1}s_{i_2}\cdots s_{i_t}=u$. In particular, the minimal such $S$ are precisely the subwords of $Q$ which are reduced words for $u$. Thus the fiber $f^{-1}(u)$ consists of all subwords of $Q$ which contain a reduced expression for $u$.
This is exactly the dual of the subword complex $\Delta(Q,u)$.

To see the latter claim, notice that a face $F$
in $f^{-1}([u,w]_B)$ has the same Demazure product as $u$  if and only if $F$ is in the
interior of $\Delta (Q,u)$, because we will show that every face $G$ of $\Delta (Q,u)$
which contains $F$ and has dimension exactly one less than the facets of $\Delta (Q,u)$ is
itself in the interior of $\Delta (Q,u)$.  This follows from the fact that any such $G$ must have
the same Demazure product as  $u$ while involving exactly one more letter
than a reduced expression for $u$, implying $G$ is contained in exactly two facets of
$\Delta (Q,u)$, hence in its interior.
\end{proof}

Hence we obtain a new proof characterizing the homotopy type of Bruhat order (this result was originally proved by Bj\"orner and Wachs \cite{BW}, who invented the technique of CL-shellability for this purpose).

\begin{corollary}
The order complex for the open Bruhat interval $(\hat{0},w)_B$
is homotopy equivalent to the order complex for the
proper part of the Boolean algebra $2^Q$ of dimension $\ell(w)$, hence to a sphere
$S^{\ell(w) -2}$.  More generally, the order complex for the open
Bruhat interval $(u,w)_B$ is homotopy equivalent to a sphere $S^{\ell(w)-\ell(u)-2}$.
\end{corollary}

\begin{proof}
This is a simple application of the Quillen Fiber Lemma, namely
Lemma ~\ref{quillen-fiber}, which originally appeared in [Qu].  Proposition ~\ref{fibers}
shows that the fibers of our poset map are face posets of subword complexes.
It was shown
in ~\cite{KM} that subword complexes are shellable.  By Theorem  ~\ref{subword}, we
see  in particular that all fibers for the proper part of the interval $[\hat{0},w]_B$
are contractible, since the fact that the maximal element (that is, $Q$) is a
reduced word means that any proper subset has distinct Demazure product from it.
Thus, by Remark ~\ref{barycenter} the order complexes of the
fibers in this case are homeomorphic to contractible subword complexes.
This gives the requisite contractibility of fibers,  completing our proof of the
first claim.

The Quillen Fiber Lemma also tells us for any open Bruhat interval $(u,w)_B$ that its
order complex is homotopy equivalent to the order complex of the
subposet $f^{-1}(u,w)$ of a Boolean algebra.  By Proposition ~\ref{fibers}, this preimage
is the boundary of a ball, hence is a sphere.  Its dimension is immediate from the definition
of subword complexes.
\end{proof}

In ~\cite{He}, Hersh proved that the stratified spaces from
Section ~\ref{stratified-spaces} are regular CW complexes with
Bruhat order as their closure posets.  Her method was to start with a simplex, namely
$$\{ (t_1,\dots ,t_d) \in {\mathbb R}_{\ge 0}^d : t_1 + \cdots + t_d = 1 \} ,$$
having the Boolean algebra
as its closure poset, and then perform a series of collapses preserving
homeomorphism type and regularity.   See ~\cite{He} for details, including the precise
notion of  ``collapse'' being used, as this is quite involved.  Example ~\ref{collapse-example}
is included in hopes of conveying in a brief manner some intuition for these collapses.

What is relevant here is (1) that the Bruhat order is the closure poset for the regular CW
complex obtained at the end of this collapsing
process, and (2) that our poset map describes which faces
of the simplex are mapped to a particular cell in the regular CW complex having
Bruhat order as its closure poset.

\begin{example}\label{collapse-example}
Given the reduced word $(1,2,1)$ in type $A_2$, \cite{He} performs a single collapse on the simplex $\{ (t_1,t_2,t_3)\in {\mathbb R}_{\ge 0}^3: t_1 + t_2 + t_3 = 1\} $,  eliminating the
open cell $\{ (t_1, 0 , t_3 )\in {\mathbb R}_{\ge 0}^3 : t_1 + t_3 = 1\} $ by identifying points
which have $t_1 + t_3 = k$ for any constant $k$; in this case we just have $k=1$, but
in larger examples we have a family of constants $k$ ranging from $0$
to $1$.  In effect, this moves the cell $\{ (t_1,0,0) \in {\mathbb R}_{\ge 0}^3  : t_1 = 1 \} $
across the cell $\{ (t_1,0,t_3)  \in {\mathbb R}_{\ge 0}^3 : t_1 + t_3 = 1\} $ being collapsed,
thereby identifying the cell $\{ (t_1,0,0)\in {\mathbb R}_{\ge 0}^3 : t_1 = 1\} $ with the cell
$\{ (0,0,t_3)\in {\mathbb R}_{\ge 0}^3 : t_3 = 1\} $, reflecting the fact that $s_1 \cdot 1 \cdot 1$ and $1\cdot 1\cdot s_1 $ are both reduced words for the same Coxeter group element.
\end{example}

Some cell incidences are present from the beginning to the end of this collapsing process
appearing in ~\cite{He}, whereas others are created along the way.
The sorting order captures this distinction:

\begin{proposition}\label{geometric-meaning}
The sorting order on a finite Coxeter group is generated by precisely
those covering relations on Bruhat order between cells that were already incident in
the simplex, i.e. it leaves out exactly
those cell incidences that were introduced by collapses.
\end{proposition}

\begin{proof}
Consider a subword $P=(i_{j_1},\dots ,i_{j_k})\in 2^Q$ of the given word $Q=(i_1,\dots ,i_d)$ such that $\{ j_1,\dots ,j_k \} $ is not a $Q$-sorting word --- that is, it is not lexicographically first among subwords that give rise to the group element $f(P)$. Following the language of \cite{He}, this means that
$P$ must include the larger element of some deletion pair in a
word $P\vee P'$ obtained from $P$ by adding exactly one letter to obtain a subword
of $Q$.  This means that the larger element of the deletion pair may be
exchanged for the smaller one to obtain a lexicographically smaller reduced word for
the group element $f(P)$.  In particular, the face given by $P$
gets identified with a lexicographically earlier choice $P'$ by a collapsing step in \cite{He}
which collapses a higher dimensional cell $P\vee P'$ including both elements of the deletion pair
by moving $P$ across $F$ so as to identify it with $P'$.

Thus, the  faces given by the lexicographically first reduced
expressions are essentially
held fixed (ignoring unimportant stretching homeomorphisms on them)
by the collapsing process of \cite{He} while all other faces are
collapsed onto these, creating new cell incidences in the process.
The incidences among the lexicographically first reduced expressions
are inclusions, which is precisely the definition of the $Q$-sorting order.  Examining
the collapsing process in \cite{He}, we see that these are exactly
the incidences that are present from the beginning to the end of the collapsing process --- that is, left unchanged by it. All other incidence relations
in Bruhat order are introduced by collapses.
\end{proof}

\begin{remark}
Proposition ~\ref{geometric-meaning} gives a way to think about the $Q$-sorting order as a closure poset, and also a geometric explanation for the fact that its cover relations are a subset of Bruhat covers. \end{remark}

\begin{corollary}
The covering relations in the $Q$-sorting order are a proper subset of
the covering relations in the Bruhat interval $[\hat{0},w]_B$.
\end{corollary}

Finally, we establish two new properties of the sorting orders.

\section{Unions and Intersections of Sorting Orders}
Given an element $w\in W$ of a finite Coxeter group, let $\mathrm{red}(w)$ denote the set of reduced words for $w$ in the generators $S$. For each $Q\in\mathrm{red}(w)$ there is a corresponding $Q$-sorting order on the elements of the Bruhat interval $[\hat{0},w]_B$. In this section, however, we will consider the $Q$-sorting order as restricted to the elements of the interval $[\hat{0},w]_R$ in (right) {\em weak} order. We will show that the intersection of $Q$-sorting orders, over $Q\in\mathrm{red}(w)$, is the weak order on $[\hat{0},w]_R$ and the union of these $Q$-sorting orders is the Bruhat order on $[\hat{0},w]_R$. Our results apply to the entire group $W$ by taking the longest element $w=w_\circ$.

\begin{theorem}
The intersection over $Q\in\mathrm{red}(w)$ of $Q$-sorting orders is the weak order on the weak interval $[\hat{0},w]_R$.
\end{theorem}

\begin{proof}
Since weak order is contained in each $Q$-sorting order (see Theorem \ref{sorting}), it is contained in the intersection. Recall also that each $Q$-sorting cover $u\prec_Q v$ is a Bruhat cover $u\prec_B v$ (Theorem \ref{sorting}). Thus, we must show: Given $u$ and $v$ in $[\hat{0},w]_R$ such that $u\prec_B v$ and $u\not\leq_R v$, there exists a reduced word $Q\in\mathrm{red}(w)$ such that $u\not\leq_Q v$.

Let $Q'\in\mathrm{red}(u)$ be any reduced word for $u$. Since we have $u\leq_R w$ by assumption, there exists a reduced word $Q\in\mathrm{red}(w)$ for $w$ which contains $Q'$ as a prefix. We claim that $u\not\leq_Q v$ in $Q$-sorting order. Indeed, the $Q$-sorting subword $Q(u)\subseteq Q$ corresponding to $u$ is just the prefix $Q'\subseteq Q$. Let $Q(v)\subseteq Q$ be the $Q$-sorting word for $v$; that is, the lex-first reduced word for $v$ as a subword of $Q$. Suppose now that $u\leq_Q v$; i.e., that $Q(u)\subseteq Q(v)$. Then $Q(v)$ is a reduced word for $v$ containing the reduced word $Q(u)$ for $u$ as a prefix, which implies that $u\leq_R v$. This is a contradiction.
\end{proof}

\begin{theorem}
The union over $Q\in\mathrm{red}(w)$ of $Q$-sorting orders is the Bruhat order on the weak interval $[\hat{0},w]_R$.
\end{theorem}

\begin{proof}
Given $u$ and $v$ in $[\hat{0},w]_R$ such that $u\prec_B v$ is a Bruhat cover, we must find a reduced word $Q\in\mathrm{red}(w)$ such that $u\leq_Q v$.

Since $v\leq_R w$ in weak order, there exists a reduced word for $v$ which is a prefix of $Q$. Since a prefix is clearly lex-first, this prefix is the $Q$-sorting word $Q(v)\subseteq Q$. Suppose that $v$ has length $k$, so that $Q(v)$ corresponds to positions $\{1,2,\ldots,k\}$. By the subword definition of Bruhat order above, there exists a reduced word $Q'$ for $u$ in positions $\{1,2,\ldots,k\}-\{i\}$ for some $1\leq i\leq k$. We claim that $u\leq_Q v$. Indeed, we already have $Q'\subseteq Q(v)$. The $Q$-sorting word $Q(u)$ for $u$ is a reduced word for $u$ which precedes $Q'$ lexicographically. Since $Q(v)$ is a prefix of $Q$ we must have $Q(u)\subseteq Q(v)$, or $u\leq_Q v$.
\end{proof}

For example, consider the Coxeter group $W$ of type $B_2$ with generators $\{1,2\}$ and longest element $w_\circ=1212=2121$. In this case we have
\begin{equation*}
\mathrm{red}(w_\circ)=\left\{ Q_1=(1,2,1,2), Q_2=(2,1,2,1)\right\}.
\end{equation*}
Figure \ref{fig:b2} displays the weak order, $Q_1$-sorting order, $Q_2$-sorting order, and Bruhat order on the full group. Here we have used zeroes as placeholders, to indicate the indices not in a given word. Note that the weak order is the intersection and the Bruhat order is the union of the two sorting orders. Next, observe that there is only one reduced word for the element $w=212$, namely $Q=(2,1,2)$. Note that the $Q$-sorting order is just the interval $[\hat{0},212]_{Q_2}$ in $Q_2$-sorting order. Note also that this order coincides {\em neither} with the weak {\em nor} the Bruhat order on the set $[\hat{0},212]_Q=[\hat{0},212]_B$. Our above results instead tell us that the weak order, $Q$-sorting order, and Bruhat order all coincide on the {\em weak} interval $[\hat{0},212]_R$.

\begin{figure}
\begin{center}
\includegraphics[scale=.75]{b2example.eps}
\end{center}
\caption{The weak order, $Q_1$-sorting order, $Q_2$-sorting order, and Bruhat order}
\label{fig:b2}
\end{figure}

\section{acknowledgments}

The authors thank Ezra Miller for helpful comments.

Combinatorics (math.CO); Algebraic Geometry (math.AG)


Another Proof of Darboux's Theorem

Abstract: We know that a continuous function on a closed interval satisfies the Intermediate Value Property. Likewise, the derivative function of a differentiable function on a closed interval satisfies the IVP property which is known as the Darboux theorem in any real analysis course. Most of the proofs found in the literature use the Extreme Value Property of a continuous function. In this paper, I am going to present a simple and elegant proof of the Darboux theorem using the Intermediate Value Theorem and the Rolles theorem

\section{Some Preliminary Background and Known Proofs}

In this section we state the Darboux's theorem and give the known proofs from various literatures.

A function $f\colon[a,b]\rightarrow \mathbb{R}$ is said to satify the intermediate value property on $[a,b]$ if for every $\lambda $ between $f(a)$ and $f(b)$, there exists $c\in (a,b)$ such that $f(c) = \lambda$.
We know, from intermediate value theorem, that a function  $f\colon [a,b]\rightarrow \mathbb{R}$ continuous on $[a,b]$ satisfies the intermediate value property on $[a,b]$. That is

$$ \text{continuous function}\quad \Rightarrow\quad \text{Intermediate Value Property}.$$

However, the converse of the intermediate value theorem is not necessarily true. The function $f\colon \mathbb{R} \rightarrow \mathbb{R}$ defined by

\begin{displaymath}
   f(t) = \left\{
     \begin{array}{lr}
       \sin\left( \dfrac{1}{t}\right)  & for \quad t\neq 0,\\
       0 & for \quad t=0, \\
     \end{array}
   \right.
\end{displaymath}
which is discontinuous at $t=0$, provides a counter example. Indeed, the French mathematician Darboux, proves in $1875$ that derivative function of a differentiable function satisfies the intermediate value property ~\cite{darboux}. Darboux also provides an example of a differentiable function with discontinuous derivative.

The statement of the Darboux's theorem follows here.

\begin{thm}[Darboux's Theorem]\label{thm:darbouxtheorem}
If $f$ is differentiable on $[a,b]$ and if $\lambda$ is a number between $f^{\prime}(a)$ and $f^{\prime}(b)$, then there is at least one point $c\in (a,b)$ such that $f^{\prime}(c) = \lambda$.
\end{thm}

 This indicates clearly that the converse of the intermediate value theorem is not necessarily true because derivative function of a differentiable function is not necessarily continuous. For example

\begin{displaymath}
   f(t) = \left\{
     \begin{array}{lr}
       t^2\sin\left( \dfrac{1}{t}\right)  & for \quad t\neq 0,\\
       0 & for \quad t=0 \\
     \end{array}
   \right.
\end{displaymath}
is continuous and has discontinuous derivative which satisfies the intermediate value property by the Darboux's theorem \ref{thm:darbouxtheorem}. Thus Draboux's provides a huge class of functions satisfying the intermediate value property, namely the derivative functions of differentiable functions.
The main purpose of this short note is to provide an alternate proof of this theorem different from the standard proofs found in many textbooks on real analysis.

The standard proofs found in various literatures goes as follows:

\begin{proof}
Suppose that $f^{\prime}(a) < \lambda < f^{\prime}(b)$. Let $F:[a,b]\rightarrow \mathbb{R}$ be defined by $F(x) = f(x) -\lambda x$ so that $F^{\prime}(x) = f^{\prime}(x) -\lambda $. Then $F$ is differentiable on $[a,b]$ because so is the function $f$ by hypothesis. We find  $F^{\prime}(a) = f^{\prime}(a) -\lambda  <0$ and  $F^{\prime}(b) = f^{\prime}(b) -\lambda >0$. Note that $F^{\prime}(a) <0$ means $F(t_1)< F(a)$ for some $t_1\in (a,b)$. Also, for $F^{\prime}(b)>0$, we can find $t_2\in (a,b)$ such that $F(t_2) < F(b)$. Thus neither $a$ nor $b$ can be a point where $F$ attains absolute minimum. Since $F$ is continuous on $[a,b]$, it must attain its relative minimum at some point $c\in (a,b)$ by Extreme value theorem for a continuous function. This means that $F^{\prime}(c) = 0$  by Fermat's theorem  and therefore $f^{\prime}(c) = \lambda$ as desired. The proof follows by similar arguments if  $f^{\prime}(b) < \lambda < f^{\prime}(a)$.
\end{proof}

The above proof can be found in various textbooks of undergraduate level real analysis course including W. Rudin ~\cite{walterrudin}, M. Spivak ~\cite{mspivak}, Bartle and Sherbert ~\cite{bartlesherbert}, K. Ross ~\cite{kaross}, W. R. Wade ~\cite{wade}, J. M. Howe ~\cite{howie}, T. M. Apostol ~\cite{apostol}, R. Boas ~\cite{boas}, G. Darboux ~\cite{darboux}, S. Krantz ~\cite{krantz}. It is left as an exercise with some hints in some of the textbooks while others give incomplete proofs leaving readers to fill in the gaps. The main trouble is in the argument that the function $F$ can attain minimum neither at $x=a$ nor at $x=b$. Some authors provide the $\epsilon-\delta$ proof for this part of the argument. Lars Oslen, in his paper ~\cite{oslen}, makes the following comment:

\enquote{Most students typically either think that this is obvious (and that the lecture is being over pedantic by insisting on a proof), or they see the need for a proof but find the $\epsilon-\delta$-gymnastics in the proof less than convincing.}

Lars Oslen then provides an new proof of the Darboux's theorem based only on the Mean Value theorem  for a differentiable function and intermediate value theorem  for a continuous function. The author, Lars Oslen, claims that his proof is more convincing than the standard proofs found in many textbooks. I am going to present his proof as it is from his paper ~\cite{oslen}.

\medskip

\noindent{\bf Proof of Darboux's Theorem by Lars Oslen ~\cite{oslen}:}

\medskip
We may clearly assume that $y$ lies stricly between $f^{\prime}(a)$ and $f^{\prime}(b)$. Define continuous functions $f_a, f_b\colon [a,b]\rightarrow \mathbb{R}$ by

\begin{displaymath}
   f_a(t) = \left\{
     \begin{array}{lr}
       f^{\prime}(a) & for \quad t=a,\\
       \dfrac{f(a)-f(t)}{a-t} & for \quad t\neq a, \\
     \end{array}
   \right.
\end{displaymath}
and

\begin{displaymath}
   f_b(t) = \left\{
     \begin{array}{lr}
       f^{\prime}(b) & for \quad t=b,\\
       \dfrac{f(t)-f(b)}{t-b} & for \quad t\neq b. \\
     \end{array}
   \right.
\end{displaymath}

It follows that $f_a(a) = f^{\prime}(a)$, $f_a(b)=f_b(a)$, and $f_b(b) = f^{\prime}(b)$. Hence, $y$ lies between $f_a(a)$ and $f_a(b)$, or $y$ lies between $f_b(a)$ and $f_b(b)$.
\par
If $y$ lies between $f_a(a)$ and $f_a(b)$, then (by continuity of $f_a$) there exists $s$ in $(a,b]$ with

$$y= f_a(s) = \dfrac{f(s) - f(a)}{s-a}.$$
The mean value theorem ensures that there exists $x$ in $[a,s]$ such that

$$y = \dfrac{f(s)-f(a)}{s-a}=f^{\prime}(x).$$

If $y$ lies between $f_b(a)$ and $f_b(b)$, then an analogous argument (exploiting the continuity of $f_b$) shows that there exists $s$ in $[a,b)$ such that

$$y = \dfrac{f(b)-f(s)}{b-s}=f^{\prime}(x).$$
This completes the proof.

This proof is more convincing as the author has claimed in his paper in the sense that it avoids the $\epsilon-\delta$-arguments.  Author has used the Carath\'{e}odory's theorem for the existence of the auxiliary functions $f_a$ and $f_b$. See T. M. Apostol ~\cite{apostol}, Bartle and Sherbert ~\cite{bartlesherbert} for example. Use of this theorem for the existence of the functions $f_a$ and $f_b$ may still be rather too much for an undergraduate students beginning real analysis course.
The proof I am going to give in the next section uses monotonicity property of a differentiable function, and the  two standard and familiar theorems   intermediate value theorem  and the Rolle's theorem from the first year calculus course. This also uses no $\epsilon-\delta$-arguments.

\section{Another Proof of Darboux's Theorem}

\begin{proof}

We assume that $ f^{\prime}(a) < \lambda < f^{\prime}(b)$, and consider a function $F\colon[a,b]\rightarrow \mathbb{R}$ defined by $F(x) = f(x) - \lambda x$.
Then $F^{\prime}(x) = f^{\prime}(x) - \lambda$, and find that $F^{\prime}(a) = f^{\prime}(a) - \lambda <0$ and $F^{\prime}(b)= f^{\prime}(b)-\lambda >0$.
This means that the function $F$ is not monotonic on $[a,b]$ in the sense that there exist $x, y, z\in [a,b]$ such that $x < y < z$ satisfying  exactly one and only one of the following conditions $(a)$ or $(b)$.

\medskip

\begin{enumerate}[(a)]
\item $F(x) < F(y)$ and $F(y) > F(z)$ We prove the theorem for this case.
\item $F(x) > F(y)$ and $F(y) < F(z)$. Proof in this case follows by a similar argument.
\end{enumerate}

\medskip

Suppose $(a)$ holds. Then we encounter three cases:

\begin{enumerate}[(i)]
\item  $F(x) < F(z)$
\item $F(z) < F(x)$
\item $F(z) = F(x)$.
\end{enumerate}
\par
\medskip

\noindent{Case(i):} Assume that $F(x) < F(z)$. Then $F(x) < F(z) < F(y)$. F is differentiable on $[a,b]$ because so is $f$ by hypothesis. That is $F$ is continuous as well on $[a,b]$. So the Intermediate Value theorem applies to $F$ on $[x,y]\subseteq [a,b]$ and we obtain $d\in (x, y) \subseteq (a,b)$ such that $F(d) = F(z)$.  Note that

$$a \leq x < d < y < z \leq b.$$

Now we can apply the Rolles theorem  to $F$ on the closed interval $[d,z]$ and obtain $c\in (d,z)\subseteq (x,z)\subseteq (a,b)$ such that $F^{\prime}(c) = 0$  which leads to $f^{\prime}(c) = \lambda$ as desired.
\par
\medskip

\noindent{Case (ii):} Assume that $F(z) < F(x)$. Then $F(z) < F(x) < F(y)$. The theorem then follows by arguments similar to that of case (i).

\medskip

\noindent{Case (iii):} Assume that $F(z) = F(x)$. Then we can use the Rolle's theorem  for $F$ directly on $[x,z]$ and obtain a $c\in (x,z)\subseteq (a,b)$ such that $F^{\prime}(c) = 0$ leading to $f^{\prime}(c)=\lambda$ as desired.

\par

 We arrive at the same conclusion if $(b)$ holds by similar  argument. This completes the proof of the theorem.

\end{proof}

\bibliographystyle{amsplain}

Another Proof of Darboux's Theorem


Non-abelian convexity by symplectic cuts

Abstract: In this paper we extend the results of Kirwan et alii on convexity properties of the moment map for Hamiltonian group actions, and on the connectedness of the fibers of the moment map, to the case of non-compact orbifolds.Our motivation is twofold. First, the category of orbifolds is important in symplectic geometry because, generically, the symplectic quotient of a symplectic manifold is an orbifold. Second, our proof is conceptually very simple since it reduces the non-abelian case to the abelian case.

\section{Introduction}

In this paper we prove the following theorem, which extends a result
of Kirwan (\cite{Kconvex}, \cite{Kbook}) to the case of orbifolds
which need not be compact.  Recall that a subset $\Delta$ of a vector
space $V$ is {\bf polyhedral} if it is the intersection of finitely
many closed half-spaces.  Recall also that $\Delta \subset V$ is {\bf
locally polyhedral} if for any point $x\in \Delta$ there is a
neighborhood $U$ of $x$ in $V$ and a polyhedral set $P$ in $V$ such
that $U\cap \Delta = U\cap P$.

\begin{thm} \label{MainThm}
Let $(M,\omega)$ be a connected symplectic orbifold with a Hamiltonian
action of a compact Lie group $G$ and a proper moment map $\Phi:M \to \g^*$.
\begin{enumerate}
\item \label{ThmA} Let $\ft_+^*$ be a closed Weyl chamber for the Lie
group $G$ considered as a subset of $\g^*$.  The {\em moment set}
$\Phi(M) \cap \ft_+^*$ is a convex locally polyhedral set. In
particular, if $M$ is compact then the moment set is a convex
polytope.
\item \label{ThmB}
Each fiber of the moment map $\Phi$ is connected.
\end{enumerate}
\end{thm}

Kirwan's theorem has numerous applications in symplectic geometry:  For
example, it is used in the classification of Hamiltonian $G$-orbifolds, in
geometric quantization, and in the study of the existence of invariant
K\"ahler structures.

Convexity theorems in symplectic geometry have a long history.  For
the action of a maximal torus on a coadjoint orbit Theorem
\ref{MainThm} was proved by Kostant \cite{Kostant}, extending previous
results of Schur and Horn.  This was generalized to the actions of
subgroups by Heckman \cite{Hec}. For Hamiltonian torus actions on
manifolds the theorem was proved independently by Atiyah \cite{A} and
by Guillemin and Sternberg \cite{GSc}. In the non-abelian case
Guillemin and Sternberg proved that the moment set is a union of
convex polytopes and that it is a single polytope for a K\"ahler
manifold. The convexity in the K\"ahler case was independently proved by
Mumford \cite{NM}. The first complete proof for Hamiltonian actions of
non-abelian groups on manifolds was given by Kirwan \cite{Kconvex},
using Morse theory of the Yang-Mills functional and results of
Guillemin and Sternberg.  Several alternative proofs of Kirwan's
result have appeared: \cite{CDM}, \cite{Hilgert} (based on \cite{CDM})
and \cite{Sj} (based on \cite{B}).

Our motivation for offering this proof is twofold.  First,
Theorem~\ref{MainThm} generalizes the result from manifolds to
orbifolds; this category is important in symplectic geometry because,
generically, the symplectic quotient of a symplectic manifold is an
orbifold.  Secondly, our proof is conceptually very simple.  The first
step is to generalize the abelian version of the theorem to certain
non-compact orbifolds. The key idea is to apply the technique of
symplectic cutting \cite{L} to reduce to the compact case.  In the
second step we reduce the non-abelian case to the abelian case by
means of a symplectic cross-section: We show that there is a unique
open wall $\sigma$ of the Weyl chamber $\ft_+^*$ such that
$\Phi(M)\cap\sigma$ is dense in the moment set
$\Delta=\Phi(M)\cap\ft_+^*$, and that the preimage $\Phi^{-1}(\sigma)$
is a $T$-invariant symplectic suborbifold.

Under assumptions similar to those of the main theorem, the result
holds for Hamiltonian actions of loop groups provided the preimage of
an alcove under the moment map is finite dimensional. This will be
discussed in a forthcoming paper.

In the last section, using similar methods we extend to symplectic
orbifolds a result of Sjamaar \cite{Sj} which says that the the moment
set near a point $x$ can be read off from local data near an arbitrary
point in the fiber $\Phi^{-1}(x)$:

\begin{thm}
Let $(M,\omega)$ be a connected symplectic orbifold with a Hamiltonian
action of a compact Lie group $G$ and a proper moment map $\Phi:M \to \g^*$.
For every  $m\in \Phi^{-1}(\ft_+^*)$, and
every $G$-invariant neighborhood  $U$ of $m$ in $M$, the image
$\Phi(U)\cap \ft_+^*$ is a relatively open neighborhood of $\Phi(m)$ in
$\Phi(M)\cap\ft_+^*$.
\end{thm}

\section{Background}

In this section, we extend some well-known results in symplectic
geometry from manifolds to or\-bi\-folds.  These extensions are
straightforward.  Readers who are familiar with the standard versions
of these results and not too skeptical may wish to skip this section.

\subsection{Hamiltonian actions on orbifolds}
\label{secab}

An {\bf orbifold} $M$ is a topological space $|M|$, together with an
{\bf atlas} of {\bf uniformizing charts} $({\tilde{U}},\Gamma,\varphi)$, where
${\tilde{U}}$ is open subset of ${\Bbb R}^n$, $\varphi({\tilde{U}})$ is an open subset
of $|M|$, $\Gamma$ is a finite group which acts linearly on ${\tilde{U}}$ and
fixes a set of codimension at least two, and $\varphi: {\tilde{U}} \to |M|$
induces a homeomorphism from ${\tilde{U}}/\Gamma$ to $\varphi({\tilde{U}}) \subset
|M|$.  Just as for manifolds, these charts must cover $|M|$; they are
subject to certain compatibility conditions; and there is a notion of
when two atlases of charts are equivalent.  For more details, see
Satake \cite{Sa}.

A smooth function on $M$ is a collection of smooth invariant functions
on each uniformizing chart $({\tilde{U}},\Gamma,\varphi)$ which agree on
overlaps of the images $\varphi ({\tilde{U}})$. Differential forms, vectors
fields, and other objects can be similarly defined.  There is also a
notion of morphisms (maps) of orbifolds.

Let $x$ be a point in an orbifold $M$, and let $({\tilde{U}},\Gamma, \varphi)$
be a uniformizing chart with $x\in{\tilde{U}}/\Gamma$.  The {\bf
(orbifold) structure} group of $x$ is the isotropy group $\Gamma_x$ of
$\tilde{x} \in {\tilde{U}}$, where $\varphi(\tilde{x}) = x$.  The group
$\Gamma_x$ is well defined as an abstract group. The
tangent space to $\tilde{x}$ in ${\tilde{U}}$, considered as a representation
of  $\Gamma_x$ is called the {\bf uniformized tangent space at $x$},
and denoted  by $\tilde{T}_xM$.
The quotient $\tilde{T}_x M/\Gamma_x$ is
$T_x M$, the fiber of the {\bf tangent bundle} of $M$ at $x$.

Let $G$ be a compact connected Lie group with Lie algebra $\g$.  A
{\bf smooth action} $a$ of $G$ on an orbifold $M$ is a smooth orbifold
map $a: G\times M \to M$ satisfying the usual laws for an action.
Given an action of $G$ on $M$, every vector $\xi \in \g$ induces a
vector field $\xi_M$ on $M$.

A {\bf symplectic orbifold} is an orbifold $M$ with a closed
non-degenerate $2$-form $\omega$.  A group $G$ acts {\bf
symplectically} on $(M,\omega)$ if the action preserves $\omega$.  A
{\bf moment map } for a symplectic action of a group $G$ is an
equivariant map $\Phi: M \to \g^*$ such that
\begin{equation}\label{moment map defining equation}
i_{\xi_M} \omega = -\,\langle\, d\Phi,\xi
\rangle\quad \mbox{ for all }\quad\xi \in \g.
\end{equation}
If a moment map exists, we say that the action of $G$ on $(M,\omega)$
is Hamiltonian and refer to $(M,\omega)$ as a {\bf Hamiltonian
$G$-space}.  If $b \in \g^*$ is a regular value of the moment map
$\Phi$, then the orbifold version of the Marsden-Weinstein-Meyer
theorem says that the quotient $M_b := \Phi^{-1}(b)/G_b$ is a symplectic
orbifold, called the {\bf symplectic reduction} of $M$ at $b$.
For a proof, see \cite{LT}.

The following theorem is due in the manifold case to Atiyah \cite{A}
and to Guillemin and Sternberg \cite{GSc}.  The proofs in the orbifold
case are in \cite{LT}.  Let $T$ be a torus, $\ft$ its Lie algebra,
$\ft^*$ the dual of $\ft$ and $\ell = \ker\{ \exp : \ft \to T\}$ the
{\bf integral lattice}.  A polytope in $\ft^*$ is {\bf rational} if
the faces of the polytope are cut out by hyperplanes whose normal
vectors are in the lattice $\ell$.
\begin{theorem} \label{AbConv}
Let $(M,\omega)$ be a compact, connected symplectic orbifold, and let
$\Phi: M \to {\german t}}  \def\ft{{\german t}^*$ be a moment map for a Hamiltonian torus action on
$M$.
\begin{enumerate}
\item The image $\Phi(M)$ is a rational convex polytope, and
\item each fiber of $\Phi$ is connected.
\end{enumerate}
\end{theorem}

\subsection{Symplectic Cuts} \label{Symplectic Cutting}

Symplectic cutting is a technique which allows one to naturally
construct a symplectic structure on a subquotient of a symplectic
orbifold.  It was introduced in \cite{L}.  We will use symplectic cuts
to produce compact orbifolds out of non-compact ones.

Let $(M,\omega)$ be a symplectic orbifold with a Hamiltonian circle action
and a moment map $\mu :M \to {\Bbb R}$.  Suppose that $\epsilon$ is a
regular value of the moment map.
Consider the disjoint union
$$ M_{[\epsilon,\infty)}:=\mu^{-1}((\epsilon,\infty))\cup
M_\epsilon,$$
obtained from the orbifold with boundary $\mu^{-1}([\epsilon,\infty))$
by collapsing the boundary under the $S^1$-action. We claim
that $ M_{[\epsilon,\infty)}$
admits a natural structure of a symplectic orbifold, in such a way that
the embeddings of $\mu^{-1}((\epsilon,\infty))$ and $M_\epsilon$ are
symplectic.
Moreover, the induced circle action on $M_{[\epsilon,\infty)}$
is Hamiltonian, with
a moment map coming from the restriction of the original moment map
$\mu$ to $\{m\in M: \mu (m) \geq \epsilon\}$.

\begin{definition}
We call the symplectic orbifold $M_{[\epsilon, \infty)}$ the {\bf
symplectic cut } of $M$ with respect to the ray $[\epsilon, \infty)$
(with symplectic form and moment map understood).
\end{definition}

To see that the claim holds consider the product $M \times {\Bbb C}$ of
the orbifold with a complex plane.  It has a natural (product)
symplectic structure : $\omega + (-i) dz \wedge d\bar{z}$.  The
function $\nu: M \times {\Bbb C} \to {\Bbb R}$ given by $ \nu(m,z) = \mu(m) -
| z |^2$ is a moment map for the diagonal action of the circle (it
commutes with the original action of the circle on $M$).  The point
$\epsilon$ is a regular value of $\mu$ if and only if it is a regular
value of $\nu$.  The map
$$
\{m\in M :\mu \geq \epsilon\} \to \nu ^{-1} (\epsilon),
\qquad m\mapsto (m,\sqrt{ \mu (m) - \epsilon})
$$
descends to a homeomorphism from the cut space $M_{[\epsilon, \infty)}$
to the reduced space $\nu ^{-1} (\epsilon)/S^1$. Moreover the
homeomorphism is $S^1$-equivariant and it is a symplectomorphism on
the set $\{\mu > \epsilon\}$.

\begin{example}  Consider the complex plane ${\Bbb C}$ with its standard
symplectic form $(-i) dz \wedge d\bar{z}$, and let a circle $U(1) =
\{z\in {\Bbb C}: |z| =1 \}$ act by multiplication.  The moment map is $\mu
(z)= -|z|^2$.  The symplectic cut of ${\Bbb C}$ at $\epsilon <0$ is a
two-sphere.

\end{example}

This construction generalizes to torus actions as
follows.\footnote{See \cite{W}, \cite{Mein} for the generalization to
non-abelian actions.}  Let $\mu:M \to {\german t}}  \def\ft{{\german t}^*$ be a
moment map for an { effective }action of a torus $T$ on a
symplectic orbifold $(M,\omega)$ and let $\ell \subset {\german t}}  \def\ft{{\german t}$ denote the
integral lattice.
Choose $N$ vectors $v_j \in \ell$, $1 \leq j \leq
N$. The form $\omega -i \sum_{j=1}^N\, dz_j\wedge d \bar{z}_j$ is a
symplectic form on the orbifold $M \times {\Bbb C}^N$.  The map $\nu:M
\times {\Bbb C}^N \to {\Bbb R}^N$ with $j$th component
$$
\nu_j(m,z) = \langle\mu(m), v_j \rangle - | z_j |^2
$$
is a moment map for a $(S^1)^N$ action on $M \times {\Bbb C}^N$.  For any $b
\in {\Bbb R}^N$, define a convex rational polyhedral set
$$
P = \{ x\in {\german t}}  \def\ft{{\german t}^* \mid \langle x, v_i \rangle \geq b_i
\mbox{ for all } 1 \leq i \leq N \}.
$$
The {\bf symplectic cut of $M$ with respect to a rational polyhedral
set $P$} is the reduction of $M \times {\Bbb C}^N$ at $b$. We denote it by
$M_{P}$.

\begin{remark}  \label{Generic}
If $b$ is a regular value of $\nu$, then $M_{P}$ is a symplectic
orbifold.  Note that regular values are generic.  Thus, for an
intersection $P$ of finitely many rational half-spaces of ${\german t}}  \def\ft{{\german t}^*$ in
general position the cut space $M_P$ is a symplectic orbifold. Note
that if $P$ is a compact polytope, then the fact that $P$ is generic
implies that $P$ is {\bf simple:} the number of codimension one faces
meeting at a given vertex is the same as the dimension of $P$.
\end{remark}

There is a natural decomposition of
$M_{P}$ into a union of symplectic suborbifolds, indexed by the open
faces $F$ of $P$:
$$
M_{P}=\bigcup_F \,\mu^{-1}(F)/T_F,
$$
where $T_F\subset T$ is the torus {\bf perpendicular} to $F$.  That
is, the Lie algebra of $T_F$ is the annihilator of the linear space
defined by the face $F$.  Thus, one can think of $M_{P}$ as
$\mu^{-1}(P)$, with its boundary collapsed by means of the
$T_F$-actions.  Under this identification, the $T$-action on $M$
descends to a $T$-action on $M_P$. One can show that this action is
smooth and Hamiltonian, with moment map $\mu_P$ induced from the
restriction $\mu|\mu^{-1}(P)$.  In particular,
$$
\mu_P(M_{P})=\mu(M)\cap P.
$$
It follows immediately that the cut space $M_{P}$ is compact exactly if
$\mu^{-1}(P)$ is.  Similarly $M_{P}$ is connected if and only if
$\mu^{-1}(P)$ is connected.  To summarize, we have the following result.

\begin{proposition}\label{prop_symplectic_cuts}
Let $\mu:M \to {\german t}}  \def\ft{{\german t}^*$ be a moment map for an {\em effective }action of
a torus $T$ on a symplectic orbifold $(M,\omega)$.  Let $P \subset
\ft^*$ be a generic rational polyhedral set. Let ${\cal F}$ be the set
of all open faces of $P$.  Then the topological space $M_P$ defined by
$$
M_{P}=\bigcup_{F\in {\cal F}} \,\mu^{-1}(F)/T_F,
$$
where $T_F\subset T$ is the subtorus of $T$ perpendicular to $F$, is a
symplectic orbifold with a natural Hamiltonian action of the torus
$T$.  Moreover, the map $\mu _P: M_P \to \ft^*$, induced by the
restriction $\mu |\mu\inv (P)$, is a moment map for this action.
Consequently,
\begin{enumerate}
\item the cut space $M_P$ is connected if and only if $\mu \inv (P)$
is connected;

\item the fibers of $\mu_P$ are connected if and only if the fibers of
$\mu| \mu \inv (P)$ are connected;

\item $M_P$ is compact if and only if $\mu \inv (P)$ is compact.

\end{enumerate}
\end{proposition}

\subsection{Principal orbit type}
Consider a connected orbifold $M$, together with an action of
a compact connected Lie group $G$. For each $m\in M$, let
$\g_m\subset\g$ be the corresponding isotropy Lie algebra. Clearly,
$\g_{g\cdot m}={\rm Ad}(g)(\g_m)$ for all $g\in G$. The set of subalgebras
$$
(\g_m) = \{{\rm Ad}(g)(\g_m) \mid g\in G \}
$$
is called the (infinitesimal) {\bf orbit type} of $m$. As in the case
of manifolds, each point $m\in M$ has a neighborhood $U$ such that the
number of orbit types $(\g_{m'})$, for $m'\in U$ is finite and each
$\g_{m'}$ is subconjugate to $\g_m$.

\begin{proposition}
There exists a unique orbit type $({\german h}}   \def\fh{{\german h})$ (called the {\bf principal
orbit type}) such that the set
$$ M_{({\german h}}   \def\fh{{\german h})}=\{m\in M|\,(\g_m)=({\german h}}   \def\fh{{\german h})\} $$
of points of orbit type $({\german h}}   \def\fh{{\german h})$ is open, dense and connected.
\end{proposition}
\begin{proof}
The proof is an adaptation of the proof for manifold to orbifolds.
The key point is that slices (Definition~\ref{definition of slice})
exist for actions of compact groups on orbifolds \cite{LT}.
\end{proof}

\begin{definition}
For an action of a compact connected Lie group $G$ on a connected
orbifold $M$, we define the {\bf principal stratum}
$M_{prin}$ to be the intersection of the set
$M_{({\german h}}   \def\fh{{\german h})}$ of points of principal orbit type with the set $M_{smooth}$
of smooth points  of $M$.
\end{definition}

\begin{remark}
By definition, the set $M_{sing}$ of singular points of an orbifold
$M$ is a union of submanifolds of codimension at least 2. Therefore
$M_{smooth}$ is open, dense and connected, and so is $M_{prin}$.
\end{remark}

\begin{remark}\label{cons_rank_remark}
Let $M$ be a connected Hamiltonian $G$-orbifold. As in the case of
manifolds, the definition of the moment map, equation (\ref{moment map
defining equation}), implies that the image of the differential of the
moment map at a point $m$ is the annihilator of the corresponding
isotropy Lie algebra $\fg_m$. Consequently the restriction of the
moment map to $M_{prin}$ has constant rank.
\end{remark}

\section{The principal cross-section}

In this section, we define cross-sections and show that they have the
properties needed to reduce the non-abelian case to the abelian case.

\subsection{The cross-section theorem}

Theorem~\ref{cross-section thm} is a version of the cross section
theorem of Guillemin and Sternberg \cite[Theorem~26.7]{GS} adapted to
orbifolds. This version of the theorem and its relationship to
fibrations of coadjoint orbits and representation theory are discussed
in \cite{GLS}. Since \cite{GLS} is not yet published, we thought that
it would be useful to present the proof.

\begin{definition}\label{definition of slice}
Suppose that a group $G$ acts on an orbifold $M$.  Given a point $m$
in $M$ with isotropy group $G_m$, a suborbifold $U\subset M$
containing $m$ is a {\bf slice} at $m$ if $U$ is $G_m$-invariant,
$G\cdot U$ is a neighborhood of $m$, and the map
$$
G\times _{G_m} U \to G\cdot U, \quad [a, u]\mapsto a\cdot u
$$
is an isomorphism.  In other words, $G\cdot y \cap U = G_m
\cdot y$ and $G_y \subset G_m$ for all $y\in U$.
\end{definition}

\begin{remark}\label{remark natural slice}
Consider the coadjoint action of a compact connected Lie group $G$ on
$\g^*$. For all $x\in\g^*$, there is a unique largest open subset
$U_x\subset\g_x^*\subset\g^*$ which is a slice at $x$. We refer to
$U_x$ as the {\bf natural slice } at $x$ for the coadjoint action.
In order to describe the natural slice, we may assume without
loss of generality that $x\in\ft_+^*$.
Let $\tau\subset\ft_+^*$ be the open
wall of $\ft_+^*$ containing $x$ and let $G_\tau $ denote the isotropy
Lie group of $x$ (the group is the same for all points of $\tau$). Then
$$
	U_\tau = G_\tau \cdot \{ y \in \ft_+^* \mid G_y \subset G_\tau\}
               = G_\tau \cdot \bigcup_{\tau\subset\overline{\tau'}}\tau'
$$
is an open subset of $\fg_\tau ^*$, and is equal to the natural
slice $U_x$.
\end{remark}

\begin{theorem}[Cross-section]\label{cross-section thm}
Let $(M, \omega)$ be a symplectic orbifold with a moment map $\Phi: M
\to \fg^*$ arising from an action of a compact Lie group $G$.  Let $x$
be a point in $\fg^*$ and let $U$ be the natural slice at $x$ (see
above).  Then the {\bf cross-section} $R:=\Phi ^{-1} (U)$ is a
$G_x$-invariant symplectic suborbifold of $M$, where $G_x$ is the
isotropy group of $x$.  Furthermore the restriction $\Phi |_R$ is a
moment map for the action of $G_x$ on $R$.
\end{theorem}

\begin{proof}
By definition of the slice, coadjoint orbits intersect $U$
transversally.  Since the moment map is equivariant, it is transversal
to $U$ as well.  Hence the cross-section $R=\Phi ^{-1} (U)$ is a
sub\-or\-bi\-fold.  Since the slice $U$ is preserved by the action of $G_x$
and the moment map is equivariant, the cross-section is preserved
by $G_x$.
It remains to show that for all $r\in R$, the uniformized tangent space
$\tilde{T}_r R$ is a symplectic subspace of $\tilde{T}_r M$.
Let $y=\Phi(r)$, and
let ${\german m}$ be the $G_x$-invariant complement of $\fg_x$ in $\fg$.  Then
$T_yU$ is the annihilator of ${\german m}$ for any $y\in U$.  We claim that
\begin{itemize}
\item[(a)]  the tangent space $\tilde{T}_r R$ is symplectically
perpendicular to ${\german m}_M (r) = \{\xi _M (r): \xi \in {\german m}\}$, the
subspace of the tangent space to the orbit through $r$ spanned by
${\german m}$;
\item[(b)] ${\german m}_M (r)$ is a symplectic subspace of  $\tilde{T}_r M$.
\end{itemize}
Together the two claims establish the theorem because $\tilde{T}_r M =
\tilde{T}_r R \oplus {\german m}_M (r)$.  To see that (a) holds observe that
for $v\in \tilde{T}_r R$ and $\xi \in {\german m}$,
$$
\omega_r (\xi _M(r), v) = \langle \xi , d\Phi _r (v)\rangle = 0
$$
since $d\Phi _r (v) \in T_y U = {\german m}^\circ$ and $\xi \in {\german m}$.

To see that (b) is true,  observe that for $\xi, \eta \in \fg$,
$$
\omega_r (\xi _M(r), \eta _M (r)) = \langle \xi , d\Phi _r (\eta _M
(r))\rangle =  \langle \xi, ad^\dagger (\eta)\cdot \Phi (r)\rangle =
\langle [\xi, \eta], y\rangle.
$$
Thus ${\german m}_M (r)$ is symplectic if and only if $ad^\dagger ({\german m}) y$ is
a symplectic subspace of the tangent space $T_y (G\cdot y)$.
Since $G_x \cdot y \subset U$ and since ${\german m} = (T_y U)^\circ$,
for any $\xi \in {\german m}$ and any $\zeta \in \fg_x$ we have
$$
\langle [\xi, \zeta], y\rangle =\langle \xi, ad^\dagger (\zeta)
y\rangle = 0,
$$
i.e., $T_y (G_x \cdot y)$ and $ad^\dagger ({\german m}) y$ are symplectically
perpendicular in $T_y (G\cdot y)$.  Since $T_y (G\cdot y)=T_y (G_x
\cdot y)\oplus ad^\dagger ({\german m}) y $, it remains to show that the orbit
$G_x \cdot y$ is a symplectic submanifold of the coadjoint orbit
$G\cdot y$.  Since the natural projection $\pi : \fg^* \to \fg_x^*$ is
$G_x$-equivariant, $\pi (G_x \cdot y) = G_x \cdot \pi (y)$.  By the
definition of the symplectic forms on a coadjoint orbit the
restriction of the symplectic form on $G\cdot y$ to $G_x \cdot y$ is
the pull-back by $\pi$ of the symplectic form on the $G_x$ coadjoint
orbit $G_x \cdot \pi (y)$.
\end{proof}

\begin{remark}\label{assumptions}
For the theorem to hold for a non-compact Lie group $G$ one has to
assume that a slice $U$ exists at $x$ and that the differential of the
restriction to $U$ of the projection $\fg^* \to \fg_x^*$ is
surjective.
\end{remark}

\begin{remark}\label{bundle_over_coadj_orbit}
The cross-section $R$ need not be a slice for an action of $G$ on $M$
since the group $G_x$ need not appear as an isotropy group of any
point in the cross-section.  However, the set $G\cdot R$ of orbits
through the cross-section is an open subset of the manifold $M$ and it
is equivariantly diffeomorphic to the associated bundle
$G\times_{G_x}R$ over the coadjoint orbit $G\cdot x$.  This is because
$U$ is a slice at $x\in \fg^*$, $R= \Phi\inv (U)$ and $\Phi$ is
equivariant.
\end{remark}

\begin{remark}\label{general argument}
Let $G$ be a compact connected group, and $M$ a Hamiltonian
$G$-orbifold, with moment map $\Phi:\,M\rightarrow \g^*$.
In various applications in this paper, we will use
symplectic cross-sections to reduce statements about
$G$-orbits in $M$ to the case that the orbit is contained in the zero
level set $\Phi^{-1}(0)$.  The general argument is as follows. Let
$m\in\Phi^{-1}(\ft_+^*)$, and let $\tau\subset\ft_+^*$ be the open wall
containing $x=\Phi(m)$.  Let $U_\tau\subset\g^*$ be the natural slice and
$R_\tau$ the corresponding natural cross-section, which is a
Hamiltonian $G_\tau$-space.  Since $G_\tau$ contains the maximal
torus, there is a unique $G_\tau$-invariant decomposition
$$ \g={\german z}}   \def\fz{{\german z}(\g_\tau)\oplus [\g_\tau,\g_\tau]\oplus{\frak m}_\tau,$$
where  ${\german z}}   \def\fz{{\german z}(\g_\tau)$ is the center of $\g_\tau$,
$[\g_\tau,\g_\tau]$ its semi-simple
part and ${\frak m}_\tau$ a complement in $\g$.
Notice that ${\german z}}   \def\fz{{\german z}(\g_\tau)$ can be characterized as the fixed point
set of the $G_\tau$-action on $\g$. It follows that the linear
span of $\tau$ is equal to ${\german z}}   \def\fz{{\german z}(\g_\tau)^*$.
Since $x=(\Phi|R_\tau)(m)\in \tau\subset{\german z}}   \def\fz{{\german z}(\g_\tau)^* $, one can shift the
moment map $\Phi|R_\tau$ by $x$ to obtain a new moment map
$\Phi_\tau'$ for the $G_\tau$-action on $R_\tau$
for which $m\in (\Phi_\tau')^{-1}(0)$.
\end{remark}

\subsection{The principal wall and the corresponding cross-section}
The main result of this subsection is:
\begin{theorem}\label{princ cross-section}
Let $G$ be a compact connected Lie group, and
$M$ a connected Hamiltonian $G$-orbifold, with moment
map $\Phi: M\rightarrow\g^*$.
\begin{enumerate}
\item
There exists a unique open wall $\sigma$ of the  Weyl chamber
$\ft_+^*$ with
the property that $\Phi(M)\cap\sigma$ is dense in
$\Phi(M)\cap\ft_+^*$.
\item The preimage $Y=\Phi\inv(\sigma)$ is a connected
symplectic $T$-invariant suborbifold of $M$,
and the restriction $\Phi_Y$ of $\Phi$ to $Y$ is a moment
map for action of the maximal torus $T$.
\item The set $G\cdot Y = \{g\cdot m \mid g\in G, \,\, m\in Y\}$ is
dense in $M$.
\end{enumerate}
\end{theorem}

\noindent
We refer to $\sigma$ as the {\bf principal wall} and to
$Y=\Phi^{-1}(\sigma)$ as the {\bf principal cross-section}.
Lemma~\ref{lemma stabilizer} below is used to show the existence of
the principal wall.

\begin{lemma}\label{lemma stabilizer}
Let $G$ be a compact, connected Lie group, and $M$ a connected
Hamiltonian $G$-orbifold, with moment map $\Phi:M\rightarrow\g^*$.
\begin{enumerate}
\item For all $m\in M_{prin}$, the isotropy Lie algebra $\g_m$ is an
ideal in $\g_{\Phi(m)}$, i.e., $[\fg_m, \fg_{\Phi(m)}] \subset
\fg_{m}$.
\item
All points in the intersection $\Phi^{-1}(\ft_+^*)\cap M_{prin}$
have the same isotropy Lie algebra
${\german h}}   \def\fh{{\german h}\subset\g$.
\item
Given $\alpha\in\Phi(M_{prin})\cap\ft_+^*$ let $S$ be the affine
subspace $(\alpha +{\german h}}   \def\fh{{\german h}^\circ)\cap{\german t}}  \def\ft{{\german t}^*$, where ${\german h}}   \def\fh{{\german h}^\circ$ is the
annihilator of ${\german h}}   \def\fh{{\german h}$ in $\fg^*$.  The intersection
$\Phi(M_{prin})\cap\ft_+^*$ is a connected, relatively open subset of
$S\cap\ft_+^*$.
\end{enumerate}
\end{lemma}

\begin{proof}\\
\noindent A.  Consider first the case when $\Phi(M_{prin})$ intersects
${\german z}}   \def\fz{{\german z}(\g)^*$, the fixed point set for the coadjoint action of $G$. Let
$m$ be a point in $\Phi \inv ({\german z}}   \def\fz{{\german z}(\g)^*)$ and let $\fh$ be its isotropy
Lie algebra. Since the restriction $\Phi|\,M_{prin}$ has constant rank
by Remark~\ref{cons_rank_remark}, there exists a $G$-invariant open
neighborhood $U\subset M_{prin}$ of $m$, such that
$\Phi(U)\subset\g^*$ is a submanifold, and $T_{\Phi(m)}\Phi(U)=
d\Phi_m(T_m\, M)={\german h}}   \def\fh{{\german h}^\circ$.  Since $\Phi(m)$ is fixed by the coadjoint
action, the tangent space $T_{\Phi(m)}\Phi(U)$ is $G$-invariant, which
proves that ${\german h}}   \def\fh{{\german h}$ is $G$-invariant. Therefore, the isotropy Lie
algebras of all points in the principal stratum $M_{prin}$ are the
same.  This proves part 2 and 3 of the lemma in the special case,
and also part 1 for the case $\Phi(m)=0$.
\vskip .1in

\noindent B.  We now reduce the general case to part A, using
symplectic cross-sections.  Given $m\in \Phi^{-1}(\ft_+^*)\cap M_{prin}$,
let $\tau$ be the open wall containing $\Phi(m)$, and $R_\tau$ be the
corresponding natural cross-section.  Denote by $N$ the connected
component of $R_\tau$ containing $m$. Then $N$ is a Hamiltonian
$G_\tau$-space, with moment map the restriction $\Phi|N$,
and $m\in N_{prin}=N\cap M_{prin}$. Since $\Phi(m)\in
\tau\subset{\german z}}   \def\fz{{\german z}(\g_\tau)^*$, part A shows that $\g_m$ is
an ideal in $\g_{\Phi(m)}$, and that
every point in $N_{prin}$ has the same isotropy algebra.
In particular, the isotropy
algebra of points in $\Phi^{-1}(\ft_+^*)\cap M_{prin}$ is locally constant.
We claim that $\Phi^{-1}(\ft_+^*)\cap M_{prin}$ is connected. Indeed,
consider the natural surjective map
$$\pi:\,\Phi^{-1}(\ft_+^*)\cap M_{prin}\rightarrow  M_{prin}/G,\,m\mapsto G\cdot m.$$
The fiber of $\pi$ over every point $G\cdot m\in M_{prin}/G$
is equal to the intersection
$G\cdot m\cap \Phi^{-1}(\ft_+^*)\cong G_{\Phi(m)}\cdot m$,
which is connected since $G_{\Phi(m)}$ is connected. Since
$M_{prin}$ is connected, it follows that $M_{prin}/G$ is connected.
Thus $\pi$ has connected target space and connected fibers, and it
follows that $\Phi^{-1}(\ft_+^*)\cap M_{prin}$ is connected.
This rest of the
Lemma  is an easy consequence
of the fact that the image of $d\Phi_m$ is the annihilator of $\g_m$.
\end{proof}

\noindent{\it Proof of Theorem \ref{princ cross-section}.}
Let $S\subset {\german t}}  \def\ft{{\german t}^*$ be the affine subspace described in Lemma
\ref{lemma stabilizer}. Let $\sigma\subset\ft_+^*$ be the lowest
dimensional wall such that $S\cap\ft_+^*=S\cap\overline{\sigma}$.
Since the moment map is
continuous, the moment set $\Phi(M)\cap\ft_+^*$ is contained in
the closure of $\Phi(M_{prin})\cap\ft_+^*$.
By  Lemma~\ref{lemma stabilizer}, $\Phi(M_{prin})\cap\ft_+^*$ is an
open subset of $S\cap\ft_+^*$. It follows that $\Phi(M_{prin})\cap\sigma$
is non-empty, and that the closure of $\sigma$
contains the moment set
$\Phi (M) \cap \ft_+^*$. It is the smallest wall with this property:
for any wall $\tau$ with
$\Phi (M) \cap \ft_+^* \subset \bar{\tau}$ we have $\sigma \subset
\tau$.
Consequently $\Phi (M) \cap \sigma = \Phi
(M) \cap U_\sigma$ where $U_\sigma $ is the natural slice
(Remark~\ref{remark natural slice}).  Therefore, by the cross-section theorem,
$$
	Y:= \Phi\inv (\sigma) = \Phi\inv (U_\sigma)
$$
is a symplectic $G_\sigma$-invariant suborbifold of $M$ and $\Phi_Y:=
\Phi|Y : Y \to \sigma \subset U_\sigma$ is a moment map for the action
of $G_\sigma$. Let ${\german h}}   \def\fh{{\german h}$ be the stabilizer algebra of points in
$M_{prin}\cap\Phi^{-1}(\ft_+^*)$. The linear space spanned by $\sigma$
can be identified with the fixed point set ${\german z}}   \def\fz{{\german z}(\g_\sigma)^*$
for the action of $G_\sigma$ on $\g_\sigma^*$, that is, with the
annihilator of the
semi-simple part, $[\g_\sigma,\g_\sigma]^\circ\cap\g_\sigma^*$.
By construction of
$\sigma$, we have ${\german h}}   \def\fh{{\german h}^\circ\cap\g_\sigma^*\subset
[\g_\sigma,\g_\sigma]^\circ\cap\g_\sigma^*$, i.e.
$[\g_\sigma,\g_\sigma]\subset {\german h}}   \def\fh{{\german h}$. This shows that the action on $Y$
of the semi-simple part of $G_\sigma$ is trivial, and that the moment
map $\Phi _Y$ is a moment map for the action of the identity component
of the center of $G_\sigma$. That is, the principal cross-section $Y$
is a Hamiltonian {\em torus } orbifold.

We have proved all the assertions of the theorem, except for the fact
that $G\cdot Y$ is dense in $M$ and that $Y$ is connected.
The
complement to $G \cdot Y \cap M_{prin} = \Phi^{-1}(G \cdot \sigma) \cap
M_{prin}$ in $M_{prin}$ is equal to the union of $\Phi^{-1}(G\cdot
\tau)\cap M_{prin}$ over all $\tau$ such that $\tau\subset\overline{\sigma}$
and $\tau\not=\sigma$.  By Lemma~\ref{lemma codimension} below,
these are all submanifolds of
codimension at least three. It
follows that removing these sets from $M_{prin}$ leaves it dense and
connected.   Hence $G \cdot Y$ is connected and dense in $M$. Since
the quotient map $\g^*\rightarrow \ft_+^*$ defined by $x\mapsto G\cdot
x\cap\ft_+^*$ is continuous, $\Phi(Y)$ is dense in $\Phi(M)\cap\ft_+^*$.
Since $G \cdot Y =G\times_{G_\sigma}Y$
(Remark~\ref{bundle_over_coadj_orbit}) and since the coadjoint orbit
$G/G_\sigma$ is simply connected, it follows that $Y$ is connected.
\hfill$\Box$\\[4pt]
In the proof we used the following Lemma.

\begin{lemma}\label{lemma codimension}
Let $G$ be a compact, connected Lie group, and $M$ a connected
Hamiltonian $G$-orbifold, with moment map $\Phi:\,M\rightarrow\g^*$. Let
$\tau$ be a wall of $\ft_+^*$ which is different from the principal wall
${\sigma}$.  Then the intersection $\Phi^{-1}(G \cdot \tau) \cap
M_{prin}$ is either empty or is a submanifold of codimension at least
3 in $M_{prin}$.
\end{lemma}

\begin{proof}
Let $R_\tau=\Phi^{-1}(U_\tau)$ be the natural cross-section
corresponding to $\tau$. Let ${\german z}}   \def\fz{{\german z}(\g_\tau)$ be the Lie algebra of the
center of $G_\tau$.
Let $N$ be a connected component of $R_\tau\cap M_{prin}$ such that
$\Phi(N)\cap\tau\not=\emptyset$.  Let $m\in N$, and ${\german h}}   \def\fh{{\german h}=\g_m$.  By
Lemma \ref{lemma stabilizer},
$\Phi|N$ is a submersion onto an open subset
of the affine space $\g_\tau^*\cap(\Phi(m)+{\german h}}   \def\fh{{\german h}^\circ)$, which by assumption
is not contained in ${\german z}}   \def\fz{{\german z}(\g_\tau)^*$. The fixed point set for the
$G_\tau$-action on $\g_\tau^*\cap(\Phi(m)+{\german h}}   \def\fh{{\german h}^\circ)$ is the proper
affine subspace
${\german z}}   \def\fz{{\german z}(\g_\tau)^*\cap(\Phi(m)+{\german h}}   \def\fh{{\german h}^\circ)$.
Since $G_\tau$ is non-abelian, this subspace has
codimension at least three.  Notice that ${\german z}}   \def\fz{{\german z}(\g_\tau)^*$ can be
identified with the linear space spanned by $\tau$.
Since $\Phi|N$ has constant rank, it
follows that
$\Phi^{-1}(\tau)\cap M_{prin}$ has codimension greater or equal than 3 in
$R_\tau$. By Remark~\ref{bundle_over_coadj_orbit} this implies that
$$
\Phi^{-1}(G\cdot\tau)\cap M_{prin}=G\times_{G_\tau}
(\Phi^{-1}(\tau)\cap M_{prin})\subset G\times_{G_\tau}R_\tau
$$
has codimension at least 3 in $M_{prin}$.
\end{proof}

\begin{remark}
In the proof of Theorem~\ref{princ cross-section}, we have shown that
the semi-simple part $[\g_\sigma,\g_\sigma]$ of $\g_\sigma$, where
$\sigma$ is the principal wall, is contained in the principal
stabilizer algebra ${\german h}}   \def\fh{{\german h}$ for points in $M_{prin}\cap\Phi^{-1}(\ft_+^*)$.  We
also have ${\german h}}   \def\fh{{\german h}\subset \g_\sigma$, by equivariance of the moment map.
Therefore, the commutators $[{\german h}}   \def\fh{{\german h},{\german h}}   \def\fh{{\german h}]$ and $[\g_\sigma,\g_\sigma]$ are
equal. It follows that the principal stabilizer algebra uniquely
determines the principal wall.
\end{remark}

\section{Hamiltonian torus actions on non-compact orbifolds}

As we have seen, the principal cross-section need not be compact even
if the original manifold is compact.  Thus we need to generalize
Theorem~\ref{AbConv} to include a class of torus actions on
non-compact orbifolds with not necessarily proper moment
maps. Instead, we require that the moment map $\Phi :M\to \ft^*$ is
proper as a map into a convex open set $\sigma$ of $\ft^*$, i.e., that
$\Phi(M) \subset \sigma$ and that for every compact $K \subset \sigma$
the preimage $\Phi^{-1}(K)$ is compact.  This criterion is motivated
by the following fact: if a Lie group acts on a symplectic orbifold
with a proper moment map, then the induced moment map on the principal
cross section is proper as a map into the principal wall.  We extend
Theorem~\ref{AbConv} to this case by using symplectic cuts to
``compactify'' $M$.

First we make an elementary observation.

\begin{lemma}\label{containing polytope}
Let $(M,\omega)$ be a compact, connected symplectic orbifold, and let
$\Phi: M \to {\german t}}  \def\ft{{\german t}^*$ be a moment map for a Hamiltonian torus action on
$M$. Assume that  $\Phi$ is proper as a map into a convex open set
$\sigma\subset {\german t}}  \def\ft{{\german t}^*$.
Then for any compact set $K\subset \sigma$ there
exists a generic rational polytope $P\subset \sigma$, such that $K$ is
contained in the interior of $P$.
\end{lemma}

\begin{proof}
For any point $x\in \sigma$ there exists a polytope $P_x\subset
\sigma$ with  rational vertices which contains $x$ in
the interior.  The collection $\{{\rm int}(P_x): x\in K\}$ is a cover of $K$.
Since $K$ is compact there exists a finite subcover ${\rm int}(P_{x_1})$,
$\ldots$, $   {\rm int}(P_{x_s})$.  Take the convex hull $P$ of the union
$P_{x_1}\cup \ldots \cup P_{x_s}$. If $P$ is generic, it is the
desired polytope. If it is not, perturb it to be generic.
\end{proof}

\begin{theorem} \label{NCabconv}
Let $(M,\omega)$ be a connected symplectic orbifold, and let
$\Phi: M \to {\german t}}  \def\ft{{\german t}^*$ be a moment map for a Hamiltonian torus action on
$M$. If $\Phi$ is proper as a map into a convex open set
$\sigma\subset {\german t}}  \def\ft{{\german t}^*$, then
\begin{enumerate}
\item the image $\Phi(M)$ is convex,
\item each fiber of $\Phi$ is connected, and
\item if for every compact subset $K$ of $\ft^*$, the list
of isotropy algebras for the $T$-action on  $\Phi\inv (K)$
is finite, then the image $\Phi(M)$ is the intersection of $\sigma$
with a rational locally  polyhedral set.
\end{enumerate}
\end{theorem}

\begin{proof}
1. Consider $m_0, m_1 \in M$. Since $M$ is a connected orbifold, there
exists a path $\gamma:\,[0,1]\rightarrow M$ such that $\gamma(0)=m_0$
and $\gamma(1)= m_1$. Since $\gamma ([0 , 1])$ is compact, by
Lemma~\ref{containing polytope} there exists a generic rational
polytope $P \subset \sigma$ such that $\Phi(\gamma(t))$ is in the
interior of $P$ for all $t\in[0,1]$.  The points $m_0$ and $m_1$ are
contained in the same connected component $N$ of the cut space $M_P$.
Let $\Phi_N:\,N\rightarrow{\german t}}  \def\ft{{\german t}^*$ be the induced moment map.  Since
$\Phi_N(N)$ is a convex polytope by Theorem~\ref{AbConv}, it contains
the line segment joining $\Phi(m_0)$ to $\Phi(m_1)$. Since
$\Phi_N(N)\subset\Phi(M)$, this proves that $\Phi(M)$ is convex.\\

\noindent
2. A similar argument shows that if $\Phi(m_0)=\Phi(m_1)=x$, then $m_0$
and $m_1$ are contained in the same connected component of
$\Phi^{-1}(x)$, since the fibers of $\Phi_N$ are connected by Theorem
\ref{AbConv} and since for points $x$ in the interior of $P$ the
fibers of $\Phi$ and of $\Phi_P: M_P \rightarrow {\german t}}  \def\ft{{\german t}^*$
are the same (cf. Proposition~\ref{prop_symplectic_cuts}).
Therefore the fibers of $\Phi$ are connected.\\

\noindent
3.  For each $x\in\Phi(M)$, let
$$
C_x=\{x+t(y-x)|\,y\in\Phi(M)\quad \hbox {  and } t\ge 0\}
$$
be the cone over $\Phi(M)$ with vertex $x$.  Define $A$ to be the
intersection of all the cones $C_x$ for $x\in \Phi (M)$, $A:=
\cap_{x\in \Phi (M)} C_x$.  Since $\Phi(M)$ is convex and is
relatively closed in $\sigma$, Lemma~\ref{convex sets} below (applied
to the closure $X$ of $\Phi(M)$ and to $S=\sigma$) shows that
$\Phi(M)=A\cap\sigma$.

We claim that $A$ is the desired rational locally polyhedral set.
First we show that all cones $C_x$ are rational polyhedral cones.  Let
$x\in\Phi(M)$, and let $P\subset\sigma$ be a generic polytope
containing $x$ in its interior.  Since $\Phi(M)$ is convex, $C_x$ is
also the cone over $\Phi_P(M_P)$ with vertex $x$.  In particular,
$C_x$ is a rational polyhedral cone, and the tangent space of each
facet is of the form ${\german t}}  \def\ft{{\german t}_i^\circ$, where ${\german t}}  \def\ft{{\german t}_i$ is an isotropy Lie
algebra for the action of the torus $T$ in a neighborhood of
$\Phi^{-1}(x)$.

Suppose next that $K\subset {\german t}}  \def\ft{{\german t}^*$ is a compact convex subset with
non-empty interior. Since the number of isotropy algebras
for the $T$-action on $\Phi^{-1}(K)$ is finite,
it follows that up to translation, the list of cones
$C_x$ for $x\in K\cap \Phi(M)$ is finite.  Moreover, if $C_x$ is a
translation of $C_y$, then $C_x=C_y$ since by convexity of $\Phi(M)$
the line segment $\overline{xy}$ is contained in both
$C_x$ and $C_y$.  It follows that the collection of cones $C_x$, $x\in
K\cap \Phi(M)$ itself is a finite list $C_1,\ldots,C_N$.
This shows that $A$ is a rational locally polyhedral set.
\end{proof}

\begin{lemma}\label{convex sets}
Let $V$ be a vector space, and $X,S\subset V$ convex subsets
with $X$ closed. For every $x\in X$, let
$C_x=\{x+t(y-x)\,|\,y\in X,\,t\ge 0\}$.
Then
$$ X\cap S = \big(\bigcap_{x\in X\cap S}C_x\big)\cap S.$$
\end{lemma}

\begin{proof}
The inclusion ``$\subset$'' is obvious. To prove the opposite
inclusion, assume that $(X\cap S)$ and $S-(X\cap S)$ are non-empty
(since otherwise there is nothing to prove).  Let $y\in S-(X\cap S)$.
We have to show that $y\not\in \bigcap_{x\in X\cap S}C_x$.  Let $r$ be
a ray with vertex $y$ which intersects $X\cap S$ nontrivially.  Since $X$ is
closed and convex $r\cap X$ is either a closed ray or a closed line
segment.  Let $x$ be the point in $r\cap X$ closest to $y$.  Then $y$
does not lie in $C_x$.  Since $S$ is convex, $x$ is in $X\cap S$.
\end{proof}

In the last section, we will use the following corollary to
Theorem \ref{NCabconv}.

\begin{cor} \label{NCabmin}
Let $(M,\omega)$ be a connected symplectic orbifold, and let
$\Phi: M \to {\german t}}  \def\ft{{\german t}^*$ be the moment map for a Hamiltonian torus action on
$M$. If $\Phi$ is proper as a map into a convex open set $\sigma$,
then for every $\xi \in  \ft$,
every local minimum of the function $\Phi^\xi$ is a global minimum,
where $\Phi^\xi(m) := \left< \Phi(m), \xi \right>$.
\end{cor}

\begin{proof}
Since the moment set $\Phi (M)$ is convex, its intersection with the
affine hyperplanes $\{x \in \ft^*\mid \xi (x) = a\}$ is
connected for all $a\in {\Bbb R}$. Since the fibers of $\Phi$ are connected
this implies that
$$
(\Phi^\xi)\inv (a) = \Phi\inv (\{x \in
\ft^*\mid \xi (x) = a\})
$$
is connected for all $a$.  The result follows.
\end{proof}

\section{Proof of non-abelian convexity}
\label{secproof}

By now, we have done all the necessary hard work.  With a little point
set topology, we bring together the results in the previous two
sections to prove our main theorem.

\noindent
{\bf Theorem~\ref{MainThm} } {\em Let a compact, connected Lie group
$G$ act on a connected symplectic orbifold $(M,\omega)$ with a proper
moment map $\Phi:M \to \fg^*$.
\begin{enumerate}
\item\label{ThmA1} Let $\ft_+^*$ be a closed Weyl chamber for $G$.  The
{\bf moment set} $\Phi(M) \cap \ft_+^*$ is a convex  rational locally
polyhedral set. In particular, if $M$ is compact then the moment set
is a convex rational polytope.
\item\label{ThmB1}
Each fiber of the moment map $\Phi$ is connected.
\end{enumerate} }

\begin{proof}
Let $\sigma$ be the principal wall.  By Theorem~\ref{princ
cross-section}, the principal cross section $Y := \Phi^{-1}(\sigma)$ is a
connected symplectic orbifold, and the restriction of $\Phi$ to $Y$ is
a moment map for the action of the maximal torus of $Y$.  Since $\Phi
: M \to \fg^*$ is proper, the restriction $\Phi|Y: Y \to \ft^*$ is
proper as a map into the open convex set $\sigma$.  Therefore, by
Theorem~\ref{NCabconv}, the image $\Phi(Y)$ is a convex set and is the
intersection of $\sigma$ with a locally polyhedral set $P$, that is,
$\Phi(Y)= \sigma \cap P$.  By Theorem \ref{princ cross-section},
$\Phi(M)\cap\ft_+^*=\overline{\Phi(Y)}$. Since the closure of a convex set is
convex, the moment set $\Phi(M)\cap\ft_+^*$ is convex. Since the closure
of $\sigma $ is a polyhedral cone and since the intersection of the
interior of the locally polyhedral set $P$ with $\sigma$ is nonempty,
the closure of the intersection $\sigma \cap P$ is the intersection
$\bar{\sigma} \cap P$.  Therefore $\Phi(M)\cap\ft_+^*=\overline{\sigma \cap P}
= \bar{\sigma} \cap P$ is a locally polyhedral set. Since both $P$ and
$\bar{\sigma}$ are rational, the moment set is rational.

It remains to prove that the fiber $\Phi^{-1}(x)$ is connected for all
$x \in \g^*$.  Since the fibers of $\Phi _Y =\Phi |Y $ are connected,
we know that the fibers of the restriction $\Phi | G\cdot Y$ are
connected. Since $G\cdot Y$ is dense in $M$, we would like to conclude
that {\em all} fibers of $\Phi$ are connected.  However, this does not
immediately follow.\footnote{Consider the map
$f$ from $S^2\subset {{\Bbb R}}^3$ to $ S^1\subset {{\Bbb C}}$
given by $f(x_1,x_2,x_3) = e^{i \pi  x_3}$.  The map $f$ is proper and
all fibers are connected, except for the fiber over $z=-1$.} \,\,

First, observe that $\Phi^{-1} (x)$ is connected for all $x \in \fg^*$
$\Leftrightarrow$ $\Phi^{-1} (G\cdot x)$ is connected for all
$G\cdot x \in \fg^*/G$:
$(\Rightarrow)$ is true since $\Phi^{-1} (G\cdot x) = G\cdot \Phi^{-1}
(x )$ and the group $G$ is connected;
$(\Leftarrow)$ is true since $\Phi^{-1} (G\cdot x)/G = \Phi^{-1}
(x )/G_x$ and $G_x$ is connected.

Now, we'll show that the preimage-s of orbits $\Phi^{-1} (G\cdot x)$ are
connected.
For a point $x \in \Phi (M) \cap \ft_+^*$, let $B$ be an open ball
(with respect to a Weyl group invariant metric) in $\ft^*$ centered at
$x$.  Then $G\cdot (B\cap \ft_+^*)$ is an open set containing the
orbit $G\cdot x$.
It enough to show that
the preimage $\Phi^{-1} (G\cdot (B\cap \ft_+^*))$ is connected
(see Lemma~\ref{top_fact}).
The intersection $\Phi^{-1} (G\cdot (B\cap \ft_+^*)) \cap G\cdot Y$ is
dense in $\Phi^{-1} (G\cdot (B\cap \ft_+^*))$ and $\Phi^{-1} (G\cdot (B\cap
\ft_+^*)) \cap G\cdot Y = G\cdot \Phi^{-1} (B\cap \sigma)$, where $\sigma $
is the principal wall.  Since $B\cap \sigma $ is connected and $\Phi^{-1}
(y)$ is connected for any $y \in \sigma$, the set $G\cdot
\Phi^{-1} (B\cap \sigma)$ is connected.  Since $G\cdot \Phi^{-1} (B\cap
\sigma)$ is dense in $\Phi^{-1} (G\cdot (B\cap \ft_+^*))$, the set $\Phi^{-1}
(G\cdot (B\cap \ft_+^*))$ is connected.
This proves that the fibers of the moment map are connected.
\end{proof}
\noindent
In this proof, we used the following topological fact:

\begin{lemma}\label{top_fact}
Let $X$ be a metric space, $f:X \to {\Bbb R}^n$ a proper
continuous map, $\{U_i\}_{i=1}^\infty$ a  sequence of bounded
open sets in ${\Bbb R}^n$ with  $U_{i+1} \subset U_{i}$,  $f^{-1} (U_i)$
connected and $C= \bigcap U_i$ nonempty.  Then $f^{-1} (C)$ is also
connected.
\end{lemma}
\begin{proof} Suppose not. Then there are open sets $V$ and $W$ with
$V\cap W = \emptyset$ and $f\inv (C)\subset V \cup W$.  Since $f^{-1} (U_i)$
is connected there exists $x_i \in f^{-1} (U_i)$ with $x_i\not \in V \cup
W$.  Since the $U_i$'s are bounded, the sequence $f(x_i)$ has a convergent
subsequence and its limit $y$ lies in $C$.  Since $f$ is proper we may
assume, by passing to subsequences, that $f(x_i) \to y$ and that $x_i
\to x$ for some $x \in f^{-1} (y)\subset f^{-1} (C) \subset V \cup
W$. This contradicts the construction of the sequence $\{x_i\}$.
\end{proof}
\begin{remark}
The properness condition on the moment map may be
relaxed to require only that there is an invariant open set $V$
of $\fg^*$ with $\Phi (M) \subset V$, $\Phi :M \to V$ is
proper and and $V\cap \ft_+^*$ is convex.
\end{remark}

\section{Local moment cones}

A result of Sjamaar \cite{Sj} says that the moment set near a point
$x\in \Delta$ can be read off from local data near an arbitrary point
in the fiber $\Phi^{-1}(x)$.  Later Yael Karshon provided a different
proof of Sjamaar's theorem \cite{YK}. In this section, we extend
Sjamaar's results to the orbifold setting, using symplectic cuts.  Our
proof is short and has the advantage that it works in the orbifold
setting.

\begin{theorem}\label{local_cones_thm}
Let $\Phi : M \to \fg^*$ be a proper moment map for an action of a
compact connected Lie group $G$ on a connected symplectic orbifold
$(M, \omega)$.  For every point $m\in M$ and every $G$-invariant
neighborhood $U$ of $m$ in $M$, there exists a $G$-invariant
neighborhood $\calV$ of $\Phi (m)$ in $\fg^*$ such that
$$
\calV \cap \Phi (U) \cap \ft_+^* =\calV \cap \Phi (M) \cap \ft_+^* .
$$
\end{theorem}

We will deduce Theorem~\ref{local_cones_thm} from the following
result, which does not require properness of the moment map.

\begin{theorem}\label{local_cones_thm2}
Let  $\Phi : M \to \fg^*$ be a moment map for an action of a
compact connected Lie group $G$ on a symplectic orbifold
$(M, \omega)$. For every point $m\in \ft_+^*$, there exists a rational
polyhedral cone $C_m\subset{\german t}}  \def\ft{{\german t}^*$ with vertex at $ \Phi(m)$,
such that for every sufficiently
small $G$-invariant neighborhood $U$ of $m$, the image $\Phi(U)\cap\ft_+^*$
is a neighborhood of the vertex of $C_m$. The cone $C_m$ is called the
{\bf local moment cone} for $m$.
\end{theorem}

\noindent We first prove Theorem \ref{local_cones_thm}, using
Theorem \ref{local_cones_thm2}.\vskip .1in

\begin{proof}
It suffices to check for arbitrarily small $G$-invariant neighborhoods.
By Theorem~\ref{local_cones_thm2}, there exists an open neighborhood
$\calV$ of $\Phi(M)$ and a rational polyhedral cone
$C_m \subset {\german t}}  \def\ft{{\german t}^*$ such
that $\Phi(U)\cap \ft_+^*\cap \calV = C_m \cap \calV$.
Since $\Phi(M) \cap \ft_+^*$ is a convex rational locally polyhedral
set, there exists a cone $C'_m$ with vertex $\Phi(m)$ such that
$\Phi(M) \cap \calV \cap \ft_+^* = C'_m \cap \calV$, after shrinking
$\calV$ sufficiently.
Clearly, $C_m \subset C'_m$, so
if $C'_m \neq C_m$, then there exists a
point $x \in \ft^*$ which lies on a face of $C_m$, but in the interior
of $C'_m$. Since $C_m$ is closed and convex there exists $\xi\in{\german t}}  \def\ft{{\german t}$
such that a point in $U$ mapping to $x$ is a minimum for $\Phi^\xi$ in
$U\cap Y$, but is not a global minimum for $\Phi^\xi$ on the principal
cross section $Y$.  This contradicts Corollary~\ref{NCabconv}.
Therefore $C_m = C'_m$ and hence
$$(\Phi(M) \cap\ft_+^*)\cap \calV=C'_{m}\cap\calV=C_m\cap\calV=
(\Phi(U) \cap \ft_+^*)\cap \calV.$$
\end{proof}

To prove Theorem~\ref{local_cones_thm2}, we will use the orbifold
version of the local normal form theorem due to Marle \cite{ma} and,
independently, to Guillemin and Sternberg \cite{g-s:normal}. The
theorem asserts that an invariant neighborhood of a point $m$ in a
Hamiltonian $G$-manifold $M$ is completely determined (up to
equivariant symplectomorphism) by two pieces of data: (1) the value of
the moment map $\Phi$ at $m$ and (2) the symplectic slice
representation of the isotropy group $G_m$ of the point.  Recall that
the {\bf symplectic slice} at a point $m$ is the largest symplectic
subspace in the fiber at $m$ of the normal bundle to the orbit $G\cdot
m$.  The analogous result holds for Hamiltonian $G$-orbifolds (cf.\
\cite{LT}) --- the only difference is that the symplectic slice is no
longer a vector space.  Instead it is the quotient of a vector space
by a linear action of a finite group.

\begin{lemma}\label{locsymp}
Let $G$ be a compact Lie group, let $(M,\omega)$ be a Hamiltonian
$G$-orbifold, with moment map $\Phi$, and $m\in\Phi^{-1}(0)$ a point in
the zero level set. Let $\Gamma$ be the orbifold structure group of
$m$ and $G_m\times V/\Gamma\rightarrow V/\Gamma$ be the symplectic slice
representation at $m$. For every $G_m$-equivariant splitting
$\fg^*\cong\fg_m^\circ \oplus\fg^*_m$, there is a $G$-invariant
symplectic form on the orbifold $F=G\times_{G_m} \left(\fg_m^\circ
\times V/\Gamma \right) $ such that the moment map $\Phi_F : F \to
\fg^*$ for the $G$-action is given by
$$
\Phi _F ([g, \eta, v])= g\cdot \left(\eta + \phi_{V/\Gamma}
(v)\right),
$$
where $\phi_{V/\Gamma} : V/\Gamma \to \fg_m^*$ is the moment map for the
slice representation of $G_m$.  Moreover, the embedding of the orbit
$G\cdot m$ into $F$ as the zero section is isotropic and the
symplectic slice at $[1,0,0]$ is $V/\Gamma$.  Consequently there
exists a $G$-equivariant symplectomorphism $\lambda$ from a
neighborhood $U$ of $G\cdot m$ in $M$ to a neighborhood $U'$ of the
zero section in $F$, and $\lambda^*\Phi_F=\Phi$ over $U$.
\end{lemma}

We are now ready to prove Theorem~\ref{local_cones_thm2}.

\begin{proof}
1. We begin by considering the special case $\Phi(m) = 0$.
Because we are considering arbitrarily small neighborhoods,
by Lemma~\ref{locsymp}
it  suffices to consider neighborhoods of the zero section
of the model space $F$.
Let $V/\Gamma$ be the symplectic slice at $m$. Choose a $G_m$-invariant
complex structure on $V/\Gamma$ which is compatible with the
symplectic form; let $\rho$
denote the norm squared of the induced metric.  The model $F$ is a
complex orbi-bundle over $G\times _{G_m}\fg_m^\circ$. The
multiplication action of $U(1)$ on the fibers of $F \to G\times
_{G_m}\fg_m^\circ$ is a Hamiltonian action on the orbifold $F$, with
moment map being the function $\rho$ defined above. The action of
$U(1)$ commutes with the action of $G$.  Consequently the moment map
$\hat{\Phi}_F : F \to {\Bbb R} \times \g^*$ for the action of $U(1)
\times G$ on $F$ is given by
$$
\hat{\Phi}_F ([g, \eta, v])=
\Big( \rho([g, \eta, v]),  g\cdot \big(\eta + \phi_{V/\Gamma} (v)\big) \Big).
$$
Since $\hat{\Phi}_F$ is proper, we can apply Theorem~\ref{MainThm}.
Therefore, $\hat{\Phi}_F(F)\cap ({\Bbb R} \times \ft_+^*)$ is a convex
rational locally polyhedral set. In fact, since $\hat{\Phi}_F$ is homogeneous
(i.e., equivariant with respect to the action of ${\Bbb R}_+$ which on $F$
is given by $t\cdot[g,\eta, v] = [g, t\eta, \sqrt {t} v]$ and on
$\fg^*$ by  multiplication) and since the number of orbit types in $F$
is finite, $\hat{\Phi}_F(F)\cap ({\Bbb R} \times \ft_+^*)$ is a convex
rational polyhedral cone.  Since $\Phi _F (F)\cap \ft_+^*$ is the image of
$\hat{\Phi}_F(F)\cap ({\Bbb R} \times \ft_+^*)$ under $\pi:{\Bbb R} \times \ft_+^*
\to \ft_+^*$, it is also a convex rational polyhedral cone. \vskip .1in

2. Choose a $G$-invariant metric on $\g^*$, and let $\hat{\rho}:\,F\rightarrow
{\Bbb R}$ be defined by $\hat{\rho}([g,\eta,v])= \rho(v)+||\eta||$. Then
$\hat{\rho}$ is homogeneous and $\hat{\rho}^{-1}(0)$ is the zero
section of $F$.  Choose $\epsilon>0$ sufficiently small so that the
set $\{x \in F\mid \hat{\rho}(x) <\epsilon\}$ is contained in $U$.
Let $\lambda$ be the lower bound on $\hat{\rho}^{-1}(\epsilon)$ of the
function
$$
f:F \to {\Bbb R},\, f(x)=\rho(x)+||\Phi_F(x)||
$$
on $F$.  Since $f\ge\hat{\rho}$, we have $\lambda\ge\epsilon$. Let
$\hat{\calV}:=\{(t,\alpha)\in {\Bbb R}\times\g^*|\,\,|t|+||\alpha||
<\lambda\}$.  Since $||\hat{\Phi}_F(x)||\ge \lambda$ if
$\hat{\rho}(x)\ge \epsilon$, one has $\hat{\Phi}_F(U)\supset
\hat{\Phi}_F(F)\cap \hat{\calV}$, which is a $G$-invariant
neighborhood of $0\in \hat{\Phi}_F(F)$.  Since $\hat{\Phi}_F(F)\cap
({\Bbb R} \times \ft_+^*)$ is a convex rational polyhedral cone, the image
of every neighborhood of the vertex of this cone under the projection
$\pi:{\Bbb R} \times {\german t}}  \def\ft{{\german t}^* \to {\german t}}  \def\ft{{\german t}^*$ is a neighborhood of the vertex of
$\Phi_F(F)\cap\ft_+^*= \pi(\hat{\Phi}_F(F)\cap {\Bbb R}\times\ft_+^*)$. It
follows that $G\cdot \pi(\hat{\calV}\cap ({\Bbb R}\times \ft_+^*))$ is a
$G$-invariant neighborhood of $0$ in $\fg^*$ with the required
property.
\vskip .1in

3. Finally, we use cross sections to reduce the general case to
the case that $\Phi(m)=0$.  Let $\tau$ be the (open) wall
containing $\Phi (m)$. Let $U_\tau$ be the corresponding natural slice
and $R_\tau = \Phi\inv (U_\tau)$ the natural cross-section.
By equivariance of the moment map, we have
$$
  \Phi (G\cdot R_\tau) \cap \ft_+^* =  \Phi (R_\tau )\cap \ft_+^* .
$$
The Cartan subalgebras of $G$ and $G_\tau$ are equal, but a Weyl
chamber $(\ft^*_\tau)_+ $ of $G_\tau$ is the union of certain Weyl
chambers of $G$.  Nonetheless, $\Phi (R_\tau) \cap (\ft^*_\tau)_+ =
\Phi (R_\tau) \cap \ft_+^*$, which means that we can apply Remark
\ref{general argument} to reduce to the case $\Phi (m) =0$.
\end{proof}

\begin{remark}
A corollary to the above Theorems (or rather their proofs)
is that if $M$ is a Hamiltonian $G$-orbifold, with moment map
$\Phi$, the local moment cone $C_m$ for a point $m\in\Phi^{-1}(\ft_+^*)$
does not vary as $m$ varies in a connected component of a fixed fiber
of $\Phi$.
Indeed, if $M$ is connected and $\Phi$ is proper this follows
from Theorem \ref{local_cones_thm} and Theorem
\ref{local_cones_thm2}, because the local moment
cone is equal to the cone with vertex at $\Phi(m)$ over the
moment set $\Delta$.
For the general case, we note that as above, we can use cross-sections
to reduce to the case $\Phi(m)=0$, and since the statement is
local, it is enough to check it for the local normal form, $F$.
Now the moment map $\Phi_F$ is not proper. However, we may replace
$F$ by its cut $F_{(-\infty,\epsilon]}$ with respect to the
$S^1$-action generated by $\rho$. Since the moment map for the
cut space is proper, the claim follows.
\end{remark}