Geometric formalities along the Chern-Ricci flow

TL;DR

This paper investigates how geometric formality concepts evolve under the Chern-Ricci flow on certain complex surfaces, providing insights into the interplay between geometric structures and complex geometric flows.

Contribution

It extends the study of geometric formality to the Hermitian setting under the Chern-Ricci flow on class VII surfaces, including Hopf, Inoue, and Kodaira surfaces.

Findings

Geometric formality notions evolve in specific ways under the flow.

The study provides new understanding of complex surface geometry.

Results highlight differences between various surface types.

Abstract

In this paper, we study how the notions of geometric formality according to Kotschick and other geometric formalities adapted to the Hermitian setting evolve under the action of the Chern-Ricci flow on class VII surfaces, including Hopf and Inoue surfaces, and on Kodaira surfaces.

Tables

Table 1. Table 1. Summary of Theorem 3.1 and Propositions 3.2 and 4.1 concerning geometric formalities (for Kotschick, Dolbeault, Bott-Chern) and the structure of Aeppli-harmonic forms with respect to Hermitian metrics, respectively invariant Hermitian metrics on Hopf, Inoue, Kodaira surfaces.

surface	Kotschick	Dolbeault	Bott-Chern	Aeppli harm. f.	Aeppli harm. f.
	geom. form.	geom. form.	geom. form.	as algebra	as BC-module
class ${\mathrm{VII}}^{b_2>0}$	never	?	?	?	?
Hopf	always	always	always	diagonal	always
(invariant metrics)
Inoue-Bombieri $S_M$	always	always	always	diagonal	always
(invariant metrics)
Inoue $S^{\pm }$	always	always	always	diagonal	always
(invariant metrics)
primary Kodaira	never	never	never	never	never
secondary Kodaira	always	always	always	diagonal	always
(invariant metrics)

Equations

$$\frac{\partial }{\partial t}\omega =-{\mathrm{Ric}}^{Ch}(\omega ),$$

$$H_{dR}^k(X;\mathbb{R}):=\frac{\ker (d:{\bigwedge }^k(X)\to {\bigwedge }^{k+1}(X))}{\mathrm{im}(d:{\bigwedge }^{k-1}(X)\to {\bigwedge }^k(X))}{H}_{dR}^k(X;\mathbb{C}):=\frac{\ker (d:{\bigwedge }_{\mathbb{C}}^k(X)\to {\bigwedge }_{\mathbb{C}}^{k+1}(X))}{\mathrm{im}(d:{\bigwedge }_{\mathbb{C}}^{k-1}(X)\to {\bigwedge }_{\mathbb{C}}^k(X))}$$

$$H_{\overline{\partial }}^{\bullet ,\bullet }(X):=\frac{\ker \overline{\partial }}{\mathrm{im}\overline{\partial }}{H}_{BC}^{\bullet ,\bullet }(X):=\frac{\ker \partial \cap \ker \overline{\partial }}{\mathrm{im}(\partial \overline{\partial })}{H}_A^{\bullet ,\bullet }(X):=\frac{\ker \partial \overline{\partial }}{\mathrm{im}\partial +\mathrm{im}\overline{\partial }}.$$

$$\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}{H}_{BC}^{\bullet ,\bullet }(X)\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}$$

$$H_{dR}^k(X)\stackrel{\sim }{\to }{H}_{dR}^{2n-k}(X),H_{\overline{\partial }}^{p,q}(X)\stackrel{\sim }{\to }{H}_{\partial }^{n-q,n-p}(X),H_{BC}^{p,q}(X)\stackrel{\sim }{\to }{H}_A^{n-q,n-p}(X),$$

$${\Delta }_{dR}=d{d}^{\ast }+d^{\ast }d,{\Delta }_{\overline{\partial }}=\overline{\partial }{\overline{\partial }}^{\ast }+{\overline{\partial }}^{\ast }\overline{\partial }$$

$${\Delta }_{BC}=\partial \overline{\partial }{\overline{\partial }}^{\ast }{\partial }^{\ast }+{\overline{\partial }}^{\ast }{\partial }^{\ast }\partial \overline{\partial }+{\overline{\partial }}^{\ast }\partial {\partial }^{\ast }\overline{\partial }+{\partial }^{\ast }\overline{\partial }{\overline{\partial }}^{\ast }\partial +{\overline{\partial }}^{\ast }\overline{\partial }+{\partial }^{\ast }\partial$$

$${\Delta }_A=\partial {\partial }^{\ast }+\overline{\partial }{\overline{\partial }}^{\ast }+{\overline{\partial }}^{\ast }{\partial }^{\ast }\partial \overline{\partial }+\partial \overline{\partial }{\overline{\partial }}^{\ast }{\partial }^{\ast }+\partial {\overline{\partial }}^{\ast }\partial {\partial }^{\ast }+\overline{\partial }{\partial }^{\ast }\partial {\overline{\partial }}^{\ast }.$$

$$\begin{array}[]{rcl}\mathcal{H}_{dR}^{k}(X,g)\xrightarrow{\sim}H_{dR}^{k}(X),&&\mathcal{H}_{\overline{\partial}}^{p,q}(X,g)\xrightarrow{\sim}H_{\overline{\partial}}^{p,q}(X),\\ \mathcal{H}_{BC}^{p,q}(X,g)\xrightarrow{\sim}H_{BC}^{p,q}(X),&&\mathcal{H}_{A}^{p,q}(X,g)\xrightarrow{\sim}H_{A}^{p,q}(X).\end{array}$$

$$\frac{\partial }{\partial t}\omega (t)=-{\text{Ric}}^{Ch}(\omega (t)),\omega (0)={\omega }_0,$$

$${\text{Ricci}}_{i\overline{j}}^{Ch}:=g^{k\overline{l}}{R}_{i\overline{j}k\overline{l}}^{Ch},$$

$${\text{Ric}}^{Ch}:={\text{Ricci}}^{Ch}(J(\cdot ),\cdot ).$$

$${\text{Ric}}^{Ch}(\omega )=-\sqrt{-1}\partial \overline{\partial }\log \det (g),$$

$$d{\phi }^I=-c_{HK}^I{\phi }^H\wedge {\phi }^K,$$

$$2\omega =\sqrt{-1}\sum _{I,J=1}^2{g}_{I\overline{J}}{\phi }^I\wedge {\phi }^{\overline{J}}=\sqrt{-1}{r}^2{\phi }^{1\bar{1}}+\sqrt{-1}{s}^2{\phi }^{2\bar{2}}+u{\phi }^{1\bar{2}}-\bar{u}{\phi }^{2\bar{1}}$$

$$r^2>0,s^2>0,r^2{s}^2>|u{|}^2.$$

$$(g_{KL}{)}_{K,L}=\frac{1}{2}\cdot \left(\begin{array}{cc}{r}^2& -\sqrt{-1}u\\ \sqrt{-1}\bar{u}& s^2\end{array}\right)\in \mathrm{GL}(\mathfrak{g})$$

$$(g^{KL}{)}_{K,L}:=(g_{KL}{)}_{K,L}^{-1}=\frac{2}{r^2{s}^2-|u{|}^2}\cdot \left(\begin{array}{cc}{s}^2& \sqrt{-1}u\\ -\sqrt{-1}\bar{u}& r^2\end{array}\right).$$

