Geometry of left-invariant Randers metric on the Heisenberg groups

Ghodratallah Fasihi-Ramandi can be contacted at: fasihi@sci.ikiu.ac.ir

Purpose

In this paper, we consider the Heisenberg groups which play a crucial role in both geometry and theoretical physics.

Design/methodology/approach

In the first part, we retrieve the geometry of left-invariant Randers metrics on the Heisenberg group H_2n+1, of dimension 2n + 1. Considering a left-invariant Randers metric, we give the Levi-Civita connection, curvature tensor, Ricci tensor and scalar curvature and show the Heisenberg groups H_2n+1 have constant negative scalar curvature.

Findings

In the second part, we present our main results. We show that the Heisenberg group H_2n+1 cannot admit Randers metric of Berwald and Ricci-quadratic Douglas types. Finally, the flag curvature of Z-Randers metrics in some special directions is obtained which shows that there exist flags of strictly negative and strictly positive curvatures.

Originality/value

In this work, we present complete Reimannian geometry of left invarint-metrics on Heisenberg groups. Also, some geometric properties of left-invarainat Randers metrics will be studied.

1. Introduction

Research into left-invariant Riemannian metrics on Lie groups is an active subject of research and this topic is mentioned among many author’s works so far. The curvature properties of such metrics on various kinds of Lie groups are mainly investigated in classical works of Milnor (see [1]).

Randers metrics as a special case of Finsler metrics are constructed by Riemannian metrics and vector fields. Similar to the Riemannian case, the notion of left-invariant Randers metrics on a Lie group G is defined, and the geometry of such spaces is part of many author’s interest topic. A general study of Berwald-type Randers metric on two-step homogeneous nilmanifolds of dimension five is done in [2]. Also, curvature properties of Douglas-type Randers metrics on five dimensional two-step homogeneous nilmanifolds can be found in [3].

The Heisenberg groups play a crucial role in theoretical physics, and they are well understood from the viewpoint of sub-Riemannian geometry. These groups arise in the description of one-dimensional quantum mechanical systems. More generally, one can consider Heisenberg groups associated to n-dimensional systems, and most generally, to any symplectic vector space.

In this study, we develop the results of [4] for a special case of five-dimensional Heisenberg group by investigating the geometry of left-invariant Randers metrics on the Heisenberg group H_2n+1, of dimension 2n + 1 [5]. Considering a left-invariant Randers metric, we give the Levi–Civita connection, curvature tensor, Ricci tensor and scalar curvature and show the Heisenberg groups H_2n+1 have constant negative scalar curvature. Also, we show the Heisenberg group H_2n+1 cannot admit Randers metric of Berwald and Ricci-quadratic Douglas types. Finally, the flag curvature of Z-Randers metrics in some special directions is obtained.

2. Preliminaries

In this section, we summarize the main concepts and definitions that are needed in this paper.

Definition 1.

A (semi-)Riemannian metric g on a Lie group G is said to be left-invariant if $L_{a}^{*} (g) = g$ ⁠, for all a ∈ G.

It is well-known that there is a bijective correspondence between left-invariant metrics on a Lie group G, and inner products on its associated Lie algebra $g = T_{e} G$ ⁠. So, the geometry of a left-invariant metric on a Lie group G can be recovered from the geometry of its associated inner product space $g = T_{e} G$ ⁠. For instance, let G be a Lie group with a left-invariant metric g then the Koszul formula on $U, V, W \in g$ is given by

2 〈 \nabla_{U} V, W 〉 = 〈 [U, V], W 〉 - 〈 [V, W], U 〉 + 〈 [W, U], V 〉,

where, 〈., .〉 denotes the induced inner product on $g$ by g.

The rest of this section is devoted to remind some basic notions on Finsler geometry and in particular to developing the definition 1 for Finsler manifolds.

A Finsler metric on a manifold M is a function F: TM → [0, ∞) with the following properties:

Regularity: F is smooth on the entire slit tangent bundle TM\{0}.
Positive homogeneity: F(x, λy) = λF(x, y) for all λ > 0.
Strong convexity: The n × n Hessian matrix

[g_{i j}] = [\frac{1}{2} \frac{\partial^{2} F^{2}}{\partial y^{i} \partial y^{j}}]

is positive definite at every point (x, y) ∈ TM\{0}.

The Finsler geometry counterpart of the Riemannian sectional curvature is the notion of flag curvature. The flag curvature is defined as follows:

K (P, Y) = \frac{g_{Y} (R (X, Y) Y, X)}{g_{Y} (Y, Y) g_{Y} (X, X) - g_{Y}^{2} (Y, X)}

where,

g_{Y} (X, Z) = \frac{1}{2} \frac{\partial^{2}}{\partial s \partial t} |_{s = t = 0} F^{2} (Y + s X + t Z),

is the osculating Riemannian metric, P = span{X, Y}, R(X, Y)(Z) = ∇_X∇_YZ −∇_Y∇_XZ −∇_[X,Y]Z and ∇ is the Chern-Rund connection induced by F on the pull-back bundle π*TM (see [6]).

A special case of Finsler metrics are Randers metrics which are constructed by Riemannian metrics and vector fields (1-forms). In fact, for a Riemannian metric g and a vector field X on M such that $\sqrt{g (X, X)} < 1$ ⁠, the Randers metric F, defined by g and X, is a Finsler metric as follows:

F (x, y) = \sqrt{g (y, y)} + g (X (x), y) \forall x \in M, y \in T_{x} M .

(1)

Now, we are prepared to generalize the definition 1 for Finsler manifolds.

Definition 2.

A Finsler metric F on a Lie group G is said to be left-invariant if

F (a, v) = F (e, L_{a^{- 1}}^{*} (v)) \forall a \in G, v \in T_{a} G,

where e is the unit element of G.

A Randers metric of the form (1) is called of Berwald type if and only if the vector field X is parallel with respect to Levi–Civita connection of g. It is well-known that in such metrics the Chern-Rund connection of Randers metric F coincides with the Levi–Civita connection of g. Also, if for a Randers metric of the form (1) the 1-form g(X, .) is closed, then the Randers metric is said to be of Douglas type. In the case that M = G is a Lie group, one can easily check that a left-invariant Randers metric on G with underlying left-invariant Riemannian metric is of Douglas type if and only if its underlying vector field Q satisfies the following equation

< [U, V], Q > = 0, \forall U, V \in g = T_{e} G .

Suppose that G is a Lie group, g and U are left-invariant Riemannian metric and left-invariant vector field on G, respectively, such that $\sqrt{g (U, U)} < 1$ ⁠. Then Formula (1) defines a left-invariant Randers metric on G. In fact, one can easily check that there is a bijective correspondence between left-invariant Randers metrics on a Lie group G with the underlying Riemannian metric g and the left-invariant-vector fields with length <1. Therefore, the invariant Randers metrics are one-to-one corresponding to the set (see [2], Proposition 3.1)

{U \in g | < U, U > < 1} .

Suppose that G is a Lie group with a left-invariant Randers metric F which is defined by a $U \in g$ ⁠, then the S-curvature is given by

S (e, v) = \frac{n + 1}{2} (\frac{〈 [U, v], 〈 v, U 〉 U - v 〉}{F (e, v)} - 〈 [U, v], U 〉),

and the Randers metric has vanishing S-curvature if and only if the linear endomorphism ad(U) of $g$ is skew symmetric with respect to the inner product 〈., .〉 on the Lie algebra $g$ ⁠. (See [7] Proposition 7.5).

3. Geometry of Heisenberg groups

In this section, we investigate the Riemannian geometry of left-invariant metrics on the Heisenberg group H_2n+1, of dimension 2n + 1.

The Heisenberg group H_2n+1 is defined on the base manifold $R^{2 n} \times R$ by multiplication

(x, λ) . (y, μ) = (x + y, λ + μ + ω (x, y)),

where ω denotes the standard symplectic form on $R^{2 n}$ ⁠. Its associated Lie algebra $H_{2 n + 1}$ is

H_{2 n + 1} = R^{2 n} \oplus R = {(x, λ) | x \in R^{2 n}, λ \in R},

with the following Lie bracket

[(x, λ), (y, μ)] = (0, ω (x, y)) .

(2)

The center of $H_{2 n + 1}$ is one-dimensional, hence the Heisenberg group is 2-step nilpotent. In the other hand, every 2-step nilpotent Lie group of odd dimension with a one-dimensional center is locally isomorphic to the Heisenberg group H_2n+1.

Following [8], any positive definite inner product on $H_{2 n + 1}$ is given by the following theorem. For σ₁ ≥⋯ σ_n ≥ 1 and σ = (σ₁, …, σ_n) denote

