On the real homotopy type of generalized complex nilmanifolds

TL;DR

This paper demonstrates that in dimensions greater than or equal to 8, there are infinitely many real homotopy types of nilmanifolds with generalized complex structures of all types, contrasting with the limited 6-dimensional case.

Contribution

It establishes the existence of infinitely many real homotopy types of nilmanifolds with generalized complex structures in higher dimensions, expanding understanding of their diversity.

Findings

Infinite real homotopy types in higher dimensions

Existence of generalized complex structures of all types

Contrast with limited 6-dimensional cases

Abstract

We prove that for any $n\geq 4$ there are infinitely many real homotopy types of $2n$-dimensional nilmanifolds admitting generalized complex structures of every type $k$, for $0 \leq k \leq n$. This is in deep contrast to the $6$-dimensional case.

Equations

$$\rho =e^{B+i\omega }\Omega ,$$

$${\omega }^{n-k}\wedge \Omega \wedge \overline{\Omega }\ne 0,$$

$$d\rho =0.$$

$$d{e}^1=d{e}^2=0,d{e}^j=\sum _{i,k<j}{a}_{ik}^j{e}^i\wedge e^k\text{mbox}forj=3,\dots ,n,$$

$$\big{(}\bigwedge\langle x_{1},\ldots,x_{n}\rangle,\,d\,\big{)}$$

$$\big{(}\bigwedge\langle x_{1},\ldots,x_{n}\rangle\otimes\mathbb{R},\,d\,\big{)}.$$

