It is currently 04 Sep 2010, 12:23




Post new topic Reply to topic  [ 8 posts ] 
 Exercise [08.01] 
Author Message

Joined: 16 Sep 2008, 21:24
Posts: 2
Post Exercise [08.01]
Q: Explain why the spiralling sheets of Z^a's Riemann surface join back together after n sheets where m/n=a where there is no common factor between m and n and a.

A:
Z^a = (r^a) exp{i theta a}
= exp{i theta a}

Where we use r = 1 for simplicity.

(Z^a)start = exp{i 0 a} = 1 (1)

Where we are starting at theta = 0.

(Z^a)n turns = exp{i n 2pi a} = 1
(Z^a)n turns = exp{i n 2pi m/n}
(Z^a)n turns = exp{i 2pi m} = 1 (2)

So, it is clear that they rejoin as (1) = (2). But, why would they not rejoin earlier? Because there are no common factors between m and n. Consider the case after q turns where q < m.

(Z^a)q turns = exp{i q 2pi m/n}

For (Z^a)q turns to equal 1, qm/n must be an integer, which is impossible if there are no common factors between m and n.


Last edited by lukewm on 01 Oct 2008, 14:25, edited 2 times in total.

16 Sep 2008, 21:40
Profile
Supporter
Supporter

Joined: 07 Jun 2008, 08:21
Posts: 182
Post Re: Exercise [08.01]
Your small text is too small to read. Can you please edit your post to make it readable?
Thanks


01 Oct 2008, 12:55
Profile

Joined: 16 Sep 2008, 21:24
Posts: 2
Post Re: Exercise [08.01]
I've made it a bit bigger, it should be a bit easier to read now.


01 Oct 2008, 14:26
Profile

Joined: 12 Mar 2008, 10:57
Posts: 69
Location: India
Post Re: Exercise [08.01]
It seems that it is the fundamental property of any Riemann surface S that in it
\oint{f(z)}dz=0 for a point z.(excluding branch points)
If we assume this property of S then
\oint{z^{a}}dz=0 where 'a' is real.
From the solution to Exercise [7.1] using polar coordinates,this condition amounts to
e^{2\pi ika}-1=0 where k is an integer for all non-zero z.
If a is rational and is in its lowest terms i.e. a=m/n then the above condition implies
k=tn where t is an integer.
Hence, a closed loop around the the origin must go through 'tn' turns. We thus have a spiral ramp of 'n' turns with the sheets joined at the point '0'.
The reason for the surface to have 'n' sheets is quite simple.The map
f:C\rightarrow Cwhere f(z)=z^{1/n} is one-many.(It takes every non-zero point in C to n-points.)
We define a Riemann surface S for this map so that the map
f:C\rightarrow S
is one-one.We now have a parameter that distinguishes one root from another namely the 'sheet'.The surface for z^{m/n} is also a spiral ramp of 'n' sheets because
(z^{1/n})^{m}=(z^{m})^{1/n}=w^{1/n} and w is just another complex number.So the structure of the Riemann surface is unaltered.
I am not sure why an irrational 'a' means infinite sheets.Probably it is because that irrationals can be arbitrarily approximated by rationals but I couldn't prove it.


07 Oct 2008, 10:14
Profile

Joined: 30 Jun 2008, 22:14
Posts: 25
Post Re: Exercise [08.01]
Real numbers are the limits of integral numbers when the division is shrinking to zero, i.e. x = m\Delta and \Delta \to 0. Hence n = 1/\Delta \to \infty


11 Jan 2009, 19:01
Profile

Joined: 30 Jun 2008, 22:14
Posts: 25
Post Re: Exercise [08.01]
Sameed, where did you get the integrals? \oint z^a dz = 0 is only true for a integer, not real. The simplest and most elegant solution has already been given by lukewm.


05 Feb 2009, 00:16
Profile

Joined: 12 Mar 2008, 10:57
Posts: 69
Location: India
Post Re: Exercise [08.01]
The point z in my discussion is not a point in the complex plane. It is in fact a point on the Riemann surface 'S'. The result you quoted is true for points in the complex plane.


05 Feb 2009, 09:43
Profile

Joined: 30 Jun 2008, 22:14
Posts: 25
Post Re: Exercise [08.01]
A bit confusion here. Previously you've got f : C \to S. Hence z is on complex plane; f(z) on Riemann surface. Or is it the other way round?


05 Feb 2009, 21:24
Profile
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 8 posts ] 


Who is online

Users browsing this forum: No registered users and 1 guest


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © phpBB Group.
Designed by Vjacheslav Trushkin for Free Forums/DivisionCore.