• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

149 submissions , 124 unreviewed
4,015 questions , 1,439 unanswered
4,923 answers , 20,948 comments
1,470 users with positive rep
532 active unimported users
More ...

  Proof that higher genus surface admits a metric of negative Ricci scalar everywhere

+ 4 like - 0 dislike

In the Green, Schwarz and Witten Superstring Theory textbook, the paragraph below equation 3.3.15 says,

For genus greater than one, it can be shown that the surface admits a metric of everywhere negative scalar curvature.

This statement is essential in the proof that $C_g$ for $g>1$ is always zero, but I cannot prove that. Could you point out how to prove this?

This post imported from StackExchange Physics at 2015-03-30 13:49 (UTC), posted by SE-user Han Yan
asked Dec 12, 2013 in Mathematics by Han Yan (110 points) [ no revision ]

2 Answers

+ 2 like - 0 dislike

This result follows from i) Uniformization theorem and ii) Gauss-Bonnet theorem in 2d.

According to the statement of uniformization theorem from this wiki page :

every connected Riemann surface X admits a unique complete 2-dimensional real Riemann metric with constant curvature −1, 0 or 1 inducing the same conformal structure

On the other hand, according to Gauss-Bonnet theorem, integral of the scalar curvature on a 2d surface is a positive multiple of the Euler characteristic ($\chi=2-2g$). Since the Euler characteristic is negative for $g>1$ so from the uniformization theorem it follows that -

any Riemann surface with genus $g>1$ admits a unique complete 2-dimensional real Riemann metric with constant curvature −1 inducing the same conformal structure

Note : I am not aware of any good reference where uniformization thereom is proved in the form stated above. However, I hope you can find a proof in some of the references mentioned in the corresponding wiki article.

This post imported from StackExchange Physics at 2015-03-30 13:49 (UTC), posted by SE-user user10001
answered Dec 12, 2013 by user10001 (635 points) [ no revision ]
Thank you very much, I think that's the answer. To add some materials here: For the proof of Uniformization theorem, see Uniformization of Riemann Surfaces . For further reading, see GTM 71, Riemann Surfaces, Chpter IV

This post imported from StackExchange Physics at 2015-03-30 13:49 (UTC), posted by SE-user Han Yan
+ 1 like - 0 dislike

Why not use explicit construction for such a surface?

From The Manifold Atlas:

Any hyperbolic metric on a closed, orientable surface $S_g$ of genus $g\ge 2$ is obtained by the following construction: choose a geodesic $4g$-gon in the hyperbolic plane ${\Bbb H}^2$ with area $4(g-1)\pi$. (This implies that the sum of interior angles is $2\pi$.) Then choose orientation-preserving isometries $I_1,J_1,\ldots,I_g,J_g$ which realise the gluing pattern of $S_g$: for $j=1,\ldots,g$ we require that $I_j$ maps $a_j$ to $\overline{a}_j$, $J_j$ maps $b_j$ to $\overline{b}_j$. Let $\Gamma\subset Isom^+\left({\Bbb H}^2\right)$ be the subgroup generated by $I_1,J_1,\ldots,I_g,J_g$. Then $\Gamma$ is a discrete subgroup of $Isom^+\left({\Bbb H}^2\right)$ and $\Gamma\backslash{\Bbb H}^2$ is a hyperbolic surface diffeomorphic to ${\Bbb H}^2$.

Here is an illustration for genus 2 surface glued from an octagon in hyperbolic plane (image taken from here):


This post imported from StackExchange Physics at 2015-03-30 13:49 (UTC), posted by SE-user user23660
answered Dec 12, 2013 by user23660 (40 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights