Skip to main content

On the Michor–Mumford phenomenon in the infinite dimensional Heisenberg group

Abstract

In the infinite dimensional Heisenberg group, we construct a left invariant weak Riemannian metric that gives a degenerate geodesic distance. The same construction yields a degenerate sub-Riemannian distance. We show how the standard notion of sectional curvature adapts to our framework, but it cannot be defined everywhere and it is unbounded on suitable sequences of planes. The vanishing of the distance precisely occurs along this sequence of planes, so that the degenerate Riemannian distance appears in connection with an unbounded sectional curvature. In the 2005 paper by Michor and Mumford, this phenomenon was first observed in some specific Fréchet manifolds.

Introduction

Geodesic distances naturally appear in the geometry of infinite dimensional manifolds. A new aspect is that they may also vanish on distinct points. In general, the vanishing of the geodesic distance may occur for certain Riemannian metrics, where no special conditions are assumed, namely for weak Riemannian metrics, [1,  Definition 5.2.12]. These metrics are important, since they are the only possible metrics when the manifold is not modelled on a Hilbert space.

Vanishing geodesic (or Riemannian) distances in Fréchet manifolds were first found in [2,3,4] and further examples were studied in [5,6,7,8,9,10]. A simple example of vanishing geodesic distance can be also constructed in a Hilbert manifold, [11]. However, one may still wonder whether replacing a weak Riemannian metric with a left invariant weak Riemannian metric with respect to a Hilbert Lie group structure might give a condition to have positive geodesic distance on distinct points.

The answer to this question does not seem intuitively clear. For instance, we observe that connected, simply connected and commutative Banach Lie groups, equipped with a bi-invariant weak Riemannian metric have positive geodesic distance on distinct points. In short, their geodesic distance is actually a distance. The proof of this fact essentially follows from [12,  Proposition IV.2.7], observing that the exponential mapping is a local Riemannian isometry.

Thus, the question is whether considering a left invariant weak Riemannian metric on a noncommutative, connected and simply connected Banach Lie group may prevent the vanishing of the geodesic distance. Our first result answers this question in the negative.

Theorem 1.1

There exists a left invariant weak Riemannian metric on the infinite dimensional Heisenberg group \(\mathbb {H}\), whose Riemannian distance is not positive on all couples of distinct points.

In analogy with the finite dimensional case, the infinite dimensional Heisenberg group \(\mathbb {H}\) can be defined starting from the Heisenberg Lie algebra, due to the Baker–Campbell–Hausdorff formula. We use \(\ell ^2\times \ell ^2\times {\mathbb {R}}\) to model \(\mathbb {H}\) as a Hilbert manifold, where \(\ell ^2\) denotes the standard linear space of real square-summable sequences. The Lie product associated to \(\mathbb {H}\) is defined in (1). More information on the Lie group \(\mathbb {H}\) is provided in Sect. 2.1.

Sub-Riemannian distances naturally appears also in infinite dimensional manifolds. We mention for instance [13,  Theorem C.2], where strong sub-Riemannian metrics were considered in connection with Wiener spaces, lower bounds on the Ricci curvature and logarithmic Sobolev inequalities. In this case, the space of admissible velocities is strictily contained in the tangent space and we have an a priori smaller family of connecting curves. The possible vanishing of a sub-Riemannian distance between some distinct points of an in infinite dimensional manifold was explicitly mentioned in [14,  Remark 2]. The following theorem seemingly provides a first example of such vanishing phenomenon for an infinite dimensional sub-Riemannian manifold.

Theorem 1.2

There exists a left invariant weak sub-Riemannian metric on the infinite dimensional Heisenberg group \(\mathbb {H}\) such that its associated sub-Riemannian distance is not positive on all couples of distinct points.

The sub-Riemannian metric and the sub-Riemannian distance that we consider on \(\mathbb {H}\) are described in Sect. 2.3. Both Theorem 1.1 and Theorem 1.2 are contained in Theorem 3.3 and their proof rather surprisingly relies on the same sequence of length-minimizing curves. The proof of these results shows that both the Riemannian and sub-Riemannian distance are vanishing between points that have the same projection on the subspace \(\ell ^2\times \ell ^2\times \{0\}\). Remark 3.2 completes the picture, showing that when the projections of two points on \(\ell ^2\times \ell ^2\times \{0\}\) are different, then both their Riemannian and sub-Riemannian distance are positive. In sum, all distinct points with vanishing geodesic distance are characterized.

From another perspective, dealing with a left invariant weak Riemannian metric has the advantage to find the sectional curvature by more manageable formulas. In [3], Michor and Mumford proved that in different Fréchet manifolds with a vanishing geodesic distance the sectional curvature is unbounded. Theorem 1.3 below presents the same phenomenon for the left invariant weak Riemannian metric \(\sigma \) defined in (10), in the infinite dimensional Heisenberg group \(\mathbb {H}\).

From the standard formula for the sectional curvature of Lie groups, see for instance [15] and [16], the sectional curvature of \(\mathbb {H}\) with respect to \(\sigma \) can be defined on “many planes” of the Lie algebra \({{\,\mathrm{Lie}\,}}(\mathbb {H})\). We wish to point out that for general weak Riemannian metrics the existence of the Levi–Civita (and then of the sectional curvature) is not guaranteed a priori. An example of this fact can be found in [17], where more information on the problem is available. We also observe that the “finite dimensional formula” for the sectional curvature through the structure coefficients of \({{\,\mathrm{Lie}\,}}(\mathbb {H})\), [18,  Lemma 1.1], converges on the previous planes to the same sectional curvature obtained by [15,  Theorem 5]. Broadly speaking, we may think of the convergence of the sectional curvature in Milnor’s paper [18] as a computation of the sectional curvature of \(\mathbb {H}\) through a finite dimensional approximation by an orthonormal basis. On the other side, we also observe that this convergence does not hold on all 2-dimensional subspaces of \({{\,\mathrm{Lie}\,}}(\mathbb {H})\), as shown in Remark 4.1.

The next theorem shows that the sectional curvature with respect to the weak Riemannian metric \(\sigma \) is unbounded on a certain sequence of planes.

Theorem 1.3

Let \(\mathbb {H}\) be the infinite dimensional Heisenberg group equipped with the left invariant weak Riemannian metric \(\sigma \). Then there exists two sequences of orthonormal vectors \(a_{1j},a_{2j}\in {{\,\mathrm{Lie}\,}}(\mathbb {H})\) and \(b\in {{\,\mathrm{Lie}\,}}(\mathbb {H})\) with \(j\ge 1\) such that \(K_\sigma (a_{1j},b)=K_\sigma (a_{2j},b)\),

$$\begin{aligned} \lim _{j\rightarrow \infty }K_\sigma (a_{1j},a_{2j})=-\infty \quad \text {and}\quad \lim _{j\rightarrow \infty }K_\sigma (a_{1j},b)=+\infty . \end{aligned}$$

The numbers \(K_\sigma (a_{1j},a_{2j})\) and \(K_\sigma (a_{1j},b)\) are the sectional curvatures of the planes of \({{\,\mathrm{Lie}\,}}(\mathbb {H})\) spanned by the orthonormal bases \((a_{1j},a_{2j})\) and \((a_{1j},b)\).

