Poisson structures whose Poisson diffeomorphism group is not locally path-connected

We build examples of Poisson structure whose Poisson diffeomorphism group is not locally path-connected.

form a C 1 -closed subgroup of the group of all diffeomorphisms. In analogy to Cartan's closed-subgroup theorem for finite-dimensional Lie groups, a natural question is whether Poiss(M, π) is, in some sense, a smooth subgroup of Diff(M ). To simplify the discussion, we consider only the compact case; a convenient setting for dealing with the non-compact case was developed in [KM97]. If M is compact, then Diff(M ) endowed with the C ∞ -topology has the structure of a Fréchet Lie group with Lie algebra the space of all vector fields X(M ) [Ham82,Mil84]. A suitable candidate for the Lie algebra of Poiss(M, π) is formed by the Poisson vector fields: poiss(M, π) := {X ∈ X(M ) : L X (π) = 0} ⊂ X(M ).
Very little is known about whether Poiss(M, π) is a Lie subgroup of Diff(M ), but the answer to this question must depend very much on the nature of the Poisson structure. In the symplectic case, it was proven by Weinstein that the symplectomorphism group is a Lie subgroup, and the local charts were obtained as a consequence of his Lagrangian tubular neighborhood theorem applied to the diagonal in M ×M [Wei71]. For a regular Poisson manifold (M, π), using a foliated version of Weinstein's argument, a Lie group structure can be constructed on the group Fol(M, π) consisting of Poisson diffeomorphisms that send each symplectic leaf to itself [Ryb01] (see also [Ban98] for a more restrictive version of this result). In contrast to the full Poisson diffeomorphism group Poiss(M, π), the subgroup Fol(M, π) is in general not closed (as an example, consider an invariant Poisson structure on the 3-torus with dense leaves). In particular, the natural topology on Fol(M, π) from [Ryb01] can be finer than the C ∞ -topology (compared to [Ban98]). For a Poisson manifold, one can also consider the Lie algebra C ∞ (M ) with the Poisson bracket, or the related Lie algebra Ω 1 cl (M ) of closed 1-forms with the Lie algebroid bracket. For integrable Poisson manifolds, the latter Lie algebra can be integrated to the Lie group of Lagrangian bisections of the symlectic groupoid [Xu97] (see also [SW15] for Lie groups of bisections). This much better behaved group maps into Fol(M, π), and the subgroup corresponding to C ∞ (M ) maps to the group of Hamiltonian diffeomorphisms. In general this map is far from being an isomorphism.
In this note, we construct Poisson structures whose Poisson diffeomorphism group is not locally path-connected, and so it is not a Lie group with the C ∞ -topology. Our first example is compactly supported in a 2-disk, and can be grafted using a local chart on any compact surface. By considering products with other Poisson manifolds, one obtains compact examples in higher dimensions. The second example is a regular Poisson structure given as a family of symplectic structures on a surface, with parameter space a second surface. Also in this case, by applying standard modifications, one can obtain compact regular examples in higher dimensions and co-dimensions. However, we do not know whether there exist co-rank one Poisson structures whose Poisson diffeomorphism group is not locally path-connected. Our examples are not analytic. It would be interesting to investigate whether analytic Poisson structures can have a Poisson diffeomorphism group which is not locally path-connected. Another interesting phenomenon that we observe in our examples is that any neighborhood of the identity intersects an uncountable number of pathcomponents of the Poisson diffeomorphism group; it would be interesting to know whether examples without this feature exist. Finally, it would be interesting to understand whether there are natural topologies on Poiss(M, π) that make it into Lie group with Lie algebra poiss(M, π); for example, a natural candidate is the refinement of the C ∞ -topology obtained by declaring path-connected components to be open.

Acknowledgements
I have learned about the question of whether the Poisson diffeomorphism group is locally path-connected from Rui Loja Fernandes, and I have talked with João Nuno Mestre about this problem and the specific construction presented in the paper. I would like to thank both of them for these useful discussions.