$$({\Gamma }^{Ch}{)}_{IH}^K=\frac{1}{2}{c}_{IH}^K-\frac{1}{2}{g}^{KA}{g}_{BI}{c}_{HA}^B-\frac{1}{2}{g}^{KA}{g}_{BH}{c}_{IA}^B+\frac{1}{2}{g}^{KL}{C}_{IHL},$$

$$C_{IHL}=d\omega (J{\phi }_I,{\phi }_H,{\phi }_L).$$

$$(R^{Ch}{)}_{IHKL}=g_{AL}({\Gamma }^{Ch}{)}_{HK}^B({\Gamma }^{Ch}{)}_{IB}^A-g_{AL}({\Gamma }^{Ch}{)}_{IK}^B({\Gamma }^{Ch}{)}_{HB}^A-g_{AL}{c}_{IH}^B({\Gamma }^{Ch}{)}_{BK}^A,$$

$$({\mathrm{Ricci}}^{Ch}{)}_{IH}=g^{KL}(R^{Ch}{)}_{IHKL}.$$

$${\mathrm{Ric}}^{Ch}={\mathrm{Ricci}}^{Ch}(J(\cdot ),\cdot )\in c_1^{BC}(X)\in H_{BC}^{1,1}(X;\mathbb{R}).$$

$${\ast }_g{\phi }^1$$

$${\ast }_g{\bar{\phi }}^1$$

$${\ast }_g{\phi }^{12}$$

$$V{\ast }_g{\phi }^{1\overline{1}}$$

$$V{\ast }_g{\phi }^{1\overline{2}}$$

$$V{\ast }_g{\phi }^{2\overline{1}}$$

$$V{\ast }_g{\phi }^{2\overline{2}}$$

$$V{\ast }_g{\phi }^{12\bar{1}}$$

$$V{\ast }_g{\phi }^{1\bar{1}\bar{2}}$$

$$\frac{\partial }{\partial t}\omega (t)=-{\mathrm{Ric}}^{Ch}({\omega }_0),\omega (0)={\omega }_0.$$

$$2{\mathrm{Ric}}^{Ch}=\sqrt{-1}{\rho }_r{\phi }^{1\bar{1}}+\sqrt{-1}{\rho }_s{\phi }^{2\bar{2}}+{\rho }_u{\phi }^{1\bar{2}}-{\bar{\rho }}_u{\phi }^{2\bar{1}},$$

$$2{\omega }_0=\sqrt{-1}{r}_0^2{\phi }^{1\bar{1}}+\sqrt{-1}{s}_0^2{\phi }^{2\bar{2}}+u_0{\phi }^{1\bar{2}}-{\bar{u}}_0{\phi }^{2\bar{1}},$$

Full text

The first author is supported by the Project PRIN “Varietà reali e complesse: geometria, topologia e analisi armonica”, by SIR2014 project RBSI14DYEB “Analytic aspects in complex and hypercomplex geometry”, and by GNSAGA of INdAM

Introduction

This note is related to the problem of understanding the algebraic structure of cohomologies of complex manifolds.

On a differentiable manifold $X$, the differential complex of forms has a structure of algebra. The wedge product induces an algebra structure in de Rham cohomology, but not in a uniform way. We mean that, in general, it is not possible to choose a system of representatives having itself a structure of algebra. This is evident if we want to choose harmonic representatives with respect to a Riemannian metric on a compact differentiable manifold: indeed, in the words of Sullivan, there is an “incompatibility of wedge products and harmonicity of forms” [Sul78, page 326]. In general, on a compact differentiable manifold $X$, the choice of representatives for the de Rham cohomology yields just a structure of $A_{\infty}$-algebra in the sense of Stasheff [Sta63], by the Homotopy Transfer Principle by Kadeishvili [Kad80], see e.g. [Zho00, Mer99]. We refer to [LPWZ09, BMFM18] for understanding the relationship between the higher multiplications and the Massey products. When such an $A_{\infty}$-algebra is actually an algebra, we say that $X$ is formal in the sense of Sullivan [Sul78]. In this case, the differential graded algebra of forms and the dga of de Rham cohomology share the same minimal model, which contains information on the rational homotopy: therefore the rational homotopy type of $X$ “can be computed formally from” the cohomology ring $H^{\bullet}_{dR}(X;\mathbb{R})$; see [Sul78] for details. As a special case, when we can fix a Riemannian metric $g$ such that the harmonic representatives with respect to $g$ have a structure of algebra, say that $X$ is geometrically formal in the sense of Kotschick [Kot01].

On a complex manifold $X$, the double complex of forms $(\wedge^{\bullet,\bullet}X,\partial,\overline{\partial})$ has a structure of bi-differential bi-graded algebra. Then it is possible to investigate analogous notions for the Dolbeault cohomology. Neisendorfer and Taylor introduced the notion of (strictly) Dolbeault formality and “complex homotopy groups” in [NT78]; for Hermitian manifolds, the notion of (strictly) geometric-Dolbeault formality has been investigated by Tomassini and Torelli in [TTo14].

Besides Dolbeault cohomology, Bott-Chern $H^{\bullet,\bullet}_{BC}(X):=\frac{\ker\partial\cap\ker\overline{\partial}}{\mathrm{im}\,\partial\overline{\partial}}$ [BC65] and Aeppli $H^{\bullet,\bullet}_{A}(X):=\frac{\ker\partial\overline{\partial}}{\mathrm{im}\,\partial+\mathrm{im}\,\overline{\partial}}$ [Aep65] cohomologies provide further cohomological invariants on complex manifolds. They are directly related by morphisms to both the Dolbeault and the de Rham cohomology, and allow to numerically characterize the strong Hodge decomposition given by the $\partial\overline{\partial}$-Lemma [ATo13, ATa17]. The notion of geometrically-Bott-Chern formality for Hermitian manifolds is introduced and studied in [ATo15]. Here, Bott-Chern-harmonic forms are in the kernel of the fourth-order Bott-Chern Laplacian introduced in [KS60, Sch07]. On the other side, it is not clear how to study a notion of “Bott-Chern and Aeppli formality”. However, the Bott-Chern cohomology has a structure of algebra, while the Aeppli cohomology is just a $H_{BC}(X)$-module. We refer to the discussion in [ATa17, Ang15].

In this note, we focus on geometric formalities of complex manifolds and its dependence on the Hermitian metric. In [TTo14, TaT17], the authors study the behaviour of Dolbeault formality, respectively geometric-Bott-Chern formality, under small deformations of the complex structure. Here, we keep the complex structure fixed, and we study geometric formalities with respect to Hermitian metrics evolving along a geometric flow. More precisely, we consider the Chern-Ricci flow [Gil11, TW15] that evolves Hermitian structures $\omega(t)$ by the Chern-Ricci form,

[TABLE]

and we study the possible algebra structure on the space of (de Rham, Dolbeault, Bott-Chern, Aeppli) harmonic forms with respect to $\omega(t)$ varying $t$.

