This paper is organized as follows. In Section 1, we recall the notion of a PoissonDirac submanifold, and some related results which are needed for the proof of Theorem 1.1 . In Section 2, we prove our main result. In Section 3, we deduce some consequences and give some applications.
2 PoissonDirac submanifolds
Let
$M$
be a Poisson manifold. For background in Poisson geometry we refer the reader to Vaisman's book [
10]
. We will denote by
$\pi \in {\mathfrak{X}}^{2}\left(M\right)$
the Poisson bivector field so that the Poisson bracket is given by:
$$\{f,g\}=\pi (df,dg),\forall f,g\in {C}^{\infty}\left(M\right).$$
Recall that a Poisson submanifold
$N\subset M$
is a submanifold which has a Poisson bracket and for which the inclusion
$i:N\hookrightarrow M$
is a Poisson map:
$$\{f\circ i,g\circ i{\}}_{M}=\{f,g{\}}_{N}\circ i,\forall f,g\in {C}^{\infty}\left(N\right).$$
Such Poisson submanifolds are, in a sense, extremely rare. In fact, they are collections of open subsets of symplectic leaves of
$M$
.
Example 2.1.
Let
$M$
be a symplectic manifold with symplectic form
$\omega $
.
Recall that a
symplectic submanifold is a submanifold
$i:N\hookrightarrow M$
such that the restriction
${i}^{*}\omega $
is a symplectic form on
$N$
. For every even dimension
$0\le 2i\le dimM$
there are symplectic submanifolds of dimension
$2i$
. On the other hand, the only Poisson submanifolds are the open subsets of
$M$
.
Crainic and Fernandes in [1] introduce the following natural extension of the notion of a Poisson submanifold:
Definition 2.1.
Let
$M$
be a Poisson manifold. A submanifold
$N\subset M$
is called a PoissonDirac submanifold if
$N$
is a Poisson manifold such that:

(i)
the symplectic foliation of
$N$
is
$N\cap \mathcal{\mathcal{F}}=\{L\cap N:L\in \mathcal{\mathcal{F}}\}$
, and

(ii)
for every leaf
$L\in \mathcal{\mathcal{F}}$
,
$L\cap N$
is a symplectic submanifold of
$L$
.
Note that if
$(M,\{\cdot ,\cdot \left\}\right)$
is a Poisson manifold, then the symplectic foliation with the induced symplectic forms on the leaves, gives a smooth (singular) foliation with a smooth family of symplectic forms. Conversely, given a manifold
$M$
with a foliation
$\mathcal{\mathcal{F}}$
furnished with a smooth family of symplectic forms on the leaves, then we have a Poisson bracket on
$M$
defined by the formula^{2 }
$$\{f,g\}\equiv {X}_{f}\left(g\right),$$
for which the associated symplectic foliation is precisely
$\mathcal{\mathcal{F}}$
. Hence, a Poisson structure can be defined by specifying its symplectic foliation. It follows that a submanifold
$N$
of a Poisson manifold
$M$
has at most one Poisson structure satisfying conditions (i) and (ii) above, and this Poisson structure is completely determined by the Poisson structure of
$M$
.
Example 2.2.
If
$M$
is a symplectic manifold, then there is only one symplectic leave, and the PoissonDirac submanifolds are precisely the symplectic submanifolds of
$M$
.
Therefore, we see that the notion of a PoissonDirac submanifold generalizes to the Poisson category the notion of a symplectic submanifold.
Example 2.3.
Let
$L$
be a symplectic leaf of a Poisson manifold, and
$N\subset M$
a submanifold which is transverse to
$L$
at some
${x}_{0}$
:
$${T}_{{x}_{0}}M={T}_{{x}_{0}}L\oplus {T}_{{x}_{0}}N.$$
Then one can check that conditions (i) and (ii) in Definition 2.1 are satisfied in some open subset in
$N$
containing
${x}_{0}$
. In other words, if
$N$
is small enough then it is a PoissonDirac submanifold. Sometimes one calls the Poisson structure on
$N$
the transverse Poisson structure to
$L$
at
${x}_{0}$
(up to Poisson diffeomorphisms, this structure does not depend on the transversal
$N$
).
The two conditions in Definition 2.1 are not very practical to use. Let us give some alternative criteria to determine if a given submanifold is a PoissonDirac submanifold.
Observe that condition (ii) in the definition means that the symplectic forms on a leaf
$L\cap N$
are the pullbacks
${i}^{*}{\omega}_{L}$
, where
$i:N\cap L\hookrightarrow L$
is the inclusion into a leaf and
${\omega}_{L}\in {\Omega}^{2}\left(L\right)$
is the symplectic form. Denoting by
$\#:{T}^{*}M\to TM$
the bundle map determined by the Poisson bivector field, we conclude that we must have^{3 }
:
$$\begin{array}{c}TN\cap \#\left(T{N}^{0}\right)=\left\{0\right\},\end{array}$$ 
(2.1)

