DENSITY OF HEAT CURVES IN THE MODULI SPACE

Transcription

1 PANORAMAS OF MATHEMATICS BANACH CENTER PUBLICATIONS, VOLUME 34 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1995 DENSITY OF HEAT CURVES IN THE MODULI SPACE A. BOBENKO 1 Technische Universität Berlin, Berlin, Germany N. ERCOLANI 2 University of Arizona, Tucson, AZ 85721, USA H. KNÖRRER E. TRUBOWIT Z ETH-Zentrum, CH-8092 Zürich, Switzerland 1. Introduction. Let For q in L 2 R 2 /Γ, let Γ L 1, 0Z 0, L 2 Z L 1, L 2 0. H + q be the corresponding heat operator. Set 2 x 1 x 2 + qx 1, x 2 2 Ĥq {k 1, k 2 C 2 there is a nontrivial ψ H 2 kr 2, such that H + qψ 0}, 1991 Mathematics Subject Classification: Primary: 30F10. Secondary: 35Q53. Lecture given by H. Knörrer at the Banach Center Colloquium on 6th May Partially supported by the Alexander von Humboldt Stiftung and the Sonderforschungsbereich 288; on leave of absence from St. Petersburg Branch of Steklov Mathematical Institute, St. Petersburg, Russia. 2 Supported by the National Science Foundation DMS and the Arizona Center for Mathematical Sciences, sponsored by AFOSR Contract FQ The paper is in final form and no version of it will be published elsewhere. [19]

2 20 A. BOBENKO ET AL. where H 2 kr 2 {ψ H 2 locr 2 such that ψx + γ e i<k,γ> ψx for all γ Γ}. The dual lattice Γ 2π, 0 Z L 1 0, 2π L 2 Z acts by translation on Ĥ. The heat curve associated to q is, by definition, Hq Ĥq/Γ. In [7] it is shown that H is a complex analytic subvariety of C 2. In [10] it is shown that for generic q the heat curve Hq is smooth and of infinite genus. In [7] a normalized basis of L 2 -holomorphic one forms is constructed, the Riemann operator and associated theta function are analyzed, a vanishing theorem is proved and a Torelli theorem is obtained. Using these results we expect to solve the periodic Kadomtsev-Petviashvili KP equation with initial data q and to show that the solution is almost periodic in the time whenever Hq is smooth. In [10] it is shown that for any T the solution of KP can be arbitrary well approximated on 0 t T by a finite but large gap solution of KP. This is done by approximating Hq with curves of finite genus. The results mentioned above suggest that heat curves are a very natural class of transcendental curves. In this paper we further substantiate this suggestion, by proving that every compact Riemann surface can be arbitrarily well approximated by the normalisations of heat curves. Recall that the normalisation Hq of Hq is obtained by constructing the analytic configuration [12] in the sense of Weyl associated to any smooth germ of Hq. It is a Riemann surface. One can imagine that Hq is the affine part of a finite genus curve when there are enough singularities. Theorem 1. For each g 1, the set of Riemann surfaces of genus g that are normalisations Hq of heat curves Hq, where q L 2 R 2 /Γ for some rectangular lattice Γ, is dense in the moduli space M g of all Riemann surfaces of genus g. Let C be any compact Riemann surface, p a point on C and ζ a local coordinate centered at p. Also, let ux, y, t 2 2 log ΘxU + yv + tw + D + 2c 1 x2 be the solution of the Kadomtsev-Petviashvili equation u yy 4 u t uu x + u xxx x

