Related papers: Kirwan surjectivity for quiver varieties

Let $T$ be a compact torus and $(M,\omega)$ a Hamiltonian $T$-space. We give a new proof of the $K$-theoretic analogue of the Kirwan surjectivity theorem in symplectic geometry by using the equivariant version of the Kirwan map introduced…

We study the hyperk\"ahler analogues of moduli spaces of semistable n-gons in complex projective space. We prove that the hyperk\"ahler Kirwan map is surjective and produce a formula that recursively calculates the Betti numbers of these…

We realize certain graded Nakajima varieties of finite Dynkin type as orbit closures of repetitive algebras of Dynkin quivers. As an application, we obtain that the perverse sheaves introduced by Nakajima for describing irreducible…

We classify the singularities in the unframed Nakajima quiver varieties associated with extended Dynkin quivers and the corresponding minimal imaginary root with a small restriction on the parameter and use this to construct a number of…

Using an approach developed by Melrose to study the geometry at infinity of the Nakajima metric on the reduced Hilbert scheme of points on $\mathbb{C}^2$, we show that the Nakajima metric on a quiver variety is quasi-asymptotically conical…

It was shown recently that epimorphisms need not be surjective in a variety K of Heyting algebras, but only one counter-example was exhibited in the literature until now. Here, a continuum of such examples is identified, viz. the variety…

Let k be an algebraically closed subfield of the complex numbers, and X a variety defined over k. One version of the Beilinson-Hodge conjecture that seems to survive scrutiny is the statement that the Betti cycle class map cl_{r,m} :…

Let $M$ be a proper Hamiltonian $K$-space with proper moment map $\mu$. The symplectic quotient $X=\mu^{-1}(0)/K$ is in general a singular stratified space. In this paper we first generalize the Kirwan map to this symplectic setting which…

In this article, we consider Nakajima quiver varieties from the point of view of symplectic algebraic geometry. We prove that they are all symplectic singularities in the sense of Beauville and completely classify which admit symplectic…

We introduce a notion of morphism of CohFT algebras, based on the analogy with A-infinity morphisms. We discuss a "quantization" of the classical Kirwan morphism to a morphism of CohFT algebras from the equivariant quantum cohomology of a…

We introduce and study the notion of "surface decomposable" variety, and discuss the possibility that any projective hyper-K\"ahler manifold is surface decomposable, which would produce new evidence for Beauville's weak splitting…

We prove the conjectures of Hodge and Tate for any four-dimensional hyper-K\"ahler variety of generalized Kummer type. For an arbitrary variety $X$ of generalized Kummer type, we show that all Hodge classes in the subalgebra of the rational…

We study a generalization of a conjecture made by Beauville on the Chow ring of hyper-K\"ahler algebraic varieties. Namely we prove in a number of cases that polynomial cohomological relations involving only CH^1(X) and the Chern classes of…

The paper studies the deformation theory of a holomorphic surjective map from a normal compact complex space to a compact Kaehler manifold and describes the component of the space of holomorphic maps, generalizing results in the projective…

We introduce the notion of a Nakajima bundle representation. Given a labelled quiver and a variety or manifold $X$, such a representation involves an assignment of a complex vector bundle on $X$ to each node of the doubled quiver; to the…

We introduce elliptic hypertoric varieties, which is an elliptic analogue of hypertoric varieties and multiplicative hypertoric varieties. We also prove an elliptic version of Hikita conjecture, which relates elliptic (resp. additive and…

The goal of this paper is to better understand the quasimap vertex functions of type $A$ Nakajima quiver varieties. To that end, we construct an explicit embedding of any type $A$ quiver variety into a type $A$ quiver variety with all…

We find new sufficient conditions for the commutator map of a real semisimple Lie algebra to be surjective. As an application we prove the surjectivity of the commutator map for all simple algebras except $\mathfrak su_{p,q}$ ($p$ or $q$…

We prove that certain quiver varieties are irreducible and therefore are isomorphic to Hilbert schemes of points of the total spaces of the bundles $\mathcal O_{\mathbb P^1}(-n)$ for $n \ge 1$.

Let X and Y be compact hyper-Kahler manifolds deformation equivalence to the Hilbert scheme of length n subschemes of a K3 surface. A cohomology class in their product XxY is an analytic correspondence, if it belongs to the subring…