The proof of this theorem is provided in Sect. 4, where also more information on the vectors \(a_{1j},a_{2j}\) and b can be found. Inspecting the proofs of Theorem 3.3 and Theorem 1.3 another interesting phenomenon appears. The curves whose lengths converge to zero and that connect two distinct points are precisely contained in the span of the planes where the sectional curvature blows-up. We finally mention Proposition 4.2, where we prove that the sectional curvature is unbounded also on some sequences of converging planes.

Preliminary notions

In this section, we present an infinite dimensional version of the classical Heisenberg group equipped with either a Riemannian or a sub-Riemannian structure. The construction is well known and it has connections with different areas of Mathematics.

A short introduction to the infinite dimensional Heisenberg group

We denote by \(\ell ^2\) the linear space of all real and square summable sequences. Its scalar product \(\langle \cdot ,\cdot \rangle \) has the associated norm \(\Vert x\Vert =\sqrt{\sum _{j=1}^\infty x_j^2}\) for any element \(x=\sum _{j=1}^\infty x_je_j\). The set of unit vectors \(\{e_j:j\ge 1\}\) denotes the canonical orthonormal basis of \(\ell ^2\). For each integer \(n\ge 1\), the element \(e_n\) of \(\ell ^2\) has n-th entry equal to 1 and all the others are zero.

We consider \(\ell ^2 \times \ell ^2\times {\mathbb {R}}\) endowed with its standard structure of product of Hilbert spaces and we introduce the continuous and skew-symmetric function

$$\begin{aligned} \beta ( (h_1,h_2), (h_1',h_2') ) = \langle h_1 , h_2'\rangle - \langle h_2 , h_1' \rangle . \end{aligned}$$

defined on \((\ell ^2\times \ell ^2)\times (\ell ^2\times \ell ^2)\). Then we introduce a continuous Lie product on \(\ell ^2\times \ell ^2\times {\mathbb {R}}\):

