Universal covering of $n$ punctured 2-sphere Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)For an elliptic curve E, does there exist a cofinite Fuchsian group without elliptic elements with quotient E minus a finite subsetFuchsian groups and surfacesFundamental group and Riemann surfacesExplicitly realizing Riemann surfaces as a quotient of the upper-half planeAction of modular group on complex upper half plane. Quotient space is $P^1$. [Reference request]Galois groupoid of covering map: are endomorphisms of universal covering spaces automorphisms?Fundamental group and the universal covering space for $X$ which is obtained by attaching a Mobius band to a torus.Covering Maps Abelian Lie groupsA connected manifold $N$ can be identified with its universal covering quotient a discrete groupClassification of covering spaces for spaces that are not locally path connected: counterexamples?
Around usage results
Can anything be seen from the center of the Boötes void? How dark would it be?
How do I find out the mythology and history of my Fortress?
Is the Standard Deduction better than Itemized when both are the same amount?
Irreducible of finite Krull dimension implies quasi-compact?
Delete nth line from bottom
Why aren't air breathing engines used as small first stages
Can melee weapons be used to deliver Contact Poisons?
How to react to hostile behavior from a senior developer?
What is homebrew?
How can I use the Python library networkx from Mathematica?
representation of vector and matrix in latex
8 Prisoners wearing hats
Can a new player join a group only when a new campaign starts?
Is there such thing as an Availability Group failover trigger?
Has negative voting ever been officially implemented in elections, or seriously proposed, or even studied?
Do wooden building fires get hotter than 600°C?
Is it ethical to give a final exam after the professor has quit before teaching the remaining chapters of the course?
An adverb for when you're not exaggerating
How come Sam didn't become Lord of Horn Hill?
Would "destroying" Wurmcoil Engine prevent its tokens from being created?
Why are the trig functions versine, haversine, exsecant, etc, rarely used in modern mathematics?
Fantasy story; one type of magic grows in power with use, but the more powerful they are, they more they are drawn to travel to their source
How to find all the available tools in mac terminal?
Universal covering of $n$ punctured 2-sphere
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)For an elliptic curve E, does there exist a cofinite Fuchsian group without elliptic elements with quotient E minus a finite subsetFuchsian groups and surfacesFundamental group and Riemann surfacesExplicitly realizing Riemann surfaces as a quotient of the upper-half planeAction of modular group on complex upper half plane. Quotient space is $P^1$. [Reference request]Galois groupoid of covering map: are endomorphisms of universal covering spaces automorphisms?Fundamental group and the universal covering space for $X$ which is obtained by attaching a Mobius band to a torus.Covering Maps Abelian Lie groupsA connected manifold $N$ can be identified with its universal covering quotient a discrete groupClassification of covering spaces for spaces that are not locally path connected: counterexamples?
$begingroup$
Actually, I just want to understand first sentence of Here. It says that
Let $X$ be the $mathbbCP_1$ with $n$ points deleted. Let $n geq 3$. If I understand correctly, the universal covering of $X$ is isomorphic to the upper half plane as a complex analytic space.
And the answer is related to Fuchsian group, but I still do not find a introductory paper about that. Could you explain this statement, or just give some reference about why Fuchsian group is related to universal covering of $X$?
algebraic-topology complex-geometry riemann-surfaces
$endgroup$
add a comment |
$begingroup$
Actually, I just want to understand first sentence of Here. It says that
Let $X$ be the $mathbbCP_1$ with $n$ points deleted. Let $n geq 3$. If I understand correctly, the universal covering of $X$ is isomorphic to the upper half plane as a complex analytic space.
And the answer is related to Fuchsian group, but I still do not find a introductory paper about that. Could you explain this statement, or just give some reference about why Fuchsian group is related to universal covering of $X$?
algebraic-topology complex-geometry riemann-surfaces
$endgroup$
2
$begingroup$
For starters, see en.wikipedia.org/wiki/Uniformization_theorem.
$endgroup$
– Qiaochu Yuan
Mar 27 at 4:08
$begingroup$
@QiaochuYuan Thank you very much!
$endgroup$
– user124697
Mar 27 at 14:54
1
$begingroup$
Uniformization theorem reduces the problem to proving that the universal cover of $X$ is not biholomorphic to $mathbb C$. This follows, for instance, that the fundamental group of $X$ is free nonabelian since the group $Aff(mathbb C)$ contains no discrete free nonabelian subgroups.
$endgroup$
– Moishe Kohan
Mar 30 at 1:33
add a comment |
$begingroup$
Actually, I just want to understand first sentence of Here. It says that
Let $X$ be the $mathbbCP_1$ with $n$ points deleted. Let $n geq 3$. If I understand correctly, the universal covering of $X$ is isomorphic to the upper half plane as a complex analytic space.
And the answer is related to Fuchsian group, but I still do not find a introductory paper about that. Could you explain this statement, or just give some reference about why Fuchsian group is related to universal covering of $X$?
algebraic-topology complex-geometry riemann-surfaces
$endgroup$
Actually, I just want to understand first sentence of Here. It says that
Let $X$ be the $mathbbCP_1$ with $n$ points deleted. Let $n geq 3$. If I understand correctly, the universal covering of $X$ is isomorphic to the upper half plane as a complex analytic space.
And the answer is related to Fuchsian group, but I still do not find a introductory paper about that. Could you explain this statement, or just give some reference about why Fuchsian group is related to universal covering of $X$?
algebraic-topology complex-geometry riemann-surfaces
algebraic-topology complex-geometry riemann-surfaces
asked Mar 27 at 3:55
user124697user124697
640515
640515
2
$begingroup$
For starters, see en.wikipedia.org/wiki/Uniformization_theorem.
$endgroup$
– Qiaochu Yuan
Mar 27 at 4:08
$begingroup$
@QiaochuYuan Thank you very much!
$endgroup$
– user124697
Mar 27 at 14:54
1
$begingroup$
Uniformization theorem reduces the problem to proving that the universal cover of $X$ is not biholomorphic to $mathbb C$. This follows, for instance, that the fundamental group of $X$ is free nonabelian since the group $Aff(mathbb C)$ contains no discrete free nonabelian subgroups.
$endgroup$
– Moishe Kohan
Mar 30 at 1:33
add a comment |
2
$begingroup$
For starters, see en.wikipedia.org/wiki/Uniformization_theorem.
$endgroup$
– Qiaochu Yuan
Mar 27 at 4:08
$begingroup$
@QiaochuYuan Thank you very much!
$endgroup$
– user124697
Mar 27 at 14:54
1
$begingroup$
Uniformization theorem reduces the problem to proving that the universal cover of $X$ is not biholomorphic to $mathbb C$. This follows, for instance, that the fundamental group of $X$ is free nonabelian since the group $Aff(mathbb C)$ contains no discrete free nonabelian subgroups.
$endgroup$
– Moishe Kohan
Mar 30 at 1:33
2
2
$begingroup$
For starters, see en.wikipedia.org/wiki/Uniformization_theorem.
$endgroup$
– Qiaochu Yuan
Mar 27 at 4:08
$begingroup$
For starters, see en.wikipedia.org/wiki/Uniformization_theorem.
$endgroup$
– Qiaochu Yuan
Mar 27 at 4:08
$begingroup$
@QiaochuYuan Thank you very much!
$endgroup$
– user124697
Mar 27 at 14:54
$begingroup$
@QiaochuYuan Thank you very much!
$endgroup$
– user124697
Mar 27 at 14:54
1
1
$begingroup$
Uniformization theorem reduces the problem to proving that the universal cover of $X$ is not biholomorphic to $mathbb C$. This follows, for instance, that the fundamental group of $X$ is free nonabelian since the group $Aff(mathbb C)$ contains no discrete free nonabelian subgroups.
$endgroup$
– Moishe Kohan
Mar 30 at 1:33
$begingroup$
Uniformization theorem reduces the problem to proving that the universal cover of $X$ is not biholomorphic to $mathbb C$. This follows, for instance, that the fundamental group of $X$ is free nonabelian since the group $Aff(mathbb C)$ contains no discrete free nonabelian subgroups.
$endgroup$
– Moishe Kohan
Mar 30 at 1:33
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
First, you need to know the Uniformization Theorem:
Theorem. Every simply-connected Riemann surface $X$ is biholomorphic to a model surface which is either $S^2$ or $mathbb C$ of the hyperbolic plane $H^2$ (the upper half-plane if you like).
Depending on which of the three models occur, one calls $X$ spherical, euclidean or hyperbolic. (Sadly, this terminology is inconsistent with the AG terminology, where "elliptic" means "euclidean" while "rational" means "spherical" and "general type" is "hyperbolic".) The same applies to (connected) surfaces $Y$ which are covered by $X$: Such a surface is biholomorphic to the quotient of a model surface by a discrete group $G$, of biholomorphic automorphisms, $Gcong pi_1(Y)$, acting freely (without fixed points) on $X$. Now, the question becomes which groups $G$ can act in such a way on the model surfaces. The group $Aut(mathbb C)$ of conformal automorphisms of $mathbb C$ consists of complex affine transformations
$$
zmapsto az+b.
$$
(One usually proves this in an undergraduate CA class.) Since $G<Aut(mathbb C)$ is supposed to act freely, it follows that $a=1$ for all elements of $G$. Thus, $G$ is free abelian of rank $le 2$. This implies that all surfaces of euclidean type have abelian fundamental group. Since $pi_1$ of $n$ times punctured sphere is free of rank $n-1$, if $nge 3$ then this group is nonabelian, hence, the surface cannot have parabolic type. It obviously cannot have elliptic type. Thus, we conclude that such a surface is the quotient of the hyperbolic plane by a group of automorphisms (hyperbolic isometric) acting properly discontinuously and freely. The same argument shows that every connected RS of euclidean type is either $T^2$ (aka an "ellipic curve"), or is conformal to $mathbb C^times$ or to $mathbb C$.
$endgroup$
$begingroup$
Wow, thank you very much for such a detailed explanation :) I will definitely study uniformization theorem well to understand your writing precisely.
$endgroup$
– user124697
Mar 31 at 20:48
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%2f3164087%2funiversal-covering-of-n-punctured-2-sphere%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$
First, you need to know the Uniformization Theorem:
Theorem. Every simply-connected Riemann surface $X$ is biholomorphic to a model surface which is either $S^2$ or $mathbb C$ of the hyperbolic plane $H^2$ (the upper half-plane if you like).
Depending on which of the three models occur, one calls $X$ spherical, euclidean or hyperbolic. (Sadly, this terminology is inconsistent with the AG terminology, where "elliptic" means "euclidean" while "rational" means "spherical" and "general type" is "hyperbolic".) The same applies to (connected) surfaces $Y$ which are covered by $X$: Such a surface is biholomorphic to the quotient of a model surface by a discrete group $G$, of biholomorphic automorphisms, $Gcong pi_1(Y)$, acting freely (without fixed points) on $X$. Now, the question becomes which groups $G$ can act in such a way on the model surfaces. The group $Aut(mathbb C)$ of conformal automorphisms of $mathbb C$ consists of complex affine transformations
$$
zmapsto az+b.
$$
(One usually proves this in an undergraduate CA class.) Since $G<Aut(mathbb C)$ is supposed to act freely, it follows that $a=1$ for all elements of $G$. Thus, $G$ is free abelian of rank $le 2$. This implies that all surfaces of euclidean type have abelian fundamental group. Since $pi_1$ of $n$ times punctured sphere is free of rank $n-1$, if $nge 3$ then this group is nonabelian, hence, the surface cannot have parabolic type. It obviously cannot have elliptic type. Thus, we conclude that such a surface is the quotient of the hyperbolic plane by a group of automorphisms (hyperbolic isometric) acting properly discontinuously and freely. The same argument shows that every connected RS of euclidean type is either $T^2$ (aka an "ellipic curve"), or is conformal to $mathbb C^times$ or to $mathbb C$.
$endgroup$
$begingroup$
Wow, thank you very much for such a detailed explanation :) I will definitely study uniformization theorem well to understand your writing precisely.
$endgroup$
– user124697
Mar 31 at 20:48
add a comment |
$begingroup$
First, you need to know the Uniformization Theorem:
Theorem. Every simply-connected Riemann surface $X$ is biholomorphic to a model surface which is either $S^2$ or $mathbb C$ of the hyperbolic plane $H^2$ (the upper half-plane if you like).
Depending on which of the three models occur, one calls $X$ spherical, euclidean or hyperbolic. (Sadly, this terminology is inconsistent with the AG terminology, where "elliptic" means "euclidean" while "rational" means "spherical" and "general type" is "hyperbolic".) The same applies to (connected) surfaces $Y$ which are covered by $X$: Such a surface is biholomorphic to the quotient of a model surface by a discrete group $G$, of biholomorphic automorphisms, $Gcong pi_1(Y)$, acting freely (without fixed points) on $X$. Now, the question becomes which groups $G$ can act in such a way on the model surfaces. The group $Aut(mathbb C)$ of conformal automorphisms of $mathbb C$ consists of complex affine transformations
$$
zmapsto az+b.
$$
(One usually proves this in an undergraduate CA class.) Since $G<Aut(mathbb C)$ is supposed to act freely, it follows that $a=1$ for all elements of $G$. Thus, $G$ is free abelian of rank $le 2$. This implies that all surfaces of euclidean type have abelian fundamental group. Since $pi_1$ of $n$ times punctured sphere is free of rank $n-1$, if $nge 3$ then this group is nonabelian, hence, the surface cannot have parabolic type. It obviously cannot have elliptic type. Thus, we conclude that such a surface is the quotient of the hyperbolic plane by a group of automorphisms (hyperbolic isometric) acting properly discontinuously and freely. The same argument shows that every connected RS of euclidean type is either $T^2$ (aka an "ellipic curve"), or is conformal to $mathbb C^times$ or to $mathbb C$.
$endgroup$
$begingroup$
Wow, thank you very much for such a detailed explanation :) I will definitely study uniformization theorem well to understand your writing precisely.
$endgroup$
– user124697
Mar 31 at 20:48
add a comment |
$begingroup$
First, you need to know the Uniformization Theorem:
Theorem. Every simply-connected Riemann surface $X$ is biholomorphic to a model surface which is either $S^2$ or $mathbb C$ of the hyperbolic plane $H^2$ (the upper half-plane if you like).
Depending on which of the three models occur, one calls $X$ spherical, euclidean or hyperbolic. (Sadly, this terminology is inconsistent with the AG terminology, where "elliptic" means "euclidean" while "rational" means "spherical" and "general type" is "hyperbolic".) The same applies to (connected) surfaces $Y$ which are covered by $X$: Such a surface is biholomorphic to the quotient of a model surface by a discrete group $G$, of biholomorphic automorphisms, $Gcong pi_1(Y)$, acting freely (without fixed points) on $X$. Now, the question becomes which groups $G$ can act in such a way on the model surfaces. The group $Aut(mathbb C)$ of conformal automorphisms of $mathbb C$ consists of complex affine transformations
$$
zmapsto az+b.
$$
(One usually proves this in an undergraduate CA class.) Since $G<Aut(mathbb C)$ is supposed to act freely, it follows that $a=1$ for all elements of $G$. Thus, $G$ is free abelian of rank $le 2$. This implies that all surfaces of euclidean type have abelian fundamental group. Since $pi_1$ of $n$ times punctured sphere is free of rank $n-1$, if $nge 3$ then this group is nonabelian, hence, the surface cannot have parabolic type. It obviously cannot have elliptic type. Thus, we conclude that such a surface is the quotient of the hyperbolic plane by a group of automorphisms (hyperbolic isometric) acting properly discontinuously and freely. The same argument shows that every connected RS of euclidean type is either $T^2$ (aka an "ellipic curve"), or is conformal to $mathbb C^times$ or to $mathbb C$.
$endgroup$
First, you need to know the Uniformization Theorem:
Theorem. Every simply-connected Riemann surface $X$ is biholomorphic to a model surface which is either $S^2$ or $mathbb C$ of the hyperbolic plane $H^2$ (the upper half-plane if you like).
Depending on which of the three models occur, one calls $X$ spherical, euclidean or hyperbolic. (Sadly, this terminology is inconsistent with the AG terminology, where "elliptic" means "euclidean" while "rational" means "spherical" and "general type" is "hyperbolic".) The same applies to (connected) surfaces $Y$ which are covered by $X$: Such a surface is biholomorphic to the quotient of a model surface by a discrete group $G$, of biholomorphic automorphisms, $Gcong pi_1(Y)$, acting freely (without fixed points) on $X$. Now, the question becomes which groups $G$ can act in such a way on the model surfaces. The group $Aut(mathbb C)$ of conformal automorphisms of $mathbb C$ consists of complex affine transformations
$$
zmapsto az+b.
$$
(One usually proves this in an undergraduate CA class.) Since $G<Aut(mathbb C)$ is supposed to act freely, it follows that $a=1$ for all elements of $G$. Thus, $G$ is free abelian of rank $le 2$. This implies that all surfaces of euclidean type have abelian fundamental group. Since $pi_1$ of $n$ times punctured sphere is free of rank $n-1$, if $nge 3$ then this group is nonabelian, hence, the surface cannot have parabolic type. It obviously cannot have elliptic type. Thus, we conclude that such a surface is the quotient of the hyperbolic plane by a group of automorphisms (hyperbolic isometric) acting properly discontinuously and freely. The same argument shows that every connected RS of euclidean type is either $T^2$ (aka an "ellipic curve"), or is conformal to $mathbb C^times$ or to $mathbb C$.
answered Mar 31 at 16:53
Moishe KohanMoishe Kohan
49k344111
49k344111
$begingroup$
Wow, thank you very much for such a detailed explanation :) I will definitely study uniformization theorem well to understand your writing precisely.
$endgroup$
– user124697
Mar 31 at 20:48
add a comment |
$begingroup$
Wow, thank you very much for such a detailed explanation :) I will definitely study uniformization theorem well to understand your writing precisely.
$endgroup$
– user124697
Mar 31 at 20:48
$begingroup$
Wow, thank you very much for such a detailed explanation :) I will definitely study uniformization theorem well to understand your writing precisely.
$endgroup$
– user124697
Mar 31 at 20:48
$begingroup$
Wow, thank you very much for such a detailed explanation :) I will definitely study uniformization theorem well to understand your writing precisely.
$endgroup$
– user124697
Mar 31 at 20:48
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%2f3164087%2funiversal-covering-of-n-punctured-2-sphere%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
2
$begingroup$
For starters, see en.wikipedia.org/wiki/Uniformization_theorem.
$endgroup$
– Qiaochu Yuan
Mar 27 at 4:08
$begingroup$
@QiaochuYuan Thank you very much!
$endgroup$
– user124697
Mar 27 at 14:54
1
$begingroup$
Uniformization theorem reduces the problem to proving that the universal cover of $X$ is not biholomorphic to $mathbb C$. This follows, for instance, that the fundamental group of $X$ is free nonabelian since the group $Aff(mathbb C)$ contains no discrete free nonabelian subgroups.
$endgroup$
– Moishe Kohan
Mar 30 at 1:33