since the lefthand side is the kernel of the pullback
${i}^{*}{\omega}_{L}$
. If this condition holds, then at each point
$x\in N$
we obtain a bivector
${\pi}_{N}\left(x\right)\in {\wedge}^{2}{T}_{x}N$
, and one can prove (see [
1]
):
Proposition 2.1.
Let
$N$
be a submanifold of a Poisson manifold
$M$
, such that

(a)
equation (2.1 ) holds, and

(b)
the induced tensor
${\pi}_{N}$
is smooth.
Then
${\pi}_{N}$
is a Poisson tensor and
$N$
is a PoissonDirac submanifold.
Notice that, by the remarks above, the converse of the proposition also holds.
Remark 2.1.
Equation (2.1 ) can be interpreted in terms of the Dirac theory of constraints. This is the reason for the use of the term “PoissonDirac submanifold”. We refer the reader to [
1]
for more explanations.
On the other hand, from Proposition 2.1 , we deduce the following sufficient condition for a submanifold to be a PoissonDirac submanifold:
Corollary 2.1.
Let
$M$
be a Poisson manifold and
$N\subset M$
a submanifold.
Assume that there exists a subbundle
$E\subset {T}_{N}M$
such that:
$${T}_{N}M=TN\oplus E$$
and
$\#\left({E}^{0}\right)\subset TN$
. Then
$N$
is a PoissonDirac submanifold.

Proof.
Under the assumptions of the corollary, one has a decomposition
$$\pi ={\pi}_{N}+{\pi}_{E},$$
where
${\pi}_{N}\in \Gamma \left({\wedge}^{2}TN\right)$
and
${\pi}_{E}\in \Gamma \left({\wedge}^{2}E\right)$
are both smooth bivector fields. On the other hand, one checks easily that (2.1 ) holds. By Proposition 2.1 , we conclude that
$N$
is a PoissonDirac submanifold. □
There are PoissonDirac submanifolds which do not satisfy the conditions of this corollary. Also, the bundle
$E$
may not be unique. For a detailed discussion and examples we refer to [1] .
Under the assumptions of the corollary, the Poisson bracket on the PoissonDirac submanifold
$N\subset M$
is quite simple to describe: Given two smooth functions
$f,g\in {C}^{\infty}\left(N\right)$
, to obtain their Poisson bracket we pick extensions
$\stackrel{~}{f},\stackrel{~}{g}\in {C}^{\infty}\left(M\right)$
such that
${d}_{x}\stackrel{~}{f},{d}_{x}\stackrel{~}{g}\in {E}_{x}^{0}$
. Then the Poisson bracket on
$N$
is given by:
$$\begin{array}{c}{\left\{f,g\right\}}_{N}=\{\stackrel{~}{f},\stackrel{~}{g}\}{}_{N}.\end{array}$$ 
(2.2)

