In [
2]
, a Dirac structure of
$M$
was lifted to the manifold
$TM$
. In what follows, we give a simpler definition of this lift. For this purpose we look at the locally free
$\underline{{C}^{\infty}\left(M\right)}$
module sheaf
$\underline{D}$
of rank
$n$
of the germs of cross sections of
$D$
, where
$\underline{{C}^{\infty}\left(M\right)}$
is the sheaf of germs of differentiable functions on
$M$
(e.g., [
8]
). Then, we get
Proposition 3.1.
The
$\underline{{C}^{\infty}\left(TM\right)}$
module sheaf
${\underline{D}}^{tg}$
spanned by the germs
$({X}^{C},{\alpha}^{C})$
,
$({X}^{V},{\alpha}^{V})$
,
$\forall (X,\alpha )\in \underline{D}$
is locally free of rank
$2n$
and it is isomorphic with the sheaf of germs of cross sections of a Dirac structure
${D}^{tg}$
on
$TM$
.

Proof.
Firstly, we show that the sheaf
${\underline{D}}^{tg}$
is locally free of rank
$2n$
. If
$({B}_{i},{\epsilon}_{i})$
$(i=1,...,n)$
is a local basis for the sheaf
$\underline{D}$
on
$M$
, an arbitrary germ
$(X,\alpha )\in \underline{D}$
is of the form
$$(X,\alpha )={\sum}_{i=1}^{n}{\lambda}_{i}({B}_{i},{\epsilon}_{i}),$$
whence
$$\begin{array}{c}({X}^{C},{\alpha}^{C})={\sum}_{i=1}^{n}\left[{\lambda}_{i}^{V}\right({B}_{i}^{C},{\epsilon}_{i}^{C})+{\lambda}_{i}^{C}({B}_{i}^{V},{\epsilon}_{i}^{V}\left)\right],\end{array}$$  
$$\begin{array}{c}({X}^{V},{\alpha}^{V})={\sum}_{i=1}^{n}{\lambda}_{i}^{V}({B}_{i}^{V},{\epsilon}_{i}^{V}).\end{array}$$  
This shows that
$({B}_{i}^{C},{\epsilon}_{i}^{C}),({B}_{i}^{V},{\epsilon}_{i}^{V})$
is a local basis of
${\underline{D}}^{tg}$
. (If we assume that
$${B}_{i}={b}_{i}^{j}\frac{\partial}{\partial {x}^{j}},{\epsilon}_{i}={\epsilon}_{ij}d{x}^{j}$$
and use formulas ( 2.10 ), ( 2.16 ), linear independence follows from that of
$({B}_{i},{\epsilon}_{i})$
.) Thus [8] ,
${\underline{D}}^{tg}$
is isomorphic with the sheaf of germs of cross sections of the vector bundle with local trivialization bases
$({B}_{i}^{C},{\epsilon}_{i}^{C}),({B}_{i}^{V},{\epsilon}_{i}^{V})$
, which may be identified with a vector subbundle
${D}^{tg}$
of
$T\left(TM\right)$
.
Furthermore, if we denote by indices
$M$
and
$TM$
, respectively, objects on the two manifolds, formulas ( 3.1 ), ( 3.3 ) and ( 2.12 ), ( 2.15 ) give
$$\begin{array}{c}\begin{array}{c}{g}_{TM}\left(\right({X}^{C},{\alpha}^{C}),({Y}^{C},{\beta}^{C}\left)\right)=\left({g}_{M}\right((X,\alpha ),(Y,\beta )){)}^{C},\\ {g}_{TM}\left(\right({X}^{C},{\alpha}^{C}),({Y}^{V},{\beta}^{V}\left)\right)=\left({g}_{M}\right((X,\alpha ),(Y,\beta )){)}^{V},\\ {g}_{TM}\left(\right({X}^{V},{\alpha}^{V}),({Y}^{V},{\beta}^{V}\left)\right)=0,\end{array}\end{array}$$ 
(3.8)

and similar formulas relate
${\omega}_{TM}$
to
${\omega}_{M}$
. These formulas ensure the isotropy property for
${D}^{tg}$
.
Finally, from (
3.8 ) for
$\omega $
, ( 2.11 ) ( 2.13 ) and property b) of the complete lift given at the end of Section 1, we get the following formulas for Courant brackets:
$$\begin{array}{c}\begin{array}{c}\left[\right({X}^{C},{\alpha}^{C}),({Y}^{C},{\beta}^{C}\left)\right]=\left[\right(X,\alpha ),(Y,\beta ){]}^{C},\\ \left[\right({X}^{C},{\alpha}^{C}),({Y}^{V},{\beta}^{V}\left)\right]=\left[\right(X,\alpha ),(Y,\beta ){]}^{V},\\ \left[\right({X}^{V},{\alpha}^{V}),({Y}^{V},{\beta}^{V}\left)\right]=0.\end{array}\end{array}$$ 
(3.9)

