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?
$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.
riemann-surfaces
$endgroup$
add a comment |
$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.
riemann-surfaces
$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
add a comment |
$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.
riemann-surfaces
$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
riemann-surfaces
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
add a comment |
$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
add a comment |
1 Answer
1
active
oldest
votes
$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$.
$endgroup$
$begingroup$
This is a fantastic answer, thank you very much!
$endgroup$
– Sam Hughes
Mar 25 at 20:47
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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$.
$endgroup$
$begingroup$
This is a fantastic answer, thank you very much!
$endgroup$
– Sam Hughes
Mar 25 at 20:47
add a comment |
$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$.
$endgroup$
$begingroup$
This is a fantastic answer, thank you very much!
$endgroup$
– Sam Hughes
Mar 25 at 20:47
add a comment |
$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$.
$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$.
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
add a comment |
$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
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$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