BRANCH STRUCTURE OF J-HOLOMORPHIC CURVES NEAR PERIODIC ORBITS OF A CONTACT MANIFOLD ADAM HARRIS AND KRZYSZTOF WYSOCKI Abstract: Let M be a three-dimensional contact manifold, and ip : -D\{0} — ► M x R a finite-energy pseudoholomorphic map from the punctured disc in C that is asymptotic to a periodic orbit of the contact form. This article examines conditions under which smooth coordinates may be defined in a tubular neighbourhood of the orbit such that ip resembles a holomorphic curve, invoking comparison with the theory of topological linking of plane complex algebroid curves near a singular point. Examples of this behaviour which are studied in some detail include pseudoholomorphic maps into E Pi9 x R, where E P)9 denotes a rational ellipsoid (contact structure induced by the standard complex structure on C 2 ), as well as contact structures arising from non-standard circle-fibrations of the three-sphere. math reviews subject classification: 32 Q65, 53 D10 1 1. Introduction The local theory of pseudoholomorphic maps from a Riemann surface into an almost complex, symplectic 4-manifold (A4, J,u>) is developed largely around comparisons with the classical theory of plane algebroid curves. Following the initial investigations of Gromov, in work of Mc- Duff [12], Micallef and White [14], and Sikorav [15], methods of con- struction of local diffeomorphisms between neighbourhoods of p G M. 2k and G C fc (specifically, k = 2) were found in order to exhibit singular J-holomorphic curves vp : (C, 0) — >(A4,p) as being locally equivalent to holomorphic ones. As a result the local topological data associated with singularities of plane curves can be transferred to the pseudoholo- morphic context. Recall that the germ of an algebraic curve T with singularity at G C 2 of multiplicity n is represented by the vanishing locus of a function f(wi,W2) G O&iU) for some neighbourhood U of the origin, such that the homogeneous polynomial H n (wi,W2) of terms of minimal degree n in the Taylor expansion of / at 0, has n > 2. Each linear factor of H n describes a complex tangent line to V at 0, hence in order that the germ of V be irreducible at the origin it is necessary that H n be the n-th power of a single linear term. If § 3 bounds a ball of radius e in U, then the geometric locus of this term (i.e., ignoring multiplicity) intersects S 3 . in a great circle C corresponding to the axis of a solid torus in which r fl S 3 . also describes the trajectory of an iter- ated torus knot Ky- The topological "linking" of Ky with C provides a set of numerical invariants in addition to the multiplicity, on which the classification of singular curve-germs is based (cf., e.g., [2]). The existence of a local analytic parametrization of T is a problem first studied systematically by Newton, and later developed rigorously by Weierstrass and Puiseux among others. Thus T may be represented in standard form as the image of a holomorphic map $ : (D, 0) — > (W,0) , D C C, such that $(z) = (z n ,E i > n+1 a i z i ) (cf. [2]). This type of series expansion takes advantage of the natural splitting of C 2 into a product of coordinate planes. In order to see conveniently the relationship between certain essential exponents of the parametrization and the linking invariants of Ky most treatments therefore replace the ball bounded by § 3 with a bidisc A x A (this is after all homeomorphic to the ball, hence topological data are preserved). On the other hand, the totality of all complex 1-dimensional subspaces of C 2 induces a fibration of §> 3 by great circles, discovered by Hopf. Given a vector v p G C 2 corresponding to p G S> 3 , the standard complex structure J defines a vector field X(p) := J • v p which is tangent to the great circle 2 through each p G S 3 . Via the Euclidean inner product on R 4 as C 2 , the orthogonal complement of X in TS 3 defines a non-integrable plane- field, or "contact structure", on S 3 corresponding to the kernel of the 1-form Ao which is the metric dual of X. The splitting of TC 2 |§3 induced by this structure provides an alternative natural frame for the relationship between Kr and holomorphic parametrization of plane curves, though we will return to this matter only in the final section as the "classical model" of a more general study. Contact structures are defined on manifolds M of odd dimension, though for the purposes of this article we will always assume the di- mension to be three. If A is a 1-form representing such a structure, the extension of uo := dX to M x R determines a "symplectisation" of (M, A). Conversely, compact symplectic manifolds (A4,ou) with ends of symplectisation type motivate the role of contact geometry within modern symplectic topology. Through the work of Hofer, Wysocki and Zehnder [8], [9] and Eliashberg [3], J-holomorphic curves have been adapted via symplectisation to contact geometry and topology, specifically as a tool for analysing the Weinstein conjecture [6] and conversely for explicit construction of moduli of pseudoholomorphic maps into manifolds M with symplectisation-type ends [3], [9]. Re- call that the "Reeb vector field" X associated with a given structure A is uniquely determined by the conditions A(X) = 1 , CxX = (Lie symmetry). The Weinstein conjecture asserts that the Reeb flow of a compact contact 3-manifold always admits at least one closed charac- teristic (or "periodic orbit") 7 : S 1 — > M such that 7(t) = X^it)). If £ C TM denotes the plane-field corresponding to ker(X), then a contact structure on M is said to be "pseudohermitian" when it is equipped with a partial almost complex structure j G C°°(M, £ <8> £*) such that dX(*,j ■ *) \% is a positive definite and symmetric quadratic form. The splitting of TM via X and £ also provides a natural ex- tension of j to T(M x R) in relation to which the Cauchy-Riemann equation is defined for pseudoholomorphic maps into Mxl (cf., e.g., [6]). _ ^ ; Let : E — > M x R be one such map. For any smooth function h : R — > [0, 1] we may extend the contact form to M x R by defining X h (p,a) = h(a) ■ X(p) to act on each T^ a )(M x R). In particular, if T\ denotes the space of all smooth h such that the derivative h' > 0, then the "energy" is given as E(ip) = sup / 4>*dXh ■ 3 If ip denotes the projection of ip onto M and a its projection onto R, recall that ^A = (|^| 2 + |^| 2 )*7AdC, where z = rj + i( is a local complex coordinate on E. E(ip) conse- quently vanishes if and only if ip is constant - a condition that fol- lows automatically from Stokes' theorem when E is compact, hence pseudoholomorphic maps into symplectisations are naturally defined on punctured Riemann surfaces. Specifically, let ip be a finite-energy map defined on a punctured disc D \ {0} C C and let r = — ln(|,z|) and ip = arg(z) G S 1 ~ R/2-7rZ. A theorem of Hofer, Wysocki and Zehnder [8] states that if ip has unbounded image inMxl then there exists a real number T ^ and a Reeb-periodic orbit 7 : S 1 — > M such that lim ip(r,(p) =l{Ttp) ; lim Z^fl = T in C°°(§ 1 ) . 1 bo 1 bo T T is moreover an integer multiple of the minimal period r of 7 and corresponds to the "charge" lim r _ bo ^ J§i -0*A of xp at G -D. Closed characteristics of the Reeb flow are thus realised asymptotically by cylinders mapped pseudoholomorphically into the corresponding sym- plectisation of M (we pass over the very substantial theory devoted to existence of such mappings of cylinders in general; cf., however, [6], [8]). The asymptotic relations established in this theorem and refined else- where [10] are fundamental to the present article in which we examine the topological behaviour of ip(D \ {0}) within a tubular neighbour- hood of V := 7(§ 1 ) C M. Before summarising our method and re- sults, however, it should be mentioned that they require added tech- nical hypotheses to be imposed locally upon the Reeb flow itself. Let A x (R/rZ) , (A C M 2 ) be the tubular domain on which a general system of ordinary differential equations x = /(x), for / smooth and ■^-periodic (minimal period r) in the coordinates x = (x, y, 1?) G A x S 1 , is defined. Suppose that {x = y = 0} corresponds to a periodic solu- tion 7(1?), i.e., if denotes the associated -^-parametric family of diffeomorphisms, depending on initial conditions (x, y) G A suff- ciently small, then 7(1?) = 0(0,0,$) , 7(1? + r) = 7(1?). The linear variational equation for x = /(x) at 7 then has the form ^0,(0, 0, tf) = /*(0, 0, ■&) ■ 0,(0, 0, t?) (f), noting that /»(0, 0, 0) = /*(0, 0, r) and 0,(0, 0,t) = A - 0,(0, 0, 0) = A, where A denotes the "holonomy matrix" associated with (f). From the theory of ordinary differential equations (cf. e.g., [5]) it is well-known that the eigenvalues, or "characteristic multipliers" of A are important 4 in determining the stability of the flow near an orbit V . In particular, 1 is automatically a characteristic multiplier in the ^-direction, while eigenvalues of complex modulus greater than or less than one imply that the flow will be either unstable or asymptotically stable along closed surfaces containing V (cf. [5]). Specifically when / corresponds to the Reeb vector field of a contact structure, the flow is area- preserving^ hence det(A) = 1 and the remaining pair of eigenvalues are mutually reciprocal (mutually conjugate if they are unimodular). Hofer, Wysocki and Zehnder actually use the asumption that A is not the identity (cf. "non-degeneracy" of V) as a technical hypothesis in obtaining their asymptotic formulae (cf. [8]). From the viewpoint of the present article this condition has the disadvantage that it does not hold for the Reeb flow of the standard contact structure on the 3-sphere, corresponding to the Hopf fibration as mentioned above. In fact, it does not hold for a large sub-class of the contact structures which are examined below, although an extension of their methods does allow these authors to include some contact manifolds that are foliated by periodic orbits (cf. [10]). The asymptotics have been rederived in a recent thesis of F. Bourgeois [1], however, by means of the following alternative hypothesis. Definition 1. (cf. flj) A contact form A on M is said to be of "Morse- Bott type" if, for every T > , Nt := {p 6 M *(p, T) — Id). For present purposes it will henceforth be assumed that all contact structures under consideration are of Morse-Bott type. Our aim is to understand the extent to which J-holomorphic cylinders in symplec- tisations actually link with the periodic orbits which they approach asymptotically. In this sense the case of algebroid knots Kr linking with great circles in the 3-sphere suggests a classical model, since S 3 x K. is clearly diffeomorphic to C 2 \ {0} (we will return to this matter be- low). By analogy with the work of Sikorav and others we will show that a suitably constructed diffeomorphism applied to a tubular neigh- bourhood of V allows ip to be represented locally by a holomorphic parametrization, and the sense in which this is possible will be the subject of sections two and three. The problem of "asymptotic simi- larity" addressed here has a global aspect, however, not found in the study of singularities of J-holomorphic curves. Because of this we have imposed two further conditions on the pseudohermitian structure : (1) in a sense to be made precise in section three, V will be said to be "locally recurrent" if a sufficiently small disc transverse to V can be 5 considered a surface of section of the Reeb flow (the diffeomorphism of the disc consequently induced by the return map will be denoted by a). In particular this condition forces the characteristic multipliers of A to be unimodular, but is a stronger assumption than orbital stability near V; (2) it will be assumed that the Reeb flow is not only a Lie symmetry of the contact form, but also the almost complex structure, i.e., Cxj = (hence in particular a is diffeomorphically equivalent to a rotation). It remains now to summarise our results. Theorem l(cf. section 3) Let (ip,a) : D \ {0} — > M x R be a J- holomorphic curve of finite energy and charge n at z = 0, asymptotic to a locally recurrent periodic orbit V , near which Cx x j = 0. Consider any tubular neighbourhood ofV in M, diffeomorphic to AxS 1 such that {OlxS 1 paV and such that ip^ 1 (Ax {$0}) for some fixed t?o € S 1 divides D \ {0} into n "quasi-sectors" Q k . Then there exists a diffeomorphic change of coordinates in A x [0, 2n) such that on each Q k C D \ {0} the map (ip, a) can be expressed in the form (F k (z), H k (z) - ^G(z, z)) , < k < n - 1, Z7T1 where F k , H k are holomorphic on Q k and continuous on Q k , such that F k \Q k nQ k+1 = a ° F k+i \q k nQ k+1 . while each H k corresponds to an analytic branch of ^ log(p) , for p holomorphic such that ord (p) = n. Moreover, the function G belongs to C 2 (D) and is bounded by K\z\. Finally, if a = 1, then each F k is the restriction of a single function F holomorphic on D, F(0) = 0. A representation corresponding to the classical local parametrization of plane algebroid curves is moreover easily derived when a — 1. In this case the relationship between charge and algebraic multiplicity also becomes explicit. In section four we construct a class of pseudohermitian structures on the 3-sphere for which a — 1, containing the standard structure as a distinct special case, and using results on characterisation of generalised circle fibrations due to Gluck and Warner [4] . Recent ideas of McKay [13] relating elliptic line congruences to "osculating" almost complex structures associated with a four-dimensional real vector space V are also incorporated in the construction. Theorem 2(cf. section 4) Let J be the osculating complex structure of an elliptic line congruence £ C Gr 2 (V), such that the associated 6 skew-symmetric 2-form c^s on V \ {0} is closed. Then the 1-form \, such that A v := i v ou^, defines a (fillable, hence tight) contact structure on S 3 for which Cx x J |fc e r(A)— an d ol — 1. Moreover, two such structures are equivalent via a diffeomorphism 5 of S 3 if and only if 5 e 0(4). (The notions of "tight" and "over-twisted" contact structures are important in the study of global dynamics and topology (cf. [3], [6]) but are not referred to explicitly in this article.) The final section is devoted to two examples, the first of which is the standard structure on S 3 . Holomorphic maps $ : (D, 0) — >(C 2 ,0) cor- responding to irreducible germs of a curve T are translated explicitly into pseudoholomorphic maps \I/ : D — >§ 3 xK such that the tan- gent to T at the origin becomes the locally recurrent periodic orbit V corresponding to a great circle. We note that a = 1 in this di- rect consequence of the Hopf fibration restricted to any tubular neigh- bourhood of V . It should also be mentioned that the identification of algebraic curves with finite-energy pseudoholomorphic maps into (§ 3 x R, Ao, Jo) has been addressed from a different perspective in an article of Hofer and Kriener [7]. The second example discussed in this section includes the well-known contact structures A more generally induced by J and the Euclidean inner product on rational ellipsoids E P,g = {(wi,w 2 ) e C 2 | p|u>i| 2 + q\w 2 \ 2 = 1} , where - G Q. In this case the hypersurface is foliated by recurrent periodic orbits such that either a is the identity or a non-trivial rational rotation through either 2n- or 2n-. Given a tubular neighbourhood A x S 1 of one of the two periodic orbits V for which a is non-trivial, we construct a solid torus A' x S 1 with contact form A, and a smooth covering map (3 : A x S 1 — > A' x S 1 such that Ao = f3*\ and /3* o j = j' o /3* (where jo = ^o |fcer(A ) and j' Q = Jo | feer-(A)) ■ Pseudoholomorphic maps asymptotic to this orbit in A x S 1 then project pseudoholomorphically via P into A' x S 1 , where the central axis is a recurrent orbit of the projected Reeb vector field such that a' — 1. Working backwards from a holomorphic parametrization in A' x S 1 x R, we then explicitly construct pseudoholomorphic maps (ip,a) : £>\{0} — > A x S 1 x 1 according to the prescription of Theorem 1 (cf. section 5). The authors would like to thank Dr S. Gadde and Dr Y. Tonegawa for helpful and stimulating discussions on occasions during the period of research for this article. The author (Harris) also gratefully acknowl- edges the support of an Australian Research Council grant during the initial phase of work undertaken at the University of Melbourne. 7 2. Local Model of parametrization In this section we will first review the phenomenon of holomorphic similarity in the neighbourhood of a smoothly embedded point, using this as a model for the asymptotic case to follow. Let M be a closed, oriented three-manifold with contact form A and associated Reeb vec- tor field X\. If £ C TM denotes the sub-bundle corresponding to the kernel of A, let J be an almost complex structure on £ which is compat- ible with A. Consider a Riemann surface £ and a pseudoholomorphic map (if;, a) : £ — >M x R. Let po G im(ip) be a smoothly embedded point, and let D be a neigh- bourhood of ^ _1 (po) with complex coordinate z = i] + i( such that z(iP~ 1 (pq)) = 0. For all p G M, and all v G T p M, consider the projec- tion map 7T p : T p M — >■ £ p defined by vr p (t>) = t> — A p (t> ) • X\. ip then satisfies the equations tt(^) + Jtt(V>c) = (*) , AOc) = ~ a v X W = a ( (f) . We recall as a consequence that ^dA = (|7r(^)| 2 + |7r(^)| 2 )^ArfC, hence X\(po) does not belong to the image of ■?/>* at the origin of D if and only if |7r(^)| 2 + |7r(^)| 2 does not vanish there - a fact which is in turn granted by the assumption that p is smoothly embedded. Now choose a system of Darboux coordinates (x 1 ,x 2 ,x 3 ) neighbouring p in M. Within this neighbourhood the image of may then be realized as the graph of a smooth function x% = f(xi,X2)- Noting that A = dxs + X\dx2 and X\ = in these coordinates, we remark that n p (vi,V2,v 3 ) = (v 1 ,v 2 ,-x 1 v 2 ) , hence the standard projection (i>i, i>2, 1*3) l— * (^1,^2) defines a linear isomorphism ji between £ p and M 2 for all p near the origin at p . It follows that /j, o J o corresponds to a 2 x 2 matrix j, the restriction of which to the graph of im(ip) depends only on the coordinates x : = (xi,X2)- Under projection by /x, equation (*) then becomes Letting ei denote the vector (1,0), consider the system of ordinary differential equations cix ^ =j(x) ' ei ' 8 and define a local diffeomorphism (p near p , via existence and unique- ness of solutions, such that (xi,x 2 ) = j(x 1 ,x 2 )-e 1 =>- (fi(x,t) := (x 1 (t),x 2 (t)) , (p(x, 0) = (x, 0) . Hence ° J °V*= Jo = and x,, := (p^fa,) , x c := (/^fcc) implies *r,(?7,C) +Jo -x f (?7,C) = . Or, more simply, writing w = x + it, we have u> = F{z) on a possibly smaller disc D' C D G C, containing the origin, such that F(0) = o. 1 = 0- Within the coordinate neighbourhood defined by (x, £,£3), we now revisit the equations (f), with respect to X' = (ip x 1)*X = dx 3 + fi(x, t)dx + f 2 (x, t)dt , in the form = (^3)77 + fi(x,t)x v + f 2 (x,t)t v = a c A'(* c ) = (x 3 ) c + f 1 (x,t)x (; + f 2 (x,t)t ( = -a v , where f :=((/) x Hence u = x% + ia implies du , , . . cte „ . , <9t , = -{h{F{zlF{z))^R{F) + f 2 (F(z),F(z))^(F)} = -\[{h + i/ 2 ) ° noi • n^y := , where a; := \{f\{w,w) + if 2 (w,w))dw. Let A denote a small disc centred at the origin of the (x, t)-plane, and apply the Cauchy-Green formula to obtain a smooth function g(w,w) , g(0) = satisfying the equation dg = u on A. Then we have F*uj = d(F*g) = d(g o F) . Hence for the parametrization of \I/ we now have the system of equations w = F(z) ; u = H{z) - g o F(z) , with respect to holomorphic functions F and H, which simplifies under the coordinate transformation w' — w ; u = u + g(w, w) — ia(0) 9 to u' = H(z)—ia(0). Finally, ord (H — ia(0)) = n implies there exists a holomorphic function h(z) , h(0) = , h'(0) ^ 0, on a possibly smaller disc D' C such that iJ — ia(0) = h n , hence z' := h(z) implies w' = Foh-\z') ; u' = (z') n , which corresponds to the classical local parametrization of algebroid curves in C 2 . In the following section we will examine a class of periodic orbits near which the analytic representation of the local model above can be achieved in a similar manner. 3. Asymptotic approximation near a periodic orbit Consider a periodic orbit of the Reeb flow, denoted V, and a tubular neighbourhood T v C M. If A represents a disc centred at the origin in IR 2 , let A C M be an embedded image such that the origin is mapped to the unique element po of V D A, with A itself corresponding to a transverse slice of T-p. The Reeb flow will be assumed moreover to be Lyapunov-stable near V in the sense that for all p G A', where A'CA is a sufficiently small disc centred at the origin, there exists a unique solution 7 P : [0, oo) -*M to the equation ^ = *a(7p(*)), 7p(0)=P, which depends smoothly on both t and p, and remains inside Tp for all t > 0. Given p e A', we will define (i) r(p) to be the smallest t > such that 7 P (i) G A , (m) T p := 7 P ((0, r(p)]) and for each connected open neighbourhood of the origin Q C A , (m) r(fi) := U p6 nx{e } r p • We may now consider a recursively defined system of neighbourhoods such that Qq '■= A', while Qk denotes the origin-component of r(£)fc_i) fl Qfc_i- The set := fl^ fifc measures an important dynamic aspect of the Reeb flow. Proposition 1. If Qoo is open, then it is conformally equivalent to a disc. Proof. Conformal equivalence to a disc will follow immediately if can be shown to be simply connected, which we now prove by induction : Q = A'. Suppose Qk is simply connected, and let C C fifc+i be a simple closed loop. By the existence and uniqueness of ordinary differential equations C can be traced back under the Reeb flow to a simple closed loop C which bounds a contractible subdomain, say U C Vt k . Once again, existence and uniqueness ensures that for all 10 p G U we have T p fl T(C) = 0, while the Jordan Curve Theorem for plane domains implies that the domain bounded by a given closed simple loop is unique. It follows that c = r(du) nn k = dT(u) nn k = d{v{u) n n k ) . Moreover, T{U) (~l Sl^ is a homeomorphic image of U, and is therefore itself a contractible subdomain, hence fl k +i is simply connected. Now consider a simple closed loop C C 0^, i.e., C C Q k for all k, and hence there exists a contractible subdomain U k in Q k such that dll k = C. But uniqueness of the interior of C of course implies that U k =U for all k, and hence U C VL^. □ Definition 2. The Reeb flow will be said to be "locally recurrent" near a periodic orbit V if it is Lyapunov-stable within a tubular neighbourhood T-p and for any sufficiently small embedded disc A, corresponding to a transversal slice through T-p at some point p , the limit set floo C A' C A is open. An orbit V itself may also be referred to as "locally recurrent" in this context. As mentioned in section 1, the treatment of a finite-energy pseu- doholomorphic map (ip,a) : S — > M x H. from a punctured Riemann surface, asymptotic to a periodic orbit, may be restricted to a map between D \ {0} C C and, for convenience, the Martinet neighbour- hood A x 8 1 x [a , oo) of V, with coordinates (x,y,9,a) (cf. [8], [10], [11]). In particular, for p Q corresponding to the origin of A, we have 7o(t) = (0, 0, e 1 ( e o+27rt/r )^ w here To denotes the minimal pe- riod of V. In relation to the asymptotic results of [8], it will some- times be convenient to use cylindrical coordinates on D \ {0}, viz (r,ip) = (— ln(|z|), arg(z)) G [r , oo) x S 1 . In particular, the charge of the puncture is given by T := — lim / , and is a well-defined integer multiple of r (cf. [8]). Within this coordi- nate system, the asymptotic relations of Hofer, Wysocki and Zehnder (mentioned in section one) may be interpreted as a(r, v?) = Tr + a + e(r, y?) , with e , 5 approaching zero uniformly in ip as r — >oo. For \z\ sufficiently small (i.e., r sufficiently large) we may think of 9^ 1 (9 ) as a union of 11 radial arcs meeting at the origin and differing by only a small pertur- bation from the rays defined by arg(z) = ^(9 + 2irk) , < k < n — 1, where n — Hence we will consider D \ {0} as a union of n quasi-sectors Qk, bounded by these arcs, on which the quasi-analytic "branches" of (if), a) are defined. For the local model in section 2 it was sufficient to assume that ip is a local embedding in order to represent the image as a graph on which the restriction of an almost complex structure J depends on just two of the coordinates of a Darboux chart. Under the assumption that the Reeb flow is locally recurrent near V, we now select x {6 } as coordinate disc within the initial Martinet tube (on which A = /• (fioc x [0, 2tt] , h b ooX {o}= 1 , which is smooth for all < t < r{p), coming from solutions of the ordinary differential equation It follows that on the interior of C, the standard contact form A and A' := h*\ have the same Reeb vector field, corresponding to J^. We now consider the Cauchy-Riemann system 7r((/rV)„) + Jtt((/i-V)c) = o (**) > A'((/rV)c) = -a v A'K/rV),) = a c (ft) . As in the local model, for a sufficiently "thin" neighbourhood of V, the standard projection (i>i, t>2, ^3) > (^1,^2) determines a linear iso- morphism fx between := ker(X') and M 2 . Hence we define a 2 x 2 12 matrix-valued function j(x,y) = \i o J o /j, 1 , such that x := (x,y) implies (**) can be written in the form Let a denote the diffeomorphism of x {6> } defined by the return map a(p) := 7 P (r(p)), hence a(0) = 0. Lemma 1. If £ Xx J = 0, then in a neighbourhood o/O G A, the smooth automorphism a is diffeomorphically equivalent to a rotation. Proof. Letting ei denote the vector (1, 0), consider the system of ordi- nary differential equations and define a local diffeomorphism tp : A" — > U C via existence and uniqueness of solutions, such that (x 1 ,x 2 ) = j(x) ei =Xp(x,s) := (x 1 (s),x 2 (s)) , ip(x, 0) = (x, 0) . Hence V* 1 ° j °V*= jo = Let Q'qq denote the simply connected domain inside U which is sta- bilised by the Reeb flow. The diffeomorphism a := (p~ 1 oaoip then acts on (/? _1 (r2 / 00 ) C A" as a restricted automorphism such that a(0) = under the assumption of local recurrence. The additional assumption Cx x J — implies that a*j = j, hence in particular cr/ = Jqol, i.e., at is a conformal automorphism. Modulo a conformal transformation identifying y9 _1 (f2 / 00 ) with a disc, at is then equivalent to a rotation. □ Now := (/?~ 1 (x ( j) and x,, := y9~ 1 (x^) implies x J? (77,C)+io-x c (7 7 ,C) = 0(t*). Note that each "branch" of := (ho ((p x 1))"V is defined smoothly in the interior and continuously up to the bound- aries of a quasi-sector Q k in D \ {0}, but discontinuities arise at points zq lying on the smooth arcs that bound adjacent sectors (in the usual way "±" will be used to denote opposite sides of the boundary). Dis- continuities of the transverse projection of \& are therefore described by the relations lim x(z) := x^zo) => a(xT(z )) = x_ + (z ) . 13 Hence on each Q k C D \ {0} , (j*) defines a holomorphic function iu = F k (z) which partially describes a branch of \I>, such that F k \Q k nQ k+1 = « ° b fc nQ fc+1 > < /c < n - 1 . Lemma 2. // £/ie i?ee& flow determines a fibration of a tubular neigh- bourhood by periodic orbits over Vtoo, i.e., a = 1, then there is a single holomorphic function F(z) on D , F(0) = , describing the trans- verse projection of ^ . Proof, a = 1 implies the existence of a function F(z), continuous on D and holomorphic on the interior of each quasi-sector. The demonstra- tion that F is holomorphic on D is a standard application of Morera's Theorem (and the Removable Singularities Theorem at the origin). Specifically, let Zq lie on one of the smooth arcs bounding a quasi- sector and let z 1 = i]' + i(' be a local complex coordinate with respect to which the arc is locally described as the graph of a function (' = p(f]'). Let T be a simple loop inside the ^'-coordinate neighbourhood of zq. Clearly if T does not intersect the arc, then F must be holomorphic on a slightly larger domain containing T, hence J^F dz =0 . If T intersects the arc, consider a simple affine coordinate transforma- tion so that the cord joining the endpoints a, b of the intersection is now the axis corresponding to (' = 0. Hence, without loss of generality, we may assume p(a) = p(b) = 0. Let 7 denote the arc corresponding to the graph between a and b, and for e > let 7± £ denote the arcs cor- responding to (' = p(i]') ± e, lying between a ± ie and b ± ie and on either side of 7. From the continuity of F it follows that f F dz' = [ b F(r}' + \p{r]'))dr]' = lim t F(r}' + i(p(r]') ± e)) dr( = lim / F dz' . Now decomposing T into two simple loops having 7 as their common boundary component, and applying the above limit, we see that J F dz' = . Hence F extends holomorphically to a neighbourhood of z . □ Returning now to the particular form of the equations (ft) in C note that any A' with as its Reeb vector field must take the general form A' = di + / 1 (x)da; + / 2 (x)dy . 14 As was seen with respect to a Darboux chart of the local model, such a local presentation of the contact form allows decoupling of (ft) into an inhomogeneous Cauchy-Riemann equation. This property is preserved under the diffeomorphism - $ o d(u>, «)) = w) . It is easily seen that ) 2 + HF k ).Fl! . Thus G is a continuously differentiable function, and Jd \i — z is a twice-continuously differentiable function on D. We may therefore write the solutions u = H k {z) — ^G(z,z) for a holomorphic function H k defined on each Q k . Now a(z) = Q(u) is a smooth function onD\ {0}, while G belongs to C 2 (D), hence $t(H k (z)) must in fact correspond to a single function h(z) for all k, which belongs to C 2 (D \ {0}) and is harmonic inside each Q k , therefore harmonic throughout D \ {0}. Moreover, the harmonic conjugate of h is uniquely defined up to a constant, hence we have a single harmonic function h on the punctured disc such that 9fc(i?fc(z)) = h(z) +c fc , < k < n - 1 . Recall that dt(u) corresponds to t such that < t < r(p) for some (p, t) belonging to the image of Discontinuities of t along the bound- aries of each Q k are consequently determined by r(p), i.e., ]im_h k (z) = lim h k+1 (z) + t(5c~(z )) for z lying in the boundary arc Q k C]Q k+1 . From the discussion above it follows that r(5t~(z)) must be constant for \1/ restricted to a boundary arc. By continuity of these circs duS they radiate from the origin of D, this constant value must correspond to r , or 1 if A is assumed to have been normalised. The arcs themselves were originally defined by the arbitrary choice of 9 E S 1 , hence we may conclude that r(p) = 1 for all p G Q,'^. Moreover, we have c k+ i - c k = 1 , < k < n - 1 , where, without loss of generality, we may set c = 0, hence c k = k. Recalling the asymptotic formulae a(z) = — \n\z\ n + e(z) and 6{z) = arg{z n ) + 5(z), one may notice also the approximation of the holomor- phic part of u by the branched analytic function log(z n ). Specifically, u=^{log(p(z)e-^))}, 16 where the analytic function p(z) := e 2wH ^ has order n at z = 0, and K := supd\G(z,z)\ implies — \G(z,z)\ = — | / ^l^-dpAdfl\ M x R be a J -holomorphic curve of finite energy and charge n at z = 0, asymptotic to a locally recurrent periodic orbit V , near which Cx x J = 0. Consider any tubular neigh- bourhood ofV in M, diffeomorphic to A x S 1 such that {0} x S 1 ss V . There exists a diffeomorphic change of coordinates in A x [0, 2n) such that on each quasi-sector Qk C -D\{0} the map (ip,a) can be expressed in the form {F k {z),H k {z)-±-.G{z,z)) , 0 w/ii/e eac/i if^ corresponds to an analytic branch of log(p) , ord (p) = n. Moreover, the function G belongs to C 2 {D) and is bounded by K\z\. Finally, if a = 1, then each F k is the restriction of a single function F holomorphic on D, F(0) = 0. A representation corresponding to the classical local parametrization of plane algebroid curves is easily obtained as follows for the case a — 1. Let If (/i + i/ 2 )(//,//)d//Ad// g(w,w):=— , 2-ki J A' ii — w so that dg = uo. Then G(z, z)dz = F*uj = F*(dg) = B{F*g) = d(goF) , and hence G = 2n'\(goF + H), for some holomorphic function H. Now define a coordinate v := e 2 ™ = p(z)e- 6 = p(z)e~^ F ~ A and let p(z)e~ H = f{z) n for some holomorphic function / on D' C D, with /' (0) ^ 0. Now £ := f(z) implies w = F(z) = F o / _1 (0, 17 while v = £™e 9 ° Fo f From the final coordinate diffeomorphism w' = w ; v' — ve 9 ^ w ' w \ it now follows that w f = Fof-\0; V = c- 4. a — 1: Circle fibrations of S 3 A class of examples of tight contact structures for which a = 1 and Cx x J = near a periodic orbit is provided by the circle fibrations of 8 3 , of which the most elementary instances are the Hopf fibrations. Given a four-dimensional real vector space V, these fibrations correspond to families of invariant planes (i.e., "complex lines") distinguished by lin- ear endomorphisms Jo determining standard complex structures on V, and are parametrised by 0(4)/U(2). The base space of each such fi- bration is a (Riemann) sphere inside the Grassmann manifold Gr 2 (V). More general fibrations correspond to families of planes ( "line congru- ences") parametrised by compact surfaces £ C Gr2(V). A line con- gruence is said to be elliptic if for all P G £, there exists a 2-sphere § corresponding to some J such that Tp£ = Tp§> inside 8 + , with stan- dard Hopf fibrations coresponding to constant maps. In [13], McKay also observed that they correspond to general elliptic line congruences and hence determine non-linear complex structures on V which "oscu- late" with linear structures at each P e S. We apply this idea to the explicit construction of contact structures on S 3 as follows. Let J(V) denote the space of linear endomorphisms of V corresponding to linear complex structures, then it was shown in [13] that each elliptic line congruence E determines a map J : E -^J(V) dV ®V* such that for each plane P G E, J(P) is linear and is the "osculating" structure to E at P in the sense that both P and P 1 - (with respect to a given inner product on V) are complex lines relative to J(P)- The family of planes determined by E describes a rank-two vector 18 bundle V £ such that the total space, corresponding to the incidence manifold V = {(v, P) G V x £ | v G P} also maps surjectively to V. In fact, there exists V -^V such that "P \ o- _1 (0) = V \ {0}. Hence define ^ := Trofj- 1 : \/\{0} — >E, so that V V*. Hence with respect to a designated orthonormal basis of V, noting that J and (p*J are skew-symmetric matrix-valued functions, we may represent it in the form Note moreover that the isomorphism V* = V via the Euclidean inner product allows us to define a 2-form cj^ := ^^.uJ^dx^ A dx v . In the following, let i v denote contraction of a form by the position vector V = 2^V^ • Lemma 3. If duo?, = then cjs(v) = d(i v uj s ) . Proof. ^v^e = 2^M a 1 dJ a(S <9J 7/3 (using the relations provided by (ic^s = 0) = cj s + is 7 S> 3 is a diffeomorphism that identifies the Reeb flows of a given structure As and that of the standard structure Ao- In particular, suppose that 5*X A = X\ , and 5* o ip*J o S^ 1 = Jo, where J denotes the osculating complex structure associated with As- Now assume in addition that 5*\ = As, hence (TAo(u) = A (5*u) = (5*u , J • v) = A s (u) = (u , y?* J • S^v) , therefore (i| 2 + \w 2 \ 2 = 1 with respect to complex coordinates in C 2 , while Ao = $l(—i(widwi + W2CIW2)) ■ Consider §(z) : D — >C 2 a complex-analytic curve defined on a neigh- bourhood of the origin in C such that $(z) = (z n ,p(z)) and ord (p) > n + 1, hence $ has a singularity of multiplicity n at (0, 0). The corre- sponding map (■?/>, a) : D — >§ 3 x IR is given by i>(z) = [\ P \ 2 +\zn-H^,p(z)) , 21 a(z) = -l\n(\z\ 2n + \p\ 2 ) = -n\n\z\ - \ ln(l + \z\~ 2n \p\ 2 ) . The periodic orbit V corresponds simply to the circle defined by {u>2 = 0}nS 3 and is associated with the degenerate tangent cone of $ at (0, 0). It is, moreover, a simple calculation to verify that charge z= o(ip) = n. Consider the proper holomorphic map a : Op^—l) — > C 2 , where C?p 1 (— 1) denotes the complex line bundle of Chern class equal to -1 on the Riemann Sphere Pi(C) = <7 _1 (0), with a : Pl (-l) \ o- _1 (0) - C 2 \ {0}, given in local coordinates by the quadratic transformation Wi — /J, , w 2 = liv. Noting that |/i| 2 (l + \v\ 2 ) = 1 on the chart of (j _1 (S 3 ) corresponding to v ^ oo, we have cr*Ao = 9ft(— + z/|/i| 2 dz/)) ; moreover, for each v G Pi(C) \ {oo}, the Hopf fibration corresponding to w : ^(S 3 ) ->Pi(C) ^§ 2 has fibres w~ l {v) = {// G C | = (1 + M 2 )"^}- Let z/ = a; + iy, then /i = \p\e™ = (1+x 2 + y 2 )~h M , h := a U-i( Fl \{oo}) implies h*\ = ^(-iftr 1 ^ + v\fi\ 2 dv}) . . da; + idy , . 1 + a;" 1 + jr , | {xdx + ydy) xdx + ydy xdy - ydx y = < — ^ 5- + 5 + i(rfi? + 5 -) M 1 1 + a; 2 + y 2 1 + a; 2 + y 2 1 + a; 2 + y 2 1 d$ + (1 + x 2 + y 2 )~ x {xdy - ydx) , Ao = a# (*) := = (arg(z n ) , F{zj) where F(z) := * _n p(;s) . Clearly v = F(z) is holomorphic, so it remains to show that h*X (^ v ) = a c ■ /i*A (^c) = ~ Mx,y) Now 2tt(1 + |z/| 2 ) ' JZV 2tt(1 + |i/| 2 ) and hence g o F = ^-ln(l + |-F| 2 )2. Moreover, we can simply define G = 2nigoF = -ln(l + |F| 2 )i On the other hand, modulo rescaling by 2tt so that d(z) = ^H\zni + \F\^), we have u = t + id = —{arg{z n ) + i{- In \z\ n - ln(l + \F\ 2 )^}) 2% = 7?-Mz n ) - G) , Z7T1 in accordance with the statement of Theorem 1. Let T C C 2 be the locus of the plane curve parametrized by $. We remark in conclusion that although the multiplicity of the singular point of the strict transform <7 _1 (r) \ o" _1 (0) is less than n, the charge at z — of \I/ is easily seen to be conserved by the diffeomorphism h. The singular plane curve corresponding to the strict transform (assum- ing the singularity has not been resolved by a single quadratic trans- formation) is in fact asymptotic (viewed locally as a J-holomorphic curve Si/') to a distinct periodic orbit within a new 3-sphere bounding a neighbourhood of the transformed singularity. However, the linking of the transform of K T with the original periodic orbit of (zie ipt , Z2e iqt ) (cf. e.g., [7]). Note that there are two periodic orbits corresponding to Wi = and w 2 = separately. These are the on/?/ periodic orbits of the Reeb flow if 2 is irrational, whereas E Pi9 is foliated by periodic orbits if 2 G Q. Moreover the periodic orbit corresponding to Wi — has mini- mal period r = — and for w 2 = it is — , while r = — = — for all r q * p ' p q other orbits with respect to fixed relatively prime positive integers k, I. Without loss of generality, consider a tubular neighbourhood U of the orbit w 2 = 0, and let v :— such that / > k. All periodic orbits of the z i Reeb vector field within this tubular neighbourhood then correspond to intersections of E Pi9 with algebraic curves (uniquely determined by v) of the form u>2 = vw\ , \v\ < e , for some positive e. Once again, we have Ao = \{w\dw\ + W2dw 2 )) , but this time it will be convenient to introduce a formal coordinate transformation of the form w 1 — n , w 2 = (*V)^ so that widwi + W2dw2 = Jidjj, + — \v\k \u\ T (— dv H — djj) . k v (j, Moreover, p\wi\ 2 + q\w 2 \ 2 = 1 implies 1 1 — 1 1— I |2\ M k |A*I * = _ (1 — PlH ) ■> hence Widwi + w 2 dw 2 = /x H ; ct/i + — (zV . V kqfi J \ kqv J Now /i = re" 9 implies d/x = e 1,& (dr + ircM), so that V kq\i I p r while v = x + iy implies 1 — p\n\ 2 ^ 1 ~~ Pl^l 2 J x dx + ydy . ( xdy — ydx\ 1 kqv kq \ x 2 + y 2 \ x 2 + y 2 J J ' and hence A = -{dv + r-^- — Y \ 1 (*)• Consider f(r) := pr 2 + g|z/|^r^ — 1, so that /'(r) = 2pr(l + ^\is\h 2 ^-V) . Hence /'( r ) = when r = or ( — 2-^)2(1^7 . Moreover /(0) = —1 , linir^oo /(r) = oo implies that the equation f(r) = has a unique positive real solution. In other words, the value of satisfying the equation p\fi\ 2 + q\v\k\fi\~ = 1 is uniquely determined by p,q, \v\. Hence write \fj,\ = 2 | < s} , A' = {|z/| < e'} and consider the fc-fold covering map ^W^AxS 1 — > A' x S 1 such that (3{w 2 ^)^{x-\w k 2 e- m )^) . Alternatively, the map : C 2 — * C 2 such that (/i, v) = Q(wi,W2) = (wiiW^w^ 1 ) is holomorphic away from {w\ = 0} such that (3 = G |e . The equation (*) above may then be written more precisely in the form A = \(3* \ where A = d# + (note also that lim^^o {xdy — ydx) = 0). Consequently finite- energy pseudoholomorphic maps (V>,a) : D\{0} ->A xS'xl 25 (l-pip(p,q, | v\) 2 )(xdy — ydx) I \v\ 2 project onto finite-energy maps {(3 o i/j,a), pseudoholomorphic with respect to ^A. This claim is easily verified if we note that «c = Va(^) = - p m o = hap o , and similarly for a v . Moreover, 7f((/3o^) :=/3^-^A((/3o^)„)A-, where X := (3*X\ = p-^ is a well-defined vector field under the above conditions. Hence 7f(( / 9o^)=^(7T(^)) , and therefore = A(tt(^) + J 7r(^ c )) = k(P o ^ + &(J 7r(V>)c) • Let J denote the standard complex structure on C 2 as represented by both (w 1? w 2 ) and (/i, z/) (and its restriction to the contact planes of Ao and A respectively). Then (3 = |e p , 9 for 6 holomorphic implies (3* o J — J Q o (3* , and hence = 7r(/?o^)„ + J ^(/5o^)c . Note that the tubular neighbourhood into which (3 o ip maps is fibred by Reeb orbits, hence the return map a — 1. By comparison, the Reeb flow in a neighbourhood of the original orbit {1V2 = 0} in E P)9 induces a return map that is equivalent to a rational rotation through 27i4- In order to find a class of J-holomorphic curves asymptotic to the given periodic orbit within E Pi9 , let us first make a harmless renormalization of the contact structure, i.e, Aq := p ■ A , Xy Q = -X Xo - Now x > =M + ¥(W\) 2 )(xdy -ydx) ° ^ ' \ u \ 2 and we are ready to work backwards from a holomorphic parametriza- tion of the form fi — z n ; v = $(z) , such that ord (&) = b ■ I > —nl + 1 and n = c ■ k for some integers b, c. Now Wl = z n ; w 2 = (z nl -(z)) l k =(z n+b -f (z))i; / (0) ^ implies that u>2 is a multi-valued function of z. Subdivide the disc D into equal sectors Q m , < m < n — 1, and hence define on each Q TO a holomorphic function F m (z), such that F is the principal branch of {z n+b ■ f (z))K and F m+1 (z) := e 2 ^ • F m (z). 26 As in the previous example, letting d = 2nt, we have Let / • s noting (p(0) = implies that the improper integral 7 ( s ) : = f 7 ( r )rfr Jo is convergent. It follows that we can set g{v, v) = ^:7(|^| 2 )- Hence $*cj = <%o$) = ^-97(|$| 2 ) 4:71 is smoothly defined on D. Moreover G = 2 7ri( ? o$ = -i 7 (|$| 2 ) . Setting t = ^arg(z n ), we then have t + id = -^(log(^) - G) = ^arg(z n ) + ±(G-n\n \z\) , III III with which we combine the statement of Theorem 1 to conclude a(z) = -n\n(\z\e^ m2) ) in order to define a pseudoholomorphic map (ip, a) : D\ {0} — >E p , g x R of charge n at the origin, asymptotic to the orbit corresponding to {w 2 = 0}. 6. REFERENCES [1] Bourgeois, F. PhD Thesis (preprint) Stanford 2004 [2] Brieskorn, E. and Knorrer, H. Plane Algebraic Curves, Birkhauser 1986 [3] Eliashberg, Y. Invariants in Contact Topology, Proceedings ICM, Berlin 1998, Volume II, Documenta Mathematica (1998) 327-338 [4] Gluck. H. and Warner, F., Great Circle Fibrations of the Three- Sphere, Duke Math. J. 50 No.l (1983) 107-132 [5] Hale, J. Ordinary Differential Equations, Pure and Appl. Math. 21, Wiley 1969 [6] Hofer, H., Pseudoholomorphic Curves in Symplectisations with applications to the Weinstein Conjecture in dimension three, Invent. Math. 114 (1993) 515-563 27 [7] Hofer, H. and Kriener, M. Holomorphic Curves in Contact Dy- namics, Proc. Symp. Pure Math. 65 (1999) 77-131 [8] Hofer, H., Wysocki, K. and Zehnder, E. Properties of Pseudoholo- morphic Curves in Symplectisations I: Asymptotics, Ann. Inst. Henri Poincare 13 (1996) 337-379 [9] Hofer, H., Wysocki, K. and Zehnder, E. Properties of Pseudo- holomorphic Curves in Symplectisations II: Embedding controls and al- gebraic invariants, Geom. Funct. Anal. 5 (1995) 270-328 [10] Hofer, H., Wysocki, K. and Zehnder, E. Properties of Pseu- doholomorphic Curves in Symplectisations IV: Asymptotics with de- generacies, in "Contact and Symplectic Geometry", C.B Thomas ed., Cambridge (1996) 78-117 [11] Martinet, J. Formes de Contact sur les varietes de dimension 3, Springer Lecture Notes 207 (1971) 142-163 [12] McDuff, D. Singularities of J -holomorphic Curves in almost complex ^-manifolds, J. Geom. Anal. 2 (1992) 249-266 [13] McKay, B. Dual Curves and Pseudoholomorphic Curves, Selecta Math. 9 (2003) 251-311 [14] Micallef, M. and White, B. The structure of branch points in Minimal Surfaces and in Pseudoholomorphic Curves, Ann. Math. 139 (1994) 35-85 [15] Sikorav, J.-C. Singularities of J -holomorphic Curves, Math. Z. 226 (1997) 359-373 School of Mathematics, Statistics and Computer Science University of New England Armidale, NSW 2351 Australia adamh@turing.une.edu.au School of Mathematics and Statistics Melbourne University Parkville, VIC 3010 Australia wysocki@ms.unimelb.edu.au 28