It is not hard to check that this formula does not depend on the choice of extensions.
Remark 2.2.
Let
$M$
be a Poisson manifold and
$N\subset M$
a submanifold.
Assume that there exists a subbundle
$E\subset {T}_{N}M$
such that
${E}^{0}$
is a Lie subalgebroid of
${T}^{*}M$
(equivalently,
$E$
is a coisotropic submanifold of the tangent Poisson manifold
$TM$
). Then
$E$
satisfies the assumptions of the corollary, so
$N$
is a PoissonDirac submanifold. This class of PoissonDirac submanifolds have very special geometric properties. They where first study by Xu in [
11]
, which calls them Dirac submanifolds.
They are further discussed by Crainic and Fernandes in [
1]
, where they are called LieDirac submanifolds.
3 Fixed point sets of proper Poisson actions
In this section we will give a proof of Theorem 1.1 , which we restate now as follows:
Theorem 3.1.
Let
$G\times M\to M$
be a proper Poisson action. Then the fixed point set
${M}^{G}$
is a PoissonDirac submanifold.
Since the action is proper, the fixed point set
${M}^{G}$
is an embedded submanifold of
$M$
. Its connected components may have different dimensions, but our argument will be valid for each such component, so we will assume that
${M}^{G}$
is a connected submanifold. The proof will consist in showing that there exists a subbundle
$E\subset {T}_{{M}^{G}}M$
satisfying the conditions of Corollary 2.1 .
First of all, given any action
$G\times M\to M$
(proper or not) there exists a lifted action
$G\times TM\to TM$
. For proper actions we have the following basic property:
Proposition 3.1.
If
$G\times M\to M$
is a proper action then there exists a
$G$
invariant metric on
$TM$
.
For a proof of this fact and other elementary properties of proper actions, we refer to [3] . Explicitly, the
$G$
invariance of the metric means that:
$$\langle g\cdot v,g\cdot w{\rangle}_{g\cdot p}=\langle v,w{\rangle}_{p},\forall v,w\in {T}_{p}M.$$
where
$g\in G$
and
$p\in M$
.
We fix, once and for all, a
$G$
invariant metric
$\langle ,\rangle $
for our proper Poisson action
$G\times M\to M$
. Let us consider the subbundle
$E\subset {T}_{{M}^{G}}M$
which is orthogonal to
$T{M}^{G}$
:
$$E=\{v\in {T}_{{M}^{G}}M:\langle v,w\rangle =0,\forall w\in T{M}^{G}\}.$$
We have:
Lemma 3.1.
$${T}_{{M}^{G}}M=T{M}^{G}\oplus E\text{and}\#\left({E}^{0}\right)\subset T{M}^{G}.$$

Proof.
Since
$E=(T{M}^{G}{)}^{\perp}$
, the decomposition
${T}_{{M}^{G}}M=T{M}^{G}\oplus E$
is obvious.
Now for a proper action, we have
$(TM{)}^{G}=T{M}^{G}$
so this decomposition can also be written as:
$$\begin{array}{c}{T}_{{M}^{G}}M=(TM{)}^{G}\oplus E,\end{array}$$ 
(3.1)

On the other hand, we have the lifted cotangent action
$G\times {T}^{*}M\to {T}^{*}M$
, which is related to the lifted tangent action by
$g\cdot \xi \left(v\right)=\xi ({g}^{1}\cdot v)$
,
$\xi \in {T}^{*}M,v\in TM$
.
We claim that:
$$\begin{array}{c}{E}^{0}\subset ({T}^{*}M{)}^{G}.\end{array}$$ 
(3.2)