We study in details geometric formality according to Kotschick for a whole class of surfaces evolving by the Chern-Ricci flow, i.e. compact complex non-Kähler surfaces with Kodaira dimension $\text{Kod}(X)=-\infty$ and first Betti number $b_{1}(X)=1$, known as class VII of the Enriques-Kodaira classification. In particular, we first rule out class VII surfaces with second Betti number $b_{2}>0$ by applying arguments as in [Kot01]. Then, we exploit the structure of quotients of Lie groups with invariant complex and Hermitian structure on the only class VII surfaces with $b_{2}=0$, that is Hopf and Inoue surfaces see [Bog82, Kod64, LYZ94, Tel94], in order to reduce the description of harmonic forms and the equation of the Chern-Ricci flow of such surfaces at the level of invariant forms and thus make explicit computations. We obtain the following.

Theorem 3.1.

On class VII surfaces, the Chern-Ricci flow preserves the notion of geometric formality according to Kotschick starting at initial invariant metrics.

We also study the evolution of geometric formality according to Kotschick on other compact complex non-Kähler surfaces that are diffeomorphic to solvmanifolds, e.g. Kodaira surfaces. Since any complex structures on such surfaces is left-invariant, see [Has05, Theorem 1], we focus on invariant forms also in this case.

Proposition 3.2.

On Kodaira surfaces, geometric formality according to Kotschick is preserved by the Chern-Ricci flow starting at initial invariant metrics.

We note that, also in this case, it is possible to rule out primary Kodaira surfaces by the obstructions in [Kot01] or [Has89], and therefore we focus on secondary Kodaira surfaces with initial invariant metrics.

Regarding Dolbeault and Bott-Chern geometric formalities evolving by the Chern-Ricci flow, by applying the analogous procedure on Hopf, Inoue, and Kodaira surfaces, we have reached results as follows. We also checked how the algebraic structures of Aeppli cohomology and its harmonic representatives are modified along the Chern-Ricci flow.

Proposition 4.1.

On Hopf, Inoue, and Kodaira surfaces, the notions of Dolbeault geometric formality and Bott-Chern geometric formality are all preserved by the Chern-Ricci flow starting at initial invariant metrics. Moreover the properties of Aeppli-harmonic forms having a structure of algebra or a structure of $H_{BC}$-module are all preserved by the Chern-Ricci flow starting at initial invariant metrics.

Throughout this note, we give a complete description of harmonic forms on such compact complex surfaces depending on the invariant Hermitian metrics. We made computations with the aid of SageMath [S*+*09].

We ask whether for Dolbeault and Bott-Chern geometric formalities there exist obstructions (such as the ones found in [Kot01]) which would help complete the picture for geometric formalities for class VII surfaces. We also ask whether the behaviour we observed is more general or there exist counterexamples.

*Acknowledgments. This work has been originally developed as partial fulfillment for the second author’s Master Degree in Matematica at Università di Firenze under the supervision of the first author. The authors would like to thank Andrea Cattaneo, José Manuel Moreno-Fernández, Cosimo Flavi, Nicoletta Tardini, and Adriano Tomassini for several interesting discussions. Thanks also to the anonymous Referee for her/his comments and suggestions. *

1. Preliminaries on Hermitian manifolds

Cohomologies of compact complex manifolds

For a complex compact manifold $X$, one can define its real and complex de Rham cohomology groups by

[TABLE]

which correspond, by the universal coefficients theorem.

In the case of non-Kähler complex compact manifolds, further invariants regarding the complex structure are given by other cohomologies, such as Dolbeault, Bott-Chern and Aeppli cohomologies, defined respectively by

[TABLE]

In general, the homomorphisms induced by the identity between those cohomologies are not necessarily injective nor surjective. However, for compact manifolds satisfying the $\partial\overline{\partial}$-lemma, such as compact Kähler manifolds, these natural maps that are induced by the identity are all isomorphisms, see [DGMS75]:

[TABLE]

where $H_{\partial}^{\bullet,\bullet}(X)$ is the conjugate of the Dolbeault cohomology.

Once fixed a Hermitian metric $g$ on $X$, the Hodge-$\ast$-operator with respect to such metric induces isomorphisms, see e.g. [Sch07, §2.b, §2.c]:

[TABLE]

where $\dim_{\mathbb{R}}X=2n$, $1\leq k\leq 2n$, and $1\leq p,q\leq n$.

Hodge theory

For a compact Hermitian manifold $(X^{n},g)$, we denote by $\mathcal{H}_{\qed}^{k}(X,g)$, with $k\in\{1,\dots,2n\}$, $\qed\in\{dR,\overline{\partial},BC,A\}$ the set of harmonic $k$-forms with respect to the regular Laplacian, Dolbeault Laplacian, Bott-Chern Laplacian, Aeppli Laplacian, namely the following self-adjoint, elliptic operators, see [Sch07, §2.b, §2.c]:

[TABLE]

Clearly, those operators depend on the fixed metric $g$. For $\qed\in\{\overline{\partial},BC,A\}$, we can define also $\mathcal{H}_{\qed}^{p,q}(X,g)$, i.e. the set of harmonic $(p,q)$-forms with respect to Dolbeault, Bott-Chern and Aeppli Laplacians.

Both the de Rham $(\bigwedge_{\mathbb{C}}^{\bullet}(X),d)$ and Dolbeault complexes $(\bigwedge^{\bullet,\bullet}(X),\partial,\overline{\partial})$ of a compact Hermitian manifold $(X,g)$, via harmonic forms, admit decompositions that yield the following isomorphisms of vector spaces between harmonic forms and cohomology classes:

[TABLE]

We note that isomorfisms as in (1.1) still hold at the level of harmonic forms.

Geometric formalities

In general, whereas de Rham, Dolbeault and Bott-Chern cohomologies have a structure of algebra induced by the cup product of cohomology classes, the mentioned isomorphisms (1.2) do not preserve the structure of algebra, expected by the wedge product. For Aeppli cohomology, especially, we do not have a structure of algebra a priori, but a structure of $H_{BC}(X)$-module; the isomorphism in (1.2) could not preserve this structure. This remark makes non-trivial the following definitions.

Definition 1.1**.**

Let $X$ be a compact complex manifold, $g$ a fixed Hermitian metric on $X$. The metric $g$ is said to be

1. (1)

geometrically formal according to Kotschick* if $\mathcal{H}_{dR}^{\bullet}(X,g)$ has a structure of algebra induced by the wedge product;* 2. (2)

Dolbeault-geometrically formal* if $\mathcal{H}_{\overline{\partial}}^{\bullet,\bullet}(X,g)$ has a structure of algebra induced by the wedge product;* 3. (3)

Bott-Chern-geometrically formal* if $\mathcal{H}_{BC}^{\bullet,\bullet}(X,g)$ has a structure of algebra induced by the wedge product.*

Chern-Ricci flow

The Chern-Ricci flow (introduced in [Gil11] and studied in [TW15]) is a parabolic geometric flow that preserves the Hermitian condition of the initial given metric. The equations that describe such flow on a Hermitian manifold $(X^{n},J,g_{0})$ are

[TABLE]