These formulas, and the fact that a Dirac structure is a Lie algebroid, ensure that
${D}^{tg}$
is closed by Courant brackets.
Definition 3.3.
The Dirac structure
${D}^{tg}$
of
$TM$
provided by Proposition 3.1 is called the tangent Dirac structure of the Dirac structure
$D$
of
$M$
.
The comparison of the generating pairs of
${D}^{tg}$
with the bases produced by the computations of [
2]
or with the alternative definition of the reviewer of that paper [
5]
shows that the tangent Dirac structure of Definition 3.3 is the same as that of [
2]
.
Remark 3.1.
The tangent Dirac structure is invariant by the operator
$S$
of the tangent structure of the manifold
$TM$
. Indeed, the action of
$S$
is defined by
$S(\mathcal{X},\Xi )=(S\mathcal{X},\Xi \circ S)$
$(\mathcal{X},\Xi )\in {D}^{tg})$
, and the definitions of Section 1 yield
$$S{X}^{C}={X}^{V},S{X}^{V}=0,{\alpha}^{C}\circ S={\alpha}^{V},{\alpha}^{V}\circ S=0.$$
Example 3.1.
A Poisson structure of
$M$
defined by the bivector field
$P$
with
$[P,P]=0$
is equivalent with the Dirac structure
${D}_{P}$
given by ( 3.6 ).
From (
2.12 ) and ( 2.15 ), it follows easily:
$$i\left({\alpha}^{V}\right){P}^{C}=\left(i\right(\alpha )P{)}^{V},i({\alpha}^{C}){P}^{C}=(i\left(\alpha \right)P{)}^{C}.$$
Hence, the tangent Dirac structure of
${D}_{P}$
is the Poisson structure defined on
$TM$
by the bivector field
${P}^{C}$
, which is the usual definition of a tangent Poisson structure. Similarly, if
$M$
has a presymplectic structure defined by the closed
$2$
form
$\varpi $
, this structure may be seen as the Dirac structure
${D}_{\varpi}$
given by ( 3.7 ) and the tangent Dirac structure of
${D}_{\varpi}$
is the presymplectic structure defined on
$TM$
by
${\varpi}^{C}$
.
Example 3.2.
The construction of the tangent Dirac structure extends to complex Dirac structures
$L\subseteq E\left(M\right){\otimes}_{\mathbb{R}}\mathbb{C}$
. Such a structure
$L$
is a generalized complex structure of
$M$
if
$L\cap \overline{L}=0$
[
7]
. By looking at a complex basis
$({B}_{i},{\epsilon}_{i})$
of
$L$
, it follows easily that if
$L$
is a generalized complex structure the same is true for its tangent structure
${L}^{tg}$
. Therefore, the tangent manifold of a generalized complex manifold is a generalized complex manifold, again, in a canonical way. If
$M$
has a usual complex structure,
$L$
is the direct sum of the holomorphic tangent bundle of
$M$
and the antiholomorphic cotangent bundle [
7]
, and
${L}^{tg}$
has the similar structure for the usual complex structure of
$TM$
. On the other hand, if the generalized complex structure is defined by a symplectic form
$\omega $
on
$M$
,
$L$
is the complexification of the Dirac structure
${D}_{\omega}$
of ( 3.7 ) [
7]
, and the generalized complex structure of
$TM$
is defined by the symplectic form
${\omega}^{C}$
.
Now, we will give some more results about the tangent Dirac structure.
Proposition 3.2.
If
$S$
is a presymplectic leaf of
$D$
on
$M$
with the presymplectic form
$\varpi $
and if
$v\in TS$
, the presymplectic leaf of
${D}^{tg}$
through
$v$
is the tangent manifold
$TS\subseteq TM$
, and its presymplectic form is
${\varpi}^{C}$
, where the complete lift is from
$S$
to
$TS$
.

Proof.
Obviously, the tangent space of the presymplectic leaf
${S}_{(x,v)}\left({D}^{tg}\right)$
of
${D}^{tg}$
at a point
$(x,v)\in TM$
,
$\pi \left(v\right)=x$
, is spanned by the vectors
${X}^{C}(x,v)$
,
${X}^{V}(x,v)$
, where
$X$
is a vector field tangent to the presymplectic leaf
${S}_{x}\left(D\right)$
.
In particular, if
$v\in TS$
, we get the first part of the proposition. Furthermore, if
$\varpi $
is the presymplectic form of the leaf
$S$
we have [
1]
$$\begin{array}{c}\varpi (X,Y)=\omega \left(\right(X,\alpha ),(Y,\beta \left)\right),\end{array}$$ 
(3.10)

where
$X,Y\in TS$
,
$(X,\alpha ),(Y,\beta )\in D$
and the form
$\omega $
is defined by formula ( 3.3 ). Then, the definitions and properties of the complete and vertical lifts yield
$$\begin{array}{c}\begin{array}{c}{\varpi}^{C}({X}^{C},{Y}^{C})={\omega}_{TM}\left(\right({X}^{C},{\alpha}^{C}),({Y}^{C},{\beta}^{C}\left)\right),\\ {\varpi}^{C}({X}^{C},{Y}^{V})={\omega}_{TM}\left(\right({X}^{C},{\alpha}^{C}),({Y}^{V},{\beta}^{V}\left)\right),\\ {\varpi}^{C}({X}^{V},{Y}^{V})={\omega}_{TM}\left(\right({X}^{V},{\alpha}^{V}),({Y}^{V},{\beta}^{V}\left)\right)=0,\end{array}\end{array}$$ 
(3.11)

and we are done.
We recall that a Poisson structure
$P$
is called homogeneous if there exists a vector field
$Z$
such that
$$\begin{array}{c}{L}_{Z}P+P=0.\end{array}$$ 
(3.12)

It is well known that the tangent Poisson structure
${P}^{C}$
of any Poisson structure
$P$
of
$M$
is homogeneous with
$Z=E$
, where
$E$
is the Euler vector field ( 2.3 ). The generalization of homogeneity to Dirac structures
$D$
is the condition
$$\begin{array}{c}(X,\alpha )\in D\Rightarrow \left(\right[Z,X]+X,{L}_{Z}\alpha )\in D,\end{array}$$ 
(3.13)

which reduces to ( 3.12 ) in the Poisson case [11] . Now, we get
Proposition 3.3.
For an arbitrary Dirac structure
$D$
of
$M$
, the tangent Dirac structure
${D}^{tg}$
is homogeneous with
$Z=E$
.

Proof.
The Euler field
$E$
satisfies ( 2.2 ) and also
$$\begin{array}{c}[E,{X}^{C}]=0,[E,{X}^{V}]={X}^{V},X\in {\chi}^{1}\left(M\right),\end{array}$$ 
(3.14)

