Abstract
We study the Hermitian curvature flow of locally homogeneous non-Kähler metrics on compact complex surfaces. In particular, we characterize the long-time behavior of the solutions to the flow. We also provide the first example of a compact complex non-Kähler manifold admitting a finite time singularity for the Hermitian curvature flow. Finally, we compute the Gromov–Hausdorff limit of immortal solutions after a suitable normalization. Our results follow by a case-by-case analysis of the flow on each complex model geometry.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Hermitian curvature flow (HCF shortly) is a strictly parabolic flow of Hermitian metrics introduced by Streets and Tian [22]. The flow evolves an initial Hermitian metric in the direction of its second Chern–Ricci curvature tensor modified with some first-order terms in the torsion.
More precisely, let \((X,g_0)\) be a Hermitian manifold. The solution to the HCF starting at \(g_0\) is the family of Hermitian metric g(t) satisfying
where S(g) is the second Chern–Ricci curvature tensor and Q(g) is a (1, 1)-symmetric tensor which is quadratic in the torsion components of the Chern connection (see Sect. 2). The flow arises from the unique Hilbert-type functional of Hermitian metrics for which S is the leading term of the respective Euler–Lagrange equation. Moreover, when the starting metric is Kähler the HCF reduces to the Kähler–Ricci flow and, in the compact case, it is stable near Kähler–Einstein metrics with non-positive Ricci curvature [22].
Motivated by the above arguments, we carry out an analysis of the HCF on locally homogeneous compact complex surfaces. Actually, one of the main reasons in studying this new flow is to refine the Enriques–Kodaira classification of compact complex surfaces, as canonical metrics could appear as limit points of the flow (see e.g., [20]).
Our first main result completely characterizes the long-time behavior of locally homogeneous non-Kähler solutions, namely
Theorem A
Let X be a compact complex surface and \(g_0\) a locally homogeneous non-Kähler metric on X. If the solution to the HCF starting from \(g_0\) develops a finite time singularity, then X is a Hopf surface. Conversely, any locally homogeneous solution to the HCF on a Hopf surface collapses in finite time.
It is worth noting that Theorem A provides the first example of a compact manifold developing a finite-time singularity for the HCF. Moreover, we restricted our analysis to starting non-Kähler metrics since the behavior of Kähler solutions is already known (see e.g., [5, 17, 24]).
Our second main result concerns the Gromov–Hausdorff limits of immortal normalized solutions to the HCF, namely
Theorem B
Let X be a compact complex surface, \(g_0\) a locally homogeneous non-Kähler metric on X and g(t) the solution to the HCF starting from \(g_0\).
-
1.
If X is either a hyperelliptic or Kodaira surface, then \(\big (X,(1{+}t)^{-1}g(t)\big )\) converges to a point in the Gromov–Hausdorff topology as \(t \rightarrow \infty\).
-
2.
If X is a non-Kähler properly elliptic surface, then \(\big (X,(1{+}t)^{-1}g(t)\big )\) converges to its base curve \((C,g_{{}_\mathrm{KE}})\) in Gromov–Hausdorff topology as \(t \rightarrow \infty\), where \(\mathrm{Ric}(g_{{}_\mathrm{KE}})=-g_{{}_\mathrm{KE}}\).
-
3.
If X is an Inoue surface, then \(\big (X,(1{+}t)^{-1}g(t)\big )\) converges to a circle in Gromov–Hausdorff topology as \(t \rightarrow \infty\).
We point out that the arguments used to prove (2) and (3) in Theorem B are analogous to those used by Tosatti and Weinkove in [26] for the Chern-Ricci flow (see also [7, 25, 27]), and the limit spaces arising in our context are the same. We highlight that cohomological aspects of compact complex surfaces along the Chern-Ricci flow were investigated in [1], and it would be interesting to carry out a similar analysis also for the HCF.
Our results can be thought of as a first step in the study of the HCF on complex non-Kähler surfaces. In the same spirit of [3, 10], we expect the blowdown of any immortal locally homogeneous solution to converge to an expanding soliton. Nonetheless, at the moment we are not able to confirm this statement. In this direction, in [9] the second named author, Lafuente and Vezzoni proved that long-time existence of left-invariant solutions to the HCF is always guaranteed on complex unimodular Lie groups and such solutions always converge under a suitable normalization to an expanding algebraic soliton (see also [12]).
We stress that different choices of the tensor Q in (1) give rise to an interesting family of geometric flows generalizing the Ricci flow to the Hermitian non Kähler setting. In particular one can choose Q to preserve different geometric conditions, making each of these new flows well-suited to investigate a certain problem. Among these, one of the most studied is the pluriclosed flow (PCF shortly), which preserves the pluriclosed condition \(\partial {\bar{\partial }} \omega =0\) (see e.g., [18,19,20,21, 23]). In [3] Boling studied the pluriclosed flow on complex surfaces proving long-time existence and convergences results; while, In [2] Arroyo and Lafuente showed that normalized left-invariant solutions to the PCF on 2-step nilmanifolds and almost-abelian Lie groups always converge to expanding solitons (see also [6, 14]).
Let us also mention that recently Ustinovskiy [28, 29] found a new flow in the HCF family which preserves both the Griffiths-positivity and a finite dimensional space of distinguished metrics called induced metrics. We mention that related works have been recently appeared (see e.g., [11, 13]) and it would be interesting to analyze Ustinovkiy’s flow on compact complex surfaces in the same fashion as we did in this paper.
The paper is organized as follows. In Sect. 2 we recall some basics on HCF, complex model geometries and Gromov–Hausdorff convergence. In Sect. 3 we explicitly compute the HCF tensor of each compact complex surface considered throughout the paper. In Sect. 4 we prove Theorems A and B by a case-by-case analysis of the involved equations. Finally, in the "Appendix'' we explicitly write the components of the HCF tensors K for our class of surfaces.
2 Preliminaries
2.1 Basics on HCF
In the sequel, we describe the evolution equation of the Hermitian Curvature Flow on a complex manifold \(X=(M,J)\). Given a Hermitian metric g on X, we denote by \(\nabla\) its Chern connection, by \(\Omega\) its Chern curvature tensor \(\Omega (X,Y):=[\nabla _X,\nabla _Y]-\nabla _{[X,Y]}\) and by S its second Chern-Ricci curvature (we use the same convention adopted in [22]), i.e.,
Let also T be the torsion of \(\nabla\) and consider the tensor \(Q=Q_{i\bar{j}}\) defined by
where
Notice that in the formulas above
Then, given a Hermitian metric \(g_0\) on X, the evolution equation of the HCF on X starting from \(g_0\) is given by
where \(K:=S-Q\). Henceforth, we will refer to K as the HCF tensor.
2.2 HCF tensor on Lie groups
Let (G, J, g) be a real Lie group G equipped with a left-invariant Riemannian metric g and a left-invariant complex structure J such that \(g(J\cdot \,,J\cdot \,)=g(\cdot \,,\cdot \,)\). Let also \(\mathfrak {g}:=\mathrm{Lie}(G)\) and
In the following, we compute the components of the HCF tensor in terms of the structure constants of \(\mathfrak {g}\).
Let \(\{Z_1,\ldots ,Z_n\}\) be a left-invariant frame of \(T^{1,0}G\). Since the Chern connection is the unique Hermitian connection with vanishing (1,1)-part of the torsion, it follows that
or, in terms of the Christoffel symbols of \(\nabla\)
On the other hand \(\nabla J=\nabla g=0\) implies
and hence
By definition, we have
with
Thus, the second Chern–Ricci curvature S takes the form
or, equivalently,
On the other hand, since \(T_{ij}=\nabla _{Z_i}Z_j-\nabla _{Z_j}Z_i-\mu (Z_i,Z_j)\), from (4) we have
and hence
Therefore, the explicit expression of the tensor Q can be recovered from (1), (2) and (5). Indeed,
2.3 Complex model geometries
In this subsection, we recall some basics about the geometry of locally homogeneous Hermitian manifolds. In particular, we focus on compact locally homogeneous Hermitian surfaces.
A Hermitian manifold (X, g) is locally homogeneous if the pseudogroup of local automorphisms of (X, g) acts transitively on X, i.e., for any choice of \(x, y \in X\) there exist neighborhoods \(U_x,U_y \subset X\) of x and y, respectively, and a holomorphic local isometry \(f : U_x\rightarrow U_y\) such that \(f(x) = y\). If in addiction (X, g) is compact, then its universal Hermitian covering \((\widetilde{ X},g)\) is globally homogeneous (see [16]) and hence it admits a left coset presentation \(\widetilde{ X} = G/H\) for some closed subgroup \(G \subset \mathrm{Aut}(\widetilde{ X},g)\). Here, with a slight abuse of notation, we denote by g both the Hermitian metric on X and its pullback on the universal cover \(\widetilde{ X}\).
Motivated by this, we recall the following
Definition 2.1
A complex model geometry of dimension n is a pair \((\widetilde{ X},G)\) given by a connected, simply-connected n-dimensional complex manifold \(\widetilde{ X}\) and a real connected Lie group G such that:
-
G acts properly, transitively and almost-effectively by biholomorphisms on \(\widetilde{ X}\);
-
G contains a discrete subgroup \(\Gamma \subset G\) with \(\Gamma \backslash \widetilde{ X}\) compact.
If G is a minimal group with such properties, then the complex model geometry is said to be minimal.
Let \((\widetilde{ X},G)\) be a complex model geometry. A Hermitian manifold (X, g) has geometric structure of type \((\widetilde{ X},G)\) if \(\widetilde{ X}\) is the universal cover of X and the pulled-back metric g on \(\widetilde{ X}\) is invariant under the action of G. Of course, if (X, g) has a geometric structure, then it is locally homogeneous. On the other hand, by the previous observation, any compact locally homogeneous Hermitian manifold has geometric structure of type \((\widetilde{ X},G)\) for some minimal complex model geometry \((\widetilde{ X},G)\).
By the Riemann Uniformization Theorem, it is known that there exist exactly three minimal complex model geometries of dimension 1, that are
Here, the group G acts on the respective space \(\widetilde{ X}\) in the standard way.
Subsequently in [30, 31] Wall classified all complex model geometries of dimension 2. In particular, he proved the following
Theorem 2.2
([30, 31]) If \((\widetilde{ X},G)\) is a minimal complex model geometry of dimension 2, then one of the following cases occurs:
-
1.
\((\widetilde{ X},G)=(\widetilde{ X}_1\times \widetilde{ X}_2,G_1\times G_2)\) is the product of two complex model geometries of dimension 1.
-
2.
\((\widetilde{ X},G)=({\mathbb {C}}P^2,\mathrm{SU}(3))\) or \((\widetilde{ X},G)=({\mathbb {C}}H^2,\mathrm{SU}(2,1))\), both considered endowed with the standard action of G on \(\widetilde{ X}\).
-
3.
\(\widetilde{ X}=(G,J)\) where G acts on itself by left translations and J is a left-invariant complex structure.
Remark 2.3
If \((\widetilde{ X},G)\) is one of the model listed in (1) or (2) above, then any Hermitian G-invariant metric on \(\widetilde{ X}\) is necessarily Kähler–Einstein.
2.4 Gromov–Hausdorff convergence
We collect here some basic facts about Gromov–Hausdorff convergence of compact metric spaces. We refer to [4, Sect. 7.3.2] and [15] for more details.
Let \(Z=(Z,d_Z)\) be a metric space and \(X,Y \subset Z\) two compact subsets. The Hausdorff distance between X and Y is given by
where \(B_{\epsilon }(X):=\{x \in Z : d_Z(x,X)<\epsilon \}\) is the \(\epsilon\)-tube of X in Z. The pair
is also a metric space and it is compact if and only if Z is compact as well.
Let now \(X=(X,d_X)\), \(Y=(Y,d_Y)\) be two compact metric spaces. The Gromov–Hausdorff distance between X and Y is defined as
where the infimum is taken with respect to all metric spaces Z and all pairs \((\phi _1,\phi _2)\) of isometric embeddings \(\phi _1: X \rightarrow Z\) and \(\phi _2: Y \rightarrow Z\). Letting \(\mathcal {X}\) denote the set of isometric classes of compact metric spaces, it turns out that \(\left( \mathcal {X},\mathrm{dist}_{{}_\mathrm{GH}}\right)\) is a complete metric space. Therefore, given a one-parameter family \(\{X_t\}_{t \in [0,T)}\) and an element Y both in \(\mathcal {X}\), whenever \(\lim _{t \rightarrow T^-}\mathrm{dist}_{{}_\mathrm{GH}}(X_t,Y)=0\) we write
and we say that \(X_t\) convergences in the Gromov–Hausdorff topology to Y.
Finally, a GH \(\epsilon\)-approximation between two metric spaces \(X,Y \in \mathcal {X}\), with \(\epsilon >0\), is a pair of non-necessarily continuous maps \(\varphi : X \rightarrow Y\) and \(\psi : Y \rightarrow X\) satisfying for any \(x,x' \in X\) and \(y,y' \in Y\)
Remarkably, if there exists a GH \(\epsilon\)-approximation \((\varphi ,\psi )\) between X and Y, then \(\mathrm{dist}_{{}_\mathrm{GH}}(X,Y) \le \frac{3}{2}\epsilon\) (see e.g., [15, Lemma 1.3.3]).
3 HCF tensor on complex model geometries
The aim of this section is to compute the HCF tensor K of any 2-dimensional complex model geometry \((\widetilde{ X},G)\) endowed with an invariant metric g. By means of Remark 2.3, we will restrict our discussion to those minimal complex model geometries arising from (3) in Theorem 2.2. Hence, following [3, Sec. 2.2], we list below all the connected, simply-connected real 4-dimensional Lie groups which admits a left-invariant complex structure, their compact quotients according to Enriques-Kodaira classification and their HCF tensors. We mention here that all the computations were made with the help of the software Maple.
In the following, given a connected, simply connected 4-dimensional real Lie groups (G, J) equipped with a left-invariant complex structure, we will consider a fixed left-invariant (1, 0)-frame \(\{Z_1,Z_2\}\) and we will denote by \(\{\zeta ^1,\zeta ^2\}\) its dual frame. This allows us to write any left-invariant Hermitian metric g on (G, J) in the form
with \(x,y \in {\mathbb R}_{>0}\), \(z \in {\mathbb {C}}\) and \(xy-|z|^2>0\).
Remark 3.1
We refer to the "Appendix'' for an explicit computation of the HCF tensors written in the following.
3.1 Complex tori
The Lie group is \(G={\mathbb R}^4\), which is abelian and admits a unique left-invariant complex structure \(J_\mathrm{st}\). In this case, the HCF tensor of any left-invariant metric on \({\mathbb {C}}^2=({\mathbb R}^4,J_\mathrm{st})\) is just \(K=0\). Compact quotients of \({\mathbb {C}}^2\) are complex tori.
3.2 Hyperelliptic surfaces
The Lie group is \(G=\widetilde{\mathrm{SE}}(2)\times {\mathbb R}\), where \(\widetilde{\mathrm{SE}}(2)\) is the universal cover of the special Euclidean group \(\mathrm{SE}(2) := \mathrm{SO}(2) \ltimes {\mathbb R}^2\). It admits a unique left-invariant complex structure J and the structure constants \(\mu\) of its complexified Lie algebra are
The HCF tensor of a left invariant Hermitian metric on \(\big (\widetilde{\mathrm{SE}}(2)\times {\mathbb R},J\big )\) is given by
Compact quotients of \(\big (\widetilde{\mathrm{SE}}(2)\times {\mathbb R},J\big )\) are hyperelliptic surfaces, which admit Kähler metrics.
3.3 Hopf surfaces
The Lie group is \(G=\mathrm{SU(2)}\times {\mathbb R}\). It admits a one-parameter family \(J_{\lambda }\) of left-invariant complex structures, with \(\lambda \in {\mathbb R}\), and with respect to \(J_\lambda\) the structure constants \(\mu =\mu _{\lambda }\) of its complexified Lie algebra are
The HCF tensor of a left-invariant Hermitian metric on \(\big (\mathrm{SU(2)}\times {\mathbb R},J_{\lambda }\big )\) is given by
Compact quotients of \(\big (\mathrm{SU(2)}\times {\mathbb R},J_{\lambda }\big )\) are Hopf surfaces, which are non-Kähler.
3.4 Non-Kähler properly elliptic surfaces
The Lie group is \(G=\widetilde{\mathrm{SL}}(2,{\mathbb R})\times {\mathbb R}\), where \(\widetilde{\mathrm{SL}}(2,{\mathbb R})\) is the universal cover of \(\mathrm{SL}(2,{\mathbb R})\). It admits a one-parameter family \(J_{\lambda }\) of left-invariant complex structure, with \(\lambda \in {\mathbb R}\), with respect to which the structure constants \(\mu =\mu _{\lambda }\) of its complexified Lie algebra are
The HCF tensor of a left-invariant Hermitian metric on \(\big (\widetilde{\mathrm{SL}}(2,{\mathbb R})\times {\mathbb R},J_{\lambda }\big )\) is given by
Compact quotients of \(\big (\widetilde{\mathrm{SL}}(2,{\mathbb R})\times {\mathbb R},J_{\lambda }\big )\) are non-Kähler properly elliptic surfaces.
3.5 Primary Kodaira surfaces
The Lie group is \(G= {\mathbb R}\times \mathrm{H}_3({\mathbb R})\), where \(\mathrm{H}_3({\mathbb R})\) is the three-dimensional real Heisenberg group. It admits a unique left-invariant complex structure J and the structure constants \(\mu\) of its complexified Lie algebra are
The HCF tensor of a left-invariant Hermitian metric on \(\big ({\mathbb R}\times \mathrm{H}_3({\mathbb R}),J\big )\) is
Compact quotients of \(\big ({\mathbb R}\times \mathrm{H}_3({\mathbb R}),J\big )\) are primary Kodaira surfaces, which are non-Kähler.
3.6 Secondary Kodaira surfaces
The Lie group is \(G= {\mathbb R}\ltimes \mathrm{H}_3({\mathbb R})\). It admits two different left-invariant complex structure \(J_{\pm }\) and the structure constants \(\mu =\mu _{\pm }\) of its complexified Lie algebra are
The HCF tensor of a left-invariant Hermitian metric on \(\big ({\mathbb R}\ltimes \mathrm{H}_3({\mathbb R}),J_{\pm }\big )\) is given by
Compact quotients of \(\big ({\mathbb R}\ltimes \mathrm{H}_3({\mathbb R}),J_{\pm }\big )\) are secondary Kodaira surfaces, which are non-Kähler.
3.7 Inoue surfaces of type \(S^0\)
The group \(G=\mathrm{Sol}_0^4\) is a solvable 4-dimensional real Lie group which admits a two-parameter family \(J_{a,b}\) of left-invariant complex structures, where \(a,b \in {\mathbb R}\), and with respect to \(J_{a,b}\) the structure constants \(\mu =\mu _{a,b}\) of its complexified Lie algebra are
The HCF tensor of a left-invariant Hermitian metric on \(\big (\mathrm{Sol}_0^4,J_{a,b}\big )\) is given by
Notice that \(\big (\mathrm{Sol}_0^4,J_{a,b}\big )\) does not always admit a co-compact lattice. When such a lattice does exist, the quotient is an Inoue surface of type \(S^0\), which is non-Kähler.
3.8 Inoue surfaces of type \(S^{\pm }\)
The group \(G=\mathrm{Sol}_1^4\) is a solvable 4-dimensional real Lie group which admits two different left-invariant complex structure \(J_{1,2}\). The structure constants \(\mu =\mu _{1}\) of the complexified Lie algebra of \(\big (\mathrm{Sol}_1^4,J_{1}\big )\) are
and the HCF tensor of a left-invariant Hermitian metric on \(\big (\mathrm{Sol}_1^4,J_{1}\big )\) is given by
On the other hand, the structure constants \(\mu =\mu _{2}\) of the complexified Lie algebra of \(\big (\mathrm{Sol}_1^4,J_{2}\big )\) are
and the HCF tensor of a left-invariant Hermitian metric on \(\big (\mathrm{Sol}_1^4,J_{2}\big )\) is given by
Compact quotients of \(\big (\mathrm{Sol}_1^4,J_{1}\big )\) are Inoue surfaces of type \(S^{\pm }\), while compact quotient of \(\big (\mathrm{Sol}_1^4,J_{2}\big )\) are Inoue surfaces of type \(S^{+}\). In both cases, these surfaces are non-Kähler.
4 HCF on locally homogeneous surfaces
In this section we study the behavior of locally homogeneous solutions to the HCF on the family of compact complex surfaces we listed in Sect. 3. Furthermore, whenever a solution to the HCF is immortal, we determine the Gromov–Hausdorff limit of its normalization \((1{+}t)^{-1}g(t)\) as \(t \rightarrow +\infty\).
Let X be a compact complex surface covered by a connected, simply-connected 4-dimensional real Lie group G and \(\Gamma \subset G\) a co-compact lattice such that \(X=\Gamma \backslash G\). By construction, all left-invariant tensor fields on G factorizes through X. This yields a one-to-one correspondence between locally homogeneous solutions to the HCF on X and solutions to the corresponding ODE on G
where \(g_0\) denotes the pull-back of the starting metric on G. Nonetheless, since the standard left-action of G on itself does not always factorize through \(X=\Gamma \backslash G\), the quotient \(\Gamma \backslash G\) is not globally G-homogeneous in general.
Notation. Any left-invariant Hermitian metric g on (G, J) will be considered in the form of (6). For the sake of shortness, we set \(D:=xy-|z|^2\) and \(u:=|z|^2\).
4.1 Hyperelliptic surfaces
The HCF on \(\big (\widetilde{\mathrm{SE}}(2)\times {\mathbb R},J\big )\) reduces to the following ODEs system:
Proposition 4.1
Let \(g_0\) be a locally homogeneous Hermitian metric on a hyperelliptic surface X. Then, the solution g(t) to the HCF starting from \(g_0\) exists for all \(t\ge 0\). Moreover
Proof
A direct computation yields that
i.e., the determinant of g(t) is always increasing. On the other hand, since all x, y, u decrease, the first claim follows. The last claim follows directly from the fact that
as \(t \rightarrow +\infty\). \(\square\)
It is easy to show that a left-invariant metric g on \(\big (\widetilde{\mathrm{SE}}(2)\times {\mathbb R},J\big )\) is Kähler if and only if \(z=0\). Indeed, by a direct computation, one gets
Moreover, in that case it is also flat and so we get
Corollary 4.2
Any locally homogeneous solution g(t) to the HCF on a hyperelliptic surface X converges exponentially fast to a flat Kähler metric \(g_{\infty }\).
Proof
We recall that g(t) is immortal and \({\dot{D}}(t)>0\), \(x(t) < x_0\), \(y(t) < y_0\), \(u(t) < u_0\) for any \(t\ge 0\). Notice that
which implies \(u(t)\le u_0e^{-\frac{2}{y_0}t}\) for all \(t\ge 0\). Finally, since
it comes that \(x(t) \rightarrow x_{\infty } \in (0,x_0)\) and \(y(t) \rightarrow y_{\infty } \in (0,y_0)\) as \(t \rightarrow +\infty\). \(\square\)
4.2 Hopf surfaces
The HCF on \(\big (\mathrm{SU(2)}\times {\mathbb R},J_{\lambda }\big )\) reduces to the ODEs system
with \(c:=1+\lambda ^2\).
Proposition 4.3
Let \(g_0\) be a locally homogeneous Hermitian metric on a Hopf surface X. Then, the solution g(t) to the HCF starting from \(g_0\) develops a finite extinction time \(T<\infty\) and (X, g(t)) collapses as \(t \rightarrow T^-\).
Proof
Let \(T\in (0,+\infty ]\) be the maximal existence time of the flow. Then, for any \(t \in [0,T)\) we have
Let us suppose by contradiction that \(T=+\infty\). Then, it necessarily holds
On the other hand
and so by means of (9)
which is absurd. Thus g(t) develops a finite time singularity \(T<\infty\). In order to prove the last claim, let us suppose by contradiction that \(D\rightarrow \infty\) as \(t\rightarrow T^-\). Then,
this in turn imply \(\lim _{t\rightarrow T^-} D\ne \infty\), which is not possible. On the other hand, since the solution cannot be extended over \(t=T\), the limit \(\lim _{t\rightarrow T^-} D\) cannot be positive and finite. Therefore, \(\lim _{t\rightarrow T^-}D=0\) and the thesis follows. \(\square\)
Next, we exhibit an explicit solution to the HCF starting from a diagonal metric on \(\big (\mathrm{SU(2)}\times {\mathbb R},J_{\lambda }\big )\).
Example 4.4
Let \(g_0\) be a left-invariant diagonal Hermitian metric on \(\big (\mathrm{SU(2)}\times {\mathbb R},J_{\lambda }\big )\). Then, the ODEs system (7) reduces to
It is worth noting that
Now suppose that \(y_0=\frac{3}{2}cx_0\) and that the solution to (10) starting from \(g_0\) satisfies
Then, by (11) we would get
which in turn implies
for some \(k \in {\mathbb R}\). A direct computation yields that (12) solves (10) if and only if \(k=-\frac{4}{9c}\). Notice that the maximal existence time for this explicit solution is \(T=\frac{9}{4}cx_0\,.\)
4.3 Non-Kähler properly elliptic surfaces
The HCF on \(\big (\widetilde{\mathrm{SL}}(2,{\mathbb R})\times {\mathbb R},J_{\lambda }\big )\) reduces to the ODEs system
with \(c:=1+\lambda ^2\).
Proposition 4.5
Let \(g_0\) be a locally homogeneous Hermitian metric on a non-Kähler properly elliptic surface X. Then, the solution g(t) to the HCF starting from \(g_0\) exists for all \(t\ge 0\). In particular, \(x(t)\sim 2t\) and \(y(t)<y_0\), \(u(t)<u_0\) for any \(t>0\).
Proof
Let \(T\in (0,+\infty ]\) be the maximal existence time of the flow. Then, for any \(t \in [0,T)\), we have
We prove now that \({\dot{D}}(t)>0\) for any \(t \in [0,T)\). Let us suppose by contradiction that there exists \(t_* \in [0,T)\) such that \({\dot{D}}(t_*)\le 0\). Then, using (14) we get
On the other hand, since \(D(t)=x(t)y(t)-u(t)\) and \({\dot{u}}(t_*)<0\), it necessarily holds
Moreover, by (15) and a straightforward computation we get
and
Finally, (16), (17) and (18) imply
which is not possible. Hence, the determinant D satisfies
On the other hand, it holds
and hence (14), (19) and (20) imply \(T=+\infty\).
We are now ready to prove the second part of the proposition, that is, \(x(t)\sim 2t\) as \(t\rightarrow \infty\). To do this, we use again a contradiction argument. Let us denote with
and suppose by contradiction that \(u_{\infty }>0\). Since
we have by means of (14)
In view of (21), we have two cases depending on whether \(\lim _{t\rightarrow \infty }|1-\frac{u}{xy}|\) is bounded or not. If we suppose that \(\lim _{t\rightarrow \infty }|1-\frac{u}{xy}|<\infty\), then
On the other hand, if \(\lim _{t\rightarrow \infty }|1-\frac{u}{xy}|=\infty\), then
Since both cases lead to an absurd, it comes
Let us now suppose by contradiction that \({x(t) \rightarrow x_{\infty }<+\infty }\) as \(t \rightarrow +\infty\). Then, \(D(t) \rightarrow D_{\infty }=x_{\infty }y_{\infty } \in (D_0,+\infty )\) as \(t \rightarrow +\infty\) and therefore it must holds \(x_{\infty }>0\). By means of (14)
which is not possible. Therefore, \(x(t)\rightarrow \infty\) as \(t\rightarrow \infty\). On the other hand, we have
and, since
the claim follows. Indeed, if \(y_{\infty }>0\), then \(D_{\infty } = +\infty\) and hence (23) follows. Now, let us assume that \(y_{\infty }=0\). Since \(D_{\infty }>D_0 >0\), we get
Moreover, \(u\left( \frac{x}{D}\right) ^2 \sim \frac{u}{y^2}\) and
Hence, there exist \(C>0\) and \(t_*>0\) such that
This in turns implies
and hence \(u\left( \frac{x}{D}\right) ^2 \rightarrow 0\). \(\square\)
In view of this result it comes the following
Proposition 4.6
Let X be a non-Kähler properly elliptic surface and g(t) be a locally homogeneous solution to the HCF on X. Then,
where C is the base curve of X and \(g_{{}_\mathrm{KE}}\) is the Kähler–Einstein metric on C with \(\mathrm{Ric}(g_{{}_\mathrm{KE}})=-g_{{}_\mathrm{KE}}\).
The proof of this statement follows the same arguments used in [26, Thm 1.6 (c)]. For this reason, we just recall the main points.
Proof
By definition, a properly elliptic surface is a compact complex surface X with Kodaira dimension \(\kappa (X)=1\) and first Betti number \(b_1(X)\) odd admitting an elliptic fibration \(\pi : X \rightarrow C\) over a compact complex curve C of genus \(\mathrm{g}(C)\ge 2\). Moreover, by the Riemann Uniformization Theorem, C admits a unique Kähler–Einstein metric \(g_{{}_\mathrm{KE}}\) with \(\mathrm{Ric}(g_{{}_\mathrm{KE}})=-g_{{}_\mathrm{KE}}\). Note that, this metric also satisfies \(\pi ^*g_{{}_\mathrm{KE}}=2 \zeta ^1\otimes {\bar{\zeta }}^1\).
On the other hand, the fibers of the elliptic fibration \(\pi : X \rightarrow C\) are spanned by the real and imaginary parts of \(Z_2\), which shrinks to zero along \((1{+}t)^{-1}g(t)\) as \(t\rightarrow \infty\). Therefore, if we consider a not necessarily continuous function \(f: C \rightarrow S\) satisfying \(\pi \circ f= \mathrm{id}\), then for any \(\epsilon >0\) there exists \(t_*(\epsilon )>0\) such that \((\pi ,f)\) is a GH \(\epsilon\)-approximation between \(\left( X,(1{+}t)^{-1}g(t)\right)\) and \((C, g_{{}_\mathrm{KE}})\) for any \(t>t_*(\epsilon )\). This concludes the proof. \(\square\)
4.4 Primary Kodaira surfaces
The HCF on \(\big ({\mathbb R}\times \mathrm{H}_3({\mathbb R}),J\big )\) reduces to the ODEs system
Proposition 4.7
Let \(g_0\) be a locally homogeneous Hermitian metric on a primary Kodaira surface X. Then, the solution g(t) to the HCF starting from \(g_0\) exists for all \(t\ge 0\). Moreover,
Proof
Let \(T\in (0,+\infty ]\) denote the maximal existence time of the flow. Then, for any \(t \in [0,T)\), it holds that
and, on the other hand
Therefore, the long-time existence of the solution follows from (25) and (26). For the second claim, we notice that
Now, let us suppose by contradiction that \(\frac{y^2u}{D^2} \rightarrow \delta >0\), as \(t\rightarrow +\infty\). From this and (27) it comes that
and hence there exist \(0<\delta '<\delta\) and \(t_*>0\) such that, for any \(t \in [t_*,+\infty )\), it holds
which is not possible. As a consequence, we have that \({\dot{x}}(t) \rightarrow 0\) as \(t\rightarrow +\infty\). From this last claim, arguing again by contradiction, we also get \((1{+}t)^{-1}x(t) \rightarrow 0\) as \(t\rightarrow +\infty\). \(\square\)
4.5 Secondary Kodaira surfaces
The HCF on \(\big ({\mathbb R}\ltimes \mathrm{H}_3({\mathbb R}),J\big )\) reduces to the ODEs system
Proposition 4.8
Let \(g_0\) be a locally homogeneous Hermitian metric on a secondary Kodaira surface X. Then, the solution g(t) to the HCF starting from \(g_0\) exists for all \(t\ge 0\). Moreover
Proof
Let \(T\in (0,+\infty ]\) be the maximal existence time of the solution. Then, for any \(t \in [0,T)\) it holds
Moreover, since
it follows that \(T=+\infty\). For the second claim, we firstly suppose by contradiction that \(u(t)\rightarrow u_{\infty }>0\) as \(t\rightarrow +\infty\). Thus, since
we have
On the other hand, it follows by (29) that
which is not possible, and hence \(u(t)\rightarrow 0\) as \(t\rightarrow +\infty\).
Finally, let us assume by contradiction that \(\frac{x^2u}{D} \rightarrow \delta >0\) as \(t\rightarrow +\infty\). Then, we get
and so there exist \(0<\delta '<\delta\) and \(t_*>0\) such that, for any \(t \in [t_*,+\infty )\), we have
which is absurd. Consequently it comes \({\dot{x}}(t) \rightarrow 0\) as \(t\rightarrow +\infty\). Arguing again by contradiction, we finally get \((1{+}t)^{-1}x(t) \rightarrow 0\) as \(t\rightarrow +\infty\). \(\square\)
4.6 Inoue surfaces of type \(S^0\)
The HCF on \(\big (\mathrm{Sol}_0^4,J_{a,b}\big )\) reduces to the ODEs system
Proposition 4.9
Let \(g_0\) be a locally homogeneous Hermitian metric on an Inoue surfaces X of type \(S^0\). Then, the solution g(t) to the HCF starting from \(g_0\) exists for all \(t\ge 0\). In particular, \(y(t)\sim 8a^2\,t\) and \(x(t)<x_0\), \(u(t)<u_0\) for any \(t>0\).
Proof
Let \(T\in (0,+\infty ]\) denotes the maximal existence time of the solution. For any \(t \in [0,T)\) we have
Moreover, since
where \(k:=\frac{8a^2x_0}{x_0y_0-|z_0|^2}\), it follows that \(T=+\infty\).
For the second claim, let us assume by contradiction that \(\frac{u}{D} \rightarrow \delta >0\), i.e., \(u \rightarrow u_{\infty }>0\) and \(D \rightarrow D_{\infty }<\infty\). Then, there exists a finite time \(t_*>0\) and a constant \(k_1>1\) such that, for any \(t\ge t_*\),
and hence
Up to enlarge \(t_*\), we can also assume that there exists \(k_2 >1\) such that
and so, by means of (31)
for any \(t\ge t_*\). This leads us to
for any \(t\ge t_*\), and hence \(\lim _{t \rightarrow +\infty }u(t)=-\infty\), which is not possible. Therefore, \(\frac{u}{D} \rightarrow 0\) must hold and we have
as \(t \rightarrow +\infty\). \(\square\)
Then, in view of this result, we have
Proposition 4.10
Let X be an Inoue surface of type \(S^0\) and g(t) be a locally homogeneous solution to the HCF on X. Then,
where \(S^1\big (\tfrac{\sqrt{2}a}{\pi }\big )=\big \{z \in {\mathbb {C}}: |z|=\frac{\sqrt{2}a}{\pi }\big \}\) is the circle of length \(2\sqrt{2}a\).
In order to prove this statement, we recall the underlying geometry of the Inoue surfaces of type \(S^0\). Let \(a,b\in {\mathbb R}\), with \(a>0\) and \(b\ne 0\), and \(A \in \mathrm{SL}(3,{\mathbb Z})\) be a matrix with eigenvalues
The pair \(G_{a,b}:=\big (\mathrm{Sol}_0^4,J_{a,b}\big )\) can be realized as the group of complex \(3\times 3\) matrices of the form
Indeed, let \(\{E^i_j\}\) denote the standard basis of \(\mathfrak {g}\mathfrak {l}(3,{\mathbb {C}})\). Then, the Lie algebra \(\mathfrak {g}_{a,b}:=\mathrm{Lie}(G_{a,b}) \subset \mathfrak {g}\mathfrak {l}(3,{\mathbb {C}})\) is the \({\mathbb R}\)-span of
Since the structure constants of \(\mathfrak {g}_{a,b}\) with respect to \(\{X_i\}\) are given by
setting
one obtains the structure constants given in Sect. 3. Let now \((v_1,v_2,v_3)^t\in {\mathbb R}^3\) and \((w_1,w_2,w_3)^t \in {\mathbb {C}}^3\) be the eigenvectors of \(e^{2\sqrt{2}a}\) and \(e^{\sqrt{2}(-a+\sqrt{-1}b)}\), respectively, and consider the lattice \(\Gamma _{a,b} \subset G_{a,b}\) generated by
Then, the left action of \(\Gamma _{a,b}\) on \(G_{a,b}\) is explicitly given by
and the quotient \(X=\Gamma _{a,b}\backslash G_{a,b}\) is an Inoue surface of type \(S^0\).
Proof of Proposition 4.10
Let \(X=\Gamma _{a,b}\backslash G_{a,b}\) be an Inoue surface of type \(S^0\) and g(t) a locally homogeneous solution to the HCF on X. By (32), the projection
factorizes to a map \(\pi : X \rightarrow S^1={\mathbb R}/{\mathbb Z}\), which is a fibration with standard fiber \(T^3\) (see [8]). On the other hand, the path
factorizes to a section \(\gamma : S^1={\mathbb R}/{\mathbb Z}\rightarrow X\) whose length with respect to g(t) is
Notice also that by Proposition 4.9
Moreover, in analogy with [26, Lemma 5.2], the kernel of \({\tilde{g}}_{\infty }\) is the integrable distribution \(\mathcal D\) spanned by \(X_1,X _2\), which is dense inside any fiber of \(\pi\). Finally, the claim follows by (33) and this last observation (see e.g., [3, Cor 3.18]). \(\square\)
4.7 Inoue surfaces of type \(S^\pm\)
The HCF on \(\big (\mathrm{Sol}_1^4,J_{1}\big )\) reduces to the ODEs system
Proposition 4.11
Let \(g_0\) be a locally homogeneous Hermitian metric on an Inoue surfaces X of type \(S^\pm\) obtained by \(\big (\mathrm{Sol}_1^4,J_{1}\big )\). Then, the solution g(t) to the HCF starting from \(g_0\) exists for all \(t\ge 0\). In particular, \(x(t)\sim 3t\) and \(y(t)<y_0\), \(u(t)<u_0\) for any \(t>0\).
Proof
Let \(T\in (0,+\infty ]\) be the maximal existence time of the flow. Then, for any \(t \in [0,T)\), we have
On the other hand
and the long-time existence follows, i.e., \(T=+\infty\). Finally, to conclude the proof it is enough to show
Let us assume by contradiction that \(\frac{|z-\bar{z}|}{D} \rightarrow \epsilon >0\). Then, by the means of (34) and (35), there exists \(t_*>0\) and a constant \(k_1>1\) such that
This in turn implies, for any \(t\ge t_*\),
Besides, up to enlarge \(t_*\), there also exists a constant \(k_2 >1\) such that
Therefore, since (37) holds, for any \(t\ge t_*\) we have
and
Nonetheless, this would imply \(\lim _{t\rightarrow +\infty }u(t)=-\infty\), which is not possible. Hence, (36) holds and \(x\sim 3t\) follows. \(\square\)
The HCF on \(\big (\mathrm{Sol}_1^4,J_{2}\big )\) reduces to the ODEs system
Proposition 4.12
Let \(g_0\) be a locally homogeneous Hermitian metric on an Inoue surfaces X of type \(S^+\) obtained by \(\big (\mathrm{Sol}_1^4,J_{2}\big )\). Then, the solution g(t) to the HCF starting from \(g_0\) exists for all \(t\ge 0\). In particular, \(x(t)\sim 3t\) and \(y(t)<y_0\), \(u(t)<u_0\) for any \(t>0\).
Proof
Let \(T\in (0,+\infty ]\) denote the maximal existence time of the solution. Then, a direct computation yields that
On the other hand, since
we have \(T=+\infty\) and the first part of the claim follows. To conclude the proof it is enough to show that
By the means of (39), we can have either
In the former case, (39) directly implies (40). Let us assume then \(\lim _{t\rightarrow +\infty }D(t)<+\infty\). By means of (39), this implies \(y(t)\rightarrow 0\) for \(t\rightarrow \infty\), and hence \(\lim _{t\rightarrow \infty }\frac{2y^2}{D}=0\). Moreover, using the same argument as in the proof of Proposition 4.11, one can prove that \(\frac{|z-\bar{z}|}{D}\rightarrow 0\) necessarily holds, and so we obtain (40). \(\square\)
In view of the above results, we have
Proposition 4.13
Let X be an Inoue surface of type \(S^\pm\) and g(t) be a locally homogeneous solution to the HCF on X. Then,
where \(S^1\big (\tfrac{\sqrt{3}}{2\pi }\big )=\{z \in {\mathbb {C}}: |z|=\tfrac{\sqrt{3}}{2\pi } \}\) is the circle of length \(\sqrt{3}\).
We briefly recall the construction of Inoue surfaces of type \(S^+\). Let \(N\in \mathrm{SL}(2,{\mathbb Z})\) be a unimodular matrix with real positive eigenvalues given by \(\lambda\) and \(\lambda ^{-1}\), with \(\lambda >1\). It is well known that any \(S^+\) surface can be realized as the quotient of the group
by a lattice \(\Gamma _+:=\langle f_0,f_1,f_2,f_3\rangle\), where \(f_i\in G_+\) are defined starting from N (see [8]).
Notice that Inoue surfaces of type \(S^\pm\) enjoy nearly the same properties of surfaces of type \(S^0\) (see [8]). In particular, they do not contain complex curves and any \(S^+\) surface is diffeomorphic to a bundle over \(S^1\). Moreover, since any \(S^-\) surface admits an unramified double cover given by a \(S^+\) surface, it is enough to prove the statement for Inoue surfaces of type \(S^+\).
Proof of Proposition 4.13
Let \(X=\Gamma _+\backslash G_+\) be an Inoue surface of type \(S^+\) and g(t) a locally homogeneous solution to the HCF on X. The application
factorizes to a map \(\pi : X \rightarrow S^1\), which is a locally trivial fibration (see [8]). On the other hand, the path
factorizes to a section \(\gamma : S^1 \rightarrow X\) whose length with respect to g(t) is
Now, in view of the above results
Again, the kernel of \({\tilde{g}}_{\infty }\) is the integrable distribution \(\mathcal D\) spanned by the real and imaginary part of \(Z_2\), which is dense inside any fiber of \(\pi\) (see [26, Lemma 6.2]). Therefore, in analogy with the case of \(S^0\) surfaces, the claim follows. \(\square\)
We are now in position to prove Theorems A and B.
Proof of Theorems A and B
Let X be a compact complex surface and \(g_0\) a locally homogeneous non-Kähler metric on X. By Theorem 2.2 and Remark 2.3X is a quotient \(\Gamma \backslash G\), where G is one of the Lie groups listed in Sect. 3, i.e.,
and \(\Gamma \subset G\) is a co-compact lattice.
Let also \(T\in (0,+\infty ]\) be the extinction time of the HCF solution starting from \(g_0\). Then, by means of Propositions 4.1, 4.3, 4.5, 4.7, 4.8, 4.9, 4.11 and 4.12, we have \({T<\infty }\) if and only \(G{=\mathrm{SU(2)}\times {\mathbb R}}\). This implies Theorem A.
Finally, Theorem B comes from Propositions 4.1, 4.6, 4.7, 4.8, 4.10 and 4.13. \(\square\)
References
Angella, D., Sferruzza, T.: Geometric formalities along the Chern–Ricci flow. Complex Anal. Oper. Theory 14(1), 27 (2020)
Arroyo, R., Lafuente, R.: The long-time behaviour of the homogeneous pluriclosed flow. Proc. Lond. Math. Soc. 119(1), 266–289 (2019)
Boling, J.: Homogeneous solutions of pluriclosed flow on closed complex surfaces. J. Geom. Anal. 26(3), 2130–2154 (2016)
Burago, D., Burago, Y., Ivanov, S.: A Course in Metric Geometry. American Mathematical Society, Providence (2001)
Chen, X.X., Tian, G.: Ricci flow on Kähler–Einstein surfaces. Invent. Math. 147, 487–544 (2002)
Enrietti, N., Fino, A., Vezzoni, L.: The pluriclosed flow on nilmanifolds and Tamed symplectic forms. J. Geom. Anal. 25(2), 883–909 (2015)
Fang, S., Tosatti, V., Weinkove, B., Zheng, T.: Inoue surfaces and the Chern–Ricci flow. J. Funct. Anal. 271(11), 3162–3185 (2016)
Inoue, M.: On surfaces of class \(VII_0\). Invent. Math. 24, 269–310 (1974)
Lafuente, R., Pujia, M., Vezzoni, L.: Hermitian curvature flow on unimodular Lie groups and static invariant metrics. Trans. Am. Math. Soc. 363(6), 3967–3993 (2020)
Lott, J.: On the long-time behavior of type-III Ricci flow solutions. Math. Ann. 339, 627–666 (2007)
Panelli, F., Podestà, F.: Hermitian curvature flow on compact homogeneous spaces. J. Geom. Anal. (2019). https://doi.org/10.1007/s12220-019-00239-7
Pujia, M.: Expanding solitons to the Hermitian curvature flow on complex Lie groups. Differ. Geom. Appl. 64, 201–216 (2019)
Pujia, M.: Positive Hermitian curvature flow on complex 2-step nilpotent Lie groups. arXiv:2002.07210
Pujia, M., Vezzoni, L.: A remark on the Bismut–Ricci form on 2-step nilmanifolds. C. R. Math. Acad. Sci. Paris 356, 222–226 (2018)
Rong, X.: Convergence and collapsing theorems in Riemannian geometry. In: Handbook of Geometric Analysis, No. 2, Advanced Lectures in Mathematics, Int. Press, Somerville, pp. 193–299 (2010)
Singer, I.M.: Infinitesimally homogeneous spaces. Commun. Pure Appl. Math. 13, 685–697 (1960)
Song, J., Tian, G.: The Kähler–Ricci flow on surfaces of positive Kodaira dimension. Invent. math. 170, 609–653 (2007)
Streets, J.: Pluriclosed flow on manifolds with globally generated bundles. In: Complex Manifolds, vol. 3, no. 1 (2016)
Streets, J.: Classification of solitons for pluriclosed flow on complex surfaces. Math. Ann 375, 1555–1595 (2019)
Streets, J.: Pluriclosed flow and the geometrization of complex surfaces. arXiv:1808.09490
Streets, J., Tian, G.: A parabolic flow of pluriclosed metrics. Int. Math. Res. Not. IMRN 16, 3101–3133 (2010)
Streets, J., Tian, G.: Hermitian curvature flow. J. Eur. Math. Soc. (JEMS) 13(3), 601–634 (2011)
Streets, J., Tian, G.: Regularity results for the pluriclosed flow. Geom. Top. 17, 2389–2429 (2013)
Tian, G., Zhang, Z.: On the Kähler–Ricci flow on projective manifolds of general type. Chin. Ann. Math. 27B(2), 179–192 (2006)
Tosatti, V., Weinkove, B.: On the evolution of a Hermitian metric by its Chern–Ricci form. J. Differ. Geom. 99, 125–163 (2015)
Tosatti, V., Weinkove, B.: The Chern–Ricci flow on complex surfaces. Compos. Math. 149, 2101–2138 (2013)
Tosatti, V., Weinkove, B., Yang, X.: Collapsing of the Chern–Ricci flow on elliptic surfaces. Math. Ann. 362(3–4), 1223–1271 (2015)
Ustinovskiy, Y.: Hermitian curvature flow on manifolds with non-negative Griffiths curvature. Am. J. Math. 141(6), 1751–1775 (2019)
Ustinovskiy, Y.: Hermitian curvature flow on complex homogeneous manifolds. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (2019). https://doi.org/10.2422/2036-2145.201903_011
Wall, CTC.: Geometries and geometric structures in real dimension 4 and complex dimension 2. In: Geometry and Topology (College Park, Md., 1983/84), Lecture Notes in Mathematics, vol. 1167, Springer, Berlin, pp. 268–292 (1985)
Wall, C.T.C.: Geometric structures on compact complex analytic surfaces. Topology 25, 119–153 (1986)
Acknowledgements
We warmly thank Daniele Angella, Alberto Raffero and Luigi Vezzoni for their interest and helpful comments. We also thank the anonymous referee for his/her useful suggestions, which improved the presentation of the paper.
Funding
This work was supported by G.N.S.A.G.A. of I.N.d.A.M. The first named author was supported by project PRIN 2017 “Real and Complex Manifolds: Topology, Geometry and holomorphic dynamics” (code 2017JZ2SW5).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
In this “Appendix”, we explicitly write down the tensors S and \(Q^i\) used in Sect. 3 to obtain the HCF tensor K. We assume G to be one of the (non-abelian) Lie groups listed in Sect. 3, equipped with a left-invariant Hermitian structure (J, g) as in (6). Our results directly follow by the formulas given in Sect. 2 and the structure equations of G.
1.1 Hyperelliptic surfaces
1.2 Hopf surfaces
Here, \(\lambda \in {\mathbb R}\) denotes the parameter of the family of complex structures related to Hopf surfaces.
1.3 Non-Kähler properly elliptic surfaces
Here, \(\lambda \in {\mathbb R}\) denotes the parameter of the family of complex structures related to non-Kähler properly elliptic surfaces.
1.4 Primary Kodaira surfaces
1.5 Secondary Kodaira surfaces
1.6 Inoue surfaces of type \(S^0\)
Here, \(a,b\in {\mathbb R}\) denotes the parameters of the family of complex structures on Inoue surfaces of type \(S^0\).
1.7 Inoue surfaces of type \(S^{\pm }\)
For what concerns the complex structure \(J_1\) on Inoue surfaces of type \(S^\pm\), we get
On the other hand, given the complex structure \(J_2\) on Inoue surfaces of type \(S^+\), we get
Rights and permissions
About this article
Cite this article
Pediconi, F., Pujia, M. Hermitian curvature flow on complex locally homogeneous surfaces. Annali di Matematica 200, 815–844 (2021). https://doi.org/10.1007/s10231-020-01015-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-020-01015-z