Source author record

Bailin Song

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

ResearcherUnclaimed source record

math.AG math.QA math.RT math.DG math.GR

Catalog footprint

Research overview

4works

5topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

Jet schemes and invariant theory

Let $G$ be a complex reductive group and $V$ a $G$ -module. Then the $m$ th jet scheme $G_m$ acts on the $m$ th jet scheme $V_m$ for all $m\geq 0$ . We are interested in the invariant ring $\mathcal{O}(V_m)^{G_m}$ and whether the map $p_m^*\colon\mathcal{O}((V//G)_m) \rightarrow \mathcal{O}(V_m)^{G_m}$ induced by the categorical quotient map $p\colon V\rightarrow V//G$ is an isomorphism, surjective, or neither. Using Luna's slice theorem, we give criteria for $p_m^*$ to be an isomorphism for all $m$ , and we prove this when $G=SL_n$ , $GL_n$ , $SO_n$ , or $Sp_{2n}$ and $V$ is a sum of copies of the standard representation and its dual, such that $V//G$ is smooth or a complete intersection. We classify all representations of $\mathbb{C}^*$ for which $p^*_{\infty}$ is surjective or an isomorphism. Finally, we give examples where $p^*_m$ is surjective for $m=\infty$ but not for finite $m$ , and where it is surjective but not injective.

preprint2014arXiv

The global sections of the chiral de Rham complex on a Kummer surface

The chiral de Rham complex is a sheaf of vertex algebras Ω^ch_M on any nonsingular algebraic variety or complex manifold M, which contains the ordinary de Rham complex as the weight zero subspace. We show that when M is a Kummer surface, the algebra of global sections is isomorphic to the N = 4 superconformal vertex algebra with central charge 6. Previously, CP^n was the only manifold where a complete description of the global section algebra was known.

preprint2010arXiv

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.

preprint2008arXiv

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.

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.