-
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.