BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Erik Carlsson contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove a Littlewood-Richardson type formula for $(s_{λ/μ},s_{ν/κ})_{t^k,t}$, the pairing of two skew Schur functions in the MacDonald inner product at $q = t^k$ for positive integers $k$. This pairing counts graded decomposition numbers in the representation theory of wreath products of the algebra $C[x]/x^k$ and symmetric groups.
Let $X = \bigcup_k X_k$ be the ind-Grassmannian of codimension $n$ subspaces of an infinite-dimensional torus representation. If $\cE$ is a bundle on $X$, we expect that $\sum_j (-1)^j Λ^j(\cE)$ represents the $K$-theoretic fundamental class $[\cO_Y]$ of a subvariety $Y \subset X$ dual to $\cE^*$. It is desirable to lift a $K$-theoretic "projection formula" from the finite-dimensional subvarieties $X_k$, but such a statement requires switching the order of the limits in $j$ and $k$. We find conditions in which this may be done, and consider examples in which $Y$ is the Hilbert scheme of points in the plane, the Hilbert scheme of an irreducible curve singularity, and the affine Grassmannian of $SL(2,\C)$. In the last example, the projection formula becomes an instance of the Weyl-Kaç character formula, which has long been recognized as the result of formally extending Borel-Weil theory and localization to $Y$ \cite{S}. See also \cite{C3} for a proof of the MacDonald inner product formula of type $A_n$ along these lines.
We study supersymmetric gauge theories in five dimensions, using their relation to the K-theory of the moduli spaces of torsion free sheaves. In the spirit of the BPS/CFT correspondence the partition function and the expectation values of the chiral, BPS protected observables are given by the matrix elements and more generally by the correlation functions in some q-deformed conformal field theory in two dimensions. We show that the coupling of the gauge theory to the bi-fundamental matter hypermultiplet inserts a particular vertex operator in this theory. In this way we get a generalization of the main result of \cite{CO} to $K$-theory. The theory of interpolating Macdonald polynomials is an important tool in our construction.
We find a limit formula for a generalization of MacDonald's inner product in finitely many variables, using equivariant localization on the Grassmannian variety, and the main lemma from \cite{Car}, which bounds the torus characters of the higher Çech cohomology groups. We show that the MacDonald inner product conjecture of type $A$ follows from a special case, and the Pieri rules section of MacDonald's book \cite{Mac}, making this limit suitable replacement for the norm squared of one, the usual normalizing constant.
We prove a theorem classifying the equivariant $K$-theoretic pushforwards of the product of arbitrary Schur functors applied to the tautological bundle on the moduli space of framed rank $r$ torsion-free sheaves on $\mathbb{P}^2$, and its dual. This is done by deriving a formula for similar coefficients on Grassmannian varieties, and by thinking of the moduli space as a class in the $K$-theory of the Grassmannian, in analogy with the construction of the Hilbert scheme when the rank is one. Our motivations stem from some vertex operator calculus studied recently by Nekrasov, Okounkov, and the author when the rank is one, with applications to four-dimensional gauge theory.
Let $E$ be the bundle defined by applying a polynomial representation of $GL_n$ to the tautological bundle on the Hilbert scheme of $n$ points in the complex plane. By a result of Haiman, the Cech cohomology groups $H^i(E)$ vanish for all $i>0$. It follows that the equivariant Euler characteristic with respect to the standard two-dimensional torus action has nonnegative coefficients in the torus variables $z_1,z_2$, because they count the dimensions of the weight spaces of $H^0(E)$. We derive a very explicit asymmetric formula for this Euler characteristic which has this property, by expanding known contour integral formulas for the Euler characteristic stemming from the quiver description in $z_2$, and calculating the coefficients using Jing's Hall-Littlewood vertex operator with parameter $z_1$.