arXiv:2010.14339v1 [math.DG] 27 Oct 2020 (1.1) n ae h rjcin odfieTelt operator Toeplitz define to projections the takes one ersnaino omttv algebra commutative of representation Given H oyoil on polynomials ewl e ( let will we stesaeof space the is ∇ ope polarization complex omlvral,w bantesa rdc o mohfunct smooth for product star the obtain we variable, formal hc sgvnb h multiplication the by given is which elzn h netit principle uncertainty the realizing epciey hsato a lob bandvateToepl the via obtained be also can action This respectively. P ntr connection unitary L sΓ as position 2 R L 2 0 hscntuto a egnrlzdt uniaino K¨a of quantization to generalized be can construction This uniigapyia ytmsol eidpneto h ch the of independent be should system physical a Quantizing uniigacasclmcaia ytmon system mechanical classical a Quantizing ( 2 = = R L ( EMTI UNIAINADQATMMMN ASON MAPS MOMENT QUANTUM AND QUANTIZATION GEOMETRIC ,L X, n 2 − D ihanncmuaieagbastructure algebra non-commutative a with ) f ( Abstract. hnteei Hamiltonian a observabl is quantum there of representation When a observa forms quantum later of the algebra where the of description mathematical n ¨he-isenmnfls hs ymtisaestri are sho We symmetries these aspects. K¨ahler-Einstein representation manifolds, and and algebra quantum the both ∂p iω ,L X, ∂ x ∈ j ihrsett h oueform volume the to respect with ) h ibr pcsaehlmrhcsections holomorphic are spaces Hilbert The . j ODON RISADK AND ORBITS COADJOINT ’s ,ω J ω, X, C E n moment and ) ∞ aeytoescin hc r needn of independent are which sections those namely , ∩ ( X L Ker X 2 eoeacmatKalrmnfl ihpeunu iebun line prequantum K¨ahler with compact manifold a denote ) ,oecntk utpiainoperator multiplication take can one ), eomto uniainadgoercqatzto nK¨ on quantization geometric and quantization Deformation = hlmrhcscin ftetiilln bundle line trivial the of sections -holomorphic Γ ACUGCNNLUG I I N IIGNKLSMA NIKOLAS ZIMING AND LI, QIN LEUNG, CONAN NAICHUNG ∇ L ( C ∇ P 2 n ihcurvature with ( C P ,L X, ne h ikpout Explicitly, product. Wick the under R = ,tesaeof space the ), p j D ) soeaosˆ operators as ∂ ∩ ∂ z ¯ j Ker ’s T G E ato naKalrmnfl,teeaeascae symmetr associated are there K¨ahler manifold, a on -action  : T on x ˆ ( C f ( j ∇ M m , − ∞ X p ) P ˆ C f iω 1. k C ( := L ∞  X = Γ = ) olwdb h rhgnlpoeto Γ : Π projection orthogonal the by followed over , x 2 Introduction f ( = ) j T scin ftetiilln bundle line trivial the of -sections C X i → 7→ n ( = n i on ) m ℏ L · with ) δ X HE-ISENMANIFOLDS AHLER-EINSTEIN End T e 2 ¨ x ( k 1 j X −| f f ( j nfc,ti ie nato of action an gives this fact, In . ,L X, = · =Π := ) L Π = z ⋆ hc r osataogtera polarization real the along constant are which | n ˆ and ℏ 2 2 z T T / ( j H on ℏ ,L X, ∗ ( ) dz = tycmail ntol asymptotically). only (not compatible ctly m R L ◦ 0 ∩ H 2 p ) C n M saypoial i opizoperators. Toeplitz via asymptotically es ◦ 1 x lsadteHletsae respectively, spaces Hilbert the and bles j ( Ker ω , : M d 0 m ∞ j ,L X, M hti iecsso odon orbits coadjoint of cases nice in that w f lrmnfls nters fti paper, this of rest the In manifolds. hler t operators itz ( C z ¯ = z + ,L X, oson ions .T bana cinon action an obtain To ). , f 1 ( f ∞ j = X · · · , ( ip i : p n ¯ and ( ∂ ) ℏ ¯ P [[ ) X j ieo oaiain.I euethe use we If polarizations. of oice L
j = ) m ∂x ’s. dz then , 2 ∂ ) fpstv esrpwr of powers tensor positive of ) dx ℏ ( j z L n → ,L X, ]]. C j H d hsi ersnainof representation a is This . j on n he aiod iethe give manifolds ahler z c soperators as act ¯ ∧ L End( 0 L . n 2 m 2 L dp on ( ( ) ,L X, 2 R j ( H →
n C R a lob realized be also can ) saon otreating to amount is 0 n n ) ( l ( dle L L yturning By . epciey thus respectively, ) ,L X, 2 qipdwt a with equipped , ( ,L X, C L, m ∞ )as )) ∇ e on ies L z m ( H j 2 satisfying ) X · iiga giving ) ( 0 and ,L X, [[ ) ( ,L X, ℏ ℏ ]on ]] ℏ ) oa to ∂z m → L ∂ j ) . 2 LEUNG, LI, AND MA where Π : L2(X,Lm) → H0(X,Lm) denotes the orthogonal projection to holomorphic sections. The ℏ 1 Toeplitz operators is closed under composition only in the asymptotic sense as = m → 0. By the ∞ ∞ ∞ result of [5], there is a sequence of bidifferential operators Cl : C (X) × C (X) → C (X) such that for any f, g ∈ C∞(X) there is an asymptotic expansion as m →∞ (1.2) T (m) ◦ T (m) ∼ T (m) m−l, f g X Cl(f,g) l≥0 with C0 = f · g the ordinary product and C1(f, g) − C1(g,f) = {f, g} the Poisson bracket ([20, Theorem 4.5.]). Furthermore, these operators Cl’s can be put together into an associative ⋆-product via the formula (1.3) f ⋆ g := ℏl · C (f, g), X l l as a deformation quantization (C∞(X)[[ℏ]], ⋆) which is known as the Berezin-Toeplitz star product. ∞ 0 m The non-commutative algebra (C (X) [[ℏ]], ⋆), the Hilbert space Hm = H (X,L ) and the oper- (m) ators Tf ’s are called the deformation quantization, geometric quantization and Berezin-Toeplitz quantization respectively. The quantization of X is a much more complicated, but important question, especially in repre- sentation theory. As when (X,ω,J) has a Hamiltonian G-symmetry with moment map µ : X → g∗, then its geometric quantization H := H0(X,L) would be a G-representation G → GL (H). This representation is itself very important, a closely related question is the Guillemin-Sternberg conjec- ture on symmetry commutes with geometric quantization, which there has been extensive studies, e.g. [12, 17,21, 23]. The associated Lie algebra representation is denoted as (1.4) β : g → gl(H). And one expects most interesting representations should come from such a quantization process. By pulling back linear functions on g via µ, we have µ∗ : g → C∞ (X) . Composing with the Toeplitz operator T : C∞ (X) → gl (H), we obtain a map −iT ◦ µ∗ : g → gl (H) . It is natural to compare this with the representation β. It turns out that they do not agree with each other even in the case of X being coadjoint orbits, unless we replace µ by the Karabegov moment mapµ ˜. Definition 1.1. A map µ˜ : X → g∗ is called a Karabegov moment map if it is the moment map associated to the 2-form ω˜ given by