which follows by easy, local coordinates calculations. Thus, the result is proven if we show that
$\forall (X,\alpha ),(Y,\beta )\in \Gamma D$
the pairs
$({X}^{C},{L}_{E}{\alpha}^{C}),(0,{L}_{E}{\alpha}^{V})$
are
${g}_{TM}$
orthogonal to the pairs
$({Y}^{C},{\beta}^{C}),({Y}^{V},{\beta}^{V})$
. The examination of the corresponding scalar products shows that this is the case indeed.
Remark 3.2.
A Dirac structure
$D$
of
$M$
yields a pointwisely defined pull back
${\pi}^{*}\left(D\right)$
to
$TM$
by the natural projection
$\pi :TM\to M$
, which is defined by
$$\begin{array}{c}{\pi}^{*}\left(D\right)=\left\{\right(\mathcal{X},{\pi}^{*}\alpha ),/\mathcal{X}\in T(TM),\alpha \in {T}^{*}M,({\pi}_{*}\mathcal{X},\alpha )\in D\}.\end{array}$$ 
(3.15)

From ( 3.15 ), it follows that the equivalent, locally free sheaf of rank
$2n$
is spanned by
$({X}^{C},{\alpha}^{V}),(\mathcal{Z},0)$
where
$(X,\alpha )\in \underline{D}$
and
$\mathcal{Z}$
is vertical on
$TM$
.
If
$({B}_{i},{\epsilon}_{i})$
is a local basis of
$\underline{D}$
,
$({B}_{i}^{C},{\epsilon}_{i}^{V}),(\partial /\partial {v}^{i},0)$
is a local basis of
$\underline{{\pi}^{*}\left(D\right)}$
, and we see that
${\pi}^{*}\left(D\right)$
is a differentiable Dirac structure on
$TM$
, which is different from the tangent Dirac structure. In particular, if
$D={D}_{P}$
where
$P$
is a Poisson bivector field,
${\pi}^{*}\left({D}_{P}\right)$
is not a Poisson structure. We might say that
${D}^{tg}$
is the complete lift of
$D$
and
${\pi}^{*}\left(D\right)$
is the vertical lift. The presymplectic leaves of
${\pi}^{*}\left(D\right)$
are the restrictions
${T}_{S}M$
of the tangent bundle
$TM$
to the presymplectic leaves
$S$
of
$D$
and the corresponding presymplectic form is the vertical lift of the presymplectic form of
$S$
.
4 Submanifolds of a Dirac manifold
We begin by defining various classes of submanifolds of a Dirac manifold.
More details and motivation on that may be found in [
11]
. For simplicity, all the submanifolds are assumed to be embedded submanifolds.
Definition 4.1.
A submanifold
$N\hookrightarrow M$
is properly normalizable if there exists a normal bundle
$\nu N$
of
$N$
such that
$$\begin{array}{c}(X,\alpha )\in D{}_{N}\Rightarrow (p{r}_{TN}X,p{r}_{{T}^{*}N}\alpha )\in D{}_{N},\end{array}$$ 
(4.1)

where the projections are defined by the decomposition
${T}_{N}M=\nu N\oplus TN$
.
If (
4.1 ) holds, the pair
$(N,\nu N)$
is a properly normalized submanifold of
$M$
.
It follows easily that condition ( 4.1 ) is equivalent with
$$\begin{array}{c}D{}_{N}=(D{}_{N}\cap (TN\oplus {T}^{*}N)\oplus D{}_{N}\cap (\nu N\oplus {\nu}^{*}N\left)\right)\end{array}$$ 
(4.2)

and
$D{}_{N}\cap (TN\oplus {T}^{*}N)$
is a differentiable Dirac structure of
$N$
equal to the pull back of
$D$
by the embedding of
$N$
in
$M$
[11] . Therefore, a properly normalizable submanifold has a well defined induced Dirac structure. If
$D$
comes from a Poisson structure a properly normalizable submanifold is a PoissonDirac submanifold which admits a Dirac projection in the sense of [3] . If
$D$
comes from a presymplectic form
$\sigma $
the submanifold
$N$
is properly normalizable iff there exists a normal bundle
$\nu N$
of
$N$
which is
$\sigma $
orthogonal to
$N$
.
In [
11]
we have defined an interesting invariant of a properly normalized submanifold called the second fundamental form of
$(N,\nu N))$
in
$(M,D)$
. This invariant associates with every pair
$(X,\alpha ),(Y,\beta )\in D{}_{N}\cap (TN\oplus {T}^{*}N)$
a
$1$
form
$B\left(\right(X,\alpha ),(Y,\beta \left)\right)\in {\nu}^{*}N$
with the value on
$Z\in \nu N$
given by
$$\begin{array}{c}B\left(\right(X,\alpha ),(Y,\beta \left)\right)\left(Z\right)=Z\left(\stackrel{~}{\alpha}\right(\stackrel{~}{Y}\left)\right)\alpha \left(\right[\stackrel{~}{Z},\stackrel{~}{Y}\left]\right)+\beta \left(\right[\stackrel{~}{Z},\stackrel{~}{X}\left]\right),\end{array}$$ 
(4.3)

where
$\stackrel{~}{Z},(\stackrel{~}{X},\stackrel{~}{\alpha}),(\stackrel{~}{Y},\stackrel{~}{\beta})$
extend
$Z,(X,\alpha ),(Y,\beta )$
from
$N$
to
$M$
and
$(\stackrel{~}{X},\stackrel{~}{\alpha}),(\stackrel{~}{Y},\stackrel{~}{\beta})$
$\in \Gamma D$
. The result is independent of the choice of the extensions because the right hand side of ( 4.3 ) is
${C}^{\infty}\left(M\right)$
linear in all arguments.
In order to define another class of submanifolds we notice the existence of the field of subspaces along
$N$
$$\begin{array}{c}{H}_{x}(N,D)=\{Z\in {T}_{x}M/\exists \alpha \in ann{T}_{x}N\&(Z,\alpha )\in {D}_{x}\}(x\in N)\end{array}$$ 
(4.4)

