Related papers: Lectures on K-theoretic computations in enumerativ…

We prove that the Schubert structure constants of the quantum $K$-theory ring of any minuscule flag variety or quadric hypersurface have signs that alternate with codimension. We also prove that the powers of the deformation parameter $q$…

We have two constructions of the level-$(0,1)$ irreducible representation of the quantum toroidal algebra of type $A$. One is due to Nakajima and Varagnolo-Vasserot. They constructed the representation on the direct sum of the equivariant…

Let H(R,q) be an affine Hecke algebra with a positive parameter function q. We are interested in the topological K-theory of H(R,q), that is, the K-theory of its C*-completion C*_r (R,q). We will prove that $K_* (C*_r (R,q))$ does not…

In this note we review some of the uses of framed quivers to study BPS invariants of Donaldson-Thomas type. We will mostly focus on non-compact Calabi-Yau threefolds. In certain cases the study of these invariants can be approached as a…

In this work, we investigate compact K\"ahler manifolds with non-negative or quasi-positive mixed curvature coming from a linear combination of the Ricci and holomorphic sectional curvature, which covers various notions of curvature…

We realize the quantum loop groups and shifted quantum loop groups of arbitrary types, possibly non symmetric, using critical K-theory. This generalizes the Nakajima construction of symmetric quantum loop groups via quiver varieties to non…

A quiver is an oriented graph. Quiver mutation is an elementary operation on quivers. It appeared in physics in Seiberg duality in the nineties and in mathematics in the definition of cluster algebras by Fomin-Zelevinsky in 2002. We show,…

In previous works, we introduced and studied certain categories called quasi-BPS categories associated to symmetric quivers with potential, preprojective algebras, and local surfaces. They have properties reminiscent of BPS invariants/…

Given a quiver $Q$, a formal potential is called analytic if its coefficients are bounded by the terms of a geometric series. As shown by Toda, the potentials appearing in the deformation theory of complexes of coherent sheaves on complex…

We study the $K$-theoretic enumerative geometry of cyclic Nakajima quiver varieties, with particular focus on $\text{Hilb}^{m}([\mathbb{C}^{2}/\mathbb{Z}_{l}])$, the equivariant Hilbert scheme of points on $\mathbb{C}^2$. The direct sum…

Martinez-Rivillas and de Queiroz gave extensional Kan semantics for the untyped lambda-calculus and later constructed the concrete K-infinity homotopy-model. The two main mathematical results of the present paper are these. First, we show…

We prove some fundamental results like localization, excision, Nisnevich descent and the Mayer-Vietoris property for equivariant regular blow-up for the equivariant K-theory of schemes with an affine group scheme action. We also show that…

In this article we prove a conjecture of Braverman and Kazhdan in \cite{BK1} on acyclicity of $\rho$-Bessel sheaves on reductive groups in both $\ell$-adic and de Rham settings. We do so by establishing a vanishing conjecture proposed in…

This short paper being devoted to some aspects of the inverse problem of the representation theory treats several themes, which have their origins in the researches of F.A.Berezin, D.P.Zhelobenko, V.P.Maslov and his group, in context of the…

We study the computational content of various theorems with reverse mathematical strength around Arithmetical Transfinite Recursion ($\mathsf{ATR}_0$) from the point of view of computability-theoretic reducibilities, in particular Weihrauch…

We generalize the construction of reflection functors from classical representation theory of quivers to arbitrary small categories with freely attached sinks or sources. These reflection morphisms are shown to induce equivalences between…

We give a new reconstruction method of big quantum $K$-ring based on the $q$-difference module structure in quantum $K$-theory. The $q$-difference structure yields commuting linear operators $A_{i,\rm com}$ on the $K$-group as many as the…

In this paper, we study non-commutative projective schemes whose associated non-commutative graded algebras are finite over their centers. We study their moduli spaces of stable sheaves, and construct a symmetric obstruction theory in the…

An affine connection is said to be flat if its curvature tensor vanishes identically. Koszul-Vinberg (KV for abbreviation) cohomology has been invoked to study the deformation theory of flat and torsion-free affine connections on tangent…

This article establishes, for an appropriate localisation of associative rings, a long exact sequence in algebraic K-theory. The main result goes as follows. Let A be an associative ring and let A-->B be the localisation with respect to a…