Arxiv:2011.01800V5 [Math.DG] 5 Apr 2021

Home , Circle bundle

arXiv:2011.01800v5 [math.DG] 5 Apr 2021 ana erc ntefe opspace loop free the on metrics mannian lsd4 closed ozciCenSmn WS om saplnma in polynomial a as forms (WCS) Wodzicki-Chern-Simons ecnepiil opt htteerslshl o all for hold results these that compute non-Kähler, explicitly sym Kodaira-Thurston Wodzicki-Pontryag can nonvanishing the we like of examples, examples specific first For the give to nomial ocnetr htti opo iemrhsshsifiieodrin order infinite has diffeomorphisms of loop this that conjecture to space orbit the loop a gives This of independent diffeomorphisms g diffeomorphism M the of group fundamental the on when results obtain to sntawy re o h aoia bundle canonical the for true: always not is π if example, trivial a As gro isometry and diffeomorphism the to results these of extensions r fcaatrsi lse ntetnetbundle tangent the on classes characteristic of ory that at(4 pact Diff( H EMTYO OPSAE I:DFEMRHSSOF DIFFEOMORPHISMS III: SPACES LOOP OF GEOMETRY THE 1 p (Diff( ntepapers the In vrl,ee h usino whether of question the even Overall, nmr eeaiy suppose generality, more In 53 35S99, Numbers: Classification Subject Mathematics AMS , π S p 1 M 1 (Diff( rteape fnnaihn ozciPnrai forms. Wodzicki-Pontryagin nonvanishing of examples first aiod eepiil opt htti euthlsfrall for holds result this that compute explicitly we manifold, p odwt lsdRe ris eueWdik-hr-iosfrsto forms Wodzicki-Chern-Simons use We orbits. π Reeb closed with fold i aiod Equivalently, manifold. tic Abstract. ∈ n by ) M n 1 (Diff( ∈ )dmninlcnatmnfl ihcoe ebobt.W deter We orbits. Reeb closed with manifold contact 1)-dimensional + dmninlitga ypetcmanifolds symplectic integral -dimensional sacrl udeoe ¨he ufc.I hsppr egv nontr give we paper, this In Kähler surface. a over bundle circle a is Z )) hc r icebnlswt rtCencaspootoa to proportional class Chern first with bundles circle are which , Z f . AOH G,YSIK AD,ADSEE ROSENBERG STEVEN AND MAEDA, YOSHIAKI EGI, SATOSHI M hc r icebnlsoe lsd4 closed a over bundles circle are which , ftecrl cini free, is action circle the If M 7→ p M p )and )) h emtyo opSae ,II I, Spaces Loop of Geometry The )and )) f ihteato ie yrtto ftecrl br.I snatural is It fibers. circle the of rotation by given action the with , esuytedffoopimadioer ruso manifolds of groups isometry and diffeomorphism the study We a ′ D o fixed for : π π S 1 1 1 M (Isom( (Isom( −→ OTC MANIFOLDS CONTACT = m M M M Diff( M M ∈ p m )aeifiiefor infinite are )) p disannrva iceaction circle nontrivial a admits p 1. M. × )aeifiiefor infinite are )) sacmat(4 compact a is ∈ M S Introduction M Thus 1 fdffoopim n ec neeetof element an hence and diffeomorphisms of ) hntesbru of subgroup the then , L π ( M 1 M f (Diff( 1 ( π θ stettlsaeo icebnl over bundle circle a of space total the is facoe manifold closed a of 1 )( (Diff( M ,ψ m, M | n p = ≫ | )i nt rifiiesesdifficult. seems infinite or finite is )) n )dmninlcnatmani- contact 1)-dimensional + L T ( = ) dmninlitga symplec- integral -dimensional M | p 1,1] esuidntrlRie- natural studied we 17], [16, S ≫ | M 0 )i infinite. is )) 2 M . n o h Kodaira-Thurston the For Equivalently, . +1 ,f m, n sdscnayclasses secondary used and , p ysuyn h secondary the studying by 0 . 0,5D0 58D15. 53D10, D05, p over eas s hspoly- this use also We . ′ p ( eas iethe give also We . ,ψ θ, π M 1 M (Diff( ) sioopi to isomorphic is ))) a lci 4-manifold, plectic π eeoe the- a developed , = : p fmanifolds of ups 1 rv that prove S (Diff( n(P forms. (WP) in CP opDiff( roup 1 M M × n )gvnby given )) p M M h fiber the , M sacom- a is p , −→ )) p . mine This ivial over M M. ), 2 S. EGI, Y. MAEDA, AND S. ROSENBERG rotation is an isometry of the standard metric on S2n+1. In fact, aD is the generator of the isometry group SO(2n + 2) Z2. In this example, the first Chern≃ number of the canonical bundle is 1. The main result is that for sufficiently high Chern number, rotation in the circle fiber gives an element of infinite order in π1(Diff(M)). More precisely: Theorem 3.4: Let (M,ω) be a closed integral symplectic manifold of dimension 4n. For p Z, let M be the circle bundle over M with first Chern class p[ω].Then for ∈ p p 0, π (Diff(M )) and π (Isom(M )) are infinite. Equivalently, let M be a closed | |≫ 1 p 1 p (4n +1)-dimensional contact manifold with closed Reeb orbits. Then M covers infinitely many such contact manifolds M p with π1(Diff(M p)) and π1(Isom(M p)) infinite. In fact, the only example we know where aD does not have infinite order in n π1(Isom(M p)) is for CP . As an alternative approach, an elementary argument, due to Yoshihiko Mitsumatsu and discussed in §3.3, shows that the circle action generates an element of infinite order in π1(Diff(M p)) and π1(Isom(M p)) if π1 of the circle fiber injects into π1(M p). In the concrete example of CP2, the injectivity hypothesis fails, so our methods are necessary. Other than this argument and Theorem 3.4, we know of no other nontrivial results on π1(Diff(M p)). For a rough outline of our approach, a loop of diffeomorphisms a : S1 M M can be thought of as a map a′ : M LM. As discussed in the proof of Theorem× −→ 3.4, −→ characteristic classes of T LM can detect nontrivial elements of π1(Diff(M)). The WP classes are constructed using the Wodzicki residue of powers of the curvature, where the Wodzicki residue replaces the ordinary matrix trace used in finite dimensions. However, the WP classes always vanish, so it is natural to turn to the secondary WCS classes. In fact, it was conjectured [15] that the WP forms vanish pointwise, which we disprove in §5. W Our technique is to compute various WCS invariants CS , k 2n+1, associated 2k−1 ≤ to the Chern character of T LM . As a function of p, these invariants are polynomials p f in p with values in forms on LM p (see (5.2): k W W CS = CS p2i Λ2k−1(LM ). 2k−1 2k−1,2i ∈ p Xi=1 f f In the proof of Theorem 3.4, we show that π1(Diff(M p)) is infinite for p 0 if this WCS polynomial is not identically zero. Thus it suffices to show that any≫coefficient W CS2k−1,2i in the WCS form is nonzero. In [17], we proved that for the top form W W 6 CSf 5 associated to a Kähler surface, the coefficient CS5,6 of p is nonzero, but we had no interpretation for this coefficient. In this paper, we prove that for the top f W f W 4n form CS4n+1 associated to the symplectic manifold M , the coefficient CS4n+1,4n+2 f f DIFFEOMORPHISMS OF CONTACT MANIFOLDS 3 of the highest power p4n+2 is a constant times the symplectic volume of M, where the constant depends only on dim(M). We also prove in Proposition 5.2 that for any W 2 k, the coefficient of the lowest power p in CS2k−1 is related to a Pontryagin-type form on a Kähler manifold M 4n. In Theorem 5.3, we use the Proposition to prove f that the WP forms on LS4k+1 are not identically zero, the first known example of this non-vanishing. We do not have a geometric or topological interpretation for the other coefficients of these WCS polynomials. In summary, the advances of this paper over [17] are the extension of the results in Theorem 3.4 from Kähler surfaces to higher dimensional symplectic manifolds, and to give geometric/topological interpretations of two of the coefficients in the WCS polynomials. The type of contact manifolds we treat have at least two physical interpretations. The bundles M p are basic components of geometric quantization of symplectic manifolds, in that the L2 sections of the associated line bundles form the Hilbert space of the prequantum theory. In addition, for dim(M) = 4, M p is a Riemannian version of Kaluza-Klein theory, which is a classical unification of gravity and electromagnetism. In this setting, the nontriviality of π1(Diff(M p)) becomes the nontriviality of the fundamental group of the gauge group of the circle bundle. As a result, there could be a global gauge anomaly in the quantizedG theory, such as the appearance of a phase factor in correlators computed around a nontrivial element in π1( ). In §2 we give background material on pseudodifferential operatorsG and WCS classes on loop spaces. In §3 we prove the main result, both by direct calculation and computer verification. The main technical difference between the Kähler and symplectic case occurs in Lemma 3.3, where we cannot use the Kähler condition J = 0 in curvature computations. ∇ In §4, we apply our theory to an example, perhaps the first, of a symplectic, non- Kähler manifold due to Kodaira-Thurston. Through explicit calculations, we get the results in Theorem 3.4 for all p. These calculations are possible because the Wodzicki residue is computed pointwise, unlike e.g. the operator trace, so finding an explicit compatible Riemannian metric on the Kodaira-Thurston manifold makes a computation possible. The online files [5, 6] include this long computation and computer codes verifying the main results. In contrast, there are several known classes of non-Kähler, symplectic manifolds [10, 11, 19] with no explicit metric, and in these cases Theorem 3.4 is the only method to obtain information on Diff(M) at present. In §5, we relate Pontryagin forms on M to WCS forms on Mp in the Kähler case (Proposition 5.2). Using this Proposition, we prove that the WP forms on the free loop space LS4n+1 are nonvanishing (Theorem 5.3). As mentioned above, these are the first examples of nonvanishing Wodzicki characteristic forms. In Appendix A, we discuss why symplectic manifolds of dimension 4k + 2 are more difficult to treat. 4 S. EGI, Y. MAEDA, AND S. ROSENBERG

To place our results in context, current knowledge of the homotopy type of Diff(M) is meager and mostly limited to dimensions at most three [13], where in all known cases the Smale conjecture that Diff(M) has the same homotopy type as Isom(M) holds. It is elementary that Diff(S1) has the homotopy type of O(2). The theorems that Diff(S2) O(3) and Diff(S3) O(4), due to Smale [22] and Hatcher [12] ∼ ∼ 2 respectively, are much more difficult. The homotopy type of Diff0(Σ ) (the identity component of Diff(Σ2)) for a closed Riemann surface is known [4]. For most classes of 3 closed geometric 3-manifolds M , the Smale conjecture is valid [9, 18], and so e.g. the 3 3 components of Diff(M ) are contractible for M hyperbolic. Recently, Ricci flow has been successfully applied in two and three dimensions to the Smale conjecture [1]. In dimensions four and above, the Smale conjecture fails for spheres [13, 24]. Farrell- Hsiang [7] used algebraic K-theory to prove that some rational higher homotopy n groups πk(Diff(S )) Q are finite extensions of πk(SO(n + 1)) in the stable range. We are grateful to⊗ Yoshihiko Mitsumatsu for providing us with Proposition 3.5 and its application in §4. 2. Background material 2.1. Finite dimensional background material. The complexified tangent bundle of a Riemannian manifold (M 4n,g) has Chern character ch(M) Hev(M, Q) with 2k-component ∈ 1 ch (M)= [Tr(Ωk)] H2k(M, R), (2.1) [2k] k!(2π)k ∈ where Ω = ΩM is the curvature form of g. There are associated Pontryagin-type formsp ˜ (Ω) = ( 1)k/[(2k)!(2π)2k] Tr(Ω2k) and classes k − p˜ (M)=[˜p (Ω)] = ( 1)kch (M) H4k(M, Z). k k − [2k] ∈ k The usual Pontryagin classes pk(M) := ( 1) c2k(M) are built from the even Chern classes c (M). By invariant theory for SO− (n), the rings generated by p˜ and 2k { 2k} p2k are the same, so we can work with either classes [20, §16]. { As} part of Chern-Weil theory, for connections 0, 1 on T M with connection 0 1 ∇ ∇ 0 1 forms ω0,ω1 and curvature forms Ω , Ω , the Chern-Simons form CS4k−1( , ) Λ4k−1(M), ∇ ∇ ∈ f 2k−1 1 0 1 CS4k−1( , )=2k Tr((ω1 ω0) Ωt ... Ωt) dt, ∇ ∇ Z0 − ∧ z ∧ }| ∧ { satisfies f 0 1 0 1 dCS − ( , )=˜p (Ω ) p˜ (Ω ). (2.2) 4k 1 ∇ ∇ k − k Here ω = tω + (1 t)ω , Ω = dω + ω ω . Our sign convention is Ω(∂ , ∂ )a = t 0 − 1f t t t ∧ t k j b g(R(∂k, ∂j)∂b, ∂a), where R is the curvature tensor of g. DIFFEOMORPHISMS OF CONTACT MANIFOLDS 5

2.2. Infinite dimensional background material. This material is taken from [16, 17]. Let (M, g) be a Riemannian manifold of any dimension, where the bars are used to be consistent with the notation in the rest of the paper. For fixed s 0, the 0 ≫ loop space LM of s0-differentiable loops is a Banach manifold with tangent space at 1 ∗ 1 a loop γ : S M given by Tγ LM = Γ(γ T M S ), where the sections of the −→ −→ 2 pullback bundle are s0 1 differentiable. LM has two preferred connections, the L − 0 2 or s = 0 Levi-Civita connection associated to the L inner product , 0, and the s = 1 Levi-Civita connection 1∇associated to the inner products , h: i ∇ h i1

X, Y 0 = g(Xt, Y t)γ(θ)dt, X, Y 1 = g((1 + ∆)Xt, Y t)γ(θ)dt. h i ZS1 h i ZS1 Here ∆ = ∗ is the Laplacian associated to the pullback connection = γ∗ M ∇ ∇ ∇ ∇ of the Levi-Civita connection M on M. While the connection and curvature forms ω , Ω for 0 at γ take values∇ in End(γ∗T M), the corresponding forms ω , Ω for 1 0 0 ∇ 1 1 ∇ take values in ΨDO≤0, the Lie algebra of zeroth order pseudodifferential operators (ΨDOs) on Γ(γ∗T M C), with the understanding that zeroth order means order at most zero. Since endomorphisms⊗ of a bundle are zeroth order ΨDOs, we can consider 0, 1 to be ΨDO∗-connections, where the Lie group ΨDO∗ of zeroth order invertible ∇ ∇ 0 0 ΨDOs with bounded inverse has Lie algebra ΨDO≤0. In particular, the curvature forms for these connections take values in skew-adjoint operators in ΨDO≤0. In contrast to finite dimensions, there are two natural traces on ΨDO≤0. Re- call that a zeroth order ΨDO P on Γ(γ∗T M C) has a symbol sequence P ∞ P 1 ∗ 1 ⊗ ∗ 1 1 ∼ k=0 σ−k(x, ξ), where x S ,ξ Tx S ; for π : T S S the projection, P ∗ ∗ ∈ ∈ −→ σP−k(x, ξ) End(π γ T M (x,ξ)) is homogeneous of degree k in ξ. The first trace is the leading∈ order trace | −

lo 1 Tr (P )= tr(σ0(x, ξ)) dξ dx, 4π ZS∗S1 where S∗S1 is the unit cotangent bundle of S1. For example, if P End(γ∗T M C), lo ∈ ⊗ then Tr (P )=(1/2π) S1 tr(P (x))dx. The second is the Wodzicki residue (see [8]) R W 1 res (P )= tr(σ−1(x, ξ)) dξ dx. 4π ZS∗S1 For P End(γ∗T M C), resW (P ) = 0. The trace in (2.1) can be replaced by either ∈ ⊗ trace to give a theory of characteristic classes on T LM: 1 1 chlo (LM) := [Trlo(Ωk)] H2k(LM, R), chW (LM) := [resW (Ωk)] H2k(LM, R). [2k] k! ∈ [2k] k! ∈ W In fact, the ch[2k](LM) always vanish, while there are many examples of nonvanishing lo ch[2k](LM) [15]. 6 S. EGI, Y. MAEDA, AND S. ROSENBERG

From here on, we only consider the Wodzicki residue trace. There are corresponding Wodzicki-Pontryagin (WP) classes W W 4k p (LM), p˜ (LM) H (LM, R), k Z≥ . k k ∈ ∈ 0 Since these classes vanish, we focus on the associated Wodzicki-Chern-Simons (WCS) forms k−1 1 W W 2k−1 CS2k−1 = k res ((ω1 ω0) Ωt ... Ωt) dt Λ (LM). Z0 − ∧ z ∧ }| ∧ { ∈ f ∗ Fix a loop γ(θ) LM and complexified tangent vectors X1,..., X2k−1 Γ(γ T M C) at γ. By [17,∈ Prop. 2.5], for the L2 and s = 1 Sobolev connections, we∈ have ⊗ W CS2k−1(g)(X1, ...X2k−1) (2.3) f k = k−1 sgn(σ) tr[( 2R(Xσ(1), γ˙ ) R( , γ˙ )Xσ(1) + R(Xσ(1), )γ ˙ ) 2 Z 1 − − · · Xσ S k−1 (Ω) (X ,..., X − )]dθ, · σ(2) σ(2k 1) where R, Ω are the curvature tensor and curvature two-form of g, S2k−1 is the permutation group of 1,..., 2k 1 , and we have omitted the θ dependence ofγ, ˙ Xi. { − } W The analog of (2.2) in this context is dCS ( 0, 1)=˜p (Ω0) p˜ (Ω1), where 4k−1 ∇ ∇ k − k Ω , resp. Ω , are the curvature of the L2, resp. Sobolev s = 1, metrics on LM. Since 0 1 f Ω0 takes values in endomorphisms of T LM, its Wodzicki residue vanishes. Thus W dCS ( 0, 1)= p˜W (Ω1) Λ4k(LM). (2.4) 4k−1 ∇ ∇ − k ∈ 3. Thef higher dimensional symplectic case In §3.1, we prove the main result Theorem 3.4. We first discuss the Riemannian geometry of circle bundles M p, p Z, over symplectic manifolds (M,ω), where −1 ∈ c1(M p) = (2π) [pω]. We compute the curvature as a function of p. Using the 2 curvature calculations, we prove that the WCS class on LM p is a polynomial in p with nonzero top coefficient. As we explain, this proves the Theorem. In §3.2, we discuss computer calculations that verify our calculations. 3.1. Geometry of line bundles over integral symplectic manifolds. Let (M,ω) be a compact integral symplectic manifold of real dimension 4n. The symplectic form ω H2(M, Z) determines a Riemannian metric g(X,Y )= ω(JX,Y ), where J is a compatible∈ almost complex structure. − We compute the symplectic volume form of M in local coordinates, where J = J jdxi ∂ and ω = ω dxi dxj. i ⊗ ∂xj ij ∧ DIFFEOMORPHISMS OF CONTACT MANIFOLDS 7

b Lemma 3.1. (i) Jij := gbjJi = ωij. (ii) Let e1,...,e4n be a local orthonormal frame of T ∗M. The symplectic volume form of M{is }

1 2n 1 1 4n ω = sgn(σ)J ... J − e ... e , (2n)! (2n)!22n σ(1)σ(2) · · σ(4k 1)σ(4k) ∧ ∧ σX∈S4n where S is the permutation group on 1,..., 4n . 4n { } b b b Our convention throughout the paper is that Jj = Jj , so gabJj = Jja, not Jaj. Proof. (i) Since ω(X,Y )= g(JX,Y ), we get b b ωij = g(J∂i, ∂j)= g(Ji ∂b, ∂j)= Ji gbj = Jij. (ii) This follows from (i), since

2n 1 1 4n ω = sgn(σ)ω ... ω − e ... e . 22n σ(1)σ(2) · · σ(4k 1)σ(4k) ∧ ∧ σX∈S4n

Because ω is integral, it has an associated line bundle L = L1 over M. Let M p π be the total space of the circle bundle Lp M associated to pω for p Z. Lp comes with a connectionη ¯ with dη¯ = pπ∗ω,−→ the curvature ofη. ¯ The metric g∈induces a metricg ¯ =g ¯p on M p by

g(X, Y )= g(π∗X, π∗Y )+ η(X)η(Y ). We also denote g(X, Y ) by X, Y . Let ξ¯ be a vector tangenth to thei circle fiber withη ¯(ξ¯) = 1, and let XL denote the L horizontal lift to M p of a tangent vector X to M. We haveη ¯(X )=0. We compute the Levi-Civita connection for g. ∇ Lemma 3.2. (i) ξξ = ξξ = 0; L ∇ LL (ii) XL Y =( X Y ) pg(JX,Y )ξ; ∇ ∇ L − L (iii) L ξ = X = p(JX) . ∇X ∇ξ Here is the Lie derivative. L Proof. (i) As in [17, §3.2], each circle fiber is the orbit of an isometric S1 action on M , so each circle is a geodesic ( ξ = 0), with ξ preserved by the action ( ξ = 0). p ∇ξ Lξ Alternatively, for the first part, since dη¯( , ξ) = 0, we get η¯ = di η¯ + i dη¯ = · Lξ ξ ξ d1+ dη¯(ξ, )=0. Thus g = (gL +¯η η¯)=0, so ξ is a Killing vector field. This · Lξ Lξ ⊗ implies g( ξ,Z)+ g(ξ, Z) = 0. Setting Z = ξ and then Z ξ, we get ξ =0. ∇ξ ∇ξ ⊥ ∇ξ (ii) We define H(X,Y ) R,FX = F (X) T M by ∈ ∈ L L L Y =( Y ) + H(X,Y )ξ, (3.1) ∇X ∇X 8 S. EGI, Y. MAEDA, AND S. ROSENBERG

L L ξ =(FX) , (3.2) ∇X L These definitions are valid, since for (3.1), it follows from [21, Lem. 1] that π∗( XL Y )= L L ∇ X Y , so XL Y =( X Y ) + H(X,Y )ξ for some H(X,Y ). For (3.2), ξ, ξ = 1 im- ∇ ∇ ∇ L h i plies L ξ, ξ =0, so L ξ =(FX) for some FX. h∇X i ∇X We note that H(X,Y )= H(Y,X): usingη ¯(X)= g(ξ, X), we get − 0=( g)(X, Y )=( η¯)(Y )+( η¯)(X)= g(ξ, Y )+ g(ξ, X) Lξ ∇X ∇Y ∇X ∇Y = H(X,Y )+ H(Y,X). Thus L L 1 L L L L pω(X,Y )= dη X ,Y = L η(Y ) η( L Y ) L η¯(X ) η¯( L X ) 2 ∇X − ∇X − ∇Y − ∇Y 1 L L L L = η( L Y )+ η( L X ) = g(ξ, L Y )+ g(ξ, L X ) 2 − ∇X ∇Y − ∇X ∇Y 1 = ( H(X,Y )+ H(Y,X)) = H(X,Y ). 2 − − This implies H(X,Y )= pω(X,Y )= pω(J 2X,Y )= pg(JX,Y ). − − (iii) From XL =0, we get the first equality in (iii): Lξ L L L X L ξ = [ξ,X ]= X =0. ∇ξ − ∇X Lξ (This also gives an alternative proof of (i): since XL, ξ = 0, we have h i L L ξ,X = ξ, X = ξ, L ξ =0. h∇ξ i h ∇ξ i h ∇X i Since ξ, ξ = 1 implies ξ, ξ = 0, we get ξ = 0. Another proof that the circle h i h∇ξ i ∇ξ fibers are geodesics is in [14, Thm. 5.2.13].) It follows from Y L, ξ = 0 that h i L L L L L Y , ξ + Y , L ξ =0, or H(X,Y )+ Y , (FX) =0. h∇X i h ∇X i h i Since g(XL,Y L) = g(X,Y ), we have pg(JX,Y ) = H(X,Y ) = g(FX,Y ), so FX = pJX. − −

For curvature conventions for M p, we set a R(∂ , ∂ ) a = R , R(∂ , ∂ , ∂ , ∂ )= R(∂ , ∂ )∂ , ∂ = R , k j b kjb k j b a h k j b ai kjba with R(X, Y )Z = Z Z Z. ∇X ∇Y − ∇Y ∇X − ∇[X,Y ] The curvature tensor R of g is related to the curvature tensor R of g as follows: DIFFEOMORPHISMS OF CONTACT MANIFOLDS 9

Lemma 3.3. (i) g(R(XL,Y L)ZL, W L) = g(R(X,Y )Z, W )+ p2[ g(JY,Z)g(JX,W ) − +g(JX,Z)g(JY,W )+2g(JX,Y )g(JZ,W )], (ii) g(R(XL,Y L)ZL, ξ) = pg (( J) Y,Z)+ pg (( J) X,Z) , − ∇X ∇Y (iii) g(R(XL, ξ)Y L, ξ) = p2g(X,Y ), − (iv) g(R(XL, ξ)Y L,ZL) = pg(( J)Y,Z). ∇X Proof. (i) and (ii). We have L L L L Z = L (( Z) pg(JY,Z)ξ) ∇X ∇Y ∇X ∇Y − L = L ( Z) p L (g(JY,Z)ξ) ∇X ∇Y − ∇X L L = ( Z) pg (JX, Z) ξ p[X (g(JY,Z))ξ + g(JY,Z) L ξ] ∇X ∇Y − ∇Y − ∇X =( Z)L pg (JX, Z) ξ ∇X ∇Y − ∇Y g (( J)Y,Z) ξ + g (J Y,Z) ξ − ∇X ∇X + g(JY, Z)ξ + g(JY,Z)(p(JX)L), ∇X XL,Y L = Y L XL ∇XL − ∇YL =( Y )L pg(JX,Y )ξ ( X)L + pg(JY,X)ξ ∇X − − ∇Y = 2pg(JX,Y )ξ + [X,Y ]L, − so R(XL,Y L)ZL =( Z)L pg(JX, Z)ξ ∇X ∇Y − ∇Y p(g(( J)Y,Z)ξ + g(J Y,Z)ξ + g(JY, Z)ξ + pg(JY,Z)(JX)L) − ∇X ∇X ∇X [( Z)L pg(JY, Z)ξ − ∇Y ∇X − ∇X p(g(( J)X,Z)ξ + g(J X,Z)ξ + g(JX, Z)ξ + pg(JX,Z)(JY )L)] − ∇Y ∇Y ∇Y L L [( L Z ) 2pg(JX,Y ) Z ] − ∇[X,Y ] − ∇ξ =(R(X,Y )Z)L p2g(JY,Z)(JX)L + p2g(JX,Z)(JY )L +2p2g(JX,Y )(JZ)L − pg(( J)Y,Z)ξ + pg(( J)X,Z)ξ. − ∇X ∇Y Thus, g(R(XL,Y L)ZL, W L)= R(X,Y )Z, W p2g(JY,Z)g(JX,W ) h i − + p2g(JX,Z)g(JY,W )+2p2g(JX,Y )g(JZ,W ), g(R(XL,Y L)ZL, ξ)= pg (( J) Y,Z)+ pg (( J) X,Z) . − ∇X ∇Y (iii) and (iv). Using [XL, ξ] = 0 and Lemma 3.2, we have L L L L R(X , ξ)Y )= L Y L Y ∇X ∇ξ − ∇ξ∇X 10 S. EGI, Y. MAEDA, AND S. ROSENBERG