$$\begin{aligned}{}[(h_1,h_2,\tau ),(h_1',h_2',\tau ')]=2\,\beta ( (h_1,h_2), (h_1',h_2') )\, (0,0,1)\in \ell ^2\times \ell ^2\times {\mathbb {R}}, \end{aligned}$$
(1)

that makes \(\ell ^2\times \ell ^2\times {\mathbb {R}}\) an infinite dimensional Lie algebra. Due to the Baker–Campbell–Hausdorff formula (in short BCH), we equip \(\ell ^2\times \ell ^2\times {\mathbb {R}}\) with a noncommutative and analytic Lie group operation:

$$\begin{aligned} (h_1,h_2,\tau )(h_1',h_2',\tau ')=\big (h_1 + h_1', h_2 + h_2', \tau + \tau ' + \beta ( (h_1,h_2), (h_1',h_2') ) \big )\nonumber \\ \end{aligned}$$
(2)

for all elements \((h_1,h_2,\tau ),(h_1',h_2',\tau ')\in \ell ^2\times \ell ^2\times {\mathbb {R}}\). We denote by \(\mathbb {H}\) the Hilbert Lie group arising from the previous group operation, that is the infinite dimensional Heisenberg group modelled on the Hilbert space \(\ell ^2\times \ell ^2\times {\mathbb {R}}\).

From the viewpoint of Mathematical Physics, the group \(\mathbb {H}\) naturally appears in the theory of representations of infinite dimensional Lie algebras, see [19] and the references therein. In the theory of infinite dimensional Lie groups, \(\mathbb {H}\) can be seen as a special instance of more general BCH-Lie groups. They are infinite dimensional Lie groups with a local exponential mapping that is also a bianalytic diffeomorphism around the origin, [12, 20]. For infinite dimensional nilpotent Lie algebras, the BCH formula defines a global group operation, [21]. This viewpoint was followed in [22] to define infinite dimensional Banach homogeneous groups as suitable direct sums of Banach spaces, equipped with an analytic structure and an everywhere converging BCH formula. In the same work, several examples of Banach homogeneous groups were provided. We mention infinite producs of Engel groups using either \(\ell ^p\) or \(L^p\) spaces, an infinite product of Heisenberg groups modelled on \(\ell ^2\times \ell ^1\) and other analogous analytic constructions.

In relation to the understanding of hypoellipticity in infinite dimensions [23], infinite dimensional Heisenberg-like groups based on a Wiener space, along with their Brownian motion were introduced and studied in [13]. In this connection, also some Ricci curvature lower bounds are obtained, using a left invariant Riemannian metric.

Weak Riemannian metrics on \(\mathbb {H}\)

For each \(p\in \mathbb {H}\), we denote by \(L_p:\mathbb {H}\rightarrow \mathbb {H}\) the left multiplication by p, defined as \(L_p(r)=p\cdot r \) for all \(r\in \mathbb {H}\). The group operation (2) gives a simple formula for the differential of \(L_p\) at a point q, namely

$$\begin{aligned} (dL_p)_q(v) = \lim _{t\rightarrow 0} \frac{L_p(q+tv) - L_p(q)}{t} = (v_1,v_2,v_3+ \langle p_1,v_2 \rangle - \langle p_2 , v_1\rangle ) \end{aligned}$$

for every \(v=(v_1,v_2,v_3) \in T_q\mathbb {H}\), with \(p=(p_1,p_2,\tau )\). Notice that we have identified \(T_q\mathbb {H}\) with \(\mathbb {H}\), using the Hilbert space structure \(\mathbb {H}\). We also notice that our formula for the differential \((dL_p)_q\) does not depend on the point q. We consider a scalar product

$$\begin{aligned} \sigma _0:T_0\mathbb {H}\times T_0\mathbb {H}\rightarrow {\mathbb {R}}\end{aligned}$$

on the tangent space \(T_0\mathbb {H}\) of \(\mathbb {H}\) at the origin, which is continuous with respect to the product topology of \(T_0\mathbb {H}\times T_0\mathbb {H}\).

Then for every \(p \in \mathbb {H}\) and \(v,w \in T_p\mathbb {H}\) the following scalar product

$$\begin{aligned} \sigma _p(v,w) = \sigma _0 \big ((dL_{p^{-1}})_pv , (dL_{p^{-1}})_pw \big ) =\sigma _0 \big (({dL_{-p}})_pv , ({dL_{-p}})_pw \big ) \end{aligned}$$
(3)

defines a left invariant weak Riemannian metric \(\sigma \)on \(\mathbb {H}\). The associated Riemannian norm is denoted by \(\Vert \cdot \Vert _\sigma \).

If for any piecewise smooth curve \(\gamma :[0,1]\rightarrow \mathbb {H}\) we define its Riemannian length as

$$\begin{aligned} \ell _\sigma (\gamma ) = \int _{0}^{1} \left\Vert \dot{\gamma } (t) \right\Vert _\sigma dt, \end{aligned}$$

then the associated geodesic distance \(d: \mathbb {H}\times \mathbb {H}\rightarrow [0,+ \infty )\) between \(p,q\in \mathbb {H}\) is

$$\begin{aligned} d(p,q)=\inf \{ \ell _\sigma (\gamma ): \gamma \text { is a piecewise smooth curve with } \gamma (0)=p, \gamma (1)=q\}.\nonumber \\ \end{aligned}$$
(4)

Clearly d is left invariant, symmetric and it satisfies the triangle inequality.

Weak sub-Riemannian metrics on \(\mathbb {H}\)

Identifying \(\mathbb {H}\) with \(T_0\mathbb {H}\), the set \(\ell ^2 \times \ell ^2 \times \{0\}\) can be seen as a closed subspace of \(T_0\mathbb {H}\), that we denote by \(H_0\mathbb {H}\). We may obtain a left invariant horizontal subbundle, denoted by \(H\mathbb {H}\), introducing the fibers

$$\begin{aligned} H_p\mathbb {H}= (dL_p)_0 (H_0\mathbb {H})\subset T_p\mathbb {H}\end{aligned}$$

for every \(p=(p_1,p_2,\tau )\in \mathbb {H}\). We note that \(v=(v_1,v_2,v_3) \in H_p\mathbb {H}\) if and only if

$$\begin{aligned} (dL_{-p})_p(v) =(v_1,v_2, v_3 - \langle p_1,v_2 \rangle + \langle p_2 , v_1\rangle ) \in H_0\mathbb {H}\end{aligned}$$
(5)

and the previous condition corresponds to the equality

$$\begin{aligned} v_3 - \langle p_1,v_2 \rangle + \langle p_2 , v_1\rangle =0. \end{aligned}$$

We have a precise formula to define the horizontal curves associated to \(H\mathbb {H}\). They are continuous and piecewise smooth curves \(\gamma :[0,1] \rightarrow \mathbb {H}\) of the form \(\gamma =(\gamma _1,\gamma _2,\gamma _3)\in \mathbb {H}\), such that for almost every \(t \in [0,1]\) we have

$$\begin{aligned} \dot{\gamma }_3(t) - \langle \gamma _1(t),\dot{\gamma }_2(t) \rangle + \langle \gamma _2(t) , \dot{\gamma }_1(t)\rangle = 0. \end{aligned}$$

The previous differential constraint means that \(\dot{\gamma }(t) \in H_{\gamma (t)}\mathbb {H}\).

On the horizontal fibers \(H_p\mathbb {H}\) of \(H\mathbb {H}\) we can fix a scalar product. A left invariant weak sub-Riemannian metric g on \(H\mathbb {H}\) is defined by a continuous inner product

$$\begin{aligned} g_0:H_0\mathbb {H}\times H_0\mathbb {H}\rightarrow {\mathbb {R}}, \end{aligned}$$

so that for all \(p \in \mathbb {H}\) and \(v,w \in H_p\mathbb {H}\) we have

$$\begin{aligned} g_p(v,w) = g_0 \big ((dL_{p^{-1}})_pv , (dL_{p^{-1}})_pw \big ) = g_0 \big (({dL_{-p}})_pv , ({dL_{-p}})_pw \big ). \end{aligned}$$
(6)

The associated sub-Riemannian norm is denoted by \(\Vert \cdot \Vert _g\) and the length of a horizontal curve \(\gamma :[0,1] \rightarrow \mathbb {H}\) is defined by

$$\begin{aligned} \ell _g(\gamma ) = \int _{0}^{1} \left\Vert \dot{\gamma } (t) \right\Vert _g dt. \end{aligned}$$

For any couple of points in \(\mathbb {H}\), it is easy to construct a piecewise smooth horizontal curve that connects them, hence the following sub-Riemannian distance

$$\begin{aligned} \rho (p,q)=\inf \{ \ell _g(\gamma ): \gamma \text { is a horizontal curve with } \gamma (0)=p, \gamma (1)=q\} \end{aligned}$$
(7)

is finite for every couple of points \(p,q\in \mathbb {H}\), hence we have \(\rho : \mathbb {H}\times \mathbb {H}\rightarrow [0,+ \infty )\). One immediately notices that \(\rho \) is left invariant, symmetric and it satisfies the triangle inequality.

Degenerate geodesic distances in the infinite dimensional Heisenberg group

This section is devoted to the construction of special left invariant weak Riemannian and sub-Riemannian metrics that yield degenerate geodesic distances.

We introduce the linear and continuous operator \(A:\ell ^2 \rightarrow \ell ^2\), which associates to each \(x\in \ell ^2\) of components \((x_k)_{k\ge 1}\) the element \(Ax \in \ell ^2\), whose k-th component is \((Ax)_k= x_k/k\). Then we define the scalar product \(\eta : \ell ^2 \times \ell ^2 \rightarrow {\mathbb {R}}\) as

$$\begin{aligned} \eta (v,w)= \langle Av,w \rangle \end{aligned}$$

for all \(v,w\in \ell ^2\) and its associated norm

$$\begin{aligned} \Vert v\Vert _\eta =\sqrt{\eta (v,v)}=\sqrt{\langle Av,v\rangle }. \end{aligned}$$
(8)

We use \(\eta \) to define the new scalar product

$$\begin{aligned} g_0((v_1,v_2),(w_1,w_2)) = \eta (v_1,w_1) + \eta (v_2,w_2) \end{aligned}$$
(9)

for every \((v_1,v_2),(w_1,w_2)\in \ell ^2\times \ell ^2\). By our identification, \(g_0\) can be seen as a scalar product on \(H_0\mathbb {H}\), so that using (6) we obtain a left invariant weak sub-Riemannian metric g on \(\mathbb {H}\). We follow the notation of the previous section, denoting by \(\rho \) the special sub-Riemannian distance associated to this choice of g through formula (7).

To obtain a left invariant weak Riemannian metric \(\sigma \) on \(\mathbb {H}\), we extend \(g_0\) as follows

$$\begin{aligned} \sigma _0((v_1,v_2,v_3),(w_1,w_2,w_3)=g_0((v_1,v_2),(w_1,w_2))+v_3w_3 \end{aligned}$$
(10)

for every \((v_1,v_2,v_3),(w_1,w_2,w_3)\in T_0\mathbb {H}\), where \(\sigma _0:T_0\mathbb {H}\times T_0\mathbb {H}\rightarrow {\mathbb {R}}\). From (3), the scalar product in (10) immediately defines a left invariant weak Riemannian metric \(\sigma \) on \(\mathbb {H}\). The Riemannian distance associated to \(\sigma \) through (4) will be denoted by d.

Remark 3.1

Let us consider the sub-Riemannian metric g, the Riemannian metric \(\sigma \) and their associated geodesic distances d and \(\rho \) defined above (the Riemannian distance and the sub-Riemannian distance, respectively). The family of piecewise smooth curves connecting two points also contains the horizontal curves connecting the same points. Since the restriction of \(\sigma \) to the horizontal subbundle \(H\mathbb {H}\) coincides with g, the infimum defining d is taken over a larger family, hence \(d\le \rho \).

Remark 3.2

It is easy to notice that both d and \(\rho \) are not everywhere vanishing on \(\mathbb {H}\). We consider \((p_1,p_2,\tau ), (q_1,q_2,s)\in \mathbb {H}\) with \((p_1,p_2) \ne (q_1,q_2)\) and we choose any piecewise smooth curve \(\gamma =(\gamma _1,\gamma _2,\gamma _3):[0,1] \rightarrow \mathbb {H}\) with \(\gamma (0)=(p_1,p_2,\tau )\) and \(\gamma (1)=(q_1,q_2,s)\). Let \(i_0\in \{1,2\}\) be such that \(p_{i_0}\ne q_{i_0}\) and let \(k_0\ge 1\) such that \(p_{i_0k_0}\ne q_{i_0k_0}\), where

$$\begin{aligned} p_{i_0}=\sum _{j=1}^\infty p_{i_0j}e_j\quad \text {and}\quad q_{i_0}=\sum _{j=1}^\infty q_{i_0j}e_j. \end{aligned}$$

We consider the component \(\gamma _{i_0}=\sum _{j=1}^\infty \gamma _{i_0j}e_j\) and the following inequalities

$$\begin{aligned} \begin{aligned} \ell _\sigma (\gamma )&\ge \int _{0}^{1} \sqrt{ \left\Vert \dot{\gamma }_1\right\Vert _\eta ^2 + \left\Vert \dot{\gamma }_2\right\Vert _\eta ^2 } dt \\&\ge \int _{0}^{1} \left\Vert \dot{\gamma }_{i_0}\right\Vert _\eta dt \ge \int _{0}^{1} \frac{|\dot{\gamma }_{i_0k_0}|}{\sqrt{k}_0} dt\ge \frac{|p_{i_0k_0} - q_{i_0k_0}|}{\sqrt{k_0}}>0. \end{aligned} \end{aligned}$$

In particular, we have shown that

$$\begin{aligned} 0<\frac{|p_{i_0k_0} - q_{i_0k_0}|}{\sqrt{k_0}}\le d((p_1,p_2,\tau ),(q_1,q_2,s)) \le \rho ((p_1,p_2,\tau ),(q_1,q_2,s)). \end{aligned}$$

The previous computation also shows that both d and \(\rho \) are actually distances, if restricted to any hyperplane \(\ell ^2 \times \ell ^2 \times \{\kappa \}\) with \(\kappa \in {\mathbb {R}}\).

We are now in a position to prove the following theorem.

Theorem 3.3

There exist a left invariant weak sub-Riemannian metric and a left invariant weak Riemannian metric on \(\mathbb {H}\) such that their associated geodesic distances are not positive on all couples of distinct points.

Proof

For each \(p \in \mathbb {H}\), we denote the norm of a horizontal vector

$$\begin{aligned} v=(v_1,v_2,v_3) \in H_p\mathbb {H}\end{aligned}$$

with respect to g as follows

$$\begin{aligned} \left\Vert v\right\Vert _{g} = \left\Vert (dL_{-p})_pv\right\Vert _{g} = \left\Vert (v_1,v_2,0)\right\Vert _{g}, \end{aligned}$$
(11)

where the last equality is due to (5) and \((v_1,v_2,0)\) is identified with a vector of \(H_0\mathbb {H}\).

Since the subspaces \(\ell ^2 \times \{0\} \times \{0\}\) and \(\{0\} \times \ell ^2 \times \{0\}\) of \(H_0\mathbb {H}\) are orthogonal with respect to \(g_0\), the previous equalities give

$$\begin{aligned} \left\Vert v\right\Vert ^2_{g} = \left\Vert v_1\right\Vert _\eta ^2 + \left\Vert v_2\right\Vert _\eta ^2, \end{aligned}$$

where \(\Vert \cdot \Vert _\eta \) is defined in (8). Thus, the length of a horizontal curve \(\gamma :[0,1] \rightarrow \mathbb {H}\) with respect to g satisfies the formula

$$\begin{aligned} \ell _g(\gamma ) =\int _{0}^{1} \sqrt{ \left\Vert \dot{\gamma }_1\right\Vert _\eta ^2 + \left\Vert \dot{\gamma }_2\right\Vert _\eta ^2 } dt, \end{aligned}$$
(12)

where \(\gamma (t)= (\gamma _1(t), \gamma _2(t), \gamma _3(t))\).

Next, we wish to show that whenever \((p_1,p_2,s_1), (p_1,p_2,s_2)\in \mathbb {H}\), then

$$\begin{aligned} \rho ((p_1,p_2,s_1), (p_1,p_2,s_2))=0. \end{aligned}$$
(13)

To do this, the main point is to prove that for all \(s >0\), we have \(\rho ((0,0,0), (0,0,s))=0\). We will construct a sequence of horizontal curves connecting (0, 0, 0) to (0, 0, s), whose length converges to zero. Such sequence is obtained by gluing different sequences of horizontal curves. We fix \(c >0\) and consider \(\gamma ^n:[0,1] \rightarrow \mathbb {H}\) defined by

$$\begin{aligned} \gamma ^n(t)= (\gamma _1^n(t), \gamma _2^n(t), \gamma _3^n(t)) = \Big (\frac{t^2}{2}c e_n , -te_nc, \frac{t^3}{6} c^2\Big ), \end{aligned}$$

where the unit vector \(e_n\) is the n-th vector of the fixed orthonormal basis \(\{e_j:j\ge 1\}\) of \(\ell ^2\). By definition (8), we get

$$\begin{aligned} \left\Vert \dot{\gamma }^n_1(t)\right\Vert _\eta ^2 = \frac{t^2 c^2}{n} \quad \text {and}\quad \left\Vert \dot{\gamma }^n_2(t)\right\Vert _\eta ^2 = \frac{c^2}{n}. \end{aligned}$$
(14)

From the form of \(\gamma ^n\), it is immediate to check that the differential constraint

$$\begin{aligned} \dot{\gamma }_3^n - \langle \gamma _1^n,\dot{\gamma }_2^n \rangle + \langle \gamma _2^n , \dot{\gamma }_1^n\rangle = 0 \end{aligned}$$

is satisfied for all \(t\in [0,1]\), hence \(\gamma _n\) is horizontal. Thus, formula (12) holds and the expressions of (14) immediately prove that \(\ell _g(\gamma ^n)\rightarrow 0\) as \(n\rightarrow +\infty \).

Now we define the sequence of curves \(\alpha ^n:[0,1] \rightarrow \mathbb {H}\) as

$$\begin{aligned} \alpha ^n(t)= & {} (\alpha _1^n(t),\alpha _2^n(t),\alpha _3^n(t))\\= & {} \left( c\bigg (\frac{1}{2}-\frac{t^2}{2}\bigg )e_n , c(t-1) e_n , c^2 \bigg (\frac{1}{6} + \frac{t^3}{6} - \frac{t^2}{2} + \frac{t}{2}\bigg )\right) . \end{aligned}$$

We immediately obtain

$$\begin{aligned} \left\Vert \dot{\alpha }^n_1(t)\right\Vert _\eta ^2 = \frac{t^2 c^2}{n}\quad \text {and} \quad \left\Vert \dot{\alpha }^n_2(t)\right\Vert _\eta ^2 = \frac{c^2}{n} \end{aligned}$$
(15)

and the differential constraint

$$\begin{aligned} \dot{\alpha }_3^n - \langle \alpha ^n_1,\dot{\alpha }_2^n \rangle + \langle \alpha ^n_2 , \dot{\alpha }_1^n\rangle = 0 \end{aligned}$$

is satisfied for all \(t\in [0,1]\). All curves \(\alpha ^n\) are horizontal, hence combining (12) and (15), we conclude that \(\ell _g(\alpha ^n)\rightarrow 0\) as \(n \rightarrow +\infty \). We note that

$$\begin{aligned} \alpha ^n(0)=\left( \frac{c}{2} e_n , -ce_n, \frac{c^2}{6} \right) = \gamma ^n(1) \end{aligned}$$

for all \(n \in {\mathbb {N}}\), hence we can consider the gluing \(\alpha ^n *\gamma ^n:[0,1] \rightarrow \mathbb {H}\) of \(\alpha ^n\) and \(\gamma ^n\), that is a piecewise smooth curve. Clearly \(\alpha ^n*\gamma ^n\) is a horizontal curve and for all \(n \in {\mathbb {N}}\) we have

$$\begin{aligned} \alpha ^n *\gamma ^n(0)= \gamma ^n(0)=(0,0,0)\quad \text {and}\quad \alpha ^n *\gamma ^n(1)= \alpha ^n(1)=\left( 0,0,\frac{c^2}{3}\right) \end{aligned}$$

and \(\ell _g(\alpha ^n *\gamma ^n) = \ell _g(\alpha ^n) + \ell _g(\gamma ^n) \rightarrow 0\) as \(n\rightarrow \infty \). We have proved that

$$\begin{aligned} \rho \,\bigg (\big (0,0,0\big ),\bigg (0,0,\frac{c^2}{3}\bigg )\bigg )=0, \end{aligned}$$

hence \(\rho ((0,0,0),(0,0,s))=0\) for all \(s>0\). By the left invariance of \(\rho \), we have

$$\begin{aligned} \rho ((0,0,0),(0,0,-s)) = \rho ((0,0,s),(0,0,0))=0, \end{aligned}$$

therefore \(\rho ((0,0,0),(0,0,t))=0\) for every \(t\in {\mathbb {R}}\). We conclude that

$$\begin{aligned} \begin{aligned} \rho ((p_1,p_2,s_1), (p_1,p_2,s_2))&= \rho ( (p_1,p_2,0)(0,0,s_1),(p_1,p_2,0)(0,0,s_2) ) \\&= \rho ((0,0,s_1),(0,0,s_2)) \\&=\rho ((0,0,0),(0,0,s_2-s_1))=0, \end{aligned} \end{aligned}$$

that proves (13). According to Remark 3.1, the inequality \(d\le \rho \) implies that for all \((p_1,p_2,s_1), (p_1,p_2,s_2)\in \mathbb {H}\), we have

$$\begin{aligned} d((p_1,p_2,s_1), (p_1,p_2,s_2))=0. \end{aligned}$$
(16)

This concludes the proof. \(\square \)

On the sectional curvature of a weak Riemannian Heisenberg group

In this section, we study the sectional curvature of \(\mathbb {H}\) equipped with a specific left invariant weak Riemannian metric. Following Sect. 3, we define the unique left invariant weak Riemannian metric \(\sigma \), such that

$$\begin{aligned} \sigma _0((v_1,v_2,v_3),(w_1,w_2,w_3))=g_0((v_1,v_2),(w_1,w_2))+v_3w_3 \end{aligned}$$

for \((v_1,v_2,v_3),(w_1,w_2,w_3)\in T_0\mathbb {H}\), according to (10). We recall the formula

$$\begin{aligned} g_0((v_1,v_2),(w_1,w_2)) =\eta (v_1,w_1)+\eta (v_2,w_2) =\langle Av_1,w_1\rangle + \langle Av_2,w_2\rangle \end{aligned}$$

and \(Ax=\sum _{k=1}^\infty x_k/k\), \(x=\sum _{k=1}^\infty x_ke_k\in \ell ^2\). For every positive integer j, we use the notation

$$\begin{aligned} e^1_j=(e_j,0,0),\quad e^2_j=(0,e_j,0)\quad \text {and} \quad e^3=(0,0,1), \end{aligned}$$

to indicate the standard orthonormal basis of \(\mathbb {H}\) seen as the Hilbert space \(\ell ^2\times \ell ^2\times {\mathbb {R}}\).

One easily realizes that the natural linear isomorphism between \({{\,\mathrm{Lie}\,}}(\mathbb {H})\) and \(\mathbb {H}\) is also an isomorphism of Lie algebras, where we equip \(\mathbb {H}\) with the Lie product (1). Thus, by slight abuse of notation, the left invariant vector fields of \({{\,\mathrm{Lie}\,}}(\mathbb {H})\) isomorphically associated with the basis \(e^1_j,e^2_j,e^3\) are denoted by the same symbols. It follows that for all \(i,j\ge 1\) and \(l=1,2\) we have

$$\begin{aligned}{}[e^1_i,e^2_j]=2\delta _{ij} e^3\quad \text {and}\quad [e^l_i,e^l_j]=0, \end{aligned}$$
(17)

where \(e^1_i,e^1_j,e^3\) are now understood as left invariant vector fields of \({{\,\mathrm{Lie}\,}}(\mathbb {H})\).

Now we consider a left invariant weak Riemannian metric \(\upsilon \) on \(\mathbb {H}\). The associated scalar product on \({{\,\mathrm{Lie}\,}}(\mathbb {H})\) is denoted by \(\left\langle \cdot ,\cdot \right\rangle _\upsilon \). We consider two orthonomal vectors \(X,Y\in {{\,\mathrm{Lie}\,}}(\mathbb {H})\) with respect to \(\left\langle \cdot ,\cdot \right\rangle _\upsilon \). By virtue of [15,  Theorem 5], the sectional curvature \(K_\upsilon (X,Y)\) of the plane in \({{\,\mathrm{Lie}\,}}(\mathbb {H})\) spanned by X and Y can be obtained by the adjoint operator \({{\,\mathrm{ad}\,}}(Y)^\top (X)\), that we now introduce. We define \({{\,\mathrm{ad}\,}}(Y)(Z)=[Y,Z]\) and consider (in case it exists) the unique vector \({{\,\mathrm{ad}\,}}(Y)^\top (X)\in {{\,\mathrm{Lie}\,}}(\mathbb {H})\) that satisfies the equalities

$$\begin{aligned} \left\langle [Y,Z],X \right\rangle _\upsilon =\left\langle {{\,\mathrm{ad}\,}}(Y)(Z),X \right\rangle _\upsilon =\left\langle Z,{{\,\mathrm{ad}\,}}(Y)^\top (X) \right\rangle _\upsilon \end{aligned}$$
(18)

for every \(Z\in {{\,\mathrm{Lie}\,}}(\mathbb {H})\). Then we define

$$\begin{aligned} B_\upsilon (X,Y)={{\,\mathrm{ad}\,}}(Y)^\top (X) \in {{\,\mathrm{Lie}\,}}(\mathbb {H}). \end{aligned}$$
(19)

In the case \(\upsilon \) is a strong Riemannian metric, [1,  Definition 5.2.12], the existence of \(B_\upsilon (X,Y)\) is always ensured, but not for any weak Riemannian metric. For instance, in Remark 4.1 below, we show the nonexistence of \(B_\sigma (X,Y)\) for a specific choice of X and Y, where \(\sigma \) is the weak Riemannian metric introduced at the beginning of this section.

From formula (53) of [15], we have

$$\begin{aligned} K_\upsilon (X,Y)=\left\langle \delta ,\delta \right\rangle _\upsilon +2\left\langle \alpha ,\beta \right\rangle _\upsilon -3\left\langle \alpha ,\alpha \right\rangle _\upsilon -4\left\langle B_X,B_Y \right\rangle _\upsilon , \end{aligned}$$
(20)

where we define

$$\begin{aligned} \delta&=\frac{1}{2}\left( B_\upsilon (X,Y)+B_\upsilon (Y,X) \right) ,\quad \beta =\frac{1}{2}\left( B_\upsilon (X,Y)-B_\upsilon (Y,X) \right) , \quad \nonumber \\ \alpha&=\frac{1}{2}[X,Y] \end{aligned}$$
(21)
$$\begin{aligned} B_X&=\frac{1}{2}B_\upsilon (X,X)\quad \text {and}\quad B_Y=\frac{1}{2}B_\upsilon (Y,Y). \end{aligned}$$
(22)

The proof of Theorem 1.3 follows from the application of (20) with respect to \(\sigma \) on suitable choices of planes. We denote by \(\left\langle \cdot ,\cdot \right\rangle _\sigma \) the scalar product in \({{\,\mathrm{Lie}\,}}(\mathbb {H})\) induced by the left invariant weak Riemannian metric \(\sigma \). The associated norm on \({{\,\mathrm{Lie}\,}}(\mathbb {H})\) is denoted by \(\Vert \cdot \Vert _\sigma \). We assume that for \(X,Y\in {{\,\mathrm{Lie}\,}}(\mathbb {H})\) the adjoint

$$\begin{aligned} B_\sigma (X,Y)={{\,\mathrm{ad}\,}}(Y)^\top (X) \end{aligned}$$

with respect to \(\sigma \) exists. In this case, its scalar product with a vector \(Z\in {{\,\mathrm{Lie}\,}}(\mathbb {H})\) is assigned by the following formula

$$\begin{aligned} \left\langle {{\,\mathrm{ad}\,}}(Y)^\top (X),Z \right\rangle _\sigma =\left\langle [Y,Z],X \right\rangle _\sigma = 2\beta (\pi (Y),\pi (Z)) x^3, \end{aligned}$$
(23)

as a consequence of (1), where \(\pi :\mathbb {H}\rightarrow \ell ^2\times \ell ^2\) is the canonical projection defined by

$$\begin{aligned} X=(\pi (X),x^3)=(\pi (X),0)+x^3e^3. \end{aligned}$$

We use the fixed orthonormal basis \(e^1_j,e^2_j,e^3\) of \(\mathbb {H}\) with respect to the standard Hilbert product of \(\ell ^2\times \ell ^2\times {\mathbb {R}}\), getting

$$\begin{aligned} {{\,\mathrm{ad}\,}}(Y)^\top (X)=\sum _{j=1}^\infty [{{\,\mathrm{ad}\,}}(Y)^\top (X)]^1_j e^1_j+ \sum _{j=1}^\infty [{{\,\mathrm{ad}\,}}(Y)^\top (X)]^2_j e^2_j+[{{\,\mathrm{ad}\,}}(Y)^\top (X)]^3e^3. \end{aligned}$$

Formula (23) yields

$$\begin{aligned}&\sum _{j=1}^\infty \frac{1}{j}[{{\,\mathrm{ad}\,}}(Y)^\top (X)]^1_j Z^1_j+ \sum _{j=1}^\infty \frac{1}{j}[{{\,\mathrm{ad}\,}}(Y)^\top (X)]^2_j Z^2_j+[{{\,\mathrm{ad}\,}}(Y)^\top (X)]^3Z^3\nonumber \\&\quad =2\beta (\pi (Y),\pi (Z))x^3 \end{aligned}$$
(24)

for arbitrary \(Z=Z^3e^3+\sum _{j=1}^\infty Z^1_je^1_j+Z^2_je^2_j\). In the case \(X=\pi (X)\), formula (24) shows the existence of \({{\,\mathrm{ad}\,}}(Y)^\top (\pi (X))\) and yields

$$\begin{aligned} B_\sigma (\pi (X),Y)={{\,\mathrm{ad}\,}}(Y)^\top (\pi (X))=0. \end{aligned}$$
(25)

In the case \(X=e^3\), again (24) for \(Z=e^1_j\) and \(Z=e^2_j\) respectively, gives

$$\begin{aligned}{}[{{\,\mathrm{ad}\,}}(Y)^\top (e^3)]^1_j=2j\beta (\pi (Y),e^1_j)\quad \text {and} \quad [{{\,\mathrm{ad}\,}}(Y)^\top (e^3)]^2_j=2j\beta (\pi (Y),e^2_j). \end{aligned}$$
(26)

For \(Z=e^3\), applying (24) we get

$$\begin{aligned}{}[{{\,\mathrm{ad}\,}}(Y)^\top (e^3)]^3=0. \end{aligned}$$
(27)

Assuming the existence of \({{\,\mathrm{ad}\,}}(Y)^\top (e^3)\), we have shown that

$$\begin{aligned} B_\sigma (e^3,Y)={{\,\mathrm{ad}\,}}(Y)^\top (e^3)=2\sum _{j=1}^\infty j\beta (\pi (Y),e^1_j)e^1_j +2 \sum _{j=1}^\infty j\beta (\pi (Y),e^2_j)e^2_j. \end{aligned}$$

Writing \(Y=Y^3e^3+\sum _{j=1}^\infty (Y^1_j e^1_j+Y^2_je^2_j)\), we finally get

$$\begin{aligned} B_\sigma (e^3,Y)=2\sum _{j=1}^\infty j(Y^1_je^2_j-Y^2_je^1_j). \end{aligned}$$
(28)

Then the assumption about the existence of \(B_\sigma (e^3,Y)\) corresponds to the convergence of its series. The next remark shows a choice of Y for which the series (28) does not converge.

Remark 4.1

If we consider the vector

$$\begin{aligned} W=\sum _{j=1}^\infty \frac{e^1_j}{j}\in {{\,\mathrm{Lie}\,}}(\mathbb {H}), \end{aligned}$$
(29)

then it is easy to check that the series (28) representing \(B_\sigma (e^3,W)\) does not converge. As a consequence, the adjoint \({{\,\mathrm{ad}\,}}(W)^\top (e^3)\) cannot be defined. In addition, Arnold’s formula (20) for the sectional curvature of the plane \({{\,\mathrm{span}\,}}\left\{ W,e^3 \right\} \) does not apply.

Proposition 4.2

We consider the orthonormal elements \(W_k,e^3\in {{\,\mathrm{Lie}\,}}(\mathbb {H})\) with \(k\ge 1\) and

$$\begin{aligned} W_k=\left( \sum _{j=1}^kj^{-3} \right) ^{-1/2}\sum _{j=1}^k\frac{e^1_j}{j}\in {{\,\mathrm{Lie}\,}}(\mathbb {H}). \end{aligned}$$

As the subspace \({{\,\mathrm{span}\,}}\left\{ W_k,e^3 \right\} \) converges to \({{\,\mathrm{span}\,}}\{W_\infty ,e^3\}\) for \(k\rightarrow \infty \), with

$$\begin{aligned} W_\infty =\left( \sum _{j=1}^\infty j^{-3} \right) ^{-1/2}\sum _{j=1}^\infty \frac{e^1_j}{j}\in {{\,\mathrm{Lie}\,}}(\mathbb {H}), \end{aligned}$$
(30)

it follows that

$$\begin{aligned} K_\sigma (W_k,e^3)\rightarrow +\infty . \end{aligned}$$
(31)

The convergence of \({{\,\mathrm{span}\,}}\left\{ W_k,e^3 \right\} \) to \({{\,\mathrm{span}\,}}\{W_\infty ,e^3\}\) is considered in the Grassmannian of the 2-dimensional planes contained in \({{\,\mathrm{Lie}\,}}(\mathbb {H})\).

Proof

First of all, the pointwise convergence of \(W_k\) to \(W_\infty \) implies the convergence of \({{\,\mathrm{span}\,}}\left\{ W_k,e^3 \right\} \) to \({{\,\mathrm{span}\,}}\{W_\infty ,e^3\}\). To compute \(K_\sigma (W_k,e^3)\), we first apply (25), getting

$$\begin{aligned} B_\sigma (W_k,e^3)={{\,\mathrm{ad}\,}}(e^3)^\top (W_k)=0 \end{aligned}$$
(32)

for all \(k\ge 1\). From (28), it follows that \(B_\sigma (e^3,e^1_j)=2je^2_j\), hence

$$\begin{aligned} B_\sigma \left( e^3,\frac{e^1_j}{j} \right) =2e^2_j. \end{aligned}$$

The bilinearity of \(B_\sigma (\cdot ,\cdot )\) yields

$$\begin{aligned} B_\sigma (e^3,W_k)=2\left( \sum _{j=1}^kj^{-3} \right) ^{-1/2}\sum _{j=1}^ke^2_j \end{aligned}$$
(33)

From (21), taking \(\delta =\left( B_\sigma (W_k,e^3)+B_\sigma (e^3,W_k) \right) /2\), we obtain

$$\begin{aligned} \left\langle \delta ,\delta \right\rangle _\sigma = \frac{1}{4}\Vert B_\sigma (e^3,W_k)\Vert _\sigma ^2 =\left( \sum _{j=1}^\infty j^{-3} \right) ^{-1} \Big \Vert \sum _{j=1}^ke^2_j\Big \Vert _\sigma ^2= \left( \sum _{j=1}^\infty j^{-3} \right) ^{-1}\sum _{j=1}^k j^{-1}\nonumber \\ \end{aligned}$$
(34)

From (21), (22), (25) and (28), we find

$$\begin{aligned} \alpha =\frac{1}{2}B_\sigma (W_k,W_k)=\frac{1}{2}B_\sigma (e^3,e^3)=0. \end{aligned}$$
(35)

Finally, by formula (20), we have proved that

$$\begin{aligned} K_\sigma (W_k,e^3)=\left\langle \delta ,\delta \right\rangle _\sigma = \left( \sum _{j=1}^\infty j^{-3} \right) ^{-1}\sum _{j=1}^k j^{-1}\rightarrow +\infty \end{aligned}$$
(36)

as \(k\rightarrow \infty \). This concludes the proof. \(\square \)

Proof of Theorem 1.3

Following the notation of the present section, we define

$$\begin{aligned} a_{1j}=\sqrt{j}e^1_j\quad \text {and} \quad a_{2j}=\sqrt{j}e^2_j \end{aligned}$$

of \({{\,\mathrm{Lie}\,}}(\mathbb {H})\), that are orthonormal with respect to \(\left\langle \cdot ,\cdot \right\rangle _\sigma \) and do not commute. To apply (20) for finding \(K_\sigma (a_{1j},a_{2j})\), we use (21) and (22). Due to (25), we get

$$\begin{aligned} B_\sigma (a_{1j},a_{2j})=B_\sigma (a_{2j},a_{1j})=0. \end{aligned}$$

As a result, we have

$$\begin{aligned} K_\sigma (a_{1j},a_{2j})=-3\left\langle \alpha ,\alpha \right\rangle _\sigma =-\frac{3}{4} \Vert [a_{1j},a_{2j}]\Vert _\sigma ^2=-3j^2. \end{aligned}$$
(37)

Now we wish to compute \(K_\sigma (a_{1j},e^3)\) and \(K_\sigma (a_{2j},e^3)\). We first apply (25) and (28), getting

$$\begin{aligned} B_\sigma (e^l_j,e^3)={{\,\mathrm{ad}\,}}(e^3)^\top (e^l_j)=0, \quad B_\sigma (e^3,e^1_j)=2je^2_j\quad \text {and}\quad B_\sigma (e^3,e^2_j)=-2je^1_j\nonumber \\ \end{aligned}$$
(38)

for all \(l=1,2\) and \(k\ge 1\). From (21), taking \(\delta =\left( B_\sigma (a_{1j},e^3)+B_\sigma (e^3,a_{1j}) \right) /2\), we obtain

$$\begin{aligned} \left\langle \delta ,\delta \right\rangle _\sigma&=\frac{1}{4}\Vert B_\sigma (a_{1j},e^3)+B_\sigma (e^3,a_{1j})\Vert _\sigma ^2=\frac{1}{4}\Vert \sqrt{j}B_\sigma (e^3,e^1_j)\Vert _\sigma ^2= \frac{j}{4}\Vert 2je^2_j\Vert _\sigma ^2 \end{aligned}$$
(39)
$$\begin{aligned}&=j^3\left\langle e^2_j,e^2_j \right\rangle _\sigma =j^3\left\langle Ae^2_j,e^2_j \right\rangle =j^2. \end{aligned}$$
(40)

From (21), (22), (25) and (28), we find

$$\begin{aligned} \alpha =\frac{1}{2}B_\sigma (e^1_j,e^1_j)=\frac{1}{2}B_\sigma (e^3,e^3)=0. \end{aligned}$$
(41)

Due to the formula for the sectional curvature (20), we have established that

$$\begin{aligned} K_\sigma (a_{1j},e^3)=\left\langle \delta ,\delta \right\rangle _\sigma =j^2. \end{aligned}$$
(42)

In analogous setting \(\delta =\left( B_\sigma (a_{2j},e^3)+B_\sigma (e^3,a_{2j}) \right) /2\), we obtain

$$\begin{aligned} \left\langle \delta ,\delta \right\rangle _\sigma =\frac{1}{4}\Vert B_\sigma (e^3,a_{2j})\Vert _\sigma ^2= \frac{j}{4}\Vert B_\sigma (e^3,e^2_j)\Vert _\sigma ^2=\frac{j}{4}\Vert 2je^1_j\Vert _\sigma ^2= j^3\Vert e^1_j\Vert _\sigma ^2=j^2.\nonumber \\ \end{aligned}$$
(43)

Again (21), (22), (25) and (28) imply that

$$\begin{aligned} \alpha =\frac{1}{2}B_\sigma (e^2_j,e^2_j)=\frac{1}{2}B_\sigma (e^3,e^3)=0. \end{aligned}$$
(44)

Due to (20), we have also proved that

$$\begin{aligned} K_\sigma (a_{2j},e^3)=\left\langle \delta ,\delta \right\rangle _\sigma =j^2. \end{aligned}$$
(45)

Taking into account (42) and (45), setting \(b=e^3\), we have completed the proof. \(\square \)

Remark 4.3

A direct verification shows that the computations of sectional curvature, to prove Theorem 1.3, could be also carried out extending the finite dimensional formula of [18,  Lemma 1.1] for the countable structure coefficients of \({{\,\mathrm{Lie}\,}}(\mathbb {H})\). These coefficients are obtained from the orthonormal vectors \(\sqrt{j}e^1_j,\sqrt{j}e^2_j,e^3\) of \({{\,\mathrm{Lie}\,}}(\mathbb {H})\) with respect to \(\left\langle \cdot ,\cdot \right\rangle _\sigma \).

Following the notation of the this section, the sequence of curves whose length converges to zero in the proof of Theorem 3.3 can be written as

$$\begin{aligned} \gamma ^j(t)&=\frac{ct^2}{2} e^1_j-cte^2_j+\frac{c^2t^3}{6}e^3\in \mathbb {H}\quad \text {and}\\ \alpha ^j(t)&= c\bigg (\frac{1}{2}-\frac{t^2}{2}\bigg )e^1_j+c(t-1) e^2_j + c^2 \bigg (\frac{1}{6} + \frac{t^3}{6} - \frac{t^2}{2} + \frac{t}{2}\bigg )e^3\in \mathbb {H}. \end{aligned}$$

It is interesting to notice that all such curves are contained in the span of the planes

$$\begin{aligned} {{\,\mathrm{span}\,}}\{e^1_j,e^2_j\},\quad {{\,\mathrm{span}\,}}\{e^1_j,e^3\}\quad \text {and}\quad {{\,\mathrm{span}\,}}\{e^2_j,e^3\}. \end{aligned}$$

When these planes are seen in the Lie algebra, Theorem 1.3 shows that their sectional curvature blows-up, as the length of the curves converges to zero.

References

  1. Abraham, R.H., Marsden, J.E., Ratiu, T.S.: Manifolds, tensor analysis, and applications, volume 75 of Applied Mathematical Sciences. Springer-Verlag, New York, second edition, (1988)

  2. Eliashberg, Y., Polterovich, L.: Bi-invariant metrics on the group of Hamiltonian diffeomorphisms. Internat. J. Math. 4(5), 727–738 (1993)

    MathSciNet  Article  Google Scholar 

  3. Michor, P.W., Mumford, D.: Vanishing geodesic distance on spaces of submanifolds and diffeomorphisms. Doc. Math. 10, 217–245 (2005)

    MathSciNet  MATH  Google Scholar 

  4. Michor, P.W., Mumford, D.: Riemannian geometries on spaces of plane curves. J. Eur. Math. Soc. (JEMS) 8(1), 1–48 (2006)

    MathSciNet  Article  Google Scholar 

  5. Bauer, M., Bruveris, M., Harms, P., Michor, P.W.: Vanishing geodesic distance for the Riemannian metric with geodesic equation the KdV-equation. Ann. Global Anal. Geom. 41(4), 461–472 (2012)

    MathSciNet  Article  Google Scholar 

  6. Bauer, M., Bruveris, M., Harms, P., Michor, P.W.: Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group. Ann. Global Anal. Geom. 44(1), 5–21 (2013)

    MathSciNet  Article  Google Scholar 

  7. Bauer, M., Bruveris, M., Michor, P.W.: Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group II. Ann. Global Anal. Geom. 44(4), 361–368 (2013)

    MathSciNet  Article  Google Scholar 

  8. Jerrard, R.L., Maor, C.: Geodesic distance for right-invariant metrics on diffeomorphism groups: critical Sobolev exponents. Ann. Global Anal. Geom. 56(2), 351–360 (2019)

    MathSciNet  Article  Google Scholar 

  9. Jerrard, R.L., Maor, C.: Vanishing geodesic distance for right-invariant Sobolev metrics on diffeomorphism groups. Ann. Global Anal. Geom. 55(4), 631–656 (2019)

    MathSciNet  Article  Google Scholar 

  10. Bauer, M., Harms, P., Preston, S.C.: Vanishing distance phenomena and the geometric approach to SQG. Arch. Ration. Mech. Anal. 235(3), 1445–1466 (2020)

    MathSciNet  Article  Google Scholar 

  11. Magnani, V., Tiberio, D.: A remark on vanishing geodesic distances in infinite dimensions. Proc. Am. Math. Soc. 148(8), 3653–3656 (2020)

    MathSciNet  Article  Google Scholar 

  12. Neeb, K.-H.: Towards a Lie theory of locally convex groups. Jpn. J. Math. 1(2), 291–468 (2006)

    MathSciNet  Article  Google Scholar 

  13. Driver, B.K., Gordina, M.: Heat kernel analysis on infinite-dimensional Heisenberg groups. J. Funct. Anal. 255(9), 2395–2461 (2008)

    MathSciNet  Article  Google Scholar 

  14. Grong, E., Markina, I., Vasil’ev, A.: Sub-Riemannian geometry on infinite-dimensional manifolds. J. Geom. Anal. 25(4), 2474–2515 (2015)

    MathSciNet  Article  Google Scholar 

  15. Arnold, V.I.: Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications à l’hydrodynamique des fluides parfaits. Ann. Inst. Fourier (Grenoble) 16, 319–361 (1966)

    MathSciNet  Article  Google Scholar 

  16. Bauer, M., Bruveris, M., Michor, P.W.: Overview of the geometries of shape spaces and diffeomorphism groups. J. Math. Imaging Vis. 50(1–2), 60–97 (2014)

    MathSciNet  Article  Google Scholar 

  17. Bauer, M., Bruveris, M., Michor, P.W.: Homogeneous Sobolev metric of order one on diffeomorphism groups on real line. J. Nonlinear Sci. 24(5), 769–808 (2014)

    MathSciNet  Article  Google Scholar 

  18. Milnor, J.: Curvatures of left invariant metrics on Lie groups. Adv. Math. 21(3), 293–329 (1976)

    MathSciNet  Article  Google Scholar 

  19. Hörmann, G.: Representations of the Infinite Dimensional Heisenberg Group. PhD thesis, University of Vienna, (1993)

  20. Glöckner, H.: Fundamental problems in the theory of infinite-dimensional Lie groups. J. Geom. Symmetry Phys. 5, 24–35 (2006)

    MathSciNet  MATH  Google Scholar 

  21. Omori, H.: Infinite-dimensional Lie groups, volume 158 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1997. Translated from the 1979 Japanese original and revised by the author

  22. Magnani, V., Rajala, T.: Radon-Nikodym property and area formula for Banach homogeneous group targets. Int. Math. Res. Not. IMRN 23, 6399–6430 (2014)

    MathSciNet  Article  Google Scholar 

  23. Paul, M.: Hypoellipticity in infinite dimensions. In Diffusion processes and related problems in analysis, Vol. I (Evanston, IL, 1989), volume 22 of Progr. Probab., pages 17–31. Birkhäuser Boston, Boston, MA, (1990)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Valentino Magnani.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Magnani, V., Tiberio, D. On the Michor–Mumford phenomenon in the infinite dimensional Heisenberg group. Rev Mat Complut (2022). https://doi.org/10.1007/s13163-022-00430-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s13163-022-00430-5

Keywords

  • Hilbert manifold
  • Infinite dimensional Heisenberg group
  • Weak Riemannian metric
  • Geodesic distance
  • Sectional curvature

Mathematics Subject Classification

  • Primary 58B20. Secondary 53C22