In fact, if
$v\in TM$
we can use (3.1 ) to decompose it as
$v={v}_{G}+{v}_{E}$
, where
${v}_{G}\in (TM{)}^{G}$
and
${v}_{E}\in E$
. Hence, for
$\xi \in {E}^{0}$
we find:
$$\begin{array}{cc}g\cdot \xi ({v}_{G}+{v}_{E})& =\xi ({g}^{1}\cdot {v}_{G}+{g}^{1}\cdot {v}_{E})\end{array}$$  
$$\begin{array}{cc}& =\xi \left({v}_{G}\right)+\xi ({g}^{1}\cdot {v}_{E})\end{array}$$  
$$\begin{array}{cc}& =\xi \left({v}_{G}\right)\end{array}$$  
$$\begin{array}{cc}& =\xi \left({v}_{G}\right)+\xi \left({v}_{E}\right)=\xi ({v}_{G}+{v}_{E}).\end{array}$$  
$$\begin{array}{}\end{array}$$  
We conclude that
$g\cdot \xi =\xi $
and (3.2 ) follows.
Since
$G\times M\to M$
is a Poisson action, we see that
$\#:{T}^{*}M\to TM$
is a
$G$
equivariant bundle map. Hence, if
$\xi \in {E}^{0}$
, we obtain from (3.2 ) that:
$$g\cdot \#\xi =\#(g\cdot \xi )=\#\xi .$$
This means that
$\#\xi \in (TM{)}^{G}=T{M}^{G}$
, so the lemma holds. □
This lemma shows that the conditions of Corollary 2.1 are satisfied, so
${M}^{G}$
is a PoissonDirac submanifold and the proof of Theorem 3.1 is completed.
Remark 3.1.
If one works further with the decomposition (3.1 ) and its transposed version, it is not hard to show that
${E}^{0}$
is actually a Lie subalgebroid of
${T}^{*}M$
. Therefore, the fixed point set
${M}^{G}$
of a proper Poisson action is, in fact, a LieDirac submanifold of
$M$
(see Remark 2.2 ).
Remark 3.2.
Special cases of Theorem 3.1 where obtained by Damianou and Fernandes in [
2]
for a compact Lie group
$G$
, and by Fernandes and Vanhaecke in [
4]
for a reductive algebraic group
$G$
. Xiang Tang also proves a version of this theorem in his PhD thesis [
9]
.
Notice that the Poisson bracket of functions
$f,g\in {C}^{\infty}\left({M}^{G}\right)$
can be obtained simply by choosing
$G$
invariant extensions
$\stackrel{~}{f},\stackrel{~}{g}\in {C}^{\infty}(M{)}^{G}$
, and setting:
$${\left\{f,g\right\}}_{{M}^{G}}=\{\stackrel{~}{f},\stackrel{~}{g}\}{}_{{M}^{G}}.$$
This follows from equation (2.2 ) and the remark that for any such
$G$
invariant extensions we have
${d}_{{M}^{G}}\stackrel{~}{f},{d}_{{M}^{G}}\stackrel{~}{g}\in {E}^{0}$
. It is an instructive exercise to prove directly that the bracket on
${M}^{G}$
does not depend on the choice of extensions.
4 Applications and further results
Every compact Lie group action is proper. In particular, a finite group action is always a proper. The case
$G={\mathbb{Z}}_{2}$
leads to the following result:
Corollary 4.1.
Let
$\phi :M\to M$
be an involutive Poisson automorphism of a Poisson manifold
$M$
. The fixed point set
$\{p\in M:\phi (p)=p\}$
has a natural induced Poisson structure.

