Source author record

Yanli Song

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
5topics
4close collaborators

Published work

11 publications

preprint2021arXiv

A KK-theoretic perspective on deformed Dirac operators

We study the index theory of a class of perturbed Dirac operators on non-compact manifolds of the form D+ic(X)\mathsf{D}+\mathrm{i}\mathsf{c}(X), where c(X)\mathsf{c}(X) is a Clifford multiplication operator by an orbital vector field with respect to the action of a compact Lie group. Our main result is that the index class of such an operator factors as a KK-product of certain KK-theory classes defined by D\mathsf{D} and XX. As a corollary we obtain the excision and cobordism-invariance properties first established by Braverman. An index theorem of Braverman relates the index of D+ic(X)\mathsf{D}+\mathrm{i}\mathsf{c}(X) to the index of a transversally elliptic operator. We explain how to deduce this theorem using a recent index theorem for transversally elliptic operators due to Kasparov.

preprint2021arXiv

Geometric quantization of b-symplectic manifolds

We introduce a method of geometric quantization for compact bb-symplectic manifolds in terms of the index of an Atiyah-Patodi-Singer (APS) boundary value problem. We show further that b-symplectic manifolds have canonical Spin-c structures in the usual sense, and that the APS index above coincides with the index of the Spin-c Dirac operator. We show that if the manifold is endowed with a Hamiltonian action of a compact connected Lie group with non-zero modular weights, then this method satisfies the Guillemin-Sternberg ``quantization commutes with reduction'' property. In particular our quantization coincides with the formal quantization defined by Guillemin, Miranda and Weitsman, providing a positive answer to a question posed in their paper.

preprint2016arXiv

An equivariant index for proper actions I

Equivariant indices have previously been defined in cases where either the group or the orbit space in question is compact. In this paper, we develop an equivariant index without assuming the group or the orbit space to be compact. This allows us to generalise an index of deformed Dirac operators, defined for compact groups by Braverman. In parts II and III of this series, we will explore some properties and applications of this index.

preprint2016arXiv

An equivariant index for proper actions II: properties and applications

In the first part of this series, we defined an equivariant index without assuming the group acting or the orbit space of the action to be compact. This allowed us to generalise an index of deformed Dirac operators, defined for compact groups by Braverman. In this paper, we investigate properties and applications of this index. We prove that it has an induction property that can be used to deduce various other properties of the index. In the case of compact orbit spaces, we show how it is related to the analytic assembly map from the Baum-Connes conjecture, and an index used by Mathai and Zhang. We use the index to define a notion of K-homological Dirac induction, and show that, under conditions, it satisfies the quantisation commutes with reduction principle.

preprint2016arXiv

An equivariant index for proper actions III: the invariant and discrete series indices

We study two special cases of the equivariant index defined in part I of this series. We apply this index to deformations of Spinc^c-Dirac operators, invariant under actions by possibly noncompact groups, with possibly noncompact orbit spaces. One special case is an index defined in terms of multiplicities of discrete series representations of semisimple groups, where we assume the Riemannian metric to have a certain product form. The other is an index defined in terms of sections invariant under a group action. We obtain a relation with the analytic assembly map, quantisation commutes with reduction results, and Atiyah-Hirzebruch type vanishing theorems. The arguments are based on an explicit decomposition of Spinc^c-Dirac operators with respect to a global slice for the action.

preprint2014arXiv

Formal Verlinde Module

Let G be a compact, simple and simply connected Lie group and $\A$ be an equivariant Dixmier-Douady bundle over G. For any fixed level k, we can define a G-C*-algebra $C_{\A^{k+h}}(G)$ as all the continuous sections of the tensor power $\A^{k+h}$ vanishing at infinity. A deep theorem by Freed-Hopkins-Teleman showed that the twisted K-homology $KK^{G}(C_{\A^{k+h}}(G), \C)$ is isomorphic to the level k Verlinde ring R_{k}(G). By the construction of crossed product, we define a C*-algebra $C^{*}(G,C_{\A^{k+h}}(G))$. We show that the K-homology KK(C^{*}(G,C_{\A^{k+h}}(G)),\C) is isomorphic to the formal Verlinde module R−∞(G)⊗R(G)Rk(G)R^{-\infty}(G) \otimes_{R(G)} R_{k}(G), where R−∞(G)=HomZ(R(G),Z)R^{-\infty}(G) = Hom_{\Z}(R(G),\Z) is the completion of the representation ring.

preprint2013arXiv

Proper maps, bordism, and geometric quantization

Let GG be a compact connected Lie group acting on a stable complex manifold MM with equivariant vector bundle EE. Besides, suppose ϕϕ is an equivariant map from MM to the Lie algebra g\mathfrak{g}. We can define some equivalence relation on the triples (M,E,ϕ)(M, E, ϕ) such that the set of equivalence classes form an abelian group. In this paper, we will show that this group is isomorphic to a completion of character ring R(G)R(G). In this framework, we provide a geometric proof to the "Quantization Commutes with Reduction" conjecture in the non-compact setting.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.