Rigidity of isometries of finite covers of Riemann surfaces Announcing the arrival of Valued...

What are 'alternative tunings' of a guitar and why would you use them? Doesn't it make it more difficult to play?

Right-skewed distribution with mean equals to mode?

What makes black pepper strong or mild?

How to motivate offshore teams and trust them to deliver?

Can Pao de Queijo, and similar foods, be kosher for Passover?

Is there a Spanish version of "dot your i's and cross your t's" that includes the letter 'ñ'?

Is there a service that would inform me whenever a new direct route is scheduled from a given airport?

Why is "Consequences inflicted." not a sentence?

What is a Meta algorithm?

Is the address of a local variable a constexpr?

Is there a "higher Segal conjecture"?

Do you forfeit tax refunds/credits if you aren't required to and don't file by April 15?

Single word antonym of "flightless"

Bonus calculation: Am I making a mountain out of a molehill?

How can players work together to take actions that are otherwise impossible?

What would be the ideal power source for a cybernetic eye?

What does the "x" in "x86" represent?

The logistics of corpse disposal

How do I mention the quality of my school without bragging

Why does Python start at index -1 when indexing a list from the end?

What is this single-engine low-wing propeller plane?

Withdrew £2800, but only £2000 shows as withdrawn on online banking; what are my obligations?

Why one of virtual NICs called bond0?

How discoverable are IPv6 addresses and AAAA names by potential attackers?



Rigidity of isometries of finite covers of Riemann surfaces



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Describing Riemann Surfacesconformally equivalent riemann surfacesIs there any obstruction other than Riemann-Hurwitz to the existence of covers of Riemann surfaces?Intuitively understanding Riemann surfacesQuestion on Fulton's coverage of Riemann surfacesAutomorphisms of simple covers of Riemann surfacesnon-equivalent Riemann surfaces of genus $1$Motivation for Riemann surfacesRiemann surfacesRiemann surfaces, Riemann-Roch?












1












$begingroup$


Let $Theta$ and $Sigma$ be compact Riemann surfaces with $widetildeTheta=widetildeSigma=mathbb{H}^2$ (so $theta$ and $Sigma$ are quotients of $mathbb{H}^2$ by Fuchsian groups) such that $rho:ThetarightarrowSigma$ is a finite cover (locally isometric not branched).



What can we say about $textrm{Isom}(Theta)$ if we have a description of $textrm{Isom}(Sigma)$? More specifically, is every element of $textrm{Isom}(Theta)$ a lift of an element of $textrm{Isom}(Sigma)$?



If this is too general, then assume that $Sigma$ is constructed from a Fricke canonical polygon with $4g$ sides. Note that $textrm{Isom}(Theta)$ and $textrm{Isom}(Sigma)$ are necessarily finite.



--edit--