L L = L (p(JY ) ) (( Y ) pg(JX,Y )ξ) ∇X − ∇ξ ∇X − L L = p L ((JY ) ) p(J Y ) ∇X − ∇X = p[( (JY ))L pg(JX,JY )ξ] p(J Y )L ∇X − − ∇X = p(( J)Y )L p2g(X,Y )ξ. ∇X − In other words, g(R(XL, ξ)Y L),ZL)= pg(( J)Y,Z), ∇X g(R(XL, ξ)Y L), ξ)= p2g(X,Y ). − In fact, (ii) and (iv) are equivalent; this uses the symmetry of R and 0= dω(X,Y,Z)= d(g(J , ))(X,Y,Z) − · · g(( J)Y,Z)+ g(( J)Z,X) g(( J)Y,X)=0. ⇒ ∇X ∇Y − ∇Z From now on, we assume that M is connected. Here is the main result. Theorem 3.4. Let (M,ω) be a closed integral symplectic manifold of dimension 4n. Then for p 0, π (Diff(M )) and π (Isom(M )) are infinite. Equivalently, let M be | |≫ 1 p 1 p a closed (4n +1)-dimensional contact manifold with closed Reeb orbits. Then M covers infinitely many such contact manifolds M p with π1(Diff(M p)) and π1(Isom(M p)) infinite ∗ In fact, M p is diffeomorphic to M −p, since Lp is diffeomorphic to L−p = Lp via the fiberwise map v , v . 7→ h· i Proof. For the equivalence, we note that the line bundle L1 covers Lp by the map z p 7→ z in each fiber, as can be seen by the Cechˇ construction of c1(Lp). The equivalence of line bundles over symplectic manifolds and contact manifolds with closed Reeb orbits is given by the Boothby-Wang fibration theorem [2, Thm. 3.9]. We recall the approach of [17]. For any set X, the following sets are in bijection: Maps(S1 X,X) Maps(S1, Maps(X,X)) Maps(X, Maps(S1,X)). × ↔ ↔ 1 1 In particular, let a : S M p M p be the isometric S action of rotation in the × −→ D D fibers of M p. This gives equivalent maps a π1(Diff(M p)) defined by a (θ)(m)= L ∈L L a(θ, m), and a : M p LM p defined by a (m)(θ) = a(θ, m). This induces a∗ : −→ D H4n+1(M p) H4n+1(LM p). If a is trivial, then the trivializing homotopy F : 1 −→ D ′ [0, 1] S Diff(M p), F (0, ) = a , F (1, ) = Id : M p M p, induces F : × −→ ′ · L ′ · −→ ′ [0, 1] M p LM p with F (0, ) = a , F (1, m)=(θ m) for all θ, i.e., F (1, m) × −→ · D L 7→′ is the constant loop at m. Thus if a is trivial, a = F (1, )∗ takes the fundmental ∗ · homology class [M p] in M p to the class [M p,c] of constant loops in LM p. DIFFEOMORPHISMS OF CONTACT MANIFOLDS 11

