arXiv Science⌕ Search

arXiv · 2610.17405

Purely non-free actions on Riemann surfaces

Abstract

A group of conformal automorphisms of a Riemann surface is said to act purely non-free, or to produce a gpnf-action, if each of its finite-order elements has fixed points. It is known that every finite group admits a gpnf-action on a suitable closed Riemann surface of genus at least two. If $G$ is an infinite countable group, and $X$ is an infinite-type orientable surface, without planar ends and whose space of ends is self-similar, then we observe that there is a Riemann surface structure on $X$ admitting a gpnf-action by $G$. We obtain upper bounds for those finite groups producing a gpnf-action on a closed Riemann surface of genus $g \geq 2$. If $G$ is a finite group, then its purely non-free genus $σ^{pnf}_{hyp}(G)$ is the minimum genus of at least two of a closed Riemann surface admitting a gpnf-action by $G$. This parameter is already known for cyclic, abelian non-cyclic groups, ${\mathcal A}_{4}$, ${\mathcal A}_{5}$ and ${\mathfrak S}_{4}$. For general $G$, we provide the value of $σ^{pnf}_{hyp}(G)$, correcting a previous statement on this value. In particular, we observe that every genus is the purely non-free genus of some group. As an application, we describe the minimal purely non-free actions for the family of metacyclic groups $G^{0}_{s}(n)=\langle x,y: x^{n}=y^{2}=1, yxy=x^{s}\rangle,$ where $n \geq 3$ and $2 \leq s \leq n-1$ is such that $s^{2} \equiv 1 \mod(n)$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rubén A. Hidalgo, Jhony S. Leyca. 2026-10-12. Purely non-free actions on Riemann surfaces. https://arxiv.org/abs/2610.17405

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Maps between circle bundles: Fiber-preserving, Finiteness and Realization of mapping degree sets

Let $E_i$ be an oriented circle bundle over a closed oriented $n$-manifold $M_i$ with $i=1,2$ and assume that $M_2$ is aspherical. We prove the following geometric realization result, which extends the classical result for maps between circle bundles over surfaces to all dimensions $\geq 2$. Let $f\colon E_1\to E_2$ be a map. If the induced homomorphism $f_*$ on $π_1$ sends the fiber subgroup of $π_1(E_1)$ to the fiber subgroup of $π_1(E_2)$, then there is a fiber-preserving map in the homotopy class of $f$. Using the above result and a computation of the mapping degree set of fiber-preserving maps between $E_1$ and $E_2$, we obtain the following results on the finiteness and the realization problems of mapping degree sets. ($\mathcal F$) The mapping degree set $D(E_1, E_2)$ is finite if $M_2$ is hyperbolic and the Euler class of $E_2$ is not torsion. ($\mathcal R$) For any finite set $A$ of integers containing $0$ and any $n>2$, $A$ is the mapping degree set $D(M,N)$ for some closed oriented $n$-manifolds $M$ and $N$. Item ($\mathcal F$) extends the previously known $3$-dimensional case to all dimensions $\geq 3$. Item ($\mathcal R$) gives a complete answer to the realization problem on finite sets of integers (containing 0) in all dimensions, including in particular the previously unknown cases in dimensions $ 4$ and $5$.

math.GT↗

Triple-cup product forms of 3-manifolds and Heegaard diagrams

The triple-cup product form $μ$ is a classical invariant of $3$-manifolds, determining the cohomology ring up to torsion. Given a closed, connected, oriented $3$-manifold $M$, we describe an explicit formula for computing $μ$ from a Heegaard diagram of $M$. Then, we show that the triple-cup product form $μ$ can be recovered as a reduction of Turaev's homotopy intersection form $η$ of the Heegaard surface.

math.GT↗

A topological interpretation of numbers

We survey recent advancements on the realisation problem for mapping degree sets. In particular, we explain that any finite set containing zero is the mapping degree set between some $n$-manifolds, for each $n\geq3$. Our building factors for the construction of the realising manifolds will be aspherical manifolds. Thus, along the way, we review a couple of open questions related to maps of non-zero degree for aspherical manifolds.

math.GT↗