{"@context":{"@language":"en","Affiliation":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","AggregatedSourceRepository":"http:\/\/www.europeana.eu\/schemas\/edm\/dataProvider","Campus":"https:\/\/open.library.ubc.ca\/terms#degreeCampus","Creator":"http:\/\/purl.org\/dc\/terms\/creator","DateAvailable":"http:\/\/purl.org\/dc\/terms\/issued","DateIssued":"http:\/\/purl.org\/dc\/terms\/issued","Degree":"http:\/\/vivoweb.org\/ontology\/core#relatedDegree","DegreeGrantor":"https:\/\/open.library.ubc.ca\/terms#degreeGrantor","Description":"http:\/\/purl.org\/dc\/terms\/description","DigitalResourceOriginalRecord":"http:\/\/www.europeana.eu\/schemas\/edm\/aggregatedCHO","Extent":"http:\/\/purl.org\/dc\/terms\/extent","FileFormat":"http:\/\/purl.org\/dc\/elements\/1.1\/format","FullText":"http:\/\/www.w3.org\/2009\/08\/skos-reference\/skos.html#note","Genre":"http:\/\/www.europeana.eu\/schemas\/edm\/hasType","GraduationDate":"http:\/\/vivoweb.org\/ontology\/core#dateIssued","IsShownAt":"http:\/\/www.europeana.eu\/schemas\/edm\/isShownAt","Language":"http:\/\/purl.org\/dc\/terms\/language","Program":"https:\/\/open.library.ubc.ca\/terms#degreeDiscipline","Provider":"http:\/\/www.europeana.eu\/schemas\/edm\/provider","Publisher":"http:\/\/purl.org\/dc\/terms\/publisher","Rights":"http:\/\/purl.org\/dc\/terms\/rights","RightsURI":"https:\/\/open.library.ubc.ca\/terms#rightsURI","ScholarlyLevel":"https:\/\/open.library.ubc.ca\/terms#scholarLevel","Title":"http:\/\/purl.org\/dc\/terms\/title","Type":"http:\/\/purl.org\/dc\/terms\/type","URI":"https:\/\/open.library.ubc.ca\/terms#identifierURI","SortDate":"http:\/\/purl.org\/dc\/terms\/date"},"Affiliation":[{"@value":"Science, Faculty of","@language":"en"},{"@value":"Physics and Astronomy, Department of","@language":"en"}],"AggregatedSourceRepository":[{"@value":"DSpace","@language":"en"}],"Campus":[{"@value":"UBCV","@language":"en"}],"Creator":[{"@value":"Scholte-van de Vorst, Matthew","@language":"en"}],"DateAvailable":[{"@value":"2009-08-31T21:04:38Z","@language":"en"}],"DateIssued":[{"@value":"2009","@language":"en"}],"Degree":[{"@value":"Master of Science - MSc","@language":"en"}],"DegreeGrantor":[{"@value":"University of British Columbia","@language":"en"}],"Description":[{"@value":"We derive the propagator for a particle constrained to a torus and to a Klein Bottle. This is accomplished by considering relative symmetries between the desired system and a system for which the propagator is known. This result is checked against the propagator derived via the method of stationary state construction, for which the entire spectrum of the Hamiltonian is required. We also briefly consider the application of further constraints to the systems, and the implications of different symmetries on the same constraint.","@language":"en"}],"DigitalResourceOriginalRecord":[{"@value":"https:\/\/circle.library.ubc.ca\/rest\/handle\/2429\/12635?expand=metadata","@language":"en"}],"Extent":[{"@value":"234478 bytes","@language":"en"}],"FileFormat":[{"@value":"application\/pdf","@language":"en"}],"FullText":[{"@value":"Path Integrals for Multiply Connected Spaces by Matthew Scholte-van de Vorst B.Sc., University of Manitoba, 2006 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in The Faculty of Graduate Studies (Physics) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) August 2009 c Matthew Scholte-van de Vorst 2009 \fAbstract We derive the propagator for a particle constrained to a torus and to a Klein Bottle. This is accomplished by considering relative symmetries between the desired system and a system for which the propagator is known. This result is checked against the propagator derived via the method of stationary state construction, for which the entire spectrum of the Hamiltonian is required. We also briefly consider the application of further constraints to the systems, and the implications of different symmetries on the same constraint. ii \fTable of Contents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii List of Tables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v List of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vi Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . vii Dedication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Circle Propagator . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1 Circle Stationary State Propagator . . . . . . . . . . . . . . . 2.2 Circle Symmetry Propagator . . . . . . . . . . . . . . . . . . 3 3 5 3 Torus and Klein Bottle Foundations . . . . . . . . . . . . . . 3.1 Torus Foundations . . . . . . . . . . . . . . . . . . . . . . . . 3.2 Klein Bottle Foundations . . . . . . . . . . . . . . . . . . . . 7 7 8 4 Torus Propagator . . . . . . . . . . . . . . . . . . . . . . . . . . 4.1 Torus Symmetry Propagator . . . . . . . . . . . . . . . . . . 4.2 Torus Stationary State Propagator . . . . . . . . . . . . . . . 12 12 13 5 Klein Bottle Propagator . . . . . . . . . . . . . . . . . . . . . . 5.1 Klein Bottle Symmetry Propagator . . . . . . . . . . . . . . . 5.2 Klein Bottle Stationary State Propagator . . . . . . . . . . . 15 15 18 6 Additional Constraints . . . . . . . . . . . . . . . . . . . . . . . 6.1 Constraint Applied to Torus . . . . . . . . . . . . . . . . . . . 6.2 Constraint Applied to Klein Bottle . . . . . . . . . . . . . . . 23 23 24 iii \fTable of Contents 7 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 A Jacobi Theta Function Identities . . . . . . . . . . . . . . . . 28 iv \fList of Tables 3.1 Klein Bottle eigenstates and eigenvalues. . . . . . . . . . . . . 9 v \fList of Figures 3.1 3.2 Torus Construction . . . . . . . . . . . . . . . . . . . . . . . . Klein Bottle Construction . . . . . . . . . . . . . . . . . . . . 7 9 vi \fAcknowledgements My thanks to the faculty and staff of UBC who have assisted me throughout my degree, especially Dr. van Raamsdonk. I thank my supervisors Drs. Schleich and Witt whose questions, answers, and feedback have been invaluable in the completion of both my thesis and degree as a whole. Special thanks to my family for their support and encouragement over the years. vii \fDedication To Oma & Opa viii \fChapter 1 Introduction The propagator is a powerful tool in quantum mechanics, as knowing the propagator for a system means knowing the solution to the time dependent Schrodinger equation. If we know the state \u03c8(x0 , t0 ) at some initial point (x0 , t0 ), then the state at some later point (x, t) is given by: \u03c8(x, t) = G(x, t; x0 , t0 )\u03c8(x0 , t0 ) (1.1) where G(x, t; x0 , t0 ) is the propagator associated with the system. Path integrals arise in determining the form of the propagator: Schulman [6] derives the propagator for a free particle with time independent Hamiltonian (which allows us to set t0 = 0) to be: lim G(x, t; x0 , 0) =N \u2192\u221e ( m (N +1)\/2 ) 2\u03c0i~\u000f N Z dx1 . . . dxN exp[ im X (xj+1 \u2212 xj )2 ] 2~\u000f j=0 (1.2) where xN +1 = x and \u000f = t\/(N + 1). This can be simplified to the closed form: r m im G(x, t; x0 , 0) = exp[ (x \u2212 x0 )2 ] (1.3) 2\u03c0i~t 2~t where the phase is the classical action divided by ~. Determining the propagator becomes more complicated on multiply connected spaces, as it is possible to generate two paths having the same endpoints which cannot be continuously deformed into each other. In this situation, it is useful to define a winding number which separates these paths into homotopy classes, within which it is possible to perform this deformation continuously. However, care must be taken in determining the propagator to account for these winding numbers. These complications mean that one must often return to the definition in order to account for them properly. One method of determining the propagator in any space is to perform a sum over states. If (\u03c8n (x), En ) is a pair of stationary states and ener1 \fChapter 1. Introduction gies satisfying the Hamiltonian for the space, then the propagator can be expressed as: G(xf , t; xi , 0) = \u221e X \u03c8n (xf )\u03c8n\u2217 (xi )exp(\u2212iEn t) (1.4) n=\u2212\u221e However, it is possible that simplifying the propagator to a useful form from this expression can still be quite complicated, as performing the sum on multiply connected spaces is not straight-forward. One might wish to obtain a simpler procedure to construct the propagator more quickly, without having to determine explicitly the entire spectrum for the Hamiltonian. Alternatively, one can make use of the homotopy classes as outlined in various papers [2, 4, 5]. If one can find a projection p to the desired space M from a simply connected covering space M\u0303 , the problem becomes much simpler. Paths in M from m to n (m, n \u2208 M ) correspond to paths in M\u0303 from some fixed m\u0303 \u2208 p\u22121 (m) to each n\u0303i \u2208 p\u22121 (n), where i runs over all pre-images of n. Then we carry out the path integral in M\u0303 (using the projection p to carry over the Lagrangian from M ) and sum over i, including phase factors determined by the system. This is one method we will use to determine the propagator for the circle. If we can relate the desired space to a simpler one (not necessarily a simply connected covering space) through various symmetries that are either preserved or lost between the two spaces, perhaps it is possible to construct the propagator without solving for the entire spectrum or concerning ourselves with mapping to a covering space. In this fashion, we will construct the propagator for a particle constrained to a torus and to a Klein Bottle, beginning with the propagator for a particle constrained to a circle. As a check, we will also explicitly construct the propagator from the spectrum using the method of stationary states (1.4). We will also examine briefly the question of applying further constraints to these systems which correspond to the particle model of a gauge theory. 2 \fChapter 2 Circle Propagator 2.1 Circle Stationary State Propagator We begin by considering the derivation of the propagator for a particle on the circle S 1 presented by Schulman [5]. This will facilitate the symmetry construction of the torus propagator, as the torus is the tensor product of two circles. Construction of the circle is achieved by identification of x = 0 and x = 2\u03c0 on the interval [0, 2\u03c0]. Alternatively, the circle is constructed via the identification x = x + 2\u03c0 on the real line <, which is more convenient as it preserves the geometry of <. On the circle, the local Schrodinger equation for a free particle is (taking ~=1, M=1): 1 \u2212 \u2202x2 \u03c8(x) = E\u03c8(x) (2.1) 2 The condition that the system is on the circle is enforced by requiring the state \u03c8(x) also obey the boundary condition: 1 S S \u03c8(x) = \u03c8(x + 2\u03c0) (2.2) S1 where S is a unitary symmetry operator which commutes with the Hamil1 tonian, [S S , H] = 0. Hence, \u03c8(x) can be simultaneously diagonalized with respect to both operators. If we write S\u03c8 = c\u03c8 (where superscripts and arguments have been suppressed), then since: S n \u03c8(x) = \u03c8(x + 2n\u03c0) (2.3) S n S m = S n+m (2.4) and: it follows that c = ei\u03c3 (for \u03c3 a real constant) and Bloch\u2019s theorem states that: 3 \fChapter 2. Circle Propagator i\u03c3x )u(x) (2.5) 2\u03c0 where u(x) = u(x + 2\u03c0) is a periodic function. The solution of Schrodinger\u2019s equation (2.1) for \u03c8(x) of this form yields the complete set of eigenstates: \u03c8(x) = exp( 1 i\u03c3x 1 \u03c8nS (x) = \u221a exp(inx + ) 2\u03c0 2\u03c0 (2.6) \u03c3 2 1 1 ) (2.7) EnS = (n + 2 2\u03c0 Thus, instead of a unique quantization, one obtains a set of inequivalent quantizations parameterized by \u03c3, and perfect periodicity corresponds to the unique quantization \u03c3 = 0. As a result, stationary state construction of the propagator (1.4) takes the form: 1 GS (xf , t; xi , 0) = X 1 i\u03c3x it \u03c3 2 exp(inx + \u2212 (n + ) ) 2\u03c0 2\u03c0 2 2\u03c0 n (2.8) where x = xf \u2212 xi , and the propagator argument shall henceforth be suppressed. In order to facilitate comparison with the propagator as derived from symmetry considerations, it is useful to introduce the Jacobi theta function defined by: \u03983 (Z, T ) = \u221e X exp(i\u03c0n2 T + 2inZ) (2.9) n=\u2212\u221e As a trivial result of the definition, \u03983 (\u2212Z, T ) = \u03983 (Z, T ). Furthermore, two useful identities of the theta function are: \u03983 (Z + a\u03c0 + b\u03c0T, T ) = exp(\u2212i\u03c0b2 T \u2212 2ibZ)\u03983 (Z, T ) \u03983 (Z, T ) = (\u2212iT )\u22121\/2 exp(Z 2 \/i\u03c0T )\u03983 (Z\/T, \u22121\/T ) (2.10) (2.11) for (a, b) \u2208 Z, the proof of which can be found in Appendix A. Substituting the theta function (2.9) yields: 1 GS = 1 \u03c3x \u03c32t x \u03c3t t exp(i( \u2212 2 ))\u03983 ( \u2212 ,\u2212 ) 2\u03c0 2\u03c0 8\u03c0 2 4\u03c0 2\u03c0 (2.12) 4 \fChapter 2. Circle Propagator which, if we apply the Jacobi identity (2.11) becomes: 1 1 t \u03c3x \u03c32t (i )\u22121\/2 exp(i( \u2212 2 ))\u2217 2\u03c0 2\u03c0 2\u03c0 8\u03c0 \u03c3t 2 t x \u03c3t t 2\u03c0 x ) \/i\u03c0(\u2212 ))\u03983 (( \u2212 )\/(\u2212 ), ) exp(( \u2212 2 4\u03c0 2\u03c0 2 4\u03c0 2\u03c0 t 1 1\/2 ix2 \u03c3 \u03c0x 2\u03c0 =( ) exp( )\u03983 ( \u2212 , ) 2\u03c0it 2t 2 t t GS = 2.2 (2.13) Circle Symmetry Propagator As a comparison with the stationary state construction, we can also use symmetry considerations to construct the propagator. Since two paths having the same winding number and fixed endpoints can be continuously deformed into each other, we write the full propagator as a sum over the winding number n: \u221e X 1 GS (xf , t; xi , 0) = 1 An GSn (xf , t; xi , 0) (2.14) n=\u2212\u221e for some non-trivial set of An \u2019s. By varying one endpoint (say xf ) through a full circle, we find that the full propagator is unchanged up to a phase 1 1 factor, while we have translated GSn \u2192 GSn\u22121 . This, combined with (2.14), tells us that: An+1 = ei\u03c3 An (2.15) Furthermore, we know that kA0 k = 1, and so fixing the arbitrary phase of A0 to 0 yields: 1 GS = X ein\u03c3 GSn 1 (2.16) n where the argument of the propagator shall again be suppressed. Since one can (locally) define a smooth mapping f : < \u2192 S 1 and inverse between the real line and circle for fixed endpoints, for each value of the winding number the propagator is that of a free particle (1.3). Substituting 1 for GSn into (2.16) yields: 1 GS = X 1 i(x \u2212 2\u03c0n)2 ( )1\/2 exp(in\u03c3 + ) 2\u03c0it 2t n (2.17) 5 \fChapter 2. Circle Propagator Substituting the theta function (2.9) into our expression for the propagator on the circle (2.17) yields: ix2 \u03c3 \u03c0x 2\u03c0 1 1\/2 ) exp( )\u03983 ( \u2212 , ) 2\u03c0it 2t 2 t t in agreement with the stationary state propagator (2.13). 1 GS = ( (2.18) 6 \fChapter 3 Torus and Klein Bottle Foundations 3.1 Torus Foundations Figure 3.1: Torus Construction We begin by generating the torus T 2 from a rectangle of side lengths a and b, seen in Fig. 3.1. Opposite sides (of equal length) are identified and connected, with the x-direction denoting motion parallel to side length b and y-direction parallel to side length a. In this way we construct a torus with boundary conditions: (x, y) = (x, y + a) (x, y) = (x + b, y) (3.1) Locally, Schrodinger\u2019s equation for a free particle is just: 7 \fChapter 3. Torus and Klein Bottle Foundations 1 \u2212 (\u2202x2 + \u2202y2 )\u03c8 = E\u03c8 (3.2) 2 Eigenstates (non-normalized) and corresponding eigenvalues obeying the boundary conditions (3.1) are: 2 T \u03c8rs = exp(2\u03c0i(rx\/b + sy\/a)) (3.3) 2\u03c0s 2 1 2\u03c0r 2 T2 ) +( ) ) Ers = (( 2 b a (3.4) 2 2 T (x, y) = \u03c8 T (x + nb, y + ma) for (n, m) \u2208 Z. for (r, s) \u2208 Z, where \u03c8rs rs However, as seen on the circle, perfect periodicity corresponds to the specific quantization in which \u03c3 = 0. The more general quantization is implemented by unitary symmetry operators generated by the fundamental region: 2 SxT f (x, y) = f (x + b, y) 2 SyT f (x, y) = f (x, y + a) (3.5) 2 Simultaneous normalized eigenstates and eigenvalues of H, SxT , and SyT are then: i\u03c3x i\u03b4y 1 T2 + ) \u03c8rs = \u221a exp(2\u03c0i(rx\/b + sy\/a) + b a ab 2 (3.6) 1 2\u03c0r + \u03c3 2 2\u03c0s + \u03b4 2 T2 Ers = (( ) +( ) ) (3.7) 2 b a for (r, s) \u2208 Z, where \u03c3 and \u03b4 are the phases picked up in completing a full circuit in the x and y directions respectively (eg: x goes to x+b). 3.2 Klein Bottle Foundations Beginning with the same identifications on the rectangle as for the torus, we join opposite ends. However, to obtain the Klein Bottle K 2 we introduce a twist before joining the ends, as shown in Fig. 3.2. Note that the construction used here is non-standard: the second twist has been included to introduce symmetry between x and y, whereas the standard (one twist) construction is asymmetrical (the untwisted direction behaves similarly to 8 \fChapter 3. Torus and Klein Bottle Foundations Figure 3.2: Klein Bottle Construction the torus). For this construction, the boundary conditions are: (x, y) = (\u2212x, y + a) (x, y) = (x + b, \u2212y) (3.8) Locally, Schrodinger\u2019s equation is the same for the Klein Bottle as for the torus (3.2). However, solutions are much different as a result of the boundary conditions. In terms of restricted integers (k,l) there are four groups of solutions given in Table 3.1. K \u03c8kl 2 \u03c0ly cos( \u03c0kx b )cos( a ) \u03c0ly sin( \u03c0kx b )cos( a ) \u03c0ly cos( \u03c0kx b )sin( a ) \u03c0ly sin( \u03c0kx b )sin( a ) K Ekl 2 \u03c0 k 2 2 (( b ) \u03c02 k 2 2 (( b ) \u03c02 k 2 2 (( b ) \u03c02 k 2 2 (( b ) 2 + ( al )2 ) + ( al )2 ) + ( al )2 ) + ( al )2 ) k parity l parity even even odd odd even odd even odd Table 3.1: Klein Bottle eigenstates and eigenvalues. Comparison of the Klein Bottle and torus states is easiest if we rewrite the torus states in terms of the restricted integers (k,l): 9 \fChapter 3. Torus and Klein Bottle Foundations 2 T \u03c8kl = exp(\u03c0i(kx\/b + ly\/a)) (3.9) \u03c02 k 2 l (( ) + ( )2 ) (3.10) 2 b a where k and l are both even. Comparing this to Table 3.1, we see that the energy spectrum has the same form for both spaces with a denser spectrum for the Klein Bottle. Expanding the exponential states for the torus, we see that the four states of the Klein Bottle are all present, but with different energies. From this, we can see that the particle on the Klein Bottle is the same as on the torus, but with the degeneracy in energy lifted by the symmetric twists introduced in the construction. Before continuing, we first simplify the Klein Bottle states into a compact form, allowing us to lift the restrictions on k and l. In order to do so, we first note that 1 + (\u22121)k evaluates to 0 if k is odd, and 2 if k is even. Applying this, the states can be written as: 2 T Ekl = 2 K \u03c8kl = sin( \u03c0kx \u03c0 \u03c0ly \u03c0 + (1 + (\u22121)l ))sin( + (1 + (\u22121)k )) b 4 a 4 (3.11) while the energies remain unchanged. As with the circle and torus before, this is the specific quantization assuming perfect periodicity. The unitary symmetry operators generated by the fundamental region are: 2 SxK f (x, y) = f (x + b, \u2212y) 2 SyK f (x, y) = f (\u2212x, y + a) (3.12) 2 Simultaneous normalized eigenstates and eigenvalues of H, SxK , and Sy are then: K2 K2 \u03c8kl r = 4 \u03c0kx \u03c3x \u03c0 sin( + + (1 + (\u22121)l ))\u2217 ab b 2b 4 \u03c0ly \u03b4y \u03c0 sin( + + (1 + (\u22121)k )) a 2a 4 1 \u03c0k \u03c3 \u03c0l \u03b4 K2 Ekl = (( + )2 + ( + )2 ) 2 b 2b a 2a (3.13) (3.14) 10 \fChapter 3. Torus and Klein Bottle Foundations for (k, l) \u2208 Z, where \u03c3 and \u03b4 are the phases picked up in completing two full circuits in the x and y directions respectively (eg: x goes to x+2b). 11 \fChapter 4 Torus Propagator 4.1 Torus Symmetry Propagator Consider a particle on the torus, which is subject to no further constraints. We wish to find the propagator describing that particle\u2019s motion: as with the circle it is possible to construct this propagator by a purely symmetrybased argument. Namely, consider the particle to be further constrained to travel in only the x-direction. The propagator, under this further constraint, should be identical to that of the particle on a circle, for this new constraint physically replicates exactly that. Likewise, constraining the particle to travel in the y-direction should also yield the propagator for a circle. This is reflected in the decomposition of the torus space, which can be expressed as T 2 = S 1 \u00d7 S 1 . Generalizing the derivation of the circle propagator with this in mind, we can express the torus propagator as a sum over winding numbers in each direction: 2 GT = X 2 Ar Bs GTrs (4.1) r,s where the coefficients, as for the circle, become phase factors and the individual propagators those of a free particle. Since we are now dealing with the general period b, we must rescale the coordinate by 2\u03c0 b in the free particle state, carrying it through to the final form of the propagator. The modified states (2.6), energies (2.7), and finally propagator (2.18) become: 1 1 i\u03c3x 2\u03c0 1 \u03c8nS = \u221a exp(i nx + ) b b b (4.2) 1 2\u03c0n \u03c3 2 1 EnS = ( + ) 2 b b (4.3) GS = ( 1 1\/2 ix2 \u03c3 xb b2 ) exp( )\u03983 ( \u2212 , ) 2\u03c0it 2t 2 2t 2\u03c0t (4.4) 12 \fChapter 4. Torus Propagator Making these substitutions into the torus propagator (4.1): 2 GT = X 1 i xb ya ib2 r2 ia2 s2 exp( (x2 + y 2 ) + ir(\u03c3 \u2212 ) + is(\u03b4 \u2212 ) + + ) 2\u03c0it 2t t t 2t 2t r,s (4.5) which, when we substitute the theta function (2.9), becomes: 2 GT = i \u03c3 xb b2 \u03b4 ya a2 1 exp( (x2 + y 2 ))\u03983 ( \u2212 , )\u03983 ( \u2212 , ) 2\u03c0it 2t 2 2t 2\u03c0t 2 2t 2\u03c0t (4.6) We recognize this as simply being the product of two propagators for the circle, as we expect given the relationship between the two spaces. 4.2 Torus Stationary State Propagator Now, as with the circle, we can check our result for the symmetry propagator (4.6) against the stationary state form. Beginning from the definition for the propagator as a sum over stationary states: G(xf , yf , t; xi , yi , 0) = \u221e X \u2217 \u03c8rs (xf , yf )\u03c8rs (xi , yi )exp(\u2212iErs t) (4.7) r,s=\u2212\u221e and substituting the normalized states (3.6) and energies (3.7), we find that the propagator for the torus is: 2 GT = X 1 i\u03c3x i\u03b4y exp(2\u03c0i(rx\/b + sy\/a) + + ab b a r,s \u2212 it 2\u03c0r + \u03c3 2 2\u03c0s + \u03b4 2 (( ) +( ) )) 2 b a (4.8) where x = xf \u2212 xi , y = yf \u2212 yi , and the argument of the propagator shall once more be suppressed. Substituting the theta function (2.9) into the above propagator (4.8) yields: 13 \fChapter 4. Torus Propagator 2 1 i\u03c3x i\u03b4y it\u03c3 2 it\u03b4 2 exp( + \u2212 2 \u2212 2 )\u2217 ab b a 2b 2a \u03c0x \u03c0\u03c3t 2\u03c0t \u03c0y \u03c0\u03b4t 2\u03c0t \u03983 ( \u2212 2 , \u2212 2 )\u03983 ( \u2212 2 ,\u2212 2 ) b b b a a a GT = (4.9) Applying the Jacobi identity (2.11), we find: 1 2\u03c0it \u22121\/2 2\u03c0it \u22121\/2 i\u03c3x i\u03b4y it\u03c3 2 it\u03b4 2 ( 2 ) ( 2 ) exp( + \u2212 2 \u2212 2 )\u2217 ab b a b a 2b 2a \u03c0x \u03c0\u03c3t 2 2\u03c0 2 it \u03c0y \u03c0\u03b4t 2 2\u03c0 2 it exp(( \u2212 2 ) \/ \u2212 2 )exp(( \u2212 2 ) \/\u2212 )\u2217 b b b a a a2 2\u03c0t b2 \u03c0y \u03c0\u03b4t 2\u03c0t a2 \u03c0x \u03c0\u03c3t \u2212 2 )\/ \u2212 2 , )\u03983 (( \u2212 2 )\/ \u2212 2 , ) \u03983 (( b b b 2\u03c0t a a a 2\u03c0t 2 GT = (4.10) which simplifies to: 2 GT = 1 i \u03c3 xb b2 \u03b4 ya a2 exp( (x2 + y 2 ))\u03983 ( \u2212 , )\u03983 ( \u2212 , ) 2\u03c0it 2t 2 2t 2\u03c0t 2 2t 2\u03c0t (4.11) in agreement with the symmetry propagator (4.6). 14 \fChapter 5 Klein Bottle Propagator 5.1 Klein Bottle Symmetry Propagator Now that we have a procedure for deriving the propagator through symmetry considerations, let us apply it to the Klein Bottle and compare with the stationary state result. We begin by recalling the symmetry for the Klein Bottle (3.12), and notice that two successive applications of the same symmetry operator looks like a single application of the torus symmetry (3.5) with twice the period: 2 2 (SxK )2 f (x, y) = SxK f (x + b, \u2212y) = f (x + 2b, y) (5.1) Since the Klein Bottle chosen is symmetric in x and y, it suffices to discuss only one direction: the other follows immediately. This suggests that the Klein Bottle propagator should contain a similar structure as the torus propagator with twice the period, which we will call G\u00b4T 2 . If we take 2 as an initial guess some combination of G\u00b4T 2 and S K , we can check certain properties. First, the propagator should only pick up a phase when the symmetry operator is applied (namely \u03c3\/2, since that would produce the required phase for two applications, ie: x goes to x+2b): 2 2 2 SxKf GK (xf , yf , t; xi , yi , 0) = exp(i\u03c3\/2)GK (xf , yf , t; xi , yi , 0) (5.2) and second, the propagator is unitary (ie: the propagator should preserve the norm of the states), since we can write: 2 2 2 K K \u03c8kl (xf , yf , t) = GK (xf , yf , t; xi , yi , 0)\u03c8kl (xi , yi , 0) (5.3) 2 In satisfying the first property (5.2), let us successively apply S K to 2 \u00b4 GT until we are left with a phase factor: 15 \fChapter 5. Klein Bottle Propagator 2 2 SxKf G\u00b4T 2 =SxKf X 1 i exp( ((x \u2212 2rb)2 + (y \u2212 2sa)2 ) + ir\u03c3 + is\u03b4) 2\u03c0it 2t r,s X 1 i exp( ((x + b \u2212 2rb)2 + (\u2212y\u0304 \u2212 2sa)2 ) + ir\u03c3 + is\u03b4) 2\u03c0it 2t r,s X 1 i = exp( ((x \u2212 b \u2212 2(r \u2212 1)b)2 + (\u2212y\u0304 \u2212 2sa)2 )+ 2\u03c0it 2t r,s = i\u03c3 + i(r \u2212 1)\u03c3 + is\u03b4) X 1 i =exp(i\u03c3) exp( ((x \u2212 b \u2212 2rb)2 + (\u2212y\u0304 \u2212 2sa)2 )+ 2\u03c0it 2t r,s ir\u03c3 + is\u03b4) 2 2 (SxKf )2 G\u00b4T 2 =(SxKf )2 (5.4) X 1 i exp( ((x \u2212 2rb)2 + (y \u2212 2sa)2 ) + ir\u03c3 + is\u03b4) 2\u03c0it 2t r,s X 1 i exp( ((x + 2b \u2212 2rb)2 + (y \u2212 2sa)2 ) + ir\u03c3 + is\u03b4) 2\u03c0it 2t r,s X 1 i = exp( ((x \u2212 2(r \u2212 1)b)2 + (y \u2212 2sa)2 )+ 2\u03c0it 2t r,s = i\u03c3 + i(r \u2212 1)\u03c3 + is\u03b4) X 1 i =exp(i\u03c3) exp( ((x \u2212 2rb)2 + (y \u2212 2sa)2 ) + ir\u03c3 + is\u03b4) 2\u03c0it 2t r,s =exp(i\u03c3)G\u00b4T 2 (5.5) where y\u0304 = yf + yi . Therefore, as an initial propagator, take: 2 2 2 GK =4(G\u00b4T 2 + exp(\u2212i\u03c3\/2)SxKf G\u00b4T 2 + exp(\u2212i\u03b4\/2)SyKf G\u00b4T 2 + 2 2 exp(\u2212i\u03c3\/2)exp(\u2212i\u03b4\/2)SxKf SyKf G\u00b4T 2 ) (5.6) where the norm has been chosen to satisfy the unitarity property (5.3), and the symmetry property (5.2) is obeyed as a result of (5.5): 16 \fChapter 5. Klein Bottle Propagator 2 2 2 2 2 2 SxKf GK =4(SxKf G\u00b4T 2 + exp(\u2212i\u03c3\/2)(SxKf )2 G\u00b4T 2 + exp(\u2212i\u03b4\/2)SxKf SyKf G\u00b4T 2 + 2 2 exp(\u2212i\u03c3\/2)exp(\u2212i\u03b4\/2)(SxKf )2 SyKf G\u00b4T 2 ) 2 2 2 =4(SxKf G\u00b4T 2 + exp(i\u03c3\/2)G\u00b4T 2 + exp(\u2212i\u03b4\/2)SxKf SyKf G\u00b4T 2 + 2 exp(i\u03c3\/2)exp(\u2212i\u03b4\/2)SyKf G\u00b4T 2 ) =exp(i\u03c3\/2)GK 2 (5.7) Substituting for the torus propagator (4.6) and applying the symmetry operators, the Klein Bottle propagator becomes: 2 GK = i \u03c3 xb b2 \u03b4 ya a2 2 (exp( (x2 + y 2 ))\u03983 ( \u2212 , )\u03983 ( \u2212 , )+ \u03c0it 2t 2 2t 2\u03c0t 2 2t 2\u03c0t i\u03c3 i exp( ((x + b)2 + (\u2212y\u0304)2 ) \u2212 )\u2217 2t 2 \u03c3 (x + b)b b2 \u03b4 y\u0304a a2 \u03983 ( \u2212 , )\u03983 ( + , )+ 2 2t 2\u03c0t 2 2t 2\u03c0t i i\u03b4 exp( ((\u2212x\u0304)2 + (y + a)2 ) \u2212 )\u2217 2t 2 \u03c3 x\u0304b b2 \u03b4 (y + a)a a2 \u03983 ( + , )\u03983 ( \u2212 , )+ 2 2t 2\u03c0t 2 2t 2\u03c0t i i\u03c3 i\u03b4 exp( ((\u2212x\u0304 + b)2 + (\u2212y\u0304 + a)2 ) \u2212 \u2212 )\u2217 2t 2 2 \u03c3 (x\u0304 \u2212 b)b b2 \u03b4 (y\u0304 \u2212 a)a a2 \u03983 ( + , )\u03983 ( + , )) (5.8) 2 2t 2\u03c0t 2 2t 2\u03c0t Applying the boundary conditions (3.8) associated with the symmetry operators to the final endpoints, we can transform \u001b \u001a x + b = (xf + b) \u2212 xi xf \u2212 xi = x \u2192 (5.9) \u2212y\u0304 = \u2212yf \u2212 yi yf \u2212 yi = y Applying this transformation to individual terms in the propagator (5.8) and factoring yields: 17 \fChapter 5. Klein Bottle Propagator 2 \u2212i\u03c3 \u2212i\u03b4 i\u03c3 i\u03b4 (1 + exp( ) + exp( ) + exp(\u2212 \u2212 ))\u2217 \u03c0it 2 2 2 2 2 i 2 \u03c3 xb b \u03b4 ya a2 exp( (x + y 2 ))\u03983 ( \u2212 , )\u03983 ( \u2212 , ) 2t 2 2t 2\u03c0t 2 2t 2\u03c0t 2 GK = 5.2 (5.10) Klein Bottle Stationary State Propagator Now, as with the torus, we substitute the normalized states (3.13) and energies (3.14) into the stationary state expression for the propagator (4.7) which yields: 2 GK = X 4 \u03c0kxf \u03c3xf \u03c0 sin( + + (1 + (\u22121)l ))\u2217 ab b 2b 4 k,l sin( \u03c0kxi \u03c3xi \u03c0 K2 + + (1 + (\u22121)l )) \u2217 ((Y )) \u2217 exp(\u2212iEkl t) b 2b 4 (5.11) where ((Y)) denotes the equivalent function of x for y (y replaces x, l replaces k, \u03b4 replaces \u03c3, etc.). Applying the product formula for sine, we have: 2 GK = X 1 \u03c0kx\u0304 \u03c3x\u0304 \u03c0 (cos( + + (1 + (\u22121)l ))\u2212 ab b 2b 2 k,l cos( \u03c0kx \u03c3x K2 + )) \u2217 ((Y )) \u2217 exp(\u2212iEkl t) b 2b (5.12) Rewriting as exponentials via Euler\u2019s formula, and using: \u03c0 exp(i (1 + (\u22121)l )) = exp(i\u03c0(l + 1)) 2 the propagator becomes: (5.13) 18 \fChapter 5. Klein Bottle Propagator 2 GK = X 1 \u03c3 x\u0304 ((exp(i(\u03c0k + ) + i\u03c0(l + 1))+ 4ab 2 b k,l \u03c3 x\u0304 exp(\u2212i(\u03c0k + ) + i\u03c0(l + 1)))\u2212 2 b \u03c3 x \u03c3 x (exp(i(\u03c0k + ) ) + exp(\u2212i(\u03c0k + ) )))\u2217 2 b 2 b K2 ((Y )) \u2217 exp(\u2212iEkl t) (5.14) Applying exp(i\u03c0) = \u22121 and cancelling the resulting overall -1 factor on both ((X)) and ((Y)), with (3.14) substituted the propagator becomes: 2 GK = X 1 \u03c3 x\u0304 \u03c3 x\u0304 (exp(i(\u03c0k + ) + i\u03c0l) + exp(\u2212i(\u03c0k + ) + i\u03c0l)+ 4ab 2 b 2 b k,l \u03c3 x \u03c3 x ) ) + exp(\u2212i(\u03c0k + ) ))\u2217 2 b 2 b \u03c32 \u03c3\u03c0k \u03c0 2 k 2 )) \u2217 ((Y )) exp(\u2212it( 2 + 2 + 8b 2b 2b2 exp(i(\u03c0k + (5.15) Carrying out the cross-multiplication and substituting the theta function (2.9) yields 16 terms of similar structure, so it is useful to define the following function: \u03c3u \u03c3 2 t \u03b4v \u03b42t \u2212 2+ \u2212 2 ))\u2217 2b 8b 2a 8a \u2212\u03c3\u03c0t \u03c0w \u03c0t \u2212\u03b4\u03c0t \u03c0z \u03c0t \u03983 ( + , \u2212 2 ) \u2217 \u03983 ( + ,\u2212 ) 4b2 2b 2b 4a2 2a 2a2 F (u, v, w, z) =exp(i( (5.16) Substituting this into the propagator yields: 19 \fChapter 5. Klein Bottle Propagator 2 GK = 1 (F (x\u0304, y\u0304, x\u0304 + b, y\u0304 + a) + F (x\u0304, \u2212y\u0304, x\u0304 + b, \u2212y\u0304 + a)+ 4ab F (\u2212x\u0304, y\u0304, \u2212x\u0304 + b, y\u0304 + a) + F (\u2212x\u0304, \u2212y\u0304, \u2212x\u0304 + b, \u2212y\u0304 + a)+ F (x\u0304, y, x\u0304, y + a) + F (x\u0304, \u2212y, x\u0304, \u2212y + a)+ F (\u2212x\u0304, y, \u2212x\u0304, y + a) + F (\u2212x\u0304, \u2212y, \u2212x\u0304, \u2212y + a)+ F (x, y\u0304, x + b, y\u0304) + F (x, \u2212y\u0304, x + b, \u2212y\u0304)+ F (\u2212x, y\u0304, \u2212x + b, y\u0304) + F (\u2212x, \u2212y\u0304, \u2212x + b, \u2212y\u0304)+ F (x, y, x, y) + F (x, \u2212y, x, \u2212y)+ F (\u2212x, y, \u2212x, y) + F (\u2212x, \u2212y, \u2212x, \u2212y)) (5.17) Now, as with the symmetry propagator, we can apply the boundary conditions to transform individual terms. Recalling (5.9): \u001b \u001a x + b = (xf + b) \u2212 xi xf \u2212 xi = x \u2192 \u2212y\u0304 = \u2212yf \u2212 yi yf \u2212 yi = y We can also write: x + b = xf \u2212 (xi \u2212 b) y\u0304 = yf + yi \u001b \u001a \u2192 xf \u2212 xi = x yf \u2212 yi = y (5.18) Applying these transformations to the propagator (5.17) yields: 2 GK = 1 (4F (x \u2212 b, y \u2212 a, x, y) + 2F (x, y \u2212 a, x, y)+ 4ab 2F (x, \u2212y \u2212 a, x, \u2212y) + 2F (x \u2212 b, y, x, y)+ 2F (\u2212x \u2212 b, y, \u2212x, y) + F (x, y, x, y)+ F (x, \u2212y, x, \u2212y) + F (\u2212x, y, \u2212x, y) + F (\u2212x, \u2212y, \u2212x, \u2212y)) (5.19) There is one last type of transformation we can generate from applying the boundary condition twice, once on each endpoint: \u001b \u001a x = (xf + b) \u2212 (xi + b) xf \u2212 xi = x \u2192 (5.20) \u2212y = \u2212yf + yi yf \u2212 yi = y which allows us to further collapse the propagator into: 20 \fChapter 5. Klein Bottle Propagator 2 GK = 1 (F (x \u2212 b, y \u2212 a, x, y) + F (x, y \u2212 a, x, y)+ ab F (x \u2212 b, y, x, y) + F (x, y, x, y)) (5.21) Applying the Jacobi identity (2.11) to our function F, we can rewrite it as: \u03c3u \u03c3 2 t \u03b4v \u03b42t 2ab )exp(i( \u2212 2+ \u2212 2 ))\u2217 i\u03c0t 2b 8b 2a 8a \u2212\u03c3\u03c0t \u03c0w 2 \u03c0 2 t \u2212\u03b4\u03c0t \u03c0z 2 \u03c0 2 t exp(i( + ) \/ )exp(i( + ) \/ 2 )\u2217 4b2 2b 2b2 4a2 2a 2a \u2212\u03c3\u03c0t \u03c0w \u03c0t 2b2 \u03983 (( + )\/ \u2212 2 , )\u2217 4b2 2b 2b \u03c0t \u2212\u03b4\u03c0t \u03c0z \u03c0t 2a2 \u03983 (( + )\/ \u2212 , ) (5.22) 4a2 2a 2a2 \u03c0t F (u, v, w, z) =( which simplifies to: 2ab \u03c3(u \u2212 w) w2 \u03b4(v \u2212 z) z 2 )exp(i( + + + ))\u2217 i\u03c0t 2b 2t 2a 2t \u03c3 wb 2b2 \u03b4 za 2a2 \u03983 (( \u2212 ), )\u03983 (( + ), ) (5.23) 2 t \u03c0t 2 t \u03c0t F (u, v, w, z) =( Substituting this into our expression for the propagator (5.21) yields: 2 GK = \u2212\u03c3 x2 \u2212\u03b4 y 2 2 (exp(i( + + + ))+ i\u03c0t 2 2t 2 2t x2 \u2212\u03b4 y 2 \u2212\u03c3 x2 y 2 exp(i( + + )) + exp(i( + + ))+ 2t 2 2t 2 2t 2t x2 y 2 \u03c3 xb 2b2 \u03b4 ya 2a2 exp(i( + )))\u03983 (( \u2212 ), )\u03983 (( + ), ) (5.24) 2t 2t 2 t \u03c0t 2 t \u03c0t which can be rewritten as: 21 \fChapter 5. Klein Bottle Propagator 2 2 \u2212i\u03c3 \u2212i\u03b4 i\u03c3 i\u03b4 (1 + exp( ) + exp( ) + exp(\u2212 \u2212 ))\u2217 \u03c0it 2 2 2 2 2 i 2 \u03c3 xb b \u03b4 ya a2 exp( (x + y 2 ))\u03983 ( \u2212 , )\u03983 ( \u2212 , ) 2t 2 2t 2\u03c0t 2 2t 2\u03c0t GK = (5.25) in agreement with the symmetry propagator (5.10). 22 \fChapter 6 Additional Constraints 6.1 Constraint Applied to Torus Suppose we wish to apply additional constraints to the systems, such as the constraint: py \u03c8 = 0 (6.1) Imposition of such a constraint corresponds to the particle model of a gauge theory that is a simple analog of the one in [3]. Because of the phase that appears in the states we cannot simply use the old momentum operator py = \u2212i\u2202y , but must instead determine a new momentum operator which includes the phase. As a first step in determining the new form, consider the effect of our old momentum operator on the state: 2\u03c0s \u03b4 T 2 + )\u03c8rs a a Therefore a momentum operator of the form: 2 T py \u03c8rs =( (6.2) 1 \u03b4 = \u2202y \u2212 (6.3) i a will eliminate the constant factor and allow us to satisfy the constraint (6.1) which becomes: pTy 2C 2\u03c0s T 2 \u03c8 =0 (6.4) a rs with the condition s=0. With the new momentum operator, the energy spectrum becomes: pTy 2C 2 T \u03c8rs = 1 2\u03c0r 2 2\u03c0s 2 T 2C Ers = (( ) +( ) ) 2 b a and the constrained states and energies become: (6.5) 23 \fChapter 6. Additional Constraints 1 2\u03c0irx i\u03c3x i\u03b4y T 2C \u03c8r0 = \u221a exp( + + ) b b a ab (6.6) 1 2\u03c0r 2 T 2C Er0 = ( ) (6.7) 2 b Note that the constrained system matches that of the circle with periodicity b, as is reasonable to expect given the nature of the constraint we\u2019ve imposed. While the y coordinate still appears in the constrained state, the constraint implies that this term merely contributes an overall identical phase factor to the individual states. By redefining our coordinate system to shift the x-axis to position y, this phase factor can be eliminated. 6.2 Constraint Applied to Klein Bottle Now consider applying the same constraint (6.1) to the Klein Bottle. The old momentum operator py = \u2212i\u2202y acting on our eigenstates (3.13) yields: K2 py \u03c8kl r 4 \u03c0l \u03b4 \u03c0kx \u03c3x \u03c0 ( + )sin( + + (1 + (\u22121)l ))\u2217 ab a 2a b 2b 4 \u03c0ly \u03b4y \u03c0 + + (1 + (\u22121)k )) cos( a 2a 4 \u03c0l \u03b4 K2 = \u2212 i( + )\u03c8\u0303kl a 2a =\u2212i (6.8) so we see that our eigenstates of the Hamiltonian are not eigenstates of the old momentum operator. 2 To see why that is, consider the commutator of py and SxK : 2 2 2 [py , SxK ]f (x, y) =(\u2212i\u2202y SxK + SxK i\u2202y )f (x, y) 2 \u2202f (x, y) = \u2212 i\u2202y f (x + b, \u2212y) + iSxK \u2202y \u2202f (x + b, \u2212y) \u2202f (x + b, \u2212y) =\u2212i \u2212i 6= 0 \u2202y \u2202y (6.9) Since the operators do not commute, unlike on the torus, it is not possible to simultaneously diagonalize the states. Eigenstates of the Hamiltonian must also be eigenstates of the symmetry operator, so it is not possible to form eigenstates of the momentum operator. As such, we cannot impose 24 \fChapter 6. Additional Constraints the constraint (6.1) on the Klein Bottle, since any candidate for a new momentum operator would also not commute with the symmetry operator. 25 \fChapter 7 Conclusion By considering relative symmetries between two systems, one for which the propagator is known and one for which we wish to find the propagator, we have derived the desired propagator without applying any knowledge of the states of the target system. For the torus, we began with the circle and the knowledge that in both the x and y directions, motion around the torus replicates motion around the circle. For the non-standard (double-twist) Klein Bottle, we began with the torus and the knowledge that motion twice around the Klein Bottle in either direction replicates motion once around the torus. Armed with these relationships and the symmetries obeyed on each space, we have found the propagator for the torus and Klein Bottle. In each case, we have checked our result against the stationary state construction and found the propagators to agree. In this way, it should be possible to construct the propagator for more complex systems, provided one can relate the desired system to a simpler one for which the propagator is known. For example, the standard (singletwist) Klein Bottle is a mix between the two systems solved here, and as such its propagator would be a blend between the torus propagator in one dimension and the non-standard Klein Bottle in the other. One can treat composite systems in much the same way, eg: the torus is composed of two circles, one in each dimension x and y. Furthermore, we have also treated briefly the topic of applying further constraints to these systems. As a result, we have shown that not all constraints are viable candidates to be applied, they must commute with the symmetry operators of the system. On the torus, the constraint py \u03c8 = 0 does commute with the symmetries, and the resulting constrained states resemble those of the circle as expected. On the Klein Bottle, the momentum 2 operator does not commute with one of the symmetries (namely, SxK ), and so the constraint cannot be applied. Attempting to do so exposed the fact that the eigenstates of the Hamiltonian are not eigenstates of the momentum operator. 26 \fBibliography [1] T. M. Apostol. Mathematical Analysis. Addison-Wesley, 2nd edition, 1974. [2] J. S. Dowker. Quantum mechanics and field theory on multiply connected and on homogeneous spaces. J. Phys. A: Gen. Phys., 5(936), 1972. [3] R. Friedberg et al. A soluble gauge model with gribov-type copies. Annals Phys., 246(381), 1996. [4] M. G. G. Laidlaw and C. M. DeWitt. Feynman functional integrals for systems of indistinguishable particles. Phys. Rev. D, 3(1375), 1971. [5] L. S. Schulman. A path integral for spin. Phys. Rev., 176(1558), 1968. [6] L. S. Schulman. Techniques and Applications of Path Integration. Wiley, 1981. 27 \fAppendix A Jacobi Theta Function Identities Beginning with the definition of the Jacobi theta function (2.9): \u03983 (Z, T ) = \u221e X exp(i\u03c0n2 T + 2inZ) (A.1) n=\u2212\u221e we first prove the periodicity identity (2.10), where for (a, b) \u2208 Z: \u03983 (Z + a\u03c0 + b\u03c0T, T ) = X = X exp(i\u03c0n2 T + 2in(Z + a\u03c0 + b\u03c0T )) n exp(i\u03c0n2 T + 2inZ + 2inb\u03c0T )exp(2\u03c0ina) n (A.2) The second factor in the sum is unity for all values of n and a, and completing the square on b yields: \u03983 (Z + a\u03c0 + b\u03c0T, T ) = X = X exp(i\u03c0n2 T + 2inZ + 2inb\u03c0T + i\u03c0b2 T \u2212 i\u03c0b2 T ) n exp(i\u03c0(n + b)2 T + 2inZ \u2212 i\u03c0b2 T ) (A.3) n Finally, we re-index the sum from n to n+b, continuing to write it as being over n (since it goes from -\u221e to \u221e): 28 \fAppendix A. Jacobi Theta Function Identities \u03983 (Z + a\u03c0 + b\u03c0T, T ) = X = X exp(i\u03c0n2 T + 2i(n \u2212 b)Z \u2212 i\u03c0b2 T ) n exp(i\u03c0n2 T + 2inZ)exp(\u22122ibZ \u2212 i\u03c0b2 T ) n = \u03983 (Z, T )exp(\u22122ibZ \u2212 i\u03c0b2 T ) (A.4) which gives us the identity (2.10). Proving the second required identity for the Jacobi theta function (2.11), we begin by applying the Poisson summation formula to the theta function in a more general form than presented by Apostol [1], for which only the Z=0 case is proven: \u03983 (Z, T ) = \u221e X i\u03c0n2 T +2inZ e \u221e Z X = \u221e 2 T +2ixZ ei\u03c0x e2\u03c0ixn dx (A.5) n=\u2212\u221e \u2212\u221e n=\u2212\u221e Recognizing the integral on the right as the Fourier transform of the theta function, we find: \u03983 (Z, T ) = \u221e X (\u2212iT )\u22121\/2 exp(\u2212i n=\u2212\u221e \u22121\/2 \u2212iZ 2 \/\u03c0T = (\u2212iT ) e (Z + \u03c0n)2 ) \u03c0T \u221e X n=\u2212\u221e exp(\u2212 2iZn i\u03c0n2 \u2212 ) T T (A.6) which, using \u03983 (\u2212Z, T ) = \u03983 (Z, T ), gives us the second identity (2.11): \u03983 (Z, T ) = (\u2212iT )\u22121\/2 exp(Z 2 \/i\u03c0T )\u03983 (Z\/T, \u22121\/T ) (A.7) 29 ","@language":"en"}],"Genre":[{"@value":"Thesis\/Dissertation","@language":"en"}],"GraduationDate":[{"@value":"2009-11","@language":"en"}],"IsShownAt":[{"@value":"10.14288\/1.0070863","@language":"en"}],"Language":[{"@value":"eng","@language":"en"}],"Program":[{"@value":"Physics","@language":"en"}],"Provider":[{"@value":"Vancouver : University of British Columbia Library","@language":"en"}],"Publisher":[{"@value":"University of British Columbia","@language":"en"}],"Rights":[{"@value":"Attribution-NonCommercial-NoDerivatives 4.0 International","@language":"en"}],"RightsURI":[{"@value":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/","@language":"en"}],"ScholarlyLevel":[{"@value":"Graduate","@language":"en"}],"Title":[{"@value":"Path integrals for multiply connected spaces","@language":"en"}],"Type":[{"@value":"Text","@language":"en"}],"URI":[{"@value":"http:\/\/hdl.handle.net\/2429\/12635","@language":"en"}],"SortDate":[{"@value":"2009-12-31 AD","@language":"en"}],"@id":"doi:10.14288\/1.0070863"}