where $\omega_{0},\,\omega(t)$ are the foundamental forms associated, respectively, to the Hermitian initial metric $g_{0}$ and the evolution metric $g(t)$ by the usual relation $\omega(\cdot,\cdot)=g(J(\cdot),\cdot)$. For an arbitrary real $(1,1)$-form $\omega$, $\text{Ric}^{Ch}(\omega)$ is the Chern-Ricci form of $\omega$. The first Chern-Ricci curvature $\text{Ric}^{Ch}$ is defined starting from $\nabla^{Ch}$, the Chern connection on $(X,J,g)$, i.e. the unique connection $\nabla$ on the holomorphic tangent bundle $T^{1,0}X$ such that $\nabla$ is compatible with both $g$ and $J$ and $\nabla^{0,1}=\overline{\partial}$. In a holomorphic chart, the curvature tensor $R^{Ch}$ of such connection has components $R_{i\overline{j}k\overline{l}}^{Ch}$, for $i,j,k,l\in\{1,\dots,n\}$. The Chern-Ricci tensor is obtained by contracting the last two indices via the metric

[TABLE]

where $(g^{k\overline{l}})$ is the inverse of the matrix $(g_{k\overline{l}})$ representing in local coordinates the metric $g$. The Chern-Ricci form is defined by

[TABLE]

Such form has important properties, among which a very simple form in local coordinates:

[TABLE]

from which we can deduce that $\text{Ric}^{Ch}(\omega)$ is a $\partial$-, $\overline{\partial}$-closed form, hence it defines a cohomology class in $H_{BC}^{1,1}(X)$. Such class is a holomorphic invariant, denoted by $c_{1}^{BC}(X)$, which plays a fundamental role in the classification of complex manifolds.

2. Preliminaries on compact complex surfaces and quotients of Lie groups

In this section, we analyze in details complex structures, cohomologies, and Chern-Ricci flow on non-Kähler compact complex surfaces that can be described as quotients of Lie groups $G$ endowed with invariant complex structure [Has05], namely Hopf, Inoue, and Kodaira surfaces. Here, invariant tensors are meant to be defined on the covering Lie group and invariant by the action of the Lie group on itself by left-translations, that is, they can be considered as linear tensors over the associated Lie algebra $\mathfrak{g}$.

Complex structure

More precisely, we describe the complex structure $J$ by a coframe of invariant $(1,0)$-forms $\{\varphi^{1},\varphi^{2}\}$ and their conjugates, and by their structure equations

[TABLE]

equivalently, by the dual frame $\{\varphi_{1},\varphi_{2}\}$ of $(1,0)$-vector fields and their conjugates, with structure equations $[\varphi_{H},\varphi_{K}]=c_{HK}^{I}\varphi_{I}$. (Capital letters here vary in the ordered set $(1,2,\bar{1},\bar{2})$ and refer to the corresponding component. The Einstein summation is assumed, for increasing indices in case of forms. Hereafter, we shorten e.g. $\varphi^{2\bar{1}}:=\varphi^{2}\wedge\bar{\varphi}^{1}$.)

Hermitian structure

The arbitrary invariant Hermitian metric $g:=\omega(\,\cdot\,,J(\cdot))$ has associated $(1,1)$-form

[TABLE]

where the coefficients satisfy

[TABLE]

That is to say, the Hermitian matrix

[TABLE]

is positive-definite. Its inverse is

[TABLE]

The Christoffel symbols of the Chern connection can be computed as follows, see e.g. [OUV17]:

[TABLE]

where

[TABLE]

We can then express the $(4,0)$-Riemannian curvature of the Chern connection as

[TABLE]

and the Chern-Ricci tensor as

[TABLE]

Then the Chern-Ricci form is

[TABLE]

Finally, we collect here some explicit description of the Hodge-star-operator on forms for the arbitrary Hermitian metric associated to the form (2.1), in order to describe harmonicity, see also [Pic19, Lemma 2]. It is straightforward to check that:

[TABLE]

where we set $V={g^{1\overline{1}}g^{2\overline{2}}-g^{1\overline{2}}g^{2\overline{1}}}=r^{2}s^{2}-|u|^{2}$.

Cohomologies

Consider the inclusion of invariant forms into the double complex of forms, $\iota\colon(\wedge^{\bullet,\bullet}\mathfrak{g}^{\vee},\partial,\overline{\partial})\hookrightarrow(\wedge^{\bullet,\bullet}X,\partial,\overline{\partial})$. By choosing an invariant Hermitian metric, (the easier finite-dimensional version of) elliptic Hodge theory also applies at the level of invariant forms; in particular, any cohomology class of invariant forms admits a unique invariant harmonic representative. It follows that the above inclusion induces injective maps in de Rham $\iota_{dR}$, Dolbeault $\iota_{\overline{\partial}}$, Bott-Chern $\iota_{BC}$, Aeppli $\iota_{A}$ cohomology, see [CF01, Lemma 9]. We claim that they are in fact isomorphisms.

The de Rham cohomology of Hopf, Inoue, Kodaira surfaces is well known, and it happens that the above maps $\iota_{dR}$ are actually isomorphisms, that is, any de Rham class admits an invariant representative. In fact, the Hopf surface is diffeomorphic to the product $\mathbb{S}^{1}\times\mathbb{S}^{3}$ of two compact Lie groups, so one can use the Künneth formula and e.g. [FOT08, Theorem 1.28]; the primary Kodaira surface is a nilmanifold, so one can use the Nomizu theorem [Nom54]; the secondary Kodaira surfaces are quotients of primary Kodaira surfaces by finite groups; the Inoue surface of type $S^{\pm}$ is a completely-solvable solvmanifold, so one can use the Hattori theorem [Hat60]; and the de Rham cohomology of the Inoue surface of type $S_{M}$ can be computed by exploiting their number-theoretic construction as [OT05] does in a more general setting.

As for the Dolbeault cohomology, for compact complex surfaces, we know that the Frölicher spectral sequence degenerates at the first page, see e.g. [BHPVdV04], that is, $\dim_{\mathbb{C}}H^{k}_{dR}(X;\mathbb{C})=\sum_{p+q=k}\dim_{\mathbb{C}}H^{p,q}_{\overline{\partial}}(X)$ for any $k$. By explicitly computing the Dolbeault cohomology of invariant forms [ADT16], one then notice that the above maps $\iota_{\overline{\partial}}$ are actually isomorphisms.

Finally, Bott-Chern cohomology of compact complex surfaces is well-undestood since [Tel06]. By [AK17, Theorem 1.3, Proposition 2.2], (that fits in the general theory later developed by [Ste18],) also $\iota_{BC}$ are isomorphisms. Explicit computations can be found in [ADT16]. Finally, $\iota_{A}$ are isomorphisms thanks to the Schweitzer duality between Bott-Chern and Aeppli cohomologies, where one can use the Hodge-star-operator with respect to an invariant Hermitian metric.

Finally, by uniqueness of the harmonic representative in a cohomology class, we also deduce that harmonic representatives with respect to invariant metrics are invariant.

Chern-Ricci flow

Recall that the Chern-Ricci form represents the first Bott-Chern class $c_{1}^{BC}(X)\in H^{1,1}_{BC}(X)$. Since a class in $H^{1,1}_{BC}(X)$ contains only one invariant representative, the Chern-Ricci form $\mathrm{Ric}^{Ch}(\omega)$ does not depend on the invariant Hermitian metric $\omega$. In particular, the Chern-Ricci flow starting at $\omega_{0}$ reduces to