If β Λ4n+1(LM ) is closed and has ∈ p β = (aL)∗β =0, β =0, (3.3) L Za∗ [Mp] Z[Mp] 6 Z[Mp,c] then aL is not homotopic to the constant loop map. It follows that aD must be nontrivial in π1(Diff(M p)) and in fact has infinite order [17, Prop. 3.4]. W W For our purposes, β = CS4n+1; this is closed by [17, Thm. 2.6]. By (2.3), CS4n+1 is the zero form on constant loops, sinceγ ˙ =0. Thus the second condition β =0 f [Mfp,c] in (3.3) is satisfied. R W L,∗ For the first condition in (3.3), we want to compute a CS4n+1 in a local frame. In our setting, aL(m) is the loop γ = γ given by the fiber M . As in [17, (3.5)], we m fp,m may assume thatγ ˙ = ξ = e0, the first element of an orthonormal frame e0,...,e4n . Then (2.3) becomes { }

L,∗ W a CS4n+1,γ 2n +1 = f sgn(σ)R r R ℓ1 R ℓ2 ... R ℓ2k 22n−1 σ0ℓ10 · σ1σ2ℓ2 · σ3σ4ℓ3 · · σ4n−1σ4nr σ∈XS4n+1 e ... e (3.4) · 0 ∧ ∧ 4n 2n +1 4n+2 := S pqe ... e , 22n−1 4n+1,q 0 ∧ ∧ 4n Xq=1 where S4n+1 is the permutation group of 0, 1,..., 4n , and ℓi,r 0, 1,..., 4n . We W { } ∈{ } L,∗ have used Lemma 3.3 to write a CS4n+1 on M p as a polynomial in p. In particular, it is easy to see that the top power of p in S is p4n+2 and that there is no term f 4n+1 with power p0. We focus on the top term. Claim: n+1 2n+1 ′ ′ ′ ′ ′ S4n+1,4n+2 =( 1) 2 (2n + 1) sgn(σ )Jσ1σ2 ...Jσ4n−1σ4n , (3.5) − ′ σ X∈S4n where S is the permutation group of 1,..., 4n . 4n { } By Lemma 3.1, the right hand side of (3.5) is a nonzero multiple of the symplectic volume form. As a result, L,∗ W 0 < a CS4n+1, ZMp for p 0, which is the first condition in (3.3).f Thus the Claim implies that [aD] | | ≫ D has infinite order in π1(Diff(M p)). The action is by isometries of the fibers, so if [a ] had finite order in π1(Isom(M p)), it would have finite order in π1(Diff(M p)). 12 S. EGI, Y. MAEDA, AND S. ROSENBERG