D_{n} (σ) = diag (σ_{1}, σ_{1}, \dots, σ_{n}, σ_{n}) .

Theorem 1.

[8] Any positive definite inner product on $H_{2 n + 1}$ , up to the automorphism of Lie algebra (i.e. in some basis of $H_{2 n + 1}$ such that the commutators are given by (2)) is represented by the matrix

(\begin{matrix} D_{n - 1} (σ) & 0 \\ 0 & S \end{matrix})

whereS = diag(1, 1, λ),λ > 0.

We have already observed above that every positive definite inner product on the Heisenberg algebra $H_{2 n + 1}$ with the commutator specified in (2) has a diagonal representation. According to theorem 1, we calculate the geometry of a left-invariant metric on the Heisenberg group H_2n+1.

Let β = {u₁, v₁, …, u_n, v_n, z} is a basis of $H_{2 n + 1}$ with non-zero commutators

[u_{i}, v_{i}] = z, i = 1, \dots, n,

which is a special form of the Lie bracket given by (2). Suppose that

U_{1}, V_{1}, \dots, U_{n}, V_{n}, Z

denote the corresponding left-invariant vector fields on H_2n+1. Fix a Riemannian metric g on the Heisenberg group H_2n+1 and denote σ_n = 1. Then the Levi–Civita connection of g is given by the following theorem.

Theorem 2.

The Levi–Civita connection ∇ of the left-invariant metric g, satisfies the following equations.

\begin{array}{l} \nabla_{U_{i}} V_{i} = \frac{1}{2} Z, \nabla_{V_{i}} U_{i} = - \frac{1}{2} Z, \\ \nabla_{U_{i}} Z = - \frac{λ}{2 σ_{i}} V_{i}, \nabla_{Z} U_{i} = - \frac{λ}{2 σ_{i}} V_{i}, \\ \nabla_{V_{i}} Z = \frac{λ}{2 σ_{i}} U_{i}, \nabla_{Z} V_{i} = \frac{λ}{2 σ_{i}} U_{i} . \end{array}

Proof.

Straightforward computations using Koszul’s formula, show the above relations, for example we compute the first formula. We have,

\begin{array}{l} 2 〈 \nabla_{U_{i}} V_{i}, U_{j} 〉 = 〈 [U_{i}, V_{i}], U_{j} 〉 - 〈 [V_{i}, U_{j}], U_{i} 〉 + 〈 [U_{j}, U_{i}], V_{i} 〉 = 0, \\ 2 〈 \nabla_{U_{i}} V_{i}, V_{j} 〉 = 〈 [U_{i}, V_{i}], V_{j} 〉 - 〈 [V_{i}, V_{j}], U_{i} 〉 + 〈 [V_{j}, U_{i}], V_{i} 〉 = 0, \\ 2 〈 \nabla_{U_{i}} V_{i}, Z 〉 = 〈 [U_{i}, V_{i}], Z 〉 - 〈 [V_{i}, Z], U_{i} 〉 + 〈 [Z, U_{i}], V_{i} 〉 = 〈 Z, Z 〉 = λ . \end{array}

Hence, $\nabla_{U_{i}} V_{i} = \frac{1}{2} Z$ ⁠.

Theorem 3.

The Riemannian curvature tensor of ∇, denoted by R, satisfies the following relations.

\begin{array}{l} R (U_{i}, U_{k}) U_{k} = 0, R (U_{i}, V_{k}) V_{k} = - \frac{3 λ}{4 σ_{k}} δ_{i k} U_{k}, R (U_{i}, Z) Z = \frac{λ^{2}}{4 σ_{i}^{2}} U_{i}, \\ R (V_{i}, U_{k}) U_{k} = - \frac{3 λ}{4 σ_{k}} δ_{i k} V_{k}, R (V_{i}, V_{k}) V_{k} = 0, R (V_{i}, Z) Z = \frac{λ^{2}}{4 σ_{i}^{2}} V_{i}, \\ R (Z, U_{k}) U_{k} = \frac{λ}{4 σ_{k}} Z, R (Z, V_{k}) V_{k} = \frac{λ}{4 σ_{k}} Z, \end{array}

whereδ_ijis the Kronecker delta.

Proof.

Routine computations show these results. For example we compute the second formula. One can write,

