Related papers: Categorical Milnor squares and K-theory of algebra…

Let X be the Dynkin diagram of a symmetrizable Kac-Moody algebra, and X_0 a subgraph with all vertices of degree 1 or 2. Using the crystal structure on the components of quiver varieties for X, we show that if we expand X by extending X_0,…

For a finite subgroup $\Gamma\subset \mathrm{SL}(2,\mathbb{C})$ and $n\geq 1$, we construct the (reduced scheme underlying the) Hilbert scheme of $n$ points on the Kleinian singularity $\mathbb{C}^2/\Gamma$ as a Nakajima quiver variety for…

In the large rank limit, for any nonexceptional affine algebra, the graded branching multiplicities known as one-dimensional sums, are conjectured to have a simple relationship with those of type A, which are known as generalized Kostka…

Let $X$ be a K3 surface. We prove that Addington's $\mathbb{P}^n$-functor between the derived categories of $X$ and the Hilbert scheme of points $X^{[k]}$ maps stable vector bundles on $X$ to stable vector bundles on $X^{[k]}$, given some…

We compare the (horizontal) trace of the affine Hecke category with the elliptic Hall algebra, thus obtaining an "affine" version of the construction of [14]. Explicitly, we show that the aforementioned trace is generated by the objects…

We find lower bounds on the rank of a "real" vector bundle over an involutive space, such that "real" vector bundles of higher rank have a trivial summand and such that a stable isomorphism for such bundles implies ordinary isomorphism. We…

We prove an induction theorem for the higher algebraic K-groups of group algebras $kG$ of finite groups $G$ over characteristic $p$ finite fields $k$. For a certain class of finite groups, which we call $p$-isolated, this reduces…

Given a classical symmetric pair, $(G,K)$, with $\mathfrak g = Lie(G)$, we provide descriptions of the Hilbert series of the algebra of $K$-invariant vectors in the associated graded algebra of $\mathcal U(\mathfrak g)$ viewed as a…

Let k be a field, and let {\pi}:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Koll\'ar in…

We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…

A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$-spectrum and $(S^1,\mathbb G)$-bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable…

In this article, we define two equivalent new model structures on $\mathbf{sCat}$ the category of simplicial objects in $\mathbf{Cat}$. Then we construct the corresponding stable model category of spectra $Sp(\mathbf{sCat})$ and make some…

Algebraic cycles on complex projective space P(V) are known to have beautiful and surprising properties. Therefore, when V carries a real or quaternionic structure, it is natural to ask for the properties of the groups of real or…

We study a construction of diagrams of dualizable presentable stable $\infty$-categories associated with certain fiber-cofiber sequences over rigid bases, which are sent by localizing invariants, in particular continuous K-theory, to limit…

In this paper, by introducing a wider class of one-parameter group actions for test configurations, we have a stronger form of the definition of K-stability. This allows us to obtain some key step of my preceding work in proving that…

We describe a new approach to the definition of the moduli functor of stable varieties. While there is wide agreement as to what classes of varieties should appear, the notion of a family of stable surfaces is quite subtle, as key numerical…

Let $F$ be a finitely generated regular field extension of transcendence degree $\geq 2$ over a perfect field $k$. We show that the multiplicative group $F^\times/k^\times$ endowed with the equivalence relation induced by algebraic…

We study the "higher algebra" of spectral Mackey functors, which the first named author introduced in Part I of this paper. In particular, armed with our new theory of symmetric promonoidal $\infty$-categories and a suitable generalization…

We show that an algebraic stack with affine stabilizer groups satisfies the resolution property if and only if it is a quotient of a quasi-affine scheme by the action of the general linear group, or equivalently, if there exists a vector…

In part I of this work we studied the spaces of real algebraic cycles on a complex projective space P(V), where V carries a real structure, and completely determined their homotopy type. We also extended some functors in K-theory to…