$$\{\begin{array}{l}d{e}^1=d{e}^2=d{e}^3=d{e}^4=0,\\ d{e}^5=e^{12},\\ d{e}^6=e^{15}+(1-\alpha )e^{24},\\ d{e}^7=-(1+\alpha )e^{14}-e^{23}+(1+\alpha )e^{25},\\ d{e}^8=e^{16}+e^{27}+e^{34}-2e^{45},\end{array}$$

$$\begin{split}H_{\text{dR}}^{1}(N_{\alpha})=\langle\,&[e^{1}],\,[e^{2}],\,[e^{3}],\,[e^{4}]\,\rangle,\\[5.0pt] H_{\text{dR}}^{2}(N_{\alpha})=\langle\,&[e^{13}],\,[e^{14}],\,[e^{23}],\,[e^{24}],\,[e^{34}],\,[e^{16}-(1-\alpha)\,e^{45}],\\ &[e^{17}+(1+\alpha)\,e^{26}+e^{35}],\,\big{[}(1+\alpha)e^{18}-e^{37}-(1+\alpha)(3+\alpha)\,e^{46}+(1+\alpha)e^{57}\big{]}\,\rangle,\\[5.0pt] H_{\text{dR}}^{3}(N_{\alpha})=\langle\,&[e^{127}],\,[e^{146}],\,[e^{256}],\,[e^{248}+e^{456}],\,[e^{128}+2\,e^{246}-e^{345}],[e^{136}+(1-\alpha)\,e^{345}],\\ &[e^{137}+(1+\alpha)\,e^{236}],\,[e^{156}-(1-\alpha)\,e^{246}],\,[e^{138}+(3+\alpha)\,e^{346}-e^{357}],\\ &[e^{147}+(1+\alpha)\,e^{246}+e^{345}],\,[(1+\alpha)e^{148}-e^{347}-(1+\alpha)e^{457}],\\ &[e^{238}+e^{356}+(3-\alpha)\,(e^{148}-e^{457})]\,\rangle.\end{split}$$

$$b_0(N_{\alpha })=b_8(N_{\alpha })=1,b_1(N_{\alpha })=b_7(N_{\alpha })=4,b_2(N_{\alpha })=b_6(N_{\alpha })=8,b_3(N_{\alpha })=b_5(N_{\alpha })=12.$$

$$0=\chi(N_{\alpha})=\sum_{l=0}^{8}(-1)^{l}b_{l}(N_{\alpha})=b_{4}(N_{\alpha})+2\big{(}b_{0}(N_{\alpha})-b_{1}(N_{\alpha})+b_{2}(N_{\alpha})-b_{3}(N_{\alpha})\big{)},$$

$$\langle X+\xi\mid Y+\eta\rangle=\frac{1}{2}\big{(}\xi(Y)+\eta(X)\big{)}.$$

$$[X+\xi ,Y+\eta ]=[X,Y]+{\mathcal{L}}_X\eta -{\mathcal{L}}_Y\xi -\frac{1}{2}d({\iota }_X\eta -{\iota }_Y\xi ),$$

$$(X+\xi )\cdot \rho ={\iota }_X\rho +\xi \wedge \rho .$$

$$L=\mathrm{Ann}(K)=\{u\in (TM\oplus T^{\ast }M)\otimes \mathbb{C}\mid u\cdot K=0\}.$$

$$\rho =e^{B+i\omega }\Omega ,$$

$${\omega }^{n-k}\wedge \Omega \wedge \overline{\Omega }\ne 0.$$

$$d\varphi =(X+\xi )\cdot \varphi .$$

$${\mathcal{J}}_{J}=\left(\begin{array}[]{cc}-J&0\\ 0&J^{*}\\ \end{array}\right)$$

$${\mathcal{J}}_{\omega}=\left(\begin{array}[]{cc}0&-\omega^{-1}\\ \omega&0\\ \end{array}\right)$$

$$\begin{array}[]{cl}\theta^{1}\!\!\!&=\displaystyle{\frac{1}{2}\left(\frac{1}{\sqrt{3+\alpha}}\,e^{1}-e^{2}\right)+\frac{i}{2}\left(\frac{1}{\sqrt{3+\alpha}}\,e^{1}+e^{2}\right)},\\[10.0pt] \theta^{2}\!\!\!&=\displaystyle{-\alpha\,e^{4}-\frac{i}{\sqrt{3+\alpha}}\left(\frac{1}{2}\,e^{3}+e^{5}\right)},\\[8.0pt] \theta^{3}\!\!\!&=\displaystyle{\frac{\alpha}{(1+\alpha)^{2}}\left(e^{6}-\frac{1}{\sqrt{3+\alpha}}\,e^{7}\right)+\frac{i\,\alpha}{(1+\alpha)^{2}}\left(e^{6}+\frac{1}{\sqrt{3+\alpha}}\,e^{7}\right)},\\[10.0pt] \theta^{4}\!\!\!&=\displaystyle{\frac{1}{\sqrt{3+\alpha}}\left(e^{5}+\frac{1-\alpha}{2\,(1+\alpha)^{2}}\,e^{3}\right)-i\,\alpha\left(e^{4}+\frac{2}{(1+\alpha)^{2}\sqrt{3+\alpha}}\,e^{8}\right)}.\end{array}$$

$$\left\{\begin{array}[]{ccl}d\theta^{1}\!\!&\!\!=\!\!&\!\!0,\\[6.0pt] d\theta^{2}\!\!&\!\!=\!\!&\!\!\theta^{1}\wedge\overline{\theta^{1}},\\[5.0pt] d\theta^{3}\!\!&\!\!=\!\!&\!\!\displaystyle{\theta^{1}\wedge\theta^{4}+\theta^{1}\wedge\overline{\theta^{4}}+\frac{2\,\alpha}{(1+\alpha)^{2}}\,\theta^{2}\wedge\overline{\theta^{1}}+\frac{2\,i}{(1+\alpha)^{2}}\,\theta^{1}\wedge\overline{\theta^{2}}},\\[9.0pt] d\theta^{4}\!\!&\!\!=\!\!&\!\!\displaystyle{i\,\theta^{1}\wedge\overline{\theta^{1}}-\frac{2}{(1+\alpha)^{2}}\,\theta^{2}\wedge\overline{\theta^{2}}-i\,\theta^{1}\wedge\overline{\theta^{3}}+i\,\theta^{3}\wedge\overline{\theta^{1}}}.\end{array}\right.$$

$$\omega \wedge \Omega \wedge \overline{\Omega }=-i{\theta }^1\wedge {\theta }^2\wedge {\theta }^3\wedge {\theta }^4\wedge \overline{{\theta }^1}\wedge \overline{{\theta }^2}\wedge \overline{{\theta }^3}\wedge \overline{{\theta }^4}\ne 0,$$

$$d({\theta }^1\wedge {\theta }^2\wedge {\theta }^3)=0$$

$$d\omega \wedge {\theta }^1\wedge {\theta }^2\wedge {\theta }^3=id{\theta }^4\wedge {\bar{\theta }}^4\wedge {\theta }^1\wedge {\theta }^2\wedge {\theta }^3-i{\theta }^4\wedge d\overline{{\theta }^4}\wedge {\theta }^1\wedge {\theta }^2\wedge {\theta }^3=0,$$

$$\tilde{\rho }=e^{{\theta }^3\wedge {\theta }^4}\Omega ,$$

$${\omega }^2\wedge \Omega \wedge \overline{\Omega }=\frac{1}{2}{\theta }^3\wedge {\theta }^4\wedge \overline{{\theta }^3}\wedge \overline{{\theta }^4}\wedge {\theta }^1\wedge {\theta }^2\wedge \overline{{\theta }^1}\wedge \overline{{\theta }^2}\ne 0,$$

$$\begin{array}[]{cl}\omega=\!\!\!&x_{12}\,e^{12}+x_{13}\,e^{13}+x_{14}\,e^{14}+x_{15}\,e^{15}+x_{16}\,e^{16}+x_{17}\,e^{17}-(1+\alpha)\,x_{37}\,e^{18}\\[5.0pt] &+\,x_{23}\,e^{23}+x_{24}\,e^{24}+x_{25}\,e^{25}+(1+\alpha)\,x_{17}\,e^{26}+x_{27}\,e^{27}+x_{34}\,e^{34}+x_{17}\,e^{35}+x_{37}\,e^{37}\\[5.0pt] &-\,\big{(}(1-\alpha)\,x_{16}+(1+\alpha)\,x_{27}\big{)}\,e^{45}+(1+\alpha)\,(3+\alpha)\,x_{37}\,e^{46}-(1+\alpha)\,x_{37}\,e^{57},\end{array}$$

$${\omega }^3\wedge \Omega \wedge \overline{\Omega }\ne 0,d\Omega =0,(dB+id\omega )\wedge \Omega =0.$$

$${\omega }^3\wedge \Omega \wedge \overline{\Omega }=12i(1+\alpha {)}^3{x}_{17}{x}_{37}^2{e}^{12345678}\ne 0.$$

$$\begin{split}\omega^{4}=-24\,(1+\alpha)^{2}\,x_{37}^{2}\,\bigg{(}&\Big{(}(1-\alpha)\,x_{16}-2\,x_{27}+(1+\alpha)\,x_{34}\Big{)}x_{17}\\ &+\Big{(}(1+\alpha)\,(3+\alpha)\,x_{23}+(3+\alpha)\,x_{25}\Big{)}x_{37}\,\bigg{)}\,e^{12345678}.\end{split}$$

Full text

1. Introduction

Nilmanifolds constitute a well-known class of compact manifolds providing interesting explicit examples of geometric structures with special properties. A nilmanifold is a compact quotient $N=\Gamma\backslash G$ of a connected and simply connected nilpotent Lie group $G$ by a lattice $\Gamma$ of maximal rank in $G$. Hence, any left-invariant geometric structure on $G$ descends to $N$. We will refer to such structures as invariant. For instance, there are nilmanifolds admitting invariant complex structures, as the Iwasawa manifold, or invariant symplectic forms, as the Kodaira-Thurston manifold, with remarkable properties [18, 19]. However, by [10] a nilmanifold cannot admit any Kähler metric (invariant or not), unless it is a torus. Since there are also nilmanifolds with no invariant complex structures or symplectic forms, it is an interesting problem to understand which nilmanifolds do admit such kinds of structures.

Symplectic and complex geometries constitute two special cases in the unified framework given by generalized complex geometry, introduced by Hitchin in [11] and further developed by Gualtieri [9]. In [4], Cavalcanti and Gualtieri study invariant generalized complex structures on nilmanifolds. Furthermore, Angella, Calamai and Kasuya show in [1] that nilmanifolds provide a nice class for investigating cohomological aspects of generalized complex structures.

In [4, Theorem 3.1] the authors prove that any invariant generalized complex structure on a $2n$-dimensional nilmanifold must be generalized Calabi-Yau, extending a result of Salamon [16] for invariant complex structures. That means that any generalized complex structure is given by a (left-invariant) trivialization $\rho$ of the canonical bundle, i.e.

[TABLE]

where $B,\omega$ are real invariant 2-forms and $\Omega$ is a globally decomposable complex $k$-form, i.e. $\Omega=\theta^{1}\wedge\cdots\wedge\theta^{k}$, with each $\theta^{i}$ invariant. Moreover, these data satisfy the non-degeneracy condition

[TABLE]

as well as the integrability condition

[TABLE]

The integer $0\leq k\leq n$ is called the type of the generalized complex structure. Type $k=n$ corresponds to the usual complex structures, whereas the structures of type $k=0$ are the symplectic ones. It is proved in [4] that all the $6$-dimensional nilmanifolds admit a generalized complex structure of type $k$, for at least one $0\leq k\leq 3$; however, it is shown that there are nilmanifolds in eight dimensions not admitting any invariant generalized complex structure.

Let ${\mathfrak{g}}$ be the nilpotent Lie algebra underlying the nilmanifold $N=\Gamma\backslash G$, and let $(\bigwedge{\mathfrak{g}}^{*},d)$ be the Chevalley-Eilenberg complex seen as a commutative differential graded algebra (CDGA). Hasegawa proved in [10] that this CDGA provides not only the $\mathbb{R}$-minimal model of $N$ but also its $\mathbb{Q}$-minimal model. A result by Bazzoni and Muñoz asserts that, in six dimensions, there are infinitely many rational homotopy types of nilmanifolds, but only 34 different real homotopy types (see [3, Theorem 2]). Hence, there only exits a finite number of real homotopy types of $6$-dimensional nilmanifolds admitting a generalized complex structure. In this paper we prove that the situation is completely different in eight dimensions:

Theorem 1.1**.**

There are infinitely many real homotopy types of $8$-dimensional nilmanifolds admitting generalized complex structures of every type $k$, for $0\leq k\leq 4$.

It is worth remarking that the existence of infinitely many real homotopy types of $8$-dimensional nilmanifolds with complex structure (having special Hermitian metrics) is proved in [13]. However, such nilmanifolds do not admit any symplectic form.

This paper is structured as follows. In Section 2 we review some general results about minimal models and homotopy theory, and we define a family of nilmanifolds $N_{\alpha}$ in eight dimensions depending on a rational parameter $\alpha>0$. Section 3 is devoted to the construction of generalized complex structures on the nilmanifolds $N_{\alpha}$. More concretely, we prove the following:

Proposition 1.2**.**

For each $\alpha\in{\mathbb{Q}}^{+}$, the $8$-dimensional nilmanifold $N_{\alpha}$ has generalized complex structures of every type $k$, for $0\leq k\leq 4$.

In Section 4 we study the real homotopy types of the nilmanifolds in the family $\{N_{\alpha}\}_{\alpha\in{\mathbb{Q}}^{+}}$. More precisely, the result below is attained:

Proposition 1.3**.**

If $\alpha\not=\alpha^{\prime}$, then the nilmanifolds $N_{\alpha}$ and $N_{\alpha^{\prime}}$ have non-isomorphic $\mathbb{R}$-minimal models, so they have different real homotopy type.

Note that Theorem 1.1 is a direct consequence of Propositions 1.2 and 1.3. Moreover, by taking products with even dimensional tori the result holds in any dimension $2n\geq 8$ and for every $0\leq k\leq n$. Furthermore, our result in Theorem 1.1 can be extended to the complex homotopy setting (see Remark 4.4 for details). Since the nilmanifolds $N_{\alpha}$ cannot admit any Kähler metric [10], one has the following

Corollary 1.4**.**

Let $n\geq 4$. There are infinitely many complex homotopy types of $2n$-dimensional compact non-Kähler manifolds admitting generalized complex structures of every type $k$, for $0\leq k\leq n$.

2. The family of nilmanifolds $N_{\alpha}$

Let us start recalling some general results about homotopy theory and minimal models, with special attention to the class of nilmanifolds. In [17] Sullivan shows that it is possible to associate a minimal model to any nilpotent CW-complex $X$, i.e. a space $X$ whose fundamental group $\pi_{1}(X)$ is a nilpotent group that acts in a nilpotent way on the higher homotopy group $\pi_{k}(X)$ of $X$ for every $k>1$. Recall that a minimal model is a commutative differential graded algebra, CDGA for short, $(\bigwedge V_{X},d)$ defined over the rational numbers $\mathbb{Q}$ and satisfying a certain minimality condition, that encodes the rational homotopy type of $X$ [8].

More generally, let $\mathbb{K}$ be the field $\mathbb{Q}$ or $\mathbb{R}$. A CDGA $(\bigwedge V,d)$ defined over $\mathbb{K}$ is said to be minimal if the following conditions hold:

(i) $\bigwedge V$ is the free commutative algebra generated by the graded vector space $V=\oplus V^{l}$;

(ii) there exists a basis $\{x_{j}\}_{j\in J}$, for some well-ordered index set $J$, such that $\deg(x_{k})\leq\deg(x_{j})$

for $k<j$, and each $dx_{j}$ is expressed in terms of the preceding $x_{k}$ $(k<j)$.

A $\mathbb{K}$-minimal model of a differentiable manifold $M$ is a minimal CDGA $(\bigwedge V,d)$ over $\mathbb{K}$ together with a quasi-isomorphism $\phi$ from $(\bigwedge V,d)$ to the $\mathbb{K}$-de Rham complex of $M$, i.e. a morphism $\phi$ inducing an isomorphism in cohomology. Here, the $\mathbb{K}$-de Rham complex of $M$ is the usual de Rham complex of differential forms $(\Omega^{*}(M),d)$ when $\mathbb{K}=\mathbb{R}$, whereas for $\mathbb{K}=\mathbb{Q}$ one considers $\mathbb{Q}$-polynomial forms instead. Notice that the $\mathbb{K}$-minimal model is unique up to isomorphism, since ${\rm char}\,(\mathbb{K})=0$. By [5, 17], two nilpotent manifolds $M_{1}$ and $M_{2}$ have the same $\mathbb{K}$-homotopy type if and only if their $\mathbb{K}$-minimal models are isomorphic. It is clear that if $M_{1}$ and $M_{2}$ have different real homotopy type, then $M_{1}$ and $M_{2}$ also have different rational homotopy type.

Let $N$ be a nilmanifold, i.e. $N=\Gamma\backslash G$ is a compact quotient of a connected and simply connected nilpotent Lie group $G$ by a lattice $\Gamma$ of maximal rank. For any nilmanifold $N$ one has $\pi_{1}(N)=\Gamma$, which is nilpotent, and $\pi_{k}(N)=0$ for every $k\geq 2$. Therefore, nilmanifolds are nilpotent spaces.

Let $n$ be the dimension of the nilmanifold $N=\Gamma\backslash G$, and let ${\mathfrak{g}}$ be the Lie algebra of $G$. It is well known that the minimal model of $N$ is given by the Chevalley-Eilenberg complex $(\bigwedge{\mathfrak{g}}^{*},d)$ of ${\mathfrak{g}}$. Recall that by [14] the existence of a lattice $\Gamma$ of maximal rank in $G$ is equivalent to the nilpotent Lie algebra ${\mathfrak{g}}$ being rational, i.e. there exists a basis $\{e^{1},\ldots,e^{n}\}$ for the dual ${\mathfrak{g}}^{*}$ such that the structure constants are rational numbers. Thus, the rational and the nilpotency conditions of the Lie algebra ${\mathfrak{g}}$ allow to take a basis $\{e^{1},\ldots,e^{n}\}$ for ${\mathfrak{g}}^{*}$ satisfying

[TABLE]

with structure constants $a^{j}_{ik}\in\mathbb{Q}$.

Therefore, $(\bigwedge{\mathfrak{g}}^{*},d)$ is a CDGA satisfying both conditions (i) and (ii) with ordered index set $J=\{1,\ldots,n\}$ and $V=V^{1}=\langle x_{1},\ldots,x_{n}\rangle=\sum_{j=1}^{n}\mathbb{Q}x_{j}$, where $x_{j}=e^{j}$ for $1\leq j\leq n$. That is to say, the CDGA $(\bigwedge{\mathfrak{g}}^{*},d)$ over $\mathbb{Q}$ is minimal, and it is determined by

[TABLE]

with $n$ generators $x_{1},\ldots,x_{n}$ of degree $1$ satisfying equations of the form (4). Notice that the CDGA $(\bigwedge{\mathfrak{g}}^{*},d)$ over $\mathbb{R}$ is also minimal, since it is given by

[TABLE]

There is a canonical morphism $\phi$ from the Chevalley-Eilenberg complex $(\bigwedge{\mathfrak{g}}^{*},d)$ to the de Rham complex $(\Omega^{*}(\Gamma\backslash G),d)$ of the nilmanifold. Nomizu proves in [15] that $\phi$ induces an isomorphism in cohomology, so the $\mathbb{R}$-minimal model of the nilmanifold $N=\Gamma\backslash G$ is given by (6). Hasegawa observes in [10] that (5) is the $\mathbb{Q}$-minimal model of $N$ and that, conversely, given a $\mathbb{Q}$-minimal CDGA of the form (5), there exists a nilmanifold $N$ with (5) as its $\mathbb{Q}$-minimal model.

Deligne, Griffiths, Morgan and Sullivan prove in [5] that the $\mathbb{K}$-minimal model, $\mathbb{K}=\mathbb{Q}$ or $\mathbb{R}$, of a compact Kähler manifold is formal, i.e. it is quasi-isomorphic to its cohomology. Hasegawa shows in [10] that the minimal model (5) is formal if and only if all the structure constants $a^{j}_{ik}$ in (4) vanish, so a symplectic nilmanifold does not admit any Kähler metric unless it is a torus. (See for instance [6, 19] for more results on homotopy theory and applications to symplectic geometry.)

Bazzoni and Muñoz study in [3] the $\mathbb{K}$-homotopy types of nilmanifolds of low dimension. They prove that, up to dimension $5$, the number of rational homotopy types of nilmanifolds is finite. However, in six dimensions the following result holds:

Theorem 2.1**.**

[3, Theorem 2]** There are infinitely many rational homotopy types of $6$-dimensional nilmanifolds, but there are only $34$ real homotopy types of $6$-dimensional nilmanifolds.

As a direct consequence, there is only a finite number of real homotopy types of $6$-dimensional nilmanifolds admitting an extra geometric structure of any kind. In the case of generalized complex structures (see Section 3 for definition), we will prove that, in contrast to the $6$-dimensional case, there are infinitely many real homotopy types of $8$-dimensional nilmanifolds admitting generalized complex structures of every type $k$, for $0\leq k\leq 4$.

To construct such nilmanifolds, let us take a positive rational number $\alpha$ and consider the connected, simply connected, nilpotent Lie group $G_{\alpha}$ corresponding to the nilpotent Lie algebra ${\mathfrak{g}}_{\alpha}$ defined by

[TABLE]

where $e^{ij}=e^{i}\wedge e^{j}$, being $\{e^{i}\}_{i=1}^{8}$ a basis for ${\mathfrak{g}}^{\ast}_{\alpha}$, and $\alpha\in{\mathbb{Q}}^{+}$. It is clear from (7) that the Lie algebra ${\mathfrak{g}}_{\alpha}$ is rational, hence by Mal’cev theorem [14], there exists a lattice $\Gamma_{\alpha}$ of maximal rank in $G_{\alpha}$. We denote by $N_{\alpha}=\Gamma_{\alpha}\backslash G_{\alpha}$ the corresponding compact quotient.

Therefore, we have defined a family of nilmanifolds $N_{\alpha}$ of dimension $8$ depending on the rational parameter $\alpha\in{\mathbb{Q}}^{+}$. We will study the properties of $N_{\alpha}$, for $\alpha\in{\mathbb{Q}}^{+}$, in Sections 3 and 4. Here, we simply provide their Betti numbers.

A direct calculation using Nomizu’s theorem [15] allows to explicitly compute the de Rham cohomology groups of any nilmanifold $N_{\alpha}$. In particular, for degrees $1\leq l\leq 3$, the $l$-th de Rham cohomology groups $H_{\text{dR}}^{l}(N_{\alpha})$ are

[TABLE]

Let $b_{l}(N_{\alpha})$ denote the $l$-th Betti number of $N_{\alpha}$. By duality we have:

[TABLE]

One can finally compute the Betti number $b_{4}(N_{\alpha})$ taking into account that the Euler-Poincaré characteristic $\chi$ of a nilmanifold always vanishes, namely,

[TABLE]

which implies $b_{4}(N_{\alpha})=14$. In particular, we observe that the Betti numbers of the nilmanifolds $N_{\alpha}$ do not depend on $\alpha$.

3. Generalized complex structures on the nilmanifolds $N_{\alpha}$

Generalized complex geometry, in the sense of Hitchin and Gualtieri [11, 9], establishes a unitary framework for symplectic and complex geometries. Let $M$ be a compact differentiable manifold of dimension $2n$. Denote by $TM$ the tangent bundle and by $T^{*}M$ the cotangent bundle, and consider the vector bundle $TM\oplus T^{*}M$ endowed with the natural symmetric pairing

[TABLE]

Recall that the Courant bracket on the space ${\mathcal{C}}^{\infty}(TM\oplus T^{*}M)$ is given by

[TABLE]

where ${\mathcal{L}}$ and $\iota$ respectively denote the Lie derivative and the interior product. A generalized complex structure on $M$ is an endomorphism ${\mathcal{J}}\in{\rm End}(TM\oplus T^{*}M)$ satisfying ${\mathcal{J}}^{2}=-1$ whose $i$-eigenbundle $L\subset(TM\oplus T^{*}M)\otimes{\mathbb{C}}$ is involutive with respect to the Courant bracket.

There is an action of $TM\oplus T^{*}M$ on $\bigwedge^{\bullet}T^{*}M$ given by

[TABLE]

Now, for a generalized complex structure $\mathcal{J}$ with $i$-eigenbundle $L$, one can define the canonical line bundle $K\subset\bigwedge^{\bullet}T^{*}M\otimes{\mathbb{C}}$ as

[TABLE]

Any $\rho\in K$ is a non-degenerate pure form, i.e. it can be written as

[TABLE]

where $B,\omega$ are real $2$-forms and $\Omega=\theta^{1}\wedge\cdots\wedge\theta^{k}$ is a complex decomposable $k$-form, such that

[TABLE]

The number $k$ is called the type of the generalized complex structure. Moreover, any $\phi\in{\mathcal{C}}^{\infty}(K)$ is integrable, i.e. there exists $X+\xi\in{\mathcal{C}}^{\infty}(TM\oplus T^{*}M)$ satisfying

[TABLE]

Notice that the converse also holds: if $K\subset\bigwedge^{\bullet}T^{*}M\otimes{\mathbb{C}}$ is a line bundle such that any $\rho\in K$ is a non-degenerate pure form and any $\phi\in{\mathcal{C}}^{\infty}(K)$ is integrable, then we have a generalized complex structure whose $i$-eigenbundle is $L={\rm Ann}(K)$.

In the case that $K$ is a trivial bundle admitting a nowhere vanishing closed section, the generalized complex structure is called generalized Calabi-Yau.

Recall that if $J$ is a complex structure on $M$ then

[TABLE]

is a generalized complex structure of type $n$, and if $\omega$ is a symplectic form on $M$ then

[TABLE]

is a generalized complex structure of type [math]. Near a regular point (i.e. a point where the type is locally constant) a generalized complex structure is equivalent to a product of a complex and a symplectic structure [9, Theorem 3.6].

In the case of a nilmanifold $N$, Cavalcanti and Gualtieri proved in [4, Theorem 3.1] that any invariant generalized complex structure on $N$ must be generalized Calabi-Yau. Hence, it is given by a (left-invariant) trivialization $\rho$ of the canonical bundle of the form (1) satisfying the non-degeneracy condition (2) and the integrability condition (3).

Let us now prove Proposition 1.2, that is, each nilmanifold $N_{\alpha}$ has generalized complex structures of every type $k$, for $0\leq k\leq 4$. These structures will be explicitly described in terms of the global basis of invariant 1-forms $\{e^{i}\}_{i=1}^{8}$ on $N_{\alpha}$ given in (7). We begin providing a structure of type 4.

$\bullet$ Generalized complex structure of type 4 (complex structure). We define the following complex $1$-forms:

[TABLE]

From the equations (7) we get

[TABLE]

Declaring the forms $\theta^{i}$ to be of bidegree $(1,0)$, we obtain an almost complex structure $J$ on the nilmanifold $N_{\alpha}$ for every $\alpha\in{\mathbb{Q}}^{+}$. It follows from (9) that $d\theta^{i}$ has no $(0,2)$ component, so $J$ is integrable. Hence, $\rho=\Omega=\theta^{1}\wedge\theta^{2}\wedge\theta^{3}\wedge\theta^{4}$ is a generalized complex structure of type 4.

Remark 3.1**.**

The complex nilmanifold $(N_{\alpha},J)$ has a holomorphic Poisson structure given by the holomorphic bivector $\beta=X_{3}\wedge X_{4}$ of rank two, where $\{X_{i}\}$ is the dual basis of $\{\theta^{i}\}$ (see [4, Theorem 5.1] for the existence of such a bivector on nilmanifolds). It is worth observing that $(N_{\alpha},J)$ does not admit any (invariant or not) holomorphic symplectic structure: since the center of the Lie algebra ${\mathfrak{g}}_{\alpha}$ has dimension 1, the complex structure defined by (8) is strongly non-nilpotent (see [12] for properties on this kind of complex structures); by [2], a strongly non-nilpotent complex structure on an $8$-dimensional nilmanifold cannot support any holomorphic symplectic form. **

$\bullet$ Generalized complex structure of type 3. Let us consider $\rho=e^{B+i\,\omega}\,\Omega$, with $B=0$, $\omega=i\,\theta^{4}\wedge\overline{\theta}^{\,4}$ and $\Omega=\theta^{1}\wedge\theta^{2}\wedge\theta^{3}$, where $\theta^{1},\theta^{2},\theta^{3}$ and $\theta^{4}$ are the complex 1-forms given in (8). It is clear that

[TABLE]

so the non-degeneracy condition (2) is satisfied. A direct calculation using (9) shows

[TABLE]

and

[TABLE]

which implies that $d\rho=0$, i.e. the integrability condition (3) holds.

Therefore, the nilmanifolds $N_{\alpha}$ have generalized complex structures of type 3.

$\bullet$ Generalized complex structure of type 2. Recall that the action of a bivector $\beta$ is given by $\rho\mapsto e^{\iota_{\beta}}\rho$. If $J$ is a complex structure and $\beta$ is a holomorphic Poisson structure of rank $l$, then one can deform $J$ into a generalized complex structure of type $n-l$ (see [9]). In [4, Theorem 5.1] it is proved that every invariant complex structure on a $2n$-dimensional nilmanifold can be deformed, via such a $\beta$-field with $l=2$, to get an invariant generalized complex structure of type $n-2$. Therefore, our nilmanifolds have a generalized complex structure of type 2.

More concretely, in view of Remark 3.1, from the generalized complex structure of type 4 defined by $\rho=\theta^{1}\wedge\theta^{2}\wedge\theta^{3}\wedge\theta^{4}$ above, we get that

[TABLE]

with $\Omega=\theta^{1}\wedge\theta^{2}$, is a generalized complex structure of type 2. Indeed, $B=\frac{1}{2}(\theta^{3}\wedge\theta^{4}+\overline{\theta^{3}}\wedge\overline{\theta^{4}})$ and $\omega=-\frac{i}{2}(\theta^{3}\wedge\theta^{4}-\overline{\theta^{3}}\wedge\overline{\theta^{4}})$. Thus,

[TABLE]

and $d(\theta^{1}\wedge\theta^{2})=0$ and $d(B+i\,\omega)\wedge\theta^{1}\wedge\theta^{2}=d(\theta^{3}\wedge\theta^{4})\wedge\theta^{1}\wedge\theta^{2}=d(\theta^{1}\wedge\theta^{2}\wedge\theta^{3}\wedge\theta^{4})=0$ by the equations (9).

For the definition of generalized complex structures of type 1 and type 0 we will deal with the space $Z^{2}(N_{\alpha})$ of invariant closed $2$-forms on the nilmanifold $N_{\alpha}$. The following lemma is straightforward:

Lemma 3.2**.**

Every invariant closed $2$-form $\omega$ on the nilmanifold $N_{\alpha}$ is given by

[TABLE]

where $x_{12},\ldots,x_{37}\in\mathbb{R}$. Hence, the space $Z^{2}(N_{\alpha})$ has dimension $12$.

$\bullet$ Generalized complex structure of type 1. We must find $\rho=e^{B+i\,\omega}\,\Omega$, with $B,\omega$ real invariant 2-forms and $\Omega$ a complex $1$-form, satisfying

[TABLE]

Since $\Omega$ is a complex $1$-form, it can be written as $\Omega=\sum_{j=1}^{4}z_{j}\,e^{j}$, for some complex coefficients $z_{1},\ldots,z_{4}\in\mathbb{C}$. Let us choose $\Omega=e^{3}+i\,e^{4}$, which fulfills $d\Omega=0$ according to the structure equations (7).

We consider $B=0$ and let $\omega$ be any $2$-form given in (10) with coefficients $x_{17},\,x_{37}\neq 0$. A direct calculation shows that

[TABLE]

Since both $B$ and $\omega$ are closed, the condition $(dB+i\,d\omega)\wedge\Omega=0$ is trivially fulfilled, and $\rho=e^{i\,\omega}\,\Omega$ defines a generalized complex structure of type $1$ on the nilmanifold $N_{\alpha}$.

$\bullet$ Generalized complex structure of type 0 (symplectic structure). The form $\omega$ in Lemma 3.2 determined by (10) satisfies

[TABLE]

It suffices to choose, for instance, $x_{17}=x_{23}=0$ and $x_{25}x_{37}\neq 0$ to get a symplectic form $\omega$ on $N_{\alpha}$.

This concludes the proof of Proposition 1.2.

4. The nilmanifolds $N_{\alpha}$ and their minimal model

The goal of this section is to prove Proposition 1.3, i.e. the nilmanifolds $N_{\alpha}$ and $N_{\alpha^{\prime}}$ have non-isomorphic $\mathbb{R}$-minimal models for $\alpha\not=\alpha^{\prime}$.

As we recalled in Section 2, the $\mathbb{R}$-minimal model of the nilmanifold $N_{\alpha}$ is given by the Chevalley-Eilenberg complex $(\bigwedge{\mathfrak{g}}_{\alpha}^{*},d)$ of its underlying Lie algebra ${\mathfrak{g}}_{\alpha}$. Consequently, to prove Proposition 1.3 it suffices to show that the real Lie algebras ${\mathfrak{g}}_{\alpha}$, $\alpha\in{\mathbb{Q}}^{+}$, define a family of pairwise non-isomorphic nilpotent Lie algebras. Indeed, we will prove the following

Proposition 4.1**.**

If the nilpotent Lie algebras ${\mathfrak{g}}_{\alpha}$ and ${\mathfrak{g}}_{\alpha^{\prime}}$ are isomorphic, then $\alpha=\alpha^{\prime}$.

Remember that in eight dimensions, no classification of nilpotent Lie algebras is available. Indeed, nilpotent Lie algebras are classified only up to real dimension 7. More concretely, Gong classified in [7] the 7-dimensional nilpotent Lie algebras in 140 algebras together with 9 one-parameter families. One can check that our family $\{{\mathfrak{g}}_{\alpha}\}_{\alpha\in{\mathbb{Q}}^{+}}$ is not an extension of any of those 9 families, i.e. the quotient of ${\mathfrak{g}}_{\alpha}$ by its center (which has dimension $1$) does not belong to any of the 9 one-parameter families of Gong. Furthermore, the usual invariants for nilpotent Lie algebras are the same for all the algebras in the family $\{{\mathfrak{g}}_{\alpha}\}_{\alpha\in{\mathbb{Q}}^{+}}$. For instance, the dimensions of the terms in the ascending central series are $(1,3,6,8)$, whereas those of the descending central series are $(4,3,1,0)$ (see Lemma 4.3 for further details). Moreover, the dimensions of the Lie algebra cohomology groups $H^{k}({\mathfrak{g}}_{\alpha})$ coincide for every $\alpha\in{\mathbb{Q}}^{+}$, as shown at the end of Section 2. For this reason, we will directly analyze the existence of an isomorphism between any two of the nilpotent Lie algebras in our family $\{{\mathfrak{g}}_{\alpha}\}_{\alpha\in{\mathbb{Q}}^{+}}$.

The following technical lemma will be useful for our purpose.

Lemma 4.2**.**

Let $f\colon{\mathfrak{g}}\longrightarrow{\mathfrak{g}}^{\prime}$ be an isomorphism of the Lie algebras ${\mathfrak{g}}$ and ${\mathfrak{g}}^{\prime}$. Consider an ideal $\{0\}\not={\mathfrak{a}}\subset{\mathfrak{g}}$, and let ${\mathfrak{a}}^{\prime}=f({\mathfrak{a}})\subset{\mathfrak{g}}^{\prime}$ be the corresponding ideal in ${\mathfrak{g}}^{\prime}$. Let $\{e_{r+1},\ldots,e_{m}\}$, resp. $\{e^{\prime}_{r+1},\ldots,e^{\prime}_{m}\}$, be a basis of ${\mathfrak{a}}$, resp. ${\mathfrak{a}}^{\prime}$, and complete it up to a basis $\{e_{1},\ldots,e_{r},e_{r+1},\ldots,e_{m}\}$ of ${\mathfrak{g}}$, resp. $\{e^{\prime}_{1},\ldots,e^{\prime}_{r},e^{\prime}_{r+1},\ldots,e^{\prime}_{m}\}$ of ${\mathfrak{g}}^{\prime}$. Denote the dual bases of ${\mathfrak{g}}^{*}$ and ${\mathfrak{g}}^{\prime*}$ respectively by $\{e^{i}\}_{i=1}^{m}$ and $\{e^{\prime\,i}\}_{i=1}^{m}$. Then, the dual map $f^{*}\colon{\mathfrak{g}}^{\prime*}\longrightarrow{\mathfrak{g}}^{*}$ satisfies

[TABLE]

Proof.

Let $\pi\colon{\mathfrak{g}}\longrightarrow{\mathfrak{g}}/{\mathfrak{a}}$ and $\pi^{\prime}\colon{\mathfrak{g}}^{\prime}\longrightarrow{\mathfrak{g}}^{\prime}/{\mathfrak{a}}^{\prime}$ be the natural projections, and $\tilde{f}\colon{\mathfrak{g}}/{\mathfrak{a}}\longrightarrow{\mathfrak{g}}^{\prime}/{\mathfrak{a}}^{\prime}$ the Lie algebra isomorphism induced by $f$ on the quotients. Taking the corresponding dual maps, we have the following commutative diagrams:

[TABLE]

Taking the basis $\{e_{1},\ldots,e_{r},e_{r+1},\ldots,e_{m}\}$ of ${\mathfrak{g}}$, we have that $\{\tilde{e}_{1},\ldots,\tilde{e}_{r}\}$ is a basis of ${\mathfrak{g}}/{\mathfrak{a}}$. Let $\{\tilde{e}^{1},\ldots,\tilde{e}^{r}\}$ be its dual basis for $({\mathfrak{g}}/{\mathfrak{a}})^{*}$. Using a similar procedure, we find a basis $\{\tilde{e}^{\prime\,1},\ldots,\tilde{e}^{\prime\,r}\}$ for $({\mathfrak{g}}^{\prime}/{\mathfrak{a}}^{\prime})^{*}$. Since the maps $\pi^{*}$ and $\pi^{\prime\,*}$ are injective, and the diagram is commutative, we get

[TABLE]

for any $1\leq i\leq r$. ∎

Applying the previous result to our particular case, we get:

Lemma 4.3**.**

Consider ${\mathfrak{g}}_{\alpha}$ and ${\mathfrak{g}}_{\alpha^{\prime}}$ for $\alpha,\alpha^{\prime}\in\mathbb{Q}^{+}$. If $f\colon{\mathfrak{g}}_{\alpha}\longrightarrow{\mathfrak{g}}_{\alpha^{\prime}}$ is an isomorphism of Lie algebras, then in terms of their respective bases $\{e^{i}\}_{i=1}^{8}$ and $\{e^{\prime\,i}\}_{i=1}^{8}$ given in (7), the dual map $f^{*}\colon{\mathfrak{g}}_{\alpha^{\prime}}^{*}\longrightarrow{\mathfrak{g}}_{\alpha}^{*}$ satisfies

[TABLE]

Proof.

Recall that the ascending central series of a Lie algebra ${\mathfrak{g}}$ is defined by $\{{\mathfrak{g}}_{k}\}_{k}$, where ${\mathfrak{g}}_{0}=\{0\}$ and

[TABLE]

Observe that ${\mathfrak{g}}_{1}=Z({\mathfrak{g}})$ is the center of ${\mathfrak{g}}$.

Let $\{e_{i}\}_{i=1}^{8}$ and $\{e^{\prime}_{i}\}_{i=1}^{8}$ be the bases for ${\mathfrak{g}}_{\alpha}$ and ${\mathfrak{g}}_{\alpha^{\prime}}$ dual to $\{e^{i}\}_{i=1}^{8}$ and $\{e^{\prime\,i}\}_{i=1}^{8}$, respectively. In terms of these bases, the ascending central series of ${\mathfrak{g}}_{\alpha}$ and ${\mathfrak{g}}_{\alpha^{\prime}}$ are

[TABLE]

and

[TABLE]

Since f\big{(}({\mathfrak{g}}_{\alpha})_{k}\big{)}=({\mathfrak{g}}_{\alpha^{\prime}})_{k} for any Lie algebra isomorphism $f\colon{\mathfrak{g}}_{\alpha}\longrightarrow{\mathfrak{g}}_{\alpha^{\prime}}$, applying Lemma 4.2 to the ideals $\mathfrak{a}=({\mathfrak{g}}_{\alpha})_{k}$ for $k=1,2,3$ one gets (12) for $i=1,2,5,6$ and $7$.

Moreover, the derived algebras of ${\mathfrak{g}}_{\alpha}$ and ${\mathfrak{g}}_{\alpha^{\prime}}$ are, respectively,

[TABLE]

Using again Lemma 4.2 with $\mathfrak{a}=[{\mathfrak{g}}_{\alpha},{\mathfrak{g}}_{\alpha}]$, we obtain (12) for $i=3,4$. ∎

We are now in the conditions to prove Proposition 4.1.

Proof of Proposition 4.1. Given any homomorphism of Lie algebras $f\colon{\mathfrak{g}}_{\alpha}\longrightarrow{\mathfrak{g}}_{\alpha^{\prime}}$, its dual map $f^{*}\colon{\mathfrak{g}}_{\alpha^{\prime}}^{*}\longrightarrow{\mathfrak{g}}_{\alpha}^{*}$ naturally extends to a map $F\colon\bigwedge^{*}{\mathfrak{g}}_{\alpha^{\prime}}^{*}\longrightarrow\bigwedge^{*}{\mathfrak{g}}_{\alpha}^{*}$ that commutes with the differentials, i.e. $F\circ d=d\circ F$. Hence, in terms of the bases $\{e^{i}\}_{i=1}^{8}$ for ${\mathfrak{g}}_{\alpha}^{*}$ and $\{e^{\prime\,i}\}_{i=1}^{8}$ for ${\mathfrak{g}}_{\alpha^{\prime}}^{*}$ satisfying the equations (7) with respective parameters $\alpha$ and $\alpha^{\prime}$, any Lie algebra isomorphism is defined by

[TABLE]

satisfying conditions

[TABLE]

where the matrix $\Lambda=(\lambda^{i}_{j})_{i,j=1,\ldots,8}$ belongs to ${\rm GL}(8,\mathbb{R})$.

We first note that the preceding lemma allows us to simplify the $8\times 8$ matrix $\Lambda$. In fact, from Lemma 4.3 one has that $\lambda^{i}_{j}=0$ for $1\leq i\leq 2$ and $3\leq j\leq 8$, for $3\leq i\leq 5$ and $6\leq j\leq 8$, and also $\lambda^{3}_{5}=\lambda^{4}_{5}=\lambda^{6}_{8}=\lambda^{7}_{8}=0$. Since $\Lambda$ belongs to ${\rm GL}(8,\mathbb{R})$, the previous conditions imply that $\lambda^{5}_{5}\neq 0$ and $\lambda^{8}_{8}\neq 0$.

Note also that (14) is trivially fulfilled for $1\leq i\leq 4$. Hence, it suffices to focus on $5\leq i\leq 8$. We will denote by \big{[}d\big{(}F(e^{\prime\,i})\big{)}-F(de^{\prime\,i})\big{]}_{jr} the coefficient for $e^{jr}$ in the expression of the 2-form d\big{(}F(e^{\prime\,i})\big{)}-F(de^{\prime\,i}).

By a direct calculation we have

[TABLE]

Since $\lambda^{5}_{5}\neq 0$, we conclude that $\lambda^{4}_{3}=0$. Now observe that the following expressions must annihilate:

[TABLE]

Solving $\lambda^{6}_{7}$ and $\lambda^{7}_{7}$ from the first two equations and replacing their values in the last ones, we get:

[TABLE]

Moreover, also the following terms must vanish:

[TABLE]

From the second one, we have $\lambda^{8}_{8}=\lambda^{4}_{4}\lambda^{5}_{5}$. Since $\lambda^{8}_{8}\neq 0$, in particular also $\lambda^{4}_{4}\neq 0$. Using the first expression above, we can then solve

[TABLE]

In addition, observe that \big{[}d\big{(}F(e^{\prime\,5})\big{)}-F(de^{5})\big{]}_{12}=\big{[}d\big{(}F(e^{\prime\,7})\big{)}-F(de^{7})\big{]}_{13}=0 lead to

[TABLE]

We now check that the vanishing of the coefficient $\lambda^{1}_{1}$ leads to a contradiction. Indeed, in such case, the first expression in (17) becomes $\lambda^{5}_{5}=-\lambda^{1}_{2}\lambda^{2}_{1}\neq 0$, and from (15) we then have $\lambda^{5}_{5}=-(1+\alpha)\,\lambda^{5}_{3}$, which plugged into (16) gives $\lambda^{3}_{3}=-(3+\alpha)\lambda^{5}_{3}$. Replacing this value in the second equation of (17), the condition $\lambda^{5}_{3}(\alpha+\alpha^{\prime}+4)=0$ arises. Since $\alpha$ and $\alpha^{\prime}$ are greater than zero, we are forced to consider $\lambda^{5}_{3}=0$. However, this leads to $\lambda^{5}_{5}=0$, which is a contradiction. Hence, we necessarily have that $\lambda^{1}_{1}$ is nonzero.

Since $\lambda^{1}_{1}\neq 0$, the condition

[TABLE]

implies $\lambda^{5}_{3}=0$. Replacing this value in (15), (16), and (17), we obtain:

[TABLE]

As $\lambda^{5}_{5}\neq 0$, one immediately has $\lambda^{2}_{1}=\lambda^{1}_{2}=0$ and $\lambda^{5}_{5}=\lambda^{1}_{1}\lambda^{2}_{2}$. Consequently $\lambda^{2}_{2}\neq 0$, which allows us to conclude $1+\alpha=1+\alpha^{\prime}$, and thus $\alpha=\alpha^{\prime}$. This completes the proof of the proposition. $\square$

Remark 4.4**.**

In addition to the notions of rational and real homotopy types, there is also the notion of complex homotopy type [5]. Two manifolds $X$ and $Y$ have the same $\mathbb{C}$-homotopy type if and only if their $\mathbb{C}$-minimal models $(\bigwedge V_{X}\otimes_{\mathbb{Q}}\mathbb{C},d)$ and $(\bigwedge V_{Y}\otimes_{\mathbb{Q}}\mathbb{C},d)$ are isomorphic. Here $(\bigwedge V_{X},d)$ and $(\bigwedge V_{Y},d)$ are the rational minimal models of $X$ and $Y$, respectively. Recall that when the field $\mathbb{K}$ has ${\rm char}\,(\mathbb{K})=0$, the $\mathbb{K}$-minimal model is unique up to isomorphism. Clearly, if $X$ and $Y$ have different complex homotopy type, then $X$ and $Y$ have different real (hence, also rational) homotopy type.

For nilmanifolds, it is proved in [3, Theorem 2] that there are exactly $30$ complex homotopy types of $6$-dimensional nilmanifolds. It is worth remarking that if $\alpha\not=\alpha^{\prime}$, then our nilmanifolds $N_{\alpha}$ and $N_{\alpha^{\prime}}$ have different $\mathbb{C}$-minimal model. Indeed, it can be checked that the proof of Proposition 1.3 above directly extends to the case when the matrix $\Lambda=(\lambda^{i}_{j})_{i,j=1,\ldots,8}$ defined in (13) belongs to ${\rm GL}(8,\mathbb{C})$. In conclusion, our main result in Theorem 1.1 extends to the complex case, i.e. there are infinitely many complex homotopy types of $8$-dimensional nilmanifolds admitting a generalized complex structure of every type $k$, for $0\leq k\leq 4$. Now, Corollary 1.4 is a consequence of the fact that the product nilmanifolds $N_{\alpha}\times{\mathbb{T}}^{2m}$ do not admit any Kähler metric. **

Acknowledgments. This work has been partially supported by the projects MTM2017-85649-P (AEI/FEDER, UE), and E22-17R “Álgebra y Geometría” (Gobierno de Aragón/FEDER).