\begin{array}{l} R (U_{i}, V_{k}) V_{k} & = \nabla_{U_{i}} \nabla_{V_{k}} V_{k} - \nabla_{V_{k}} \nabla_{U_{i}} V_{k} - \nabla_{[U_{i}, V_{k}]} V_{k} \\ = - δ_{i k} (\frac{1}{2} \nabla_{V_{k}} Z + \nabla_{Z} V_{k}) = - \frac{3 λ}{4 σ_{k}} δ_{i k} U_{k} . \end{array}

Theorem 4.

The Ricci curvature tensor of ∇, denoted by Ric, satisfies the following relations.

\begin{array}{l} R i c (U_{i}, U_{j}) = - \frac{λ δ_{i j}}{2 σ_{i}}, \\ R i c (V_{i}, V_{j}) = - \frac{λ δ_{i j}}{2 σ_{i}}, \\ R i c (Z, Z) = \frac{λ^{2}}{2} \sum_{k = 1}^{n} \frac{1}{σ_{k}^{2}} . \end{array}

Proof.

It is straightforward to check these results. For instance, we can write:

\begin{array}{l} R i c (V_{i}, V_{j}) & = \frac{1}{λ} 〈 R (V_{i}, Z) Z, V_{j} 〉 + \sum_{k = 1}^{n} \frac{1}{σ_{k}} 〈 R (V_{i}, U_{k}) U_{k}, V_{j} 〉 \\ = \frac{1}{λ} 〈 \frac{λ^{2}}{4 σ_{i}^{2}} V_{i}, V_{j} 〉 + \sum_{k = 1}^{n} \frac{1}{σ_{k}} 〈 - \frac{3 λ}{4 σ_{k}} δ_{i k} V_{k}, V_{j} 〉 \\ = \frac{λ}{4 σ_{i}^{2}} 〈 V_{i}, V_{j} 〉 - \frac{3 λ}{4 σ_{i}^{2}} 〈 V_{i}, V_{j} 〉 \\ = - \frac{λ}{2 σ_{i}^{2}} 〈 V_{i}, V_{j} 〉 = - \frac{λ}{2 σ_{i}^{2}} δ_{i j} σ_{i} = - \frac{λ δ_{i j}}{2 σ_{i}} . \end{array}

Remark.

The above computations indicate that H_2n+1 neither cannot be Einstein nor the metric is conformally flat. The next theorem shows that the Heisenberg groups H_2n+1 have constant negative scalar curvature.

Theorem 5.

The scalar curvature of ∇, denoted by R, is given by the following formula.

R = - \frac{λ}{2} \sum_{i = 1}^{n} \frac{1}{σ_{i}^{2}} .

Proof.

We have,

\begin{array}{l} R & = \frac{1}{λ} R i c (Z, Z) + \sum_{i = 1}^{n} \frac{1}{σ_{i}} R i c (U_{i}, U_{i}) + \sum_{i = 1}^{n} \frac{1}{σ_{i}} R i c (V_{i}, V_{i}) \\ = \sum_{i = 1}^{n} \frac{λ}{2} \frac{1}{σ_{i}^{2}} - \frac{λ}{2} \frac{1}{σ_{i}^{2}} - \frac{λ}{2} \frac{1}{σ_{i}^{2}} \\ = - \frac{λ}{2} \sum_{i = 1}^{n} \frac{1}{σ^{2}} . \end{array}

4. Main results

In this section, our main results will be stated.

Theorem 6.

There is not any left-invariant Randers metric of Berwald type on the Heisenberg group $H_{2 n + 1}$ ⁠.

Proof.

As mentioned before, a left-invariant Randers metric on Lie group G is constructed by a left-invariant vector field with length <1. In the other hand, by definition a Randers metric is Berwald type if and only if the vector field is parallel with respect to the Levi-Civita connection. Suppose that Q is a left-invariant vector field on $H_{2 n + 1}$ which is parallel with respect to the Levi-Civita connection. This implies that for all $U \in H_{2 n + 1}$ we have ∇_UQ = 0. Let

Q = a Z + \sum_{i = 1}^{n} a_{i} U_{i} + b_{i} V_{i},

then the relations in theorem 2 show that a = a_i = b_i = 0 for 1 ≤ i ≤ n, which is a contradiction.

Note that a Finsler metric is said to be Ricci-quadratic if its Ricci curvature Ric(x, y) is quadratic with respect to y.

Corollary 1.

There is not any left-invariant Randers metric of Douglas type on the Heisenberg group H_2n+1 which is Ricci-quadratic.

Proof.