(1.5)ω ˜ := ω + i · RicX , ∗ 1 i.e. µ˜ is G-equivariant and satisfies ιvω˜ = dµ˜ (v) for all v ∈ g .

The main result of this paper is that in nice cases such as coadjoint orbits or Hamiltonian K¨ahler- Einstein manifolds the representation β can be obtained via the composition of the Toeplitz quan- tization T = T (1) with Karabegov moment mapµ ˜.

Theorem 1.2 (= Theorem 2.4). If X = Oξ is an integral coadjoint orbit of G, then −iT ◦ µ˜∗ = β.

1We use the same notation for an element in g and its associated vector field on X. TOEPLITZQUANTIZATIONOFCOADJOINTORBITS 3

We show that this is also true for any K¨ahler-Einstein manifolds with G-symmetry. Theorem 1.3 (=Theorem 2.2). If X is a compact K¨ahler-Einstein manifold with G-symmetry, then −iT ◦ µ˜∗ = β. Remark 1.4. The above assumption implies that the Einstein constant is positive and the G- symmetry is Hamiltonian.

Our main theorems say the following diagram commutes: (1.6) C∞(X) ; ❏ ∗ ①; ❏❏ −i·µ˜ ①① ❏❏T ①① ❏❏ ①① ❏❏ ①① % g / gl(H), β which means the compatibility between the quantum symmetries. The map β describes the infinites- imal quantum symmetry on H. The left arrow describes the “quantum symmetry” on the algebra of observables. The quantum moment mapµ ˜∗ has close relation with the Fedosov quantization scheme will be explained in details in §3.

