Compact Solvmanifolds with a Closed G_{2}-Structure ()

Marisa Fernández^{}, Jonatan Sanchez^{}, Jose A. Santisteban^{}

Faculty of Science and Technology, Department of Mathematics, University of the Basque Country (UPV/EHU), Bilbao, Spain.

**DOI: **10.4236/apm.2018.811050
PDF HTML XML
675
Downloads
939
Views
Citations

Faculty of Science and Technology, Department of Mathematics, University of the Basque Country (UPV/EHU), Bilbao, Spain.

We consider a parametrized family of compact G_{2}-calibrated
solvmanifolds, and construct associative (so volume-minimizing submanifolds)
3-tori with respect to the closed G_{2}-structure. We also study the
Laplacian flow of this closed G_{2} form on the solvable Lie group
underlying to each of these solvmanifolds, and show long time existence of the
solution.

Keywords

Share and Cite:

Fernández, M. , Sanchez, J. and Santisteban, J. (2018) Compact Solvmanifolds with a Closed G_{2}-Structure. *Advances in Pure Mathematics*, **8**, 813-829. doi: 10.4236/apm.2018.811050.

1. Introduction

A G_{2}-structure on a seven-dimensional manifold M is defined by a positive 3-form
$\phi $ (the G_{2} form) on M, which induces a Riemannian metric
${g}_{\phi}$ and a volume form
$d{V}_{\phi}$ on M such that

${g}_{\phi}\left(X\mathrm{,}Y\right)d{V}_{\phi}=\frac{1}{6}{\iota}_{X}\phi \wedge {\iota}_{Y}\phi \wedge \phi \mathrm{,}$ (1)

for any vector fields X, Y on M. If the 3-form
$\phi $ is covariantly constant with respect to the Levi-Civita connection of the metric
${g}_{\phi}$ or, equivalently, the 3-form
$\phi $ is closed and coclosed [1] , then the holonomy group of
${g}_{\phi}$ is a subgroup of the exceptional Lie group G_{2}, and the metric
${g}_{\phi}$ is Ricci-flat. When this happens, the G_{2}-structure is said to be torsion-free [2]. The first compact examples of Riemannian manifolds with holonomy G_{2} were constructed first by Joyce [3] , and then by Kovalev [4]. Recently, other examples of compact manifolds with holonomy G_{2} were obtained in [5] [6].

There are many different G_{2}-structures attending to the behavior of the exterior derivative of the G_{2} form [1] [7]. In the following, we will focus our attention on G_{2}-structures where the 3-form
$\phi $ is closed. In this case, the G_{2}-structure is said to be closed (or calibrated). The first example of a compact G_{2}-calibrated manifold, which does not admit any torsion-free G_{2}-structure, was obtained in [8]. This example is a compact nilmanifold, that is a compact quotient of a simply connected nilpotent Lie group by a lattice, endowed with an invariant calibrated G_{2}-structure. In [9] , Conti and the first author classified the 7-dimensional compact nilmanifolds admitting a left invariant closed G_{2}-structure. More examples were given in [10] [11] [12] [13].

Calibrated geometry was introduced by Harvey and Lawson in [14] and it concerns to a special type of minimal submanifolds of a Riemannian manifold, which are defined by a closed form (the calibration) on the manifold. Such submanifoldds are called calibrated submanifolds (see Section 5 for details). Every compact calibrated submanifold is volume-minimizing in its homology class ( [15] Proposition 3.7.2).

In addition to compact Kähler manifolds and compact 7-manifolds with a torsion-free G_{2}-structure, 7-manifolds with a closed G_{2}-structure are also calibrated manifolds. In fact, if M is a 7-manifold with a closed G_{2}-structure
$\phi $, then
$\phi $ is a calibration [14]. The 3-dimensional orientable submanifolds
$Y\subset M$ calibrated by the G_{2} form
$\phi $, that is, those 3-dimensional submanifolds
$Y\subset M$ such that
$\phi $ restricted to Y is a volume form for Y, are called associative 3-folds of
$\left(M\mathrm{,}\phi \right)$.

In this paper, we consider a parametrized family of 7-dimensional compact solvmanifolds
${M}^{7}\left(k\right)$ with an invariant closed G_{2}-structure
${\phi}_{k}$, which is not coclosed, where k is a real number such that
${e}^{k}+{e}^{-k}$ is an integer number different from 2. We show that
${M}^{7}\left(k\right)$ is formal (Proposition 4.1) and its first Betti number
${b}_{1}\left({M}^{7}\left(k\right)\right)=3$. Moreover, we construct associative calibrated (so volume-minimizing) 3-tori in
${M}^{7}\left(k\right)$ with respect to the closed G_{2} form
${\phi}_{k}$ (Proposition 5.3).

By [16] [17] , a closed G_{2}-structure on a compact manifold cannot induce an Einstein metric, unless the induced metric has holonomy contained in G_{2}. It is still an open problem to see if the same property holds on noncompact manifolds. For the homogeneous case, a negative answer has been recently given in [18]. Indeed, in [18] it is proved that if a solvable Lie algebra has a closed G_{2}-structure then the induced inner product is Einstein if and only if it is flat.

Natural generalizations of Einstein metrics are given by Ricci solitons, which have been introduced by Hamilton in [19]. All known examples of nontrivial homogeneous Ricci solitons are solsolitons. They are right invariant (or left invariant) metrics on simply connected solvable Lie groups, whose Ricci curvature tensor satisfies the condition

$Ric\left(g\right)=\lambda I+D\mathrm{,}$

for some $\lambda \in \mathbb{R}$ and some derivation D of the corresponding Lie algebra, where I is the identity map.

A natural question is thus to see if a closed G_{2}-structure on a noncompact manifold induces a (non-Einstein) Ricci soliton metric. For the metric determined by the invariant closed G_{2} form
${\phi}_{k}$ on
${M}^{7}\left(k\right)$ mentioned before, we show that if
$H\left(k\right)$ is the simply connected solvable (non-nilpotent) Lie group underlying to
${M}^{7}\left(k\right)$, then
${\phi}_{k}$ induces a solsoliton on
$H\left(k\right)$ (see Proposition 4.2).

The other motivation of this paper comes from the Laplacian flow on 7-manifolds admitting closed G_{2}-structures. Let M be a 7-dimensional manifold with a closed G_{2}-structure
$\phi $. The Laplacian flow on M starting from
$\phi $ is given by

