Jet schemes, invariant chiral differential operators, and Howe duality
This paper has been withdrawn due to an error in the proof of Theorem 5.3.
math.RT↗
arXiv subjects
Bailin Song
Publications and source records attributed to Bailin Song.
Chiral Equivariant Cohomology II
This is the second in a series of papers on a new equivariant cohomology that takes values in a vertex algebra. In an earlier paper, the first two authors gave a construction of the cohomology functor on the category of O(sg) algebras. The new cohomology theory can be viewed as a kind of "chiralization'' of the classical equivariant cohomology, the latter being defined on the category of G^* algebras a la H. Cartan. In this paper, we further develop the chiral theory by first extending it to allow a much larger class of algebras which we call sg[t] algebras. In the geometrical setting, our principal example of an O(sg) algebra is the chiral de Rham complex Q(M) of a G manifold M. There is an interesting subalgebra of Q(M) which does not admit a full O(sg) algebra structure but retains the structure of an sg[t] algebra, enough for us to define its chiral equivariant cohomology. The latter then turns out to have many surprising features that allows us to delineate a number of interesting geometric aspects of the G manifold M, sometimes in ways that are quite different from the classical theory.
math.DG↗
A Convexity Theorem and Reduced Delzant Spaces
The convexity theorem of Atiyah and Guillemin-Sternberg says that any connected compact manifold with Hamiltonian torus action has a moment map whose image is the convex hull of the image of the fixed point set. Sjamaar-Lerman proved that the Marsden-Weinstein reduction of a connected Hamitonian $G$-manifold is a stratified symplectic space. Suppose $1\ra A\ra G\ra T\ra 1$ is an exact sequence of compact Lie groups and $T$ is a torus. Then the reduction of a Hamiltonian $G$-manifold with respect to $A$ yields a Hamiltonian $T$-space. We show that if the $A$-moment map is proper, then the convexity theorem holds for such a Hamiltonian $T$-space, even when it is singular. We also prove that if, furthermore, the $T$-space has dimension $2dim T$ and $T$ acts effectively, then the moment polytope is sufficient to essentially distinguish their homeomorphism type, though not their diffeomorphism types. This generalizes a theorem of Delzant in the smooth case.
math.DG↗