Acknowledgement

N. C. Leung was supported by grants of the Hong Kong Research Grants Council (Project No. CUHK14301117 & CUHK14303518) and direct grants from CUHK. Q. Li was supported by Guang- dong Basic and Applied Basic Research Foundation (Project No. 2020A1515011220) and National Science Foundation of China (Project No. 12071204).

2. Main theorems

In this section, we prove our theorems by differential geometric and Lie theoretic computations. We take the following convention: For every smooth function f on X, the Hamiltonian vector

field Xf is defined by ιXf (ω)= df, and there is

{f, g} := ω(Xg, Xf ).

This convention guarantees that the map f 7→ Xf is a Lie algebra homomorphism:

X{f,g} = [Xf , Xg].

2.1. Hamiltonian K¨ahler-Einstein manifold. When (X,ω,J) is K¨ahler-Einstein with iRicX = λω, Karabegov moment map is given byµ ˜ = (1+ λ)µ. Lemma 2.1 (Tuynman [22], see also [4, Proposition 4.1.]). Let (X,ω,J,L) be K¨ahler manifold with a pre-quantium line bundle, then we have i Π ◦∇ = Π ◦ T Xf 2 ∆(f) acting on holomorphic sections H0(X,L), where ∆ is the Laplacian with respect to the K¨ahler metric. Theorem 2.2. Let (X,ω,J,L) be K¨ahler manifold with a pre-quantium line bundle together with a G-symmetry. Suppose further that X is K¨ahler-Einstein, then we have β = −iT ◦ µ˜∗. 4 LEUNG, LI, AND MA

Proof. For any w ∈ g, let fw := hµ, wi denote the pullback of w via the moment map µ. JXfw = ∇fw is a holomorphic Killing vector field on (X,ω,J), and using the theorem by Matsushima (see e.g. [2, Theorem 6.16.]) there is a bijection between eigenspace E2λ of ∆ and space of holomorphic Killing vector fields by taking their gradient vector fields. That is ∆fw = −2λfw.

Notice hµ,˜ wi = (1+ λ)fw, and therefore using the Lemma 2.1 we have 1 −iT ◦ µ˜∗ = −iT f − ∆(f ) = Q , w 2 w
f where Qf = Π ◦ (∇Xf − if). Finally we have [Qfw ,Qfv ]= Q{fw,fv} = Qf[w,v] due to the fact that the vector field Xfv comes from the G-action which preserves the K¨ahler structure (ω, J), and therefore 0  we obtain the representation β of g on H (X,L) by sending w 7→ Qfw .

2.2. Coadjoint orbits. In this section, we recall the notions and results for coadjoint orbits that are necessary for the proof of our second main theorem.