(
$ann$
denotes the annihilator space). This field may not be differentiable and the subspaces may have various dimensions and may intersect
${T}_{x}N$
. For these reasons we will say that
$H(N,D)$
is the pseudonormal field of
$N$
with respect to
$D$
.
Definition 4.2.
The submanifold
$N\hookrightarrow M$
is a cosymplectic submanifold if the pseudonormal field
$H(N,D)$
is a differentiable normal bundle
$\nu N$
of
$N$
in
$M$
.
$H(N,D)$
will be called the natural normal bundle of the cosymplectic submanifold
$N$
.
In [
11]
, it was proven that, if
$N$
is a cosymplectic submanifold,
$(N,\nu N=H(N,D\left)\right)$
is a properly normalized submanifold, that
$N$
is cosymplectic iff
$$\begin{array}{c}D{}_{N}\cap (TN\oplus annTN)=\left\{0\right\},\end{array}$$ 
(4.5)

that the induced Dirac structure of a cosymplectic submanifold is Poisson and, along
$N$
, one has
$$\begin{array}{c}D{}_{N}=\left\{\right(X,i\left(X\right)\sigma )+(i\left(\lambda \right)\Pi ,\lambda )/X\in H(N,D),\lambda \in {T}^{*}N\},\end{array}$$ 
(4.6)

where
$\Pi \in {\chi}^{2}\left(N\right)$
is the bivector field of the induced Poisson structure and
$\sigma \in \Gamma \left({\wedge}^{2}annTN\right)$
is a
$2$
form the graph of which is
$D{}_{N}\cap \left(H\right(N,D)\oplus {H}^{*}(N,D\left)\right)$
. If
$D$
comes from a Poisson structure the notion of a cosymplectic submanifold is the known one [
13]
. If
$D$
comes from a presymplectic form
$\sigma $
the submanifold
$N$
is cosymplectic iff the pull back of
$\sigma $
to
$N$
is non degenerate.
Because of (
4.5 ) we give the following definition:
Definition 4.3.
The function
$d:N\to \mathbb{Z}$
defined by
$d\left(x\right)=dim[D{}_{N}\cap (TN\oplus annTN\left)\right]$
$(x\in N)$
is called the cosymplecticity default of the submanifold
$N$
of
$(M,D)$
.
It turns out that the second fundamental form of a cosymplectic manifold vanishes [
11]
. This property is the source of
Definition 4.4.
A submanifold
$N$
of a Dirac manifold
$(M,D)$
is a totally Dirac submanifold if it is properly normalizable by a certain normal bundle
$\nu N$
and the second fundamental form of
$(N,\nu N)$
is zero.
One can see [
11]
that, if
$D$
comes from a Poisson structure, a totally Dirac submanifold is just a Dirac submanifold in the sense of Xu [
13]
(in [
3]
these were called LieDirac submanifolds). Indeed, if
$P$
is the Poisson bivector field, the second fundamental form of
$N$
becomes
$$B\left(\right(i\left(\alpha \right)P,\alpha ),(i\left(\beta \right)P,\beta \left)\right)\left(Z\right)=\left({L}_{\stackrel{~}{Z}}P\right)(\alpha ,\beta )$$
$\forall \alpha ,\beta \in {T}^{*}N$
(then
$i\left(\alpha \right)P,i\left(\beta \right)P\in TN$
because of the proper normalization property), and, if
$B=0$
, we are in the case where
$P$
is soldered to
$(N,\nu N)$
[
10]
. Similarly, if
$D={D}_{\sigma}$
where
$\sigma $
is a presymplectic form on
$M$
, for the properly normalized submanifold
$(N,\nu N)$
we get
$$B\left(\right(X,i\left(X\right)\sigma ),(Y,i\left(Y\right)\sigma \left)\right)\left(Z\right)=\left({L}_{\stackrel{~}{Z}}\sigma \right)(X,Y)(X,Y\in {\chi}^{1}(N\left)\right),$$
and the vanishing of this form, together with
$\nu N\subseteq {T}^{{\perp}_{\sigma}}N$
means that
$\sigma $
is soldered to
$(N,\nu N)$
in the sense of [
10]
.
Finally, in accordance with the Poisson case, we also define
Definition 4.5.
A submanifold
$N$
of a Dirac manifold
$(M,D)$
is coisotropic if the conditions
$\alpha \in annTN$
and
$(X,\alpha )\in D$
imply
$X\in TN$
.
Dually,
$N$
is an isotropic submanifold of
$(M,D)$
if the conditions
$X\in TN$
and
$(X,\alpha )\in D$
imply
$\alpha \in annTN$
.
In the presymplectic case the coisotropy and isotropy properties are the classical ones (i.e.,
${T}^{{\perp}_{\sigma}}N\subseteq TN$
and
${T}^{{\perp}_{\sigma}}N\supseteq TN$
, respectively, where
$\sigma $
is the presymplectic form). In the Poisson case,
$N$
is coisotropic iff,
$\forall x\in N$
,
${T}_{x}N\cap TS$
is a coisotropic subspace of
$TS$
, respectively,
$N$
is an isotropic submanifold of
$S$
,
$S$
being the symplectic leaf through
$x$
. Obviously,
$N$
is a coisotropic submanifold of
$(M,D)$
iff its pseudonormal field satisfies the condition
$H(N,D)\subseteq TN$
.
Now, we shall explain how to represent a Dirac structure
$D$
of
$M$
in the neighborhood of a point
${x}_{0}$
of a submanifold
$N$
of
$M$
by means of local bases.
Using a tubular neighborhood of
$N$
with fibers tangent to a chosen normal bundle
$\nu N$
, we get local coordinates
$({x}^{u},{y}^{a})$
$(u=1,...,dimN$
;
$a=1,...,codimN)$
around
${x}_{0}$
such that
${x}^{u}$
are coordinates along
$N$
and
${y}^{a}$
are coordinates along the tubular fibers. Then the local equations of
$N$
are
${y}^{a}=0$
, and
$$\begin{array}{c}TN=span{\left\{\frac{\partial}{\partial {x}^{u}}\right\}}_{y=0},\nu N=span{\left\{\frac{\partial}{\partial {y}^{a}}\right\}}_{y=0},\end{array}$$ 
(4.7)