$\{\begin{array}{l}\frac{\partial}{\partial t}\phi \left(t\right)={\Delta}_{t}\text{\hspace{0.05em}}\phi \left(t\right),\\ d\text{\hspace{0.05em}}\phi \left(t\right)=0,\\ \phi \left(0\right)=\phi ,\end{array}$

where
$\phi \left(t\right)$ is a closed G_{2} form on M and
${\Delta}_{t}=d\text{\hspace{0.05em}}{d}^{*}+{d}^{*}d$ is the Hodge Laplacian operator associated with the metric
${g}_{\phi \left(t\right)}$ induced by the 3-form
$\phi \left(t\right)$. This geometric flow was introduced by Bryant in [16] as a tool to find torsion-free G_{2}-structures on compact manifolds. Short-time existence and uniqueness of the solution, in the case of compact manifolds, were proved in [20]. Properties of this flow were proved in [21] [22] [23].

The first noncompact examples with long-time existence of the solution were obtained on seven-dimensional nilpotent Lie groups in [24] , but in those examples the Riemannian curvature tends to 0 as t goes to infinity. Further solutions on solvable Lie groups were described in [25] [26] [27] [28]. Moreover, a cohomogeneity one solution converging to a torsion-free G_{2}-structure on the 7-torus was worked out in [29].

In Section 6, we consider the solvable (non-nilpotent) Lie group
$H\left(k\right)$ underlying to the compact solvmanifold
${M}^{7}\left(k\right)$, and we show that the Laplacian flow of
${\phi}_{k}$ on
$H\left(k\right)$ exists for all time. In fact, in Theorem 6.2, we explicitly determine the solution
${\phi}_{k}\left(t\right)$ for the flow of
${\phi}_{k}$ on
$H\left(k\right)$, and we prove that it is defined on a time interval of the form
$\left(T\mathrm{,}\infty \right)$, where
$T<0$ is a real number. (This solution was previously given in [25] from a family of symplectic half-flat structures on a 6-dimensional ideal of the Lie algebra
$\mathfrak{h}\left(k\right)$ of
$H\left(k\right)$.) We also show that the Ricci endomorphism
$Ric\left({g}_{k}\left(t\right)\right)$ of the underlying metric
${g}_{k}\left(t\right)$ of
${\phi}_{k}\left(t\right)$ is independent of the time t, and so the solution
${\phi}_{k}\left(t\right)$ does not converge to a torsion-free G_{2}-structure as t goes to infinity.

2. Closed G_{2}-Structures

In this section we collect some basic facts and definitions concerning G_{2} forms on smooth manifolds (see [1] [2] [7] [14] [15] [16] [30] [31] [32] [33] for details).

Let us consider the space $\mathbb{O}$ of the Cayley numbers, which is a non-associative algebra over $\mathbb{R}$ of dimension 8. Thus, we can identify ${\mathbb{R}}^{7}$ with the subspace of $\mathbb{O}$ consisting of pure imaginary Cayley numbers. Then, the product on $\mathbb{O}$ defines on ${\mathbb{R}}^{7}$ the 3-form given by

${e}^{127}+{e}^{347}+{e}^{567}+{e}^{135}-{e}^{236}-{e}^{146}-{e}^{245}$ (2)

(see [1] [32] [33] [34] for details), where
$\left\{{e}^{1}\mathrm{,}\cdots \mathrm{,}{e}^{7}\right\}$ is the standard basis of
${\left({\mathbb{R}}^{7}\right)}^{\mathrm{*}}$. Here,
${e}^{127}$ stands for
${e}^{1}\wedge {e}^{2}\wedge {e}^{7}$, and so on. The group G_{2} is the stabilizer of (2) under the standard action of
$\text{GL}\left(\mathrm{7,}\mathbb{R}\right)$ on
${\Lambda}^{3}{\left({\mathbb{R}}^{7}\right)}^{\mathrm{*}}$. G_{2} is one of the exceptional Lie groups, and it is a compact, connected, simply connected simple Lie subgroup of
$\text{SO}\left(7\right)$ of dimension 14.

A G_{2}- structure on a 7-dimensional manifold M is a reduction of the structure group of its frame bundle from
$\text{GL}\left(\mathrm{7,}\mathbb{R}\right)$ to the exceptional Lie group G_{2}, which can actually be viewed naturally as a subgroup of
$\text{SO}\left(7\right)$. Thus, a G_{2}-structure determines a Riemannian metric and an orientation on M. In fact, one can prove that the existence of a G_{2}-structure is equivalent to the existence of a global differential 3-form
$\phi $ (the G_{2} form) on M, which can be locally written as (2) with respect to some (local) basis
$\left\{{e}^{1}\mathrm{,}\cdots \mathrm{,}{e}^{7}\right\}$ of the (local) 1-forms on M. Such a 3-form
$\phi $ was introduced by Bonan in [35] , and it induces a Riemannian metric
${g}_{\phi}$ and a volume form
$d{V}_{\phi}$ on M satisfying (1). We say that the manifold M has a closed (or calibrated) G_{2}-structure if there is a G_{2}-structure
$\phi $ on M such that
$\phi $ is closed, that is
$d\phi =0$, and so
$\phi $ defines a calibration [14].

Now, let G be a 7-dimensional simply connected nilpotent Lie group with Lie algebra
$\mathfrak{g}$. Then, a G_{2}-structure on G is left invariant if and only if the corresponding 3-form
$\phi $ is left invariant. Thus, a left invariant G_{2}-structure on G corresponds to an element
$\phi $ of
${\Lambda}^{3}\left({\mathfrak{g}}^{\mathrm{*}}\right)$ that can be written as (2), that is,

$\phi ={e}^{127}+{e}^{347}+{e}^{567}+{e}^{135}-{e}^{146}-{e}^{236}-{e}^{245},$ (3)

with respect to some orthonormal coframe
$\left\{{e}^{1}\mathrm{,}\cdots \mathrm{,}{e}^{7}\right\}$ of the dual space
${\mathfrak{g}}^{\ast}$. We say that a G_{2}-structure on
$\mathfrak{g}$ is calibrated if
$\phi $ is closed, i.e.

$d\phi =0,$

where d denotes the Chevalley-Eilenberg differential on
${\mathfrak{g}}^{\ast}$. If
$\Gamma $ is a discrete subgroup of G, a G_{2}-structure on
$\mathfrak{g}$ induces a G_{2}-structure on the quotient
$\Gamma \backslash G$. In particular, if
$\mathfrak{g}$ is solvable and
$\Gamma $ is a discrete subgroup of G such that the quotient
$\Gamma \backslash G$ is compact, then a G_{2}-structure on
$\mathfrak{g}$ determines a G_{2}-structure on the compact manifold
$\Gamma \backslash G$, which is called a compact solvmanifold; and if
$\mathfrak{g}$ has a calibrated G_{2}-structure, the G_{2}-structure on
$\Gamma \backslash G$ is also calibrated.

3. Formal Manifolds

First, we need some definitions and results about minimal models. Let $\left(A\mathrm{,}d\right)$ be a differential algebra, that is, A is a graded commutative algebra over the real numbers, with a differential d which is a derivation, that is, $d\left(a\cdot b\right)=\left(da\right)\cdot b+{\left(-1\right)}^{deg\left(a\right)}a\cdot \left(db\right)$, where $deg\left(a\right)$ is the degree of a.

A differential algebra $\left(A\mathrm{,}d\right)$ is said to be minimal if it satisfies the following two conditions:

1) A is free as an algebra, that is, A is the free algebra V over a graded vector space $V=\oplus {V}_{i}$,

2) there exists a collection of generators $\left\{{a}_{\tau}\mathrm{,}\tau \in I\right\}$, for some well-ordered index set I, such that $deg\left({a}_{\mu}\right)\le deg\left({a}_{\tau}\right)$ if $\mu <\tau $ and each $d{a}_{\tau}$ is expressed in terms of preceding ${a}_{\mu}$ ( $\mu <\tau $ ). This implies that $d{a}_{\tau}$ does not have a linear part, that is, it lives in $\Lambda {V}^{>0}\cdot \Lambda {V}^{>0}\subset V$.

Morphisms between differential algebras are required to be degree-preserving algebra maps which commute with the differentials. Given a differential algebra $\left(A\mathrm{,}d\right)$, we denote by ${H}^{\mathrm{*}}\left(A\right)$ its cohomology. We say that A is connected if ${H}^{0}\left(A\right)=\mathbb{R}$, and A is one-connected if, in addition, ${H}^{1}\left(A\right)=0$.

We will say that $\left(\mathcal{M}\mathrm{,}d\right)$ is a minimal model of the differential algebra $\left(A\mathrm{,}d\right)$ if $\left(\mathcal{M}\mathrm{,}d\right)$ is minimal and there exists a morphism of differential graded algebras $\rho \mathrm{:}\left(\mathcal{M}\mathrm{,}d\right)\to \left(A\mathrm{,}d\right)$ inducing an isomorphism ${\rho}^{\mathrm{*}}\mathrm{:}{H}^{\mathrm{*}}\left(\mathcal{M}\right)\to {H}^{\mathrm{*}}\left(A\right)$ on cohomology. Halperin [36] proved that any connected differential algebra $\left(A\mathrm{,}d\right)$ has a minimal model unique up to isomorphism.

A minimal model $\left(\mathcal{M}\mathrm{,}d\right)$ is said to be formal if there is a morphism of differential algebras $\Psi \mathrm{:}\left(\mathcal{M}\mathrm{,}d\right)\to \left({H}^{\mathrm{*}}\left(\mathcal{M}\right)\mathrm{,}d=0\right)$ that induces the identity on cohomology. The formality of a minimal model can be distinguished as follows.

Theorem 3.1 [37] A minimal model $\left(\mathcal{M}\mathrm{,}d\right)$ is formal if and only if $\mathcal{M}=\Lambda V$ and the space V decomposes as a direct sum $V=C\oplus N$ with $d\left(C\right)=0$, d is injective on N and such that every closed element in the ideal $I\left(N\right)$ generated by N in $\Lambda V$ is exact.

A minimal model of a connected differentiable manifold M is a minimal model $\left(\Lambda V\mathrm{,}d\right)$ for the de Rham complex $\left({\Omega}^{\mathrm{*}}M\mathrm{,}d\right)$ of differential forms on M. If M is a simply connected manifold, the dual of the real homotopy vector space ${\pi}_{i}\left(M\right)\otimes \mathbb{R}$ is isomorphic to ${V}^{i}$ for any i. (For details see, for example, [37] [38].)

Definition 3.2 We will say that a differentiable manifold M is formal if its minimal model is formal or, equivalently, the differential algebras $\left({\Omega}^{\mathrm{*}}M\mathrm{,}d\right)$ and $\left({H}^{*}\left(M\right),d=0\right)$ have the same minimal model.

Many examples of formal manifolds are known: spheres, projective spaces, compact Lie groups, symmetric spaces, flag manifolds, and all compact Kähler manifolds [37].

We will also use the following property

Lemma 3.3 Let ${M}_{1}$ and ${M}_{2}$ be differentiable manifolds. Then, the product manifold $M={M}_{1}\times {M}_{2}$ is formal if and only if ${M}_{1}$ and ${M}_{2}$ are formal.

In [39] , the condition of formal manifold is weaken to s-formal manifold as follows.

Definition 3.4 Let $\left(\mathcal{M}\mathrm{,}d\right)$ be a minimal model of a differentiable manifold M. We say that $\left(\mathcal{M}\mathrm{,}d\right)$ is s-formal, or M is an s-formal manifold $\left(s\ge 0\right)$ if $\mathcal{M}=\Lambda V$ such that for each $i\le s$, the space ${V}^{i}$ of generators of degree i decomposes as a direct sum ${V}^{i}={C}^{i}\oplus {N}^{i}$, where the spaces ${C}^{i}$ and ${N}^{i}$ satisfy the three following conditions:

1) $d\left({C}^{i}\right)=0$,

2) the differential map $d\mathrm{:}{N}^{i}\to V$ is injective,

3) any closed element in the ideal ${I}_{s}={I}_{s}\left(\underset{i\le s}{\oplus}{N}^{i}\right)$, generated by $\underset{i\le s}{\oplus}{N}^{i}$ in $\Lambda \left(\text{\hspace{0.05em}}\underset{i\le s}{\oplus}{V}^{i}\right)$, is exact in $\Lambda V$.

The relation between the formality and the s-formality for a manifold is given in the following theorem.

Theorem 3.5 Let M be a connected and orientable compact differentiable manifold of dimension 2n or $\left(2n-1\right)$. Then M is formal if and only if it is $\left(n-1\right)$ -formal.

4. The Compact Solvmanifolds M^{7}(k)

Let $G\left(k\right)$ be the simply connected and solvable Lie group of dimension 5 consisting of matrices of the form

$a=\left(\begin{array}{cccccc}{e}^{k{x}_{5}}& 0& 0& 0& 0& {x}_{1}\\ 0& {e}^{-k{x}_{5}}& 0& 0& 0& {x}_{2}\\ 0& 0& {e}^{k{x}_{5}}& 0& 0& {x}_{3}\\ 0& 0& 0& {e}^{-k{x}_{5}}& 0& {x}_{4}\\ 0& 0& 0& 0& 1& {x}_{5}\\ 0& 0& 0& 0& 0& 1\end{array}\right),$ (4)

where ${x}_{i}\in \mathbb{R}$, for $1\le i\le 5$, and k is a real number such that ${e}^{k}+{e}^{-k}$ is an integer number different from 2. Then a global system of coordinates $\left\{{x}_{i}\mathrm{,1}\le i\le 5\right\}$ for $G\left(k\right)$ is defined by ${x}_{i}\left(a\right)={x}_{i}$, and a standard calculation shows that a basis for the right invariant 1-forms on $G\left(k\right)$ consists of

$\begin{array}{l}{e}^{1}=d{x}_{1}-k{x}_{1}d{x}_{5},\text{\hspace{1em}}{e}^{2}=d{x}_{2}+k{x}_{2}d{x}_{5},\\ {e}^{3}=d{x}_{3}-k{x}_{3}d{x}_{5},\text{\hspace{1em}}{e}^{4}=d{x}_{4}+k{x}_{4}d{x}_{5},\\ {e}^{5}=d{x}_{5}.\end{array}$ (5)

We notice that the Lie group $G\left(k\right)$ may be described as a semidirect product $G\left(k\right)=\mathbb{R}{\u22c9}_{{\rho}_{k}}{\mathbb{R}}^{4}$, where $\mathbb{R}$ acts on ${\mathbb{R}}^{4}$ via the linear transformation ${\rho}_{k}\left(t\right)$ of ${\mathbb{R}}^{4}$ given by the matrix

${\rho}_{k}\left(t\right)=\left(\begin{array}{cccc}{e}^{kt}& 0& 0& 0\\ 0& {e}^{-kt}& 0& 0\\ 0& 0& {e}^{kt}& 0\\ 0& 0& 0& {e}^{-kt}\end{array}\right).$

Thus the operation on the group $G\left(k\right)$ is given by

$x\cdot a=\left({x}_{1}+{a}_{1}{e}^{k{x}_{5}}\mathrm{,}{x}_{2}+{a}_{2}{e}^{-k{x}_{5}}\mathrm{,}{x}_{3}+{a}_{3}{e}^{k{x}_{5}}\mathrm{,}{x}_{4}+{a}_{4}{e}^{-k{x}_{5}}\mathrm{,}{x}_{5}+{a}_{5}\right),$

where $a=\left({a}_{1}\mathrm{,}\cdots \mathrm{,}{a}_{5}\right)$ and similarly for $x$. Therefore $G\left(k\right)=\mathbb{R}{\u22c9}_{{\rho}_{k}}{\mathbb{R}}^{4}$, where $\mathbb{R}$ is a connected abelian subgroup, and ${\mathbb{R}}^{4}$ is the nilpotent commutator subgroup.

Now we show that there exists a discrete subgroup $\Gamma \left(k\right)$ of $G\left(k\right)$ such that the quotient space $G\left(k\right)/\Gamma \left(k\right)$ is compact. To construct $\Gamma \left(k\right)$ it suffices to find some real number ${t}_{0}$ such that the matrix defining ${\rho}_{k}\left({t}_{0}\right)$ is conjugate to an element A of the special linear group $\text{SL}\left(\mathrm{4,}\mathbb{Z}\right)$ with distinct real eigenvalues $\lambda $ and ${\lambda}^{-1}$. Indeed, we could then find a lattice ${\Gamma}_{0}$ in ${\mathbb{R}}^{4}$ which is invariant under ${\rho}_{k}\left({t}_{0}\right)$, and take $\Gamma \left(k\right)=\left({t}_{0}\mathbb{Z}\right){\u22c9}_{{\rho}_{k}}{\Gamma}_{0}$. To this end, we choose the matrix $A\in \text{SL}\left(\mathrm{4,}\mathbb{Z}\right)$ given by

$A=\left(\begin{array}{cccc}2& 1& 0& 0\\ 1& 1& 0& 0\\ 0& 0& 2& 1\\ 0& 0& 1& 1\end{array}\right),$ (6)

with double eigenvalues $\frac{3+\sqrt{5}}{2}$ and $\frac{3-\sqrt{5}}{2}$. Taking ${t}_{0}=\frac{1}{k}\mathrm{log}\left(\frac{3+\sqrt{5}}{2}\right)$, we have that the matrices ${\rho}_{k}\left({t}_{0}\right)$ and A are conjugate. In fact, put

$P=\left(\begin{array}{cccc}1& \frac{1}{2}\left(\sqrt{5}-1\right)& 0& 0\\ 1& -\frac{1}{2}\left(\sqrt{5}+1\right)& 0& 0\\ 0& 0& 1& \frac{1}{2}\left(\sqrt{5}-1\right)\\ 0& 0& 1& -\frac{1}{2}\left(\sqrt{5}+1\right)\end{array}\right).$ (7)

Then a direct calculation shows that $PA={\rho}_{k}\left({t}_{0}\right)P$. So, if ${\left({m}_{1}\mathrm{,}{m}_{2}\mathrm{,}{m}_{3}\mathrm{,}{m}_{4}\right)}^{t}$ is the transpose of the vector $\left({m}_{1}\mathrm{,}{m}_{2}\mathrm{,}{m}_{3}\mathrm{,}{m}_{4}\right)$, where ${m}_{1}\mathrm{,}{m}_{2}\mathrm{,}{m}_{3}\mathrm{,}{m}_{4}\in \mathbb{Z}$, the lattice ${\Gamma}_{0}$ in ${\mathbb{R}}^{4}$ defined by

${\Gamma}_{0}=P{\left({m}_{1}\mathrm{,}{m}_{2}\mathrm{,}{m}_{3}\mathrm{,}{m}_{4}\right)}^{t}\mathrm{,}$ (8)

is invariant under the subgroup $\mathbb{Z}$. Thus $\Gamma \left(k\right)=\left({t}_{0}\mathbb{Z}\right){\u22c9}_{{\rho}_{k}}{\Gamma}_{0}$ is a cocompact subgroup of $G\left(k\right)$. So, the quotient space

$S\left(k\right)=G\left(k\right)/\Gamma \left(k\right)$ (9)

is a 5-dimensional compact solvable manifold.

Alternatively,
$S\left(k\right)$ may be viewed as the total space of a T^{4}-bundle over the circle
${S}^{1}$. In fact, let
${T}^{4}={\mathbb{R}}^{4}/{\Gamma}_{0}$ be the 4-dimensional torus and
$\nu :\mathbb{Z}\to \text{Diff}\left({T}^{4}\right)$ the representation defined as follows:
$\nu \left(m\right)$ is the transformation of T^{4} covered by the linear transformation of
${\mathbb{R}}^{4}$ given by the matrix

${\rho}_{k}\left(m{t}_{0}\right)=\left(\begin{array}{cccc}{e}^{km{t}_{0}}& 0& 0& 0\\ 0& {e}^{-km{t}_{0}}& 0& 0\\ 0& 0& {e}^{km{t}_{0}}& 0\\ 0& 0& 0& {e}^{-km{t}_{0}}\end{array}\right).$

So $\mathbb{Z}$ acts on ${T}^{4}\times \mathbb{R}$ by

$\left(\left({x}_{1}\mathrm{,}{x}_{2}\mathrm{,}{x}_{3}\mathrm{,}{x}_{4}\right)\mathrm{,}{x}_{5}\right)\mapsto \left({\rho}_{k}\left(m{t}_{0}\right)\cdot {\left({x}_{1}\mathrm{,}{x}_{2}\mathrm{,}{x}_{3}\mathrm{,}{x}_{4}\right)}^{t}\mathrm{,}{x}_{5}+m\right)\mathrm{,}$