As an additional restriction assume that the Fuchsian group $Gamma$ used to construct $Sigma$ is torsion-free and arithmetic (i.e. $Gamma$ is commensurable with a Fuchsian group derived from a quaternion.










share|cite|improve this question











$endgroup$












  • $begingroup$
    This holds for generic surfaces $Sigma$ but not in general, e.g. for arithmetic hyperbolic surfaces $Sigma$ since the commensurator of $pi_1(Sigma)$ is dense in $PSL(2,{mathbb R})$. I think, every Riemann surface admits a "Fricke canonical polygon", so maybe you have in mind some further restrictions.
    $endgroup$
    – Moishe Kohan
    Mar 23 at 21:50










  • $begingroup$
    Thank you and yes I think you are right about the polygons. Are there any situations when it does hold?
    $endgroup$
    – Sam Hughes
    Mar 23 at 22:24












  • $begingroup$
    As I said, "generically" this is true: There exists an open and dense subset of the moduli spaces of $Sigma$ for which all automorphisms of $Theta$ come from the covering map and from $Sigma$ itself. In turn, generically $Sigma$ has no nontrivial automorphisms except for genus 2 surfaces which are all hyperelliptic.
    $endgroup$
    – Moishe Kohan
    Mar 23 at 22:45










  • $begingroup$
    Sorry I'm not too familiar with moduli spaces so I might be being a bit slow here. Going the other way, you say it may not hold for an arithmetic hyperbolic surface. If you could explain in more detail why as answer (or give an example) that would be great.
    $endgroup$
    – Sam Hughes
    Mar 23 at 23:13
















1












$begingroup$


Let $Theta$ and $Sigma$ be compact Riemann surfaces with $widetildeTheta=widetildeSigma=mathbb{H}^2$ (so $theta$ and $Sigma$ are quotients of $mathbb{H}^2$ by Fuchsian groups) such that $rho:ThetarightarrowSigma$ is a finite cover (locally isometric not branched).



What can we say about $textrm{Isom}(Theta)$ if we have a description of $textrm{Isom}(Sigma)$? More specifically, is every element of $textrm{Isom}(Theta)$ a lift of an element of $textrm{Isom}(Sigma)$?



If this is too general, then assume that $Sigma$ is constructed from a Fricke canonical polygon with $4g$ sides. Note that $textrm{Isom}(Theta)$ and $textrm{Isom}(Sigma)$ are necessarily finite.



--edit--



As an additional restriction assume that the Fuchsian group $Gamma$ used to construct $Sigma$ is torsion-free and arithmetic (i.e. $Gamma$ is commensurable with a Fuchsian group derived from a quaternion.










share|cite|improve this question











$endgroup$












  • $begingroup$
    This holds for generic surfaces $Sigma$ but not in general, e.g. for arithmetic hyperbolic surfaces $Sigma$ since the commensurator of $pi_1(Sigma)$ is dense in $PSL(2,{mathbb R})$. I think, every Riemann surface admits a "Fricke canonical polygon", so maybe you have in mind some further restrictions.
    $endgroup$
    – Moishe Kohan
    Mar 23 at 21:50










  • $begingroup$
    Thank you and yes I think you are right about the polygons. Are there any situations when it does hold?
    $endgroup$
    – Sam Hughes
    Mar 23 at 22:24












  • $begingroup$
    As I said, "generically" this is true: There exists an open and dense subset of the moduli spaces of $Sigma$ for which all automorphisms of $Theta$ come from the covering map and from $Sigma$ itself. In turn, generically $Sigma$ has no nontrivial automorphisms except for genus 2 surfaces which are all hyperelliptic.
    $endgroup$
    – Moishe Kohan
    Mar 23 at 22:45










  • $begingroup$
    Sorry I'm not too familiar with moduli spaces so I might be being a bit slow here. Going the other way, you say it may not hold for an arithmetic hyperbolic surface. If you could explain in more detail why as answer (or give an example) that would be great.
    $endgroup$
    – Sam Hughes
    Mar 23 at 23:13














1












1








1





$begingroup$


Let $Theta$ and $Sigma$ be compact Riemann surfaces with $widetildeTheta=widetildeSigma=mathbb{H}^2$ (so $theta$ and $Sigma$ are quotients of $mathbb{H}^2$ by Fuchsian groups) such that $rho:ThetarightarrowSigma$ is a finite cover (locally isometric not branched).



What can we say about $textrm{Isom}(Theta)$ if we have a description of $textrm{Isom}(Sigma)$? More specifically, is every element of $textrm{Isom}(Theta)$ a lift of an element of $textrm{Isom}(Sigma)$?



If this is too general, then assume that $Sigma$ is constructed from a Fricke canonical polygon with $4g$ sides. Note that $textrm{Isom}(Theta)$ and $textrm{Isom}(Sigma)$ are necessarily finite.



--edit--



As an additional restriction assume that the Fuchsian group $Gamma$ used to construct $Sigma$ is torsion-free and arithmetic (i.e. $Gamma$ is commensurable with a Fuchsian group derived from a quaternion.










share|cite|improve this question











$endgroup$




Let $Theta$ and $Sigma$ be compact Riemann surfaces with $widetildeTheta=widetildeSigma=mathbb{H}^2$ (so $theta$ and $Sigma$ are quotients of $mathbb{H}^2$ by Fuchsian groups) such that $rho:ThetarightarrowSigma$ is a finite cover (locally isometric not branched).



What can we say about $textrm{Isom}(Theta)$ if we have a description of $textrm{Isom}(Sigma)$? More specifically, is every element of $textrm{Isom}(Theta)$ a lift of an element of $textrm{Isom}(Sigma)$?



If this is too general, then assume that $Sigma$ is constructed from a Fricke canonical polygon with $4g$ sides. Note that $textrm{Isom}(Theta)$ and $textrm{Isom}(Sigma)$ are necessarily finite.



--edit--



As an additional restriction assume that the Fuchsian group $Gamma$ used to construct $Sigma$ is torsion-free and arithmetic (i.e. $Gamma$ is commensurable with a Fuchsian group derived from a quaternion.







riemann-surfaces






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 25 at 12:26







Sam Hughes

















asked Mar 23 at 21:38









Sam HughesSam Hughes

743114




743114












  • $begingroup$
    This holds for generic surfaces $Sigma$ but not in general, e.g. for arithmetic hyperbolic surfaces $Sigma$ since the commensurator of $pi_1(Sigma)$ is dense in $PSL(2,{mathbb R})$. I think, every Riemann surface admits a "Fricke canonical polygon", so maybe you have in mind some further restrictions.
    $endgroup$
    – Moishe Kohan
    Mar 23 at 21:50










  • $begingroup$
    Thank you and yes I think you are right about the polygons. Are there any situations when it does hold?
    $endgroup$
    – Sam Hughes
    Mar 23 at 22:24












  • $begingroup$
    As I said, "generically" this is true: There exists an open and dense subset of the moduli spaces of $Sigma$ for which all automorphisms of $Theta$ come from the covering map and from $Sigma$ itself. In turn, generically $Sigma$ has no nontrivial automorphisms except for genus 2 surfaces which are all hyperelliptic.
    $endgroup$
    – Moishe Kohan
    Mar 23 at 22:45










  • $begingroup$
    Sorry I'm not too familiar with moduli spaces so I might be being a bit slow here. Going the other way, you say it may not hold for an arithmetic hyperbolic surface. If you could explain in more detail why as answer (or give an example) that would be great.
    $endgroup$
    – Sam Hughes
    Mar 23 at 23:13


















  • $begingroup$
    This holds for generic surfaces $Sigma$ but not in general, e.g. for arithmetic hyperbolic surfaces $Sigma$ since the commensurator of $pi_1(Sigma)$ is dense in $PSL(2,{mathbb R})$. I think, every Riemann surface admits a "Fricke canonical polygon", so maybe you have in mind some further restrictions.
    $endgroup$
    – Moishe Kohan
    Mar 23 at 21:50










  • $begingroup$
    Thank you and yes I think you are right about the polygons. Are there any situations when it does hold?
    $endgroup$
    – Sam Hughes
    Mar 23 at 22:24












  • $begingroup$
    As I said, "generically" this is true: There exists an open and dense subset of the moduli spaces of $Sigma$ for which all automorphisms of $Theta$ come from the covering map and from $Sigma$ itself. In turn, generically $Sigma$ has no nontrivial automorphisms except for genus 2 surfaces which are all hyperelliptic.
    $endgroup$
    – Moishe Kohan
    Mar 23 at 22:45










  • $begingroup$
    Sorry I'm not too familiar with moduli spaces so I might be being a bit slow here. Going the other way, you say it may not hold for an arithmetic hyperbolic surface. If you could explain in more detail why as answer (or give an example) that would be great.
    $endgroup$
    – Sam Hughes
    Mar 23 at 23:13
















$begingroup$
This holds for generic surfaces $Sigma$ but not in general, e.g. for arithmetic hyperbolic surfaces $Sigma$ since the commensurator of $pi_1(Sigma)$ is dense in $PSL(2,{mathbb R})$. I think, every Riemann surface admits a "Fricke canonical polygon", so maybe you have in mind some further restrictions.
$endgroup$
– Moishe Kohan
Mar 23 at 21:50




$begingroup$
This holds for generic surfaces $Sigma$ but not in general, e.g. for arithmetic hyperbolic surfaces $Sigma$ since the commensurator of $pi_1(Sigma)$ is dense in $PSL(2,{mathbb R})$. I think, every Riemann surface admits a "Fricke canonical polygon", so maybe you have in mind some further restrictions.
$endgroup$
– Moishe Kohan
Mar 23 at 21:50












$begingroup$
Thank you and yes I think you are right about the polygons. Are there any situations when it does hold?
$endgroup$
– Sam Hughes
Mar 23 at 22:24






$begingroup$
Thank you and yes I think you are right about the polygons. Are there any situations when it does hold?
$endgroup$
– Sam Hughes
Mar 23 at 22:24














$begingroup$
As I said, "generically" this is true: There exists an open and dense subset of the moduli spaces of $Sigma$ for which all automorphisms of $Theta$ come from the covering map and from $Sigma$ itself. In turn, generically $Sigma$ has no nontrivial automorphisms except for genus 2 surfaces which are all hyperelliptic.
$endgroup$
– Moishe Kohan
Mar 23 at 22:45




$begingroup$
As I said, "generically" this is true: There exists an open and dense subset of the moduli spaces of $Sigma$ for which all automorphisms of $Theta$ come from the covering map and from $Sigma$ itself. In turn, generically $Sigma$ has no nontrivial automorphisms except for genus 2 surfaces which are all hyperelliptic.
$endgroup$
– Moishe Kohan
Mar 23 at 22:45












$begingroup$
Sorry I'm not too familiar with moduli spaces so I might be being a bit slow here. Going the other way, you say it may not hold for an arithmetic hyperbolic surface. If you could explain in more detail why as answer (or give an example) that would be great.
$endgroup$
– Sam Hughes
Mar 23 at 23:13




$begingroup$
Sorry I'm not too familiar with moduli spaces so I might be being a bit slow here. Going the other way, you say it may not hold for an arithmetic hyperbolic surface. If you could explain in more detail why as answer (or give an example) that would be great.
$endgroup$
– Sam Hughes
Mar 23 at 23:13










1 Answer
1






active

oldest

votes


















1












$begingroup$

Let $g$ denote the genus of $Sigma$. I will say that a Riemann surface $Sigma$ is maximal if for every holomorphic covering map $p: Sigma'to Sigma$ the group of conformal automorphisms of $Sigma'$ consists only of elements which are lifts of automorphisms of $Sigma$ (this includes automorphisms of the covering map $p$: these are lifts of the identity map $Sigmato Sigma$).



Suppose that $gge 3$. Then there exists an open and dense subset $U$ of the moduli space ${mathcal M}_g$ of genus $g$ surfaces such that every $Sigmain U$ is uniformized by a (torsion-free) maximal Fuchsian subgroup of $PSL(2, {mathbb R})$. Here a Fuchsian subgroup is called maximal if it is not contained in any strictly larger Fuchsian subgroup.



See



L. Greenberg, Maximal Fuchsian groups. Bull. Amer. Math. Soc. 69 (1963) 569–573.



and also (for further results in this direction)



L. Greenberg, Maximal groups and signatures. Discontinuous groups and Riemann surfaces (Proc. Conf., Univ. Maryland, College Park, Md., 1973), pp. 207–226. Ann. of Math. Studies, No. 79, Princeton Univ. Press, Princeton, N.J., 1974.



Next, observe that if $F< PSL(2,{mathbb R})$ is a maximal (torsion-free) Fuchsian subgroup then the Riemann surface $H^2/F$ is maximal. Indeed, a finite holomorphic covering map $p: Sigma'to Sigma$ comes from a
finite-index subgroup $F'< F$: $Sigma'=H^2/F'$. The preimage of the group of conformal automorphisms of $Sigma'$ in $PSL(2, {mathbb R})$ is a
Fuchsian subgroup $F''< PSL(2,{mathbb R})$ containing $F'$ as a finite index subgroup. Then the subgroup of P$SL(2,{mathbb R})$ generated by $F, F''$ would be still Fuchsian, hence, equal to $F$ by the maximality assumption.



Thus, "generic" Riemann surfaces $Sigma$ of genus $ge 3$ are maximal. This argument fails in the case of $g=2$ but only because every genus 2 Riemann surface is hyperelliptic, it admits a hyperelliptic involution. By digging a bit deeper in Greenberg's papers, you can see that every generic genus 2 Riemann surface is again maximal.



I will write more on arithmetic surfaces later.



Edit. Here are more details on the arithmetic case. I will need a definition and a theorem:



Definition. Two subgroups $H_1, H_2$ of a group $G$ are called commensurable if $H_1cap H_2$ has finite index in both $H_1, H_2$. Given a subgroup $H< G$ the commensurator of $H$ in $G$, denoted $Comm_G(H)$, is the subset consisting of elements $gin G$ such that the subgroups $H^g:= gHg^{-1}< G$ and $H$ are commensurable.



It is easy to see that $Comm_G(H)$ is a subgroup of $G$.



Theorem (Borel?). Let $G$ be a connected semisimple Lie group. Then for every arithmetic subgroup $Gamma< G$, the commensurator $Comm_G(Gamma)$ is dense in $G$.



I will use this in the case $G=PSL(2, {mathbb R})$.
You can find a proof for instance in the book by Machlachlan and Reid "The arithmetic of hyperbolic 3-manifolds". You can easily convince yourself that in the case $Gamma=PSL(2, {mathbb Z})$ the commensurator
$Comm_G(Gamma)$ contains $PSL(2, {mathbb Q})$.



This theorem has a much harder converse due to Margulis (that I will not need): If the commensurator of a lattice is nondiscrete then the lattice is arithmetic.



Proposition. Every arithmetic Riemann surface $Sigma$ is non-maximal.



Proof. Let $F< PSL(2, {mathbb R})$ be a Fuchsian subgroup. Then for every $gin Comm_G(F)$ the subgroup $F^g$ normalizes a finite index subgroup $F'$ of $F$ and, hence, acts on the Riemann surface $H^2/F'$ by automorphisms. If the surface $Sigma=H^2/F$ were maximal, all the Fuchsian groups of the form $F^g$ would be contained in a fixed Fuchsian group $hat{F}$ (obtained by lifting all automorphisms of $Sigma$). However, the union
$$
bigcup_{gin Comm_G(F)} F^g
$$

is stable under conjugation via elements of $Comm_G(F)$. Hence, the subgroup $M$ generated by this union is also normalized by $Comm_G(F)$. In view of the density of $Comm_G(F)$ in $G$, the subgroup $M$ has to be dense as well. This means that $M$ cannot be contained in a discrete subgroup $hat{F}$ as above, proving non-maximality of the surface $Sigma$. qed



This proof is nonconstructive. You will obtain explicit examples by considering a non-uniform lattice in $G$ such as $F=PSL(2, {mathbb Z})$ and looking at its conjugates $F^g$ by, say, linear-fractional maps of the form $zmapsto az$, $ain {mathbb Q}^2$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    This is a fantastic answer, thank you very much!
    $endgroup$
    – Sam Hughes
    Mar 25 at 20:47












Your Answer








StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3159836%2frigidity-of-isometries-of-finite-covers-of-riemann-surfaces%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









1












$begingroup$

Let $g$ denote the genus of $Sigma$. I will say that a Riemann surface $Sigma$ is maximal if for every holomorphic covering map $p: Sigma'to Sigma$ the group of conformal automorphisms of $Sigma'$ consists only of elements which are lifts of automorphisms of $Sigma$ (this includes automorphisms of the covering map $p$: these are lifts of the identity map $Sigmato Sigma$).



Suppose that $gge 3$. Then there exists an open and dense subset $U$ of the moduli space ${mathcal M}_g$ of genus $g$ surfaces such that every $Sigmain U$ is uniformized by a (torsion-free) maximal Fuchsian subgroup of $PSL(2, {mathbb R})$. Here a Fuchsian subgroup is called maximal if it is not contained in any strictly larger Fuchsian subgroup.



See



L. Greenberg, Maximal Fuchsian groups. Bull. Amer. Math. Soc. 69 (1963) 569–573.



and also (for further results in this direction)



L. Greenberg, Maximal groups and signatures. Discontinuous groups and Riemann surfaces (Proc. Conf., Univ. Maryland, College Park, Md., 1973), pp. 207–226. Ann. of Math. Studies, No. 79, Princeton Univ. Press, Princeton, N.J., 1974.



Next, observe that if $F< PSL(2,{mathbb R})$ is a maximal (torsion-free) Fuchsian subgroup then the Riemann surface $H^2/F$ is maximal. Indeed, a finite holomorphic covering map $p: Sigma'to Sigma$ comes from a
finite-index subgroup $F'< F$: $Sigma'=H^2/F'$. The preimage of the group of conformal automorphisms of $Sigma'$ in $PSL(2, {mathbb R})$ is a
Fuchsian subgroup $F''< PSL(2,{mathbb R})$ containing $F'$ as a finite index subgroup. Then the subgroup of P$SL(2,{mathbb R})$ generated by $F, F''$ would be still Fuchsian, hence, equal to $F$ by the maximality assumption.



Thus, "generic" Riemann surfaces $Sigma$ of genus $ge 3$ are maximal. This argument fails in the case of $g=2$ but only because every genus 2 Riemann surface is hyperelliptic, it admits a hyperelliptic involution. By digging a bit deeper in Greenberg's papers, you can see that every generic genus 2 Riemann surface is again maximal.



I will write more on arithmetic surfaces later.



Edit. Here are more details on the arithmetic case. I will need a definition and a theorem:



Definition. Two subgroups $H_1, H_2$ of a group $G$ are called commensurable if $H_1cap H_2$ has finite index in both $H_1, H_2$. Given a subgroup $H< G$ the commensurator of $H$ in $G$, denoted $Comm_G(H)$, is the subset consisting of elements $gin G$ such that the subgroups $H^g:= gHg^{-1}< G$ and $H$ are commensurable.



It is easy to see that $Comm_G(H)$ is a subgroup of $G$.



Theorem (Borel?). Let $G$ be a connected semisimple Lie group. Then for every arithmetic subgroup $Gamma< G$, the commensurator $Comm_G(Gamma)$ is dense in $G$.



I will use this in the case $G=PSL(2, {mathbb R})$.
You can find a proof for instance in the book by Machlachlan and Reid "The arithmetic of hyperbolic 3-manifolds". You can easily convince yourself that in the case $Gamma=PSL(2, {mathbb Z})$ the commensurator
$Comm_G(Gamma)$ contains $PSL(2, {mathbb Q})$.



This theorem has a much harder converse due to Margulis (that I will not need): If the commensurator of a lattice is nondiscrete then the lattice is arithmetic.



Proposition. Every arithmetic Riemann surface $Sigma$ is non-maximal.



Proof. Let $F< PSL(2, {mathbb R})$ be a Fuchsian subgroup. Then for every $gin Comm_G(F)$ the subgroup $F^g$ normalizes a finite index subgroup $F'$ of $F$ and, hence, acts on the Riemann surface $H^2/F'$ by automorphisms. If the surface $Sigma=H^2/F$ were maximal, all the Fuchsian groups of the form $F^g$ would be contained in a fixed Fuchsian group $hat{F}$ (obtained by lifting all automorphisms of $Sigma$). However, the union
$$
bigcup_{gin Comm_G(F)} F^g
$$

is stable under conjugation via elements of $Comm_G(F)$. Hence, the subgroup $M$ generated by this union is also normalized by $Comm_G(F)$. In view of the density of $Comm_G(F)$ in $G$, the subgroup $M$ has to be dense as well. This means that $M$ cannot be contained in a discrete subgroup $hat{F}$ as above, proving non-maximality of the surface $Sigma$. qed



This proof is nonconstructive. You will obtain explicit examples by considering a non-uniform lattice in $G$ such as $F=PSL(2, {mathbb Z})$ and looking at its conjugates $F^g$ by, say, linear-fractional maps of the form $zmapsto az$, $ain {mathbb Q}^2$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    This is a fantastic answer, thank you very much!
    $endgroup$
    – Sam Hughes
    Mar 25 at 20:47
















1












$begingroup$

Let $g$ denote the genus of $Sigma$. I will say that a Riemann surface $Sigma$ is maximal if for every holomorphic covering map $p: Sigma'to Sigma$ the group of conformal automorphisms of $Sigma'$ consists only of elements which are lifts of automorphisms of $Sigma$ (this includes automorphisms of the covering map $p$: these are lifts of the identity map $Sigmato Sigma$).



Suppose that $gge 3$. Then there exists an open and dense subset $U$ of the moduli space ${mathcal M}_g$ of genus $g$ surfaces such that every $Sigmain U$ is uniformized by a (torsion-free) maximal Fuchsian subgroup of $PSL(2, {mathbb R})$. Here a Fuchsian subgroup is called maximal if it is not contained in any strictly larger Fuchsian subgroup.



See



L. Greenberg, Maximal Fuchsian groups. Bull. Amer. Math. Soc. 69 (1963) 569–573.



and also (for further results in this direction)



L. Greenberg, Maximal groups and signatures. Discontinuous groups and Riemann surfaces (Proc. Conf., Univ. Maryland, College Park, Md., 1973), pp. 207–226. Ann. of Math. Studies, No. 79, Princeton Univ. Press, Princeton, N.J., 1974.



Next, observe that if $F< PSL(2,{mathbb R})$ is a maximal (torsion-free) Fuchsian subgroup then the Riemann surface $H^2/F$ is maximal. Indeed, a finite holomorphic covering map $p: Sigma'to Sigma$ comes from a
finite-index subgroup $F'< F$: $Sigma'=H^2/F'$. The preimage of the group of conformal automorphisms of $Sigma'$ in $PSL(2, {mathbb R})$ is a
Fuchsian subgroup $F''< PSL(2,{mathbb R})$ containing $F'$ as a finite index subgroup. Then the subgroup of P$SL(2,{mathbb R})$ generated by $F, F''$ would be still Fuchsian, hence, equal to $F$ by the maximality assumption.



Thus, "generic" Riemann surfaces $Sigma$ of genus $ge 3$ are maximal. This argument fails in the case of $g=2$ but only because every genus 2 Riemann surface is hyperelliptic, it admits a hyperelliptic involution. By digging a bit deeper in Greenberg's papers, you can see that every generic genus 2 Riemann surface is again maximal.



I will write more on arithmetic surfaces later.



Edit. Here are more details on the arithmetic case. I will need a definition and a theorem:



Definition. Two subgroups $H_1, H_2$ of a group $G$ are called commensurable if $H_1cap H_2$ has finite index in both $H_1, H_2$. Given a subgroup $H< G$ the commensurator of $H$ in $G$, denoted $Comm_G(H)$, is the subset consisting of elements $gin G$ such that the subgroups $H^g:= gHg^{-1}< G$ and $H$ are commensurable.



It is easy to see that $Comm_G(H)$ is a subgroup of $G$.



Theorem (Borel?). Let $G$ be a connected semisimple Lie group. Then for every arithmetic subgroup $Gamma< G$, the commensurator $Comm_G(Gamma)$ is dense in $G$.



I will use this in the case $G=PSL(2, {mathbb R})$.
You can find a proof for instance in the book by Machlachlan and Reid "The arithmetic of hyperbolic 3-manifolds". You can easily convince yourself that in the case $Gamma=PSL(2, {mathbb Z})$ the commensurator
$Comm_G(Gamma)$ contains $PSL(2, {mathbb Q})$.



This theorem has a much harder converse due to Margulis (that I will not need): If the commensurator of a lattice is nondiscrete then the lattice is arithmetic.



Proposition. Every arithmetic Riemann surface $Sigma$ is non-maximal.



Proof. Let $F< PSL(2, {mathbb R})$ be a Fuchsian subgroup. Then for every $gin Comm_G(F)$ the subgroup $F^g$ normalizes a finite index subgroup $F'$ of $F$ and, hence, acts on the Riemann surface $H^2/F'$ by automorphisms. If the surface $Sigma=H^2/F$ were maximal, all the Fuchsian groups of the form $F^g$ would be contained in a fixed Fuchsian group $hat{F}$ (obtained by lifting all automorphisms of $Sigma$). However, the union
$$
bigcup_{gin Comm_G(F)} F^g
$$

is stable under conjugation via elements of $Comm_G(F)$. Hence, the subgroup $M$ generated by this union is also normalized by $Comm_G(F)$. In view of the density of $Comm_G(F)$ in $G$, the subgroup $M$ has to be dense as well. This means that $M$ cannot be contained in a discrete subgroup $hat{F}$ as above, proving non-maximality of the surface $Sigma$. qed



This proof is nonconstructive. You will obtain explicit examples by considering a non-uniform lattice in $G$ such as $F=PSL(2, {mathbb Z})$ and looking at its conjugates $F^g$ by, say, linear-fractional maps of the form $zmapsto az$, $ain {mathbb Q}^2$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    This is a fantastic answer, thank you very much!
    $endgroup$
    – Sam Hughes
    Mar 25 at 20:47














1












1








1





$begingroup$

Let $g$ denote the genus of $Sigma$. I will say that a Riemann surface $Sigma$ is maximal if for every holomorphic covering map $p: Sigma'to Sigma$ the group of conformal automorphisms of $Sigma'$ consists only of elements which are lifts of automorphisms of $Sigma$ (this includes automorphisms of the covering map $p$: these are lifts of the identity map $Sigmato Sigma$).



Suppose that $gge 3$. Then there exists an open and dense subset $U$ of the moduli space ${mathcal M}_g$ of genus $g$ surfaces such that every $Sigmain U$ is uniformized by a (torsion-free) maximal Fuchsian subgroup of $PSL(2, {mathbb R})$. Here a Fuchsian subgroup is called maximal if it is not contained in any strictly larger Fuchsian subgroup.



See



L. Greenberg, Maximal Fuchsian groups. Bull. Amer. Math. Soc. 69 (1963) 569–573.



and also (for further results in this direction)



L. Greenberg, Maximal groups and signatures. Discontinuous groups and Riemann surfaces (Proc. Conf., Univ. Maryland, College Park, Md., 1973), pp. 207–226. Ann. of Math. Studies, No. 79, Princeton Univ. Press, Princeton, N.J., 1974.



Next, observe that if $F< PSL(2,{mathbb R})$ is a maximal (torsion-free) Fuchsian subgroup then the Riemann surface $H^2/F$ is maximal. Indeed, a finite holomorphic covering map $p: Sigma'to Sigma$ comes from a
finite-index subgroup $F'< F$: $Sigma'=H^2/F'$. The preimage of the group of conformal automorphisms of $Sigma'$ in $PSL(2, {mathbb R})$ is a
Fuchsian subgroup $F''< PSL(2,{mathbb R})$ containing $F'$ as a finite index subgroup. Then the subgroup of P$SL(2,{mathbb R})$ generated by $F, F''$ would be still Fuchsian, hence, equal to $F$ by the maximality assumption.



Thus, "generic" Riemann surfaces $Sigma$ of genus $ge 3$ are maximal. This argument fails in the case of $g=2$ but only because every genus 2 Riemann surface is hyperelliptic, it admits a hyperelliptic involution. By digging a bit deeper in Greenberg's papers, you can see that every generic genus 2 Riemann surface is again maximal.



I will write more on arithmetic surfaces later.



Edit. Here are more details on the arithmetic case. I will need a definition and a theorem:



Definition. Two subgroups $H_1, H_2$ of a group $G$ are called commensurable if $H_1cap H_2$ has finite index in both $H_1, H_2$. Given a subgroup $H< G$ the commensurator of $H$ in $G$, denoted $Comm_G(H)$, is the subset consisting of elements $gin G$ such that the subgroups $H^g:= gHg^{-1}< G$ and $H$ are commensurable.



It is easy to see that $Comm_G(H)$ is a subgroup of $G$.



Theorem (Borel?). Let $G$ be a connected semisimple Lie group. Then for every arithmetic subgroup $Gamma< G$, the commensurator $Comm_G(Gamma)$ is dense in $G$.



I will use this in the case $G=PSL(2, {mathbb R})$.
You can find a proof for instance in the book by Machlachlan and Reid "The arithmetic of hyperbolic 3-manifolds". You can easily convince yourself that in the case $Gamma=PSL(2, {mathbb Z})$ the commensurator
$Comm_G(Gamma)$ contains $PSL(2, {mathbb Q})$.



This theorem has a much harder converse due to Margulis (that I will not need): If the commensurator of a lattice is nondiscrete then the lattice is arithmetic.



Proposition. Every arithmetic Riemann surface $Sigma$ is non-maximal.



Proof. Let $F< PSL(2, {mathbb R})$ be a Fuchsian subgroup. Then for every $gin Comm_G(F)$ the subgroup $F^g$ normalizes a finite index subgroup $F'$ of $F$ and, hence, acts on the Riemann surface $H^2/F'$ by automorphisms. If the surface $Sigma=H^2/F$ were maximal, all the Fuchsian groups of the form $F^g$ would be contained in a fixed Fuchsian group $hat{F}$ (obtained by lifting all automorphisms of $Sigma$). However, the union
$$
bigcup_{gin Comm_G(F)} F^g
$$

is stable under conjugation via elements of $Comm_G(F)$. Hence, the subgroup $M$ generated by this union is also normalized by $Comm_G(F)$. In view of the density of $Comm_G(F)$ in $G$, the subgroup $M$ has to be dense as well. This means that $M$ cannot be contained in a discrete subgroup $hat{F}$ as above, proving non-maximality of the surface $Sigma$. qed



This proof is nonconstructive. You will obtain explicit examples by considering a non-uniform lattice in $G$ such as $F=PSL(2, {mathbb Z})$ and looking at its conjugates $F^g$ by, say, linear-fractional maps of the form $zmapsto az$, $ain {mathbb Q}^2$.






share|cite|improve this answer











$endgroup$



Let $g$ denote the genus of $Sigma$. I will say that a Riemann surface $Sigma$ is maximal if for every holomorphic covering map $p: Sigma'to Sigma$ the group of conformal automorphisms of $Sigma'$ consists only of elements which are lifts of automorphisms of $Sigma$ (this includes automorphisms of the covering map $p$: these are lifts of the identity map $Sigmato Sigma$).



Suppose that $gge 3$. Then there exists an open and dense subset $U$ of the moduli space ${mathcal M}_g$ of genus $g$ surfaces such that every $Sigmain U$ is uniformized by a (torsion-free) maximal Fuchsian subgroup of $PSL(2, {mathbb R})$. Here a Fuchsian subgroup is called maximal if it is not contained in any strictly larger Fuchsian subgroup.



See



L. Greenberg, Maximal Fuchsian groups. Bull. Amer. Math. Soc. 69 (1963) 569–573.



and also (for further results in this direction)



L. Greenberg, Maximal groups and signatures. Discontinuous groups and Riemann surfaces (Proc. Conf., Univ. Maryland, College Park, Md., 1973), pp. 207–226. Ann. of Math. Studies, No. 79, Princeton Univ. Press, Princeton, N.J., 1974.



Next, observe that if $F< PSL(2,{mathbb R})$ is a maximal (torsion-free) Fuchsian subgroup then the Riemann surface $H^2/F$ is maximal. Indeed, a finite holomorphic covering map $p: Sigma'to Sigma$ comes from a
finite-index subgroup $F'< F$: $Sigma'=H^2/F'$. The preimage of the group of conformal automorphisms of $Sigma'$ in $PSL(2, {mathbb R})$ is a
Fuchsian subgroup $F''< PSL(2,{mathbb R})$ containing $F'$ as a finite index subgroup. Then the subgroup of P$SL(2,{mathbb R})$ generated by $F, F''$ would be still Fuchsian, hence, equal to $F$ by the maximality assumption.



Thus, "generic" Riemann surfaces $Sigma$ of genus $ge 3$ are maximal. This argument fails in the case of $g=2$ but only because every genus 2 Riemann surface is hyperelliptic, it admits a hyperelliptic involution. By digging a bit deeper in Greenberg's papers, you can see that every generic genus 2 Riemann surface is again maximal.



I will write more on arithmetic surfaces later.



Edit. Here are more details on the arithmetic case. I will need a definition and a theorem:



Definition. Two subgroups $H_1, H_2$ of a group $G$ are called commensurable if $H_1cap H_2$ has finite index in both $H_1, H_2$. Given a subgroup $H< G$ the commensurator of $H$ in $G$, denoted $Comm_G(H)$, is the subset consisting of elements $gin G$ such that the subgroups $H^g:= gHg^{-1}< G$ and $H$ are commensurable.



It is easy to see that $Comm_G(H)$ is a subgroup of $G$.



Theorem (Borel?). Let $G$ be a connected semisimple Lie group. Then for every arithmetic subgroup $Gamma< G$, the commensurator $Comm_G(Gamma)$ is dense in $G$.



I will use this in the case $G=PSL(2, {mathbb R})$.
You can find a proof for instance in the book by Machlachlan and Reid "The arithmetic of hyperbolic 3-manifolds". You can easily convince yourself that in the case $Gamma=PSL(2, {mathbb Z})$ the commensurator
$Comm_G(Gamma)$ contains $PSL(2, {mathbb Q})$.



This theorem has a much harder converse due to Margulis (that I will not need): If the commensurator of a lattice is nondiscrete then the lattice is arithmetic.



Proposition. Every arithmetic Riemann surface $Sigma$ is non-maximal.



Proof. Let $F< PSL(2, {mathbb R})$ be a Fuchsian subgroup. Then for every $gin Comm_G(F)$ the subgroup $F^g$ normalizes a finite index subgroup $F'$ of $F$ and, hence, acts on the Riemann surface $H^2/F'$ by automorphisms. If the surface $Sigma=H^2/F$ were maximal, all the Fuchsian groups of the form $F^g$ would be contained in a fixed Fuchsian group $hat{F}$ (obtained by lifting all automorphisms of $Sigma$). However, the union
$$
bigcup_{gin Comm_G(F)} F^g
$$

is stable under conjugation via elements of $Comm_G(F)$. Hence, the subgroup $M$ generated by this union is also normalized by $Comm_G(F)$. In view of the density of $Comm_G(F)$ in $G$, the subgroup $M$ has to be dense as well. This means that $M$ cannot be contained in a discrete subgroup $hat{F}$ as above, proving non-maximality of the surface $Sigma$. qed



This proof is nonconstructive. You will obtain explicit examples by considering a non-uniform lattice in $G$ such as $F=PSL(2, {mathbb Z})$ and looking at its conjugates $F^g$ by, say, linear-fractional maps of the form $zmapsto az$, $ain {mathbb Q}^2$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Mar 25 at 18:26

























answered Mar 25 at 16:44









Moishe KohanMoishe Kohan

48.9k344111




48.9k344111












  • $begingroup$
    This is a fantastic answer, thank you very much!
    $endgroup$
    – Sam Hughes
    Mar 25 at 20:47


















  • $begingroup$
    This is a fantastic answer, thank you very much!
    $endgroup$
    – Sam Hughes
    Mar 25 at 20:47
















$begingroup$
This is a fantastic answer, thank you very much!
$endgroup$
– Sam Hughes
Mar 25 at 20:47




$begingroup$
This is a fantastic answer, thank you very much!
$endgroup$
– Sam Hughes
Mar 25 at 20:47


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3159836%2frigidity-of-isometries-of-finite-covers-of-riemann-surfaces%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Magento 2 - Add success message with knockout Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Success / Error message on ajax request$.widget is not a function when loading a homepage after add custom jQuery on custom themeHow can bind jQuery to current document in Magento 2 When template load by ajaxRedirect page using plugin in Magento 2Magento 2 - Update quantity and totals of cart page without page reload?Magento 2: Quote data not loaded on knockout checkoutMagento 2 : I need to change add to cart success message after adding product into cart through pluginMagento 2.2.5 How to add additional products to cart from new checkout step?Magento 2 Add error/success message with knockoutCan't validate Post Code on checkout page

Fil:Tokke komm.svg

Where did Arya get these scars? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manara Favourite questions and answers from the 1st quarter of 2019Why did Arya refuse to end it?Has the pronunciation of Arya Stark's name changed?Has Arya forgiven people?Why did Arya Stark lose her vision?Why can Arya still use the faces?Has the Narrow Sea become narrower?Does Arya Stark know how to make poisons outside of the House of Black and White?Why did Nymeria leave Arya?Why did Arya not kill the Lannister soldiers she encountered in the Riverlands?What is the current canonical age of Sansa, Bran and Arya Stark?