$$\begin{array}{c}{T}^{*}N=span\{d{x}^{u}{\}}_{y=0},{\nu}^{*}N=span\{d{y}^{a}{\}}_{y=0}.\end{array}$$ 
(4.8)

On the coordinate neighborhood obtained above (shrunken if necessary), we may consider a basis of
$D$
that consists of
$n$
independent pairs
$({B}_{u},{\epsilon}_{u}),({C}_{a},$
${\tau}_{a})$
where
$$\begin{array}{c}\begin{array}{c}{B}_{u}={b}_{u}^{s}\frac{\partial}{\partial {x}^{s}}+{b}_{u}^{{}^{\prime}h}\frac{\partial}{\partial {y}^{h}},{C}_{a}={c}_{a}^{s}\frac{\partial}{\partial {x}^{s}}+{c}_{a}^{{}^{\prime}h}\frac{\partial}{\partial {y}^{h}},\\ {\epsilon}_{u}={e}_{us}d{x}^{s}+{e}_{uh}^{\prime}d{y}^{h},{\tau}_{a}={t}_{as}d{x}^{s}+{t}_{ah}^{\prime}d{y}^{h}.\end{array}\end{array}$$ 
(4.9)

In these, and in all the formulas that follow, our convention is that any index of coordinates
$x$
takes the same values as the index
$u$
and any index of coordinates
$y$
takes the same values as the index
$a$
.
Of course, these bases must satisfy the conditions implied by the definition of a Dirac structure namely, isotropy:
$$\begin{array}{c}{\epsilon}_{u}\left({B}_{s}\right)+{\epsilon}_{s}\left({B}_{u}\right)=0,{\epsilon}_{u}\left({C}_{a}\right)+{\tau}_{a}\left({B}_{u}\right)=0,{\tau}_{a}\left({C}_{h}\right)+{\tau}_{h}\left({C}_{a}\right)=0,\end{array}$$ 
(4.10)

and integrability:
$$\begin{array}{c}\left[\right({B}_{u},{\epsilon}_{u}),({B}_{s},{\epsilon}_{s}\left)\right]\in D,\left[\right({B}_{u},{\epsilon}_{u}),({C}_{a},{\tau}_{a}\left)\right]\in D,\end{array}$$ 
(4.11)

$$\left[\right({C}_{a},{\tau}_{a}),({C}_{h},{\tau}_{h}\left)\right]\in D.$$
We also add that the tangent distribution of the presymplectic foliation of
$D$
is
$$\begin{array}{c}\mathcal{A}\left(D\right)=span\{{B}_{u},{C}_{a}\}\end{array}$$ 
(4.12)

and the presymplectic form
$\varpi $
is determined by
$$\begin{array}{c}\varpi ({B}_{u},{B}_{s})={\epsilon}_{u}\left({B}_{s}\right),\varpi ({B}_{u},{C}_{a})={\epsilon}_{u}\left({C}_{a}\right),\varpi ({C}_{a},{C}_{h})={\tau}_{a}\left({C}_{h}\right).\end{array}$$ 
(4.13)

In what follows we write down the characteristic conditions for the various classes of submanifolds. Definition 4.1 shows that
$N$
is a properly normalizable submanifold of
$(M,D)$
iff it has a normal bundle
$\nu N$
such that there exist local bases ( 4.9 ) of
$D$
which satisfy the conditions
$$\begin{array}{c}{b}_{u}^{{}^{\prime}h}(x,0)=0,{e}_{uh}^{\prime}(x,0)=0,{c}_{a}^{s}(x,0)=0,{t}_{as}(x,0)=0.\end{array}$$ 
(4.14)

We call them adapted bases. Furthermore,
$N$
is cosymplectic in
$(M,D)$
iff there exist
$\nu N$
and bases that satisfy ( 4.14 ) and the supplementary conditions
$$\begin{array}{c}{e}_{us}(x,0)={\delta}_{us},{c}_{a}^{{}^{\prime}h}(x,0)={\delta}_{a}^{h}.\end{array}$$ 
(4.15)

This is an immediate consequence of formula ( 4.6 ).
Back to a properly normalized submanifold
$(N,\nu N)$
, with ( 4.3 ) we can compute the components of the second fundamental form with respect to adapted bases, and the result is
$$\begin{array}{c}B\left(\right({B}_{u},{\epsilon}_{u}),({B}_{v},{\epsilon}_{v}\left)\right)\left({\frac{\partial}{\partial {y}^{a}}}_{y=0}\right)={\left({b}_{v}^{s}\frac{\partial {e}_{us}}{\partial {y}^{a}}+{e}_{vs}\frac{\partial {b}_{u}^{s}}{\partial {y}^{a}}\right)}_{y=0}.\end{array}$$ 
(4.16)

