Nonequivalent families of group actions on Riemann surfaces (Q392229): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(S\) denote a compact Riemann surface and let \(G\) denote its full group of conformal automorphisms. Two subgroups \(H_{0}, H_{1} \leq G\) are said to be conformally equivalent if there exists a conformal automorphism \(t\in G\) such that \(tH_{0} t^{-1} =H_1\). They are said to be directly topologically equivalent if there exists an orientation preserving homeomorphism \(t: S\rightarrow S\) such that \(tH_{0} t^{-1} =H_1\). Clearly conformally equivalent subgroups are directly topologically equivalent. The converse however is not true, see for example [\textit{G. González-Diez} and \textit{R. A. Hidalgo}, Bull. Lond. Math. Soc. 29, No. 3, 280--284 (1997; Zbl 0865.14011)] where an infinite family of Riemann surfaces of genus \(9\) is constructed for which there exists two cyclic subgroups which define directly topologically equivalent actions, but not conformally equivalent actions. Building on these results, in the article under review, for each \(n \in {\mathbb N}\) the author describes an infinite family of Riemann surfaces of genus \(g=3(2n -1)\) for which there exists two cyclic subgroups which define directly topologically equivalent actions, but not conformally equivalent actions. The construction of these surfaces and the corresponding automorphisms by the author is explicit. For a given \(a,n\in {\mathbb N}\) with \(a\) odd and \(\lambda \in {\mathbb C}\) with \(\lambda^4\neq 1\), let \(S_{a,\lambda}\) denote the compact Riemann surface with defining equation \(f_{a,\lambda} (a,y)=y^{2^n} -x^a(x^2-1)^a(x^2-\lambda^2) (x^2-\lambda^{-2})\). For a given \(n\), such a surface has genus \(g=3(2n-1)\). Moreover, except for finitely many cases, the automorphisms \(\tau_1\) and \(\tau_2\) defined by \[ \tau_1 (x,y)=(-x,e^{\frac{2\pi i}{2^{n+1}}} y) \text{ and } \tau_2 (x,y)=(\frac{1}{x},\frac{e^{\frac{2\pi i}{2^{n+1}}} y}{x^c}) \] with \(c\) satisfying \(c2^{n-1}=2a+2\) generate the full group of conformal automorphisms. By employing a very useful criterion developed by the author earlier in the paper based on the local behavior of the corresponding automorphisms (Theorem 7), it is shown that the groups \(\langle \tau_1 \rangle\) and \(\langle \tau_2\rangle\) are directly topological equivalent. Since for all but finitely many cases \(G= \langle \tau_1,\tau_2\rangle\) and we have either \(G={\mathbb Z}/2^{n+1} {\mathbb Z} \times {\mathbb Z}/2 {\mathbb Z}\) or \(G={\mathbb Z}/2^{n+1} {\mathbb Z} \rtimes {\mathbb Z}/2 {\mathbb Z}\) depending on the parity of \(c\), it is easy to see that the groups \(\langle \tau_1 \rangle\) and \(\langle \tau_2\rangle\) cannot possibly be conformally equivalent, hence the result. The paper is very nicely written with a good balance of preliminaries. It should also be noted that the aforementioned criterion for when two cyclic groups define directly topological actions (Theorem 7) is itself a very useful result that might be applied to find other families of surfaces for which there are directly topologically equivalent actions which are not conformally equivalent. | |||
Property / review text: Let \(S\) denote a compact Riemann surface and let \(G\) denote its full group of conformal automorphisms. Two subgroups \(H_{0}, H_{1} \leq G\) are said to be conformally equivalent if there exists a conformal automorphism \(t\in G\) such that \(tH_{0} t^{-1} =H_1\). They are said to be directly topologically equivalent if there exists an orientation preserving homeomorphism \(t: S\rightarrow S\) such that \(tH_{0} t^{-1} =H_1\). Clearly conformally equivalent subgroups are directly topologically equivalent. The converse however is not true, see for example [\textit{G. González-Diez} and \textit{R. A. Hidalgo}, Bull. Lond. Math. Soc. 29, No. 3, 280--284 (1997; Zbl 0865.14011)] where an infinite family of Riemann surfaces of genus \(9\) is constructed for which there exists two cyclic subgroups which define directly topologically equivalent actions, but not conformally equivalent actions. Building on these results, in the article under review, for each \(n \in {\mathbb N}\) the author describes an infinite family of Riemann surfaces of genus \(g=3(2n -1)\) for which there exists two cyclic subgroups which define directly topologically equivalent actions, but not conformally equivalent actions. The construction of these surfaces and the corresponding automorphisms by the author is explicit. For a given \(a,n\in {\mathbb N}\) with \(a\) odd and \(\lambda \in {\mathbb C}\) with \(\lambda^4\neq 1\), let \(S_{a,\lambda}\) denote the compact Riemann surface with defining equation \(f_{a,\lambda} (a,y)=y^{2^n} -x^a(x^2-1)^a(x^2-\lambda^2) (x^2-\lambda^{-2})\). For a given \(n\), such a surface has genus \(g=3(2n-1)\). Moreover, except for finitely many cases, the automorphisms \(\tau_1\) and \(\tau_2\) defined by \[ \tau_1 (x,y)=(-x,e^{\frac{2\pi i}{2^{n+1}}} y) \text{ and } \tau_2 (x,y)=(\frac{1}{x},\frac{e^{\frac{2\pi i}{2^{n+1}}} y}{x^c}) \] with \(c\) satisfying \(c2^{n-1}=2a+2\) generate the full group of conformal automorphisms. By employing a very useful criterion developed by the author earlier in the paper based on the local behavior of the corresponding automorphisms (Theorem 7), it is shown that the groups \(\langle \tau_1 \rangle\) and \(\langle \tau_2\rangle\) are directly topological equivalent. Since for all but finitely many cases \(G= \langle \tau_1,\tau_2\rangle\) and we have either \(G={\mathbb Z}/2^{n+1} {\mathbb Z} \times {\mathbb Z}/2 {\mathbb Z}\) or \(G={\mathbb Z}/2^{n+1} {\mathbb Z} \rtimes {\mathbb Z}/2 {\mathbb Z}\) depending on the parity of \(c\), it is easy to see that the groups \(\langle \tau_1 \rangle\) and \(\langle \tau_2\rangle\) cannot possibly be conformally equivalent, hence the result. The paper is very nicely written with a good balance of preliminaries. It should also be noted that the aforementioned criterion for when two cyclic groups define directly topological actions (Theorem 7) is itself a very useful result that might be applied to find other families of surfaces for which there are directly topologically equivalent actions which are not conformally equivalent. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Aaron Wootton / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32G15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14H37 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30F20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6244735 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
conformally equivalent automorphisms | |||
Property / zbMATH Keywords: conformally equivalent automorphisms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
topologically equivalent automorphisms | |||
Property / zbMATH Keywords: topologically equivalent automorphisms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
compact Riemann surface | |||
Property / zbMATH Keywords: compact Riemann surface / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
automorphism groups | |||
Property / zbMATH Keywords: automorphism groups / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2076794169 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4502840 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying finite group actions on surfaces of low genus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Loci of Curves Which are Prime Galois Coverings of P<sup>1</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4027276 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conformal Versus Topological Conjugacy of Automorphisms on Compact Riemann Surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On conjugacy classes in the Teichmüller modular group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4692943 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Holomorphic families of compact Riemann surfaces with automorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Branch Loci in Teichmuller Space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4004260 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Canonical polygons for finitely generated Fuchsian groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On automorphism groups of a curve as linear groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Riemann surface transformation groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Classification of Non-Euclidean Plane Crystallographic Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4697470 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finitely Maximal Fuchsian Groups / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:05, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nonequivalent families of group actions on Riemann surfaces |
scientific article |
Statements
Nonequivalent families of group actions on Riemann surfaces (English)
0 references
13 January 2014
0 references
Let \(S\) denote a compact Riemann surface and let \(G\) denote its full group of conformal automorphisms. Two subgroups \(H_{0}, H_{1} \leq G\) are said to be conformally equivalent if there exists a conformal automorphism \(t\in G\) such that \(tH_{0} t^{-1} =H_1\). They are said to be directly topologically equivalent if there exists an orientation preserving homeomorphism \(t: S\rightarrow S\) such that \(tH_{0} t^{-1} =H_1\). Clearly conformally equivalent subgroups are directly topologically equivalent. The converse however is not true, see for example [\textit{G. González-Diez} and \textit{R. A. Hidalgo}, Bull. Lond. Math. Soc. 29, No. 3, 280--284 (1997; Zbl 0865.14011)] where an infinite family of Riemann surfaces of genus \(9\) is constructed for which there exists two cyclic subgroups which define directly topologically equivalent actions, but not conformally equivalent actions. Building on these results, in the article under review, for each \(n \in {\mathbb N}\) the author describes an infinite family of Riemann surfaces of genus \(g=3(2n -1)\) for which there exists two cyclic subgroups which define directly topologically equivalent actions, but not conformally equivalent actions. The construction of these surfaces and the corresponding automorphisms by the author is explicit. For a given \(a,n\in {\mathbb N}\) with \(a\) odd and \(\lambda \in {\mathbb C}\) with \(\lambda^4\neq 1\), let \(S_{a,\lambda}\) denote the compact Riemann surface with defining equation \(f_{a,\lambda} (a,y)=y^{2^n} -x^a(x^2-1)^a(x^2-\lambda^2) (x^2-\lambda^{-2})\). For a given \(n\), such a surface has genus \(g=3(2n-1)\). Moreover, except for finitely many cases, the automorphisms \(\tau_1\) and \(\tau_2\) defined by \[ \tau_1 (x,y)=(-x,e^{\frac{2\pi i}{2^{n+1}}} y) \text{ and } \tau_2 (x,y)=(\frac{1}{x},\frac{e^{\frac{2\pi i}{2^{n+1}}} y}{x^c}) \] with \(c\) satisfying \(c2^{n-1}=2a+2\) generate the full group of conformal automorphisms. By employing a very useful criterion developed by the author earlier in the paper based on the local behavior of the corresponding automorphisms (Theorem 7), it is shown that the groups \(\langle \tau_1 \rangle\) and \(\langle \tau_2\rangle\) are directly topological equivalent. Since for all but finitely many cases \(G= \langle \tau_1,\tau_2\rangle\) and we have either \(G={\mathbb Z}/2^{n+1} {\mathbb Z} \times {\mathbb Z}/2 {\mathbb Z}\) or \(G={\mathbb Z}/2^{n+1} {\mathbb Z} \rtimes {\mathbb Z}/2 {\mathbb Z}\) depending on the parity of \(c\), it is easy to see that the groups \(\langle \tau_1 \rangle\) and \(\langle \tau_2\rangle\) cannot possibly be conformally equivalent, hence the result. The paper is very nicely written with a good balance of preliminaries. It should also be noted that the aforementioned criterion for when two cyclic groups define directly topological actions (Theorem 7) is itself a very useful result that might be applied to find other families of surfaces for which there are directly topologically equivalent actions which are not conformally equivalent.
0 references
conformally equivalent automorphisms
0 references
topologically equivalent automorphisms
0 references
compact Riemann surface
0 references
automorphism groups
0 references