It is worth mentioning that there is a bijective correspondence between left-invariant Randers metric of Douglas type on H_2n+1 and the set ${U \in H_{2 n + 1} | < U, U > < 1, < U, Z > = 0}$ ⁠. Suppose that $Q = \sum_{i = 1}^{n} a_{i} U_{i} + b_{i} V_{i}$ is a left-invariant vector field such that

F (a, v) = \sqrt{g (v, v)} + g (Q (a), v),

is a left-invariant Randers-Douglas metric on H_2n+1, and F is Ricci-quadratic. Then by ([7], Theorem 7.9) F is Berwald type. But the relations in theorem 2 show that Q = 0, which is a contradiction.

We recall that a naturally reductive homogeneous space is a reductive homogeneous Riemannian manifold $M = \frac{G}{H}$ with a decomposition $g = h + m$ ⁠, that satisfies

〈 {[X, Y]}_{m}, Z 〉 = - 〈 Y, {[X, Z]}_{m} 〉, X, Y, Z \in m .

Moreover, when H = {e}, then $m = g$ and the above condition can be rewrite as follows:

〈 [X, Y], Z 〉 + 〈 Y, [X, Z] 〉 = 0, X, Y, Z \in g .

Now we are able to prove the following result.

Corollary 2.

Randers Heisenberg group H_2n+1 of dimension 2n + 1 is never naturally reductive.

Proof.

Suppose, conversely, that a Randers metric F on H_2n+1 is naturally reductive. Then by theorem 4.1 in [9] the underling Riemannian metric is naturally reductive and we have

〈 [U, V], W 〉 + 〈 V, [U, W] 〉 = 0, U, V, W \in H_{2 n + 1} .

If we replace (U, V, W) by (U₁, V₁, Z), then we have the contradiction λ = 0.

As we observed in theorem 6, the Heisenberg group H_2n+1 cannot admit left-invariant Randers metric of Berwald type. A special family of non-Berwald left-invariant Randers metrics which give us a geometric relationship between the Lie algebra $H_{2 n + 1}$ and the Randers metrics are Z-Randers metrics. We say a left-invariant Randers metric

F (a, v) = \sqrt{g (v, v)} + g (Q (a), v),

(3)

on H_2n+1 is a Z-Randers metric if and only if Q ∈ span < Z > . In fact, the condition Q ∈ span < Z > guarantees that the Randers metric is not Berwald.

A homogeneous Finsler space (M, F) is said to be a geodesic orbit space if every geodesic in M is an orbit of 1-parameter group of isometries. More details on such spaces can be found in [10].

Theorem 7.

All Douglas Heisenberg groups H_2n+1 are not geodesic orbit spaces. The only Randers metrics on Heisenberg group H_2n+1 which could be geodesic orbit are Z-Randers metric.

Proof.

Suppose that $Q = \sum_{i = 1}^{n} a_{i} U_{i} + b_{i} V_{i}$ is a left-invariant vector field such that

F (a, v) = \sqrt{g (v, v)} + g (Q (a), v),

is a left-invariant Randers-Douglas metric on H_2n+1. If (H_2n+1, F) is a geodesic orbit Finsler space, then by Corollary 5.3 of [10], the S-curvature vanishes which means ad(Q) is a skew symmetric on the

H_{2 n + 1}

⁠. But we have

[Q, U_{i}] = - b_{i} Z, [Q, V_{i}] = a_{i} Z, [Q, Z] = 0 .

So, ad(Q) is skew symmetric if and only if a_i = b_i = 0 for 1 ≤ i ≤ n, which is a contradiction.

Now, let $F (a, v) = \sqrt{g (v, v)} + g (Q (a), v)$ is a left-invariant Randers metric on H_2n+1 with $Q = a Z + \sum_{i = 1}^{n} a_{i} U_{i} + b_{i} V_{i}$ ⁠. If (H_2n+1, F) is a geodesic orbit Finsler space, then a similar argument applied to ad(Q) derives the assertion.

Recall that a connected Finsler space (M, F) is said to be a weakly symmetric space if for every two points p and q in M there exists an isometry $φ$ in the complete group of isometries I(M, F) such that $φ$ (p) = q. A weakly symmetric Finsler space must be a geodesic orbit Finsler space by theorem 6.3 in [7].

Corollary 3.

All Douglas Heisenberg groups H_2n+1 are never weakly symmetric spaces.

In the rest of this section, we will restrict our attention to the geometry of Z-Randers metrics on the Heisenberg group H_2n+1.