Thus the Theorem follows from the Claim, which we now prove. By Lemma 3.3, 4n+2 the only way to get p in a term in (3.4) is if σ0 =0. Therefore,

4n+2 S4n+1,4n+2p sgn(σ)R rR ℓ1 R ℓ2 ... ≡ 0ℓ10 σ1σ2ℓ2 σ3σ4ℓ3 · σX0=0 R ℓ2n−1 R ℓ2n (mod p4n+2) · σ4n−3σ4n−2ℓ2n σ4n−1σ4nr sgn(σ)R rR a1 R a2 R a3 R a4 ... ≡ 0a10 σ1σ2a2 σ3σ4a3 σ5σ6a4 σ7σ8a5 · σX0=0 R a2n−1 R 2n (mod p4n+2) · σ4n−3σ4n−2a2n σ4n−1σ4nr sgn(σ)( p2δr )R a1 R a2 R a3 R a4 ... ≡ − a1 σ1σ2a2 σ3σ4a3 σ5σ6a4 σ7σ8a5 · σX0=0 R a2n−1 R 2k (mod p4n+2) · σ4n−3σ4n−2a2n σ4n−1σ4nr p2 sgn(σ)(R a1 R a2 )(R a3 R a4 ) ... ≡ − σ1σ2a2 σ3σ4a3 σ5σ6a4 σ7σ8a5 · σX0=0 (R a2n−1 R 2n ) (mod p4n+2), · σ4n−3σ4n−2a2n σ4n−1σ4na1 where (mod p4n+2) denotes all terms with power p4n+2. Therefore, 4n+2 S4n+1,4n+2p = p4n+2 sgn(σ)(A′ ) a1 (A′ ) a3 − 1 σ1σ2σ3σ4a3 2 σ5σ6σ7σ8a5 σX0=0 ... (A′ ) a2n−1 , · · n σ4n−3σ4n−2σ4n−1σ4na1 where

′ a1 (A1)σ1σ2σ3σ4a3 = [ J J a1 + J J a1 +2J J a1 ][ J J a2 + J J a2 +2J J a2 ] − σ2a2 σ1 σ1a2 σ2 σ1σ2 a2 − σ4a3 σ3 σ3a3 σ4 σ3σ4 a3 ′ a3 (A2)σ5σ6σ7σ8a5 = [ J J a3 + J J a3 +2J J a3 ][ J J a4 + J J a4 +2J J a4 ] − σ6a4 σ5 σ5a4 σ6 σ5σ6 a4 − σ8a5 σ7 σ7a5 σ8 σ7σ8 a5 . .

′ a2n−1 (An)σ4nσ4n−1σ4n−2σ4n−3a1 = [ J J a2n−1 + J J a2n−1 +2J J a2n−1 ] − σ4n−2a2n σ4n−3 σ4n−3a2n σ4n−2 σ4n−3σ4n−2 a2n [ J J a2n + J J a2n +2J J a2n ]. · − σ4na1 σ4n−1 σ4n−1a1 σ4n σ4n−1σ4n a1 ′ We expand out (A1): ′ a1 (A1)σ1σ2σ3σ4a3 = J J a1 J J a2 J J a1 J J a2 2J J a1 J J a2 σ2a2 σ1 σ4a3 σ3 − σ2a2 σ1 σ3a3 σ4 − σ2a2 σ1 σ3σ4 a3 DIFFEOMORPHISMS OF CONTACT MANIFOLDS 13

J J a1 J J a2 + J J a1 J J a2 +2J J a1 J J a2 − σ1a2 σ2 σ4a3 σ3 σ1a2 σ2 σ3a3 σ4 σ1a2 σ2 σ3σ4 a3 2J J a1 J J a2 +2J J a1 J J a2 +4J J a1 J J a2 . − σ1σ2 a2 σ4a3 σ3 σ1σ2 a2 σ3a3 σ4 σ1σ2 a2 σ3σ4 a3 a2 ′ Since, e.g., Jσ2a2 Jσ3 = gσ2σ3 , (A1) reduces to: (A′ ) a1 = J a1 J g J a1 J g 2J a1 J g 1 σ1σ2σ3σ4a3 σ1 σ4a3 σ2σ3 − σ1 σ3a3 σ2σ4 − σ1 σ3σ4 σ2a3 J a1 J g + J a1 J g +2J a1 J g (3.6) − σ2 σ4a3 σ1σ3 σ2 σ3a3 σ1σ4 σ2 σ3σ4 σ1a3 +2J J δ a1 2J J δ a1 4J J δ a1 . σ1σ2 σ4a3 σ3 − σ1σ2 σ3a3 σ4 − σ1σ2 σ3σ4 a3 Terms in (3.6) containing gσiσj (as opposed to terms containing gσiaj ) do not contribute to S4n+1,4n+2. Indeed, by the symmetry of g, for ﬁxed σ the term in S4n+1,4n+2 formally of the form sgn(σ)J J ... J gσiσj is cancelled by the term with (ij)σ in cycle notation. · · · · As a result, we have

4n+2 4n+2 a1 ′ a3 S4n+1,4n+2p = p sgn(σ)(A1)σ1σ2σ3σ4a3 (A2)σ5σ6σ7σ8a5 σX0=0 ... (A′ ) a2n−1 , (3.7) · · n σ4nσ4n−1σ4n−2σ4n−3a1 with (A ) a1 = 2J a1 J g +2J a1 J g +2J J δ a1 1 σ1σ2σ3σ4a3 − σ1 σ3σ4 σ2a3 σ2 σ3σ4 σ1a3 σ1σ2 σ4a3 σ3 2J J δ a1 4J J δ a1 − σ1σ2 σ3a3 σ4 − σ1σ2 σ3σ4 a3 = 4J J a1 g 4J J δ a1 4J J δ a1 − σ3σ4 σ1 σ2a3 − σ1σ2 σ3a3 σ4 − σ1σ2 σ3σ4 a3 = 22[J J δ a1 + J J a1 g + J J δ a1 ] − σ1σ2 σ3a3 σ4 σ3σ4 σ1 σ2a3 σ1σ2 σ3σ4 a3 = 22J (J δ a1 + J a1 g + J δ a1 ). − σ1σ2 σ3a3 σ4 σ3 σ4a3 σ3σ4 a3 a1 a1 (In the last line, we replaced Jσ3σ4 Jσ1 gσ2a3 with Jσ1σ2 Jσ3 gσ4a3 using the sign pre- serving “change of variables” σ (13)(24)σ; strictly speaking, this is valid only after 7→ we plug (A1) back into (3.7).) Doing the same computations for (A′ ), (A′ ), we get 2 ··· n S4n+1,4n+2 (3.8) = sgn(σ)(A ) a1 (A ) a3 ... (A ) a2n , 1 σ1σ2σ3σ4a3 2 σ5σ6σ7σ8a5 · · n σ4nσ4n−1σ4n−2σ4n−3a1 σX0=0 where (A ) a3 =( 22)[J (J δ a3 + J a3 g + J δ a3 )] (3.9) 2 σ5σ6σ7σ8a5 − σ5σ6 σ7a5 σ8 σ7 σ8a5 σ7σ8 a5 . .

a2n−1 (An)σ4n−3σ4n−2σ4n−1σ4na1 =( 22)[J (J δ a2n−1 + J a2n−1 g + J δ a2n−1 )]. − σ4n−3σ4n−2 σ4n−1a1 σ4n σ4n−1 σ4na1 σ4n−1σ4n a1 14 S. EGI, Y. MAEDA, AND S. ROSENBERG

We now begin to simplify (3.8).

S4n+1,4n+2 (3.10) =( 1) sgn(σ)(A ) a1 (A ) a5 ... − 12 σ1σ2σ3σ4σ5σ6σ7σ8a5 3 σ9σ10σ11σ12a6 · · σX0=0 a2n (An)σ4nσ4n−1σ4n−2σ4n−3a1 , where

a1 (A12)σ1σ2σ3σ4σ5σ6σ7σ8a5 a1 a3 := (A1)σ1σ2σ3σ4a3 (A2)σ5σ6σ7σ8a5 =( 22)2[J (J δ a1 + J g + J δ a1 )] − σ1σ2 σ3a3 σ4 σ3σ4 σ4a3 σ3σ4 a3 [J (J δ a3 + J J a3 g + J J δ a1 )] · σ5σ6 σ7a5 σ8 σ7σ8 σ5 σ6a5 σ5σ6 σ3σ4 a3 =( 22)2 J J [J δ a1 + J a1 g + J δ a1 ][J δ a3 + J a3 g + J δ a3 ] − · σ1σ2 σ5σ6 σ3a3 a5 σ3 σ4a3 σ3σ4 a3 σ7a5 a8 σ7 σ8a5 σ7σ8 a5 =( 22)2 J J [J δ a1 J δ a3 + J δ a1 J a3 g + J δ a1 J δ a3 − · σ1σ2 σ5σ6 σ3a3 σ4 σ7a5 σ8 σ3a3 σ4 σ7 σ8a5 σ3a3 σ4 σ7σ8 a5 a1 a3 a1 a3 a1 a3 + Jσ3 gσ4a3 Jσ7a5 δσ8 + Jσ3 gσ4a3 Jσ7 gσ8a5 + Jσ3 gσ4a3 Jσ7σ8 δa5 (3.11) a1 a3 a1 a3 a1 a1 + Jσ3σ4 δa3 Jσ7a5 δσ5 + Jσ3σ4 δa3 Jσ7 gσ8a5 + Jσ3σ4 δa3 Jσ7σ8 δa5 ] =( 22)2 J J [J J δ a1 + J δ a1 J J a1 J g + J a1 g J − · σ1σ2 σ5σ6 σ3σ8 σ7a5 σ4 σ3a5 σ4 σ7σ8 σ3 σ7σ4 σ8a5 σ3 σ4a5 σ7σ8 a1 a1 a1 + Jσ3σ4 Jσ7a5 δσ8 + Jσ3σ4 Jσ7 gσ8a5 + Jσ3σ4 Jσ7σ8 δa5 ] =( 22)2 J J [ J J δ a1 + J δ a1 J J a1 J g + J a1 g J − · σ1σ2 σ5σ6 − σ3σ4 σ7a5 σ8 σ7a5 σ8 σ3σ4 − σ7 σ3σ4 σ8a5 σ7 σ8a5 σ3σ4 a1 a1 a1 + Jσ3σ4 Jσ7a5 δσ8 + Jσ3σ4 Jσ7 gσ8a5 + Jσ3σ4 Jσ7σ8 δa5 ] =( 22)2 J J [J ( J δ a1 + J δ a1 J a1 g + J a1 g + J δ a1 − · σ1σ2 σ5σ6 σ3σ4 − σ7a5 σ8 σ7a5 σ8 − σ7 σ8a5 σ7 σ8a5 σ7a5 σ8 a1 a1 + Jσ7 gσ8a5 + Jσ7σ8 δa5 )] =( 22)2 J J J [J δ a1 + J a1 g + J δ a1 ]. − · σ1σ2 σ3σ4 σ5σ6 σ7a5 σ8 σ7 σ8a5 σ7σ8 a5 Continuing to simplify (3.8), we have

a1 (A123)σ1...σ12a7 a1 a5 := (A12)σ1...σ8a5 (A3)σ9σ10σ11σ12a6 =( 22)2 J J J [J δ a1 + J a1 g + J δ a1 ] − · σ1σ2 σ3σ4 σ5σ6 σ7a5 σ8 σ7 σ8a5 σ7σ8 a5 ( 22) J [J δ a5 + J a5 g + J δ a5 ] · − · σ9σ10 σ11a7 σ12 σ11 σ12a7 σ11σ12 a7 =( 22)3 J J J J J [J δ a1 + J a1 g + J δ a1 ], − · σ1σ2 σ3σ4 σ5σ6 σ7σ8 σ9σ10 σ11a7 σ12 σ11 σ12a7 σ11σ12 a7 where the last line follows from computations as in (3.8). In the end, we obtain

S4n+1,4n+2 ( 1)n+122n sgn(σ)J J ... J [J δ a1 + J a1 g − σ1σ2 σ3σ4 · · σ4n−3σ4n−2 σ4n−1a1 σ4n σ4n−1 σ4na1 σX0=0 DIFFEOMORPHISMS OF CONTACT MANIFOLDS 15

a1 + Jσ4n−1σ4n δa1 ] (3.12) =( 1)n+122n+1(2n + 1) sgn(σ)J J J . − σ1σ2 σ3σ4 ··· σ4n−1σ4n σX0=0 This proves the Claim and ﬁnishes the proof of Theorem 3.4.

3.2. A computer verification. Using the code at egison.org, we obtain the following results for S4n+1,4n+2 in Theorem 3.4 [5]. dim(M) 4 6 8 S4n+1,4n+2 -192 0 61440 In this pointwise calculation, we have put the almost complex structure into the normal form 0 I J = . I 0 − This agrees with (3.12): for dim(M) = 4 (i.e. n = 1), J J = 2!22, so σ0=0 σ1σ2 σ3σ4 2 3 − S4n+1,4n+2 =( 1) 2 (3)( 8) = 192; for dim(M) = 8 (i.e.P n = 2), the corresponding sum over permutations− gives− 4!2−4, so S =( 1)3255(384) = 61440. 4n+1,4n+2 − The fact that cn = 0 for dim(M) = 6 is proven in Appendix A, and applies to all manifolds of dimension 4n +2. 3.3. An elementary alternative. We present an argument due to Yoshihiko Mit- sumatsu that proves a variant of Theorem 3.4. Proposition 3.5. Let M be a manifold with an S1 action a : S1 M M, and let be an orbit whose corresponding element in π (M) has infinite× order.−→ Then O 1 the element aD π (Diff(M)) associated to a has infinite order. In particular, if the ∈ 1 action is free with corresponding fibration S1 M M/S1, and if π (S1) injects −→ −→ 1 into π (M), then aD π (Diff(M)) has infinite order. 1 ∈ 1 Proof. If aD has finite order k, then there is a homotopy H : S1 [0, 1] Diff(M) with H(θ, 0)(m)=(k aD)(θ)(m),H(θ, 1)(m)= m. Here we don’t× distinguish−→ between · aD : S1 Diff(M) and its homotopy class. Pick m . Then H : S1 [0, 1] −→ ∈ O m × −→ M, H (θ,s)= H(θ,s)(m), is a homotopy from k to the constant loop at m. Thus m · O has finite order in π (M), a contradiction. O 1 4. The Kodaira-Thurston example We calculate explicitly the WCS class for the example given by Thurston [23], and apparently known to Kodaira, of a non-Kähler symplectic manifold M 4. By putting an explicit Riemannian metric on M, we can compute that π1(Diff(M p)) and π (Isom(M )) are infinite for all p Z. 1 p ∈ 16 S. EGI, Y. MAEDA, AND S. ROSENBERG

4.1. The metric. M is a T 2 fibration over T 2. To construct M, we take coordinates 2 θ1, θ2, θ3, θ4 [0, 1]. The base T has coordinates θ1, θ2, where we glue θ1, θ2 as usual to get a torus.∈ For the fiber T 2, we take the linear transformation 1 1 0 1 on R2 = (θ , θ ) (so now these coordinates are real numbers), which glues the unit { 3 4 } (θ3, θ4)-square to the parallelogram with sides given by the vectors θ~3, ~θ3 + θ~4. We do 4 this gluing in the θ2 direction, so that M is given by [0, 1] with the relations/gluings (0, θ , θ , θ ) (1, θ , θ , θ ), (θ , 0, θ , θ ) (θ , 1, θ , θ + θ ). 2 3 4 ∼ 2 3 4 1 3 4 ∼ 1 3 3 4 We claim that the metric dθ2 + dθ2 + dθ2 θ dθ dθ +(1+ θ )dθ2 (4.1) 1 2 3 − 2 3 4 2 4 is well-defined on M. Since ∂θ4 at θ2 = 0 is glued to ∂θ3 + ∂θ4 at θ2 = 1, this means we must have ∂ , ∂ = ∂ , ∂ , i, j =1, 2, 3, 4, h θi θj i(0,θ2,θ3,θ4) h θi θj i(1,θ2,θ3,θ4) ∂ , ∂ = ∂ , ∂ , i, j =1, 2, 3, h θi θj i(θ1,0,θ3,θ4) h θi θj i(θ1,1,θ3,θ4) ∂ , ∂ = ∂ , ∂ + ∂ , i =1, 2, 3, j =4, h θi θ4 i(θ1,0,θ3,θ4) h θi θ3 θ4 i(θ1,1,θ3,θ4) ∂ , ∂ = ∂ + ∂ , ∂ + ∂ . h θ4 θ4 i(θ1,0,θ3,θ4) h θ3 θ4 θ3 θ4 i(θ1,1,θ3,θ4) Since the metric is independent of θ [0, 1], the first equation holds; since the 1 ∈ metric is independent of θ2 for i, j =1, 2, 3, the second equation holds. For the third equation, the left hand side is 0; the right hand side is also 0 for i = 1, 2, and for i = 3 we get ∂ , ∂ + ∂ =1 (θ =1)=0. h θi θ3 θ4 i(θ1,1,θ3,θ4) − 2 For the last equation, the left hand side is 1, and the right hand side is ∂ , ∂ +2 ∂ , ∂ + ∂ , ∂ =1+2( 1)+2=1. h θ3 θ3 iθ2=1 h θ3 θ4 iθ2=1 h θ4 θ4 iθ2=1 − (Since g33 = 1 is independent of θ2, from the gluing ∂θ3 θ2=0 = ∂θ3 θ2=1, ∂θ4 θ2=0 = (∂ + ∂ ) , g (θ ) must satisfy g (0) = 0,g (1) = |1 and g (θ| ) must| satisfy θ3 θ4 |θ2=1 34 2 34 34 − 44 2 g44(0) = 1,g44(1) = 2, so our choice of metric is the simplest one possible.) As a check, we note that the volume form is (1 + θ θ2)dθ dθ dθ dθ , 2 − 2 1 ∧ 2 ∧ 3 ∧ 4 2 which is equal at θ2 = 0 and θ2 =1. It is also positive definite, since 1 + θ2 θ2 has no roots in [0, 1]. − DIFFEOMORPHISMS OF CONTACT MANIFOLDS 17

4.2. The compatible AC structure and the new metric. Given a symplectic form ω and a Riemannian metric g, we want to find an AC structure J and a new metricg ˜ with the compatibility condition ω(u, v)=˜g(Ju,v). The usual procedure is to write ω(u, v)= g(Au, v) (4.2) for some skew-adjoint transformation A. (The matrix of A is not necessarily skew- ∗ symmetric in the basis ∂θi , since this basis is only orthogonal at θ2 = 0.) For A the adjoint of A with respect{ } to g, we set −1 −1 J = √AA∗ A = √ A2 A, g˜(u, v)= g(√AA∗u, v). (4.3) − It is easy to check that J 2 = 1 and that (4.2) holds. Note that g˜(u, v)= g((AA∗)1/4u, (AA∗)1−/4v) is positive definite. We take the symplectic form ω = dθ1 dθ2 + κdθ3 dθ4, κ Z 0 , so (M,ω) is integral. (For κ< 0, ω2 is the volume form∧ for the reverse∧ of the∈ standard\{ } orientation.) For the metric g, we first have to compute A. (4.2) is equivalent to k ωij = Ai gkj. (4.4) A straightforward calculation gives 01 0 0  10 0 0  A = − θ2κ κ 0 0 2 2 1+θ2−θ2 1+θ2−θ2  − −   ( 1 θ2)κ −θ2κ   0 0 1+θ −θ2 1+θ −θ2   2 2 2 2  We now have to compute √AA∗. From (4.2) and ω(u, v)= ω(v,u)= g(Av,u)= g( A∗u, v), − − − we get A∗ = A. Thus − 10 0 0 10 0 0 01 0 0 ∗   01 0 0  AA = κ2 = √AA∗ = κ 0 0 − 2 0 0 0 − 2 1/2 0  1+θ2 θ2  ⇒ (1+θ2 θ2)  κ2   κ  00 0 2 1/2  00 0 1+θ −θ2  (1+θ2−θ )  2 2   2  and 01 0 0 −1  10 0 0  ∗ J = √AA A = − θ2 1 (4.5) 0 0 − 2 1/2 − 2 1/2  (1+θ2 θ2 ) (1+θ2 θ2)   −1−θ2 −θ2  0 0 2 1/2 2 1/2  (1+θ2−θ ) (1+θ2−θ )   2 2  Note that J is independent of κ. 18 S. EGI, Y. MAEDA, AND S. ROSENBERG

