Topological and Geometrical Properties of k-Symplectic Structures

Abstract

We study new geometrical and topological aspects of polarized k-symplectic manifolds. In addition, we study the De Rham cohomology groups of the k-symplectic group. In this work, we pay particular attention to the problem of the orientation of polarized k-symplectic manifolds in a way analogous to symplectic manifolds which are all orientable.

1. Introduction

From 1975, the French academician Andre Lichnerowicz defined and studied several generalizations of symplectic manifolds: canonical manifolds, Poisson manifolds, Jacobi manifolds, and locally conforming symplectic manifolds. With regard to the structures related to the differential systems, A. Lichnerowicz pointed out the mechanics of Y. Nambu. In this perspective, the k-symplectic structures have been introduced to give a formalism to the mechanics of Y.Nambu by analogy to the symplectic geometry that constitutes the natural formalism of classical mechanics. With regard to the geometry of polarization, this notion plays an important role in the theory of geometric quantization of Kostant–Souriau; see for example [1]. It was in 1965 that J.M. Souriau gave a rigorous mathematical foundation to the process of quantification of a classical mechanical system: he used a polarization of a symplectic manifold to construct a Hilbert space and to associate, with each observable classical of a mechanical system, a self-adjoint operator on this space [2].

The k-symplectic structures were introduced for the first time by A. Awane [3] (1984) whose goal was to set up a formalism of the mechanics of Y. Nambu [4] in analogy with Hamiltonian mechanics.

A k-symplectic manifold is a triplet $\left(M,\theta ,\mathfrak{F}\right)$ in which M is a differentiable manifold of dimension $n(k+1)$ and $\theta ={\theta }^p\otimes v_p\in {\mathcal{A}}^2\left(M\right)\otimes {\mathbb{R}}^k$ is a closed ${\mathbb{R}}^k$-valued differential 2-form and $\mathfrak{F}$ is an n-codimensional foliation vanishing $\theta$. The fundamental example is given by the Whitney sum $M=T^{*}V\oplus \dots \oplus T^{*}V$ equipped with the vectorial differential 2-form $\theta ={\theta }^p\otimes v_p\in {\mathcal{A}}^2\left(M\right)\otimes {\mathbb{R}}^k$ subordinate to the Liouville 1-form on M, and $\mathfrak{F}$ is defined by the fibration:

$$\pi :T^{*}V\oplus \dots \oplus T^{*}V⟶V.$$

The theorem of Darboux type with respect to k-symplectic structures [5] shows that in the neighborhood of each point of M, we can find a system of local coordinates ${\left(x^{pi},y^i\right)}_{1\le p\le k,1\le i\le n}$ such that

$$\theta =\sum _{p=1}^k\left(\sum _{i=1}^{n}d{x}^{pi}\wedge d{y}^i\right)\otimes v_p$$

(1)

and $\mathfrak{F}$ is defined locally by the equations

$$d{y}^1=0,\dots ,d{y}^n=0.$$

Such a new structure is called a polarized k-symplectic structure.

In the language of G-structures, the pair $\left(\theta ,\mathfrak{F}\right)$ is equivalent to the existence on M of a $Sp\left(k,n;\mathbb{R}\right)$- structure [6], where $Sp(k,n;\mathbb{R})$ is the polarized k-symplectic group.

In this work, we study new geometrical and topological aspects of polarized k-symplectic manifolds. We give some properties of the De Rham cohomology group of the k-symplectic group and its Poincare group in order to highlight new topological properties of polarized k-symplectic geometry with respect to those of symplectic geometry and of the k-symplectic group with respect to the symplectic group, respectively.

It is well known that a symplectic manifold is orientable [2,7]; thus, we pay particular attention to the problem of the orientation of polarized k-symplectic manifolds in an analog way to symplectic manifolds by emphasizing other sides of k-symplectic manifolds.

2. Linear Polarized $\mathit{k}$-Symplectic Structures

Definitions

We denote by $\mathbb{K}$ the field of real numbers $\mathbb{R}$ or the field of complex numbers $\mathbb{C}$. Let $V={\mathbb{K}}^k\mathrm{and}(v{}_1,\cdots ,v_k)$ the canonical basis of V.

Let E be a vector space of dimension $n(k+1)$ over $\mathbb{K}$, F a vector subspace of codimension n of E, and $\theta ={\sum }_{p=1}^k{\theta }^p\otimes v_p$ an exterior 2-form with values in V.

Definition 1

([3,5]). The pair $(\theta ,F)$ is said to be a polarized k-symplectic structure on E if the following conditions are satisfied:

1.

θ is not degenerate for every $x\in E$,$i_x\theta =0⟹x=0$.

2.

F is totally isotropic,

$$\forall x,y\in F,\theta (x,y)=0.$$

We denote by $A\left(\theta \right)$ the subspace associated to the 2-vector form $\theta :$

$$A\left(\theta \right)=\left\{x\in E\mid i\left(x\right)\theta =0\right\},$$

then

• θ is non-degenerate if and only if, $A\left(\theta {}^1\right)\bigcap \cdots \bigcap A\left({\theta }^k\right)=0$;
• F is totally isotropic if and only if, ${\theta }^p(x,y)=0$ for every $x,y\in F$ and $p=1,\dots ,k$.

Example 1.