[TABLE]

We notice that the solution of the Chern-Ricci flow starting at an invariant metric remains invariant for any existence time. Indeed, by short existence and uniqueness assured by parabolicity, the symmetry group is preserved along the flow (and possibly increases in the limit, see e.g. [Lau16]).

Denote by $\rho_{r}$, $\rho_{s}$, $\rho_{u}$ the coefficients of the Chern-Ricci form,

[TABLE]

and let the initial metric $\omega_{0}$ be of the form

[TABLE]

where $r_{0},s_{0}\in\mathbb{R}\setminus\{0\}$ and $u_{0}\in\mathbb{C}$ such that $r_{0}^{2}s_{0}^{2}-|u_{0}|^{2}>0$. The solution $\omega(t)$ of the Chern-Ricci flow starting at $\omega_{0}$ is then

[TABLE]

defined for times $t$ such that $r(t)^{2}=r_{0}^{2}-t\rho_{r}>0$, $s(t)=s_{0}^{2}-t\rho_{s}>0$, $u(t)=u_{0}-t\rho_{u}\in\mathbb{C}$ such that $r(t)^{2}s(t)^{2}-|u(t)|^{2}>0$.

3. Geometric formality according to Kotshick

In this section we state the main theorem of this note, regarding class VII surfaces of the Enriques-Kodaira classification of compact complex surfaces.

Theorem 3.1**.**

On class VII surfaces of the Enriques-Kodaira classification, geometric formality according to Kotshick is preserved by the Chern-Ricci flow starting at initial invariant Hermitian metrics.

Proof.

Let $X$ be a class VII surface, that is, $\text{Kod}(X)=-\infty$ and $b_{1}(X)=1$. By [Kot01, Theorem 6], for a compact oriented Kotschick-geometrically formal 4-manifold $X$, the first Betti number satisfies $b_{1}(X)\in\{0,1,2,4\}$. Since all class VII surfaces are non-Kähler, they must have odd first Betti number by [Buc99, Lam99], that is, $b_{1}(X)=1$. By [Kot01, Theorem 9], the Euler characteristic of such manifolds vanishes, implying that $b_{2}(X)=0$. Since the characterization result by [Bog82, Kod64, LYZ94, Tel94], class VII surfaces with $b_{2}(X)=0$ are necessarily Hopf or Inoue surfaces, then we see that the only Kotschick-geometrically formal class VII surfaces can be Hopf and Inoue surfaces. Therefore, Chern-Ricci flow starting at any metric cannot produce geometrically formal metrics on class VII surfaces other than Hopf and Inoue surfaces: we will then check the statement for those surfaces.

Case 1: Hopf surfaces

Hopf surfaces $X$ are compact complex surfaces in class VII defined as a quotient of $\mathbb{C}^{2}\setminus\{0\}$ by a free action of a discrete group generated by a holomorphic contraction $\gamma(z,w)=(\alpha z+\lambda w^{p},\beta w)$ where $\alpha,\beta,\lambda\in\mathbb{C}$ and $p\in\mathbb{N}$ are such that $0<|\alpha|\leq|\beta|<1$ and $(\alpha-\beta^{p})\lambda=0$, see [Lat11], [Ste57, page 820], see [Weh81, Remark 1].

The diffeomorphism type is $\mathbb{S}^{1}\times\mathrm{SU(2)}$, and the complex structure is a special case of the Calabi-Eckmann complex structure on product of spheres [CE53]. See also [Par03, Theorem 4.1]. In terms of a coframe $(\varphi^{1},\varphi^{2})$ of $(1,0)$-forms, they are described as

[TABLE]

The de Rham cohomology of Hopf surfaces is

[TABLE]

where we have listed the harmonic representatives with respect to the Hermitian metric with fundamental form $2\omega=\sqrt{-1}\varphi^{1\bar{1}}+\sqrt{-1}\varphi^{2\bar{2}}$ instead of their classes.

Harmonic representatives for cohomologies

We look at how harmonic representatives of de Rham cohomology change with respect to the invariant Hermitian metric, and in particular whether their product is still harmonic.

We notice that, varying the invariant Hermitian metric, the harmonic representatives are

[TABLE]

Indeed, it suffices to check that the harmonic representative of the class $[\varphi^{2}-\bar{\varphi}^{2}]$ does not depend on the invariant metric. This is because harmonic representatives are invariant, and the class $[\varphi^{2}-\bar{\varphi}^{2}]=\{\varphi^{2}-\bar{\varphi}^{2}+dc\;:\;c\in\mathbb{R}\}$ contains only one invariant representantive, which is then harmonic with respect to any metric. Then we compute the harmonic representative of the dual class in $H^{3}_{dR}(X;\mathbb{R})$ by applying the Hodge-star-operator to $\varphi^{2}-\bar{\varphi}^{2}$ with respect to the arbitrary Hermitian metric. In any case, the product of an invariant $1$-form and an invariant $3$-form is either zero or a scalar multiple of the volume form. It follows that any invariant metric on the Hopf surface is geometrically formal in the sense of Kotschick.

Chern-Ricci flow

Clearly, on the Hopf surface with invariant Hermitian metrics, the properties of geometric formality in the sense of Kotschick is preserved along the Chern-Ricci flow. Nonetheless, for completeness and for later use, we compute the Chern-Ricci form and the Chern-Ricci flow on $X$.

We start by computing the Chern-Riemann curvature of an invariant Hermitian metric. We follow notation as in [OUV17, Section 2] (see also [LY12, Section 6] for another argument). With respect to the frame $\left(\varphi_{1},\varphi_{2},\bar{\varphi}_{1},\bar{\varphi}_{2}\right)$ and to the dual coframe $\left(\varphi^{1},\varphi^{2},\bar{\varphi}^{1},\bar{\varphi}^{2}\right)$, we set the structure constants

[TABLE]

Here, capital letters vary in $\{1,2,\bar{1},\bar{2}\}$, and the Einstein summation is assumed. In our case, the non-trivial structure constants are

[TABLE]

Recall that the Christoffel symbols of the Levi-Civita connections (with respect to the above non-commutative frame) can be computed as

[TABLE]

Set $V=r^{2}s^{2}-|u|^{2}$ for simplicity. In our case, up to conjugation, the non-trivial ones are

[TABLE]

We can now compute the Christoffel symbols $(\Gamma^{Ch})_{IH}^{K}$ of the Chern connection by the formula [OUV17, Equation (7)]:

[TABLE]

by setting $(\varepsilon,\rho)=\left(0,\frac{1}{2}\right)$, where

[TABLE]

We get

[TABLE]

the others being equal to the corresponding Levi-Civita symbols or deduced by conjugation. We can compute the $(4,0)$-Riemannian curvature of $\nabla^{\varepsilon,\rho}$ as

[TABLE]

By using the symmetries for the Chern curvature $(R^{Ch})_{IHKL}=-(R^{Ch})_{HIKL}=-(R^{Ch})_{IHLK}$ and the conjugation, we get that the only non-zero components are

[TABLE]

Finally, we can compute the (first) Chern-Ricci curvature by tracing on the third and fourth indices:

[TABLE]

then the Cher-Ricci form can be defined as

[TABLE]

In our case, the only non-trivial coefficients are