To computeg ˜, we have

u1 u1 u2  u2  √AA∗ = κ (4.6) 2 1/2 u3 u3 (1+θ2−θ2 )    κ  u4  − 2 1/2 u4    (1+θ2 θ2 )  10 0 0 01 0 0  ∗ = g˜ = g(√AA , )= κ −θ2κ 0 0 − 2 1/2 − 2 1/2 ⇒ · ·  (1+θ2 θ2) (1+θ2 θ2)   −θ2κ (1+θ2)κ  0 0 (1+θ −θ2)1/2 (1+θ −θ2)1/2   2 2 2 2  4.3. The top WCS form. Let (e0,...,e4) be a local orthonormal frame of M p, with e0 = ξ. By (2.3) with k = 3,

L,∗ W W L L a CS5 (e0,...,e4)= CS5 (a∗ e0,...,a∗ e4) (4.7) 3 f f r ℓ1 ℓ2 = sgn(σ)Rσ0ℓ10 Rσ1σ2ℓ2 Rσ3σ4r dθ0, 2 ZS1 σX∈S5 where S is the permutation group on 0, 1, 2, 3, 4 , ℓ ,ℓ ,r 0, 1, 2, 3, 4 , σ = 5 { } 1 2 ∈ { } (σ0, σ1, σ2, σ3, σ4), and θ0 is the fiber coordinate with ∂θ0 = ξ. . We have used that aL(¯m) is the circle fiber ofm ¯ M , soγ ˙ in (2.3) equals ξ. Thus the integral over S1 ∈ p is the integral over the circle fiber in M p. Set β = β(θ )=1+ θ θ2. 2 2 − 2 Proposition 4.1. We have 2 3/2 1 L,∗ W 3κπ p 4 2 −2 −4 a CS5 = (3072p 640p β 25β )dθ2. (4.8) ZM p 8 Z0 − − f Proof. We explain the constants on the right hand side of (4.8). By the construction of g, a acts via isometries on M p. This makes the integrand in (4.7) independent of θ0, so the integral is replaced with a factor of 2π. Thus

L,∗ W L,∗ W 0 4 a CS5 = a CS5 (e0,...,e4)e ... e ZM p ZM p ∧ ∧ f f 2π 3 r ℓ1 ℓ2 = · sgn(σ)Rσ0ℓ10 Rσ1σ2ℓ2 Rσ3σ4r dvol. 2 ZM p σX∈S5 We now switch to the coordinates θ ,...,θ , so R is now computed in these coor- { 0 4} dinates, and dvol = κdθ0 ... dθ4. The integrand is again independent of the point in the fiber, so the integral∧ over∧ the fiber just detects the length of the fiber. By the construction of g, the fiber in M has length 2π = 2π ξ . For M , g has the fiber 1 0 | | p R DIFFEOMORPHISMS OF CONTACT MANIFOLDS 19 term pdη dη, so ξ = p1/2, and we only integrate from 0 to 2π/p. Thus the length ⊗ 2π/p| |1/2 1/2 of the fiber is 0 p =2π/p . So W R L,∗ 2π 3 2πκ r ℓ1 ℓ2 a CS5 = · 1/2 sgn(σ)Rσ0ℓ10 Rσ1σ2ℓ2 Rσ3σ4r dθ1 ... dθ4. ZM p 2 p ZM ∧ ∧ σX∈S5 f Thus the Proposition follows if

r ℓ1 ℓ2 sgn(σ)Rσ0ℓ10 Rσ1σ2ℓ2 Rσ3σ4r dθ1 ... dθ4 ZM ∧ ∧ σX∈S5 2 1 p 4 2 −2 −4 = (3072p 640p β 25β )dθ2. (4.9) 16 Z0 − − The long calculation of (4.9) is in [6]. This result is verified by the computer calculations in a file at [5]. Since the top coefficient of p is nonzero, we conclude from Theorem 3.4 that π1(Diff(M p)) and π1(Isom(M p)) are infinite for p 0. We will improve this to all p as follows: | | ≫