The first example
Let Σ be a compact surface. Fix a closed disk B ⊂ Σ contained in a coordinate chart x = (x 1 , x 2 ) which identifies B with the closed disk of radius 1 around 0. We construct a bivector π on Σ whose support is contained in the interior of B and consists of a disjoint union of disks accumulating at 0. The centers of the disks are arranged on circles of decreasing radii around 0. For each circle, we build a Poisson diffeomorphism which rotates the disks on that circle, and fixes all other disks and the exterior of B. We obtain a sequence of Poisson diffeomorphisms converging to the identity, such that none of its elements can be joined continuously via Poisson diffeomorphisms to the identity. The only cumbersome part of the construction is to fix all coefficients such that everything converges in the C ∞ -topology.
For the analysis involved, we use the notation: for a = (a 1 , a 2 ) ∈ N 2 , let Define the C k -norm of a function f ∈ C ∞ (B) as: The C k -norms extend to vector-valued maps or more general tensors as the maximum of the C k -norms of the components. We fix a smooth function χ : R → [0, 1], which will be used in the construction of the Poisson structure and of the diffeomorphisms, with the following properties: Since we work in dimension two, any smooth bivector field f (x 1 , x 2 )∂ x 1 ∧ ∂ x 2 is a Poisson structure. For p ∈ R 2 and δ > 0, define Note that supp(π p, δ ) = B δ (p). We will construct the Poisson structure as an infinite linear combination of bivectors of the form π p, δ . To ensure convergence, we will use the following: Proof. -We claim that, for any a ∈ N 2 with |a| = k, there is C k > 0 such that For this, one shows inductively that there is are homogeneous polynomials of degree k, denoted p a (x 1 , x 2 ), such that and then one uses the obvious estimate: For k = 0, the statement is obvious. Since the C k -norms are translation-invariant, it suffices to prove the inequalities for π 0, δ . Fix a ∈ N 2 with |a| = k > 0. By the general chain rule, we have: where the sum runs over all decomposition of a into elements a j ∈ N 2 , with |a j | 1. Applying (1.1), we obtain for some constant C a > 0. If |x| < δ/2 we have that χ (i) (|x|/δ) = 0, so all elements vanish. For δ/2 |x|, (1.2) gives the estimate from the statement with C k depending on k and on the norm χ k . For n 4, denote the corners of the regular 2 n -gon lying on the circle of radius 1/n around the origin as follows: p(n, s) := 1 n exp 2πs 2 n i , 1 s 2 n , where we identify R 2 = C, and let δ n := 1 n2 n . The numbers δ n were chosen such that the closed disks B δn (p(n, s)), for distinct s, do not intersect. This follows, because: p(n, s + 1) − p(n, s) = 2 n sin π 2 n > 2 n2 n = 2δ n .
Consider also the closed annuli E n ⊂ F n given by: The following is straightforward:  Using Lemma (1.1), and that the supports of the bivectors involved in the sum are disjoint, we obtain for each k 0 a constant C k > 0, such that π n k C k n k 2 nk n! .
This implies that the series n π n converges uniformly in all C k -norms. Consider the Poisson structure π on Σ given by Next, define φ n ∈ Diff(Σ), n 4, such that φ n | Σ\B = id and for x ∈ B φ n (x) := x · exp 2π 2 n i χ 4n(n|x| − 1) , where we identify R 2 = C.
The following implies that Poiss(Σ, π) is not locally path-connected.
Proposition 1.3. -The diffeomorphisms φ n satisfy the following: (a) φ n preserves E n and φ n | En is the rotation through an angle of 2π 2 n . (b) φ n preserves F n and φ n is supported in F n . (c) φ n ∈ Poiss(Σ, π). (d) There exist no continuous family φ t n ∈ Poiss(Σ, π), 0 t 1, such that φ 0 n = id and φ 1 n = φ n . (e) The sequence φ n converges in all C k -norms to the identity map: Proof. -The properties of χ imply immediately that φ n satisfies (a) and (b). Note that π n is invariant under the rotation through an angle of 2π 2 n . By Lemma 1.2, supp(π n ) ⊂ E n , and so, by (a), (φ n ) * (π n ) = π n . On the other hand, for n = m, also by Lemma 1.2 we have that supp(π m ) ∩ F n = ∅; thus (φ n ) * (π m ) = π m . These properties imply item (c). For item (d), note that, for such a family φ t n , the rank of π along the curve φ t n (p(n, 1)) would have be constant 2, and therefore this curve cannot go out of B δn (p(n, 1)) and reach p(n, 2) = φ n (p(n, 1)). Item (e) is implied by the following lemma.
Using that |e fn(x) | = 1, we obtain the inequality for k = 0: For |a| = k > 0, (1.5) follows from the general chain rule and (1.3): Finally, the inequality from the statement follows from (1.5), by writing and using that because e fn(x) − 1 has support in the disk B 1 (0), on which |D a 1 (x)| 1.
Proof. -Let U be a neighborhood of the identity in Poiss(Σ, π). Then there is > 0 and k 0 such that any φ ∈ Poiss(Σ, π) with supp(φ) ⊂ B and φ − id k < belongs to U. With the notation from Lemma 1.4, let n 4 be such that (1.6) C k n n n 2k 2 n 2 .
Consider any sequence u = {u n } n n , with u n ∈ {0, 1}. Since the supports of the diffeomorphisms φ n are disjoint, using Lemma 1.4, for any m n n , and any l 0 the following holds: This shows that the sequence {φ un n • . . . • φ un n } n n converges to a Poisson diffeomorphism φ u . By (1.6) and (1.7), we have that φ u ∈ U. Consider two different sequences u = v, say u n = 1 and v n = 0, for some n. Then φ u rotates the disks on the circle of radius 1/n and φ v does not. By the argument from the proof of item (d) of Proposition 1.3, this implies that φ u and φ v belong to distinct path-components of Poiss(Σ, π).