3 DENSITY OF HEAT CURVES 21 generated by C see [9]. If this solution is periodic in x and y, then C {p} is isomorphic to Hux 1, x 2, t for any t, D. Denote by M the space of triples C, p, ζ. Here, C is a compact Riemann surface, p a point on C and ζ the 3-jet of a local coordinate centered at p. Theorem 1 is a direct consequence of Theorem 2. Let M per be the set of points C, p, ζ for which there are L 1, L 2 0 such that the solution of KP given above satisfies Then, M per is dense in M g. ux + L 1, y, t ux, y + L 2, t ux, y, t. The technique of Schottky uniformisation used to prove Theorem 2 also yields similar results for curves that generate real solutions of the KP-equation and the KdV-equation. To formulate them, let M R be the set of all quadruples C, p, ζ, σ with C, p, ζ M and σ an antiholomorphic involution on C whose fixed point set consists of g+1 ovals, contains p and satisfies σ ζ ζ. For these quadruples, the solution 1 is real whenever D is real. We have Theorem 3. Let M R,per be the set of points C, p, ζ, σ in M R for which there are L 1, L 2, T 0 such that the corresponding solution 1 satisfies ux + L 1, y, t ux, Y + L 2, t ux, y, t, ux, y, t + T ux, y, t. Then, M R,per is dense in M R. Theorem 3 has been proved in [8] by a different method. A stronger version of Theorem 2 has been announced by I. Krichever in [11]. To formulate the last result, let N be the set of points C, p, ζ, σ in M R for which C is hyperelliptic and p is Weierstrass point on C. In this case, 1 is independent of y and is a solution of the Korteweg-de Vries equation 4u t 6uu x + u xxx. Theorem 4. Let N per be the set of points in N for which there are L, T 0 such that the corresponding solution of the Korteweg-de Vries equation satisfies Then, N per is dense in N. ux + L, t ux, t + T ux, t. Again, a stronger version of Theorem 4, namely that the differential of the map 7 below has a maximal rank everywhere, has been proven by I. Krichever see [3].

4 22 A. BOBENKO ET AL. 2. Proofs. To begin the proofs we first specify the constants in 1. Let C, p, ζ M and a 1,..., a g, b 1,..., b g be a normalized basis of H 1 C, Z and w w 1,..., w g the vector of differentials on C normalized so that w m 2πiδ mn, m, n 1,..., g. a n Furthermore, let RC nm be the Riemann period matrix of C. Observe that the theta function of C depends on the choice of the basis of homology, but the second logarithmic derivative in 1 does not and that ux, y, t only depends on the point xu + yu + tw + D in JacC C 2g /{2πZ g RCZ g }. The constants U, V, W of 1 are characterized by b m w n w Udζ + V ζdζ + W ζ 2 dζ near p. We first prove Theorem 2. Write U 2πi 1 + RC 2 V 2πi 3 + RC 4 2 with vectors i Q g. Clearly 1 has the required periodicity if i Q g. Observe that this property is independent of the choice of the basis of homology. Let M be the covering of M consisting of points C, p, ζ of M together with a choice of a basis of homology. Associating to each element of M the vector 1,..., 4 R 4g as above we get a real analytic mapping : M R 4g. To prove Theorem 2 it suffices to show that has maximal rank almost everywhere. As this map is analytic it is enough to show that has maximal rank at one point of M. For this purpose and also for the proofs of Theorems 3, 4 we use the technique of Schottky uniformization [2], [4], [5], which we now briefly review. For A, B, µ C g C g C g let σ n be the linear transformations defined by σ z z B n σ n z A n µ n z B n z A n z C, n 1,..., g. The map σ n maps the outside of the circle of radius A n B n µ n 1 µn