Proof.
Apply Theorem 3.1 to the Poisson action of the group
$G=\{\text{Id},\phi \}$
. □
This result is known in the literature as the Poisson Involution Theorem (see [2, 4, 11] ). It has been applied in [2, 4] to explain the relationship between the geometry of the Toda and Volterra lattices, and there should be similar relations between other known integrable systems. In this respect, it should be interesting to find extensions of our results to infinite dimensional manifolds and actions.
Recall that if an action
$G\times M\to M$
is proper and free then the space of orbits
$M/G$
is a smooth manifold. For general nonfree actions the orbit space can be a very pathological topological space. However, for proper actions the singularities of the orbit space are very much controlled, and
$M/G$
is a nicely stratified topological space. For proper symplectic actions there is a beautiful theory of singular symplectic quotients due to Lerman and Sjamaar [
8]
which describes the geometry of
$M/G$
. For proper Poisson actions one should expect that the orbit space still exhibits some nice Poisson geometry. In fact, we will explain in [
5]
that Theorem 3.1 leads to the following result that generalizes a theorem due to Lerman and Sjamaar:
Theorem 4.1.
Let
$G\times M\to M$
be a proper Poisson action. Then the quotient
$M/G$
is a Poisson stratified space.
Note that if a Poisson action is proper and free then the orbit space is a smooth Poisson manifold. In this case one can identify the smooth functions on the quotient
$M/G$
with the
$G$
invariant functions on
$M$
:
$${C}^{\infty}(M/G)\simeq {C}^{\infty}(M{)}^{G}.$$
In the nonfree case, the smooth structure of
$M/G$
as a stratified space also leads to such an identification. Rather than explaining in detail the notion of a Poisson stratified space (see the upcoming paper [5] ), we will illustrate this result with an example.
Example 4.1.
Let
${\mathbb{C}}^{n+1}$
be the complex
$n+1$
dimensional space with holomorphic coordinates
$({z}_{0},...,{z}_{n})$
and antiholomorphic coordinates
$({\overline{z}}_{0},...,{\overline{z}}_{n})$
. On the (real) manifold
${\mathbb{C}}^{n+1}0$
we will consider a (real) quadratic Poisson bracket of the form:
$$\{{z}_{i},{z}_{j}\}={a}_{ij}{z}_{i}{z}_{j},\{{z}_{i},{\overline{z}}_{j}\}=\{{\overline{z}}_{i},{\overline{z}}_{j}\}=0.$$
where
$A=\left({a}_{ij}\right)$
is a skewsymmetric matrix.
The group
${\mathbb{C}}^{*}$
of nonzero complex numbers acts on
${\mathbb{C}}^{n+1}0$
by multiplication of complex numbers. This is a free and proper Poisson action, so the quotient
$\mathbb{C}P\left(n\right)={\mathbb{C}}^{n+1}0/{\mathbb{C}}^{*}$
inherits a Poisson bracket.
Let us consider now the action of the
$n$
torus
${\mathbb{T}}^{n}$
on
${\mathbb{C}}^{n+1}0$
defined by:
$$({\theta}_{1},...,{\theta}_{n})\cdot ({z}_{0},{z}_{1},\cdots ,{z}_{n})=({z}_{0},{e}^{i{\theta}_{1}}{z}_{1},\cdots ,{e}^{i{\theta}_{n}}{z}_{n}).$$
This is a Poisson action that commutes with the
${\mathbb{C}}^{*}$
action. It follows that the
${\mathbb{T}}^{n}$
action descends to a Poisson action on
$\mathbb{C}P\left(n\right)$
. Note that the action of
${\mathbb{T}}^{n}$
on
$\mathbb{C}P\left(n\right)$
is proper but not free. The quotient
$\mathbb{C}P\left(n\right)/{\mathbb{T}}^{n}$
is not a manifold but it can be identified with the standard simplex
$${\Delta}^{n}=\left\{\right({\mu}_{0},...,{\mu}_{n})\in {\mathbb{R}}^{n+1}:{\sum}_{i=0}^{n}{\mu}_{i}=1,{\mu}_{i}\ge 0\}.$$
This identification is obtained via the map
$\mu :\mathbb{C}P\left(n\right)\to {\Delta}^{n}$
defined by:
$$\mu \left(\right[{z}_{0}:\cdots :{z}_{n}\left]\right)=\left(\frac{{z}_{0}{}^{2}}{{z}_{0}{}^{2}+\cdots +{z}_{n}{}^{2}},\cdots ,\frac{{z}_{n}{}^{2}}{{z}_{0}{}^{2}+\cdots +{z}_{n}{}^{2}}\right).$$
Let us describe the Poisson stratification of
${\Delta}^{n}=\mathbb{C}P\left(n\right)/{\mathbb{T}}^{n}$
. The Poisson bracket on
${\Delta}^{n}$
is obtained through the identification:
$${C}^{\infty}\left({\Delta}^{n}\right)\simeq {C}^{\infty}(\mathbb{C}P(n){)}^{{\mathbb{T}}^{n}}.$$
For that, we simply compute the Poisson bracket between the components of the map
$\mu $
. A more or less straightforward computation will show that:
$$\begin{array}{c}\{{\mu}_{i},{\mu}_{j}\}=\left({a}_{ij}{\sum}_{l=0}^{n}({a}_{il}+{a}_{lj}){\mu}_{l}\right){\mu}_{i}{\mu}_{j},(i,j=0,...,n).\end{array}$$ 
(4.1)