Let $E={\mathbb{R}}^{n(k+1)},{(e_{pi},e_i)}_{1\le p\le k,1\le i\le n}$ its canonical basis, and (${\omega }^{pi},{\omega }^i{)}_{1\le p\le k,1\le i\le n}$ the dual basis of the canonical basis, and let F be the vector subspace of E generated by the vectors ${\left(e_{pi}\right)}_{1\le p\le k,1\le i\le n}$. For every $p=1,\dots ,k$, we set

$${\theta }^p=\sum _{i=1}^n{\omega }^{pi}\wedge {\omega }^i$$

and $\theta ={\sum }_{p=1}^k{\theta }^p\otimes v_p$.

The pair $(\theta ,F)$ is a polarized k-symplectic structure on E.

Example 2.

Consider k-symplectic vector spaces $(E{}^1,\sigma {}^1),\dots ,(E^k,{\sigma }^k)$ of the same dimension $2n$, and for each $p=1,\dots ,k$, we consider a Lagrangian subspace $L^p$ of $(E^p,{\sigma }^p)$, i.e., a maximal totally isotropic subspace of this space. Each quotient vector space $E^p/L^p$ is of dimension n, and there exists an n-dimensional vector space B and surjective linear maps ${\pi }^p:E^p\to B$ such that $ker{\pi }^p=L^p$ for all $p=1,\dots ,k.$

Consider the product symplectic space, ($E{}^1\times \cdots \times E^k,\sigma )$, where σ is the symplectic form

$$\sigma ((x{}_1,\dots ,x_k),(y{}_1,\dots ,y_k))=\sigma {}^1(x{}_1,y{}_1)+\dots .+{\sigma }^k(x_k,y_k).$$

Let E be the vector subspace of $E{}^1\times \cdots \times E^k$ defined by

$$E=\left\{(x{}_1,\dots ,x_k)\in E{}^1\times \cdots \times E^k\mid \pi {}^1\left(x{}_1\right)=\dots .={\pi }^k\left(x_k\right)\right\}.$$

The linear map $\pi :E⟶B$ such that $\pi (x{}_1,\dots ,x_k)=\pi {}^1\left(x{}_1\right)=\dots .={\pi }^k\left(x_k\right)$ is surjective and verifies $ker\pi =L{}^1\times \cdots \times L^k$. Let $i:E⟶E{}^1\times \cdots \times E^k$ be the canonical injection, and let $\mathrm{pr}{}^p(p=1,\dots ,k)$ be the canonical projection $E{}^1\times \cdots \times E^k⟶E^p$. For all $p(p=1,\dots ,k)$, the composition $p{r}^p\circ i$ is the restriction of $p{r}^p$ to E; it is a surjective linear map. It is clear that the space E is of dimension $n(k+1)$. For all $p=1,\dots k$, we set ${\theta }^p$=$\left(p{r}^p\circ i\right){}^{*}{\sigma }^p$, and $\theta ={\sum }_{p=1}^k{\theta }^p\otimes v_p$. Then $(\theta ,F)$ is a polarized k-symplectic structure on E.

Theorem 1

([5]). If ($\theta ,F$) is polarized k-symplectic structure on E with $\theta ={\sum }_{p=1}^k{\theta }^p\otimes v_p$, then there is a basis ${({\omega }^{pi},{\omega }^i)}_{1\le p\le k,1\le i\le n}$ of $E^{*}$ such that

$${\theta }^p=\sum _{i=1}^n{\omega }^{pi}\wedge {\omega }^i,F=ker\omega {}^1\bigcap \cdots .\bigcap ker\omega {}^n.$$

The basis ${(e_{pi},e_i)}_{1\le p\le k,1\le i\le n}$ of $E$ with the dual basis ${({\omega }^{pi},{\omega }^i)}_{1\le p\le k,1\le i\le n}$ is called a polarized k-symplectic basis on E.

For $k\ge 2$ and $p=1,\dots k$, we take

$$F^p=\bigcap _{l\ne p}A\left({\theta }^l\right).$$

Under the above assumptions and notations, we find the following:

1.

$F=F{}^1\oplus \cdots .\oplus F^k$;

2.

For every $p(p=1,\dots ,k)$, the map $i_p:x\mapsto i\left(x\right)$ defines an isomorphism of vector spaces from $F^p$ to the annihilator $\mathrm{Ann}\left(F\right)$ of F. Recall that $\mathrm{Ann}\left(F\right)$ is formed by the elements f of $E^{*}$ such that $f\left(x\right)=0$, for all $x\in F$. This space is isomorphic to ${(E/F)}^{*}$. If ${(e_{pi},e_i)}_{1\le p\le k,1\le i\le n}$ is a k-symplectic basis of E and ${({\omega }^{pi},{\omega }^i)}_{1\le p\le k,1\le i\le n}$ its dual basis, then $\mathrm{Ann}(F$) is generated by $\omega {}^1,\cdots ,\omega {}^n$, and $F^p$ is generated by the vectors $e_{p1},\cdots .,e_{pn}$.

The sub-spaces $F{}^1,\dots .,F^k$ are called characteristic sub-spaces of the polarized k-symplectic structure. For all $p=1,\dots ,k$, we set

$$G^p=F^p\oplus B$$

and $B=E/F$. We have

$${\theta }^p(x,y+f)={\theta }^p(x,y),$$

for all $x\in F^p$, $y\in E\mathrm{and}f\in F$; then, ${\theta }^p(x,y)$ depends only on the class $\overline{y}$ of y modulo F. This allows us to set