2.2.1. Coadjoint orbits as symplectic manifolds. We consider a compact connected Lie group G with a fixed choice of maximal torus T . Without loss of generality, we assume that g has no Abelian factor. We let g∗ be the dual of g equipped with coadjoint action Ad∗. We let the non-degenerated negative definite Killing form on g to be κ(·, ·) which identifies g and g∗, and we will abuse our notation by treating κ as a pairing on g∗ as well. ∗ We denote X := Oξ the coadjoint orbit through ξ ∈ g , which can be identified with G/Gξ where Gξ denotes the stabilizer subgroup of ξ with Lie subalgebra gξ. X is equipped with the natural Kirillov-Kostant-Souriau symplectic form (KKS form in short) given by the formula ωξ(η1, η2) := ∼ hξ, [η1, η2]i, for η1, η2 ∈ g/gξ = To(G/Gξ ) at the identity o ∈ G/Gξ , where h·, ·i is the natural pairing ∗ between g and g . The natural G-action G y X = G/Gξ is Hamiltonian and its moment map is ∗ . given by the natural embedding µξ : Oξ ֒→ g

2.2.2. Root space decomposition. We let gC = g ⊗R C denote the complexification of g and similarly ∗ ∗ for hC = h⊗R C for any subalgebra h ⊂ g. We let R to be the set of complex roots α ∈ it ⊂ tC, where t is the Lie-algebra of T . We further choose a set of simple roots S = {α1,...,αr} which specifies a decomposition R = R+ ⊔ R− into positive and negative roots, as well as a choice of fundamental Weyl chamber C . We have the root space decomposition gC = tC ⊕ (g ⊕ g ). Given a + α∈R+ α −α 2α L C root α, we define the co-root Hα ∈ t to α by taking κ(Hα, ·) := κ(α,α) , which is the unique element in [gα, g−α] satisfying α(Hα) = 2.

For computations on the homogeneous space X = G/Gξ, we further introduce the notation c Rξ := {α ∈ R | κ(ξ, α) = 0} and the set of complementary root Rξ := R\Rξ as in [1], and similarly c Rξ,+ = Rξ ∩ R+ and Rξ,+ := R+ \Rξ,+. Notice that Rξ and Rξ,+ only depends on the smallest closed strata containing ξ in the fundamental Weyl chamber C+ from its definition.

2.2.3. K¨ahler structures on coadjoint orbits. For any ξ ∈ g∗, letting ξ∨ ∈ g be the corresponding element via the identification by κ, we have gξ = t ⊕ (gα ⊕ g−α) ∩ (gα ⊕ g−α). Therefore, Lα∈Rξ,+ c we have the natural identification g/gξ = g := c (gα ⊕ g−α) ∩ (gα ⊕ g−α), together with a ξ α∈Rξ,+ c L direct sum decomposition g = gξ ⊕ gξ. There is a unique G-invariant integrable complex structure J on Oξ with 1,0 0,1 Te (G/Gξ)= gα, Te (G/Gξ)= g−α. Mc Mc α∈Rξ,+ α∈Rξ,+ TOEPLITZQUANTIZATIONOFCOADJOINTORBITS 5

This J together with ωξ gives a G-invariant K¨ahler structure on X = Oξ. We write gξ for the metric tensor associated to this K¨ahler structure.

2.2.4. Pre-quantum line bundles on coadjoint orbits. Without loss of generality, we take ξ ∈ iC+ with 2 integral symplectic class [ωξ] ∈ H (X, 2πZ). This allows us to define the associated unitary line ξ bundle Lξ on X = G/Gξ equipped with a unitary connection ∇ on Lξ such that the curvature form ξ 2 ξ (∇ ) = −iωξ. This gives a pre-quantum line bundle (Lξ, ∇ ) on X with a natural G-equivariant structure given by left translations.

2.3. Toeplitz quantization on coadjoint orbits. Using the results from [3,6–8], the Ricci form Ricξ = −iFK of X can be computed and is given by

(2.1) Ricξ(X,Y )= hδ2ξ, [X,Y ]i, ∼ 1 for X,Y ∈ g/gξ = To(G/Gξ), where δξ = c α. As a consequence, we find that X is K¨ahler- Pα∈Rξ 2 2 Einstein with Einstein constant λ exactly when ξ = λ δξ. For X equipped with other K¨ahler metrics, it would be interesting to ask whether the identity in Theorem 2.2 still hold for these metrics.