Therefore, following Definition 4.4 , the characterization of a totally Dirac submanifold consists of conditions ( 4.14 ) and the annulation of the components ( 4.16 ).
Remark 4.1.
The skewsymmetry of the second fundamental form
$B$
is an immediate consequence of the first condition ( 4.10 ). The vanishing of
$B$
for a cosymplectic submanifold follows from the first condition ( 4.11 ). Indeed, if
$N$
is a cosymplectic submanifold, the
$TN$
component of
$D{}_{N}$
behaves like a Poisson structure (see ( 4.6 )), and the fact that
$$\begin{array}{c}\left[\right({B}_{u},{\epsilon}_{u}),({B}_{s},{\epsilon}_{s}\left)\right]=\left(\right[{B}_{u},{B}_{s}],{L}_{{B}_{u}}{\epsilon}_{s}{L}_{{B}_{s}}{\epsilon}_{u}+d({\epsilon}_{u}\left({B}_{s}\right)\left)\right)\end{array}$$ 
(4.17)

belongs to
$D$
along
$N$
implies the annulation of the
$1$
form component of ( 4.17 ) when calculated on a vector field of the form
$${p}_{a}^{s}\frac{\partial}{\partial {x}^{s}}+{q}_{a}^{h}\frac{\partial}{\partial {y}^{h}},{p}_{a}^{u}(x,0)=0,{q}_{a}^{h}(x,0)={\delta}_{a}^{h},$$
and evaluated at
$y=0$
. This exactly yields
$B=0$
.
Finally, Definition 4.5 shows that a submanifold
$N$
is coisotropic if the coefficients of the formulas ( 4.9 ) are such that
$\forall ({\lambda}^{u},{\lambda}^{{}^{\prime}a})$
one has
$$\begin{array}{c}{\lambda}^{u}{e}_{us}(x,0)+{\lambda}^{{}^{\prime}a}{t}_{as}(x,0)=0\Rightarrow {\lambda}^{u}{b}_{u}^{{}^{\prime}h}(x,0)+{\lambda}^{{}^{\prime}a}{c}_{a}^{{}^{\prime}h}(x,0)=0.\end{array}$$ 
(4.18)

The condition for an isotropic submanifold is obtained by reversing the sense of the implication in ( 4.18 ).
Now, we have all the ingredients required to discuss the result of Xu quoted in Introduction in the framework of Dirac manifolds. We will deduce the conditions for a submanifold
$N$
of a Dirac manifold
$(M,D)$
to have a normal bundle
$\nu N$
which is either a coisotropic or an isotropic submanifold of
$(TM,{D}^{tg})$
, and obtain some geometric conclusions of these conditions.
We consider a point
${x}_{0}\in N$
, a normal bundle
$\nu N$
of
$N$
in
$M$
, and the local coordinates and bases of formulas ( 4.9 ) around
${x}_{0}$
. Then, if we denote by
$({v}^{u},{w}^{a})$
the corresponding natural coordinates on the fibers of
$TM$
, the submanifold
$\nu N\subseteq TM$
has the local equations
${y}^{a}=0,{v}^{u}=0$
, and
$$\begin{array}{c}T\left(\nu N\right)=span{\left\{\frac{\partial}{\partial {x}^{u}},\frac{\partial}{\partial {w}^{a}}\right\}}_{y=0,v=0},\end{array}$$ 
(4.19)

$$\begin{array}{c}ann\left(T\nu N\right)=span\{d{y}^{a},d{v}^{u}{\}}_{y=0,v=0}.\end{array}$$ 
(4.20)

With the bases ( 4.9 ) the tangent Dirac structure
${D}^{tg}$
is locally spanned by
$({B}_{u}^{C},{\epsilon}_{u}^{C}),({C}_{a}^{C},{\tau}_{a}^{C}),({B}_{u}^{V},{\epsilon}_{u}^{V}),({C}_{a}^{V},{\tau}_{a}^{V})$
, where
$$\begin{array}{c}\begin{array}{c}{B}_{u}^{C}={l}_{d{b}_{u}^{s}}\frac{\partial}{\partial {v}^{s}}+{l}_{d{b}_{u}^{{}^{\prime}h}}\frac{\partial}{\partial {w}^{h}}+{b}_{u}^{s}\frac{\partial}{\partial {x}^{s}}+{b}_{u}^{{}^{\prime}h}\frac{\partial}{\partial {y}^{h}},\\ {C}_{a}^{C}={l}_{d{c}_{a}^{s}}\frac{\partial}{\partial {v}^{s}}+{l}_{d{c}_{a}^{{}^{\prime}h}}\frac{\partial}{\partial {w}^{h}}+{c}_{a}^{s}\frac{\partial}{\partial {x}^{s}}+{c}_{a}^{{}^{\prime}h}\frac{\partial}{\partial {y}^{h}},\\ {B}_{u}^{V}={b}_{u}^{s}\frac{\partial}{\partial {v}^{s}}+{b}_{u}^{{}^{\prime}h}\frac{\partial}{\partial {w}^{h}},{C}_{a}^{V}={c}_{a}^{s}\frac{\partial}{\partial {v}^{s}}+{c}_{a}^{{}^{\prime}h}\frac{\partial}{\partial {w}^{h}},\end{array}\end{array}$$ 
(4.21)

$$\begin{array}{c}\begin{array}{c}{\epsilon}_{u}^{C}={l}_{d{e}_{us}}d{x}^{s}+{l}_{d{e}_{uh}^{\prime}}d{y}^{h}+{e}_{us}d{v}^{s}+{e}_{uh}^{\prime}d{w}^{h},\\ {\tau}_{a}^{C}={l}_{d{t}_{as}}d{x}^{s}+{l}_{d{t}_{ah}^{\prime}}d{y}^{h}+{t}_{as}d{v}^{s}+{t}_{ah}^{\prime}d{w}^{h},\\ {\epsilon}_{u}^{V}={e}_{us}d{x}^{s}+{e}_{uh}^{\prime}d{y}^{h},{\tau}_{a}^{V}={t}_{as}d{x}^{s}+{t}_{ah}^{\prime}d{y}^{h}.\end{array}\end{array}$$ 
(4.22)