$$\overline{\theta }(x+\overline{y},x^{\prime }+{\overline{y}}^{\prime })={\theta }^p(x,y^{\prime })-{\theta }^p(x^{\prime },y),$$

where ${\overline{\theta }}^p$ defines a symplectic structure on $G^p=F^p\oplus B$.

Let E be a vector space of dimension $n(k+1)$ and $(\theta ,F)$ a polarized k-symplectic structure on E with $\theta ={\sum }_{p=1}^k{\theta }^p\otimes v_p.$

Definition 2

([5]). Let f be an endomorphism of $E.$ We say that f preserves $(\theta ,F)$ if it leaves invariant θ and the subspace F, i.e., if the following conditions are satisfied:

1.

$f\left(F\right)\subseteq F$;

2.

$\forall x,y\in E$, $\theta \left(f\right(x),f(y\left)\right)=\theta (x,y)$, $f^{*}\theta =\theta .y$.

Note that the non-degeneracy of $\theta$ implies that each endomorphism f of E is an automorphism. The automorphisms of E which preserve the polarized k-symplectic structure of E form a group denoted $Sp(k,n;E)$ and called the k-symplectic group of E. Let $Sp(k,n;\mathbb{K})$ the group of matrices of k-symplectic automorphisms of E, expressed on a polarized k-symplectic basis, consist of the matrices of the type

$$\left(\begin{array}{cccc}Q& 0& \cdots 0& S_1\\ 0& \ddots & & ⋮\\ ⋮& \ddots & Q& S_k\\ 0& \cdots & 0& {\left(Q{}^{-}{}^1\right)}^T\end{array}\right)$$

(2)

where $Q,S_1,\dots ,S_k$ are real square matrices of order n with coefficients in $\mathbb{K}$, Q invertible and $Q{S}_p^T=S_p{Q}^T$ for all $p(p=1,\cdots ,k)$. $Sp(k,n;E)$ is a Lie group.

All matrices of type (2) can be simply denoted by

$$\left[\left(Q,S_1,\dots ,S_k\right)\right].$$

The Lie algebra of this group, denoted by $\mathfrak{sp}(k,n;E)$ and which is identified with the tangent space of this group at the identity mapping of E, consists of the endomorphisms u of E such that

$$u\left(F\right)\subseteq F,\theta \left(u\right(x),y)+\theta (x,u(y\left)\right)=0$$

for all $x,y\in E$.

Let $sp(k,n;\mathbb{K})$ be the Lie algebra of the Lie group $Sp(k,n;\mathbb{K})$; it is the Lie algebra of the matrices of the endomorphisms belonging to $\mathfrak{sp}(k,n;E)$ relative to the polarized k-symplectic basis. The elements of $sp(k,n;\mathbb{K})$ are all matrices of the type

$$\left(\begin{array}{cccc}A& 0& \cdots 0& S_1\\ 0& \ddots & & ⋮\\ ⋮& \ddots & A& S_k\\ 0& \cdots & 0& -A^T\end{array}\right)$$

$\mathrm{where}A,S{}_1,\dots .,S_k$ are square matrices of order n with entries in $\mathbb{K}$ such that $S_p^T=S_p$ for all $p(p=1,\dots ,k)$.

We observe the following:

1.

The group $Sp(k,n;E)$ is of dimension $n{}^2+\frac{kn(n+1)}{2}$;

2.

The $k-$symplectic group and its Lie algebra leave invariant the characteristic sub-spaces of the polarized k-symplectic structure;

3.

If $(\theta ,F)$ is a polarized k-symplectic structure on an $n(k+1)$-dimensional vector space with $\theta ={\sum }_{p=1}^k{\theta }^p\otimes v_p$, then the forms $\theta {}^1,\dots ,{\theta }^k$ are of rank $2n$.

In the above assumptions and notations, we consider the space $G^p=F^p\oplus B$, $p=1,\dots ,k,$ endowed with the symplectic structure:

$${\theta }^p(x+y,x^{\prime }+y^{\prime })={\theta }^p(x,y^{\prime })-{\theta }^p(x^{\prime },y),$$

for all $x+y,x^{\prime }+y^{\prime }\in G^p$.

For every $f\in Sp(k,n;E)$, the map

$$f_p:x+y\mapsto f\left(x\right)+f\left(y\right)$$

defines an element of the polarized symplectic group $Sp({\theta }^p,G^p,F^p)$ of the polarized symplectic vector space $(G^p,F^p,{\theta }^p)$.

3. Topological Properties of $\mathit{Sp}(\mathit{k},\mathit{n};\mathit{E})$

We propose here to highlight new topological properties of the polarized k-symplectic geometry compared to those of the symplectic geometry through the k-symplectic and symplectic groups, respectively.

3.1. Symplectic Group

Recall that a symplectic structure on a finite-dimensional vector space E on $\mathbb{K},$ is defined by a non-degenerate exterior 2-form. The vector space E is necessarily even-dimensional. Thus, a symplectic vector space is a pair $(E,\omega )$ in which E is a vector space of dimension $2n$ and ${\omega }^n=\omega \wedge \cdots \wedge \omega$, (n-times), is a volume form on E.

There exists a basis $\mathit{B}=({\mathit{e}}_{\mathbf{1}},\dots ,{\mathit{e}}_{\mathit{n}},{\mathit{e}}_{\mathbf{1}}^{\prime },\dots ,{\mathit{e}}_{\mathit{n}}^{\prime })$ in which the matrix of the 2-form $\omega$ is

