Delocalized Chern character for stringy orbifold K-theory

DOI10.1090/S0002-9947-2013-05834-5MaRDI QIDQ2855930zbMATH OpenOpenAlexFDO

Publication date 23 October 2013

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1110.0953

Chen-Ruan cohomology delocalized Chern character orbifold K-theory

Riemann-Roch theorems, Chern characters (19L10) Topological groupoids (including differentiable and Lie groupoids) (22A22) Gromov-Witten invariants, quantum cohomology, Frobenius manifolds (53D45) Topological (K)-theory (55N15) Algebraic topology on manifolds and differential topology (57R19)

Abstract: In this paper, we define a stringy product on

K_{o r b}^{*} (X X) o t i m e s C

, the orbifold K-theory of any almost complex presentable orbifold

X X

. We establish that under this stringy product, the de-locaized Chern character ch_{deloc} : K^*_{orb}(XX) otimes C longrightarrow H^*_{CR}(XX), after a canonical modification, is a ring isomorphism. Here

H_{C R}^{*} (X X)

is the Chen-Ruan cohomology of

X X

. The proof relies on an intrinsic description of the obstruction bundles in the construction of Chen-Ruan product. As an application, we investigate this stringy product on the equivariant K-theory

K_{G}^{*} (G)

of a finite group

G

with the conjugation action. It turns out that the stringy product is different from the Pontryajin product (the latter is also called the fusion product in string theory).

Review text

An orbifold \(\mathcal X\) is a Hausdorff topological space endowed with an atlas of quotients \(U_x = \tilde{U}_x/G_x\) of Euclidean space by a finite local group \(G_x\), the de Rham cohomology \(H^*_{\mathrm{dR}}(\mathcal X)\) of which is isomorphic to the singular cohomology of the underlying topological space \(X = |\mathcal X|\). To an effective orbifold \(\mathcal X\) one associate a an inertia orbifold \(\tilde{\mathcal X}\), which is a canonical non-effective orbifold and is a disjoint union of twisted sectors (connected components) \(\mathcal X_{(g)}\) of dimension \((g)\) running over the set of conjugacy classes of local groups. Chen-Ruan cohomology \(H^*_{\mathrm{CR}}(\mathcal X) = (H^*_{\mathrm{dR}}(\tilde{\mathcal X}, \mathbb C), \circ_{\mathrm{CR}})\) is endowed with a product \(\circ_{\mathrm{CR}}\) is well defined. For almost complex orbifolds, with immersion \(e: \tilde{\mathcal X} \to \mathcal X\) one associates the obstruction bundle\(E^{[2]}\) over \(\tilde{\mathcal X}^{[2]} = \tilde{\mathcal X} \times_e \tilde{\mathcal X} \) which is a disjoint union of twisted sectors \(\mathcal X_{(g_1,g_2)}\), included into \(\mathcal X\), following the commutative diagram of inclusions \(\begin{tikzcd}\mathcal X_{(g_1,g_2)} \rar["e_{12}"] & \mathcal X_{(g_1g_2)} \rar["e_{(g_1g_2)}"] & \mathcal X\end{tikzcd}\) and two anothers \(\begin{tikzcd}\mathcal X_{(g_1,g_2)} \rar["e_{1}"] & \mathcal X_{(g_1)} \rar["e_{(g_1)}"] & \mathcal X\end{tikzcd}\) and \(\begin{tikzcd}\mathcal X_{(g_1,g_2)} \rar["e_{2}"] & \mathcal X_{(g_2)} \rar["e_{(g_2)}"] & \mathcal X\end{tikzcd}\). One defines then the normal bundle \(\mathcal N_e\) as the disjoint union of normal of each immersed \(\mathcal X_{(g_1,g_2)}\) in \(\mathcal X\) with a unitary action \(\Phi\) of local groups on \(\mathcal N_e\), as the subbundle of the tangent bundle to \(\mathcal X\). For an almost complex orbifold \(\mathcal X\) the direct sum of the obstruction bundle \(E^{[2]}\) and the normal bundle \(\mathcal N\) admits a decomposition NEWLINE\[CARRIAGE_RETURNNEWLINEE^{[2]} \oplus \mathcal N = e_1^*\mathcal N_{e,\Phi} + e_2^*\mathcal N_{e,\Phi} + e_{12}^*\mathcal N_{e,\Phi^{-1}} CARRIAGE_RETURNNEWLINE\]NEWLINE in the group \(K^0(\tilde{\mathcal X}^{[2]}) \otimes \mathbb Q = \bigoplus_{(g_1,g_2)} K^0(\mathcal X_{(g_1,g_2)}) \otimes \mathbb Q\) (Theorems 1.1, 3.4). The delocalized Chern characters were defined as NEWLINE\[CARRIAGE_RETURNNEWLINEch_{\mathrm{deloc}} : K^*_{\mathrm{orb}}(\mathcal X) \to H^*(\tilde{\mathcal X}) \to H^*(\tilde{\mathcal X},\mathbb C) = \bigoplus _{(g)} H^*(\mathcal X_{(g)},\mathbb C).CARRIAGE_RETURNNEWLINE\]NEWLINE In this paper a modification of delocalized Chern characters NEWLINE\[CARRIAGE_RETURNNEWLINE\widetilde{ch}_{\mathrm{deloc}} = \mathcal T(\mathcal N_e, \Phi) \wedge ch_{\mathrm{deloc}} : K^*_{\mathrm{orb}}(\mathcal X) \to H^*_{\mathrm{CR}}(\mathcal X, *_{\mathrm{CR}})CARRIAGE_RETURNNEWLINE\]NEWLINE with a stringy product on K-theory are introduced and show that is is a ring isomorphism (Theorems 1.2, 3.8). As an application, the authors studied this stringy product on the equivariant K-theory of finite group with conjugation action. In this case, the stringy product is different from the Pontryagin product, known as the fusion product in the string theory.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Delocalized Chern character for stringy orbifold K-theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2855930)