Now notice that (4.1 ) actually defines a Poisson bracket on
${\mathbb{R}}^{n+1}$
.
For this Poisson bracket, the interior of the simplex and its faces are Poisson submanifolds: a face
${\Delta}_{{i}_{1},...,{i}_{nd}}$
of dimension
$0\le d\le n$
is given by equations of the form:
$${\sum}_{i=0}^{n}{\mu}_{i}=1,{\mu}_{{i}_{1}}=\cdots ={\mu}_{{i}_{nd}}=0,{\mu}_{i}>0\text{for}i\notin \{{i}_{1},...,{i}_{nd}\}.$$
These equations define Poisson submanifolds since:

(a)
the bracket
$\{{\mu}_{i},{\mu}_{l}\}$
vanishes whenever
${\mu}_{l}=0$
, and

(b)
the bracket
$\{{\mu}_{i},{\sum}_{l=0}^{n}{\mu}_{l}\}$
vanishes whenever
${\sum}_{l=0}^{n}{\mu}_{l}=1$
.
Therefore, the Poisson stratification of
${\Delta}^{n}$
consists of strata formed by the faces of dimension
$0\le d\le n$
, which are smooth Poisson manifolds.
References

M. Crainic and R.L. Fernandes, Integrability of Poisson brackets, Journal of Differential Geometry 66 (2004), 71–137.

P. Damianou and R.L. Fernandes, From the Toda lattice to the Volterra lattice and back, Reports on Math. Phys. 50,(2002) 361–378.

J. Duistermaat and J. Kolk, Lie Groups, SpringerVerlag Berlin Heidelberg, 2000.

R.L. Fernandes and P. Vanhaecke, Hyperelliptic Prym Varieties and Integrable Systems, Commun. Math. Phys. 221 (2001) 169–196.

R.L. Fernandes, J.P. Ortega and T. Ratiu, Momentum maps in Poisson geometry, paper in preparation.

V. Guillemin and S. Sternberg, Convexity properties of the moment mapping, Inventiones Mathematicae 67 (1982), 491–513.

J.P. Ortega and T. Ratiu, Momentum maps and Hamiltonian reduction, Progress in Mathematics, vol. 222, Birkhäuser, Boston, 2004.

Eugene Lerman and Reyer Sjamaar, Stratified symplectic spaces and reduction, Annals of Mathematics (2) 134 (1991), 375–422.

X. Tang, Quantization of Noncommutative Poisson manifolds, PhD Thesis, University of California, Berkeley, USA, (2004).

I. Vaisman, Lectures on the Geometry of Poisson Manifolds, Progress in Mathematics, vol. 118, Birkhäuser, Berlin, 1994.

P. Xu, Dirac submanifolds and Poisson involutions, Ann. Sci. École Norm. Sup. (4) 36 (2003), 403–430.
Depart. de Matematica, Instituto Superior Tecnico, 1049001 Lisboa, PORTUGAL Email address : rfern@math.ist.utl.pt