$$J=\left(\begin{array}{cc}0& I_n\\ -I_n& 0\end{array}\right),$$

or,

$$\omega =\sum _{i=1}^n{\omega }_i\bigwedge {\omega }_i^{\prime },$$

with $({\omega }_1,\dots ,{\omega }_n,{\omega }_1^{\prime },\dots ,{\omega }_n^{\prime })$ the dual basis of $(e_1,\dots ,e_n,e_1^{\prime },\dots ,e_n^{\prime })$.

The basis B is called the symplectic basis of E.

By virtue of the non-degeneracy of $\omega$, we deduce that, if an endomorphism u of E leaves invariant $\omega$, i.e., if $u^{*}\omega =\omega$, then u is an automorphism of E.

The automorphisms of E that leave $\omega$ invariant form a group denoted $Sp(E,\omega )$ and called the symplectic group of E.

Let $Sp(n,\mathbb{K})$ be the group of matrices of symplectic automorphisms of E expressed on a symplectic basis. Then,

$$Sp(n,\mathbb{K})=\left\{P\in \mathrm{Gl}{}_{2n}\left(\mathbb{K}\right)\mid P^{T}JP=J\right\}.$$

In the case $\mathbb{K}=\mathbb{R}$, $Sp(E,\omega )$ is a Lie group of dimension $n(2n+1)$, and its Lie algebra is denoted by $\mathfrak{sp}(E,\omega )$—it consists of endomorphisms f of E such that

$$\omega \left(f\right(x),y)+\omega (x,f(y\left)\right)=0,$$

for all $x,y\in E$. Let $\mathfrak{sp}(n,\mathbb{R})$ be the Lie algebra of $Sp(n,\mathbb{R})$; then,

$$\mathfrak{sp}(n,\mathbb{R})=\left\{A\in \mathfrak{gl}{}_{2n}\left(\mathbb{R}\right)\mid A^{T}J=-JA\right\}.$$

Let us denote by $O_{2n}\left(\mathbb{R}\right)$ the orthogonal group, $U_n\left(\mathbb{C}\right)$ the group of unitary matrices of order n, and $S{U}_n\left(\mathbb{C}\right)$ the unitary special group:

$$\begin{array}{ccc}{O}_{2n}\left(\mathbb{R}\right)& =& \left\{A\in G{l}_{{}_{2n}}\left(\mathbb{R}\right)\mid A^T=A^{-1}\right\},\\ U_n\left(\mathbb{C}\right)& =& \left\{A\in G{l}_{{}_n}\left(\mathbb{C}\right)\mid {\overline{A}}^T=A^{-1}\right\},\\ S{U}_n\left(\mathbb{C}\right)& =& \left\{A\in U_n\left(\mathbb{C}\right)\mid detA=1\right\}.\end{array}$$

By well-known results on algebraic groups, the $Sp(n,\mathbb{R})$ group is homeomorphic to $(O_{2n}\left(\mathbb{R}\right)\bigcap Sp(n,\mathbb{R}))\times {\mathbb{R}}^m,$ and so

$$Sp(n,\mathbb{R})\simeq (O_{2n}\left(\mathbb{R}\right)\bigcap Sp(n,\mathbb{R}))\times {\mathbb{R}}^m,$$

for a certain natural number m. In addition, it is well known that

$$\begin{array}{ccc}{O}_{2n}\left(\mathbb{R}\right)\bigcap Sp(n,\mathbb{R})& =& \left\{M=\left(\begin{array}{cc}A& -B\\ B& A\end{array}\right)\mid A,B\in \mathfrak{gl}{}_n\left(\mathbb{R}\right)\mathrm{et}M\in O_{2n}\left(\mathbb{R}\right)\right\}\\ & \simeq & U_n\left(\mathbb{C}\right)\end{array}$$

(3)

and therefore,

$$Sp(n,\mathbb{R})\simeq U_n\left(\mathbb{C}\right)\times {\mathbb{R}}^m$$

Therefore, $Sp(n,\mathbb{R})$ and $U_n\left(\mathbb{C}\right)$ have the same topological invariants, so in particular, $Sp(n,\mathbb{R})$ and $U_n\left(\mathbb{C}\right)$ have the same homotopy groups and have the same cohomology groups. In particular,

• $Sp(n,\mathbb{R})$ is connected;
• The Poincare group: $\pi {}_1\left(Sp(n,\mathbb{R})\right)=\mathbb{Z}$;
• De Rham cohomology groups: $H{}^1\left(Sp(n,\mathbb{R})\right)=\mathbb{R}$; $H{}^2\left(Sp(n,\mathbb{R})\right)=\left\{0\right\}$; $H^{n{}^2}$$\left(Sp\right(n,\mathbb{R}\left)\right)=\mathbb{R}$ and $H^p\left(Sp(n,\mathbb{R})\right)=\left\{0\right\}$ for $p>n{}^2$.

Remark 1.

If we look at $U_n\left(\mathbb{C}\right)$, via (2), as a subgroup of $Sp(n,\mathbb{R})$, then the homogeneous space $Sp(n,\mathbb{R})/U_n\left(\mathbb{C}\right)$ is contractile.

3.2. Topological Properties of $Sp(k,n;E)$

We denote by $S_n\left(\mathbb{K}\right)$ the vector space of the symmetric square matrices of order n. The k-symplectic group is

