{'fraction_non_alphanumeric': 0.05462937448332874, 'fraction_numerical': 0.009093414163681455, 'mean_word_length': 3.6150055635034177, 'pattern_counts': {'":': 0, '<': 2, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 25, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A Lefschetz fixed point formula for symplectomorphisms

Consider a compact K\"ahler manifold endowed with a prequantum bundle. Following the geometric quantization scheme, the associated quantum spaces are the spaces of holomorphic sections of the tensor powers of the prequantum bundle. In this paper we construct an asymptotic representation of the prequantum bundle automorphism group in these quantum spaces. We estimate the characters of these representations under some transversality assumption. The formula obtained generalizes in some sense the Lefschetz fixed point formula for the automorphisms of the prequantum bundle preserving its holomorphic structure. Our results will be applied in two forthcoming papers to the quantum representation of the mapping class group.

Consider a compact Kähler manifold M endowed with a Hermitian holomorphic bundle L → M whose curvature is the fundamental two-form. In the point of view of geometric quantization, M is the classical phase space and the space H 0 (M, L) of holomorphic sections of L is the quantum space.
The group of holomorphic automorphisms of L acts naturally on the quantum space. Furthermore, if the higher cohomology groups (H q (M, L), q 1) of the sheaf of holomorphic sections of L are all trivial, the holomorphic Lefschetz fixed point formula expresses the characters of this representation in terms of characteristic classes of M and L.
With the physical interpretation in mind, it is natural to consider the prequantum bundle automorphisms instead of the holomorphic automorphisms. These are the automorphisms of L preserving the Chern connection and the metric but not necessarily the holomorphic structure. Whereas the group of holomorphic automorphism is finite dimensional, the group of the prequantum bundle automorphisms is infinite-dimensional. Its Lie algebra identifies with the Poisson algebra of M . Furthermore each Hamiltonian symplectomorphism of M lifts to a prequantum bundle automorphism, and if M is simply connected, each symplectomorphism isotopic to the identity is Hamiltonian. The goal of this paper is to define an asymptotic representation of these automorphisms such that a suitable version of the Lefschetz fixed point formula holds. Here the terms asymptotic refers to the semiclassical limit, obtained by replacing the prequantum bundle L by its k-th tensor power with large value of k.
It is convenient to work with the metaplectic correction. Let δ → M be a half-form bundle, that is a square root of the canonical bundle of M . Such a bundle exists if and only if the second Stiefel-Whitney class of M vanishes. We will define the notion of half-form bundle automorphisms. For the introduction, it is sufficient to know that any symplectomorphism of M isotopic to the identity lifts to a half-form bundle automorphism. Furthermore on any component of M , this lifts is unique up to a sign.
Consider two automorphisms Φ L and Ψ of the prequantum bundle and the half-form bundle respectively which lifts the same symplectomorphism Φ of M . Then we will define a class U (Φ L , Ψ) which consists of sequences T k : H 0 (M, L k ⊗ δ) → H 0 (M, L k ⊗ δ), k = 1, 2, . . . of unitary maps whose Schwartz kernel has a precise asymptotic. Without going into the complete definition, let us describe the main characteristics.
• The Schwartz kernel concentrate on the graph of Φ −1 in the sense that for any y and x ∈ M such that y = Φ(x).
• The asymptotic on the graph is given in terms of Φ L and Ψ by The precise definition is given in sections 4.2 and 5.2. The main properties of these operators are the following.
• U (Φ L , Ψ) is not empty. For any sequences (T k ) and (T ′ k ) in U (Φ L , Ψ) we have that T ′ k T −1 k = id +O(k −1 ) in uniform norm.
• We have an asymptotic representation in the sense that • When the graph of Φ intersects transversally the diagonal, we can estimate the trace of any (T k ) in U (Φ L , Ψ): where for any fixed point x of Φ, u x ∈ C is the trace of the endomorphism Φ L (x) and m x ∈ Z/4Z depends only on T x Φ and Ψ(x).
Precise statements are given in theorems 5.2.1 and 5.3.1. These results are consequences of more general statements where the half-form line bundle is replaced by any auxiliary line bundle, cf. theorem 4.2.2 and 4.3.1. However the quantization with metaplectic correction presented here has the following particular features. First, we have an asymptotic representation of a finite cover of the prequantum bundle automorphism group, whereas with a general auxiliary line bundle we have to consider a U (1)-extension. Second, the formula giving the asymptotic of the trace is much more complicated for a general auxiliary line bundle. It involves the complex structure of M in a essential way, whereas it depends only on the symplectic data in the half-form case.
The index m x appearing in the estimate of the trace (1) is one of the main point of this paper. It is similar to a Maslov or a Conley-Zehnder index. Our definition requires a choice of a complex polarization, whereas the already known definitions of indices for symplectomorphisms involved a choice of a real polarization. Besides the definition given in section 2.2, we propose a simple useful characterization in section 2.3. We also compute the index of the elements of the metalinear and unitary groups.
The results of the paper relies on the articles [4] and [5]. In [4] we proposed an elementary definition of a Fourier integral operator in the context of geometric quantization of Kähler manifolds. Previously, a definition was given by Zelditch [10] using the general theory of Toeplitz operators of Boutet de Monvel and Guillemin [2]. The interest of half-form bundle for these Fourier integral operators was understood in [5] where the spaces U (Φ L , Ψ) were introduced. The estimate of the trace with the definition of the index is new. Of course, it is very similar to the known formula for the usual Fourier integral operators. It was one of our goal to obtain the closest formula to the usual case.
In a sequel of this paper we will apply our result to the quantum representations of the mapping class group defined in topological quantum field theory. Estimating the character of these representations with our formula, we will obtain the leading order behavior of the quantum invariant of some 3-dimensional manifolds in the large level limit. These asymptotics were initially obtained by Witten in [9] by doing the perturbative theory of some Feynman path integral and have been rigorously proved only in few cases. The article [7] will be devoted to Sl(2, Z) and [6] to the mapping class group of surfaces with genus greater than 2.
The layout of this paper is as follows. Sections 1, 2 and 3 are devoted to linear algebra preliminaries. In section 1, we define the half-form morphisms and the symplectic linear category with half-forms. The automorphism group of an object in this category is a concrete realization or the metaplectic group. It is the subject of section 2, where the index of some of its element is defined. In section 3, we generalize the previous considerations, which is necessary for the application to the quantum representation of the mapping class group. In section 4, we consider the quantization of Kähler manifold with an auxiliary line bundle, introduce the operator quantizing the symplectomorphisms and estimate their trace. In section 5, we treat the particular case where the auxiliary bundle is a half-form bundle. In appendix A, we introduce a functor from the category of symplectic vector spaces with polarization and half-form to the category of Hilbert spaces. Applying this functor to the automorphism group of a single object, we recover the well-known metaplectic representation. With this elementary construction in mind, one can view the quantization of symplectomorphisms studied in this article as a generalization of the metaplectic representation.

Complex structures and canonical lines
Let S be a symplectic real vector space. A positive polarization E of S is a Lagrangian subspace of S ⊗ C such that 1 i ω(x, x) > 0 for any non-vanishing x ∈ E. Any positive polarization has a canonical Hermitian scalar product given by The set of positive polarizations of S is a contractible topological space. For any positive polarizations, we consider the canonical line ∧ top E * with its associated Hermitian product. For any positive polarizations E a and E b , S ⊗ C is the direct sum of E a and E b . Let π E b ,Ea : E b → E a be the restriction of the projection onto E a with kernel E b . This map is invertible.
Given three positive polarizations, let ζ(E a , E b , E c ) be the complex number such that Define ζ 1/2 (E a , E b , E c ) to be the square root depending continuously on E a , E b and E c and taking the value 1 when E a = E b = E c .

Half-form lines
For any positive polarization E, a half-form line of E is a complex line δ together with an isomorphism ϕ : δ ⊗2 → ∧ top E * . We endow δ with the scalar product making ϕ a unitary map. Let us consider the category D(S) with objects the triples (E, δ, ϕ) consisting of a positive polarization together with a half-form line. The morphisms from (E a , δ a , ϕ a ) to (E b , δ b , ϕ b ) are the linear maps Ψ : The composition of a morphism Ψ : where the product in the right-hand side is the usual composition of maps.
The product • D is well-defined and associative. For any object (E, j, ϕ), the identity of δ is a unit of (E, δ, ϕ). So D(S) is a category. Furthermore each morphism is invertible, its inverse being its adjoint.
Proof. Because of equation (2), Ψ ′ • D Ψ is a morphism. We deduce from the associativity The square root satisfying the same identity, the product • D is associative.
Since Ψ E,E is the identity map, the identity of δ is a half-form morphism. Furthermore, So the square root of ζ satisfies the same equation, consequently the identity of δ is a unit of (E, δ, ϕ).
Since E a and E b are Lagrangian spaces, one has Hence the adjoint Ψ b,a of a half-form morphism Ψ a,b is a halfform morphism. Furthermore, since the only automorphisms of a half-form bundle are id and − id, one has Deforming from E a = E b to remove the sign ambiguity, we obtain that Ψ b,a is the inverse of Ψ a,b .

Symplectic linear category with half-forms
We introduce now a category D with objects the quadruples (S, E, δ, ϕ) consisting of a symplectic vector space with a positive polarization and a half-form line. Let us define the morphisms. Consider two symplectic vector spaces S a and S b with positive polarizations E a and E b respectively. A symplectic linear isomorphism g from S a to S b sends isomorphically E a to the positive polarization gE a of S b . So composing the pull-back by g −1 with the morphism Ψ gEa, are defined as the pairs (g, Ψ) consisting of a symplectic linear isomorphism from S a to S b and a linear morphism δ a → δ b such that The composition of a morphism (g, Ψ) : where the product in the right-hand side is the usual composition of maps.
Proof. This follows from proposition 1.2.1. Indeed, given a morphism (g, Ψ) : a → b, one may identify S a and S b with S through symplectomorphisms in such a way that g becomes the identity. Then Ψ is a morphism from With these identifications, the composition of morphisms in D corresponds to the composition in D(S).
In appendix A, we will define a functor from the category D to the category of Hilbert spaces.

Metaplectic group 2.1 The automorphism group
Consider a fixed symplectic vector space S together with a positive polarization E. Denote by Sp(S) the group of linear symplectomorphism. For any g ∈ Sp(S), observe that the endomorphism Ψ g,E,E of ∧ top E * is the multiplication by det(g −1 π E,gE : E → E).
Let (δ, ϕ) be a half-form line of (S, E). Then identifying the automorphisms of δ with complex numbers, the automorphisms of (S, E, δ, ϕ) are the pairs (g, z) consisting of a linear symplectomorphism g ∈ Sp(S) with a complex number z such that The composition of two automorphisms is given by Since the previous formulas don't depend on (δ, ϕ), we denote by Mp(S, E) the group of automorphisms of (S, E, δ, ϕ). The projection The metaplectic group is defined as the 2-cover of the symplectic group.
Proof. Choose a line D of E. Then for any θ ∈ R, consider the symplectomorphism g θ which preserves D and E and such that for any x ∈ E, ) is a path of automorphisms connecting (id, 1) with (id, −1).

Definition of the index
Consider the complex structure j of S such that ker(j − i id) = E. Then (X, Y ) → ω(X, jY ) is a scalar product of S. Let Sym(S, j) be the space of linear endomorphisms of S symmetric with respect to this scalar product. For any A ∈ Sym(S, j), define the square root det 1/2 1 2 id +iA in such a way that it depends continuously on A and is positive for A = 0. It is well-defined because Sym(S, j) is contractible, as a vector space. Observe also that any symmetric endomorphism A is diagonalisable with a real spectrum so that 1 2 id +iA is invertible. Let Sp * (S) be the set of symplectic linear isomorphism g of S such that id −g is invertible. For any such g, it is easily checked that The inverse of π E,gE is the restriction of π from gE to E. So The two previous equations imply that which concludes the proof.
We call m(g, z) the index of (g, z). This defines a locally constant map m from Mp * (S, E) to Z/4Z which distinguishes the components of Mp * (S, E), as proves the following proposition. Observe also that m(− id, e i π 2 p ) = p for p = n mod 2. When S is twodimensional one can can easily characterize the index of (g, z) in term of the trace of g and the argument of z, cf. equation (5).
Proof. It is proved in [8] lemma 1.7, that Sp * (S) has two components, distinguished by the sign of det(g − id). So Mp * (S, E) has at most 4 components. To conclude it suffices to prove that m is onto. This follows from equation (4), because the right hand side can be positive and negative. Actually, it is also proved in [8]

A characterization of the index
Assume S is two-dimensional. By choosing a basis (e, f ) of S such that the symplectic product of e with f is equal to 1, we identify S with R 2 and Sp(S) with Sl(2, R). For any g ∈ Sp(S), det(id −g) = 2 − tr(g).
So the set of g with det(id −g) < 0 consists of the hyperbolic elements with negative trace, whereas the set of g with det(id −g) > 0 consists of the elliptic elements together with the hyperbolic ones with a positive trace.
Recall that Sl(2, R) is diffeomorphic to the product of the circle and the unit disc. Such a diffeomorphism is the map sending θ ∈ S 1 and (u, v) ∈ D into Let E be the positive polarization generated by e − if and let Mp(S, E) be the associated metaplectic group. Let us parametrize Mp(S, E) by S 1 ×D Then Mp * (S, E) is the image of cos(2θ) = 1 − u 2 − v 2 1/2 . We find easily the index of any element of Sp * (S) by computing explicitly the index of one element in each component. cf. figure 1.
Observe that when the argument of z runs over an interval k π 2 , (k +1) π 2 with k ∈ Z, the index m(g, z) takes two distinct values depending on the sign of tr(g) − 2. Checking the various cases, one obtains the following formula where k and ǫ are determined by arg(z) ∈ k π 2 , (k + 1) π 2 , ǫ = 0 if tr(g) > 2 1 otherwise.
The formula does not depend on the parametrization. Unfortunately such a simple description doesn't generalize in higher dimension. Nevertheless we can characterize the index in any dimension by considering product.

Unitary group of E
The subgroup of Sp(S) consisting of the elements commuting with j is isomorphic with the unitary group of E. The isomorphism is the map ι sending h ∈ U (E) to g ∈ Sp(S) whose complexification acts as . Next lemma will be used to compare our trace estimates with the holomorphic Lefschetz fixed point formula.
Proof. Let (e i ) be an orthonormal basis of E diagonalising h. Then the matrix of A(g) in the base (e 1 , . . . , e n , e 1 , . . . , e n ) is given by Here the u i 's are the eigenvalues of h, h(e i ) = u i e i . A straightforward computation using that u i is a complex number with modulus 1 gives This proves the result up to a plus or minus sign. U * (E) being connected, it suffices now to check the result for one element h. It is obvious for h = − id, because A(ι(h)) = 0.

Metalinear group of a Lagrangian subspace
Let Λ be a Lagrangian subspace of S. Let Sp(S, Λ, jΛ) be the subgroup of Sp(S) consisting of the elements preserving Λ and jΛ. Let Ml(Λ) be the metalinear group of Λ, i.e. the subgroup of Gl(Λ) × C * consisting of the pairs (h, z) such that z 2 = det h. Proposition 2.5.1. For any (h, z) ∈ Ml(Λ), there is a unique pair (g, z ′ ) ∈ Sp(S, Λ, jΛ) × C * such that • h is the restriction of g to Λ.
Proof. Let (e i ) be a basis of Λ, orthonormal for the scalar product ω(x, jy). Then g ∈ Sp(S, Λ, jΛ) if and only if its matrix in the basis e 1 , . . . , e n , je 1 , . . ., je n is of the form with BC t = id. So g is determined by its restriction h to Λ which is an arbitrary element of Gl(Λ). Denote by π the projection onto E with kernel E. Then the matrix of πg : E → E in the basis (e i − ije i ) i is 1 2 (B + C). Furthermore det(B + C) and det B have the same sign. So det(πg : E → E) is real and have the same sign of det(h). This proves the existence and unicity of z ′ .
To prove that j Λ is a morphism, we have to show that ζ 1/2 (g ′ gE, g ′ E, E) is a positive number for any g, g ′ ∈ Sp(S, Λ, jΛ). By the first part of the proof, ζ(g ′ gE, g ′ E, E) is real. So it suffices to prove it is positive for one pair (h, h ′ ) in each component of Gl(Λ) × Gl(Λ). If any two of three polarizations E, F and G are equal, then ζ 1/2 (G, F, E) = 1.
Proof. One has to prove that det 1/2 1 2 id +iA(g) is positive for any g ∈ Sp(S, Λ, jΛ). If the matrix of g is (7), the one of A(g) is . Deforming A(g) to 0 through a radial homothety we obtain that the square root of det 1 2 id +iA(g) is positive.

Generalized half-form lines
Let p be a positive integer. A generalized half-form line of a symplectic vector space S equipped with a positive polarization E is a complex line δ together with an isomorphism We have a category whose objects are the quadruples (S, E, δ, ϕ). The morphisms from (S a , E a , δ a , ϕ a ) to (S b , E b , δ b , ϕ b ) are the pairs consisting of a linear symplectomorphism g : S a → S b together with a morphism Ψ : where the product in the right-hand side is the usual composition of maps.
The automorphism group Mp p (S, E) of (S, E, δ, ϕ) consists of the pair (g, z) where g is a linear symplectomorphism of S and z a complex number such that z 2p = det p (g −1 π E,gE : E → E).
Let U 2p be the group of 2p-th roots of unity. The map sending ((g, z), u) to (g, zu) is a surjective morphism with kernel ((id, 1), 1), ((id, −1), −1) . For any element (g, z) ∈ Mp p (S, E) such that 1 is not an eigenvalue of g, we define its index in the following way. Set p ′ = p if p is even and p ′ = 2p if p is odd. Then m p (g, z) is the unique element of Z mod 2p ′ Z such that The existence of m p (g, z) follows from proposition 2.2.1.

Quantization of Kähler manifolds 4.1 Hilbert space
Consider a compact Kähler manifold M with a prequantization bundle L, that is L is a holomorphic Hermitian line bundle such that the curvature of its Chern connection is 1 i ω where ω is the fundamental two-form of M . Let K → M be a holomorphic Hermitian line bundle. Define the sequence of vector spaces Since M is compact, H k is a finite dimensional vector space. It has a natural scalar product defined by means of the Hermitian structure of L k ⊗ K and the Liouville measure of M .

Fourier integral operators
Consider a symplectomorphism Φ : M → M together with an automorphism Φ L of the bundle L lifting Φ and preserving the connection and the metric. To these data is associated a space F(Φ L ) of Fourier integral operators, that we define now. Consider a family of operators (S k : H k → H k , k = 1, 2, . . .). The scalar product of H k gives us an isomorphism The latter space can be regarded as the space of holomorphic sections of where M 2 is endowed with the complex structure (j, −j). The section S k (x, y) associated in this way to S k is its Schwartz kernel.
and∂F ≡ 0 modulo a section vanishing to any order along the graph of Φ −1 .
• g(., k) is a sequence of sections of K ⊠K → M 2 which admits an asymptotic expansion in the C ∞ topology of the form g(., k) = g 0 + k −1 g 1 + k −2 g 2 + ... whose coefficients satisfy∂g i ≡ 0 modulo a section vanishing to any order along the graph of Φ −1 .
Let us define the principal symbol of (S k ) to be the map x → g 0 (Φ(x), x). Using the Hermitian structure of K, we regard it as a section of the bundle Hom(K, Φ * K) → M . The principal symbol map satisfies the expected property.
where the O(k −1 ) is for the uniform norm of operators.
Consider two symplectomorphisms Φ and Φ ′ . Define the product of two sections Ψ, Ψ ′ of Hom(K, Φ * K) and Hom(K, Φ ′ * K) respectively as the section of Hom(K, (Φ ′ • Φ) * K) given at x by where E y = T 1,0 y M , g y = T y Φ and g ′ y = T y Φ ′ for y = x, Φ(x) or Φ ′ (Φ(x)). Here the product on the right hand side is the usual composition of homomorphism.
Theorem 4.2.2. Let Φ L and Φ ′ L be two automorphisms of the prequantum bundle L lifting Φ and Φ ′ respectively. If T ∈ F(Φ L ) and S ∈ F(Φ ′ L ), then S • T is a Fourier integral operator of F(Φ ′ L • Φ L ). Its symbol is given by

Trace estimate
Consider a symplectomorphism Φ of M together with a lift Φ L to the prequantum bundle. Assume that the graph of Φ intersects transversally the diagonal. • z x and u x are the traces of Ψ(x) : • j x and the square root of the determinant is determined as in section 2.2.
Proof. By assumption the Schwartz kernel of S has the form (8). One has Let us write on a neighborhood of a fixed point where ϕ is a complex valued function. By lemma 4.3.2, the first derivatives of ϕ vanishes at x 0 .
for any tangent vectors X, X ′ of M at x 0 .
Proof. By lemma 4.3.2, the Hessian is given by Let π be the projector of T x M ⊗ C with image E x and kernel E x . Then To compute V one has to solve the following system Adding and subtracting both equations, we obtain With the second equation, we compute Y in terms of V . Inserting the result in the first equation, we obtain with proves the lemma.
Now the theorem follows from stationary phase lemma by using that exp(−ϕ(x 0 )) = u x 0 and g(x 0 , x 0 , k) = z x 0 + O(k −1 ). Observe furthermore that the Liouville measure is the Riemannian volume of the metric ω(X, j x Y ). So for an orthogonal basis X 1 , . . . , X 2n , we have µ M (X 1 ∧ . . . ∧ X 2n ) = 1 and det Hess ϕ(X i , X j )(x 0 ) i,j = det −1 1 2 id +iA x 0 which leads to the result.

The holomorphic Lefschetz fixed point formula
As in the previous section, consider a symplectomorphism Φ of M together with a lift Φ L to the prequantum bundle. Assume that Φ is a holomorphic map. Since the holomorphic structure of L is characterized by the connection, Φ L is a holomorphic bundle homomorphism. Consider a holomorphic bundle homomorphism Ψ of K lifting Φ. Then we have a map (Φ k L ⊗ Ψ) * : H k → H k defined as the inverse of the pull-back by Φ k L ⊗ Ψ. More generally, Φ k L ⊗ Ψ acts on the q-th cohomology group of the sheaf of holomorphic sections of L k ⊗ K. One defines the holomorphic Lefschetz number Then assuming that the graph of Φ intersects transversally the diagonal, the holomorphic Lefschetz fixed point theorem, cf.
[1] theorem 4.12, says where the complex numbers z x and u x are defined as in theorem 4.3.1 and h x is the holomorphic tangent map of Φ at x, that is the restriction of T x Φ ⊗ C to E x = T 1,0 x M . When k is sufficiently large, Kodaira's vanishing theorem implies that H q (M, L k ⊗ K) = 0 for every positive q. If the latter is the case, the holomorphic Lefschetz number is the trace of the action of Φ k L ⊗ Ψ on H k . Furthermore, the family of operators ((Φ k L ⊗ Ψ) * | H k , k = 1, 2, . . .) is a Fourier integral operator of F(Φ L ) with symbol Ψ. This is an easy consequence of the fact that the sequence (id H k , k = 1, 2, . . .) belongs to F(id L ) and has the symbol id K . So theorem 4.3.1 gives the asymptotic behaviour of the Lefschetz numbers. That the result agrees with holomorphic Lefschetz fixed point theorem is a consequence of lemma 2.4.1.
of T x M and a generalized half-form line (δ x , ϕ x ) of this polarization. The half-form bundle δ has a natural metric and holomorphic structure such that ϕ is an isomorphism of Hermitian holomorphic bundle. We apply the previous constructions with K = δ, which defines the Hilbert space H k .

Unitary maps
Let Ψ be an automorphism of the bundle δ lifting a symplectomorphism Φ of M . One says that Ψ is a half-form bundle automorphism if for any point is a morphism of half-form lines, cf. section 1.3 for p = 1 and section 3 for any p. Observe that for any two half-form bundle automorphisms Ψ and Ψ ′ , the product Ψ ′ • D Ψ defined in (9) is a half-form bundle morphism. • U (Φ L , Ψ) is not empty.
• U (id L , id δ ) consists of the sequences exp(ik −1 T k ) where (T k ) runs over the self-adjoint operators of F(id L ).
Proof. We only give an outline since the ideas of the proof are standard. To show that U (Φ L , Ψ) is not empty, consider a Fourier integral operator (T k ) of F(Φ L ) with symbol Ψ. Then its adjoint is a Fourier integral operator of F(Φ −1 L ) with symbol Ψ * . By proposition 1.2.1, Ψ * is the inverse of Ψ. So by theorem 4.2.2, (T * k T k ) is a Fourier integral operator of F(id L ) with symbol the identity. F(id L ) is the algebra of Toeplitz operators. By ellipticity, T * k T k is an invertible self-adjoint operator when k is sufficiently large. By changing the first values of T k , T * k T k is invertible for any k. Then using the functional calculus of Toeplitz operators (cf. proposition 12 of [3]), one proves that (T * k T k ) −1/2 is a Toeplitz operator with principal symbol equal to 1. This implies that T k (T * k T k ) −1/2 belongs to U (Φ L , Ψ).
The second part of the theorem follows directly from theorem 4.2.2. To show the last part, one constructs the operator T k by successive approximations using the functional calculus of Toeplitz operators.

Trace estimates
Consider two automorphisms Φ L , Ψ of the prequantum bundle L and the half-form bundle δ respectively which lift the same symplectomorphism Φ of M . where for any fixed point x of Φ, • g x is the linear tangent map to Φ at x and z x ∈ C is the trace of the endomorphism Φ δ,x : δ x → δ x • p ′ = p (resp. 2p) if p is even (resp. odd) and m p (g x , z x ) ∈ Z mod 2p ′ Z is the index defined in section 3.
• u x ∈ C is the trace of the endomorphism Φ L,x : L x → L x This is an immediate consequence of theorem 4.3.1 and the definition of the index.

A Linear Quantization
In this appendix we define a functor from the category of symplectic space with polarization and half-form to the category of Hilbert space.

A.1 Hilbert space
Let S be a symplectic vector space. Consider the trivial bundle L S with base S, fiber C and endowed with the connection d + 1 i α where α ∈ Ω 1 (S) is given by α| x (y) = 1 2 ω(x, y).
Let E be a positive polarization and (δ, ϕ) be a half-form line. Abusing notation, we denote by δ the trivial bundle with base S, fiber δ and endowed with the trivial connection. Consider the space H(S, E, δ, ϕ) which consists of the holomorphic sections Ψ of L S ⊗ δ with respect to the polarization E such that S |Ψ(x)| 2 µ(x) < ∞ where µ the Liouville measure of S. Here |Ψ(x)| denote the punctual norm in L S ⊗ δ . That a section Ψ is holomorphic with respect to E means that its covariant derivative with respect to any vector of E vanishes.
H(S, E, δ, ϕ) is an abstract presentation of the Bargmann space. It is a Hilbert space with the scalar product S (Ψ, Ψ ′ )(x) µ(x).

A.2 Unitary map
Consider symplectic vector spaces (S a , E a ) and (S b , E b ) with positive polarizations. Let g be a linear symplectomorphism from S a to S b .
Lemma A.2.1. There exists a unique quadratic function Φ : S b × S a → C vanishing on the graph of g and such that exp(Φ) is a holomorphic section of L S b ⊠ L Sa with respect to E b × E a .
Consider now a half-form line (δ i , ϕ i ) of E i for i = a, b. Then for any morphism (g, Ψ) from a = (S a , E a , δ a , ϕ a ) to b = (S b , E b , δ b , ϕ b ) we define a map from H(a) to H(b) by U (g, Ψ)f (x) = (2π) −n Sa exp(Φ(x, y))Ψ(f (y))µ b (y) where µ b is the Liouville measure of S b .
Theorem A.2.2. For any morphism (g, Ψ), the operator U (g, Ψ) is unitary. Furthermore the map sending (S, E, δ, ϕ) to H(S, E, δ, ϕ) and (g, Ψ) to U (g, Ψ) is a functor from the category D to the category of Hilbert spaces.
The elementary but long proof of this result will be provided somewhere else. Applying the functor to the automorphism group of a symplectic space with polarization and half-form, we obtain the well-known metaplectic representation.