Related papers: Delocalized equivariant coholomogy of symmetric pr…
In this paper, we continue our study of the Hilbert polynomials of coinvariants begun in our previous work math.QA/0205324 (paper I). We describe the sl_n-fusion products for symmetric tensor representations following the method of Feigin…
Consider a smooth affine algebraic variety $X$ over an algebraically closed field, and let a finite group $G$ act on it. We assume that the characteristic of the field is greater than the dimension of $X$ and the order of $G$. An explicit…
We filter the equivariant Eilenberg Maclane spectrum $H\underline{\mathbb{F}}_p$ using the mod $p$ symmetric powers of the equivariant sphere spectrum, $\mathrm{Sp}_{\mathbb{Z}/p}^{\infty}(\Sigma^{\infty G}S^0)$. When $G$ is a $p$-group, we…
Given a variation of Hodge structure over $\mathbb{P}^1$ with Hodge numbers $(1,1,\dots,1)$, we show how to compute the degrees of the Deligne extension of its Hodge bundles, following Eskin-Kontsevich-M\"oller-Zorich, by using the local…
We study the ideals of the rational cohomology ring of the Hilbert scheme X^{[n]} of n points on a smooth projective surface X. As an application, for a large class of smooth quasi-projective surfaces X, we show that every cup product…
We generalize basic results relating the associated graded Lie algebra and the holonomy Lie algebra from finitely presented, commutator-relators groups to arbitrary finitely presented groups. In the process, we give an explicit formula for…
We derive a formula for the Coxeter polynomial of the s-fold tensor product F[A_{n_1-1}] x ... x F[A_{n_s-1}] of path algebras of linearly oriented quivers of Dynkin type A_{n_i-1}, in terms of the weights n_1, ..., n_s > 1, and show that…
Let K be a CM-field, i.e., a totally complex quadratic extension of a totally real field F. Let X be a g-dimensional abelian variety admitting an algebra embedding of F into the rational endomorphisms End_Q(X) of X. Let A be the product of…
This paper considers a finite group $G$ acting linearly on the variables $V$ of a polynomial algebra, or an exterior algebra, or superpolynomial algebra with both commuting and anticommuting variables. In this setting, the Hilbert series…
Let M be a compact Riemannian manifold equipped with a parallel differential form \omega. We prove a version of Kaehler identities in this setting. This is used to show that the de Rham algebra of M is weakly equivalent to its subquotient…
In view of the Segal construction each category with a coherent operation gives rise to a cohomology theory. Similarly each open stable differential relation $R$ imposed on smooth maps of manifolds determines cohomology theories $k^*$ and…
An important step in the calculation of the triply graded link homology theory of Khovanov and Rozansky is the determination of the Hochschild homology of Soergel bimodules for SL(n). We present a geometric model for this Hochschild…
Let $\bar{\mathcal{M}}_{g, m|n}$ denote Hassett's moduli space of weighted pointed stable curves of genus $g$ for the heavy/light weight data $\left(1^{(m)}, 1/n^{(n)}\right)$, and let $\mathcal{M}_{g, m|n} \subset \bar{\mathcal{M}}_{g,…
Let $G$ be a smooth connected reductive group over a field $k$ and $\Gamma$ be a central subgroup of $G$. We construct Eilenberg-Moore-type spectral sequences converging to the Hodge and de Rham cohomology of $B(G/\Gamma)$. As an…
In geometric representation theory, it is common to compute equivariant $K$ theory of schemes like $Hilb^n ( \mathbb{A}^2 )$ or $Hilb^n (X)$ for an ALE resolution $X \to \mathbb{A}^2 / \Gamma$. If we abandon the algebraic nature and just…
A strong version of the quantization conjecture of Guillemin and Sternberg is proved. For a reductive group action on a smooth, compact, polarized variety (X,L), the cohomologies of L over the GIT quotient X // G equal the invariant part of…
We consider a manifold X obtained by a Kahler reduction of C^n, and we define its hyperkahler analogue M as a hyperkahler reduction of T^*C^n = H^n by the same group. In the case where the group is abelian and X is a smooth toric variety, M…
We study the orbifold Hirzebruch-Riemann-Roch (HRR) theorem for quotient Deligne-Mumford stacks, explore its relation with the representation theory of finite groups, and derive a new orbifold HRR formula via an orbifold Mukai pairing. As a…
A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…
Let Y be a normal crossing divisor in the smooth projective algebraic variety X (defined over ${\mathbb C}$) and let U be a tubular neighbourhood of Y in X. We construct homological cycles generating $H_*(A,B)$, where (A,B) is one of the…