By writing down a linear combination of these pairs with coefficients
${\lambda}^{u},{\nu}^{a},{\mu}^{u},{\xi}^{a}$
we get a local cross section
$(\Xi ,\Psi )$
of
${D}^{tg}$
which has the property
$\Psi \in ann\left(T\nu N\right)$
iff
$$\begin{array}{c}\begin{array}{c}({\mu}^{u}{e}_{us}+{\xi}^{a}{t}_{as}{)}_{y=0}=0,({\lambda}^{u}{e}_{uh}^{\prime}+{\nu}^{a}{t}_{ah}^{\prime}{)}_{y=0}=0,\\ {\left({\lambda}^{u}\frac{\partial {e}_{us}}{\partial {y}^{h}}+{\nu}^{a}\frac{\partial {t}_{as}}{\partial {y}^{h}}\right)}_{y=0}=0.\end{array}\end{array}$$ 
(4.23)

The same cross section
$(\Xi ,\Psi )$
satisfies the condition
$\Xi \in T\left(\nu N\right)$
iff
$$\begin{array}{c}\begin{array}{c}({\mu}^{u}{b}_{u}^{s}+{\xi}^{a}{c}_{a}^{s}{)}_{y=0}=0,({\lambda}^{u}{b}_{u}^{{}^{\prime}h}+{\nu}^{a}{c}_{a}^{{}^{\prime}h}{)}_{y=0}=0,\\ {\left({\lambda}^{u}\frac{\partial {b}_{u}^{s}}{\partial {y}^{h}}+{\nu}^{a}\frac{\partial {c}_{a}^{s}}{\partial {y}^{h}}\right)}_{y=0}=0.\end{array}\end{array}$$ 
(4.24)

Therefore, we have proven
Proposition 4.1.
A submanifold
$N$
of a Dirac manifold
$(M,D)$
has a normal bundle
$\nu N$
which is coisotropic in
$(TM,{D}^{tg})$
iff, around the points of
$N$
,
$D$
has bases ( 4.9 ) such that the equations ( 4.24 ) are a consequence of the equations ( 4.23 ). Similarly,
$\nu N$
is isotropic in
$(TM,{D}^{tg})$
iff the equations ( 4.23 ) are a consequence of the equations ( 4.24 ).
As consequences of Proposition 4.1 we get
Proposition 4.2.
[
13]
A submanifold
$N$
of a Poisson manifold
$M$
with the Poisson bivector field
$P$
is totally Dirac iff it has a normal bundle
$\nu N$
which is a coisotropic submanifold of
$(TM,{P}^{C})$
.

Proof.
Using coordinates as in ( 4.9 ) we may write
$$\begin{array}{c}P=\frac{1}{2}{P}^{us}\frac{\partial}{\partial {x}^{u}}\wedge \frac{\partial}{\partial {x}^{s}}+{Q}^{ua}\frac{\partial}{\partial {x}^{u}}\wedge \frac{\partial}{\partial {y}^{a}}+\frac{1}{2}{S}^{ab}\frac{\partial}{\partial {y}^{a}}\wedge \frac{\partial}{\partial {y}^{b}}.\end{array}$$ 
(4.25)

Accordingly, the bases ( 4.9 ) may be taken under the form
$${B}_{u}={P}^{us}\frac{\partial}{\partial {x}^{s}}+{Q}^{ua}\frac{\partial}{\partial {y}^{a}},{\epsilon}_{u}=d{x}^{u},$$
$${C}_{a}={Q}^{ua}\frac{\partial}{\partial {x}^{u}}+{S}^{ab}\frac{\partial}{\partial {y}^{b}},{\tau}_{a}=d{y}^{a}.$$
Then, the equations ( 4.23 ) become
${\mu}^{u}=0,{\nu}^{a}=0$
, and the equations ( 4.24 ) become
$${\sum}_{u}{\mu}^{u}{P}^{us}{\sum}_{h}{\xi}^{h}{Q}^{sh}=0,{\sum}_{u}{\lambda}^{u}{Q}^{ua}+{\sum}_{h}{\nu}^{h}{S}^{ha}=0,$$
$${\sum}_{u}{\lambda}^{u}\frac{\partial {P}^{us}}{\partial {y}^{h}}{\sum}_{a}{\nu}^{a}\frac{\partial {Q}^{sa}}{\partial {y}^{h}}=0,$$
for
$y=0$
. Obviously, the first system implies the second iff
${Q}^{ua}=0,\partial {P}^{us}/\partial {y}^{h}$
$=0$
for
$y=0$
. These exactly are the conditions for
$N$
to be a (totally) Dirac submanifold [13] .
Similarly, we have
Proposition 4.3.
A submanifold
$N$
of a presymplectic manifold
$M$
with the closed
$2$
form
$\sigma $
is totally Dirac iff it has a normal bundle
$\nu N$
which is an isotropic submanifold of
$(TM,{\sigma}^{C})$
.