$$\left(\begin{array}{cccc}Q& 0& \cdots 0& S_1\\ 0& \ddots & & ⋮\\ ⋮& \ddots & Q& S_k\\ 0& \cdots & 0& {\left(Q{}^{-}{}^1\right)}^T\end{array}\right)=\left[\left(Q,S_1,\dots ,S_k\right)\right]$$

with $Q\in G{L}_n\left(\mathbb{K}\right),S{}_1,\cdots ,S_k\in \mathfrak{gl}{}_n\left(\mathbb{K}\right)$ and $S_p{Q}^T\in S{}_n\left(\mathbb{K}\right)$.

From this, it is immediately clear that we have

Proposition 1.

The group $Sp(k,n;\mathbb{K})$ is diffeomorphic to $G{L}_n\left(\mathbb{K}\right)\times {\left(S{}_n\left(\mathbb{K}\right)\right)}^k.$

Proof. 

The map

$$\left[\left(Q,S_1,\dots ,S_k\right)\right]⟼(Q,S_1{Q}^T,\dots .,S_k{Q}^T)$$

of $Sp(k,n;\mathbb{K})$ into $G{L}_n\left(\mathbb{K}\right)\times {\left(S{}_n\left(\mathbb{K}\right)\right)}^k$ is a diffeomorphism of $Sp(k,n;\mathbb{K})$ to $G{L}_n\left(\mathbb{K}\right)\times {\left(S{}_n\left(\mathbb{K}\right)\right)}^k$. □

In particular, $Sp(k,n;\mathbb{K})$ is diffeomorphic to $G{L}_n\left(\mathbb{K}\right)\times {\left(S{}_n\left(\mathbb{K}\right)\right)}^k$, and therefore, $Sp(k,n;\mathbb{K})$ is of the same type of homotopy as $G{L}_n\left(\mathbb{K}\right)$.

We have the following cases:

1.

Case $\mathbb{K}=\mathbb{C}$: The polar decomposition and exponential application show that $G{L}_n\left(\mathbb{C}\right)$ is homeomorphic to $U_n\left(\mathbb{C}\right)\times H_n\left(\mathbb{C}\right)$, where

$$H_n\left(\mathbb{C}\right)=\left\{A\in \mathfrak{gl}{}_n\left(\mathbb{C}\right)\mid {\overline{A}}^T=A\right\}$$

the real vector space of Hermitian matrices, so $Sp(k,n;\mathbb{C})$ is of the same homotopy type as $U_n\left(\mathbb{C}\right)$, so it has the same topological properties.

2.

Case $\mathbb{K}=\mathbb{R}$.

(a)

$Sp(k,n;\mathbb{R})$ has two connected components $Sp{}^{+}(k,n;\mathbb{R})$ and $Sp{}^{-}(k,n;\mathbb{R})$, where

$$Sp{}^{+}(k,n;\mathbb{R})=\left\{\left[\left(Q,S_1,\dots ,S_k\right)\right]\in Sp(k,n;\mathbb{R})\mid det\left(Q\right)>0\right\}$$

and

$$S{p}^{-}(k,n;\mathbb{R})=\left\{\left[\left(Q,S_1,\dots ,S_k\right)\right]\in Sp(k,n;\mathbb{R})\mid det\left(Q\right)<0\right\}.$$

(b)

By a similar reasoning to the complex case,

$$G{L}_n\left(\mathbb{R}\right)\simeq O_n\left(\mathbb{R}\right)\text{×}S{}_n\left(\mathbb{R}\right),$$

where $S_n\left(\mathbb{R}\right)$ is the vector space of symmetric real matrices. Therefore, the Poincare group

