• We prove an index theorem for the quotient module of a monomial ideal. We obtain this result by resolving the monomial ideal by a sequence of Bergman space like essentially normal Hilbert modules.
  • In this paper we prove that every proper Lie groupoid admits a desingularization to a regular proper Lie groupoid. When equipped with a Riemannian metric, we show that it admits a desingularization to a regular Riemannian proper Lie groupoid, arbitrarily close to the original one in the Gromov-Hausdorff distance between the quotient spaces. We construct the desingularization via a successive blow-up construction on a proper Lie groupoid. We also prove that our construction of the desingularization is invariant under Morita equivalence of groupoids, showing that it is a desingularization of the underlying differentiable stack.
  • This paper develops a generalized formulation of Lagrangian mechanics on fibered manifolds, together with a reduction theory for symmetries corresponding to Lie groupoid actions. As special cases, this theory includes not only Lagrangian reduction (including reduction by stages) for Lie group actions, but also classical Routh reduction, which we show is naturally posed in this fibered setting. Along the way, we also develop some new results for Lagrangian mechanics on Lie algebroids, most notably a new, coordinate-free formulation of the equations of motion. Finally, we extend the foregoing to include fibered and Lie algebroid generalizations of the Hamilton-Pontryagin principle of Yoshimura and Marsden, along with the associated reduction theory.
  • We propose a definition of symplectic 2-groupoid which includes integrations of Courant algebroids that have been recently constructed. We study in detail the simple but illustrative case of constant symplectic 2-groupoids. We show that the constant symplectic 2-groupoids are, up to equivalence, in one-to-one correspondence with a simple class of Courant algebroids that we call constant Courant algebroids. Furthermore, we find a correspondence between certain Dirac structures and Lagrangian sub-2-groupoids.
  • We introduce the concept of Roe C*-algebra for a locally compact groupoid whose unit space is in general not compact, and that is equipped with an appropriate coarse structure and Haar system. Using Connes' tangent groupoid method, we introduce an analytic index for an elliptic differential operator on a Lie groupoid equipped with additional metric structure, which takes values in the K-theory of the Roe C*-algebra. We apply our theory to derive a Lichnerowicz type vanishing result for foliations on open manifolds.
  • We use the Grauert--Grothendieck complex on differentiable spaces to study basic relative forms on the inertia space of a compact Lie group action on a manifold. We prove that the sheaf complex of basic relative forms on the inertia space is a fine resolution of Bryliski's sheaf of functions on the inertia space.
  • For a gerbe $\Y$ over a smooth proper Deligne-Mumford stack $\B$ banded by a finite group $G$, we prove a structure result on the Gromov-Witten theory of $\Y$, expressing Gromov-Witten invariants of $\Y$ in terms of Gromov-Witten invariants of $\B$ twisted by various flat $U(1)$-gerbes on $\B$. This is interpreted as a Leray-Hirsch type of result for Gromov-Witten theory of gerbes.
  • We apply the bar construction to the nerve of a double Lie groupoid to obtain a local Lie 2-groupoid. As an application, we recover Haefliger's fundamental groupoid from the fundamental double groupoid of a Lie groupoid. In the case of a symplectic double groupoid, we study the induced closed 2-form on the associated local Lie 2-groupoid, which leads us to propose a definition of a symplectic 2-groupoid.
  • We extend the Boutet de Monvel Toeplitz index theorem to complex manifold with isolated singularities following the relative $K$-homology theory of Baum, Douglas, and Taylor for manifold with boundary. We apply this index theorem to study the Arveson-Douglas conjecture. Let $\ball^m$ be the unit ball in $\mathbb{C}^m$, and $I$ an ideal in the polynomial algebra $\mathbb{C}[z_1, \cdots, z_m]$. We prove that when the zero variety $Z_I$ is a complete intersection space with only isolated singularities and intersects with the unit sphere $\mathbb{S}^{2m-1}$ transversely, the representations of $\mathbb{C}[z_1, \cdots, z_m]$ on the closure of $I$ in $L^2_a(\ball^m)$ and also the corresponding quotient space $Q_I$ are essentially normal. Furthermore, we prove an index theorem for Toeplitz operators on $Q_I$ by showing that the representation of $\mathbb{C}[z_1, \cdots, z_m]$ on the quotient space $Q_I$ gives the fundamental class of the boundary $Z_I\cap \mathbb{S}^{2m-1}$. In the appendix, we prove with Kai Wang that if $f\in L^2_a(\ball^m)$ vanishes on $Z_I\cap \ball ^m$, then $f$ is contained inside the closure of the ideal $I$ in $L^2_a(\ball^m)$.
  • We investigate the possibility of exactly flat non-trivial Chern bands in tight binding models with local (strictly short-ranged) hopping parameters. We demonstrate that while any two of three criteria can be simultaneously realized (exactly flat band, non-zero Chern number, local hopping), it is not possible to simultaneously satisfy all three. Our theorem covers both the case of a single flat band, for which we give a rather elementary proof, as well as the case of multiple degenerate flat bands. In the latter case, our result is obtained as an application of $K$-theory. We also introduce a class of models on the Lieb lattice with nearest and next-nearest neighbor hopping parameters, which have an isolated exactly flat band of zero Chern number but, in general, non-zero Berry curvature.
  • We construct a new effective orbifold $\widehat{\Y}$ with an $S^1$-gerbe $c$ to study an $S^1$-gerbe $\mathfrak{t}$ on a $G$-gerbe $\Y$ over an orbifold $\B$. We view the former as the relative dual, relative to $\B$, of the latter. We show that the two pairs $(\Y, \mathfrak{t})$ and $(\widehat{\Y}, c)$ have isomorphic categories of sheaves, and also the associated twisted groupoid algebras are Morita equivalent. As a corollary, the K-theory and cohomology groups of $(\Y, \mathfrak{t})$ and $(\widehat{\Y}, c)$ are isomorphic.
  • We construct an infinite-dimensional symplectic 2-groupoid as the integration of an exact Courant algebroid. We show that every integrable Dirac structure integrates to a "Lagrangian" sub-2-groupoid of this symplectic 2-groupoid. As a corollary, we recover a result of Bursztyn-Crainic-Weinstein-Zhu that every integrable Dirac structure integrates to a presymplectic groupoid.
  • Let $H$ be an extension of a finite group $Q$ by a finite group $G$. Inspired by the results of duality theorems for \'etale gerbes on orbifolds, we describe the number of conjugacy classes of $H$ that maps to the same conjugacy class of $Q$. Furthermore, we prove a generalization of the orthogonality relation between characters of $G$.
  • For a possibly singular subset of a regular Poisson manifold we construct a deformation quantization of its algebra of Whitney functions. We then extend the construction of a deformation quantization to the case where the underlying set is a subset of a not necessarily regular Poisson manifold which can be written as the quotient of a regular Poisson manifold on which a compact Lie group acts freely by Poisson maps. Finally, if the quotient Poisson manifold is regular as well, we show a "quantization commutes with reduction" type result. For the proofs, we use methods stemming from both singularity theory and Poisson geometry.
  • Using an equivariant version of Connes' Thom Isomorphism,w}e prove that equivariant $K$-theory is invariant under strict deformation quantization for a compact Lie group action.
  • Let $G$ be a finite group and $\Y$ a $G$-gerbe over an orbifold $\B$. A disconnected orbifold $\hat{\Y}$ and a flat U(1)-gerbe $c$ on $\hat{\Y}$ is canonically constructed from $\Y$. Motivated by a proposal in physics, we study a mathematical duality between the geometry of the $G$-gerbe $\Y$ and the geometry of $\hat{\Y}$ {\em twisted by} $c$. We prove several results verifying this duality in the contexts of noncommutative geometry and symplectic topology. In particular, we prove that the category of sheaves on $\Y$ is equivalent to the category of $c$-twisted sheaves on $\hat{\Y}$. When $\Y$ is symplectic, we show, by a combination of techniques from noncommutative geometry and symplectic topology, that the Chen-Ruan orbifold cohomology of $\Y$ is isomorphic to the $c$-twisted orbifold cohomology of $\hat{\Y}$ as graded algebras.
  • We introduce a notion of Hochschild Lefschetz class for a good coherent D-module on a compact complex manifold, and prove that this class is compatible with the direct image functor. We prove an orbifold Riemann-Roch formula for a D-module on a compact complex orbifold.
  • We study Hochschild (co)homology groups of the Dunkl operator quantization of $\Z_2$-singularity constructed by Halbout and Tang. Further, we study traces on this algebra and prove a local algebraic index formula.
  • We compute the Picard group $ Pic(A_q) $ of the noncommutative algebraic 2-torus $A_q$, describe its action on the space $ R(A_q) $ of isomorphism classes of rk 1 projective modules and classify the algebras Morita equivalent to $ A_q $. Our computations are based on a quantum version of the Calogero-Moser correspondence relating projective $A_q$-modules to irreducible representations of the double affine Hecke algebras (DAHA) $ H_{t, q^{-1/2}}(S_n) $ at $ t = 1 $. We show that, under this correspondence, the action of $ Pic(A_q) $ on $ R(A_q) $ agrees with the action of $ SL_2(Z) $ on $ H_{t, q^{-1/2}}(S_n) $ constructed by I.Cherednik. We compare our results with smooth and analytic cases. In particular, when $ |q| \not= 1 $, we find that $ Pic(A_q) $ is isomorphic to the group of auto-equivalences $ Auteq(D^b(X))/Z $ of the bounded derived category of coherent sheaves on the elliptic curve $ X = C*/Z $ modulo translations.
  • Let $(X,\omega)$ be a symplectic orbifold which is locally like the quotient of a $\mathbb{Z}_2$ action on $\reals^n$. Let $A^{((\hbar))}_X$ be a deformation quantization of $X$ constructed via the standard Fedosov method with characteristic class being $\omega$. In this paper, we construct a universal deformation of the algebra $A^{((\hbar))}_X$ parametrized by codimension 2 components of the associated inertia orbifold $\widetilde{X}$. This partially confirms a conjecture of Dolgushev and Etingof in the case of $\mathbb{Z}_2$ orbifolds. To do so, we generalize the interpretation of Moyal star-product as a composition of symbol of pseudodifferential operators in the case where partial derivatives are replaced with Dunkl operators. The star-products we obtain can be seen as globalizations of symplectic reflection algebras.
  • We introduce a Hopf algebroid associated to a proper Lie group action on a smooth manifold. We prove that the cyclic cohomology of this Hopf algebroid is equal to the de Rham cohomology of invariant differential forms. When the action is cocompact, we develop a generalized Hodge theory for the de Rham cohomology of invariant differential forms. We prove that every cyclic cohomology class of the Hopf algebroid is represented by a generalized harmonic form. This implies that the space of cyclic cohomology of the Hopf algebroid is finite dimensional. As an application of the techniques developed in this paper, we discuss properties of the Euler characteristic for a proper cocompact action.
  • This is a survey about recent progress in Rankin-Cohen deformations. We explain a connection between Rankin-Cohen brackets and higher order Hankel forms.
  • In this paper, we compute the Gerstenhaber bracket on the Hoch-schild cohomology of $C^\infty(M)\rtimes G$ for a finite group $G$ acting on a compact manifold $M$. Using this computation, we obtain geometric descriptions for all noncommutative Poisson structures on $C^\infty(M)\rtimes G$ when $M$ is a symplectic manifold. We also discuss examples of deformation quantizations of these noncommutative Poisson structures.
  • Using equivariant Toeplitz operator calculus, we give a new proof of the Atiyah-Weinstein conjecture on the index of Fourier integral operators and the relative index of CR structures.
  • Let $\Gamma$ be a finite group acting faithfully and linearly on a vector space $V$. Let $T(V)$ ($S(V)$) be the tensor (symmetric) algebra associated to $V$ which has a natural $\Gamma$ action. We study generalized quadratic relations on the tensor algebra $T(V)\rtimes \Gamma$. We prove that the quotient algebras of $T(V)\rtimes \Gamma$ by such relations satisfy PBW property. Such quotient algebras can be viewed as quantizations of linear or constant Poisson structures on $S(V)\rtimes \Gamma$, and are natural generalizations of symplectic reflection algebras.