Proof.
With the same notation, we have
$$\sigma =\frac{1}{2}{\sigma}_{us}d{x}^{u}\wedge d{x}^{s}+{\phi}_{ua}d{x}^{u}\wedge d{y}^{a}+\frac{1}{2}{\theta}_{ah}d{y}^{a}\wedge d{y}^{h},$$
and the bases
$${B}_{u}=\frac{\partial}{\partial {x}^{u}},{C}_{a}=\frac{\partial}{\partial {y}^{a}},{\epsilon}_{u}={\sigma}_{us}d{x}^{s}+{\phi}_{ua}d{y}^{a},{\tau}_{a}={\phi}_{ua}d{x}^{u}+{\theta}_{ah}d{y}^{h}.$$
Then, the system ( 4.23 ) becomes
$${\mu}^{u}{\sigma}_{us}{\xi}^{a}{\phi}_{sa}=0,{\lambda}^{u}{\phi}_{uh}+{\nu}^{a}{\theta}_{ah}=0,{\lambda}^{u}\frac{\partial {\sigma}_{us}}{\partial {y}^{h}}{\nu}^{a}\frac{\partial {\phi}_{sa}}{\partial {y}^{h}}=0$$
for
$y=0$
, and the system ( 4.24 ) becomes
${\mu}^{u}=0,{\nu}^{a}=0$
. The latter conditions imply the former iff
${\phi}_{ua}=0$
and
$\partial {\sigma}_{us}/\partial {y}^{h}=0$
for
$y=0$
.
These are the conditions that characterize a totally Dirac submanifold of a presymplectic manifold.
Proposition 4.4.
If
$N$
is a cosymplectic submanifold of the Dirac manifold
$(M,D)$
, the cosymplecticity default of the natural normal bundle
$H(N,D)$
seen as a submanifold of
$(TM,{D}^{tg})$
satisfies the inequalities
$codimN\le d\left(x\right)\le dimM$
$(x\in N)$
.

Proof.
The local cross sections of
${D}^{tg}\cap \left[T\right(H(N,D))\oplus ann(T\left(H\right(N,$
$D\left)\right)\left)\right]$
must satisfy both ( 4.23 ) and ( 4.24 ), which, modulo ( 4.14 ) and ( 4.15 ), include the conditions
${\mu}^{u}=0,{\nu}^{a}=0$
and do not restrict the coefficients
${\xi}^{a}$
. Therefore,
${D}^{tg}\cap \left[T\right(H(N,D))\oplus ann(T\left(H\right(N,D\left)\right)\left)\right]$
has a basis which consists of the pairs
$({C}_{a}^{V},{\tau}_{a}^{V})$
and of linear combinations of
$({B}_{u}^{C},{\epsilon}_{u}^{C})$
.
Remark 4.2.
The questions discussed above may also be considered for the vertical lift
${\pi}^{*}\left(D\right)$
defined in Remark 3.2 , instead of the tangent structure
${D}^{tg}$
. The local bases of
${\pi}^{*}\left(D\right)$
are
$({B}_{u}^{C},{\epsilon}_{u}^{V}),({C}_{a}^{C},{\tau}_{a}^{V}),(\partial /\partial {v}^{u},0)(\partial /\partial {w}^{a},0)$
.
The conditions (
4.23 ) are to be replaced by
$$\begin{array}{c}{\lambda}^{u}{e}_{us}(x,0)+{\nu}^{a}{t}_{as}(x,0)=0.\end{array}$$ 
(4.26)

The conditions ( 4.24 ) are to be replaced by
$$\begin{array}{c}{\lambda}^{u}{b}_{u}^{{}^{\prime}h}(x,0)+{\nu}^{a}{c}_{a}^{{}^{\prime}h}(x,0)=0,{\mu}^{u}=0,{{\lambda}^{u}\frac{\partial {b}_{u}^{s}}{\partial {y}^{h}}}_{y=0}+{{\nu}^{a}\frac{\partial {c}_{a}^{s}}{\partial {y}^{h}}}_{y=0}=0.\end{array}$$ 
(4.27)

From these formulas, we see that
$\nu N$
is never coisotropic in
$(TM,{\pi}^{*}(D\left)\right)$
.
References

T. J. Courant, Dirac Manifolds, Transactions Amer. Math. Soc., 319 (1990), 631661.

T. J. Courant, Tangent Dirac structures, J. Phys. A, 23 (1990), no. 22, 5153 5168.

M. Crainic and R. L. Fernandez, Integrability of Poisson brackets, J. Differential Geom., 66 (2004), 71137.

V. Cruceanu, P. Fortuny and P. M. Gadea, A survey on paracomplex geometry, Rocky Mountain J. of Math., 26 (1996), 133.

M. de Leon, Math. Reviews 1085863 (92d:58064).

J. Grabowski and P. Urbański, Tangent and cotangent lifts and graded Lie algebras associated with Lie algebroids, Ann. Global Analysis Geom., 15 (1997), 447486.

M. Gualtieri, Generalized complex geometry, Oxford University DPhil thesis, 107 pages, arXiv:math.DG/0401221.

Tennison, B. R., Sheaf theory, London Math. Soc. Lecture Notes Series 20, Cambridge Univ. Press, Cambridge, 1975.

I. Vaisman, Lectures on the geometry of Poisson manifolds, Progress in Math., vol. 118, Birkhäuser, Basel, 1994.

I. Vaisman, Dirac submanifolds of Jacobi manifolds. In: The Breadth of Symplectic and Poisson Geometry, Festschrift in Honor of Alan Weinstein (J. E. Marsden and T. Ratiu, eds.), Progress in Math., vol. 232, p. 603622, Birkhäuser, Boston, 2005.

I. Vaisman, Foliation coupling Dirac structures, arXiv:math.SG/0412318.

A. Weinstein, Lagrangian mechanics and grupoids, Mechanics day (Waterloo ON, 1992), Fields Inst. Commun., 7, AMS, Providence, RI, 1996, 207231.

P. Xu, Dirac submanifolds and Poisson involutions, Ann. Sci. Ec. Norm. Sup., 36 (2003), 403430.

K. Yano and S. Ishihara, Tangent and Cotangent Bundles, M. Dekker, Inc., New York, 1973.
Department of Mathematics

University of Haifa, Israel

Email: vaisman@math.haifa.ac.il

Key words and phrases: Complete Lift; Vertical Lift; Dirac Structure;Isotropic Submanifolds; Coisotropic Submanifolds.