Theorem 4.2. π1(Diff(M p)) and π1(Isom(M p)) are infinite for all p. Proof. For p = 0, this follows as in the Introduction (cf. [17, Rmk. 3.2]). For p = 0, by (4.8), (4.9), it suffices to show that 6 1 4 2 −2 −4 (3072p 640p β 25β )dθ2 =0, (4.10) Z0 − − 6 for p Z. Either by a direct calculation or by Wolfram Alpha, we get (for θ = θ ) ∈ 2 2θ 1 2(ln( 2θ + √5+1) 2(ln(2θ + √5 1) β−2dθ = − − + − + C, Z 5(1 + θ θ2) − 5√5 5√5 − 1 1 β−4dθ = 60θ5 + 150θ4 + 50x3 225x2 75θ + 80 Z −375 (1 + θ θ2)3 − − − − +12√5 ln(2θ + √5 1) ln( 2θ + √5+1) + C. − − − The definite integrals are 1 2 β−2dθ = 5+4√5 coth−1(√5) , Z0 25 1 16 β−4dθ = 10+3√5 coth−1(√5) . Z0 375 Plugging this into (4.10), we must show that 10( 1 24p2 + 288p4) 3√5(1 + 64p2) coth−1(√5) =0. − − − 6 20 S. EGI, Y. MAEDA, AND S. ROSENBERG

This quadratic equation in p2 has solutions p 0.159514i, 0.424868. Since there are no integral solutions, the theorem follows. ≈ ± ± A second computer program verifying these calculations is in [5]. Remark 4.1. Proposition 3.5 provides an alternative proof of Theorem 4.2. By the homotopy exact sequence of the fibration T 2 M T 2, π (M)=1. Then the −→ −→ 2 homotopy exact sequence for S1 M M implies that π (S1) injects into −→ p −→ 1 π1(M). Our proof depending on Theorem 3.4 is longer, but is available in cases where Proposition 3.5 cannot be applied. 5. The higher dimensional Kähler case In this section, we prove that the lowest order term in the WCS form has a geometric/topological interpretation on Kähler manifolds (Proposition 5.2); this appears to fail for general symplectic manifolds. We use this result to give non-vanishing results for Wodzicki-Pontryagin forms (Theorem 5.3). In contrast, the Wodzicki-Pontryagin classes vanish in H4k(LM); this non-vanishing of the representative forms gives the first known examples in arbitrarily high dimensions. We start with some general remarks about the real homology/cohomology of loop spaces. For a manifold N, deflne the ring homomorphism L :Λ∗(N) Λ∗(LN), δ −→ 7→ δL by δL(X1,...,Xk)= δ(X1(0),...,Xk(0)). Then aL,∗ L = Id. (5.1) ◦ To see this, take v TpN and a curve γ(s) tangent to v at p. Then aL,∗(v) = (d/ds) a (γ(s)), a∈ vector field along the loop a (p)(t). Since a (γ(s)(0) = γ(s), we |s=0 L L L get aL,∗(v)(t =0)= v. Thus L,∗ a δL(X1,...,Xr)= δL(aL,∗X1,...,aL,∗(Xr)) = δ[(aL,∗X1](0),..., [aL,∗(Xr)](0))

= δ(X1,...,Xr). .Lemma 5.1. L induces an injection L∗ : Hk(N, R) ֒ Hk(LN, R) for all k → Proof. We have [(d L)δ](X ,...,X ) LN ◦ 1 k+1 = ( 1)i−1X (δ (X ,..., Xˆ ,...X )) − i L 1 i k+1 Xi + ( 1)i+jδ ([X ,X ],X ,..., Xˆ ,..., Xˆ j,...,X ) − L i j 1 i k+1 Xi≤j = ( 1)i−1X (δ(X (0),..., Xˆ (0),...X (0))) − i 1 i k+1 Xi DIFFEOMORPHISMS OF CONTACT MANIFOLDS 21

+ ( 1)i+jδ([X ,X ](0),X , (0) ..., Xˆ (0),..., Xˆ j(0),...,X (0)), − i j 1 i k+1 Xi≤j [(L d )δ](X ,...,X )= d δ(X (0),...,X (0)) ◦ N 1 k+1 N 1 k+1 = ( 1)i−1X (0)(δ(X (0),..., Xˆ (0),...X (0))) − i 1 i k+1 Xi + ( 1)i+jδ([X ,X ](0),X , (0) ..., Xˆ (0),..., Xˆ j(0),...,X (0)). − i j 1 i k+1 Xi≤j Let γ (t) be a family of loops with tangent vector X T LN. Extend the X to s i ∈ γ0 j vector fields near γ = γ0. Then X (δ(X (0),..., Xˆ (0),...X (0)) = (d/ds )δ (X (0),..., Xˆ (0),...X (0)) i 1 i k+1 |s=0 γ(s)(0) 1 i k+1 = Xi(0)(δ(X1(0),..., Xî(0),...Xk+1(0)). ∗ ∗ Similar computations imply dLN L = L dN , so L :Λ (N) Λ (LN) induces L∗ : H∗(N) H∗(LN). Then ◦aL,∗L∗ =◦Id implies L∗ : H∗−→(N) H∗(LN) is injective. −→ −→ In contrast to this general cohomological result, our goal is to obtain information on the Wodizicki-Pontryagin forms from the characteristic cohomology ring of T M. Let (M,ω) be an integral Kähler manifold of real dimension 4n; equivalently, M is projective algebraic. The Kähler form ω H2(M, Z) determines the Riemannian metric g(X,Y )= ω(JX,Y ), where J is the∈ complex structure. The key feature− of the Kähler case for us is that J = 0. Thus in Lemma 3.3, the ∇ W terms (ii) and (iv) vanish. By (2.3) and Lemma 3.3, the WCS forms CS2k−1 on LM p W L,∗ 2 and their pullbacks a CS2k−1 to M p are polynomials in p : f k W f W CS (LM )= CS p2i Λ2k−1(LM ), (5.2) 2k−1 p 2k−1,2i ∈ p Xi=1 f k f W W aL,∗CS (LM )= aL,∗CS p2i Λ2k−1(M ), 2k−1 p 2k−1,2i ∈ p Xi=1 fW f where the forms CS2k−1,2i are curvature expressions independent of p. (In the symplectic case, odd powers of p appear.) f W We can explicitly compute the relevant part of CS2k−1,2 used in the computations below. Let Ω = Ω be the curvature of the Kähler metric. M f Proposition 5.2. Let π : M p M be the fibration. For ξ the unit tangent vector to the fibers of π, −→ W ı aL,∗CS = (2k + 1)2 π∗ tr(Ω2k)=( 1)k(4k + 2)(2π)2k(2k)! π∗p˜ (Ω ). ξ 4k+1,2 · M − · k M f 22 S. EGI, Y. MAEDA, AND S. ROSENBERG

W Thus the Pontryagin-type formp ˜k(ΩM ) is related to CS4k+1,2.

Proof. Let ξ = e1, e2,..., e4n+1 be an orthonormal framef of M p atm ¯ with ξ tangent to 1 4n+1 the ﬁber of the S action and ei i=2 a horizontal lift of an orthonormal frame ei { } W { } L,∗ at π(¯m). We must show that a CS4k+1,2(ξ, e2,..., e4k+1)atm ¯ is a speciﬁc multiple of tr(Ω2k)(π e ,...,π e ) at π(¯m). M ∗ 2 ∗ 4n+1 f We denote e.g. R(¯eσ(2), e¯σ(3), e¯ℓ2 , e¯ℓ1 ) by R(σ(2), σ(3),ℓ2,ℓ1), and denotee ¯r by r. As in (2.3), we have L,∗ W a CS4k+1(g)(e1, ..., e4k+1) (5.3)

2k +1 M 2k = 2k−1 sgn(σ) tr[(R(eσ(1), )ξ)(Ω ) (eσ(2), ..eσ(4k+1))] 2 Z 1 · Xσ S 2k +1 = 2k−1 sgn(σ) R(σ(1),ℓ1, ξ,r)R(σ(2), σ(3),ℓ2,ℓ1)R(σ(4), σ(5),ℓ3,ℓ2) ... 2 Z 1 · Xσ S

R(σ(4k 2), σ(4k 1),ℓ ,ℓ − )R(σ(4k), σ(4k + 1),r,ℓ ). · − − 4k 4k 1 4k We want to compute the terms in (5.3) of order p2. These terms come from (α) permutations with σ(1) = 1, and (β) permutations with σ(1) =1. 2 6 We claim the (β) terms contribute zero (for all powers of p ). The term R(σ(1),ℓ1, ξ, n) with σ(1) = 1 is zero unless ℓ = 1 and σ(1) = n. Note that R(n, 1, ξ, n)= 1. Thus 6 1 − 2k +1 (β)= p2 (5.4) 22k−1 ·

sgn(σ)R(σ(2), σ(3),ℓ2, 1= ξ) ... R(σ(4k), σ(4k + 1),r = σ(1),ℓ4k) · Z 1 − · · S σX(1)=r ℓ1=1

In the term R(σ(2), σ(3),ℓ2, 1= ξ), we get zero unless either [σ(2) = 1 and ℓ2 = σ(3)] or [σ(3) = 1 and ℓ2 = σ(2)]. Therefore 2k +1 (β)= p2 (5.5) 22k−1 ·

sgn(σ)R(σ(4), σ(5),ℓ3,ℓ2) ... R(σ(4k), σ(4k + 1),r = σ(1),ℓ4k) · Z 1 · · S σX(1)=r σX(2)=1 ℓ1=1 σ(3)=ℓ2 2k +1 p2 (5.6) − 22k−1 ·

sgn(σ)R(σ(4), σ(5),ℓ3,ℓ2) ... R(σ(4k), σ(4k + 1),r = σ(1),ℓ4k). · Z 1 · · S σX(1)=r σX(3)=1 ℓ1=1 σ(2)=ℓ2

For ﬁxed ℓ2, there is a bijection between σ : σ(2) = 1, σ(3) = ℓ2 and τ : τ(3) = 1, τ(2) = ℓ given by σ σ(1ℓ ) in cycle{ notation. Since sgn(σ)} = sgn({ σ(1ℓ )), 2} 7→ 2 − 2 DIFFEOMORPHISMS OF CONTACT MANIFOLDS 23 we get 2k +1 (β)= p2 (5.7) 22k−1 ·

sgn(σ)R(σ(4), σ(5),ℓ3,ℓ2) ... R(σ(4k), σ(4k + 1),r = σ(1),ℓ4k). · Z 1 · · S σX(1)=r σX(2)=1 ℓ1=1 σ(3)=ℓ2 The last term in (5.7) is

R(σ(4k), σ(4k + 1),r = σ(1),ℓ4k)= R(σ(4k), σ(4k + 1), ξ,ℓ4k). (5.8) This term vanishes if ℓ = ξ. If ℓ = ξ, then since σ(2) = 1, we have σ(4k) = 4k 4k 6 6 ξ, σ(4k + 1) = ξ. Thus (5.8) vanishes in all cases. Therefore (β)=0. The (α) term6 is 2k +1 (α)= p2 (5.9) 22k−1 ·

sgn(σ)R(σ(2), σ(3),ℓ2,ℓ1 = n) ... R(σ(4k), σ(4k + 1),ℓ1 = r, ℓ4k) · Z 1 · · S σX(1)=1 ℓ1=r=16 In Lemma 3.3, a nonzero product of terms of types (i) and (iii) with one term having ξ and having a power p2 must include exactly one term from (iii) and only the ﬁrst term on the right hand side of (i). Therefore 2k +1 (α)= p2 (5.10) 22k−1 ·

= sgn(σ)R(σ(2), σ(3),ℓ2,ℓ1 = r) ... R(σ(4k), σ(4k + 1),ℓ1 = r, ℓ4k) · Z 1 · · S σX(1)=1 ℓ1=r=16 2k +1 = p2 (5.11) 22k−1 · sgn(σ)R(σ(2), σ(3),ℓ ,ℓ = r) ... R(σ(4k), σ(4k + 1),ℓ = r, ℓ ) · 2 1 · · 1 4k σX(1)=1 ℓ1=r=16 2k +1 = p2 22k Tr(Ω2k)(e ,...,e ), 22k−1 · · · 2 4k+1 = ( 1)k(4k + 2)(2π)2k(2k)! p2 p˜ (Ω)(e ,...,e ) − · · k 2 4k+1 = ( 1)k(4k + 2)(2π)2k(2k)! p2 π∗p˜ (Ω)(e ,..., e ). − · · k 2 4k+1

W 4n+1 While the Wodzicki-Pontryagin classesp ˜k (LS ) vanish, we now prove that the W 4n+1 representative Wodzicki-Pontryagin forms, also denotedp ˜k (LS ), are nonzero for k n. This answers a conjecture in [15] in the negative. ≤ 24 S. EGI, Y. MAEDA, AND S. ROSENBERG

W 4n+1 Theorem 5.3. For k n, the Wodzicki-Pontryagin forms p˜k (LS ) are not identically zero. ≤ top ∗ 2n Proof. The integral Pontryagin classesp ˜k in the torsion-free ring H (CP , Z) are 4k 2n 2n nonzero, so there is an integral cycle z = i niσi, σi : ∆ CP ,[z] H4k(CP , Z), top −→ ∈ with p˜k , [z] =0. By results of Thom,P some nonzero integer multiple s[z] of the ho- mologyh classi of 6 z is represented by a smooth, closed 4k-submanifold Z. For simplicity of notation, we assume s =1. We then have Z p˜k(Ω) =0. 2n 6 4n+1 2n −1 Set M = CP . For the projection π : RM1 = S CP , π (Z) is a closed (4k + 1)-submanifold on S4n+1 and determines the homology−→ class [π−1(Z)] 4n+1 ′ L −1 ∈ H4k+1(S , R). Of course, this class is zero for k = n. Also, Z := a (π (Z)) is a closed (4k + 1)-submanifold of LS4n+1. 6 By Proposition 5.2, for an explicit constant ck, W ∗ aL,∗CS = c ξ π∗p˜ + β , 4k+1,2 k ∧ k 2 ∗ where β2 has no ξ term. Thenf

W L,∗ W ∗ ∗ CS4k+1,2 = a CS4k+1,2 = ckξ π p˜k, ZZ′ Zπ−1(Z) Zπ−1(Z) ∧ f f ∗ since the integral vanishes on terms not containing ξ . Integrating over the fiber gives W CS4k+1,2 = c ck p˜k =0, ZZ′ · ZZ 6 where c is the length of the fiberf of π. W W If dCS 0, then [CS ] H4k+1(LS4n+1, R) defines a nonzero cohomology 4k+1,2 ≡ 4k+1,2 ∈ class. However, by e.g., [3], LS4n+1 has no cohomology in the range 1, ..., 4n. Thus f f W 0 dCS (5.12) 6≡ 4k+1,2 on M 1. f W We claim that (5.12) impliesp ˜k 0. We want to use (5.2), but because these forms 6≡ 4n+1 live on different M p, we have to pull them back to the common space M 1 = LS . 4n+1 4n+1 The p : 1 covering map πp : S M p induces the map Lπp : LS LM p, Lπ(γ)(θ)=(π γ)(θ). By (5.2), as−→ forms on LS4n+1, we have −→ p ◦ 2k ∗ W ∗ W ∗ W 2i (Lπp) p˜k (M p)=(Lπp) dCS4k+1(M p)=(Lπp) d CS4k+1,2i p (5.13) Xi=1 2k f f ∗ W 2i = d(Lπp) CS4k+1,2i p . Xi=1 f4n+1 πp is a covering map, so for X Tγ LS , [(Lπp)∗X](θ) Tπ(γ(θ))M p is canonically ∈ W ∈ identified with X(θ) T S4n+1. CS (M ) is the integral of expressions in Lemma ∈ γ(θ) 4k+1 p f DIFFEOMORPHISMS OF CONTACT MANIFOLDS 25

4n+1 2n 3.3 which are invariant in the circle fibers of S CP , and πp preserves these fibers, so for X T LS4n+1, −→ i ∈ γ ∗ W W (Lπp) CS4k+1,2i(X1,...,X4k+1)= CS4k+1,2i((Lπp)∗(X1),..., (Lπp)∗(X4k+1)) is independentf of p. In particular, f W W W (Lπ )∗CS =(Lπ )∗CS = CS Λ4k+1(LS4n+1). p 4k+1,2i 1 4k+1,2i 4k+1,2i ∈ ∗ W W W 4n+1 Similarly, (Lπp) p˜fk (M p)=˜pk (M 1)=˜f pk (LS f). Thus (5.13) becomes 2k W p˜W = dCS p2i Λ4k+1(LS4n+1) (5.14) k 4k+1,2i ∈ Xi=1 f W W for all p. If we assumep ˜k 0, then (5.14) implies dCS4k+1,2i 0 for all i. Indeed, if a polynomial vanishes for≡ all values of p, then all the coefficients≡ vanish. For i = 1, this contradicts (5.12). f

4n+1 Corollary 5.4. On M p = S /Zp, for k n, the Wodzicki-Pontryagin forms W ≤ p˜k (LM p) are not identically zero. W 4n+1 Proof. Becausep ˜k (LS ) is computed by integrating a curvature expression on S4n+1, ifp ˜W = 0 at a loop γ LS4n+1, thenp ˜W (LM ) = 0 at the loop (Lπ )(γ) k 6 ∈ k p 6 p ∈ LM p. Remark 5.1. In contrast to finite dimensions, there may be nonzero Wodzicki- Pontryagin forms resW (Ω2k+1) in dimensions 4k + 2 on loop spaces. Since Ω for the s = 1 Levi-Civita connection is a skew-adjoint ΨDO, its leading order symbol is a skew-symmetric bundle endomorphism. Thus the leading order characteristic form Trlo(Ω2k+1) vanishes pointwise, as in finite dimensions. In contrast, the 1 order symbol of Ω is not skew-symmetric in general [16, Lem. A.1] (and skew-symmetric− bundle endomorphisms may not give skew-adjoint operators for the s = 1 metric). Thus resW (Ω2k+1) does not vanish a priori, although the argument in Theorem 5.3 only works for even powers of Ω. Appendix A. Manifolds of dimension 4n +2 W 4n+4 We show that the coefficient of the highest power p of CS4n+3(M p) vanishes if W dim M =4n +2. We note that CS3 = 0 for any 3-manifoldf by [17, Prop. 2.7]. W f 4n+3 Proposition A.1. For dim M =4n +2, CS4n+3(M p)=0 mod p . We only do the case where dim M = 6 tof keep the notation manageable. 26 S. EGI, Y. MAEDA, AND S. ROSENBERG

Proof. In the notation of (3.4), we have

n ℓ1 ℓ2 ℓ3 S7,8 = sgn(σ)R0ℓ10 Rσ1σ2ℓ2 Rσ3σ4ℓ3 Rσ5σ6n σX0=0 = sgn(σ)(p2δb ) p2[ J a1 J + J J a1 +2J J a1 ] a1 · − σ1 σ2a2 σ1a2 σ2 σ1σ2 a2 σX0=0 p2[ J a2 J + J J a2 +2J J a2 ] p2[ J a3 J + J J a3 +2J J a3 ] · − σ3 σ4a3 σ3a3 σ4 σ3σ4 a3 · − σ5 σ6b σ5b σ6 σ5σ6 b = p8 sgn(σ)[ J a1 J + J J a1 +2J J a1 ] (A.1) − σ1 σ2a2 σ1a2 σ2 σ1σ2 a2 σX0=0 [ J a2 J + J J a2 +2J J a2 ] [ J a3 J + J J a3 +2J J a3 ]. · − σ3 σ4a3 σ3a3 σ4 σ3σ4 a3 · − σ5 σ6a1 σ5a1 σ6 σ5σ6 a1 b d b d Because JabJc = Jb gdaJc = δb gda = gba, the product of the first two expressions in square brackets simplifies− to − S = p8 sgn(σ)[ 2J a1 J g +2g J a1 J 2J ( δa1 )J 7,8 − σ1 σ3σ4 σ2a3 σ1a3 σ2 σ3σ4 − σ1σ2 − σ3 σ4a3 σX0=0 +2J ( δa1 )J +4J J ( δa1 )] σ3a3 − σ4 σ1σ2 σ1σ2 σ3σ4 − a3 [ J a3 J + J J a3 +2J J a3 ]. · − σ5 σ6a1 σ5a1 σ6 σ5σ6 a1 Taking the product of the terms inside the first square brackets with the terms inside the second square brackets, we get 15 terms, all of which simplify. For example, the product of the first terms in each square brackets gives 2J a1 J g J a3 J = 2g J J . σ1 σ3σ4 σ2a3 σ5 σ6a1 − σ1σ6 σ3σ4 σ2σ5 For a term with a Kronecker delta, we have 2J ( δa1 )J J a3 J = 2J J J a3 J = 2J J k g J a3 J − σ1σ2 − σ3 σ4a3 · σ5 σ6a1 − σ1σ2 σ4σ3 σ5 σ6σ3 − σ1σ2 a3 kσ4 σ5 σ6σ3 = 2J ( δk )g J = 2J g J . − σ1σ2 − σ5 kσ4 σ6σ3 − σ1σ2 σ5σ4 σ6σ3

Similarly, every product is of the form gσiσj Jσkσℓ Jσmσn , except for the product of the two last terms, which is 8J J ( δa1 )J J a3 =0, σ1σ2 σ3σ4 − a3 σ5σ6 a1 a1 a3 a1 since δa3 Ja1 = Ja1 =0.

In summary, every nonzero term in S7,8 is of the form sgn(σ)gσiσj Jσkσℓ Jσmσn , where τ = (i, j, k, ℓ, m, n) S . Under the change of variables τ τ(12), the sign of σ ∈ 6 7→ changes sign, but the term gσiσj Jσkσℓ Jσmσn does not change sign. Thus the terms corresponding to τ and τ(12) in S7,8 cancel, so S7,8 =0.

Remark A.1. In this proof, it was crucial that S7,8 contains an odd number of terms in (A.1). This is where the hypothesis dim M =4n + 2 is used. DIFFEOMORPHISMS OF CONTACT MANIFOLDS 27

References 1. Bamler, R. and Kleiner, B., Ricci flow and diffeomorphism groups of 3-manifolds, arXiv:1712.06197. 2. Blair, D., Riemannian geometry of contact and symplectic manifolds, second ed., Progress in Mathematics, vol. 203, Birkhäuser Boston, Ltd., Boston, MA, 2010. 3. Cohen, R., Jones, J. D. S., and Yan, J., The loop homology algebra of spheres and projective spaces, Categorical decomposition techniques in algebraic topology (Isle of Skye, 2001), Progr. Math., vol. 215, Birkhäuser, Basel, 2004, pp. 77–92. 4. Earle, C. J. and Eells, J., The diffeomorphism group of a compact Riemann surface, Bull. Amer. Math. Soc. 73 (1967), 557–559. 5. Egi, S., Calculation of the coefficient of the highest power of p (Theorem 3.4), 2020 (Accessed July 14, 2020), https://github.com/egisatoshi/EMR-Paper-Computation. 6. , Thurston-calculation.pdf, 2020 (Accessed July 14, 2020), https://github.com/egison/egison/blob/master/sample/math/geometry/thurston.egi. 7. Farrell, F. and Hsiang, W. C., On the rational homotopy groups of the diffeomorphism groups of discs, spheres and aspherical manifolds, Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 1, Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978, pp. 325–337. 8. Leichtnam, E. Fedosov, B., Golse, F. and Schrohe, E., The noncommutative residue for manifolds with boundary, J. Funct. Analysis 142 (1996), 1–31. 9. Gabai, D., The Smale conjecture for hyperbolic 3-manifolds: Isom(M 3) Diff(M 3), J. Differ- ential Geom. 58 (2001), 113–149. ≃ 10. Gompf, R., A new construction of symplectic manifolds, Ann. of Math. (2) 142 (1995), no. 3, 527–595. 11. , Symplectically aspherical manifolds with nontrivial π2, Math. Res. Lett. 5 (1998), no. 5, 599–603. 12. Hatcher, A., A proof of the Smale conjecture, Diff(S3) O(4), Ann. of Math. (2) 117 (1983), no. 3, 553–607. ≃ 13. , A 50-year view of diffeomorphism groups, 2012 (Accessed July 14, 2020), https://pi.math.cornell.edu/~hatcher/Papers/Diff%28M%292012.pdf. 14. Klingenberg, W., Lectures on closed geodesics, Springer-Verlag, Berlin-New York, 1978, Grundlehren der Mathematischen Wissenschaften, Vol. 230. 15. Larrain-Hubach, A., Rosenberg, S., Scott, S., and Torres-Ardila, F., Characteristic classes and zeroth order pseudodifferential operators, Spectral Theory and Geometric Analysis, Contempo- rary Mathematics, vol. 532, AMS, 2011. 16. Maeda, Y., Rosenberg, S., and Torres-Ardila, F., The geometry of loop spaces I: Hs Riemannian metrics, Int. J. Math. 26 (2015). 17. , The geometry of loop spaces II: Characteristic classes, Adv. in Math. 287 (2016), 485– 518. 18. McCullough, D. and Soma, T, The Smale conjecture for Seifert fibered spaces with hyperbolic base orbifold, J. Differential Geom. 93 (2013), 327–353. 19. McDuff, D., Examples of simply-connected symplectic non-Kählerian manifolds, J. Differential Geom. 20 (1984), no. 1, 267–277. 20. Milnor, J. and Stasheff, J., Characteristic classes, Princeton U. Press, Princeton, 1974. 21. O’Neill, B., The fundamental equations of a submersion, Michigan J. Math. 13 (1966), 459–469. 22. Smale, S., Diffeomorphisms of the 2-sphere, Proc. Amer. Math. Soc. 10 (1959), 621–626. 23. Thurston, W. P., Some simple examples of symplectic manifolds, Proc. Amer. Math. Soc. 55 (1976), 467–468. 28 S. EGI, Y. MAEDA, AND S. ROSENBERG

24. Watanabe, T., Some exotic nontrivial elements of Diﬀ(S4), arXiv:1812.02448.

Rakuten Institute of Technology, Rakuten, Inc. Email address: [email protected] Tohoku Forum for Creativity, Tohoku University Email address: [email protected] Department of Mathematics and Statistics, Boston University Email address: [email protected]