5 DENSITY OF HEAT CURVES 23 and centered at B n µn A n 1 µn µn 1 µn to the inside of the circle of the same radius and center at 1 A n µn B n µn µn 1. µn Let S be the set of all A, B, µ C g C g C g for which all the discs bounded by these circles are disjoint. Clearly S is an open subset of C g C g C g and contains the full-dimensional subset of all points for which all A s, B s are mutually different and µ s are sufficiently small. For A, B, µ S the complement of the discs mentioned above is a fundamental domain for the Schottky group G generated by σ 1,..., σ g. Let Ω be the region of discontinuity for G. Then C Ω/G is a compact Riemann surface of genus g. It has a distinguished local coordinate ζ z 1. Further the images of the circles above define a-cycles on C, so that C is extended with a marking of homology. Thus we get a map Y : S M whose image is an open subset of M. In order to describe the map Y we give formulas for the relevant data in terms of A, B, µ. Denote by G n the cyclic subgroup of G generated by σ n. The series w n σ G/G n 1 z σb n 1 z σa n dz, n 1,..., g, where G/G n is the right coset space define the normalized holomorphic differentials on G. The period matrix is given by RC nm log{b m, A m, σb n, σa n }, m n, 3 σ G m\g/g n RC nn log µ n + log{b n, A n, σb n, σa n }, σ G n\g/g n,σ I where the curly brackets indicate the cross-ratio {z 1, z 2, z 3, z 4 } z 1 z 3 z 2 z 4 z 1 z 4 z 2 z 3. These are 2-dimensional Poincaré theta-series and they converge absolutely, if µ is sufficiently small [1], [6]. Furthermore U n σ G/G n σa n σb n,

6 24 A. BOBENKO ET AL. V n W n σ G/G n σ G/G n σa n 2 σb n 2, 4 σa n 3 σb n 3. Lemma 1. The asymptotics of the series 3, 4 as µ 0 are U n A n B n + O µ, V n A 2 n B 2 n + O µ, R nm O1, n m, R nn log µ n + O1. These O-estimates are uniform in derivatives in A and B. We postpone the proof of this Lemma and continue with the proof of Theorem 2. From 2 one deduces that π 1 2π Im RRe R 1 Im U Im V Re R 1. Re U Re V Using the Lemma this gives 1 n 1 1 2π ImA n B n + O, log µ 1 2 n log µ n ReA 1 n B n + O log µ 2 3 n 1 1 2π ImA2 n Bn 2 + O, log µ 1 4 n log µ n ReA2 n Bn O log µ 2 So if we choose Â, B, µ S with Âi, B i all different and µ sufficiently small then the derivative of Y with respect to A and B is invertible at this point, since the map C 2g R 4g, A, B ReA n B n ; ImA n B n ; ReA 2 n Bn; 2 ImA 2 n Bn 2 is invertible at Â, B. For the proof of Theorem 3 we need a more detailed expansion of U, V than in Lemma 1. Lemma 2. U n A n B n + k n µ k u nk + O µ 2, V n A 2 n B 2 n + k n µ k v nk + O µ 2, W n A 3 n B 3 n + k n µ k w nk + O µ 2,,.

7 DENSITY OF HEAT CURVES 25 where [ ] u nk A n B n A k B k 2 1 A k A n A k B k + 1, B k A n B k B n [ ] v nk A n B n A k B k 2 2B k A k A n A k B k + 2A k, 5 B k A n B k B n [ w nk A n B n A k B k 2 3Bk 2 A k A n A k B k + 3A 2 ] k, B k A n B k B n Proof of Lemma 2 and Lemma 1: We only discuss the formula for U, the other cases being similar. Every element σ of Schottky group is a loxodromic linear transformation and is represented by a matrix in P SL2, C of the form 1 rf1 r 1 F 2 F 1 F 2 r 1 r F 1 F 2 r r 1 r 1, F 1 rf 2 where F 1, F 2 are the fixed points of σ. If l is the length of σ represented as a word in σ 1,..., σ g i.e. l m m k if σ σ m 1 n 1... σ m k n k is a reduced representation, then r O µ l. In particular z 1 z 2 F 1 F 2 σz 1 σz 2 r z 1 + F 1 z 2 + F 1 + O µ l+1. 6 If we take σ I in the series 4 for U n we get the term A n B n. If we take σ σ k and σ σk 1 we get the terms µ k u nk + O µ 2. Because of 6 all other terms in this series are of order µ 2. Proof of Theorem 3: Let S R : { A, B, µ S B Ā, µ Rg}. The image of S R under the map from S to M described above is M R [2], [5]. In this case the vectors U, V, W are purely imaginary. The associated solution of the KP equation is triply periodic if 1 2πi U, 1 2πi V, 1 2πi W Q3g. Therefore it is enough to show that the map given by U, V, W : S R ir 3g has maximal rank at one point. The determinant of the Jacobian of this map with respect to A, B, µ at µ 0 is U n U n U n A k B k µ k V n V n V n A k B k µ k W n W n W n A k B k µ k µ0