Theorem 8.

For every Z-Randers metric on the Heisenberg group H_2n+1 the flag curvature of the Chern-Rund connection with flag pole $W = \frac{1}{\sqrt{λ}} Z$ is given by the following equation.

K (Π, W) = K (Π) = \frac{λ}{4} \frac{\sum_{i = 1}^{n} \frac{(a_{i}^{2} + b_{i}^{2})}{σ_{i}}}{\sum_{i = 1}^{n} (a_{i}^{2} + b_{i}^{2}) σ_{i}},

where, Π = span{U, W} and

U = \sum_{i = 1}^{n} a_{i} U_{i} + b_{i} V_{i}

⁠.

Proof.

Suppose that $F (a, v) = \sqrt{g (v, v)} + g (Q (a), v)$ is a Z-Randers metric on H_2n+1 with $Q = ξ W = \frac{ξ}{\sqrt{λ}} Z$ for a real number 0 < ξ < 1. Using the method described in ([11], Theorem 3.10) which is applied in [12] (for a special frame, namely, Berwald-Moor frame), we calculate the osculating metric and the Chern-Rund connection directly. One can easily check the following relations.

\begin{array}{l} 〈 U_{i}, U_{j} 〉_{W} & = (1 + ξ) δ_{i j} σ_{i}, 〈 V_{i}, V_{j} 〉_{W} = (1 + ξ) δ_{i j} σ_{i}, \\ 〈 U_{i}, V_{j} 〉_{W} & = 0, 〈 U_{i}, W 〉_{W} = 0, \\ 〈 V_{i}, W 〉_{W} & = 0, 〈 W, W 〉_{W} = {(1 + ξ)}^{2} . \end{array}

The local components of the Chern-Rund connection associated to the osculating metric 〈.,.〉_W with respect to the basis ${U_{i}, V_{i}, W}_{i = 1}^{n}$ which is denoted by $\bar{\nabla}$ are given by the following formulas.

\begin{array}{l} {\bar{\nabla}}_{U_{i}} V_{i} = \frac{\sqrt{λ}}{2} W, {\bar{\nabla}}_{V_{i}} U_{i} = - \frac{\sqrt{λ}}{2} W, \\ {\bar{\nabla}}_{U_{i}} W = - \frac{\sqrt{λ}}{2 σ_{i}} (1 + ξ) V_{i}, {\bar{\nabla}}_{W} U_{i} = - \frac{\sqrt{λ}}{2 σ_{i}} (1 + ξ) V_{i}, \\ {\bar{\nabla}}_{V_{i}} W = \frac{\sqrt{λ}}{2 σ_{i}} (1 + ξ) U_{i}, {\bar{\nabla}}_{W} V_{i} = \frac{\sqrt{λ}}{2 σ_{i}} (1 + ξ) U_{i} . \end{array}

According to the above relations, for the Riemannian curvature of the Chern-Rund connection $\bar{\nabla}$ denoted by $\bar{R}$ ⁠, we have

\bar{R} (U_{i}, W) (W) = \frac{λ}{4 σ_{i}^{2}} {(1 + ξ)}^{2} U_{i}, \bar{R} (V_{i}, W) (W) = \frac{λ}{4 σ_{i}^{2}} {(1 + ξ)}^{2} V_{i} .

Applying the above computations, we find that

\begin{array}{l} K (Π, W) & = \frac{〈 \bar{R} (U_{i}, W) W, U_{i} 〉_{W}}{〈 W, W 〉_{W} 〈 U_{i}, U_{i} 〉_{W} - 〈 W, U_{i} 〉_{W}^{2}} = \frac{λ}{4 σ_{i}^{2}}, \\ K (P, W) & = \frac{〈 \bar{R} (V_{i}, W) W, V_{i} 〉_{W}}{〈 W, W 〉_{W} 〈 V_{i}, V_{i} 〉_{W} - 〈 W, V_{i} 〉_{W}^{2}} = \frac{λ}{4 σ_{i}^{2}}, \end{array}

where, Π = span{U_i, W} and P = span{V_i, W}. Now, let $U = \sum_{i = 1}^{n} a_{i} U_{i} + b_{i} V_{i}$ and Π = span{U, W}, then easy calculations show

K (Π, W) = K (Π) = \frac{λ}{4} \frac{\sum_{i = 1}^{n} \frac{(a_{i}^{2} + b_{i}^{2})}{σ_{i}}}{\sum_{i = 1}^{n} (a_{i}^{2} + b_{i}^{2}) σ_{i}} .