In the case of coadjoint orbit X = G/Gξ, the Karabegov form in equation (1.5) is explicitly given byω ˜ξ = ωξ + ω2δξ . The Karabegov moment map is given byµ ˜ξ = µξ + µ2δξ , where µξ and µ2δξ are moment map on G/Gξ with respect to symplectic form ωξ and ω2δξ respectively.

2.3.1. Peter-Weyl theorem. Using the Peter-Weyl theorem, we have a decomposition of the space of complex valued square integrable functions

L2(G)= V ∗ ⊗ V X ρ ρ ρ∈Gˆ as G × G modules, where Gˆ is the set of irreducible representations of G. Explicitly, an element w ⊗ v is treated as a function given by fw,v(g) := hw, ρ(g)(v)i, where h·, ·i is the natural pairing ∗ between Vρ and Vρ. Taking the right Gξ-invariant part we obtain the corresponding decomposition

G (2.2) L2(X)= V ∗ ⊗ V ξ X ρ ρ ρ∈Gˆ

Gξ as left G-modules, where Vρ refers to the subspace fixed by Gξ. We consider the Laplace-Beltrami operator ∆ = dd∗ + d∗d acting on smooth function C∞(X), which is invariant under the left G- ∗ Gξ action and hence acting on the individual component Vρ ⊗ Vρ . This action is computed explicitly in [25] for the K¨ahler-Einstein metric, we modify its proof for the K¨ahler metric gξ. We take a basis c ∼ e1,...,el of gξ = To(G/Gξ ), and obtain a local coordinate near [g] ∈ G/Gξ by the following map:

(2.3) (x1,...,xl) 7→ [g · exp(x1e1 + · · · + xlel)] for every g ∈ G. Here exp denotes the Lie-theoretic exponential map, and notice that this may not coincide with the Riemannian exponential map because the K¨ahler metric gξ is not naturally reductive metric in general.

Lemma 2.3. There exists a linear map Ω : Vρ → Vρ, such that for the function fw,v on G/Gξ, we have ∆fw,v = fw,Ω·v. Explicitly, Ω is given by l Ω(v)= aijdρ(e ) ◦ dρ(e )(v), X i j i,j=1 6 LEUNG, LI, AND MA

c where aij := gξ,o(ei, ej )’s are the matrix coefficients associated to metric gξ,o on gξ at identity o ∈ ij G/Gξ, and a ’s are their inverse matrix coefficients. Here dρ denotes the Lie algebra representation associated to ρ.

c ∼ Proof. With the identification dlg : gξ = Tg(G/Gξ) via left translation lg : X → X, we use the ∂ c exponential coordinates from equation (2.3), and compute ∇ ∂ | ∈ g for arbitrary i, j. Using ∂xj g ξ ∂xi
the Baker-Campbell-Hausdorff formula we notice that we can write g·exp(xiei+xjej)= g·exp(xjej − xixj 2 2 [ej , ei]+ o(kxk )) exp(xiei), where kxk refers to the norm on the tangent space To(G/Gξ ) given by gξ,o. We have

∂ xi # −1 dlg = ej − [ej , ei]+ o(kxk) |exp(xiei), ∂xj
2
g exp(xiei) where X# refers to the vector field generated by the left action for X ∈ g. We have

∂ xi # 1 − # # dlg 1 (∇ ∂ )|g = ∇ei (ej − [ej, ei]) o = ∇ei ej o + [ei, ej ] ∂xi ∂xj
2