8 26 A. BOBENKO ET AL. I I u nk 2 diaga 1,..., A g 2 diagb 1,..., B g v nk 3 diaga 2 1,..., A2 g 3 diagb1 2,..., B2 g w nk 2 diaga 1 B 1,..., A g B g v nk 2A n u nk 3 diaga 2 1 B2 1,..., A2 g Bg 2 w nk 3A 2 nu nk 2 g g A n B n det F, n1 F nk w nk 3 2 A n + B n v nk + 3A n B n u nk, To calculate det F we note that det F g 3 g A n B n 3 det F, n1 F nk B k A n B k B n A k A n A k B n + A k A n A k B n B k A n B k B n, k n, F nn 0. If we set then in the limit Im α we have and finally det F 0. Proof of Theorem 4: Let A n n + α, B n Ān, F nk 2, k n, F nn 0 S hyp : { A, B, µ S A ir g, B Ā, µ Rg}. The image of S R under the map from S to M described above is N [2], [4]. As before it suffices to show that the map U, W : S hyp ir 2g 7 has maximal rank at one point. For U n and W n we have the following series U n 2A n + k n µ n u nk + O µ 2, W n 2A 3 n + k n µ n w nk + O µ 2,

9 DENSITY OF HEAT CURVES 27 where in u nk and w nk given by 5 we should substitute B A. After this substitution the determinant of the Jacobian of the map 7 with respect to A and µ at µ 0 is U n A k W n A k U n µ k W n µ k 2I u nk 6 diaga 2 1,..., A2 g w 2g det F, nk µ0 F nk W nk 3A 2 nu nk, det F g 24 g A 3 k det F, k1 F nk 2, k n, F nn 0. Again, det F 0 proves the nondegeneracy. References [1] H. F. B aker, Abel s Theorem and the Allied Theory Including the Theory of Theta- Functions, Cambridge Univ. Press, Cambridge [2] E. Belok olos, A. B obenko, V. Enolskii, A. Its, V. M atveev, Algebro-Geometric Approach to Nonlinear Integrable Equations, Springer-Verlag [3] R. B ikbaev, S. Ku ksin, On the parametrization of finite-gap solutions by frequency vector and wave-number vector and a theorem of I. Krichever, Lett. Math. Phys , [4] A. I. Bobenko, Schottky uniformization and finite-gap integration, Soviet Math. Dokl , [5] A. I. Bobenk o, L. A. Bordag: Periodic multiphase solutions of Kadomtsev-Petviashvili equation, J. Phys. A , [6] W. Burnsid e, Proc. London Math. Soc , [7] J. Feldman, H. Knörrer, E. Trubowitz, Riemann surfaces of infinite genus I, II, III. Preprints ETH Zürich 1993/1994. [8] D. Giesek er, A Lattice Version of the KP Equation, Acta Math , [9] I. M. Krichever, Methods of algebraic geometry in the theory of nonlinear equations, Russian Math. Surveys , [10] I. M. Krichev er: Spectral theory of two dimensional periodic operators and its applications, Russian Math. Surveys , [11] I. M. Kricheve r, The τ-function of the universal Whitham hierarchy, matrix models and topological field theories, Comm. Pure Appl. Math , [12] G. Springe r, Introduction to Riemann surfaces, Addison-Wesley 1957.