The above theorem shows that the flag curvature of every Z-Randers metric on the Heisenberg group H_2n+1 with flag pole $W = \frac{1}{\sqrt{λ}} Z$ is strictly positive.

Theorem 9.

For every Z-Randers metric on the Heisenberg group H_2n+1 the flag curvature of the Chern-Rund connection with flag pole W = U₁ is given by the following equations.

\begin{array}{l} K (Π, W) & = \frac{ξ^{2} λ}{4 σ_{2}}, \\ K (P, W) & = \frac{λ^{2} {(1 + ξ^{2})}^{2}}{4 σ_{1}^{2} λ (1 + ξ^{2} (1 - σ_{1}^{2}))}, \end{array}

where, Π = span{U₂, W} andP = span{Z, W}.

Proof.

Suppose that $F (a, v) = \sqrt{g (v, v)} + g (Q (a), v)$ is a Z-Randers metric on H_2n+1 with $Q = \frac{ξ}{\sqrt{λ}} Z$ for a real number 0 < ξ < 1. If W = U₁ then, one can easily check the following relations.

\begin{array}{l} 〈 U_{i}, U_{j} 〉_{W} = δ_{i j} σ_{i}, 〈 V_{i}, V_{j} 〉_{W} = δ_{i j} σ_{i}, \\ 〈 U_{i}, V_{j} 〉_{W} = 0, 〈 U_{i}, Z 〉_{W} = ξ \sqrt{λ} δ_{1 i} σ_{i}, \\ 〈 V_{i}, Z 〉_{W} = 0, 〈 Z, Z 〉_{W} = λ (1 + ξ^{2}) . \end{array}

The local components of the Chern-Rund connection associated to the osculating metric 〈.,.〉_W with respect to the basis ${U_{i}, V_{i}, Z}_{i = 1}^{n}$ which is denoted by $\bar{\nabla}$ are given by the following formulas.

\begin{array}{l} {\bar{\nabla}}_{U_{i}} V_{j} = \frac{1}{2} δ_{i j} Z + \frac{ξ \sqrt{λ}}{2} \sum_{k = 1}^{n} (δ_{i j} δ_{1 k} + δ_{1 i} δ_{j k} \frac{σ_{i}}{σ_{k}}) U_{k} = δ_{i j} Z + {\bar{\nabla}}_{V_{j}} U_{i}, \\ {\bar{\nabla}}_{U_{i}} U_{j} = - \frac{ξ \sqrt{λ}}{2} \sum_{k = 1}^{n} (δ_{1 i} δ_{j k} \frac{σ_{i}}{σ_{k}} + δ_{1 j} δ_{i k} \frac{σ_{j}}{σ_{k}}) V_{k} = {\bar{\nabla}}_{U_{j}} U_{i}, \\ {\bar{\nabla}}_{U_{i}} Z = - \frac{λ}{2 σ_{i}} (1 + ξ^{2}) V_{i} = {\bar{\nabla}}_{Z} U_{i}, \\ {\bar{\nabla}}_{V_{i}} Z = \frac{λ}{2 σ_{i}} (1 + ξ^{2}) U_{i} = {\bar{\nabla}}_{Z} V_{i}, \end{array}

According to the above relations, for the Riemannian curvature of the Chern-Rund connection $\bar{\nabla}$ denoted by $\bar{R}$ ⁠, we have

\begin{array}{l} \bar{R} (U_{2}, W) (W) = \frac{ξ^{2} λ}{4} \frac{σ_{1}}{σ_{2}} U_{2}, \\ \bar{R} (Z, W) (W) = \frac{λ}{4 σ_{1}} (1 + ξ^{2}) Z . \end{array}

Applying the above computations, we find that

\begin{array}{l} K (Π, W) & = \frac{〈 \bar{R} (U_{2}, W) W, U_{2} 〉_{W}}{〈 W, W 〉_{W} 〈 U_{2}, U_{2} 〉_{W} - 〈 W, U_{2} 〉_{W}^{2}} = \frac{ξ^{2} λ}{4 σ_{2}}, \\ K (P, W) & = \frac{〈 \bar{R} (Z, W) W, Z 〉_{W}}{〈 W, W 〉_{W} 〈 Z, Z 〉_{W} - 〈 W, Z 〉_{W}^{2}} = \frac{λ^{2} {(1 + ξ^{2})}^{2}}{4 σ_{1}^{2} λ (1 + ξ^{2} (1 - σ_{1}^{2}))}, \end{array}