2 at o ∈ G/Gξ . Making use of the formula [1, Proposition 5.2.] we have that ∂ (2.4) dlg−1 (∇ ∂ )|g = U(ei, ej), ∂xi ∂xj
c c c g g g c c where U(·, ·) : ξ × ξ → ξ defined by 2gξ,o(U(ei, ej), ek) = gξ,o([ek, ei]gξ , ej )+ gξ,o(ei, [ek, ej ]gξ ) c (Here X c refers to the component of X ∈ g in g with respect to the direct sum decomposition gξ ξ c g = gξ ⊕ gξ ). ij ∂ ∂ ∂ Therefore, we use the formula ∆f = g ( f) − (∇ ∂ )(f) in local coordinates to i,j ∂xi ∂xj ∂xj P ∂xi
compute ∆fw,v at the point g ∈ G/Gξ. We have ∂ ∂ ∂2 ∂2 ( f)= (f(g · exp(xiei + xjej))) = w, ρ(g) ρ(exp(xiei + xjej))(v) ∂xi ∂xj ∂xi∂xj ∂xi∂xj
1 = w, ρ(g) dρ(e )(dρ(e )(v)) − dρ([e , e ])(v) . i j 2 i j
∂ Using eariler calculation from (2.4) we get (∇ ∂ )f | = hw, ρ(g) dρ(U(e , e ))(v) i, we obtain ∂xj g i j ∂xi

ij ij ij 2 a g (U(e , e ), e )= a g ([e , e ]gc , e )+ a g (e , [e , e ]gc ) X ξ,o i j k X ξ,o k i ξ j X ξ,o i k j ξ i,j i,j i,j =2 tr(ad(e )| c ) = 0. k gξ ij Combining with the fact that a [ei, ej] = 0 we obtain the desired identity. 

∗ ∗ With the Karabegov moment mapµ ˜ξ : X → g , we have a natural embeddingµ ˜ξ : g → g ⊗ g∗)Gξ ֒→ L2(X) as a left G-submodule which is given by) ∗ (2.5)µ ˜ξ(g)= hw, Ad (g)(ξ + 2δξ)i. 0 We have the following theorem saying geometric quantization β : g → End(H (X,Lξ)) is given by composition of the Toeplitz quantization with the Karabegov moment map for coadjoint orbits. TOEPLITZQUANTIZATIONOFCOADJOINTORBITS 7

Theorem 2.4. For an integral coadjoint orbit (Xξ = G/Gξ,ωξ,J,Lξ) with pre-quantium line bundle equipped with the natural Hamiltonian G-symmetry by left-translation, we have ∗ β = −iT ◦ µ˜ξ.

Proof. Making use of the Lemma 2.3, we compute Ω · ξ, or equivalently Ω · ξ∨ via the identification induced by the Killing form. For each α ∈ R+, we choose triple iHα, Xα,Yα lying in g such that

[iHα, Xα] = 2Yα

[iHα,Y−α]= −2Xα

[Xα,Y−α]= iHα, c where H is the coroot as in §2.2.2. Therefore {X ,Y } c form a basis for g . From the discussion α α α α∈Rξ ξ in [1, Chapter 3 §7] about the Riemannian metric, we notice that this is an orthogonal basis with 2 2 kXαk = kYαk = ξ(iHα). Therefore we have ∨ −1 ∨ ∨ Ω(ξ )= ξ(iHα) [Xα, [Xα,ξ ]] + [Yα, [Yα,ξ ]] Xc
α∈Rξ −1 ∨ = ξ(iHα) α(ξ ) [Xα, −Yα] + [Yα, Xα] Xc
α∈Rξ

κ(α, α) ∨ = (−2iHα)= −2 α . Xc 2i Xc α∈Rξ α∈Rξ

Therefore we have Ω(ξ)= −4δξ.

By writing hw, µ˜ξi = fw,ξ + 2fw,δξ for any w ∈ g, we therefore have 1 −iT hw, µ˜ i = −iT f + 2f = −iT f − ∆(f ) = Q , ξ
w,ξ w,δξ
w,ξ 2 w,ξ
fw,ξ using Lemma 2.1, where Qf = Π ◦ (∇Xf − if) as in §3. Making use of the fact that [Qfw,ξ ,Qfv,ξ ]=

Q{fw,ξ ,fv,ξ} again as in the proof of Theorem 2.2, and the fact that {fw,ξ,fv,ξ} = f[w,v],ξ we obtain the identity [Qfw,ξ ,Qfv,ξ ] = Qf[w,v],ξ . As a result, one obtains the Lie algebra representation β via  w 7→ Qfw,ξ .

3. Quantization via Toeplitz operators

