• ### A New Index Theorem for Monomial Ideals by Resolutions(1708.05796)

Aug. 19, 2017 math.OA, math.FA, math.KT
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.
• ### Resolutions of proper Riemannian Lie groupoids(1706.07843)

June 23, 2017 math.DG
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.
• ### Lagrangian Mechanics and Reduction on Fibered Manifolds(1511.00061)

March 22, 2017 math.DG, math-ph, math.MP, math.SG, math.DS
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.
• ### Constant Symplectic 2-groupoids(1702.01139)

Nov. 21, 2017 math.DG, math.AG, math.SG
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.
• ### Roe C*-algebra for groupoids and generalized Lichnerowicz Vanishing theorem for foliated manifolds(1605.07711)

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.
• ### The Grauert--Grothendieck complex on differentiable spaces and a sheaf complex of Brylinski(1605.06105)

May 19, 2016 math.GT
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.
• ### A quantum Leray-Hirsch theorem for banded gerbes(1602.03564)

Feb. 12, 2020 math.DG, math.AG, math.SG
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.
• ### From double Lie groupoids to local Lie 2-groupoids(1012.4103)

Feb. 18, 2015 math.DG, math.SG
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.
• ### An Analytic Grothendieck Riemann Roch Theorem(1404.4396)

May 29, 2014 math.DG, math.OA, math.FA, math.CV
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)$.
• ### The impossibility of exactly flat non-trivial Chern bands in strictly local periodic tight binding models(1311.4956)

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.
• ### On the relative dual of an $S^1$-gerbe over an orbifold(1312.7316)

Dec. 27, 2013 math.DG, math.AG, math.KT
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.
• ### Symplectic structures on the integration of exact Courant algebroids(1310.6587)

Oct. 24, 2013 math.DG, math.SG
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.
• ### Conjugacy classes and characters for extensions of finite groups(1310.6384)

Oct. 23, 2013 math.GR
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$.
• ### Quantization of Whitney functions and reduction(1310.6415)

Oct. 23, 2013 math.DG, math.SG
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.
• ### K-theory of Equivariant Quantization(1112.3103)

Oct. 4, 2013 math.OA, math.QA, math.KT
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.
• ### Duality theorems for \'etale gerbes on orbifolds(1004.1376)

Oct. 4, 2013 math.DG, math.AG, math.SG, math.KT
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.
• ### Hochschild Lefschetz Class for $D$-modules(1203.6885)

June 2, 2012 math.AG, math.QA, math.KT
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.
• ### Hochschild (co)homology of the Dunkl operator quantization of $\Z_2$-singularity(1010.4807)

Nov. 22, 2010 math.QA, math.KT
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.
• ### The Picard Group of a Noncommutative Algebraic Torus(1010.3779)

Oct. 19, 2010 math-ph, math.MP, math.QA, math.RT, math.KT
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.
• ### Dunkl operator and quantization of $\mathbb{Z}_2$-singularity(0908.4301)

Sept. 30, 2010 math.DG, math.QA
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.
• ### Hopf cyclic cohomology and Hodge theory for proper actions(1002.4404)

Feb. 25, 2010 math.DG, math.KT
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.
• ### A Survey on Rankin-Cohen Deformations(0909.4364)

Sept. 24, 2009 math.QA
This is a survey about recent progress in Rankin-Cohen deformations. We explain a connection between Rankin-Cohen brackets and higher order Hankel forms.
• ### Noncommutative Poisson structures on Orbifolds(math/0606436)

May 21, 2009 math.DG, math.QA
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.
• ### Asymptotic equivariant index of Toeplitz operators and relative index of CR structures(0808.1365)

Aug. 9, 2008 math.DG, math.CV
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.
• ### Deformations of linear Poisson orbifolds(0807.0027)

June 30, 2008 math.QA, math.RA
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.