and S is the quotient $\left({T}^{4}\times \mathbb{R}\right)/\mathbb{Z}$. The projection $\pi $ is given by

$\pi \left[\left({x}_{1}\mathrm{,}{x}_{2}\mathrm{,}{x}_{3}\mathrm{,}{x}_{4}\right)\mathrm{,}{x}_{5}\right]=\left[{x}_{5}\right]\mathrm{.}$

Next, we consider the 7-dimensional compact manifold

${M}^{7}\left(k\right)=S\left(k\right)\times {T}^{2},$ (10)

where T^{2} is the 2-torus
${T}^{2}={\mathbb{R}}^{2}/{\mathbb{Z}}^{2}$.

To compute the real cohomology of
${M}^{7}\left(k\right)$, we notice that
$S\left(k\right)$ is completely solvable, that is the map
$a{d}_{X}\mathrm{:}\mathfrak{g}\left(k\right)\to \mathfrak{g}\left(k\right)$ has only real eigenvalues for all
$X\in \mathfrak{g}\left(k\right)$, where
$\mathfrak{g}\left(k\right)$ denotes the Lie algebra of
$G\left(k\right)$. Thus Hattori’s theorem [40] says that the de Rham cohomology ring
${H}^{\mathrm{*}}\left(S\left(k\right)\right)$ is isomorphic to the cohomology ring
${H}^{\mathrm{*}}\left(\mathfrak{g}{\left(k\right)}^{\mathrm{*}}\right)$ of the Lie algebra
$\mathfrak{g}\left(k\right)$ of
$G\left(k\right)$. For simplicity we denote the right invariant forms
$\left\{{e}^{i}\right\}$
$\left(i=1,\cdots ,5\right)$ on
$G\left(k\right)$ and their projections on
$S\left(k\right)$ by the same symbols. Then, if we denote by
${e}^{6}\mathrm{,}{e}^{7}$ the (right invariant) closed 1-forms on the 2-torus T^{2} whose cohomology classes generate the De Rham cohomology group
${H}^{1}\left({T}^{2}\mathrm{,}\mathbb{R}\right)$, we have that the 1-forms
${e}^{i}$
$\left(1\le i\le 7\right)$ on
${M}^{7}\left(k\right)$ are such that

$d{e}^{1}=-k{e}^{15},\text{\hspace{1em}}d{e}^{2}=k{e}^{25},\text{\hspace{1em}}d{e}^{3}=-k{e}^{35},\text{\hspace{1em}}d{e}^{4}=k{e}^{45},\text{\hspace{1em}}d{e}^{i}=0,\text{\hspace{0.05em}}i=5,6,7,$ (11)

and such that at each point of ${M}^{7}\left(k\right)$, $\left\{{e}^{1}\mathrm{,}{e}^{2}\mathrm{,}{e}^{3}\mathrm{,}{e}^{4}\mathrm{,}{e}^{5}\mathrm{,}{e}^{6}\mathrm{,}{e}^{7}\right\}$ is a basis for the 1-forms on ${M}^{7}\left(k\right)$. Here ${e}^{15}$ stands for ${e}^{1}\wedge {e}^{5}$, and so on. Then, the real cohomology groups of ${M}^{7}\left(k\right)$ are:

$\begin{array}{l}{H}^{0}\left({M}^{7}\left(k\right)\right)=\langle 1\rangle ,\\ {H}^{1}\left({M}^{7}\left(k\right)\right)=\langle \left[{e}^{5}\right],\left[{e}^{6}\right],\left[{e}^{7}\right]\rangle ,\\ {H}^{2}\left({M}^{7}\left(k\right)\right)=\langle \left[{e}^{12}\right],\left[{e}^{14}\right],\left[{e}^{23}\right],\left[{e}^{34}\right],\left[{e}^{56}\right],\left[{e}^{57}\right],\left[{e}^{67}\right]\rangle ,\\ {H}^{3}\left({M}^{7}\left(k\right)\right)=\langle \left[{e}^{125}\right],\left[{e}^{126}\right],\left[{e}^{127}\right],\left[{e}^{145}\right],\left[{e}^{146}\right],\left[{e}^{147}\right],\left[{e}^{235}\right],\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left[{e}^{236}\right],\left[{e}^{237}\right],\left[{e}^{345}\right],\left[{e}^{346}\right],\left[{e}^{347}\right],\left[{e}^{567}\right]\rangle ,\end{array}$

$\begin{array}{l}{H}^{4}\left({M}^{7}\left(k\right)\right)=\langle \left[{e}^{1234}\right],\left[{e}^{1256}\right],\left[{e}^{1257}\right],\left[{e}^{1267}\right],\left[{e}^{1456}\right],\left[{e}^{1457}\right],\left[{e}^{1467}\right],\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left[{e}^{2356}\right],\left[{e}^{2357}\right],\left[{e}^{2367}\right],\left[{e}^{3456}\right],\left[{e}^{3457}\right],\left[{e}^{3467}\right]\rangle ,\\ {H}^{5}\left({M}^{7}\left(k\right)\right)=\langle \left[{e}^{12345}\right],\left[{e}^{12346}\right],\left[{e}^{12347}\right],\left[{e}^{12567}\right],\left[{e}^{14567}\right],\left[{e}^{23567}\right],\left[{e}^{34567}\right]\rangle ,\\ {H}^{6}\left({M}^{7}\left(k\right)\right)=\langle \left[{e}^{123456}\right],\left[{e}^{123457}\right],\left[{e}^{123467}\right]\rangle ,\\ {H}^{7}\left({M}^{7}\left(k\right)\right)=\langle \left[{e}^{1234567}\right]\rangle .\end{array}$ (12)

Thus, the Betti numbers of ${M}^{7}\left(k\right)$ are

$\begin{array}{l}{b}_{0}\left({M}^{7}\left(k\right)\right)={b}_{7}\left({M}^{7}\left(k\right)\right)=1,\\ {b}_{1}\left({M}^{7}\left(k\right)\right)={b}_{6}\left({M}^{6}\left(k\right)\right)=3,\\ {b}_{2}\left({M}^{7}\left(k\right)\right)={b}_{5}\left({M}^{7}\left(k\right)\right)=7,\\ {b}_{3}\left({M}^{7}\left(k\right)\right)={b}_{4}\left({M}^{7}\left(k\right)\right)=13.\end{array}$ (13)

Proposition 4.1. The 5-manifold $S\left(k\right)$ is 2-formal and so formal. Therefore, ${M}^{7}\left(k\right)=S\left(k\right)\times {T}^{2}$ is formal.

Proof. To prove that $S\left(k\right)$ is 2-formal, we see that its minimal model must be a differential graded algebra $\left(\mathcal{M}\mathrm{,}d\right)$, where $\mathcal{M}$ is the free algebra of the form $\mathcal{M}=\Lambda \left({a}_{1}\right)\otimes \Lambda \left({a}_{2}\mathrm{,}{b}_{2}\mathrm{,}{c}_{2}\mathrm{,}{e}_{2}\right)\otimes \Lambda {V}^{\ge 3}$, where the generator ${a}_{1}$ has degree 1, the generators ${a}_{2}\mathrm{,}{b}_{2}\mathrm{,}{c}_{2}\mathrm{,}{e}_{2}$ have degree 2, and the differential d is given by $d{a}_{1}=d{a}_{2}=d{b}_{2}=d{c}_{2}=d{e}_{2}=0$. The morphism $\rho \mathrm{:}\mathcal{M}\to \Omega \left(S\left(k\right)\right)$, inducing an isomorphism on cohomology, is defined by $\rho \left({a}_{1}\right)={e}^{5},\rho \left({a}_{2}\right)={e}^{12},\rho \left({b}_{2}\right)={e}^{14},\rho \left({c}_{2}\right)={e}^{23}$ and $\rho \left({e}_{2}\right)={e}^{34}$.

According to Definition 3.4, we get ${C}^{1}=\langle {a}_{1}\rangle $ and ${N}^{1}=0$, thus $S\left(k\right)$ is 1-formal. Moreover, $S\left(k\right)$ is 2-formal since ${C}^{2}=\langle {a}_{2},{b}_{2},{c}_{2},{e}_{2}\rangle $ and ${N}^{2}=0$. Hence, $S\left(k\right)$ is 2-formal, and so formal by Theorem 3.5. Now, Lemma 3.3 implies that ${M}^{7}\left(k\right)=S\left(k\right)\times {T}^{2}$ is formal.

We define the 3-form $\phi $ on ${M}^{7}\left(k\right)$ given by

${\phi}_{k}={e}^{127}+{e}^{347}+{e}^{567}+{e}^{135}-{e}^{146}-{e}^{236}-{e}^{245}.$ (14)

Clearly,
${\phi}_{k}$ is a G_{2} form on
${M}^{7}\left(k\right)$ which is closed. Indeed, on the right-hand side of (14) all the terms are closed, and so
${\phi}_{k}$ is closed. Note that the dual form
${\star}_{{\phi}_{k}}{\phi}_{k}$ has the following expression