In this section, we given an explanation of howµ ˜ is related to quantum moment map in Fedosov deformation quantization.

3.1. Berezin-Toeplitz quantization with Hamiltonian G-action.

3.1.1. Karabegov moment map. In this subsection, we explain the definition Karabegov moment map as a variation of quantum moment map in deformation quantization. Recall that a quantum moment map is a Lie algebra homomorphism µ∗ : g → C∞(X)[[~]], i [·, ·] , such that for any v ∈ g: ~ ℏ ⋆
i ∗ v(f)= ℏ[µ~(v),f]⋆. i i Remark 3.1. The normalization factor ~ guarantees that lim~→0 ~ [·, ·]⋆ = {·, ·}. With this nor- ∗ ∞ malization, −i~ · µℏ is a Lie algebra homomorphism if we take the bracket [·, ·]⋆ on C (X)[[~]]. In particular, µℏ|ℏ=0 = µ. This also explains the coefficient −i in the commutative diagram (1.6) (There we set ~ = 1). 8 LEUNG, LI, AND MA

It is shown in [13, 18] that when a deformation quantization is induced by a Fedosov connection W 1 DF = ∇ + ℏ [γ, −]⋆ satisfying

W 1 ℏ ℏ2 (3.1) ∇ γ + ℏγ ⋆ γ = −ω + α1 + α2 + · · · = −ω +Ω. Then a quantum moment map must satisfy the following equation ∗ (3.2) ιv(ω − Ω) = dµ~(v).

A deformation quantization on a K¨ahler manifold X is called of Wick type (also known as separa- tion of variables) if all the bi-differential operators Cl(f, g) take holomorphic and anti-holomorphic derivatives of f and g respectively. It is shown in [14] that to every Wick type star product, there is 1 2 an associated closed formal (1, 1)-form − ℏ ω + α1 + α2ℏ + α3ℏ + · · · known as the Karabegov form, which gives rise to a one-one correspondence. In [10], it is shown that there is a family of Fedosov connections induced from quantization of L∞ structure on K¨ahler manifolds, such that the formal closed (1, 1)-form −ω + Ω in equation (3.1) is exactly the Karabegov form of the associated star product. The Berezin-Toeplitz quantization is 1 a Wick type deformation quantization whose Karabegov form is − ℏ ω − i · RicX . Since this formal (1, 1)-form only has two terms in the ℏ power expansion, we can turn the formal variable to any complex number without the convergence issue. In particular, equation (3.2) with 1/ℏ = 1 gives the definition of Karabegov map (Definition 1.1). The formal variable 1/ℏ plays the role of the tensor power m of the prequantum line bundle L. Itis i N natural to define a family of Karabegov moment mapsµ ˜m associated to the form ω+ m ·RicX , m ∈ . ⊗m 0 ⊗m By considering L and let Hm := HL2 (X,L ) when X being coadjoint orbit or compact K¨ahler- Einstein, we have following commutative diagrams: C∞(X) ∗ ; ❑ −i·µ˜ ①① ❑❑ m①① ❑❑❑T ①① ❑❑❑ ①① ❑% ① / g / gl(Hm) βm in these two cases. For general K¨ahler manifolds, the above diagram only commutes in an asymptotic sense: β + iT ◦ µ˜∗ = O(m−∞). m

Here · denotes the operator norm. Equivalently, for any k > 0, there exists a C > 0, such that k β + iT ◦ µ˜∗ ≤ C m−k. m k