The second example
Consider a connected, oriented surface Λ, and let ν be a volume form on Λ. Consider a second compact manifold Σ and a positive smooth function f : Σ → (0, ∞). We endow the product Σ × Λ with the regular Poisson structure π ν,f whose symplectic leaves are {p} × Λ, f (p) ν , p ∈ Σ.
Note that the group of diffeomorphisms of Σ which preserve f , denoted by can be embedded into the group of Poisson diffeomorphisms of π ν,f : Moreover, i has a continuous right inverse, which is a group homomorphism where r(Φ)(p) = q if and only if Φ sends the leaf {p} × Λ to the leaf {q} × Λ. That r(Φ) ∈ Diff(Σ, f ) follows from the fact that Φ preserves the volume of the symplectic leaves. Thus, if we build a function f such that Diff(Σ, f ) is not locally path-connected, then also Poiss(Σ × Λ, π ν, f ) is not locally path connected.
Remark 2.1. -Let us remark that Poiss(Σ×Λ, π ν,f ) is locally path-connected precisely when Diff(Σ, f ) has this property. First note that the Poisson diffeomorphism group is the semi-direct product: where Fol(Σ × Λ, π ν, f ) consists of Poisson diffeomorphisms that send each leaf to itself. This group is a Lie group (hence, locally path-connected) when endowed with the C ∞ -topology; this follows using [Ryb01], and that the foliation is simple.
To obtain an explicit example, we will rely on the work we have done so far. As in the previous section, let Σ be a closed surface, and let B ⊂ Σ a closed disk diffeomorphic to B 1 (0), and write the Poisson structure constructed there as π| B = u(x 1 , x 2 )∂ x 1 ∧ ∂ x 2 . Extend u to Σ by 0 outside of B, and let f = u + 1. It is easy to see that satisfy φ n ∈ Diff(Σ, f ). Also, note that φ n permutes effectively some connected components of the open set {f > 1}, and therefore it cannot be connected to the identity through a continuous path in Diff(Σ, f ). Since lim n → ∞ φ n = id, we obtain that Diff(Σ, f ) is not locally path connected. Clearly, also a version of Corollary 1.5 holds for Diff(Σ, f ). We conclude that any neighborhood of the identity in Poiss(Σ × Λ, π ν, f ) intersects an uncountable number of path-connected components.