BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Erik Carlsson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove some combinatorial conjectures extending those proposed in [13, 14]. The proof uses a vertex operator due to Nekrasov, Okounkov, and the first author [4] to obtain a "gluing formula" for the relevant generating series, essentially reducing the computation to the case of complex projective space with three punctures.
The conjectures of Alday, Gaiotto and Tachikawa and its generalizations have been mathematically formulated as the existence of an action of a $W$-algebra on the cohomology or $K$-theory of the instanton moduli space, together with a Whitakker vector. However, the original conjectures also predict intertwining properties with the natural higher rank version of the "$Ext^1$ operator" which was previously studied by Okounkov and the author in [CO], a result which is now sometimes referred to as AGT in rank one [Alb,PSS]. Physically, this corresponds to incorporating matter in the Nekrasov partition functions, an obviously important feature in the physical theory. It is therefore of interest to study how the $Ext^1$ operator relates to the aforementioned structures on cohomology in higher rank, and if possible to find a formulation from which the AGT conjectures follow as a corollary. In this paper, we carry out something analogous using a modified Segal-Sugawara construction for the $\hat{\mathfrak{sl}}_2\mathbb{C}$ structure that appears in Okounkov and Nekrasov's proof of Nekrasov's conjecture [NO] for rank two. This immediately implies the AGT identities when the central charge is one, a case which is of particular interest for string theorists, and because of the natural appearance of the Seiberg-Witten curve in this setup, see for instance Dijkgraaf and Vafa [DV], as well as [IKV].
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$.
We describe a well-known collection of vertex operators on the infinite wedge representation as a limit of geometric correspondences on the equivariant cohomology groups of a finite-dimensional approximation of the Sato grassmannian, by cutoffs in high and low degrees. We prove that locality, the boson-fermion correspondence, and intertwining relations with the Virasoro algebra are limits of the localization expression for the composition of these operators. We then show that these operators are, almost by definition, the Hilbert scheme vertex operators defined by Okounkov and the author in \cite{CO} when the surface is $\mathbb{C}^2$ with the torus action $z\cdot (x,y) = (zx,z^{-1}y)$.