Access the full text.
Sign up today, get DeepDyve free for 14 days.
Augustin Banyaga. On the group of diffeomorphisms preserving an exact symplectic form. In Differential topology (1976)
, pages 5–9Differential topology (Varenna
(1998)
Introduction to symplectic topology second
(1970)
In Problems in analysis (Lectures at the Sympos
S. Smale (1959)
DIFFEOMORPHISMS OF THE 2-SPHERE, 10
Eugenio Calabi. On the group of automorphisms of a symplectic manifold. In Problems in analysis (1969)
, pages 1–26Problems in analysis (Lectures at the Sympos
A. Banyaga (2010)
On the Group of Diffeomorphis Preserving an Exact Symplectic Form
(1979)
In Differential topology (Varenna
E. Shelukhin (2015)
“Enlacements asymptotiques” revisitedAnnales mathématiques du Québec, 39
Jean-Marc Gambaudo and Étienne Ghys. Enlacements asymptotiques. Topology (1997)
1355–1379
E. Calabi (2015)
On the Group of Automorphisms of a Symplectic Manifold
Egor Shelukhin. “Enlacements asymptotiques” revisited. Ann. Math. Qué. (2015)
205–208
P. Py (2005)
Quasi-morphismes et invariant de CalabiAnnales Scientifiques De L Ecole Normale Superieure, 39
φ and ψ be elements of Diff c ( D , ω 0 )
Barney Bramham Alberto Abbondandolo (2018)
687–778
Stephen Smale. Diffeomorphisms of the $$ (1959)
621–626
Dusa McDuff (1998)
McDuff, Dusa, and Dietmar Salamon. Introduction to symplectic topology second ed. The Clarendon Press Oxford University Press, New York, 1998.
(1980)
Transformations et homéomorphismes préservant la mesure: systémes dynamiques minimaux
Albert Fathi. Transformations et homéomorphismes préservant la mesure (1980)
systémes dynamiques minimaux. PhD thesis
Michael Hutchings. Mean action and the Calabi invariant. J. Mod. Dyn. (2016)
511–539
M. Hutchings (2015)
Mean action and the Calabi invariantarXiv: Symplectic Geometry
A. Banyaga (1997)
The Structure of Classical Diffeomorphism Groups
Einzelwerken Muster (2021)
InventEncyclopedic Dictionary of Archaeology
H. Togt (2003)
Publisher's NoteJ. Netw. Comput. Appl., 26
(1997)
Jean-MarcGambaudoandÉtienneGhys.Enlacementsasymptotiques
volume Augustin Banyaga. The structure of classical diffeomorphism groups (1997)
Augustin Banyaga. The structure of classical diffeomorphism groups, volume 400 of Mathematics and its Applications. Kluwer Academic Publishers Group, Dordrecht, 1997.
Alberto Abbondandolo, Barney Bramham, Umberto Hryniewicz, Pedro Salomão (2015)
Sharp systolic inequalities for Reeb flows on the three-sphereInventiones mathematicae, 211
S. Ana, P.Elav arasi (2018)
TopologyInternational Journal of Mathematics Trends and Technology
Pierre. Quasi-morphismes et invariant de Calabi. Annales Scientifiques de l’École Normale Supérieure. Vol. Py (2006)
Py, Pierre. Quasi-morphismes et invariant de Calabi. Annales Scientifiques de l’École Normale Supérieure. Vol. 39. No. 1. 2006.
Given a compactly supported area-preserving diffeomorphism of the disk, we prove an inte- gral formula relating the asymptotic action to the asymptotic winding number. As a corollary, we obtain a new proof of Fathi’s integral formula for the Calabi homomorphism on the disk. Résumé Étant donné un difféomorphisme du disque à support compact qui préserve l’aire, nous prouvons une formule intégrale reliant l’action asymptotique au nombre d’enlacement asymp- totique moyen. Comme corollaire, nous obtenons une nouvelle preuve de la formule intégrale de Fathi pour l’homomorphisme de Calabi sur le disque. Keywords Symplectic action · Calabi homomorphism · Ergodic Theorem · Linking numbers Mathematics Subject Classiﬁcation 37E30 · 37C05 1 Introduction Let φ : D → D be a diffeomorphism of the disk D ⊂ R compactly supported on the interior and preserving the standard area form ω = dx ∧ dy.If λ is any primitive of ω ,wecan 0 0 deﬁne the action a (z) of a point z ∈ D with respect to λ as the value at z of the unique φ,λ primitive of the exact form φ λ − λ that vanishes near the boundary of D. Equivalently, if one sees φ as the time-one map of the isotopy φ that is obtained by integrating the vector ﬁeld coming from a compactly supported time-dependent Hamiltonian (z, t ) → H (z),the action has the expression a (z) = λ + H (φ (z)) dt . φ,λ t {t →φ (z)} 0 See Sect. 2 below for precise deﬁnitions and sign conventions. In general, the value a (z) φ,λ depends on the choice of the primitive λ, but it is independent of λ at the ﬁxed points of φ. B David Bechara Senior david.becharasenior@ruhr-uni-bochum.de Ruhr University Bochum, Bochum, Nordrhein-Westfalen, Germany 123 D. Bechara Senior The integral of a over the disk, which we denote by φ,λ C(φ) := a ω , φ,λ 0 is also independent of the choice of λ. The real valued function φ → C(φ) is a homomorphism on Diff (D,ω ), the group of area-preserving diffeomorphisms of D compactly supported in c 0 the interior and is named the Calabi homomorphism after [4]. In this note, we deﬁne the asymptotic action of φ as the limit a (z) φ ,λ a (z) := lim . n→∞ Indeed, a simple application of Birkhoff’s ergodic theorem implies that the above limit exists for almost every z ∈ D and deﬁnes a φ-invariant integrable function a , whose integral over D coincides with the integral of a . In particular, if z is a k-periodic point of φ, then the φ,λ above limit exists and coincides with the average action of the orbit of z: k−1 ∞ j a (z) = a (φ (z)). φ,λ j =0 As the notation suggests, the asymptotic action a is independent of the primitive λ and hence can be expected to capture dynamical properties of φ.In[9], P. Py uses the Ergodic theorem in a similar context. If x and y are distinct points of D,the winding number W (x , y) is deﬁned as the winding number of the curve t t φ (y) − φ (x ) 1 iθ(t ) [0, 1]→ S , t → = e , t t φ (y) − φ (x ) i.e. θ(1) − θ(0) W (x , y) := . 2π In the deﬁnition, we have used a Hamiltonian isotopy φ joining the identity to φ,but the fact that the space Diff (D,ω ) is contractible implies that the value of W (x , y) does not c 0 φ depend on the choice of the isotopy. The asymptotic winding number of the pair (x , y) can now be deﬁned as the ergodic limit W (x , y) W (x , y) := lim , n→∞ which again exists for almost every pair (x , y) in D × D and deﬁnes an integrable function W on D × D that is invariant under the action of φ × φ and whose integral over D × D agrees with the integral of W . Moreover, if x is a k-periodic point of φ then the limit deﬁning W (x , y) exists for almost every y ∈ D. The main result of this note is the following formula relating the asymptotic action and the asymptotic winding number. Theorem 1.1 If φ : D → D is a compactly supported diffeomorphism of the disk D preserving the standard area form ω = dx ∧ dy, then the identity ∞ ∞ a (x ) = W (x , y)ω (y) φ φ We call it Winding number in analogy to case of closed curves. 123 Asymptotic action and asymptotic... holds for every x in a subset of D that has full measure and contains all periodic points of φ. By integrating this identity over , and by using the fact that the integrals of the ergodic ∞ ∞ limits a and W agree with those of the functions a and W , we obtain as an immediate φ,λ φ φ φ corollary the following result, which is originally due to Fathi [5]. Corollary 1.2 The Calabi homomorphism on Diff (D,ω ) can be expressed by the double integral C(φ) = W (x , y)ω (x ) ∧ ω (y). φ 0 0 D×D\ Other proofs of this corollary are known. In [6], Gambaudo and Ghys give two algebraic proofs of it, one of which uses the fact that every homomorphism from Diff (D,ω ) into R is c 0 a multiple of the Calabi homomorphism. The latter fact is a deep result of Banyaga, see [2]. An elementary proof of Corollary 1.2 using complex analysis is presented by Shelukhin in [10]. Our proof of Theorem 1.1 uses elementary results about intersection numbers between curves and surfaces in dimension three. 2 Action, winding and the Calabi homomorphism 2 2 Denote by ω := dx ∧ dy the standard area form on R and by D ⊂ R the unit disk. The symbol Diff (D,ω ) denotes the group of smooth diffeomorphisms of D compactly c 0 supported on the interior which preserve ω . The group Diff (D,ω ) is contractible, see e.g. 0 c 0 [3,11]. 2.1 Action of disk diffeomorphisms Take φ ∈ Diff (D,ω ) and let λ be a smooth primitive of ω on D.Since φ preserves ω ,the c 0 0 0 1-form φ λ − λ is closed and hence exact on D. Deﬁnition 2.1 The action of φ with respect to λ is the unique smooth function a : D → R φ,λ such that da = φ λ − λ, (2.1) φ,λ and a (z) = 0, (2.2) φ,λ for every z ∈ ∂ D. The existence of the function a satisfying (2.1)and (2.2) follows from the fact that any φ,λ primitive of φ λ − λ is constant on ∂ D because φ = id. |∂ D Lemma 2.2 Let φ and ψ be elements of Diff (D,ω ).Let λ be a smooth primitive of ω and c 0 0 let u be a smooth real function on D. Then: (i) a = a + u ◦ φ − u. φ,λ+du φ,λ 123 D. Bechara Senior (ii) a = a ◦ φ + a = a + a . ψ ◦φ,λ ψ,λ φ,λ ψ,λ φ,ψ λ −1 (iii) a −1 =−a ◦ φ =−a −1 ∗ . φ,λ φ ,λ φ,(φ ) λ Proof The ﬁrst claim follow from the identities ∗ ∗ φ (λ + du) − (λ + du) = da + φ (du) − du = d(a + u ◦ φ − u), φ,λ φ,λ and a (z) + u(φ (z)) − u(z) = u(φ (z)) − u(z) = 0, ∀z ∈ ∂ D. φ,λ The ﬁrst identity in (ii) follows from ∗ ∗ ∗ ∗ ∗ (ψ ◦ φ) λ − λ = φ (ψ λ − λ) + φ λ − λ = φ (da ) + da = d(a ◦ φ + a ), ψ,λ φ,λ ψ,λ φ,λ and a (z) + a (φ (z)) = 0, ∀z ∈ ∂ D. φ,λ ψ,λ The second identity in (ii) follows from ∗ ∗ ∗ ∗ ∗ (ψ ◦ φ) λ − λ = φ (ψ λ) − ψ λ + ψ λ − λ = d(a + a ), φ,ψ λ ψ,λ and a (z) + a ∗ (z) = 0, ∀z ∈ ∂ D. ψ,λ φ,ψ λ −1 The two formulas in (iii) follow from those in (ii) applied to the case ψ = φ , because a = 0for every λ. id,λ Remark 2.3 Statement (i) in the lemma above implies that the value of a (z) is independent φ,λ of the primitive λ if z ∈ D is a ﬁxed point of φ. It is convenient to view the action also in terms of the Hamiltonian formalism. Let H : D ×[0, 1]→ R, H (z) = H (z, t ) be a smooth time-dependent Hamiltonian that vanishes near ∂ D ×[0, 1]. Consider its time-dependent Hamiltonian vector ﬁeld X , which is deﬁned by the condition ω (X , ·) = dH (·). (2.3) 0 t t We denote by φ its non-autonomous ﬂow, i.e. the isotopy that is deﬁned by t t 0 φ = X ◦ φ,φ = id. dt 1 t Any φ in Diff (D,ω ) is the time-one map φ = φ of an isotopy φ as above, which we shall c 0 call a Hamiltonian isotopy. Proposition 2.4 If φ, φ and H are as above, then a (z) = λ + H (φ (z))dt . (2.4) φ,λ t {t →φ (z)} 0 Proof Let γ :[0, 1]→ D be a smooth path such that γ(0) = z and γ(1) ∈ ∂ D.Deﬁne the smooth map 2 t ψ :[0, 1] → D,ψ(s, t ) := φ (γ (s)). 123 Asymptotic action and asymptotic... ∗ 2 We compute the integral of ψ ω on [0, 1] in two different ways. The ﬁrst computation gives us: ∗ t t t ψ ω = ω (φ (γ (s))) φ (γ (s)), X (φ (γ (s))) ds dt 0 t 2 2 ∂s [0,1] [0,1] t t =− dH (φ (γ (s))) φ (γ (s)) ds dt ∂s [0,1] 1 1 =− H (φ (γ (s))) ds dt ∂s 0 0 1 1 t t t =− H (φ (γ (1))) − H (φ (z)) dt = H (φ (z)) dt . t t t 0 0 The second computation uses Stokes’ theorem and the fact that φ | = id: ∂ D ∗ ∗ ∗ ∗ ψ ω = ψ dλ = dψ λ = ψ λ 2 2 2 2 [0,1] [0,1] [0,1] ∂[0,1] = λ + λ − λ − λ t t γ {t →φ (γ (1))} φ◦γ {t →φ (z)} =− (φ λ − λ) − λ γ {t →φ (z)} =− da − λ φ,λ γ {t →φ (z)} = a (z) − λ. φ,λ {t →φ (z)} The desired formula for a (z) follows by comparing the above two identities. φ,λ 2.2 The Calabi homomorphism Introduced by Calabi in [4], the Calabi homomorphism is an important tool in the study of the structure of the group of Hamiltonian diffeomorphisms of a symplectic manifold. Next we give a deﬁnition in our context, see [8] for a further discussion. Deﬁnition 2.5 The Calabi homomorphism is the map C : Diff (D,ω ) → R c 0 deﬁned by C(φ) = a ω . φ,λ 0 The ﬁrst thing we remark is that this map is well deﬁned, meaning that it does not depend on the choice of the primitive of ω . This follows from Lemma 2.2(i) and the fact that φ is an area preserving diffeomorphism. Next we should prove that it is in fact a homomorphism. This is the following: Proposition 2.6 If φ, ψ ∈ Diff (D,ω ) then C(φ ◦ ψ) = C(φ) + C(ψ ). 123 D. Bechara Senior Proof From Lemma 2.2(ii) we have a = a + a , φ◦ψ,λ ψ,φ λ φ,λ and integrating on both sides we get the desired result. Remark 2.7 We can express C(φ) also in terms of a deﬁning Hamiltonian. If H : D×[0, 1]→ R is a time-dependent Hamiltonian vanishing near ∂ D ×[0, 1] such that the time-one map of the corresponding Hamiltonian isotopy is φ,then C(φ) is given by the formula C(φ) = 2 H (z, t)ω ∧ dt . D×[0,1] The proof of this equality can be found in [8] [Lemma 10.27] or as a consequence of (2.4) and with the above notation as in [1] [Prop 2.7] in the more general setting of Hamilto- nian diffeomorphisms of D that are not necessarily compactly supported. It can be used for instance, to show that the Calabi homomorphism is not continuous in the C -topology. This can be done by constructing radially deﬁned Hamiltonians using bump functions with ﬁxed non-zero integral and whose time one-maps converge to the identity, as shown in [6]. 2.3 Winding and intersection numbers for disk diffeomorphisms Let φ ∈ Diff (D,ω ) and let φ be a compactly supported Hamiltonian isotopy such that c 0 0 1 φ = id and φ = φ. Deﬁnition 2.8 The winding number W (x , y) of a pair of distinct points x , y ∈ D is the real number θ(1) − θ(0) W (x , y) := , 2π where θ :[0, 1]→ R is a continuous function such that t t φ (y) − φ (x ) iθ(t ) = e . (2.5) t t ||φ (y) − φ (x )|| The value of W (x , y) does not depend on the isotopy joining φ to the identity. This holds because Diff (D,ω ) is contractible and in particular any two paths joining φ to the identity c 0 are homotopic, which implies that the winding number is the same. The map W is smooth and bounded on (D × D) \ ,where denotes the diagonal {(x , x )|x ∈ D} in D × D (see [6]). We want to deﬁne another relevant quantity and for this we need to work with intersection numbers in dimension three. To begin with, consider an embedded compact oriented curve ⊂ D ×[0, 1].If S ⊂ D ×[0, 1] is a compact co-oriented surface, that is, the normal bundle N S is oriented, then an intersection point p ∈ S ∩ is called transverse if T ⊕ T S = T (D ×[0, 1]). p p p A transverse intersection point p is called positive if the orientation of T coincides with the orientation of N S and otherwise is called negative. Assume that is everywhere transverse to S. Then the set ∩S is ﬁnite and we denote by I ( , S) the number of positive intersections 123 Asymptotic action and asymptotic... Fig. 1 I ( (y), S (x )) = 0 and I ( , S) the number of negative intersections. The difference of these two numbers deﬁnes the intersection number of and S: I ( , S) := I ( , S) − I ( , S) ∈ Z. + − Let φ ∈ Diff (D,ω ) and {φ } be a Hamiltonian isotopy that connects the identity c 0 t ∈[0,1] to φ.Given x ∈ D,wedenoteby (x ) the embedded curve (x ) := {(φ (x ), t ) | t ∈[0, 1]} ⊂ D ×[0, 1] with its natural orientation. Fix an element e ∈ ∂ D and for every x in the interior of D consider the compact surface S (x ) ⊂ D ×[0, 1] that is obtained by connecting each point (φ (x ), t ) of (x ) to the boundary point (e, t ) by alinesegment.Inother words, S (x ) is parametrized by the smooth embedding t t :[0, 1]×[0, 1]→ D ×[0, 1],(t , r ) → (φ (x ) + r (e − φ (x )), t ), (2.6) which induces an orientation on S. We consider the disk and real line as having their canonical orientations and the ambient space D ×[0, 1] the induced product orientation. The vector (i (e − φ (x )), 0) ∈ T (D ×[0, 1]), (2.7) (t ,r ) where i denotes the counterclockwise rotation by π/2on R , is everywhere transverse to S (x ) and hence deﬁnes a co-orientation of this surface. We note that this co-orientation coin- cides with that induced by the above mentioned orientations on S (x ) and D ×[0, 1]. Indeed, it sufﬁces to check this at a single point, and we observe that at the point (e, 0) ∈ S (x ) ⊂ D× t t t [0, 1], the basis {∂ , ∂ , i (e−φ (x )), 0 } equals {(0, 1), e−φ (x ), 0 , i (e−φ (x )), 0 } t r t t which has the same orientation as { e − φ (x ), 0 , i (e − φ (x )), 0 ,(0, 1)} which is clearly positive. If x is an interior point of D and y = x is another point in D, then we deﬁne the intersection number of x and y as e e I (x , y) := I ( (y), S (x )), φ φ whenever (y) meets S (x ) transversely. 123 D. Bechara Senior Remark 2.9 Given x = y as above, it follows from Sard’s theorem that the set of points e ∈ ∂ D for which (y) is transverse to S (x ) has full Lebesgue measure. Furthermore, even though the deﬁnition above depends on the choice of the element e ∈ ∂ D, a different choice of e changes the value of I (x , y) by at most one. This follows from Proposition 2.10 below. Next we relate the winding number and the intersection number. Proposition 2.10 Let x ∈ int(D),y ∈ D \{x } and e ∈ ∂ D be such that (y) meets S (x ) transversally. Then W (x , y) − I (x , y) ≤ . (2.8) Remark 2.11 Although we will not use this fact, the constant in (2.8) is optimal. Proof For every t ∈[0, 1], we can push out the trajectory of y in D ×[0, 1] to the boundary of the cylinder in the following way: consider the curve β :[0, 1]→ ∂ D ×[0, 1] deﬁned t t by β(t ) = (h (φ (y)), t ) where h : D → ∂ D maps each ray from φ (x ) to its intersection t t t t t i α with ∂ D. More precisely, every z = φ (x ) in D \{φ (x )} can be written as z = φ (x ) + re where z − φ (x ) t i α r =|z − φ (x )| and e := , |z − φ (x )| and we set t i α h (z) := φ (x ) + Re , where t i α(z) R = max{s > 0|||φ (x ) + se || ≤ 1}. The winding of this new trajectory on ∂ D is given by σ(1) − σ(0) w (x , y) = 2π where iσ(t ) t e = h (φ (y)). t t t Since the absolute value of the angle between the vectors φ (y) − φ (x ) and h (φ (y)) is not π π larger than , the lifts σ as above and θ as in (2.5) can be chosen so that |θ(t ) − σ(t )|≤ . 2 2 It follows that |w (x , y) − W (x , y)|≤ . (2.9) φ φ Next, we consider the curve η :[0, 1]→ ∂ D, t → η(t ) := h (φ (y)), and extend it to a closed curve η ˆ :[0, 2]→ ∂ D in such a way that η( ˆ (1, 2)) does not contain the chosen point e ∈ ∂ D used in the deﬁnition of I (x , y). The absolute value of the winding number of the curve η ˆ| does not exceed one. We now lift η ˆ to a self-map of ∂ D: [1,2] 2πit f : ∂ D → ∂ D, e →ˆ η(2t ). 123 Asymptotic action and asymptotic... The oriented degree of this map coincides with its winding number, which differs from the winding number w (x , y) exactly by the winding number of η ˆ| , and hence φ [1,2] |w (x , y) − deg( f )|≤ 1. On the other hand, our transversality assumption implies that e is a regular value for the map f , so the oriented degree of this map can be computed as deg( f ) = sgn( f (q)), −1 q∈ f (e) but we claim that the latter sum gives us precisely I (x , y). To see this, ﬁrst notice that from 2πit −1 t the construction of f it follows that q = e ∈ f (e) if and only if h (φ (y)) = e, t e or equivalently if (φ (y), t ) ∈ S (x ). This shows that there is a one-to-one correspon- −1 dence between the sets f (e) and (y) ∩ S (x ). Finally since the orientation on ∂ D is induced by orientation of D, which in turn deﬁnes the orientation on D ×[0, 1],wesee 2πit e that sgn( f (e )) =+1(respectively − 1) if and only if (φ (y), t ) ∈ (y) ∩ S (x ) is a t φ positive (respectively negative) intersection point. These observations settle the claim. This fact, together with (2.9), yields (2.8). In order to state the next result, we need to ﬁx some notation and recall some basic facts about the oriented degree for smooth maps between surfaces. Let M and N be two oriented surfaces (possibly with boundary), with M compact, and let f : M → N be a smooth map. We set N ( f ) := {y ∈ N | y is a regular value of f }. reg Then by Sard’s theorem N \ N ( f ) has measure zero. For every y ∈ N ( f ) \ f (∂ M ) the reg reg −1 set f (y) is ﬁnite and the degree of f relative to y is the integer deg( f , M , y) = sgn det df (x ) ∈ Z. (2.10) −1 x ∈ f (y) Furthermore, the function y → deg( f , M , y) extends to a locally constant function on N \ f (∂ M ),and for η any 2-form on N we have the identity f η = deg( f , M , y)η(y). (2.11) M N We shall now show that I (x , y) coincides with the degree of a suitable map between two oriented surfaces. Let x ∈ D and e ∈ ∂ D be as above and consider the smooth map e t −1 ρ : S (x ) → D,ρ(z, t ) := (φ ) (z). Note that the boundary of S (x ) consists of the two curves (x ) and (e) ={e}×[0, 1] φ φ and of the line segments [x , e]×{0} and [φ(x ), e]×{1}. The curves (x ) and (e) are φ φ mapped into x and e by ρ, whereas [x , e]×{0} and [φ(x ), e]×{1} are mapped into [x , e] −1 and φ ([φ(x ), e]), respectively. We conclude that e −1 ρ(∂ S (x )) =[x , e]∪ φ ([φ(x ), e]). In the following result, the disk D is given its standard orientation and the surface S (x ) the orientation that is induced by the parametrization (2.6), meaning that t t ∂ (t , r ) = (1 − r )X (φ (x )), 1,∂ (t , r ) = e − φ (x ), 0 (2.12) t t r 123 D. Bechara Senior is a positively oriented basis of T S (x ),for every (t , r ) ∈[0, 1]×[0, 1]. With respect (t ,r ) to these orientations the degree of the map ρ is well deﬁned and at regular values is given by the formula (2.10). Recall that the intersection number I (x , y) of the curve (y) with the surface S (x ) is deﬁned with respect to the co-orientation in (2.7). Lemma 2.12 The point y ∈ D is a regular value for ρ if and only if the curve (y) meets S (x ) transversally. Moreover, whenever y is a regular value for ρ, we have the identity e e deg(ρ , S (x ), y) = I (x , y). (2.13) φ φ Proof Set for simplicity S := S (x ).The map ρ is the restriction to the surface S of the map t −1 ρ˜ : D ×[0, 1]→ D,(z, t ) → (φ ) (z). The restriction of ρ˜ to D ×{t } is a diffeomorphism for every t ∈[0, 1] and hence ρ˜ is a submersion. The inverse image of each y ∈ D by ρ˜ is the curve −1 ρ˜ (y) = (y), and hence if ρ( ˜ z, t ) = y we have ker dρ( ˜ z, t ) = T (y) = RX (z, t ), (2.14) (z,t ) φ where X (z, t ) := X (z), 1 . −1 These considerations imply that (z, t ) ∈ S belongs to ρ (y) if and only if (y) and S meet at (z, t ). Fix such a point (z, t ) ∈ (y) ∩ S. Then the range of dρ(z, t ) equals the range of dρ( ˜ z, t )| which is surjective if and only if it coincides with the range of dρ( ˜ z, t ),which, T S (z,t ) since the latter is a submersion, is the case if and only if the kernel of dρ( ˜ z, t ) is transverse to T S.From(2.14), this shows that y ∈ D is a regular value for ρ if and only if the curve (z,t ) (y) meets S transversally. To prove the second part of the Lemma, we ﬁx a regular value y ∈ D for ρ and we ﬁx a point −1 (z, t ) ∈ ρ (y) = (y) ∩ S. We wish to prove that this intersection point is positive if and only if dρ(z, t ) is orientation preserving. Once this is proven, the last claim of the Lemma follows from the formula (2.10) for the degree with respect to a regular value. Recall the parametrization of S given by (2.6). This gives us the basis t t (v, 1) := ∂ (t , r ) = (1 − r )X (φ (x )), 1 (u, 0) := ∂ (t , r ) = e − φ (x ), 0 t t r for the tangent space T S, while T (y) is generated by the non-zero vector (t ,r ) (t ,r ) φ t t (w, 1) := X φ (x ) + r (e − φ (x )) , 1 . The co-orientation of S at (z, t ) is given as in (2.7) by the vector (iu, 0). The intersection at (t , r ) is by deﬁnition positive, precisely when the two co-orientations (iu, 0) and (w, 1) of T S agree. In other words, precisely when the two bases (v, 1), (u, 0), (w, 1) and (t ,r ) (v, 1), (u, 0), (iu, 0) determine the same orientation for T (D ×[0, 1]). By the discus- (z,t ) sion following (2.7) the latter is the standard orientation on D ×[0, 1]. Hence it is enough to 123 Asymptotic action and asymptotic... prove that (v, 1), (u, 0), (w, 1) is a positive basis if and only if dρ(z, t ) is orientation pre- serving with respect to the basis (v, 1), (u, 0) for T S. The basis (v, 1), (u, 0), (w, 1) (t ,r ) is positive if and only if the following determinants are positive ⎛ ⎞ ⎛ ⎞ v 1 v − w 0 v − w ⎝ ⎠ ⎝ ⎠ det u 0 = det u 0 = det . w 1 w 1 t −1 Since φ is isotopic to the identity, so d(φ ) (z, t ) must be symplectic and therefore t −1 v − w d(φ ) (z, t )[v − w] det = det = det dρ( ˆ t , r ) t −1 d(φ ) (z, t )[u] where det dρ( ˆ t , r ) is taken with respect to the standard basis of R and the basis ∂ ,∂ t r of T [0, 1] . The last equality above follows from the computation of the tangent map (t ,r ) dρ( ˆ t , r ) : T [0, 1] → T D as (t ,r ) y t −1 t t t dρ( ˆ t , r )[∂ ]= d(φ ) φ (x ) + r (e − φ (x )) [e − φ (x )] t −1 = d(φ ) (z, t )[u], t −1 t t dρ( ˆ t , r )[∂ ]=−X (φ ) φ (x ) + r (e − φ (x )) t −1 t t t + (1 − r )d(φ ) φ (x ) + r (e − φ (x )) [X (φ (x ))] t −1 t t t t = d(φ ) φ (x ) + r (e − φ (x )) [−X (φ (x ) + r (e − φ (x )) + (1 − r )X (φ (x ))] t −1 = d(φ ) (z, t )[v − w]. Since dρ( ˆ t , r ) is orientation preserving if and only if dρ(z, t ) also is, we conclude X (z, t ) positively intersects S at (z, t ) if and only if dρ(z, t ) is orientation preserving. Remark 2.13 The above lemma and Sard’s theorem imply that (y) meets S (x ) transver- sally for almost every y ∈ D. Together with the properties of the oriented degree mentioned above, this lemma implies also that the function I (x , ·) extends to a locally constant function −1 on D \ ([x , e]∪ φ ([φ(x ), e])). Of course, this extension could also be obtained by deﬁn- ing the intersection number of an oriented curve and a co-oriented surface without assuming transversality, but just the condition that there are no intersections on either of the two bound- aries, by the usual perturbation argument. Actually, we shall not need this extension of the function y → I (x , y): It will be enough to know that it is well-deﬁned for almost every y ∈ D and that the bound of Proposition 2.10 and the identity of Lemma 2.12 hold. 3 Asymptotic action & asymptotic winding number In this section we deﬁne the asymptotic versions of the action and winding number introduced in the previous section. These deﬁnitions build on Birkhoff’s ergodic theorem, which we shall use in the following form. Theorem (Birkhoff’s Ergodic Theorem) If ϕ is an endomorphism of a ﬁnite measure space (, A,μ) and if f ∈ L (, A,μ), then the averages n−1 A f = f ◦ ϕ i =0 123 D. Bechara Senior converge μ−a.e. and in L (, A,μ) to a ϕ-invariant function f . Furthermore for each ϕ-invariant A ∈ A fdμ = fdμ. (3.1) A A 3.1 Asymptotic action In our setup we will work with the space (D, B,μ) where B is the Borel σ -algebra on D and μ is the Lebesgue measure. Deﬁnition 3.1 Let φ ∈ Diff (D,ω ) and let λ be a smooth primitive of ω on D. With a c 0 0 φ,λ as presented before we deﬁne the asymptotic action of φ with respect to λ as the limit a (z) φ ,λ a (z) = lim . φ,λ n→∞ By Lemma 2.2(ii) we can write n−1 a n (z) 1 φ ,λ = a (φ (z)) (3.2) φ,λ n n j =0 and then taking n →∞ and applying Birkhoff’s ergodic theorem we can ensure that the limit a (z) exists for almost every z ∈ D. Furthermore, Birkhoff’s theorem guarantees that φ,λ a (z)ω (z) = a (z)ω (z). (3.3) 0 φ,λ 0 φ,λ D D The ﬁrst thing to remark is that the asymptotic action does not depend on the primitive λ of ω . Proposition 3.2 The asymptotic action a is independent of the primitive λ of ω . φ,λ Proof Let λ + du be another primitive of ω. Then by Lemma 2.2(i) the action with respect to this primitive is a = a + u ◦ φ − u. φ,λ+du φ,λ We can now check the Birkhoff sum up to a ﬁnite order n−1 n−1 n−1 j j j a (φ (z)) = a (φ (z) + (u ◦ φ − u)(φ (z)). φ,λ+du φ,λ j =0 j =0 j =0 Note that the last term on the right hand side is a telescopic sum of the form n−1 j +1 j n u(φ (z)) − u(φ (z)) = u(φ (z)) − u(z), j =0 and this is uniformly bounded for all n. Therefore when taking the Birkhoff average, this last term goes to zero i.e. n−1 n−1 1 1 j j lim a (φ (z)) = lim a (φ (z)). φ,λ φ,λ+du n→∞ n→∞ n n j =0 j =0 123 Asymptotic action and asymptotic... This shows that a (z) does not depend on the primitive λ. More precisely, the existence φ,λ and value of the limit of a n (z)/n do not depend on the primitive λ. φ ,λ This lets us write from now on the asymptotic action as a . It readily follows from (3.2) that if z is a k-periodic point of the map φ, then the asymptotic action of φ coincides with the average action of the orbit of z: k−1 ∞ j a (z) = a (φ (z)). (3.4) φ,λ j =0 The average action of periodic points is the object of study of [7], in which Hutchings proves the existence of periodic points of φ whose action satisﬁes suitably bounds in terms of C(φ). 3.2 Asymptotic winding number In the same way as with the action we now consider the asymptotic winding number. Deﬁnition 3.3 The asymptotic winding number of φ ∈ Diff (D,ω ) is the limit c 0 W n (x , y) W (x , y) = lim . n→∞ To guarantee its existence we can also use Birkhoff’s ergodic theorem. This time we take (Q := D × D, B(D × D), μ := μ ⊕ μ) with the action of φ := (φ, φ). It is a fact that W ∈ L (Q, B(D × D), μ ),see [6]for a Q φ Q proof. For x = y in D the winding number satisﬁes n−1 W (x , y) = W (φ (x , y)), φ φ j =0 and hence the time average W (x , y) W (x , y) = lim n→∞ n−1 = lim W (φ (x , y)) n→∞ j =0 exists for μ -a.e (x , y) ∈ D × D. Furthermore Birkhoff’s theorem ensures that the time and space averages coincide i.e. W (x , y)ω (x ) ∧ ω (y) = W (x , y)ω (x ) ∧ ω (y). (3.5) 0 0 φ 0 0 D×D D×D In particular W is an integrable function and hence by the theorem of Fubini-Tonelli we obtain that the integral W (x , y)ω (y) (3.6) is well-deﬁned for almost every x ∈ D and deﬁnes an integrable function of x. 123 D. Bechara Senior Remark 3.4 If x is a k-periodic point of φ, then the sequence of functions W (x , y) y → ∞ 1 converges to W (x , y) for almost every y ∈ D and in L (D). Indeed, the identity h−1 h−1 kj kj kj W kh (x , y) = W k (φ (x ), φ (y)) = W k (x,φ (y)) φ φ φ j =0 j =1 shows that this function of y is the Birkhoff sum of the function y → W k (x , y) with respect to the map φ . By Birkhoff’s ergodic theorem, there is an integrable function w : D → R such that W (x , y) kh → w(y) for almost every y ∈ D and in L (D). Together with the uniform bound k −1 j j n n W (x , y) − W (x , y) = W (φ (x ), φ (y)) ≤ k W , k φ φ φ ∞ j =n this implies that the sequence of functions W (x , y) y → ∞ 1 converges to W (x , y) := w(y)/k for almost every y ∈ D and in L (D). 4 Main results Let φ ∈ Diff (D,ω ) and let φ be a compactly supported Hamiltonian isotopy such that c 0 0 1 φ = id and φ = φ.Weﬁx x in the interior of D, a point e ∈ ∂ D and we deﬁne the surface e t S (x ) ⊂ D ×[0, 1] as in (2.6). Given y ∈ D \{x } such that the curve (y) ={(φ (y), t ) | e e t ∈[0, 1]} meets S (x ) transversally, we denote by I (x , y) the intersection number of (y) φ φ e e with S (x ), as in Sect. 2.3. As observed in Remark 2.13, I (x , ·) is deﬁned on a full measure φ φ subset of D. Proposition 4.1 The action of x with respect to a primitive λ of ω and the intersection numbers I (x , ·) are related by the identity a (x ) = I (x , y)ω (y) − λ + λ, (4.1) φ,λ 0 D [e,x ] [e,φ (x )] where [e, x ] and [e,φ(x )] denote oriented line segments in D. Proof Let H be the time-dependent compactly supported Hamiltonian that deﬁnes the iso- topy φ and denote by X its Hamiltonian vector ﬁeld. We lift the differential forms λ and ω and the vector ﬁeld X to corresponding objects on the three-manifold D ×[0, 1]: 0 t λ := λ + H dt , ω ˜ := dλ = ω + dH ∧ dt , 0 0 t 123 Asymptotic action and asymptotic... X := X + ∂ . t t Note that X is an autonomous vector ﬁeld on D ×[0, 1] and ı ω ˜ = ı [ω + dH ∧ dt )] ˜ 0 (X +∂ ) 0 t t t = ı ω + ı (dH ∧ dt ) + ı ω + ı (dH ∧ dt ) X 0 X t ∂ 0 ∂ t t t t t = dH + 0 + 0 − dH = 0. (4.2) t t In particular, using also the fact that ω ˜ is closed, we have L ω ˜ = dı ω ˜ + ı dω ˜ = 0, ˜ 0 ˜ 0 ˜ 0 X X X ˜ ˜ and hence ω ˜ is invariant with respect to the local ﬂow of X, which we denote by φ.Note that t t φ (z, 0) = (φ (z), t ) ∀z ∈ D, t ∈[0, 1]. Note that (4.2) together with the fact that ω ˜ is closed, also shows that ω ˜ is invariant with 0 0 respect to any reparametrization of this local ﬂow. The map e t −1 ρ : S (x ) → D,(z, t ) → (φ ) (z), from Sect. 2.3 maps each (z, t ) ∈ S (x ) into the unique point y ∈ D such that (y, 0) is on the backward orbit of (z, t ) by φ. In other words, this map has the form −τ(p) ρ(p) = π ◦ φ (p), where π : D ×[0, 1]→ D and τ : D ×[0, 1]→[0, 1] are the two projections. We set −τ(p) ψ(p) := φ (p) and we compute its differential −τ(p) −τ( p) e ˜ ˜ ˜ dψ(p)[u]= dφ (p)[u]− dτ(p)[u]X (φ (p)), ∀u ∈ T S (x ). Notice that ρ = π ◦ ψ and π ω =˜ ω − dH ∧ dt. These two identities let us compute the 0 0 t e e pullback of the form ω by the map ρ at some point p ∈ S (x ):for every u,v ∈ T S (x ) 0 p φ φ we have ∗ ∗ ∗ ρ ω (p)[u,v]= (ψ π ω )(p)[u,v] 0 0 = ψ (ω ˜ − dH ∧ dt )(p)[u,v] 0 t ∗ ∗ = ψ ω ˜ (p)[u,v]− ψ (dH ∧ dt )(p)[u,v] 0 t =˜ ω (ψ (p)) dψ(p)[u], dψ(p)[v] −dH (ψ (p)) 0 0 ∧ dt dψ(p)[u], dψ(p)[v] . The fact that the ﬂow φ and reparametrizations of it preserve the form ω˜ implies that ψ ω ˜ =˜ ω , and hence the ﬁrst term in the last expression equals ω ˜ (p)[u,v]. On the other 0 0 0 hand, the second term in the last expression vanishes, because the vectors dψ(p)[u] and dψ(p)[v] belong to the space T D ×{0},onwhich dt vanishes. We conclude that ψ(p) ρ ω =˜ ω | . 0 0 S (x ) By Stokes’ theorem and (2.4) we obtain the identity 123 D. Bechara Senior ρ ω = ω ˜ = λ 0 0 e e e S (x ) S (x ) ∂ S (x ) φ φ φ = (λ + H dt ) = a (x ) + λ − λ. (4.3) t φ,λ ∂ S (x ) [e,x ] [e,φ (x )] On the other hand, equation (2.11) and Lemma 2.12 yield ∗ e e ρ ω = deg(ρ , S (x ), y)ω (y) = I (x , y)ω (y). (4.4) 0 0 0 φ φ S (x ) D D The desired identity (4.1) follows from (4.3)and (4.4). Remark 4.2 In the particular case of a ﬁxed point x ∈ D of φ, the formula of Proposition 4.1 reduces to the identity a (x ) = I (x , y)ω (y). φ,λ 0 We can ﬁnally prove Theorem 1.1 from the Introduction. Proof of Theorem 1.1 By applying Proposition 4.1 to the map φ we obtain the identity a (x ) 1 1 1 φ ,λ = I n (x , y)ω (y) − λ + λ. n n n n D [e,x ] [e,φ (x )] for every x in D. The last two integrals are uniformly bounded in x ∈ D and n ∈ N. Together with the bound from Proposition 2.10 applied to φ , we deduce the bound a (x ) 1 1 φ ,λ − W n (x , y)ω (y) = O (4.5) φ 0 n n n uniformly in x ∈ D.The set consisting of all points x ∈ D for which the sequence a (x )/n converges to a (x ) and the integrals of W n (x , ·)ω /n converge to the integral φ,λ φ 0 of W (x , ·) has full measure in D. Taking the limit in (4.5) we obtain the identity ∞ ∞ a (x ) = W (x , y)ω (y) (4.6) φ φ for every x ∈ .The set contains all periodic points of φ thanks to the identity (3.4)and Remark 3.4. Fathi’s formula stated as Corollary 1.2 in the Introduction now follows by integrating (4.6) over the full measure set and using the identities (3.3)and (3.5). Acknowledgements I thank Jordan Payette for thorough comments on the ﬁrst version of this paper. The author is partially supported by the SFB/TRR 191 ‘Symplectic Structures in Geometry, Algebra and Dynamics’, funded by the DFG (Projektnummer 281071066 – TRR 191). Funding Open Access funding enabled and organized by Projekt DEAL. 123 Asymptotic action and asymptotic... Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. References 1. Alberto Abbondandolo, Barney Bramham, Umberto L. Hryniewicz, and Pedro A. S. Salomão. Sharp systolic inequalities for Reeb ﬂows on the three-sphere. Invent. Math., 211(2):687–778, 2018. 2. Augustin Banyaga. On the group of diffeomorphisms preserving an exact symplectic form. In Differential topology (Varenna, 1976), pages 5–9. Liguori, Naples, 1979. 3. Augustin Banyaga. The structure of classical diffeomorphism groups, volume 400 of Mathematics and its Applications. Kluwer Academic Publishers Group, Dordrecht, 1997. 4. Eugenio Calabi. On the group of automorphisms of a symplectic manifold. In Problems in analysis (Lectures at the Sympos. in honor of Salomon Bochner, Princeton Univ., Princeton, N.J., 1969), pages 1–26. 1970. 5. Albert Fathi. Transformations et homéomorphismes préservant la mesure: systémes dynamiques mini- maux. PhD thesis, Université Paris-Sud, 1980. 6. Jean-Marc Gambaudo and Étienne Ghys. Enlacements asymptotiques. Topology, 36(6):1355–1379, 1997. 7. Michael Hutchings. Mean action and the Calabi invariant. J. Mod. Dyn., 10:511–539, 2016. 8. McDuff, Dusa, and Dietmar Salamon. Introduction to symplectic topology second ed. The Clarendon Press Oxford University Press, New York, 1998. 9. Py, Pierre. Quasi-morphismes et invariant de Calabi. Annales Scientiﬁques de l’École Normale Supérieure. Vol. 39. No. 1. 2006. 10. Egor Shelukhin. “Enlacements asymptotiques” revisited. Ann. Math. Qué., 39(2):205–208, 2015. 11. Stephen Smale. Diffeomorphisms of the 2-sphere. Proc. Amer. Math. Soc., 10:621–626, 1959. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional afﬁliations.
Annales mathématiques du Québec – Springer Journals
Published: Oct 1, 2023
Keywords: Symplectic action; Calabi homomorphism; Ergodic Theorem; Linking numbers; 37E30; 37C05
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.