${\star}_{{\phi}_{k}}{\phi}_{k}={e}^{1234}+{e}^{1256}+{e}^{1367}+{e}^{1457}+{e}^{2357}-{e}^{2467}+{e}^{3456}\mathrm{.}$

So, taking into account (11) and (12), we see that
${e}^{1367}$ and
${e}^{2467}$ are the unique nonclosed summands in
${\star}_{{\phi}_{k}}{\phi}_{k}$. In fact,
$d{\star}_{{\phi}_{k}}{\phi}_{k}=2k\left({e}^{13567}-{e}^{24567}\right)\ne 0$. Therefore,
${\phi}_{k}$ does not define a torsion-free G_{2}-structure on
${M}^{7}\left(k\right)$.

Now, let
$H\left(k\right)$ be the simply connected solvable (non-nilpotent) Lie group
$H\left(k\right)=G\left(k\right)\times {\mathbb{R}}^{2}$. Then,
$\left\{{e}^{1}\mathrm{,}{e}^{2}\mathrm{,}{e}^{3}\mathrm{,}{e}^{4}\mathrm{,}{e}^{5}\mathrm{,}{e}^{6}\mathrm{,}{e}^{7}\right\}$ is a basis for the right invariant 1-forms on
$H\left(k\right)$ and the structure equations of
$H\left(k\right)$ are given by (11). So, the closed G_{2} form
${\phi}_{k}$ defined in (14) is a right invariant closed G_{2} form on
$H\left(k\right)$.

Let N be a simply connected solvable Lie group of dimension n, and denote by $\mathfrak{n}$ its Lie algebra. Recall that a right invariant metric g on N is called a Ricci solsoliton metric (or simply solsoliton metric) if its Ricci endomorphism $Ric\left(g\right)$ differs from a derivation D of $\mathfrak{n}$ by a scalar multiple of the identity map ${I}_{n}$, i.e. if there exists a real number $\lambda $ such that

$Ric\left(g\right)=\lambda {I}_{n}+D.$

Not all solvable Lie groups admit solsoliton metrics, but if a solsoliton exists, then it is unique up to automorphism and scaling [41].

Proposition 4.2. Let
$H\left(k\right)$ be the seven dimensional Lie group
$H\left(k\right)=G\left(k\right)\times {\mathbb{R}}^{2}$, and let
${\phi}_{k}$ be the right invariant closed G_{2} form on
$H\left(k\right)$ defined in (14). Then the metric
${g}_{k}$ determined by
${\phi}_{k}$ is a solsoliton on
$H\left(k\right)$.

Proof. Clearly, the metric ${g}_{k}$ induced on $H\left(k\right)$ by ${\phi}_{k}$ is such that the basis $\left\{{e}^{1}\mathrm{,}{e}^{2}\mathrm{,}{e}^{3}\mathrm{,}{e}^{4}\mathrm{,}{e}^{5}\mathrm{,}{e}^{6}\mathrm{,}{e}^{7}\right\}$ for the 1-forms on $H\left(k\right)$ is orthonormal, that is ${g}_{k}={\displaystyle {\sum}_{i=1}^{7}}{\left({e}^{i}\right)}^{2}$. Then, ${g}_{k}$ is a solsoliton since

$Ric\left({g}_{k}\right)=\text{diag}\left(\mathrm{0,0,0,0,}-4{k}^{2}\mathrm{,0,0}\right)=-4{k}^{2}{I}_{7}+D\mathrm{,}$

where

$D=\text{diag}\left(4{k}^{2}\mathrm{,4}{k}^{2}\mathrm{,4}{k}^{2}\mathrm{,4}{k}^{2}\mathrm{,0,4}{k}^{2}\mathrm{,4}{k}^{2}\right)\mathrm{,}$

is a derivation of the Lie algebra $\mathfrak{h}\left(k\right)$ of $H\left(k\right)$.

5. Associative 3-Folds in M^{7}(k)

In this section, we show associative 3-folds of the compact G_{2}-calibrated solvmanifold
${M}^{7}\left(k\right)$ defined in (10) with the closed G_{2} form
${\phi}_{k}$ given by (14). First, we need some definitions and results about calibrations (see [14] [15] for details).

Let $\left(M\mathrm{,}g\right)$ be a Riemannian manifold. An oriented tangent k-plane V on M is a vector subspace V of some tangent space ${T}_{p}M$ to M, with $\mathrm{dim}V=k$ and equipped with an orientation. If V is an oriented tangent k-plane on M, then ${g}_{\mathrm{|}V}$ is a Euclidean metric on V. So, combining ${g}_{\mathrm{|}V}$ with the orientation on V gives a natural volume form $vo{l}_{V}$ on V, which is a k-form on V.

Let $\theta $ a closed k-form on a Riemannian manifold $\left(M\mathrm{,}g\right)$. We say that $\theta $ is a calibration on M if for any $p\in M$ and every oriented k-dimensional subspace V of the tangent space ${T}_{p}M$ we have ${\theta |}_{V}=\lambda vo{l}_{V}$, for some $\lambda \le 1$ (see [14] and [15] 3.7). Thus, if Y is an oriented submanifold of M with dimension k then, for any $p\in Y$, the tangent space ${T}_{p}Y$ is an oriented tangent k-plane on M. We say that Y is a calibrated submanifold if ${\theta \left(p\right)|}_{{T}_{p}Y}=vo{l}_{{T}_{p}Y}$, for all $p\in Y$.

All calibrated submanifolds are minimal submanifolds. Even more, every compact calibrated submanifold is volume-minimizing in its homology class ( [15] Proposition~3.7.2).

Harvey and Lawson in [14] proved that any closed G_{2} form
$\phi $ on a 7-manifold M is a calibration on M. The 3-dimensional orientable submanifolds
$Y\subset M$ calibrated by the G_{2} form
$\phi $, i.e. those submanifolds
$Y\subset M$ that satisfy
${\phi \left(p\right)|}_{{T}_{p}Y}=vo{l}_{Y}\left(p\right)$, for each
$p\in Y$ and for some unique orientation of Y, are called associative 3-folds.

Next, we shall produce examples of associative 3-folds in
${M}^{7}\left(k\right)$ from the fixed locus of a G_{2}-involution of the compact manifold
${M}^{7}\left(k\right)$ applying the following.

Proposition 5.1 ( [15] [Proposition 10.8.1]) Let N be a 7-manifold with a closed G_{2} form
$\varphi $, and let
$\sigma \mathrm{:}N\to N$ be an involution of N satisfying
${\sigma}^{*}\varphi =\varphi $ and such that
$\sigma $ is not the identity map. Then the fixed point set
$P=\left\{p\in N|\sigma \left(p\right)=p\right\}$ is an embedded associative 3-fold. Furthermore, if N is compact then so is P.

Remark 5.2 Note that Proposition 10.8.1 in [15] is stated for the G_{2}-structures that are closed and coclosed, but the coclosed condition is not used in the proof.

Proposition 5.3 There exist nine disjoint copies of 3-tori in ${M}^{7}\left(k\right)$, which define nine embedded, associative (calibrated by ${\phi}_{k}$ ), minimal 3-tori in ${M}^{7}\left(k\right)$.

Proof. Let $H\left(k\right)$ be the seven dimensional Lie group $H\left(k\right)=G\left(k\right)\times {\mathbb{R}}^{2}$ defined in Proposition 4.2. We consider on $H\left(k\right)$ the involution given by

$\sigma \mathrm{:}\left({x}_{1}\mathrm{,}{x}_{2}\mathrm{,}{x}_{3}\mathrm{,}{x}_{4}\mathrm{,}{x}_{5}\mathrm{,}{x}_{6}\mathrm{,}{x}_{7}\right)\mapsto \left(-{x}_{1}\mathrm{,}-{x}_{2}\mathrm{,}-{x}_{3}\mathrm{,}-{x}_{4}\mathrm{,}{x}_{5}\mathrm{,}{x}_{6}\mathrm{,}{x}_{7}\right)\mathrm{,}$ (15)

that is $\sigma $ is the product of the involutions ${\sigma}_{1}:G\left(k\right)\to G\left(k\right)$ with the identity map of ${\mathbb{R}}^{2}$, where ${\sigma}_{1}$ is defined by

${\sigma}_{1}\mathrm{:}\left({x}_{1}\mathrm{,}{x}_{2}\mathrm{,}{x}_{3}\mathrm{,}{x}_{4}\mathrm{,}{x}_{5}\right)\mapsto \left(-{x}_{1}\mathrm{,}-{x}_{2}\mathrm{,}-{x}_{3}\mathrm{,}-{x}_{4}\mathrm{,}{x}_{5}\right)\mathrm{.}$

The involution ${\sigma}_{1}$ is such that ${\sigma}_{1}\left(\Gamma \left(k\right)\right)=\Gamma \left(k\right)$, and so ${\sigma}_{1}$ descends to the 5-dimensional compact manifold $S\left(k\right)=G\left(k\right)/\Gamma \left(k\right)$. Hence, $\sigma $ defines also an involution of ${M}^{7}\left(k\right)$. From now on, we denote by