[TABLE]

and the corresponding $(\mathrm{Ric}^{Ch})_{\bar{1}1}=-(\mathrm{Ric}^{Ch})_{1\bar{1}}$. Therefore the Chern-Ricci form of any invariant Hermitian metric is

[TABLE]

Therefore the solution of the Chern-Ricci flow starting at $\omega_{0}$ of the form (2.7) is

[TABLE]

defined as long as $t<\frac{r_{0}^{2}s_{0}^{2}-|u_{0}|^{2}}{s_{0}^{2}}<r_{0}^{2}$.

Case 2: Inoue surfaces

Inoue-Bombieri surfaces [Ino74, Bom73] $X$ are compact complex surfaces in class VII with second Betti number equal to zero and with no holomorphic curves [Bog76, Bog82, LYZ90, LYZ94, Tel94]. Their universal cover is $\mathbb{C}\times\mathbb{H}$, where $\mathbb{H}$ denotes the upper half-plane. They are divided into three families, $S_{M}$, $S^{+}_{N,p,q,r;\mathbf{t}}$, and $S^{-}_{N,p,q,r}$, depending on parameters.

Case 2.1: Inoue-Bombieri surface of type $S_{M}$

We focus now on the case $S_{M}$: it has a structure of fibre bundle over $\mathbb{S}^{1}$, where the fibre is a $3$-dimensional torus.

Inoue-Bombieri surfaces of type $S_{M}$ admit a description as quotients of solvable Lie groups wih invariant complex structure [Has05], that we now describe. We can fix a coframe $(\varphi^{1},\varphi^{2})$ of $(1,0)$-forms with structure equations

[TABLE]

[TABLE]

where $\alpha\in\mathbb{R}\setminus\{0\}$ and $\beta\in\mathbb{R}$. The de Rham cohomology of $X$ can be explicitly described [Tel06], see [ADT16, Theorem 4.1]:

[TABLE]

where we have listed the harmonic representatives with respect to the Hermitian metric with fundamental form $2\omega=\sqrt{-1}\varphi^{1\bar{1}}+\sqrt{-1}\varphi^{2\bar{2}}$ instead of their classes.

Harmonic representatives for cohomologies

We list the harmonic representatives with respect to the arbitrary Hermitian metric as in (2.1):

[TABLE]

We conclude that: any invariant Hermitian metric on an Inoue surface of type $S_{M}$ is geometrically formal in the sense of Kotschick.

Chern-Ricci flow

The Chern-Ricci form of any invariant Hermitian metric is

[TABLE]

whence the solution of the Chern-Ricci flow (CRF) is given by

[TABLE]

defined for any non-negative time $t\geq 0$.

Clearly, on an Inoue surface of type $S_{M}$ with invariant Hermitian metrics, the properties of geometric formality in the sense of Kotschick is preserved along the Chern-Ricci flow.

Case 2.2: Inoue surfaces of class $S^{\pm}$

In this subsection, we focus on the case of Inoue surfaces of type $S^{\pm}$. Inoue-Bombieri surfaces of type $S^{-}$ have an unramified double cover of type $S^{+}$: we can then restrict to Inoue-Bombieri surfaces of type $S^{+}$, which have a structure of fibre bundle over $\mathbb{S}^{1}$, where the fibre is a compact quotient of the $3$-dimensional Heisenberg group.

Also Inoue-Bombieri surfaces of type $S^{+}$ admit a description as quotients of solvable Lie groups [Has05], that we now describe. We can fix a coframe $(\varphi^{1},\varphi^{2})$ of $(1,0)$-forms with structure equations

[TABLE]

[TABLE]

where $q\in\mathbb{R}$. The de Rham cohomology of $X$ can be explicitly described [Tel06], see [ADT16, Theorem 4.1]:

[TABLE]

where we have listed the harmonic representatives with respect to the Hermitian metric with fundamental form $\omega=\sqrt{-1}\varphi^{1\bar{1}}+\sqrt{-1}\varphi^{2\bar{2}}$ instead of their classes.

Harmonic representatives for cohomologies

The situation is exactly as in (3.2). We conclude that: any invariant Hermitian metric on an Inoue surface of type $S^{\pm}$ is geometrically formal in the sense of Kotschick.

Chern-Ricci flow

The Chern-Ricci form of any invariant Hermitian metric is

[TABLE]

whence the solution of the Chern-Ricci flow (CRF) is given by

[TABLE]

defined for any non-negative time $t\geq 0$.

Clearly, on an Inoue surface of type $S^{\pm}$ with invariant Hermitian metrics, the properties of geometric formality in the sense of Kotschick is preserved along the Chern-Ricci flow. ∎

We also analyze in details primary and secondary Kodaira surfaces resulting in the following proposition, for which we give explicit computations.

Proposition 3.2**.**

On any Kodaira surface, the properties of geometric formality in the sense of Kotschick is preserved along the Chern-Ricci flow starting at initial invariant Hermitian metrics.

Proof.

We will look at each case separatedly.

Case 1: Primary Kodaira surface

Kodaira surfaces $X$ are compact complex surfaces of Kodaira dimension $\text{Kod}(X)=0$ and first Betti number $b_{1}(X)=3$. Primary Kodaira surfaces have trivial canonical bundle.

We note that, by [Kot01, Theorem 6], primary Kodaira surfaces are never Kotschick-geometrically formal, not even with regards to non-invariant metrics, by having $b_{1}=3$: hence Chern-Ricci flow preserves geometric formality according to Kotschick. The same conclusion follows by [Has89, Theorem 1] stating that non-tori nilmanifolds are never formal, therefore never geometrically formal in the sense of Kotschick. Nevertheless we give explicit computations for this fact.

We recall the description of primary Kodaira surfaces as quotients of solvable Lie groups [Has05]. There exists a coframe $(\varphi^{1},\varphi^{2})$ of $(1,0)$-forms with structure equations

[TABLE]

The de Rham cohomology of $X$ can be explicitly described:

[TABLE]

where we have listed the harmonic representatives with respect to the Hermitian metric with fundamental form $\omega=\sqrt{-1}\varphi^{1\bar{1}}+\sqrt{-1}\varphi^{2\bar{2}}$ instead of their classes.

We list the harmonic representatives with respect to the arbitrary Hermitian metric as in (2.1):

[TABLE]

We explicitly notice that, on primary Kodaira surfaces, an invariant Hermitian metric is never geometrically formal in the sense of Kotschick: indeed, $\varphi^{1}\wedge\varphi^{\bar{1}\bar{2}}$ is never harmonic.

As for Chern-Ricci flow, the primary Kodaira surface has trivial canonical bundle, therefore $\mathrm{Ric}^{Ch}(\omega)=0$. Then, clearly, the Chern-Ricci flow does not evolve invariant Hermitian metrics.

Case 2: Secondary Kodaira surface

Secondary Kodaira surfaces $X$ are quotients of primary Kodaira surfaces by finite groups; they have torsion non-trivial canonical bundle.

We recall the description of secondary Kodaira surfaces as quotients of solvable Lie groups [Has05]. There exists a coframe $(\varphi^{1},\varphi^{2})$ of $(1,0)$-forms with structure equations

[TABLE]

The cohomologies of $X$ can be explicitly described:

[TABLE]

where we have listed the harmonic representatives with respect to the Hermitian metric with fundamental form $\omega=\sqrt{-1}\varphi^{1\bar{1}}+\sqrt{-1}\varphi^{2\bar{2}}$ instead of their classes.

As for the harmonic representatives for de Rham cohomology, the situation is very similar to the Inoue case. We list the harmonic representatives with respect to the arbitrary Hermitian metric as in (2.1):

[TABLE]

We conclude that any invariant Hermitian metric on an secondary Kodaira is geometrically formal in the sense of Kotschick.

As for the Chern-Ricci flow, the secondary Kodaira surface has torsion canonical bundle, therefore $\mathrm{Ric}^{Ch}(\omega)=0$. Therefore, the Chern-Ricci flow does not evolve invariant Hermitian metrics. ∎

4. Dolbeault and Bott-Chern geometric formalities

As for Dolbeault or Bott-Chern geometric formality, the situation is clear for Hopf, Inoue and Kodaira surfaces, as we now describe. We also make computations regarding Aeppli cohomology and harmonic representatives with respect to the Aeppli Laplacian.

Proposition 4.1**.**

On Hopf, Inoue, and Kodaira surfaces, the property of Dolbeault geometric formality and of Bott-Chern geometric formality is preserved along the Chern-Ricci flow starting at invariant metrics. In the same situation, the properties of having a structure of algebra or a structure of $H_{BC}$-module for harmonic-Aeppli forms are all preserved by the Chern Ricci flow.

Proof.

We refer to the complex structures used in Theorem 3.1 and Proposition 3.2, for the computation of Dolbeault, Bott-Chern, and Aeppli cohomologies.

Hopf surfaces

The Dolbeault cohomology of Hopf surfaces is explicitly described in [Hir78, Appendix II, Theorem 9.5], and see [ADT16, Section 3.1] for the Bott-Chern cohomology:

[TABLE]

where we have listed the harmonic representatives with respect to the Hermitian metric with fundamental form $2\omega=\sqrt{-1}\varphi^{1\bar{1}}+\sqrt{-1}\varphi^{2\bar{2}}$ instead of their classes.

We look at how the harmonic representatives of such cohomologies change with respect to the invariant Hermitian metric, and in particular when their product is still harmonic.

We summarize them as follows:

[TABLE]

Let us focus first on the Dolbeault cohomology. Here, the only Dolbeault-harmonic representative that changes is for the generator in $H^{1,2}_{\overline{\partial}}(X)$. We conclude that any invariant Hermitian metric on the Hopf surface is geometrically-Dolbeault formal.

As regards the Bott-Chern cohomology, to our aim, that is, studying harmonicity of products of Bott-Chern-harmonic forms, the only case of interest is the product $[\varphi^{1\bar{1}}]\smile[\varphi^{1\bar{1}}]$, the products with the class $[1]$ being trivial and the other products being zero because of degree reasons. Since the harmonic representatives with respect to invariant metrics are invariant, the Bott-Chern class $[\varphi^{1\overline{1}}]=\{\varphi^{1\overline{1}}+\partial\overline{\partial}c\;:\;c\in\mathbb{R}\}$ contains only one invariant representantive, that is also harmonic with respect to any invariant Hermitian metric. Again, we have that any invariant Hermitian metric on the Hopf surface is geometrically-Bott-Chern formal.

We consider the Aeppli cohomology. On the one side, we can consider the products between Aeppli-harmonic forms: the only possibly non-trivial products concern the classes $[\varphi^{2}]$ and $[\bar{\varphi}^{2}]$, $[\varphi^{2}]$ and $[\varphi^{2}\wedge\bar{\varphi}^{2}]$, $[\bar{\varphi}^{2}]$ and $[\varphi^{2}\wedge\bar{\varphi}^{2}]$. Since the classes $[\varphi^{2}]$ and $[\bar{\varphi}^{2}]$ contain only one invariant representative, we are reduced to study how the harmonic representative of the Aeppli cohomology class $[\varphi^{2}\wedge\bar{\varphi}^{2}]$ depends on the invariant Hermitian metric. The arbitrary representative in the Aeppli cohomology class $[\varphi^{2\bar{2}}]$ is

[TABLE]

where $\lambda_{1},\lambda_{2},\lambda_{3},\lambda_{4}\in\mathbb{C}$. By (2.5), we compute

[TABLE]

By using the structure equations, we now compute

[TABLE]

Therefore the Aeppli-harmonicity conditions $\partial\overline{\partial}h=\partial\ast_{g}h=\overline{\partial}\ast_{g}h=0$ yield

[TABLE]

where the rank of the first matrix is $3$ thanks to the condition $r^{2}s^{2}-|u|^{2}>0$. By solving the system, we get

[TABLE]

varying $\lambda\in\mathbb{C}$. We finally get that the harmonic representative of $[\varphi^{2\bar{2}}]$ with respect to $g$ is

[TABLE]

At the end of the day, we get that: Aeppli-hamornic forms have a structure of algebra if and only if the metric (2.1) is diagonal, namely, $u=0$.

Finally, we consider the Aeppli cohomology as a Bott-Chern-cohomology-module. By the Stokes theorem, there is no invariant exact $4$-form other than the zero form; in particular, any invariant $(2,2)$-form is harmonic with respect to any Hermitian invariant metric. This reduces to consider only the products $[\varphi^{1\bar{1}}]_{BC}\smile[\varphi^{2}]_{A}$ and $[\varphi^{1\bar{1}}]_{BC}\smile[\bar{\varphi}^{2}]_{A}$. By the argument above, both $[\varphi^{1\bar{1}}]_{BC}$ and $[\varphi^{2}]_{A}$, respectively $[\bar{\varphi}^{2}]_{A}$, contain only one invariant representative that is harmonic with respect to any Hermitian metric. Therefore: for any invariant Hermitian metric on the Hopf surface, Aeppli-harmonic forms have a structure of module over Bott-Chern-harmonic forms.

As regards the Chern-Ricci flow, we already have an expression for it computed in (3.1). Clearly, then, on the Hopf surface with invariant Hermitian metrics, the properties of geometric-Dolbeault formality, of geometric-Bott-Chern formality, of the Aeppli-harmonic forms having a structure of algebra, of the Aeppli-hamornic forms having a structure of module over Bott-Chern-harmonic forms, are all preserved along the Chern-Ricci flow.

Inoue-Bombieri surfaces of type $S_{M}$

The cohomologies of Inoue-Bombieri surfaces of type $S_{M}$ can be explicitly described [Tel06], see [ADT16, Theorem 4.1]:

[TABLE]

where we have listed the harmonic representatives with respect to the Hermitian metric with fundamental form $2\omega=\sqrt{-1}\varphi^{1\bar{1}}+\sqrt{-1}\varphi^{2\bar{2}}$ instead of their classes.

We list the harmonic representatives with respect to the arbitrary Hermitian metric as in (2.1):

[TABLE]

We conclude that: any invariant Hermitian metric on an Inoue surface of type $S_{M}$ is geometrically-Dolbeault formal, is geometrically-Bott-Chern formal, and the Aeppli-harmonic forms have a structure of module over Bott-Chern-harmonic forms. On the other hand, Aeppli-harmonic forms have a structure of algebra if and only if the metric is diagonal.

