Abstract
The relationship between critical points of equivariant functions and topological invariants of an equivariant action on closed manifold is an interesting problem. In this paper, we study this relationship for orientation-preserving actions of finite groups \(G\) on a closed orientable surfaces. We give an elementary, but detailed, description of the behaviour of the gradient field of an equivariant \(C^1\)-function, we present an elementary, differential, proof of the Riemann–Hurwitz formula and we construct invariant \(C^1\)-functions with the minimal number of critical orbits. These lead us to show that, with a few exceptions, the equivariant Lusternik–Schnirelmann category of a closed orientable topological surface equals the number of singular orbits of the action.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Throughout the whole paper we shall, usually, use the letter \(X\) to denote a topological space and \(M\) when this space is a manifold with a differential structure. A compact Riemann surface, which is understood as a two-dimensional compact closed surface \(M\) with a Riemannian metric and thus as a surface equipped with a holomorphic structure will be denoted, by \(\mathcal {S}\). We shall see that, without loss of generality, a finite orientation-preserving faithfull action of a finite group \(G\) on a closed orientable topological surface \(X\) can be assumed to be holomorphic for some Riemann surface \(\mathcal {S}\) homeomorphic to \(X\).
In the first part of this paper, we study a behaviour of \(G\)-invariant functions, showing a correspondence between \(G\)-invariant \(C^1\)-functions on the surface \(M\) and \(C^1\)-functions on its orbit space \(M'=M/G\). Note that, since our paper concerns surfaces, all such orbit spaces are manifolds, as follows from Theorem 2.4. We derive a formula for the index of the gradient at a critical point of an invariant function (Lemma 3.5 and Corollary 3.7) which allows us to give a new, differential, proof of the Riemann–Hurwitz formula. It is worth to be pointed out that all of the arguments used are completely elementary.
Calculating the equivariant Lusternik–Schnirelmann category of a space \(X\) with an action of compact Lie group \(G\) is an interesting problem. In the second part of this work, we give a complete characterization of equivariant category for an orientation-preserving action of a finite group \(G\) on a closed orientable topological surface \(X\). The main result (Theorem 4.11) says that, apart from some special cases, the equivariant Lusternik–Schnirelmann category of such a surface is equal to the number of singular orbits, by which we mean the orbits of lengths smaller than the order of \(G\). Consequently, given a surface \(X\) of genus \(\mathrm{g}=\mathrm{g}(X)\), the problem of finding actions of a finite group \(G\) with a given equivariant Lusternik–Schnirelmann category is equivalent to the problem of constructing actions of \(G\) with prescribed number of periods. For a cyclic group \(G=\mathrm{Z}_N\), a more general problem of finding necessary and sufficient conditions for the existence of such action on a surface with prescribed set of periods and given genus was solved in [7, 14]. This relationship was a principal motivation for the authors while working on this subject. Nevertheless, the starting point for our studies of equivariant category of a surface, was the paper by Colman [4].
The classical Lusternik–Schnirelmann category gives a lower estimate for the number of critical points of any \(C^1\)-function. Its equivariant version gives a similar estimate for an equivariant \(C^1\)-function \(f: M\rightarrow \mathbb R\) (cf. [1, 3, 11]). Consequently, this notion has also important applications in studies of multiplicities of nonlinear variational problems with symmetry (see [1] for a review of results), which can be seen as another justification of our study.
2 Orientation-preserving actions on surfaces
We refer the reader to the papers [1, 4, 11] for the basic definitions and principal facts concerning equivariant category. Let \(G\) be a compact Lie group acting on a manifold \(M\). An invariant subspace \(U\) of \(M\) is called \(G\)-categorical if it is contractible through a \(G\)-equivariant homotopy by which we understand homotopy \(F\) which is \(G\)-invariant on each level \(F_t\).
The equivariant category of a closed \(G\)-invariant subset \(A\) of a topological space \(X\), denoted by \(\mathrm{cat}_G(A;X)\), is the smallest possible number of \(G\)-categorical, within the whole space \(X\) and not only in \(A\), invariant open subsets required to cover \(A\) and it is defined to be infinity \( \infty \) if no such covering exists. If \(A=X\), then we simply denote \(\mathrm{cat}_G(A;X)\) by \(\mathrm{cat}_G(X)\) and call it the equivariant category of \(X\). Clearly, the equivariant category is invariant under equivariant homeomorphisms, and coincides with the classical Lusternik–Schnirelmann category for the case of trivial action.
In this paper, we give a complete characterization of the equivariant category for any orientation-preserving action of finite Lie groups on compact orientable unbordered surfaces. We begin with a classical and well-known observation, that for surfaces with negative Euler characteristic, the case of finite group action studied here is actually the only possible one.
Proposition 2.1
Let \(M\) be a closed compact orientable smooth manifold of dimension \(2\) with a negative Euler characteristic \(\chi = \chi (M)\) , i.e. a Riemann surface \(\mathcal {S}\) of genus \(\mathrm{g}= 1-\chi (M)/2 \ge 2\). Then, there is no smooth, nontrivial action of a compact connected Lie group \(G\) of nonzero dimension on \(M\). Consequently, any compact Lie group acting smoothly and nontrivially on \(M\) must be finite.
Proof
Let \(\mathbb {T} = \mathbb {T}^d\subset G \) be a maximal torus of \(G\). Suppose that the set \(M^{\mathbb {T}}\) of points fixed by \(\mathbb {T}\) in \(M\) is equal to \(M\), which simply means that the action of \(\mathbb {T}\) is trivial. Also, any \(g\in G\) is conjugate to an element \(t\in \mathbb {T}\), say \(g=g' t g'^{-1}\). Then, for \(x \in X\), \(gx=(g' tg'^{-1})x= g' (t(g'^{-1}x))= g' (g'^{-1}x)= (g' g'^{-1})x = ex= x\) and so the action of the whole group \(G\) on \(M\) must be trivial as well.
We are left with the case when the action of \(\mathbb {T}\) is nontrivial. Let \(\varphi : G\rightarrow \mathrm{Homeo}(M)\) be the homeomorphism induced by this action. The latter means that \(\ker \varphi \ne \mathbb {T}\) and so the quotient group \(\mathbb {T}/\ker \varphi \) is embedded into \(\mathrm{Homeo}^+ (M)\). Since any proper subgroup of
is equal, up to an isomorphism of \(\mathbb {T}\), to
with \(k<d\), there exists an index \(i\) for which \(\ker \varphi \cap \mathbb {S}^1_i = \mathbb {Z}_{n_i}\). Consequently, \(\mathbb {T}/\ker \varphi \) contains \(\mathbb {S}^1/\mathbb {Z}_{n_i}\cong \mathbb {S}^1\). This implies that the group \(\mathrm{Homeo} (M)\) contains cyclic subgroups of arbitrarily large order, which is impossible for a compact surface of genus \(\mathrm{g}\ge 2\) due to the classical Hurwitz theorem, which we present below for a reader’s convenience (see also classical result of Wimann [17] for the precise bound on the order in this case). \(\square \)
Remark 2.2
If \(M\) is the sphere \(\mathbb {S}^2\) with the Riemannian metric induced by the canonical embedding in \(\mathbb R^3\) or a torus \(\mathbb {T}^2 = \mathbb R^2/\mathbb {Z}^2\) with the flat Riemannian metric, then the group of isometries is infinite and contains \(\mathbb {S}^1\) or \(\mathbb {T}^2\), respectively. Therefore, for these surfaces, we have to make an additional assumption, that the group acting is finite. \(\square \)
Remark 2.3
First remind that every topological closed surface \(X\) posseses only one differential structure \(M\). If \(X\) is a closed surface of negative Euler characteristic then, due to the mentioned Hurwitz [8] theorem, every finite group of self-homeomorphisms can be represented as a subgroup of the group of conformal automorphisms of a Riemann surface \(\mathcal {S}\) homeomorphic to \(X\). Consequently, we may assume that every effective orientation-preserving action of a finite group \(G\) on a compact orientable surface \(X\) by which we mean any faithful representation of \(G\) in \(\mathrm{Homeo}^+(X)\), can be realized by conformal maps, i.e. by an embedding of \(G\) into \(\mathrm{Aut}(\mathcal {S})\) for such \(\mathcal {S}\). This gives a first well-known upper bound for the order of a group \(G\) acting effectively on \(X\), since the second part of the mentioned theorem of Hurwitz says that a group of automorphisms \(G\) of a compact Riemann surface \(\mathcal {S}\) of topological genus \(\mathrm{g}\) has at most \(84(\mathrm{g}-1)\) elements. However, the statement of the Hurwitz theorem holds also for an orientation-preserving action of a finite group on the sphere and torus. Indeed, for the sphere, Brouwer, Kerekjarto and Eilenberg showed sequentially that every action of a finite group \(G\) is equivalent to an orthogonal action (see [5] for references). Also, the case of torus can be studied in the same way, as it was observed by Edmonds [5] though, some people consider it as a mathematical folklore only.
These lead to the following characterization of actions.
Theorem 2.4
(Geometrization of action) Given a finite group \(G\) of orientation-preserving homeomorphisms of a compact topological surface \(X\) of an arbitrary genus \(\mathrm{g}\), there is a complex structure on \(X\) with respect to which \(G\) is a group of conformal automorphisms of resulting Riemannian surface \(\mathcal {S}\), thus diffeomorphisms of corresponding manifold \(M\). Moreover, the orbit space \(M'=M/G\) is a compact (smooth!) surface of genus \(\mathrm{g}^\prime \le \mathrm{g}\) which carries the additional structure of an orbifold. Furthermore, if \( \mathrm{g}>1\) then \(\mathrm{g}^\prime < \mathrm{g}\) as follows from the Riemann–Hurwitz formula 5.
Proof
For the first part of the statement, we refer to [5]. The second is an easy consequence, but we would like to make a comment on it. Since the action is holomorphic, thus smooth, in some \(G_x\)-invariant neighbourhood of any point \(x\in X\) it is \(G_x\)-equivariantly diffeomorphic to an orthogonal action on two discs \(\mathbb {D}^2\) of the isotropy group \(G_x\) of \(x\). By the Proposition 2.6, \(G_x=\mathbb {Z}_m\). The action of \(G\) is free outside a finite union of discs corresponding to all \(x\) with \(G_x\ne e\). This shows that the orbit space is a smooth manifold, thus a surface, because at every \(x\) with \(G_x =Z_m \ne e\), the orbit space \(\mathbb {D}' = \mathbb {D}^2/\mathbb {Z}_m\) is diffeomorphic to \(\mathbb {D}^2\) (however, the projection map \(\pi : \mathbb {D}^2 \rightarrow \mathbb {D}' = \mathbb {D}^2/\mathbb {Z}_m\) is a branched cover then). Secondly, \(\mathrm{g}' < \mathrm{g}\) follows from the Riemann–Hurwitz formula (cf. [6], see also equality). \(\square \)
Remark 2.5
We should point out here, that for any orientation-preserving action of a finite group \(G\) on a closed surface \(X\) of genus \(\mathrm{g}\), the statement of Theorem 2.4 is equivalent to one of the following (cf. [5]):
-
1.
there is a differential structure and a Riemaniann metric of constant curvature on \(X\), so that \(G\) is a group of isometries of the resulting manifold \(M\);
-
2.
the universal covering \(\tilde{M}\) of \(M\) can be identified with the Euclidean sphere \(\mathbb {S}^2\), the Euclidean plane \(\mathbb R^2\) or the hyperbolic upper half-plane \(\mathcal {H}\) if \(\mathrm{g}=0,\,1\) or \(\ge 2\), respectively, in such a way that all the lifts of all the elements of \(G\) to \(\tilde{M}\) correspond to a group of isometries of \(\tilde{M}\).
Next, we remind a classical fact, which allows us to restrict ourselves to the cyclic groups (see [12, Prop 3.1]) in our study of the sets of points fixed by orientation-preserving actions of finite groups on compact orientable surfaces. As before, the fixed point set of a \(G\)-space, with respect to a subgroup \(H\) of \(G\), is denoted by \(X^H\).
Proposition 2.6
Let \(G\) be a group of holomorphic automorphisms of a compact Riemann surface \(M=\mathcal {S}\) and let \(M^H\ne \emptyset \) for a subgroup \(H\subset G\). Then, \(H\) is cyclic. \(\square \)
Remark 2.7
The above is only the necessary condition. The sufficient condition for \(M^{H}\) to be nonempty, for a cyclic group \(H\subset G\), is that a lifting of \(H\) to \(\tilde{M}\) in Remark 2.5 (2) contains an elliptic element of order being equal to the order of \(H\) (cf. [9, 10]).
3 Critical points of invariant functions on compact surfaces
In this section, we shall study critical points of a \(G\)-invariant function \(f\) on a compact surface with a holomorphic action of a finite group \(G\).
3.1 Properties of the gradient field of an invariant function
Let \(M\) be a closed two-dimensional manifold, i.e. a compact surface and let \(f:M\rightarrow \mathbb R\) be a \(C^1\)-function. Then, the gradient of \(f\) defines a continuous vector field
A point \(x\in M \) is called a critical point of a \(C^1\)-function \(f: M\rightarrow \mathbb R\) if the gradient vanishes at \(x\), i.e. \(\nabla f(x)=0\).
By definition, the set of zeros \(\mathrm {Zer}(\mathfrak {X})\) is equal to the set \(\mathrm {Crit}(f)\) of critical points of \(f\).
Let \(M\) be a compact closed manifold, let \(f: M\rightarrow \mathbb R\) be a \(C^1\)-function with isolated critical points and let \(\mathfrak {X}(x)=\nabla (f)(x) \ : M \rightarrow TM\) be the associated gradient vector field.
Recall that the local index at isolated zero \(x_0\) of a vector field \(\mathfrak {X}: M \rightarrow TM\) is the degree of the map
mapping a small sphere \(\mathbb {S}_\varepsilon (x_0) \subset M\) into the unit sphere \(\mathbb {S}^1\) in the tangent space at \(x_0\). Equivalently, it is equal to the degree of a map of pairs \(\mathfrak {X}: (\mathbb {D}^2_\epsilon , \mathbb {D}^2_\epsilon {\setminus } \{0\}) \rightarrow (\mathbb R^2, \mathbb R^2{\setminus } \{0\})\) induced by \(\mathfrak {X}\) in local coordinates.
The classical Hopf formula, applied to the field \( \nabla (f)(x)\), says that
where \(\chi (M)\) is the Euler characteristic of \(M\). Recall that for a surface, we have \(\chi (M)=2-2\mathrm{g}(M)\).
Remark 3.1
Let \(M\) be a manifold with a smooth action of a finite group \(G\). Note that if \(f:M \rightarrow \mathbb R\) is a smooth \(C^1\) function with isolated critical points, then
is \(G\) -invariant function with isolated, thus finite in amount, critical points.
In the next, we present the correspondence between the local germs of \(C^1\)-functions at a singular point \(x_0\) of a surface and its image \(x'_0\) in the orbit space \(M'=M/G\). First notice that, locally, the action of \(G\) near zero is equivariantly diffeomorphic to the tubular neighbourhood \(G \times _{G_{x_0}} D_\varepsilon \), where \(G_{x_0}\) is the isotropy group of \(x_0\) and \(D_\varepsilon \) is a small disc at \(0\) in the tangent space at \(x_0\). Consequently, for some open invariant set \(U\), containing the orbit \(G x_0\), we have
since each isotropy group is cyclic (Proposition 2.6).
Theorem 3.2
Suppose that \(G\) is a finite group acting preserving orientation on a closed compact surface \(M\) with \(M'=M/G\) and \(\pi : M\rightarrow M^\prime \) the canonical projection. Then,
-
1.
Every \(C^1\)-function \(f': M' \rightarrow \mathbb R\) defines an invariant \(C^1\)-function \(f:= f' \circ \pi \) such that all points of all singular orbits of the action are critical points of \(f\).
-
2.
Conversely, for an invariant \(C^1\)-function \(f:M\rightarrow \mathbb R\), each singular point of the action is a critical point.
-
3.
Furthermore, any \(G\)-invariant \(C^1\)-function \(f:M\rightarrow \mathbb R\) defines the unique \(C^0\)-function \(f': M' \rightarrow \mathbb R\), such that \(f= f'\circ \pi \).
Moreover, if at any singular point of action \(x\) with isotropy group \(G_x\equiv \mathbb {Z}_m\) the function \(f\) is of class \(C^m\) and
then \(f^\prime =f/G\) is a \(C^1\)-function and the image \( x' = \pi (x)\) of any singular point \(x\) is a critical point of \(f'\).
Proof
By Theorem 2.4, we can assume that \(M=\mathcal {S}\) is a Riemann surface and \(G\subset \mathrm{Aut}({\mathcal {S}})\), thus \(\mathrm{Sing}(M)= \mathrm{Sing}({\mathcal {S}})\).
To prove (1), it is enough to notice that \(D\pi \) is the zero map at each singular point. To get (2), observe that for an invariant \(C^1\)-function \(f:M\rightarrow \mathbb R\), a singular point is critical. Indeed, \(\nabla f : M \rightarrow TM\) is an equivariant vector field and thus \(\nabla (f)(gx)= Dg(x) [\nabla f(x)]\), where \(Dg(x)\) is the derivative of \(g\) at \(x\). This gives \(\nabla f(x) =\nabla f(gx) = Dg(x)\,\nabla f(x)\) for every \(g\in G_x\). Therefore, since \((T_x M)^{G_x}=0\), we have that \(G_x \ne e\) implies \(\nabla f (x) =0\).
Finally, concerning the proof of (3), observe that \(f\) defines a continuous function \(f': M' \rightarrow \mathbb R\) given by \(f'(x'):=f(x)\), where \(x'=\pi (x)\). For, it is sufficient to show that \(f'\) is a \(C^1\)-function at \(x'=\pi (x)\) for every singular point \(x\), as \(\pi : S{\setminus } \mathrm{Sing}(M) \rightarrow M' {\setminus }\pi (\mathrm{Sing}(M))\) is a finite regular covering. The statement of the Theorem 3.2 follows from the lemma below. \(\square \)
Lemma 3.3
Let a cyclic group \(G=\mathbb {Z}_m\) act orthogonally and semi-freely on \(\mathbb {D}^2\subset \mathbb C\), with \(0\) being the only fixed point. Let \(f:\mathbb {D}^2 \rightarrow \mathbb R\) be a \(C^m\), \(G\)-invariant function with a critical point at \(0\) such that \(Df(0)=D^2f(0)=\,\cdots \,=D^{m}f(0)=0\). Then, \(\mathbb {D}^2/G\) is diffeomorphic to \(\mathbb {D}^2\) and \(\pi : \mathbb {D}^2 \rightarrow \mathbb {D}^2/G\) is a branched covering with a group of deck transformation generated by \(z \mapsto \varepsilon z\), \(\varepsilon \) the rotation by the angle \(2\pi /m\). Moreover, \(f\) induces a \(C^1\)-function \(f^\prime \) on \(\mathbb {D}^2/G\), which has an isolated critical point at \(0\) and \(f=f^\prime \circ \pi \).
Proof
Since the action of \(G\) is orthogonal and semi-free, an element \(g \in \mathbb {Z}_m\), represented by \( 1 \le k \le m-1\), acts as the linear map \(\exp (2\pi \imath \, k) \in \mathrm{U}(1)=\mathrm{SO}(2)\subset \mathrm{O}(2)\). Then, obviously, \(\mathbb {D}^2/G=\mathbb {D}^2\) and \(\pi :\mathbb {D}^2\rightarrow \mathbb {D}^2/G\) is equal to \(\pi (z)= z^m\) in the complex coordinates of \(\mathbb {D}^2\).
Therefore, it remains to show that \(f^\prime =f/G\) is \(C^1\) at \(0\). Adding a constant if necessary, we can assume that \(f(0)=0\). Let \(z'_n \rightarrow 0\), \(z^\prime _n \ne 0\), be an arbitrary sequence. We choose a point \(z_n\in \pi ^{-1}(z'_n)\) for each \(n\in \mathbb {N}\). Let us notice that then \(|z_n|^m=|z'_n|\). By the definition, \(f^\prime (z'_{n}) = f(z_{n})\). Note that by our assumption \(f(z)= o(\vert z\vert ^m)\), i.e. \(\vert f(z)\vert /\vert z\vert ^m \rightarrow 0\) if \(\vert z\vert \rightarrow 0\). Consequently,
which shows that at \(0\) \(f^\prime \) has the derivative \(D\,f^\prime (0)=\nabla (f^\prime )(0) =0\). To prove that \(f'\) is \(C^1\), we need to show that \(Df'(z'_n)\rightarrow Df'(0)=0\) for any sequence \(z'_n\rightarrow 0\). Since we may assume that \(z_n\) is regular, \(\pi \) is a covering near \(z_n\) and \(Df(z_n)=Df'(z'_n)\). Now \(Df'(z'_n)=Df(z_n)\rightarrow Df(0)=0\) which proves that \(f'\) is \(C^1\). \(\square \)
Corollary 3.4
Let \(f:M \rightarrow \mathbb R\) be a \(C^\infty \), \(G\)-invariant function. Then, \(f^\prime = f/G\) is also a \(C^\infty \)-function provided \(f\) is flat at every singular point \(x\) of the action. Moreover, \(f^\prime \) is also flat at \(\pi (x)\).
Proof
Recall that \(f\) is flat at \(x_0\) means that \(D^k f(x_0)=0\) for every \(k\ge 1\). This yields that \(\vert D^k f(x) - D^k f(x_0)\vert = \vert D^k f(x) \vert = o(\vert x-x_0\vert ^n) \) for every \(k, \, n\ge 1\). We have already shown that \(Df^\prime (x^\prime _0)\) exists and is equal to \(0\). Suppose that \(f^\prime \) is of class \(C^k\) at \(x_0\) and \(D^if^\prime (x^\prime _0)=0\) for \(1\le i\le k\). With the same local coordinates systems as in Lemma 3.3, for any \(k\in \mathbb N\), we have
This shows that this limit exists and is equal to \({\underset{n\rightarrow \infty }{\lim }} D^{k} f^\prime (z'_{n})=0\) which shows that \(D^{k+1} f^\prime \) is continuous at \(x^\prime = \pi (x)\) and equal to \(0\). \(\square \)
Let \(\pi : U \subset S \rightarrow M'\) be a \(C^1\)-map. We have the following well-known formula for the gradient of the composition
where the latter is the evaluation of the matrix field \((D\pi )^*(z)\) on the vector field \(\nabla (f)(\pi (z))\) and \((D\pi )^*(z): T_{\pi (z)}M' \rightarrow T_z M \) is the linear operator conjugate (dual) to the linear map \(D\pi (z)\).
Let \(U\subset M\),\(V \subset M'\) be domains of local charts identified with subsets of \(\mathbb C\), e.g. \(U\) is a disc with the centre at \(0\). Next, let \(\pi (z)= z^m\), \(\vert m \vert \ge 1\) be a map from \(U\) into \(V\). Then, \((D\pi )^*(z)=(D(z^{m_i}))^*(z)= m (z^{m-1})^*=m \bar{z}^{m-1}\). This remark leads to the next Lemma.
Let \(U,V\) be two open subsets of \(\mathbb C\) such that \(0\in U\cap V\) and let \(\pi : U\rightarrow V\), \(\pi :(U, U{\setminus } \{0\}) \rightarrow (V, V{\setminus }\{0\})\) be an orientation-preserving \(C^1\)-map such that \(D\pi (0)=0\) and \(D\pi (z)\ne 0\) if \(z\ne 0\). Let also \(f^\prime : V \rightarrow \mathbb R\) be a \(C^1\)-function with isolated critical or regular point at \(0\). By \(\deg \) we shall denote the topological degree of maps \(\nabla (f)\) and \(\pi \) with respect to the pair \((\mathbb {D}_\varepsilon , \mathbb {D}_\varepsilon {\setminus }\{0\}) \rightarrow (\mathbb C,\mathbb C{\setminus }\{0\}) \), where \(\mathbb {D}_\varepsilon \subset \mathbb C\) is a small disc centered at \(0\). Observe that \(\deg (\nabla (f),0)=0\) if \(0\) is not a critical point of \(f\). Next, denote by \(\deg (D\pi ^*, 0)\) the degree of \(D\pi ^*: S_\varepsilon ^1 \rightarrow \mathrm{GL}(2,\mathbb R)\). Notice that each of two connected components of \(\mathrm{GL}(2,\mathbb R)\) is homotopically equivalent to \(\mathbb {S}^1\), since \(\mathrm{GL}(2,\mathbb R)_+\equiv \mathrm{O}(2)_+ =\mathrm{SO}(2) =\mathbb {S}^1\). In other words, this degree is an element of \(\pi _1(\mathrm{GL}(2,\mathbb R)) =\mathbb {Z}\).
Observe that in our case \(\pi \) is a holomorphic map. Since \( D \pi (z)\ne 0\) for \(z\ne 0\) and \(0\) is the unique critical point of \(f^\prime \), \(0\) is also the unique critical point of the composition \(f= f^\prime \pi : V \rightarrow \mathbb R\) and therefore \(\nabla (f^\prime \pi )(z)\) is a map of pairs \((V,V{\setminus } 0) \rightarrow (\mathbb C,\mathbb C{\setminus }\{0\})\).
Lemma 3.5
Under the above assumptions
Proof
We already know that
where the latter is the evaluation of the matrix field \((D\pi )^*(z)\) on the vector field \(\nabla (f^\prime )(\pi (z))\). Since \(\pi \) is holomorphic, \(D\pi (z)\) is the multiplication by the complex derivative of the map \(\pi \). Applying Lemma 3.6,
\(\square \)
It remains to prove the following lemma.
Lemma 3.6
Let \(U\subset \mathbb {C}\) be an open subset, \(\alpha ,\beta :U\rightarrow \mathbb {C}\) continuous maps with \(\alpha ^{-1}(0)\cup \beta ^{-1}(0)\) compact and let \((\alpha *\beta )(z)= \alpha (z)\cdot \beta (z)\), where the last is the product of complex numbers. Then,
Proof
We assume that \(U\) is connected. One can find homotopies with compact support, making the sets \(\alpha ^{-1}(0)\) , \(\beta ^{-1}(0)\) disjoint, finite and consisting of regular points only; here, the degrees do not change. Let us denote \(\alpha ^{-1}(0)=\{x_1,\, \ldots ,x_k\}\) , \(\beta ^{-1}(0)=\{y_1,\, \ldots ,y_l\}\). Obviously \((\alpha *\beta )^{-1}(0)=\{x_1,\, \ldots ,x_k\}\cup \{y_1,\, \ldots ,y_l\} \). By the definition of the degree, \(\mathrm{deg}(\alpha *\beta )\) is equal to
where the sum is taken over \(z\in (\alpha *\beta )^{-1}(0)\). Consider a point \(x_i\). Since \(\beta (z)\ne 0\) near \(x_i\), \(\mathrm{deg}(\alpha *\beta ; x_i)= \mathrm{deg}(\alpha ; x_i)\) and similarly \(\mathrm{deg}(\alpha *\beta ; y_i)= \mathrm{deg}(\beta ; y_j)\) for all \(j=1,\, \ldots ,l\). By (2),
\(\square \)
Corollary 3.7
Let \(f^\prime : V\rightarrow \mathbb R\), \(0\in V \), be a \(C^1\)-map as in Lemma 3.5 with \(\deg (\nabla (f^\prime ), 0) = d \) and \(\pi (z)= z^m\). Then, \(0\) is a critical point of \(f := \,f^\prime \, \pi \), \(\deg (\nabla (f),0)\) is well defined and we have
Proof
Note that \(D\pi (z)= m z^{m-1}\) and thus the map \( z \mapsto D\pi (z)\) is homotopic to the map \(z \mapsto z^{m-1}\), i.e. \(\deg ((D\pi )^*,0) =-(m-1)\). Hence, the result follows by the Lemma 3.5. \(\square \)
3.2 A differential proof of the Riemann–Hurwitz formula
In the last section, we present a new proof of the Riemann–Hurwitz formula for a Riemann surface \(\mathcal {S}\). It is completely elementary and requires only the existence of a \(C^1\)-function with all isolated (thus finite in number) critical points on \(S\) and Hopf formula for the gradient field of such a function. It is similar to that of [15], but we do not assume that our function is Morse and allow its critical points to be in the image, by \(\pi :\mathcal {S}\rightarrow \mathcal {S}^\prime \), of the singular points set of the action of \(G\) on \(\mathcal {S}\) (see [15] for references about other proofs of the Riemann–Hurwitz formula).
Let \(\mathcal {S}\) be a compact Riemann surface of genus \(\mathrm{g}>1\) and let \(G\) be a group of holomorphic automorphisms of \(\mathcal {S}\). Let \( \mathcal {S}^\prime = \mathcal {S}/G\) be the quotient surface of genus \(\mathrm{g}^\prime \) with the projection \(\pi :\mathcal {S} \rightarrow \mathcal {S}^\prime \) and let \(\{x^\prime _1,\, \ldots , x^\prime _r\}\) be the set of all points over which \(\pi \) is branched, i.e. the image of the singular orbits. For any \(x_{i,j}\in \pi ^{-1}(x^\prime _j)\) being a point in the orbit over \(x^\prime _j\), the isotropy group \(G_{x_{i,j}}\) is cyclic of order \(m_j\) (observe that the isotropy groups of points in one orbit are conjugate). We denote by \(m\) the order of \(G\). Now, it follows that the orbit of \(x_{i,j}\) has order \(r_j={m}/{m_j}\). If \(x^\prime \in \mathcal {S}^\prime {\setminus } \{x^\prime _1, \,\ldots , x^\prime _r\}\), then \(\pi ^{-1}(x^\prime )\) is an orbit isomorphic to \(G\) and so consequently, for every \(x\in \pi ^{-1}(x^\prime )\), \(m_x=1\) and \(r_x={m}/{m_x} = m\).
We already know, that given a \(C^1\) and \(G\)-invariant function \(f:\mathcal {S}\rightarrow \mathbb R\), with isolated critical points, every singular point \(x\in \mathcal {S}\) is a critical point of \(f\), i.e.
Theorem 3.8
Let \(f:\mathcal {S}\rightarrow \mathbb R\) be a \(C^1\) and \(G\)-invariant function with isolated critical points satisfying the condition (3) of Theorem 3.2 at every singular point of the action. Then, \(f\) induces a \(C^1\)-function \(f^\prime : \mathcal {S}^\prime \rightarrow \mathbb R\) on the orbit space \(\mathcal {S}^\prime \) with
Furthermore, the local indices of the vector field \(\deg (\nabla (f), x)\) do not depend on a choice of a representative of the orbit of \(x\), i.e. do not depend on \(i\) and we have the following formulas
where \(x_{i_0,j}\) and \({\bar{x}}_{i_1,j}\) are some fixed points in the orbits over \(x^\prime _j\) and \(\bar{x}_j^\prime \), respectively.
\(\square \)
Lemma 3.9
Let \(\mathfrak {S}(x)=\nabla (f)(x) \) be a vector field defined on a small disc \(\mathbb {D}_\varepsilon (x_0)\) near a critical point \(x_0\) of \(f\). Then, \(x^\prime _0 = \pi (x_0)\) is a critical point of \(f^\prime = f/G\) and we have
Proof
Note that \(\nabla (f^\prime ) \) is not the same as \(\nabla (f\pi )\). Next, \(\pi _{|\pi ^{-1}(\mathbb {S}_\varepsilon )}: \pi ^{-1}(\mathbb {S}_\varepsilon ) \rightarrow \bar{\mathbb {S}}_\varepsilon /G\) is a regular covering of multiplicity \(m\). Moreover, \(\pi \) is an orientation-preserving diffeomorphism on each of \(m\)-connected components of this set and thus \(\nabla (f)(x)= \nabla (f^\prime )(\pi (x))\) on \(\mathbb {S}_\varepsilon (x_0)\). Furthermore, due to this identification, \(\deg (\nabla (f),x_0)=\) \(\deg (\nabla (f^\prime ),x^\prime _0)\), where \(x^\prime _0=\pi (x_0)\). \(\square \)
Let us introduce the following notation. For \(1\le j\le r\), let \(d_j\) denote the degree \(\deg (\nabla (f), x_{i,j})\), where for \(1\le j\le r\,\), \(x_{i,j} \in \pi ^{-1}(x^\prime _j)_{i=1}^{r_i}\) is any point of the orbit. Recall that this degree does not depend on \(i\). Similarly, for \(1\le j\le \bar{r}\) let \(\bar{d}_j\) denote the degree \(\deg (\nabla (f), \bar{x}_{i,j})\), where for \(1\le j\le \bar{r}\), \(\bar{x}_{i,j} \in \pi ^{-1}(\bar{x}_j^\prime )_{i=1}^{m}\) is any point of the orbit; again this degree does not depend on \(i\).
Next, for \(1\le j\le r\) and \(1 \le j \le \bar{r}\) let \(d_j^\prime \), or correspondingly \(\bar{d}_j^\prime \), denote \(\deg (\nabla (f^\prime ), x^\prime _j))\), or \(\deg (\nabla (f^\prime ), \bar{x}^\prime _j)\), respectively. Hence, by Lemma 3.9, we have
Then, the second equality of Theorem 3.8 has the form
Now, using the Euler-Poincare formula for \(\mathfrak {S}(x) =\nabla (f\pi )(x)\) and the statement of Corollary 3.7, we have
Comparing the Eqs. (3), (4) and \(r_j = m/m_j\) we get
which is the classical Riemann–Hurwitz formula.
4 The computation of equivariant category of surface
The equivariant category of a preserving orientation action of finite group on closed orientable surface will be calculated in several steps.
4.1 Basic filtration
We begin with some general statement on the equivariant Lusternik–Schnirelmann category. The question of a computation of equivariant category for a topological space \(X\) is of interest, but difficult in general. However, there is a direct, well-known estimate for it, by the category of the orbit space [11].
Proposition 4.1
\(\mathrm{cat}_G(A;X) \ge \mathrm{cat}(A/G;X/G).\) \(\square \)
We shall use this standard lower bound for the \(G\)-category of \(X\) and an upper bound for it given in [4]. To formulate the latter, we have to present an idea of the standard filtration of a \(G\)-space. Colman [4] introduced and explored a notion of basic filtration of a \(G\)-space but in our case of \(G\) being finite these two terms coincide.
Any homogenous space \(G/H\) is uniquely determined by the conjugacy class \((H)\) of \(H\). Moreover, the orbit of any point \(x\in X\) is isomorphic, as a \(G\)-space, to \(G/G_x\). Given a subgroup \(H\subset G\), the set of all points \(x\) of \(X\) for which \((G_x)=(H)\), denoted by \(X_{(H)}\), is called the orbit type. It is an open subset of the set \(X^{(H)} = G \,X^H\) of all points for which \(G_x\) is conjugate to a subgroup of \(gHg^{-1}\).
From now on, we shall assume that \(G\) is a finite group and its action is effective, i.e. the kernel \(K\) of \(\varphi : G \rightarrow \mathrm{Homeo}(X)\) is trivial. Observe that actually this is not a restriction, as then \(\mathrm{cat}_G(X) = \mathrm{cat}_{G/K}(X)\) [1, 11]. If \(G\) is finite and \(X\) is a manifold, from the properties of finite group actions on \(X\), it follows directly that:
-
there are points with the isotropy group \(G_x\) being trivial, i.e. equal to \(e\);
-
the set \(X_e\) of points with \(G_x=e\) is invariant, open, dense, and \(X_e/G\) is connected. The set \(X{\setminus } X_e\) is called, the set of singular points.
Remark 4.2
The above holds in more general situation in the following form. For a smooth action of compact Lie group, there exists an orbit type \(X_{(H)}\), which is called the principal orbit type and which has the properties listed above, i.e. it is open, dense, and \(X_{(H)}/G\) is connected.
A subgroup \(H\) of a group \(G\) will be denoted by \(H\le G\). Let \(\mathfrak {H}\) be the set of all subgroups of \(G\). For an effective action of a group \(G\), we introduce a finite filtration of \(\mathfrak {H}\) being the sequence
where
for each \(0 \le i \le s - 1\). So \(H \in \mathfrak {H}_i\) if there is a chain of subgroups of length \( l \ge i\) of the form \(\{e\} \lneqq H_1 \lneqq H_2\, \ldots \, \lneqq H_l = H\).
Remark 4.3
Note that if a subgroup \(H\) of \(G\) belongs to \(\mathfrak {H}_i\), then every \( H' \in (H)\) also belongs to \(\mathfrak {H}_i\). Indeed, if for \(l\ge i\), \(H' = g^{-1}Hg\) and
is a chain for \(H\), then for \(H_i' =g^{-1}H_ig\),
is the corresponding chain for \(H'\). \(\square \)
To shorten notation, we denote by \(B = X/G\) for the orbit space of the action of \(G\) on \(X\). The image of \(X^H\) in this orbit space is denoted by \(B^H\). Note that \(B^H=X^{(H)}/G\). The singular set of \(B\) is the image of the set of points with nontrivial isotropy in \(X\), i.e. the image of the set of singular points. We will construct a filtration of the space \(B\). Let
for each \(i\) in the range \(0 \le i \le s\). Observe, following Remark 4.3, that the set \(X^i\) is \(G\)-invariant. Now, \(B^1\) is the singular set and \(B^r = B^G\) is the homeomorphic image of the set of points fixed by the action, possibly empty. Let also \(k= \min \{i : X^{i+1}=\emptyset \} \). Finally, we introduce the basic filtration of length \(k\) of \(B\) to be
Remark 4.4
Note that in our case all \(X^i\), \(i\ge 1\), are finite and so the corresponding \(B^i\) are finite too. Indeed, the fixed point set \(X^H\) is a submanifold of \(X\) and as such has dimension \(0\) or \(1\). The case of \(1\)-dimensional submanifold can be ommitted, since the action preserves the orientation. Moreover, for an action of holomorphic maps, such a submanifold should be complex, thus of dimension \(0\).
For a \(G\)-space \(X\), by \( \mathfrak {H}(X)\) we denote the intersection of the standard filtration of all subgroups and the family of all isotropy subgroups \(\{G_x:x\in X\}\). As a direct consequence of Proposition 2.6, we have the following fact
Proposition 4.5
If a finite group \(G\) acts on a compact orientable surface \(X\), then the standard filtration \(\mathfrak {H}(X)\) consists only of the cyclic groups. \(\square \)
4.2 Bounds for the equivariant category
Now, we recall some lower and upper bounds for \(G\)-category. The lower ones are standard, while the upper one follows from the main result of [4]. From now on, we shall assume that the action is not free (for free actions the \(G\)-category of \(X\) coincides with the category of the orbit space \(X/G\), see [11]).
Proposition 4.6
\(\mathrm{cat}_G(X) \ge \mathrm{cat}_G(X^i)\quad {\text { for all}} \; i = 1, \ldots , s.\) \(\square \)
Remark 4.7
In general, \(\mathrm{cat}_G(A;X) \le \mathrm{cat}_G(X)=\mathrm{cat}_G(X;X)\), for a \(G\)-invariant closed subset \(A\) of \(X\). But \(X^1\) is a special invariant subset, which consists of points fixed by all nontrivial subgroups of \(G\). By the definition, \(X^1\) consists of the fixed points of minimal nontrivial, i.e. cyclic of a prime order, subgroups but it also contains points fixed by all the other subgroups, since \(X^H\subset X^K\) for \(K\subset H\). \(\square \)
Corollary 4.8
\( \mathrm{cat}_G(X) \ge \mathrm{cat}(B^i) \quad {\text {for all}}\; i = 1, \ldots , s.\) \(\square \)
Below we recall an upper bound for the \(G\)-category, in terms of the dimension of \(B = X/G\) and the \(G\)-category of the singular set given by Colman [4].
Theorem 4.9
Let \(X\) be a connected \(G\)-complex, where \(G\) is a finite group acting non-freely on \(X\). Then, \( \mathrm{cat}_G(X) \le \dim B + \mathrm{cat}_G(X^1).\) \(\square \)
Our aim is to show that for an orientation-preserving action of a finite group \(G\) on a closed, connected, orientable surface \(X\) of genus \(\mathrm{g}\ge 2\), the \(G\)-category is realized on the set of singular orbits in vast majority cases. In Example 4.4, in [4], we have an action of \(G=\mathbb {Z}_4\) on the torus, for which
Here, the quotient surface \(X^\prime \) is homeomorphic to \(\mathbb {S}^2\).
We begin with the following lemma.
Lemma 4.10
Let \(M^\prime \) be a compact orientable two-dimensional closed manifold, of genus \(\mathrm{g}\) and let \(x^\prime _1,\, \ldots , x^\prime _r \) be a finite set of points of \(M^\prime \). Then, there exists a \(C^1\)-function \(f^\prime : M^\prime \rightarrow \mathbb {R}\) such that all the critical points of \(f^\prime \) are:
-
(a)
\(x^\prime _1, x^\prime _2 \) if \(\mathrm{g}=0\) and \(r\ge 2\),
-
(b)
\(x^\prime _1, x^\prime _2, x^\prime _3\) if \(\mathrm{g}\ge 1\) and \(r\ge 3\),
-
(c)
\(x^\prime _1\) and another \(\tilde{x}^\prime _2\) if \(\mathrm{g}=0\) and \(r=1\),
-
(d)
\(x^\prime _1\) and another two points \(\tilde{x}^\prime _2, \tilde{x}^\prime _3\) or \(x^\prime _1,x^\prime _2\) and another \(\tilde{x}^\prime _3\) if \(\mathrm{g}\ge 1\) and \(r=1\) or \(r=2\), respectively.
Proof
For every compact closed surface two-dimensional manifold \(M\) of genus \(\mathrm{g}>0\) there exists a \(C^1\)-function \(\tilde{f}: M\rightarrow \mathbb {R}\) such that \(\tilde{f} \) has only three critical points (cf. [13, p. 90] and [16]), which we denote by \(y_1, y_2, y_3\). If \(M\) has genus \(0\), i.e. when it is diffeomorphic to the sphere \(\mathbb {S}^2\), then there exists a function \(\tilde{f}: \mathbb {S}^2 \rightarrow \mathbb {R}\) with only two critical points, denoted by \(y_1,\, y_2\).
Next, for every three pairs of points \(x^\prime _1, x^\prime _2, x^\prime _3\) and \(y_1,\,y_2,\, y_3\) of a compact surface \(M\), there exists an isotopy \(\varphi _t :\, M \times I \rightarrow M\) such that \(\varphi _0= \mathrm{id}_{S}\) and \(\varphi _1 (x^\prime _i) = y_i\) for \(i=1,\,2,\,3\). Put \(\varphi := \varphi _1\). Then, the function \(f'= \tilde{f} \circ \varphi \) has critical points \(x^\prime _1, x^\prime _2, x^\prime _3\) and they are the only critical points, because \(\nabla (f')(x)= \nabla (\tilde{f})(\varphi (x)) \circ D\varphi (x)\). \(\square \)
Theorem 4.11
Let \(X\) be a compact orientable surface with an orientation-preserving action of a finite group \(G\) given through orientation-preserving homeomorphisms. Let \(X'\) be the orbit space of this action and let \(\mathrm{g}'\) be its genus. Then, the set of all points fixed by all nontrivial subgroups of \(G\) is finite, which means that \(X^1\) is either the union of \(r\ge 1\) orbits or empty and we have:
if the action is free and
otherwise. Moreover, if the action is not free and \(r \ge 3\) or \(r= 2\) and \(\mathrm{g}^\prime =0\), then \( \mathrm{cat}_G(X) = \mathrm{cat}_G(X^1)= \vert X^1/G \vert = \vert B^1\vert \).
Proof
Due to the Hurwitz theorem and before-mentioned Edmonds Theorem 2.4, every such action is equivalent to a holomorphic action, which simply means that every finite group of orientation-preserving homeomorphisms of \(X\) can be seen as a group of holomorphic automorphisms of a Riemann surface \(\mathcal {S}\) homeomorphic to \(X\). Then, the fixed point set of any subgroup of \(G\) is finite (possibly empty) as a complex submanifold of \(\mathcal {S}\).
First, we consider the free action case. Observe that every preserving orientation homeomorphism of \(\mathbb {S}^2\) has a fixed point, as follows from the Lefschetz fixed point formula. It excludes \(\mathrm{g}=0\). Next, if \(\mathrm{g}^\prime =0\) then \(\chi (\mathcal {S})= 2 - 2\mathrm{g}= 2\, m \) where \(m\) is the multiplicity of regular covering \(p:\mathcal {S} \rightarrow \mathcal {S}^\prime \), since \(\chi (\mathbb {S}^2)=2\). The latter is impossible, since \(\chi (\mathcal {S}) \le 0\), which shows that \(\mathrm{g}^\prime \ge 1\), thus proves the first part of the statement.
Moreover for a group \(G\) of holomorphic automorphisms of a compact Riemann surface \(\mathcal {S}\) of genus \(\mathrm{g}\ge 0\), the projection map \(\pi : \mathcal {S} \rightarrow \mathcal {S}' = \mathcal {S}/G\) onto the orbit space is a covering ramified over \(r\) points, say with the ramification indices \(m_1, \, \ldots , m_r\), and the genus of \(\mathcal {S}'\) equals \(\mathrm{g}'\). Observe that the action is free if and only if \(r=0\).
Let us consider the general case of ramified covering. If \(r\ge 3\) then the statement follows from Lemma 4.10. If \(\mathrm{g}^\prime =0 \), i.e. \(\mathcal {S}^\prime =\mathbb {S}^2\) then, it is easy to show that for any \(\mathcal {S}\), of \(\mathrm{g}\ge 1\), there is not a branched covering \(p: \mathcal {S} \rightarrow \mathcal {S}^\prime \) with \(r\le 2\). Indeed, from the Riemann–Hurwitz formula, we have
Consequently, for \(\chi (\mathcal {S}^\prime )=2\), \(r=0,1, \,2\) is excluded if \(\chi (\mathcal {S})\le 0\), which proves the first item of this case.
If \(f: M \rightarrow \mathbb {R} \) is \(G\)-invariant \(C^1\)-function on a \(G\)-manifold \(M\) and \(x\) its critical point then \(gx\) is also critical, i.e. the orbit of \(x\) consists of critical points. Let \(\vert \mathrm{Crit}_{or}(f)\vert \) be the number of critical orbits of \(f\). The main property of \(G\)-category says that for every \(G\)-invariant \(C^1\)-function
(cf. [11]).
To prove the statement, it is enough to construct a \(G\)-invariant \(C^1\)-function \(f:\mathcal {S}\rightarrow \mathbb {R}\), with exactly as many critical orbits as it is given in the statement.
Let \(\{x_1,\,\ldots , x_r\}\) be a complete set of representatives of all orbits and let \(x'_i=\pi (x_i)\) be the set of their images in the orbit space \(\mathcal {S}'=\mathcal {S}/G\). Next, let \(f' : \mathcal {S}' \rightarrow \mathbb {R}\) be the function from the Lemma 4.10 and consider a composition map \( f= f'\pi .\) By the definition, \(f\) is \(G\)-invariant. By Theorem 3.2, \(f\) is a \(C^1\)-function and if \(x'=\pi (x)\) is a regular point of \(f'\) then \(x\) is a regular point of \(f\). Furthermore, every point \( x\in Gx_i\), \(1 \le i \le r\) of a singular orbit of action is a critical point of \(f\), by (1) of Theorem 3.2. Finally, if \(x^\prime \), \(x^\prime =\pi (x)\) is a critical point of \(f^\prime \), then the orbit of \(x\) consists of critical points of \(f\).
Summing up, the set of the critical points of \(f\) consists of all points in \(G{x_1} \cup \ldots \cup G{x_r}\) and points (thus orbits) which are not in this set but which are mapped by \(\pi \) onto critical points of \(f'\). The latter corresponds to the cases (c) and (d) of the Lemma 4.10.
To complete the proof of Theorem 4.11, observe that \(\mathrm{cat}(B^1) = \vert B\vert \) is equal to \(\mathrm{cat}_G(\mathcal {S}^1)\), because \(B^1\) is the finite union of points corresponding to the orbits of the \(G\)-set \(X^1\). Consequently, \(\mathrm{cat}(B^1)= \vert B^1\vert \). Since \(\mathcal {S}^1\) consists of \(r\) orbits, we get the claim
\(\square \)
Remark 4.12
Note that for every \(m\) there exists a semi-free preserving orientation action of \(G=\mathbb {Z}_m\) with two fixed points (the rotation of the sphere around its axis by \(\frac{2\pi }{m}\) angle). Also, for every \(\mathrm{g}\ge 1\), there exits a branching cover of a Riemann surface \(\mathcal {S}\) of genus \(\mathrm{g}\) over \(\mathcal {S}^\prime =\mathbb {S}^2\) with exactly three branching points.
In the examples given below, we use a representation of a Riemann surface \(\mathcal {S}\) as a quotient of the upper half-plane \(\mathcal {H}\), with the hyperbolic metric, by a discrete group \(\Gamma \) of its isometries, called the Fuchsian group. The group \(G\) acting on \(\mathcal {S}\) is by bi-holomorphic maps defined by a supgroup \(\Lambda \supset \Gamma \) of isometries in which \(\Gamma \) is a normal subgroup and \(\Lambda /\Gamma = G\) (see [2] for more details).
Example 4.13
Given \(h>0\), there exists a Fuchsian group \( \Lambda \) with the presentation
Let
be defined by \(\theta (x_1)=ab, \theta (a_i)=a\) for \(i=1, \ldots \mathrm{h}\), \(\theta (b_i)=b\) for \(i=1, \ldots , \mathrm{h}- 2\) and let \((b_{\mathrm{h}-1}, b_\mathrm{h})\) be mapped to
Then, for \(\Gamma = \ker \theta \), the orbit space \(\mathcal {S}^\prime = {\mathcal H}/\Gamma \), where \({\mathcal H}\) is the hyperbolic plane is a Riemann surface with a group of automorphisms \(G=\Lambda /\Gamma \) so that \(\mathcal {S}^\prime =\mathcal {S}/G\cong {\mathcal H}/\Lambda \) and the canonical projection \(\mathcal {S} \rightarrow \mathcal {S}^\prime =\mathcal {S}/G\) is sixfold covering ramified over exactly one point. The surface \(\mathcal {S}^\prime \) has genus \(\mathrm{h}\) and, by the Hurwitz–Riemann formula \(\mathcal {S}\) has genus \(\mathrm{g}= 3(2\mathrm{h}-1)\). \(\square \)
Observe that the above constructed covering is extremal in the sense that g is the minimal number for the genus of a Riemann surface which allow a covering of Riemann surface ramified over one point.
Observe also that \(6\) is the minimal degree for such covering since each group of order smaller than \(6\) is abelian, while for abelian group \(G\) the long relation in \(\Lambda \) is mapped by arbitrary epimorphism \(\theta \) into \(\theta (x_1)\) and therefore \(x_1\) is a torsion element of \(\Gamma \) in contrary to our assumption.
Example 4.14
Given \(\mathrm{h}>0\), there exists a Fuchsian group \( \Lambda \) with the presentation
and let
be defined by
Then, for \(\Gamma = \ker \theta \), the orbit space \(\mathcal {S}= {\mathcal H}/\Gamma \), where \({\mathcal H}\) is the hyperbolic plane is a Riemann surface with a group of automorphisms \(G=\Lambda /\Gamma \) so that \(\mathcal {S}^\prime =\mathcal {S}/G\cong {\mathcal H}/\Lambda \) and the canonical projection \(\mathcal {S} \rightarrow \mathcal {S}^\prime =\mathcal {S}/G\) is a twofold covering ramified over exactly two points. The surface \(\mathcal {S}^\prime \) has genus \(\mathrm{h}\) and, by the Hurwitz–Riemann formula \(\mathcal {S}\) has genus \(\mathrm{g}= 2\mathrm{h}\). \(\square \)
Note that in the above examples \(D_{n}\) is the dihedral group associated to a polygon with \(n\) sides.
Theorem 4.9 applied to a closed surface \(\mathcal {S}\) gives \(\mathrm{cat}_G(\mathcal {S}) - \vert B_1 \vert = \mathrm{cat}_G(\mathcal {S}) -r \le 2\), since \(\dim B= 2\). As a consequence of Theorem 4.11 and Examples 4.13 and 4.14 we get the following
Corollary 4.15
For each of below listed cases, there exists closed oriented surface \(\mathcal {S}\) of genus \(g\ge 1\) with holomorphic, not free, action of finite groups \(G\) such that
In other words, the inequality of Colman Theorem 4.9 is sharp for preserving orientation actions on surfaces. Moreover, each of three possible values for \(\mathrm{cat}_G(\mathcal {S})\): \(\vert B_1 \vert \), \(\vert B_1 \vert +1\), and \( \vert B_1\vert +2 \) is attained.
Corollary 4.16
If \(\mathcal {S}\) is a oriented surface of \(\mathrm{g}((\mathcal {S})\ge 1\) with a holomorphic not free action of \(G\) such that \( r=\vert B_1 \vert \ge 3\) and \(f: \mathcal {S}\rightarrow \mathbb R\), is a \(C^1\) \(G\)-invariant function with minimal number of critical orbits, then the set of critical orbits of \(f\) is equal to the set of singular orbits of this action.
If \( \mathrm{g}(\mathcal {S}) \ge 1\) and \( r\le 2 \) then for every \(G\)-invariant function \(f: \mathcal {S} \rightarrow \mathbb R\) there exist critical orbits of \(f\) which are not singular orbits of the action.
References
Bartsch, T.: Topological Methods for Variational Problems with Symmetries. Lecture Notes in Mathematics, vol. 1560. Springer, New York (1993)
Bujalance, E., Etayo, J.J., Gamboa, J.M., Gromadzki, G.: Automorphisms Groups of Compact Bordered Klein Surfaces. A Combinatorial Approach. Lecture Notes in Mathematics, vol. 1439. Springer, Berlin (1990)
Clapp, M., Puppe, D.: Critical point theory with symmetries. J. reine angew. Math. 418, 1–29 (1991)
Colman, H.: Equivariant LS-category for finite group actions. Lusternik–Schnirelmann category and related topics (South Hadley, MA, 2001). Contemp. Math. Am. Math. Soc. Provid. RI 316, 35–40 (2002)
Edmonds, A.L.: Transformation groups and low-dimensional manifolds. Group actions on manifolds (Boulder, Colo., 1983). Contemp. Math. Am. Math. Soc. Provid. RI 36, 339–366 (1985)
Farkas, H.M., Kra, I.: Riemann surfaces. In: Graduate Texts in Mathematics, vol. 71. Springer, New York (1992)
Gromadzki, G., Marzantowicz, W.: Conformal actions with prescribed periods on Riemann surfaces. Fundam. Math. 213, 169–190 (2011)
Hurwitz, A.: Über algebraische Gebilde mit eindeutigen Transformationen in sich. Math. Ann. 41, 402–442 (1893)
Harvey, W.J.: Cyclic groups of automorphisms of a compact Riemann surface. Q. J. Math. Oxf. 17, 86–97 (1966)
Macbeath, A.M.: Action of automorphisms of a compact Riemann surface on the first homology group. Bull. Lond. Math. Soc. 5, 103–108 (1973)
Marzantowicz, W.: A \(G\)-Lusternik–Schnirelman category of space with an action of a compact Lie group. Topology 28, 403–412 (1989)
Miranda, R.: Algebraic curves and Riemann surfaces. In: Graduate Studies in Mathematics, vol. 5. American Mathematical Society, Providence (1995)
Seifert, H., Threlfall, W.: Variationsrechnung im Grossen (Theorie von Marston Morse). Teubner, Leipzig and Berlin (1938)
Sierakowski, M.: Sets of periods for automorphisms of compact Riemann surfaces. J. Pure Appl. Algebra 208, 561–574 (2007)
Stawiska, M.: Riemann–Hurwitz formula and Morse theory, contemporary mathematics. In: Poggi-Corradini, P. (ed.) p-Harmonic Equation and Recent Advances in Analysis, vol. 370, pp. 209–211 (2005)
Takens, F.: The minimal number of critical points of a function on a compact manifold and the Lusternik–Schnirelman category. Invent. Math. 6, 197–244 (1968)
Wiman, A.: Über die hyperelliptischen Kurven und diejenigen vom Geschlecht \(p=3\), welche eindeutige Transformationen in sich zulassen, Bihang Till. Kongl. Svenska Vetenskaps-Akademiens Handlingar 21(1), 23 (1895)
Acknowledgments
The authors would like to express their thanks to Krzysztof Pawałowski for drawing their attention to the paper of Edmonds [5] and for many helpful conversations and to both referees for their helpful remarks, comments, advices and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
G. Gromadzki supported by NCN 2012/05/B/ST1/02171 and by Max-Planck Mathematical Institute in Bonn, J. Jezierski supported NN 201 373236, and W. Marzantowicz supported by NN 201 373236, and NCN 2011/03/B/ST1/04533.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Gromadzki, G., Jezierski, J. & Marzantowicz, W. Critical points of invariant functions on closed orientable surfaces. Bol. Soc. Mat. Mex. 21, 71–88 (2015). https://doi.org/10.1007/s40590-014-0014-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40590-014-0014-x
Keywords
- Riemann surfaces
- Finite group action
- Equivariant Lusternik–Schnirelmann category
- Riemann–Hurwitz ramification formula
- Invariant function
- Critical orbits