$\sigma :{M}^{7}\left(k\right)\to {M}^{7}(k)$

the involution of ${M}^{7}\left(k\right)$ induced by the involution $\sigma $ of $H\left(k\right)$ defined in (15). Then, taking into account (5), we have that the induced action on the 1-forms ${e}^{i}$ is given by

${\sigma}^{*}{e}^{i}=-{e}^{i},\text{\hspace{0.05em}}\text{\hspace{0.05em}}i=1,2,3,4,\text{\hspace{1em}}{\rho}^{*}{e}^{j}={e}^{j},\text{\hspace{0.05em}}\text{\hspace{0.05em}}j=5,6,7.$ (16)

Therefore, the G_{2} form
${\phi}_{k}$ on
${M}^{7}\left(k\right)$ defined in (14) is preserved by the involution
$\sigma $ of
${M}^{7}\left(k\right)$. In fact, by (16), each term on the right-hand side of (14) is σ-invariant.

Let P be the fixed locus of $\sigma $. Then, P consists of all the 3-dimensional spaces ${P}_{a}$ given as follows:

${P}_{a}=\left\{\left({a}_{1}\mathrm{,}{a}_{2}\mathrm{,}{a}_{3}\mathrm{,}{a}_{4}\mathrm{,}{x}_{5}\mathrm{,}{x}_{6}\mathrm{,}{x}_{7}\right)\mathrm{|}\left({x}_{5}\mathrm{,}{x}_{6}\mathrm{,}{x}_{7}\right)\in {T}^{3}\right\}\subset {M}^{7}\left(k\right)\mathrm{,}$

where $a=\left({a}_{1}\mathrm{,}{a}_{2}\mathrm{,}{a}_{3}\mathrm{,}{a}_{4}\right)$ with

$\left({a}_{1}\mathrm{,}{a}_{2}\right)\mathrm{,}\left({a}_{3}\mathrm{,}{a}_{4}\right)\in \left\{\left(\mathrm{0,0}\right)\mathrm{,}\left(\frac{1}{2}\mathrm{,}\frac{1}{2}\right)\mathrm{,}\frac{1}{4}\left(\sqrt{5}-1\right)\mathrm{,}-\frac{1}{4}\left(\sqrt{5}+1\right)\right\}\mathrm{.}$

Consequently, P is a disjoint union of 9 copies of a 3-torus T^{3}.

Since the G_{2} form
${\phi}_{k}$ on
${M}^{7}\left(k\right)$ defined in (14) is preserved by the involution
$\sigma $ of
${M}^{7}\left(k\right)$, each of the 9 torus
${P}_{a}$ in
${M}^{7}\left(k\right)$ fixed by
$\sigma :{M}^{7}\left(k\right)\to {M}^{7}\left(k\right)$ is an associative 3-fold in
$\left({M}^{7}\left(k\right)\mathrm{,}{\phi}_{k}\right)$ by Proposition 5.1.

6. The Laplacian Flow

The purpose of this section is to prove that the Laplacian flow of
${\phi}_{k}$ on the 7-dimensional Lie group
$H\left(k\right)$ exists for all time. Moreover, we prove that the Ricci endomorphisms
$Ric\left({g}_{k}\left(t\right)\right)$ of the underlying metrics
${g}_{k}\left(t\right)$ of the solution
${\phi}_{k}\left(t\right)$ are independent of the time t, and so the solution
${\phi}_{k}\left(t\right)$ does not converge to a torsion-free G_{2}-structure as t goes to infinity.

Consider a 7-manifold M endowed with a calibrated G_{2}-structure
${\phi}_{0}$. The Laplacian flow starting from
${\phi}_{0}$ is the initial value problem

$\{\begin{array}{l}\frac{d}{dt}\phi \left(t\right)={\Delta}_{t}\phi \left(t\right),\hfill \\ d\phi \left(t\right)=0,\hfill \\ \phi \left(0\right)={\phi}_{0}.\hfill \end{array}$ (17)

where
${\Delta}_{t}$ denotes the Hodge Laplacian of the Riemannian metric
$g\left(t\right)$ induced by
$\phi \left(t\right)$. This flow was introduced by Bryant in [16] to study seven-dimensional manifolds admitting calibrated G_{2}-structures. Notice that the stationary points of the flow Equation in (17) are harmonic G_{2}-structures, which coincide with torsion-free G_{2}-structures on compact manifolds.

Short-time existence and uniqueness of the solution of (17) when M is compact were proved in [20].

Theorem 6.1 Assume that M is compact. Then, the Laplacian flow (17) has a unique solution defined for a short time $t\in \left[\mathrm{0,}\epsilon \right)$, with $\epsilon $ depending on ${\phi}_{0}$.

In the following theorem, we determine a global solution of the Laplacian flow of the closed G_{2} form
${\phi}_{k}$ given by (14) on the Lie group
$H\left(k\right)=G\left(k\right)\times {\mathbb{R}}^{2}$, where
$G\left(k\right)$ is the Lie group defined in Section 4.

Theorem 6.2 On the simply connected solvable (non-nilpotent) Lie group
$H\left(k\right)=G\left(k\right)\times {\mathbb{R}}^{2}$, the solution of the Laplacian flow (17) starting from the calibrated G_{2}-structure
${\phi}_{k}$ is given by

${\phi}_{k}\left(t\right)={e}^{127}+{e}^{347}+{e}^{567}+{\left(\frac{16}{3}kt+1\right)}^{3/4}{e}^{135}-{e}^{236}-{e}^{146}-{\left(\frac{16}{3}kt+1\right)}^{3/4}{e}^{245},$ (18)

where $t\in \left(-\frac{3}{16\text{\hspace{0.05em}}{k}^{2}}\mathrm{,}+\infty \right)$.

Proof. Let ${f}_{i}={f}_{i}\left(t\right)$ $\left(i=1,\cdots ,7\right)$ be some differentiable real functions depending on a parameter $t\in I\subset \mathbb{R}$ such that ${f}_{i}\left(0\right)=1$ and ${f}_{i}\left(t\right)\ne 0$, for any $t\in I$, where I is a real open interval. For each $t\in I$, we consider the basis $\left\{{x}^{1}\mathrm{,}\cdots \mathrm{,}{x}^{7}\right\}$ of left invariant 1-forms on $H\left(k\right)$ defined by

${x}^{i}={x}^{i}\left(t\right)={f}_{i}\left(t\right){e}^{i},\text{\hspace{1em}}1\le i\le 7.$

Taking into account (11), the structure equations of $H\left(k\right)$ with respect to the basis $\left\{{x}^{1}\mathrm{,}\cdots \mathrm{,}{x}^{7}\right\}$ are

$\begin{array}{l}d{x}^{1}=-k\frac{1}{{f}_{5}}{x}^{15},\text{\hspace{1em}}d{x}^{2}=k\frac{1}{{f}_{5}}{x}^{25},\\ d{x}^{3}=-k\frac{1}{{f}_{5}}{x}^{35},\text{\hspace{1em}}d{x}^{4}=k\frac{1}{{f}_{5}}{x}^{45},\\ d{x}^{5}=d{x}^{6}=d{x}^{7}=0.\end{array}$ (19)

From now on, we write
${f}_{ij}={f}_{ij}\left(t\right)={f}_{i}\left(t\right){f}_{j}\left(t\right)$,
${f}_{ijk}={f}_{ijk}\left(t\right)={f}_{i}\left(t\right){f}_{j}\left(t\right){f}_{k}\left(t\right)$, and so forth. Then, for any
$t\in I$, we consider the G_{2}-structure
${\phi}_{k}\left(t\right)$ on
$H\left(k\right)$ given by

$\begin{array}{c}{\phi}_{k}\left(t\right)={x}^{127}+{x}^{347}+{x}^{567}+{x}^{135}-{x}^{146}-{x}^{236}-{x}^{245}\\ ={f}_{127}{e}^{127}+{f}_{347}{e}^{347}+{f}_{567}{e}^{567}+{f}_{135}{e}^{135}-{f}_{146}{e}^{146}-{f}_{236}{e}^{236}-{f}_{245}{e}^{245}.\end{array}$ (20)

Note that the 3-form ${\phi}_{k}\left(t\right)$ defined by (20) is such that ${\phi}_{k}\left(0\right)={\phi}_{k}$ and, for any t, ${\phi}_{k}\left(t\right)$ determines the metric ${g}_{k}\left(t\right)$ on $H\left(k\right)$ such that the basis

$\left\{{x}_{i}=\frac{1}{{f}_{i}}{e}_{i};i=1,\cdots ,7\right\}$ of left invariant vector fields on $H\left(k\right)$ dual to $\left\{{x}^{1}\mathrm{,}\cdots \mathrm{,}{x}^{7}\right\}$ is orthonormal. Moreover, by (19), ${\phi}_{k}\left(t\right)$ is closed, for any $t\in I$. Therefore, to solve the flow (17) of ${\phi}_{k}$ it is sufficient to determine the functions ${f}_{i}$ and the interval I so that $\frac{d}{dt}{\phi}_{k}\left(t\right)={\Delta}_{t}{\phi}_{k}\left(t\right)$, for $t\in I$.

Clearly ${\Delta}_{t}{\phi}_{k}\left(t\right)=-d{\star}_{t}d{\star}_{t}{\phi}_{k}\left(t\right)$ since $d{\phi}_{k}\left(t\right)=0$. Moreover,

$\begin{array}{l}{\star}_{t}{\phi}_{k}\left(t\right)={x}^{1234}+{x}^{1256}+{x}^{1367}+{x}^{1457}+{x}^{2357}-{x}^{2467}+{x}^{3456}\mathrm{.}\hfill \end{array}$

So, ${x}^{1367}$ and ${x}^{2467}$ are the unique nonclosed summands in ${\star}_{t}{\phi}_{k}\left(t\right)$. Then, taking into account (19), we obtain

${\Delta}_{t}{\phi}_{k}\left(t\right)=\frac{4{k}^{2}}{{f}_{5}^{2}}\left({x}^{135}-{x}^{245}\right).$

Thus, in terms of the forms ${e}^{ijk}$, the expression of ${\Delta}_{t}{\phi}_{k}\left(t\right)$ becomes

${\Delta}_{t}{\phi}_{k}\left(t\right)=\frac{4{k}^{2}}{{f}_{5}}\left({f}_{13}{e}^{135}-{f}_{24}{e}^{245}\right).$ (21)

On the other hand,

$\begin{array}{c}\frac{d}{dt}{\phi}_{k}\left(t\right)={\left({f}_{127}\right)}^{\prime}{e}^{127}+{\left({f}_{347}\right)}^{\prime}{e}^{347}+{\left({f}_{567}\right)}^{\prime}{e}^{567}+{\left({f}_{135}\right)}^{\prime}{e}^{135}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-{\left({f}_{146}\right)}^{\prime}{e}^{146}-{\left({f}_{236}\right)}^{\prime}{e}^{236}-{\left({f}_{245}\right)}^{\prime}{e}^{245}.\end{array}$ (22)

Comparing (21) and (22) we have that $\frac{d}{dt}{\phi}_{k}\left(t\right)={\Delta}_{t}{\phi}_{k}\left(t\right)$ if and only if the functions ${f}_{i}$ satisfy the following equations

${\left({f}_{127}\right)}^{\prime}={\left({f}_{347}\right)}^{\prime}={\left({f}_{567}\right)}^{\prime}={\left({f}_{236}\right)}^{\prime}={\left({f}_{146}\right)}^{\prime}=0,$ (23)

${\left({f}_{135}\right)}^{\prime}=4{k}^{2}\frac{{f}_{13}}{{f}_{5}},$ (24)

${\left({f}_{245}\right)}^{\prime}=4{k}^{2}\frac{{f}_{24}}{{f}_{5}}\mathrm{.}$ (25)

The equations (23) with the initial conditions ${f}_{i}\left(0\right)=1$ $\left(i=1,\cdots ,7\right)$ imply

${f}_{127}={f}_{347}={f}_{567}={f}_{236}={f}_{146}=1.$

Now, the equalities ${f}_{127}={f}_{347}$ and ${f}_{236}={f}_{146}$ imply ${f}_{12}={f}_{34}$ and ${f}_{23}={f}_{14}$, respectively, and thus

${f}_{1}={f}_{3}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}{f}_{2}={f}_{4}\mathrm{.}$ (26)