The Chern-Ricci flow has expression as in (3.3). Clearly, we can state that on an Inoue surface of type $S_{M}$ with invariant Hermitian metrics, the properties of Dolbeault-geometric formality, of Bott-Chern-geometric formality, of the Aeppli-harmonic forms having a structure of algebra, of the Aeppli-hamornic forms having a structure of module over Bott-Chern-harmonic forms, are all preserved along the Chern-Ricci flow.

Inoue surfaces of type $S^{\pm}$

The cohomologies of Inoue surfaces of type $S^{\pm}$ can be explicitly described [Tel06], see [ADT16, Theorem 4.1]:

[TABLE]

where we have listed the harmonic representatives with respect to the Hermitian metric with fundamental form $\omega=\sqrt{-1}\varphi^{1\bar{1}}+\sqrt{-1}\varphi^{2\bar{2}}$ instead of their classes.

As for the harmonic representatives of Dolbeault, Bott-Chern and Aeppli cohomologies, the situation is exactly as (4).

We conclude that: any invariant Hermitian metric on an Inoue surface of type $S^{\pm}$ is geometrically-Dolbeault formal, is geometrically-Bott-Chern formal, and the Aeppli-harmonic forms have a structure of module over Bott-Chern-harmonic forms. On the other hand, Aeppli-harmonic forms have a structure of algebra if and only if the metric is diagonal.

The Chern-Ricci flow has expression as in (3.4). Hence, we have that on an Inoue surface of type $S^{\pm}$ with invariant Hermitian metrics, the properties of geometric-Dolbeault formality, of geometric-Bott-Chern formality, of the Aeppli-harmonic forms having a structure of algebra, of the Aeppli-hamornic forms having a structure of module over Bott-Chern-harmonic forms, are all preserved along the Chern-Ricci flow.

Primary Kodaira surfaces

The cohomologies of primary Kodaira surfaces can be explicitly described [Tel06], see [ADT16, Theorem 4.1]:

[TABLE]

where we have listed the harmonic representatives with respect to the Hermitian metric with fundamental form $\omega=\sqrt{-1}\varphi^{1\bar{1}}+\sqrt{-1}\varphi^{2\bar{2}}$ instead of their classes.

We list the harmonic representatives with respect to the arbitrary Hermitian metric as in (2.1):

[TABLE]

We notice that for primary Kodaira surfaces an invariant Hermitian metric is never geometrically-Dolbeault formal, e.g. $\varphi^{1}\wedge\bar{\varphi}^{1}$ is never Dolbeault-harmonic. In fact, Cattaneo and Tomassini noticed in [CT15, Example 4.3] that primary Kodaira surfaces have a non-vanishing Dolbeault-Massey triple product, whence they are not Dolbeault formal in the sense of [NT78]. Also, it is never geometrically-Bott-Chern formal, e.g. $\varphi^{1}\wedge\varphi^{\bar{1}\bar{2}}$ is never Bott-Chern-harmonic. The space of Aeppli-harmonic forms is never an algebra, e.g. $\varphi^{1}\wedge\bar{\varphi}^{1}$ is never Aeppli-harmonic, neither a module over the space of Bott-Chern harmonic forms, e.g. $\varphi^{1}\wedge\bar{\varphi}^{1}$ is never Aeppli-harmonic.

The primary Kodaira surface has trivial canonical bundle, therefore $\mathrm{Ric}^{Ch}(\omega)=0$. Then the Chern-Ricci flow does not evolve invariant Hermitian metrics.

Then clearly on a primary Kodaira surface with invariant Hermitian metrics, the properties of geometric-Dolbeault formality, of geometric-Bott-Chern formality, of the Aeppli-harmonic forms having a structure of algebra, of the Aeppli-hamornic forms having a structure of module over Bott-Chern-harmonic forms, are all preserved along the Chern-Ricci flow.

Secondary Kodaira surfaces

The cohomologies of secondary Kodaira surfaces can be explicitly described [Tel06], see [ADT16, Theorem 4.1]:

[TABLE]

where we have listed the harmonic representatives with respect to the Hermitian metric with fundamental form $\omega=\sqrt{-1}\varphi^{1\bar{1}}+\sqrt{-1}\varphi^{2\bar{2}}$ instead of their classes.

As for the harmonic representatives for Dolbeault, Bott-Chern and Aeppli cohomologies, the situation is very similar to the Inoue case, only the computations for the class $[\varphi^{2\bar{2}}]\in H^{1,1}_{A}(X)$ being slightly different.

We list the harmonic representatives with respect to the arbitrary Hermitian metric as in (2.1):

[TABLE]

We conclude that: any invariant Hermitian metric on a secondary Kodaira surface is geometrically-Dolbeault formal, is geometrically-Bott-Chern formal, and the Aeppli-harmonic forms have a structure of module over Bott-Chern-harmonic forms. On the other hand, Aeppli-harmonic forms have a structure of algebra if and only if the metric is diagonal.

The secondary Kodaira surface has torsion canonical bundle, therefore $\mathrm{Ric}^{Ch}(\omega)=0$. Then the Chern-Ricci flow does not evolve invariant Hermitian metrics.

Then clearly on a secondary Kodaira surface with invariant Hermitian metrics, the properties of geometric-Dolbeault formality, of geometric-Bott-Chern formality, of the Aeppli-harmonic forms having a structure of algebra, of the Aeppli-hamornic forms having a structure of module over Bott-Chern-harmonic forms, are all preserved along the Chern-Ricci flow. ∎

We summarize the results in the last two Sections in Table 1.

In view of further study, we notice that:

• •

in any mentioned cases, the Chern-Ricci flow starting at an invariant metric clearly preserves each one of the above properties, since it preserves diagonal metrics. (Compare also [KT11, Proposition 3], showing that, for certain $G$-homogeneous spaces, every $G$-invariant metrics is geometrically formal.) We ask whether this behaviour is more general, or whether there exists a counterexample for which the Chern-Ricci flow does not preserve the geometric formality in the sense of Kotschick, or any other of the geometric Hermitian formalities discussed above. We notice that the above invariant metrics are Gauduchon, that is pluriclosed (also known as SKT) being defined on four-dimensional manifolds. Therefore, as the Referee kindly suggested to us, it may be interesting to further investigate the $6$-dimensional nilmanifolds admitting invariant SKT metrics as classified in [FPS04].

• •

Clearly, holomorphically-parallelizable manifolds do not provide such counterexamples when restricting to invariant metrics, since they have holomorphically-trivial canonical bundle, whence invariant Hermitian metrics are Chern-Ricci-flat. Our attempts on four-dimensional Lie groups (possibly not admitting compact quotients), as in [Ova04] and references therein, or small deformations of the Iwasawa manifold [Nak75, Ang13] still have not provided further examples.

• •

The same question may be addressed for other geometric flows other than the Chern-Ricci flow, for example the Hermitian curvature flows in [ST11] or in particular the one studied in [Ust17].

• •

It could be interesting to further investigate Massey triple products and Dolbeault Massey products, see [TTo14, CT15], or other Massey products, in particular on class VII surfaces with $b_{2}>0$ and on primary Kodaira surfaces.