where, Π = span{U₂, W} and P = span{Z, W}.

Remark 1.

Considering some special cases of ξ and σ₁, the above theorem shows that there exist flags of strictly negative and strictly positive curvatures on Heisenberg groups.

5. Conclusion

In this paper, we investigated the geometry of left-invariant Randers metrics on the Heisenberg group H_2n+1, of dimension 2n + 1. We determined the Levi-Civita connection, curvature tensor, Ricci tensor and scalar curvature of a left-invariant metric on H_2n+1 and showed the Heisenberg groups H_2n+1 have constant negative scalar curvature. Other geometric properties of such spaces are investigated. Also, we showed the Heisenberg group H_2n+1 cannot admit Randers metric of Berwald and Ricci-quadratic Douglas types. Finally, by computing flag curvature it was shown that there exist flags of strictly negative and strictly positive curvatures.

The question of whether the Heisenberg group H_2n+1 admits a Randers metric of general Douglas type is not considered in this paper. Also, we have computed the flag curvature of a special kind of Randers metric (namely Z-Randers metric) on H_2n+1 and giving an explicit formula for computing flag curvature in the general case would be matter of another paper.

References

Milnor

Curvatures of left-invariant metrics on Lie groups

Adv Math

1976

;

(

293

329

Google Scholar

Crossref

Moghaddam

On the Randers metrics on two-step homogeneous nilmanifolds of dimension five

Int J Geom Methods Mod Phys

2011

;

(

501

Google Scholar

Crossref

Nasehi

On 5-dimensional 2-step homogeneous Randers nilmanifolds of Douglas type

Bull Iranian Math Soc

2017

;

(

695

706

Google Scholar

Kovács

Lengyelné-Tóth

Curvatures of left invariant Randers metric on the five-dimensional Heisenberg group

Balkan J Geo App

2017

;

(

Google Scholar

Fasihi-Ramandi

Azami

Geometry of left invariant Randers metric on the Heisenberg group

arXiv:1901

.02521.

Bao

Chern

Shen

An introduction to Riemann-Finsler geometry

Berlin

Springer

;

2000

Google Scholar

Crossref

Deng

Homogeneous Finsler space

New York, NY

Springer

;

2012

Google Scholar

Crossref

Vukmiroić

Classification of left-invariant metrics on the Heisenberg group

J Geom Phys

2015

;

Google Scholar

Crossref

Latifi

Toomanian

Invariant naturally reductive Randers metrics on homogeneous spaces

Math Sci

2012

;

(

Google Scholar

10.

Latifi

Homogeneous geodesics in homogeneous Finsler spaces

J Geom Phys

2007

;

(

1421

Google Scholar

Crossref

11.

Rademacher

Nonreversible Finsler metrics of positive flag curvature

. in

A sample of Riemann-Finsler geometry

Cambridge

Math. Sci. Res. Inst. Publ., Cambridge Univ. Press

;

2004

261

302

Google Scholar

12.

Tóth

Kovács

Left-invariant Randers metrics on the 3-dimensional Heisenberg group

Publ Math Debrecen

2014

;

(

1–2

161

Google Scholar

2021

Ghodratallah Fasihi-Ramandi and Shahroud Azami

Published in Arab Journal of Mathematical Sciences. Published by Emerald Publishing Limited. This article is published under the Creative Commons Attribution (CC BY 4.0) licence. Anyone may reproduce, distribute, translate and create derivative works of this article (for both commercial and non-commercial purposes), subject to full attribution to the original publication and authors. The full terms of this licence may be seen at http://creativecommons.org/licences/by/4.0/legalcode

Geometry of left-invariant Randers metric on the Heisenberg groups

1. Introduction

2. Preliminaries

3. Geometry of Heisenberg groups

4. Main results

5. Conclusion

References

Data & Figures

Contents

Supplements

References

New and popular articles

Email Alerts

Cited By

Languages

Geometry of left-invariant Randers metric on the Heisenberg groups

1. Introduction

2. Preliminaries

3. Geometry of Heisenberg groups

4. Main results

5. Conclusion

References

Data & Figures

Contents

Supplements

References

Related

New and popular articles

Email Alerts

Recommended for you

Cited By

Languages

Sharing Unavailable