Related papers: Kirwan surjectivity for quiver varieties

In this note, we prove the Zilber--Pink conjecture for subvarieties of mixed Shimura varieties, which are not defined over~$\overline{\mathbb Q}$ in a strong sense. We prove similar results for general variations of mixed Hodge structure of…

Let $E/\mathbb{Q}$ be an elliptic curve and let $K$ be an imaginary quadratic field. Under a certain Heegner hypothesis, Kolyvagin constructed cohomology classes for $E$ using $K$-CM points and conjectured they did not all vanish.…

For an $\A^1$-connected pointed simplicial sheaf $\sX$ over a perfect field $k$, we prove that the Hurewicz map $\pi_1^{\A^1}(\sX) \to H_1^{\A^1}(\sX)$ is surjective. We also observe that the Hurewicz map for $\P^1_k$ is the abelianisation…

It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Goedel algebras, relative Stone…

In this paper, we prove that Ruan's Cohomological Crepant Resolution Conjecture holds for the Hilbert-Chow morphisms. There are two main ideas in the proof. The first one is to use the representation theoretic approach proposed in [QW]…

We describe the Gerstenhaber bracket structure on Hochschild cohomology of Koszul quiver algebras in terms of homotopy lifting maps. There is a projective bimodule resolution of Koszul quiver algebras that admits a comultiplicative…

On (4n + 1)-dimensional (noncompact) manifolds admitting proper cocompact Lie group actions, we explore the analytic and topological sides of Kervaire semi-characteristics. The analytic side puts together two interpretations, one via…

Let k be a commutative ring in which 2 is invertible. We prove that the Hermitian K-theory of quadric hypersurfaces over k admits fibration sequences relating it to the base ring and to Clifford algebras equipped with various duality…

We give a simple direct proof (for the case of Hamiltonian circle actions with isolated fixed points) that Tolman and Weitsman's description of the kernel of the Kirwan map (in other words the sum of those equivariant cohomology classes…

We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…

Given an n-tuple of positive real numbers, Konno defines an algebraic variety called a hyperpolygon space, a hyperkahler analogue of the Kahler variety parametrizing spacial polygons with fixed edge lengths. The ordinary polygon space can…

In earlier work of three of the authors of the present paper, a supercommutative quadratic algebra was associated to each symmetric quiver, and a new proof of positivity of motivic Donaldson-Thomas invariants of symmetric quivers was given…

We construct a surjective homomorphism from the (suitably interpreted) double loop-nilpotent $K$-theoretic Hall algebra to the Coulomb branch algebra of a quiver gauge theory, using the shuffle algebra interpretation.

We prove that all complex analytic subvarieties of a generic compact hyperkaehler manifold are even-dimensional. Moreover, these subvarieties are holomorphically symplectic.

In this note we discuss some arithmetic and geometric questions concerning self maps of projective algebraic varieties.

We formulate the geometric P=W conjecture for singular character varieties. We establish it for compact Riemann surfaces of genus one, and obtain partial results in arbitrary genus. To this end, we employ non-Archimedean, birational and…

In this paper, we provide a relative hypercohomology version of Serre's GAGA theorem. We prove that the relative hypercohomology of a complex of sheaves on a complex projective variety is isomorphic to the relative hypercohomology of its…

We use the Springer correspondence to give a partial characterization of the irreducible representations which appear in the Tymoczko dot-action of the Weyl group on the cohomology ring of a regular semisimple Hessenberg variety. In type A,…

Hadwiger's theorem is a Helly-type theorem involving common transversals to families of convex sets instead of common intersections. Subsequently, Pollack and Wenger identified a necessary and sufficient condition, called a consistent…

Using the local bijectivity of Keller maps, we give a proof of two-dimensional Jacobian conjecture.