$${\pi }_1\left(Sp(k,n;\mathbb{R})\right)=\left\{\begin{array}{c}\begin{array}{c}\left\{0\right\}\mathrm{if}n=1\\ \mathbb{Z}\mathrm{if}n=2\\ {\mathbb{Z}}_2\mathrm{if}n\ge 3\end{array}\hfill \end{array}\right.$$

with $\mathbb{Z}{}_2$ is the two-elements group. Therefore, $Sp{}^{+}(k,n;\mathbb{R})$ is simply connected if and only $n=1$ (even contractile).

(c)

Here are some de Rham cohomology groups:

$$H^0\left(Sp(k,n;\mathbb{R})\right)={\mathbb{R}}^2\left(\forall n\in {\mathbb{N}}^{*}\right),$$

and for $n=1$, $n=2$ and $n\ge 3$, we have

• $H^p\left(Sp(k,1;\mathbb{R})\right)=\left\{0\right\}$, $\forall p\ge 1$,
• $H{}^1\left(Sp(k,2;\mathbb{R})\right)=\mathbb{R}{}^2$ and $H^p\left(Sp(k,2;\mathbb{R})\right)=\left\{0\right\},$ $\forall p\ge 2$,
• $H{}^1\left(Sp(k,n;\mathbb{R})\right)=H{}^2\left(Sp(k,n;\mathbb{R})\right)=\left\{0\right\}$, $H^{\left(\right(n(n-1))/2)}\left(Sp(k,n;\mathbb{R})\right)=\mathbb{R}{}^2$ and $H^p\left(Sp(k,n;\mathbb{R})\right)=\left\{0\right\},$ for every $n\ge 3$ and $p>\left(\right(n(n-1))/2)$.

4. $\mathit{k}$-Symplectic Action of $\mathit{Sp}(\mathit{k},\mathit{n};\mathbb{K})$

We identify ${\mathbb{K}}^m$ with ${\mathcal{M}}_{\mathit{m},\mathit{1}}\left(\mathbb{K}\right)$ the space of the column matrices. Consider the natural action of the group $Sp(k,n;\mathbb{K})$ on ${\mathbb{K}}^{nk}\times \left({\mathbb{K}}^n-\left(0_{{\mathbb{K}}^n}\right)\right)$. $S_n\left(\mathbb{K}\right)$ consists of vector space of symmetric matrices with entries in $\mathbb{K}$.

Lemma 1.

Let $X\in {\mathbb{K}}^n-\left(0_{{\mathbb{K}}^n}\right)$, then, the map $A\mapsto AX,$ from $S_n\left(\mathbb{K}\right)$ into ${\mathbb{K}}^n,$ is surjective.

Proof. 

First, let the column vector $X=E_1={\left(1,0,\cdots ,0\right)}^T.$ For each $A\in S{}_n\left(\mathbb{K}\right),$ the column vector $AX$ is the first column of matrix A. As any vector of ${\mathbb{K}}^{\mathrm{n}}$ can be the first column of a symmetric matrix, then this map is surjective.

For any vector $X\in {\mathbb{K}}^n-\left(0_{{\mathbb{K}}^n}\right)$, there is $P\in G{L}_n\left(\mathbb{K}\right)$ such that $PX=E{}_1$. Let $Y\in {\mathbb{K}}^n$; then, there exists a matrix $B\in S{}_n\left(\mathbb{K}\right)$ such that $B{E}_1={\left(P{}^{-}{}^1\right)}^{T}Y$. Then, we obtain $P^{T}BPX=Y$ with $P^{T}BP\in S{}_n\left(\mathbb{K}\right),$ and this proves the result. □

Proposition 2.

$Sp(k,n;\mathbb{K})$acts transitively on${\mathbb{K}}^{nk}\times \left({\mathbb{K}}^n-\left(0_{{\mathbb{K}}^n}\right)\right)$

Proof. 

Let $\xi ={\left(X_1,\dots ,X_k,X\right)}^T$ and ${\xi }^{\prime }={\left(X_1^{\prime },\dots ,X_k^{\prime },X^{\prime }\right)}^T$, with $X_p,X_p^{\prime }\in {\mathbb{K}}^n$ for every $p=1,\dots ,k$ and $X,X^{\prime }\in {\mathbb{K}}^n-\left(0_{{\mathbb{K}}^n}\right)$. We must find.

$M=\left[\left(Q,S_1,\dots ,S_k\right)\right]\in Sp(k,n;\mathbb{K})$ such that $M\xi ={\xi }^{\prime }$. Then we must have, ${\left(Q^{-1}\right)}^{T}X=X^{\prime }$ and $Q{X}_p+S_{p}X=X_p^{\prime }$ for every $p=1,\dots ,k$.

As $X,X^{\prime }\in {\mathbb{K}}^n-\left(0_{{\mathbb{K}}^n}\right),$ then, there exists $P\in G{L}_n\left(\mathbb{K}\right)$ such that $PX=X^{\prime }$. So, we take $Q={\left(P{}^{-}{}^1\right)}^T$. The above lemma justifies the existence of matrices $A_1,\dots ,A_k\in S_n\left(\mathbb{K}\right)$ such that $A_p{\left(Q{}^{-}{}^1\right)}^{T}X=X_p^{\prime }-Q{X}_p$ for each $p=1,\dots ,k$, also, we take $S_p=A_p{\left(Q{}^{-}{}^1\right)}^T.$ □

Corollary 1.

Let $(\theta ,F)$ be a polarized k-symplectic structure on E. The k-symplectic group $S_p(k,n;E)$ acts transitively on E–F.

Corollary 2.

In the case where$\mathbb{K}=$$\mathbb{R}$, we have:

1.

$S{p}^{+}(k,n;\mathbb{R})$acts transitively on${\mathbb{K}}^{nk}\times \left({\mathbb{K}}^n-\left(0_{{\mathbb{K}}^n}\right)\right)$, if $n\ge 2$.

2.

The action of $Sp{}^{+}(1,n;\mathbb{R})$ on ${\mathbb{R}}^k\times {\mathbb{R}}^{*}$, admits two orbits ${\mathbb{R}}^k\times \mathbb{R}{}^{*+}$ and ${\mathbb{R}}^k\times \mathbb{R}{}^{*-}$, if $n=1$.

Proof. 

We denote by $G{L}^{+}\left(\mathbb{R}\right)$ the set of invertible real matrices of positive determinants and we resume the previous proof of the fact that

1.

If $n\ge 2,G{L}^{+}\left(\mathbb{R}\right)$ acts transitively on ${\mathbb{R}}^n-\left\{0\right\}$,

2.

If $n=1$, the action of $GL{}_1{}^{+}\left(\mathbb{R}\right)={\mathbb{R}}^{*+}$ on $\mathbb{R}-\left\{0\right\}$ induces two orbits ${\mathbb{R}}^{*+}$ and ${\mathbb{R}}^{*-}$.

□

5. Non-Orientable Polarized $\mathit{k}$-Symplectic Manifolds

5.1. Polarized k-Symplectic Manifolds

Let M be a differentiable manifold of dimension $n(k+1)$ equipped with a foliation $\mathfrak{F}$ of codimension n and let $\theta \in {\mathcal{A}}^2\left(M\right)\otimes {\mathbb{R}}^{\mathrm{k}}$ be a differential 2-form over M with values in ${\mathbb{R}}^k$. We denote by E the sub-bundle of $TM$ defined by the vectors tangent to the leaves of $\mathfrak{F}$.

Definition 3.

We say that $\left(M,\theta ,\mathfrak{F}\right)$ is a polarized k-symplectic manifold if the following hold:

(i) 

θ is closed ($d\theta =0$);

(ii) 

θ is non degenerate;

(iii) 

$\theta (X,Y)=0$ for every vector field $X,Y$ tangent to $\mathfrak{F}$: $X,Y\in T\left(\mathfrak{F}\right).$

Recall here the theorem of the local model of the Darboux type with respect to polarized k-symplectic structures [5].

Theorem 2.

If $\left(\theta ,E\right)$ is a polarized k-symplectic structure on M with$\theta ={\sum }_{p=1}^k{\theta }^p\otimes v_p$, then around each point $x_0$ of M, there is an open neighborhood U of M containing $x_0$ local coordinates ${(x^{pi},y^i)}_{1\le p\le k,1\le i\le n}$ called adapted, such that the vectorial 2-form θ is represented in U by:

$${\theta }_{\mid U}=\left(\sum _{i=1}^{n}d{x}^{pi}\wedge d{y}^i\right)\otimes v_p,$$

and the sub-bundle $E_{\mid U}$ is defined by the equations $d{y}^1=\dots .=d{y}^n=0.$

The coordinate changes in this atlas are given by

$${\overline{x}}^{pi}=\sum _{j=1}^n\frac{\partial y^j}{\partial {\overline{y}}^i}{x}^{pj}+{\phi }^{pi}\left(y^1;\dots ,y^n\right),{\overline{y}}^i={\overline{y}}^i\left(y^1;\dots ,y^n\right).$$

Equivalently, there is an atlas $\mathfrak{A}$ of M, called the polarized k-symplectic atlas, whose coordinate changes belong to the pseudogroup of local diffeomorphisms of ${\mathbb{R}}^{n(k+1)}$, which is a canonical invariant of a polarized k-symplectic structure.

Definition 4.

A k-symplectomorphism of a k-symplectic manifold $\left(M,\theta ,\mathfrak{F}\right)$ on a k-symplectic manifold $\left(M^{\prime },{\theta }^{\prime },{\mathfrak{F}}^{\prime }\right)$ is a diffeomorphism f of M on $M^{\prime }$ that exchanges the k-symplectic structures $\left(\theta ,\mathfrak{F}\right)$ and $\left({\theta }^{\prime },{\mathfrak{F}}^{\prime }\right)$, i.e., $f^{*}{\theta }^{\prime }=\theta$ and $f\left(\mathfrak{F}\right)={\mathfrak{F}}^{\prime }.$

5.2. Orientation

It is well known that a symplectic manifold $(N,\omega )$ of dimension $2n$ is orientable, because ${\omega }^n$ is a volume form on N.

Let $\left(M,\theta ,\mathfrak{F}\right)$ be a k-symplectic manifold.

Proposition 3.

If k is odd, then M is orientable.

Proof. 

By virtue of the Darboux theorem of the local model for polarized k-symplectic structures [5], we can find an atlas of M whose Jacobian matrices $\underline{U}$ of map changes, belong to $Sp(k,n;\mathbb{R})$, i.e., matrices of the type

$$U=\left(\begin{array}{cccc}Q& 0& \cdots 0& S_1\\ 0& \ddots & & ⋮\\ ⋮& \ddots & Q& S_k\\ 0& \cdots & 0& {\left(Q^{-1}\right)}^T\end{array}\right)=\left[\left(Q,S_1,\dots ,S_k\right)\right],$$

with $Q\in G{L}_n\left(\mathbb{R}\right),S_1,\cdots .,S_k\in {\mathfrak{gl}}_{\mathit{n}}\left(\mathbb{R}\right)$ and $S_p{Q}^T=Q{S}_p^T$, so,

$$\det U={\left(\det Q\right)}^{k-1}>0.$$

□

Suppose that k is even. In this casel the determinants of the two connected components of $Sp(k,n;\mathbb{R})$ have opposite signs.

In the following, we propose to give examples of non-orientable k-symplectic manifolds by studying the quotient covering obtained by discontinuous actions of a group of diffeomorphisms on a k-symplectic manifold.

Let X be a differentiable manifold and G a subgroup of $\mathrm{Diff}\left(X\right)$ the group of diffeomorphisms of X.

Recall that G acts properly and discontinuously without a fixed point on X if the following two properties are satisfied:

1.

For any $x\in X$, there is an open U of X containing x such that for any $g\in G-\left\{i{d}_X\right\}$, $g\left(U\right)\cap U=\varnothing$.

2.

For any $x,y\in X$, such that y is not in the orbit of x, there exists a neighborhood U of x and a neighborhood V of y such that $g\left(U\right)\cap V=\varnothing$ for any $g\in G$.

Theorem 3.

Under the assumptions of the previous definition, there exists on the quotient space $X/G$ of the orbits a single structure of differentiable manifold such that the canonical projection p is a differentiable covering. In this case, the fibers are all isomorphic to G.

Under the conditions of the previous theorem, we find the following:

1.

If X is simply connected, then the Poincare group $\pi {}_1(X/G)$ is isomorphic to G;

2.

Let G be a finite subgroup of $\mathrm{Diff}\left(X\right)$; then, G acts properly discontinuously without a fixed point on X if and only if, for any $g\in G-\left\{i{d}_X\right\}$, g is without a fixed point.

Theorem 4.

If G is a subgroup of the group of k-symplectomorphisms of the polarized k-symplectic manifold $(M,\theta ,\mathfrak{F})$, acting properly and discontinuously without a fixed point on M, then $M/G$ admits a unique structure of polarized k-symplectic manifold such that the covering p is a local k-symplectomorphism.

Proof. 

The structure of the differentiable manifold on $M/G$ defined above admits a polarized k-symplectic structure which is locally defined as an image by the covering p, and this definition is intrinsic since the elements of G preserve the form $\theta$ and the foliation $\mathfrak{F}$. □

Theorem 5.

Let X be a differentiable manifold and G a subgroup of the group $\mathrm{Diff}\left(X\right)$ which acts properly and discontinuously without a fixed point on X.

1. 

If X is orientable and the elements of G preserve an orientation, then the manifold $X/G$ is orientable;

2. 

If X is connected and orientable, then $X/G$ is orientable if and only if the elements of G preserve an orientation.

Proof. 

1. We consider the canonical projection $p:X\to X/G$ and let ${(U_{\alpha },{\varphi }_{\alpha })}_{\alpha \in I}$ be an atlas of X, which defines an orientation preserved by the elements of G, where

$$p_{/U_{\alpha }}:=p_{\alpha }:U_{\alpha }⟶p\left(U_{\alpha }\right)$$

is a diffeomorphism, for each $\alpha \in I$; then, we verify immediately that the atlas $\left(p\left(U_{\alpha }\right),{\varphi }_{\alpha }\circ p_{\alpha }{}^{-}{}^1\right)$${}_{\alpha \in I}$ defines an orientation on $X/G$.

2. Note that, from the connectedness of $X,$ we deduce that if an element of $\mathrm{Diff}\left(X\right)$ conserves an orientation of X, then it preserves any orientation of X. It is a question of showing that if $X/G$ is orientable, then the elements of G preserve an orientation. If $\omega$ is a volume form of $X/G$, then $p^{*}\omega$ is a volume form of X. We suppose there is an element $g\in G$ that does not preserve an orientation; then, there exists $f\in C^{\infty }\left(X\right)$ which takes strictly negative values such that $g^{*}\left[p^{*}\omega \right]=f\left(p^{*}\omega \right)$, but $p\circ g=p$. Therefore, $g^{*}\left[p^{*}\omega \right]={(p\circ g)}^{*}\omega =p^{*}\omega ,$ which is absurd. □

5.3. Non-Orientable Polarized k-Symplectic Manifolds

1.

Let $k,n\in \mathbb{N}.$ For n odd and k even, we consider the space $M={\mathbb{R}}^{n(k+1)}-\left\{0\right\}$ equipped with its standard polarized k-symplectic structure. The set $\left\{id,-id\right\}$ is a subgroup of k-symplectomorphisms. As $M$ is connected and $-id$ does not preserve the orientation, then $\frac{M}{\left\{id,-id\right\}}$ is a non-orientable polarized k-symplectic manifold which is diffeomorphic to $\mathbb{R}\times \mathbb{RP}\left(\mathit{m}\right)$ where $m=nk+n-1$;

2.

We assume that k is even and $n\ge 2$. We consider an invertible diagonal matrix

$$Q=\mathrm{diag}\left({\lambda }^1,\dots ,{\lambda }_n\right)\in G{l}_n\left(\mathbb{R}\right),$$

where, $\lambda {}_1,\dots .,{\lambda }_{n-1}>1$ and ${\lambda }_n<-1$. We take

$$L=\left[\left(Q,0_n,\dots ,0_N\right)\right]\in Sp(k,n;\mathbb{R}).$$

Let $M=\left({\mathbb{R}}^{nk}-\left\{0_{{\mathbb{R}}^{nk}}\right\}\right)$×$\left({\mathbb{R}}^{\mathrm{n}}-\left\{0_{{\mathbb{R}}^n}\right\}\right)$ the standard connected polarized k-symplectic manifold. The subgroup $〈L〉$ generated by L is a subgroup of the group of k-symplectomorphisms that acts properly and discontinuously without a fixed point on M. L does not preserve the orientation, so the quotient $\frac{M}{〈L〉}$ is a non-orientable polarized k-symplectic manifold.

Proposition 4.

Let $S^m$ be the sphere of dimension m and k an odd integer. The sphere$S^{m(k+1)}$does not support any structure of a polarized k-symplectic manifold such that $-id$ is a k-symplectomorphism.

Proof. 

If $-id$ is a k-symplectomorphism, then the projective space $\frac{S^{n(k+1)}}{\left\{id,-id\right\}}$ of even dimension is a polarized k-symplectic manifold where k is odd and therefore orientable, which is absurd, because $-id$ preserves the orientation of $S^m$ only if m is odd. □

6. Conclusions

In this paper, We give some properties of the De Rham cohomology group of the k-symplectic group and its Poincare group in order to highlight new topological properties of polarized k-symplectic geometry with respect to those of symplectic geometry and of the k-symplectic group with respect to the symplectic group, respectively. We have shown that, unlike symplectic manifolds, the polarized k-symplectic manifolds are not all orientable.