Moreover, from ${f}_{127}={f}_{236}=1$ we have

${f}_{6}={f}_{7}=1/{f}_{12},$ (27)

and from ${f}_{567}=1$ we have

${f}_{5}={f}_{12}^{2}.$ (28)

Now, using (26) and (28), the system of differential equations formed by the Equations (24) and (25) is written as

$\{\begin{array}{l}{\left({f}_{1}^{2}{\left({f}_{1}{f}_{2}\right)}^{2}\right)}^{\prime}=4{k}^{2}\frac{1}{{f}_{2}^{2}},\\ {\left({f}_{2}^{2}{\left({f}_{1}{f}_{2}\right)}^{2}\right)}^{\prime}=4{k}^{2}\frac{1}{{f}_{1}^{2}}.\end{array}$ (29)

Multiplying the first equation of (29) by ${f}_{2}^{2}$, and the second one by ${f}_{1}^{2}$, one can check that (29) implies that

${f}_{2}^{2}{\left({f}_{1}^{4}{f}_{2}^{2}\right)}^{\prime}={f}_{1}^{2}{\left({f}_{1}^{2}{f}_{2}^{4}\right)}^{\prime},$

that is,

${f}_{2}{\left({f}_{1}\right)}^{\prime}={f}_{1}{\left({f}_{2}\right)}^{\prime}.$

Then, using that ${f}_{1}\left(0\right)={f}_{2}\left(0\right)=1$, we have

${f}_{1}={f}_{2}.$ (30)

Thus, the system (29) is written as follows

${\left({f}_{1}^{6}\right)}^{\prime}=4{k}^{2}\frac{1}{{f}_{1}^{2}}.$

Integrating this equation, we obtain

$\frac{3}{4}{f}_{1}^{8}=4{k}^{2}t+C,$

for some constant $C\in \mathbb{R}$. But the initial condition ${f}_{1}\left(0\right)=1$ implies $C=\frac{3}{4}$, and hence

${f}_{1}\left(t\right)=\sqrt[8]{\frac{16}{3}{k}^{2}t+1}.$ (31)

From (26), (27), (28), (30) and (31), we get

$\begin{array}{l}{f}_{1}\left(t\right)={f}_{2}\left(t\right)={f}_{3}\left(t\right)={f}_{4}\left(t\right)=\sqrt[8]{\frac{16}{3}{k}^{2}t+1},\\ {f}_{5}\left(t\right)=\sqrt{\frac{16}{3}{k}^{2}t+1},\text{\hspace{0.05em}}\text{\hspace{1em}}{f}_{6}\left(t\right)={f}_{7}\left(t\right)=\frac{1}{\sqrt[4]{\frac{16}{3}{k}^{2}t+1}}.\end{array}$

Therefore, taking into account (20), the family of closed G_{2} forms
${\phi}_{k}\left(t\right)$ given by (18) is the solution of the Laplacian flow of
${\phi}_{k}$ on
$H\left(k\right)$, and it is defined for all
$t\in \left(-\frac{3}{16\text{\hspace{0.05em}}{k}^{2}}\mathrm{,}+\infty \right)$. □

Remark 6.3 Note that the metric ${g}_{k}\left(t\right)$, with $t\in \left(-\frac{3}{16\text{\hspace{0.05em}}{k}^{2}}\mathrm{,}+\infty \right)$, is a

solsoliton on $H\left(k\right)$. In fact, the metric ${g}_{k}\left(t\right)$ with respect to the basis $\left\{{e}_{1}\mathrm{,}\cdots \mathrm{,}{e}_{7}\right\}$ is given by

${g}_{k}\left(t\right)=\text{diag}\left({f}_{1}^{2}\mathrm{,}{f}_{1}^{2}\mathrm{,}{f}_{1}^{2}\mathrm{,}{f}_{1}^{2}\mathrm{,}{f}_{1}^{8}\mathrm{,}\frac{1}{{f}_{1}^{4}}\mathrm{,}\frac{1}{{f}_{1}^{4}}\right)\mathrm{,}$

where ${f}_{1}={f}_{1}\left(t\right)$ is the function given by (31). Then, the Ricci endomorphism $Ric\left({g}_{k}\left(t\right)\right)$ satifies

$Ric\left({g}_{k}\left(t\right)\right)=\text{diag}\left(\mathrm{0,0,0,0,}-4{k}^{2}\mathrm{,0,0}\right)=-4{k}^{2}{I}_{7}+D\mathrm{,}$

where

$D=\text{diag}\left(4{k}^{2}\mathrm{,4}{k}^{2}\mathrm{,4}{k}^{2}\mathrm{,4}{k}^{2}\mathrm{,0,4}{k}^{2}\mathrm{,4}{k}^{2}\right)\mathrm{,}$

is a derivation of the Lie algebra
$\mathfrak{h}\left(k\right)$ of
$H\left(k\right)$. Moreover,
$Ric\left({g}_{k}\left(t\right)\right)$ on
$H\left(k\right)$ is non-zero and independent of the time t. So, the solution
${\phi}_{k}\left(t\right)$ does not converge to a torsion-free G_{2}-structure as t goes to infinity.

Furthermore, taking into account the symmetry properties of the Riemannian curvature $R\left({g}_{k}\left(t\right)\right)$ we obtain

$\begin{array}{l}{R}_{1212}={R}_{1414}={R}_{2323}={R}_{3434}=\frac{{k}^{2}}{{f}_{1}^{4}},\\ {R}_{1313}={R}_{2424}=-\frac{{k}^{2}}{{f}_{1}^{4}},\\ {R}_{1515}={R}_{2525}={R}_{3535}={R}_{4545}=-{k}^{2}{f}_{1}^{2},\\ {R}_{ijkl}=0\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{otherwise,}\end{array}$

where ${R}_{ijkl}=R\left({g}_{k}\left(t\right)\right)\left({e}_{i}\mathrm{,}{e}_{j}\mathrm{,}{e}_{k}\mathrm{,}{e}_{l}\right)$. Thus, the Riemannian curvature $R\left({g}_{k}\left(t\right)\right)$ does not converge when t tends to infinity.

Acknowledgements

The authors were partially supported by MINECO-FEDER Grant MTM2014-54804-P and Gobierno Vasco Grant IT1094-16, Spain.

Conflicts of Interest

The authors declare no conflicts of interest.

[1] |
Fernández, M. and Gray, A. (1982) Riemannian Manifolds with Structure Group G2. Annali di Matematica Pura ed Applicata, 132, 19-45. https://doi.org/10.1007/BF01760975 |

[2] | Salamon, S. (1989) Riemannian Geometry and Holonomy Groups. Longman Scientific and Technical, Harlow Essex, UK. |

[3] | Joyce, D.D. (1996) Compact Riemannian 7-Manifolds with Holonomy G2. I, II. Journal of Differential Geometry, 43, 291-328, 329-375. |

[4] |
Kovalev, A. (2003) Twisted Connected Sums and Special Riemannian Holonomy. Journal für die Reine und Angewandte Mathematik, 565, 125-160. https://doi.org/10.1515/crll.2003.097 |

[5] |
Corti, A., Haskins, M., Nordstrom, J. and Pacini, T. (2015) G2-Manifolds and Associative Submanifolds via Semi-Fano 3-Folds. Duke Mathematical Journal, 164, 1971-2092. https://doi.org/10.1215/00127094-3120743 |

[6] | Joyce, D.D. and Karigiannis, S. A New Construction of Compact Torsion-Free G2-Manifolds by Gluing Families of Eguchi-Hanson Spaces. To Appear in Journal of Differential Geometry. arXiv:1707.09325 [math.DG]. |

[7] | Bryant, R.L. (1987) Metrics with Exceptional Holonomy. Annals of Mathematics, 126, 525-576. |

[8] |
Fernández, M. (1987) An Example of a Compact Calibrated Manifold Associated with the Exceptional Lie Group G2. Journal of Differential Geometry, 26, 367-370. https://doi.org/10.4310/jdg/1214441377 |

[9] |
Conti, D. and Fernández, M. (2011) Nilmanifolds with a Calibrated G2-Structure. Differential Geometry and its Applications, 29, 493-506. https://doi.org/10.1016/j.difgeo.2011.04.030 |

[10] |
Fernández, M. (1987) A Family of Compact Solvable G2-Calibrated Manifolds. Tohoku Mathematical Journal, 30, 287-289. https://doi.org/10.2748/tmj/1178228331 |

[11] | Fernández, M., Fino, A., Kovalev, A. and Munoz, V. A Compact G2-Calibrated Manifold with . arXiv:1808.07144 [math.DG]. |

[12] |
Fernández, M., Manero, V., Otal, A. and Ugarte, L. (2013) Symplectic Half-Flat Solvmanifolds. Annals of Global Analysis and Geometry, 43, 367-383. https://doi.org/10.1007/s10455-012-9349-6 |

[13] | Fino, A. and Raffero, A. Closed G2-Structures on Non-Solvable Lie Groups. arXiv:1712.09664 [math.DG]. |

[14] |
Harvey, R. and Lawson Jr., H.B. (1982) Calibrated Geometries. Acta Mathematica, 148, 47-157. https://doi.org/10.1007/BF02392726 |

[15] | Joyce, D.D. (2008) Compact Manifolds with Special Holonomy. OSP, Oxford. |

[16] | Bryant, R.L. (2006) Some Remarks on G2-Structures. Proceedings of Gokova Geometry-Topology Conference, Gokova, 75-109. |

[17] |
Cleyton, R. and Ivanov, S. (2007) On the Geometry of Closed G2-Structures. Communications in Mathematical Physics, 270, 53-67. https://doi.org/10.1007/s00220-006-0145-7 |

[18] |
Fernández, M., Fino, A. and Manero, V. (2015) G2-Structures on Einstein Solvmanifolds. Asian Journal of Mathematics, 19, 321-342. https://doi.org/10.4310/AJM.2015.v19.n2.a7 |

[19] |
Hamilton, R.S. (1988) The Ricci Flow on Surfaces. Contemporary Mathematics, 71, 237-261. https://doi.org/10.1090/conm/071/954419 |

[20] | Bryant, R.L. and Xu, F. (2004) Laplacian Flow for Closed G2-Structures: Short Time Behavior. arXiv:1101.2004 [math.DG] |

[21] |
Lotay, J.D. and Wei, Y. (2017) Laplacian Flow for Closed G2 Structures: Shi-Type Estimates, Uniqueness and Compactness. Geometric and Functional Analysis, 27, 165-233. https://doi.org/10.1007/s00039-017-0395-x |

[22] | Lotay, J.D. and Wei, Y. (2015) Stability of Torsion-Free G2 Structures along the Laplacian Flow. arXiv:1504.07771 [math.DG] |

[23] | Lotay, J.D. and Wei, Y. (2016) Laplacian Flow for Closed G2 Structures: Real Analyticity. arXiv:1601.04258 [math.DG] |

[24] |
Fernández, M., Fino, A. and Manero, V. (2016) Laplacian Flow of Closed G2-Structures Inducing Nilsolitons. Journal of Geometric Analysis, 26, 1808-1837. https://doi.org/10.1007/s12220-015-9609-3 |

[25] | Fino, A. and Raffero, A. (2018) Closed Warped G2-Structures Evolving under the Laplacian Flow. arXiv:1708.00222 [math.DG] |

[26] |
Lauret, J. (2017) Laplacian Flow of Homogeneous G2-Structures and Its Solitons. Proceedings of the London Mathematical Society, 114, 527-560. https://doi.org/10.1112/plms.12014 |

[27] | Lauret, J. (2017) Laplacian Solitons: Questions and Homogeneous Examples. Differential Geometry and Its Applications, 54, 345-360. |

[28] | Nicolini, M. (2016) Laplacian Solitons on Nilpotent Lie Groups. arXiv:1608.08599 [math.DG] |

[29] | Huang, H., Wang, Y. and Yao, C. (2017) Cohomogeneity-One G2-Laplacian Flow on 7-Torus. arXiv:1709.02149 [math.DG] |

[30] |
Bryant, R.L. (2010) Non-Embedding and Non-Extension Results in Special Holonomy. In: The Many Facets of Geometry, Oxford Univ. Press, Oxford, 346-367. https://doi.org/10.1093/acprof:oso/9780199534920.003.0017 |

[31] | Donaldson, S. (2018) Some Recent Developments in Kahler Geometry and Exceptional Holonomy. arXiv: 1808.03995 [math.DG] |

[32] |
Hitchin, N. (2000) The Geometry of Three-Forms in Six and Seven Dimensions. Journal of Differential Geometry, 55, 547-576. https://doi.org/10.4310/jdg/1090341263 |

[33] | Hitchin, N. (2001) Stable Forms and Special Metrics. In: Fernandez, M. and Wolf, J., Eds., Global Differential Geometry: The Mathematical Legacy of Alfred Gray, Vol. 288, American Mathematical Society, Providence, 70-89. |

[34] |
Gray, A. (1969) Vector Cross Products on Manifolds. Transactions of the American Mathematical Society, 141, 463-504. https://doi.org/10.1090/S0002-9947-1969-0243469-5 |

[35] | Bonan, E. (1966) Sur des variétés riemanniennes à groupe d’holonomie G2 ou Spin (7). Comptes Rendus de l’Académie des Sciences A-B, 262, A127-A129. |

[36] | Halperin, S. (1983) Lectures on Minimal Models. |

[37] |
Deligne, P., Griffiths, P., Morgan, J. and Sullivan, D. (1975) Real Homotopy Theory of Kahler Manifolds. Inventiones Mathematicae, 29, 245-274. https://doi.org/10.1007/BF01389853 |

[38] | Griffiths, P.A. and Morgan, J.W. (1981) Rational Homotopy Theory and Differential Forms. Progress in Mathematics, Vol. 16, Birkhauser, Boston. |

[39] |
Fernández, M. and Munoz, V. (2005) Formality of Donaldson Submanifolds. Mathematische Zeitschrift, 250, 149-175. https://doi.org/10.1007/s00209-004-0747-8 |

[40] | Hattori, A. (1960) Spectral Sequences in the de Rham Cohomology of Fibre Bundles. Journal of the Faculty of Science, University of Tokyo. Section I, 8, 289-331. |

[41] |
Lauret, J. (2001) Ricci Soliton Homogeneous Nilmanifolds. Mathematische Annalen, 319, 715-733. https://doi.org/10.1007/PL00004456 |

Journals Menu

Contact us

customer@scirp.org | |

+86 18163351462(WhatsApp) | |

1655362766 | |

Paper Publishing WeChat |

Copyright © 2022 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.