References [1] A. Arvanitoge¯orgos, An introduction to Lie groups and the geometry of homogeneous spaces, Vol. 22, American Mathematical Soc., 2003. [2] W. Ballmann, Lectures on K¨ahler manifolds, Vol. 2, European mathematical society, 2006. [3] M. Bordemann, M. Forger, and H. R¨omer, Homogeneous K¨ahler manifolds: paving the way towards new super- symmetric sigma models, Communications in Mathematical Physics 102 (1986), no. 4, 605–647. [4] M. Bordemann, J. Hoppe, P. Schaller, and M. Schlichenmaier, gl(∞) and geometric quantization, Communications in Mathematical Physics 138 (1991), no. 2, 209–244. [5] M. Bordemann, E. Meinrenken, and M. Schlichenmaier, Toeplitz quantization of K¨ahler manifolds and gl(N), N →∞ limits, Communications in Mathematical Physics 165 (1994), no. 2, 281–296. [6] A. Borel and F. Hirzebruch, Characteristic classes and homogeneous spaces, I, American Journal of Mathematics 80 (1958), no. 2, 458–538. TOEPLITZQUANTIZATIONOFCOADJOINTORBITS 9

[7] , Characteristic classes and homogeneous spaces, II, American Journal of Mathematics 81 (1959), no. 2, 315–382. [8] , Characteristic classes and homogeneous spaces, III, American Journal of Mathematics 82 (1960), no. 3, 491–504. [9] K. Chan, N. C. Leung, and Q. Li, A geometric construction of representations of the Berezin-Toeplitz quantization, available at arXiv:2004.00523[math-QA]. [10] , Kapranov’s L∞ structures, Fedosov’s star products, and one-loop exact BV quantizations on K¨ahler manifolds, available at arXiv:2008.07057[math-QA]. [11] , Bargmann-Fock sheaves on K¨ahler manifolds, available at arXiv:2008.11496[math-DG]. [12] V. Guillemin and S. Sternberg, Geometric quantization and multiplicities of group representations, Invent. Math. 67 (1982), no. 3, 515–538. [13] S. Gutt and J. Rawnsley, Natural star products on symplectic manifolds and quantum moment maps, Letters in Mathematical Physics 66 (2003), no. 1-2, 123–139. [14] A.V. Karabegov, Deformation quantizations with separation of variables on a K¨ahler manifold, Comm. Math. Phys. 180 (1996), no. 3, 745–755. [15] A. Karabegov and M. Schlichenmaier, Identification of Berezin-Toeplitz deformation quantization, arXiv preprint math/0006063 (2000). [16] X. Ma and G. Marinescu, Berezin-Toeplitz quantization on K¨ahler manifolds, J. Reine Angew. Math. 662 (2012), 1–56. [17] X. Ma and W. Zhang, Geometric quantization for proper moment maps: the Vergne conjecture, Acta Math. 212 (2014), no. 1, 11–57. [18] M. F. M¨uller-Bahns and N. Neumaier, Some remarks on g-invariant Fedosov star products and quantum momen- tum mappings, Journal of Geometry and Physics 50 (2004), no. 1-4, 257–272. [19] M. Schlichenmaier, Berezin-Toeplitz quantization and star products for compact K¨ahler manifolds, Contemp. Math 583 (2012), 257. [20] , Berezin-Toeplitz quantization for compact K¨ahler manifolds. A review of results, Advances in Mathemat- ical Physics 2010 (2010). [21] Y. Tian and W. Zhang, An analytic proof of the geometric quantization conjecture of Guillemin-Sternberg, Invent. Math. 132 (1998), no. 2, 229–259. [22] G. M. Tuynman, Quantization: Towards a comparison between methods, Journal of mathematical physics 28 (1987), no. 12, 2829–2840. [23] M. Vergne, Multiplicities formula for geometric quantization. I, II, Duke Math. J. 82 (1996), no. 1, 143–179, 181–194. [24] P. Xu, Fedosov ∗-products and quantum momentum maps, Communications in Mathematical Physics 197 (1998), no. 1, 167–197. [25] S. Yamaguchi, Spectra of flag manifolds, Memoirs of the Faculty of Science, Kyushu University. Series A, Mathe- matics 33 (1979), no. 1, 95–112.

The Institute of Mathematical Sciences and Department of Mathematics, The Chinese University of Hong Kong, Shatin, Hong Kong Email address: [email protected]

Southern University of Science and Technology, Shenzhen, China Email address: [email protected]

The Institute of Mathematical Sciences and Department of Mathematics, The Chinese University of Hong Kong, Shatin, Hong Kong Email address: [email protected]