Derived representation schemes and Nakajima quiver varieties

We introduce a derived representation scheme associated with a quiver, which may be thought of as a derived version of a Nakajima variety. We exhibit an explicit model for the derived representation scheme as a Koszul complex and by doing so we show that it has vanishing higher homology if and only if the moment map defining the corresponding Nakajima variety is flat. In this case we prove a comparison theorem relating isotypical components of the representation scheme to equivariant K-theoretic classes of tautological bundles on the Nakajima variety. As a corollary of this result we obtain some integral formulas present in the mathematical and physical literature since a few years, such as the formula for Nekrasov partition function for the moduli space of framed instantons on $$S^4$$ S 4 . On the technical side we extend the theory of relative derived representation schemes by introducing derived partial character schemes associated with reductive subgroups of the general linear group and constructing an equivariant version of the derived representation functor for algebras with a rational action of an algebraic torus.

Equivariant connective 𝐾-theory

For separated schemes of finite type over a field with an action of an affine group scheme of finite type, we construct the bi-graded equivariant connective K K -theory mapping to the equivariant K K -homology of Guillot and the equivariant algebraic K K -theory of Thomason. It has all the standard basic properties as the homotopy invariance and localization. We also get the equivariant version of the Brown-Gersten-Quillen spectral sequence and study its convergence.

Stable homotopy refinement of quantum annular homology

We construct a stable homotopy refinement of quantum annular homology, a link homology theory introduced by Beliakova, Putyra and Wehrli. For each $r\geq ~2$ we associate to an annular link $L$ a naive $\mathbb {Z}/r\mathbb {Z}$ -equivariant spectrum whose cohomology is isomorphic to the quantum annular homology of $L$ as modules over $\mathbb {Z}[\mathbb {Z}/r\mathbb {Z}]$ . The construction relies on an equivariant version of the Burnside category approach of Lawson, Lipshitz and Sarkar. The quotient under the cyclic group action is shown to recover the stable homotopy refinement of annular Khovanov homology. We study spectrum level lifts of structural properties of quantum annular homology.

Equivariant KK-Theory and the Continuous Rokhlin Property

We introduce and study the continuous Rokhlin property for actions of compact groups on $C^*$-algebras. An important technical result is a characterization of the continuous Rokhlin property in terms of asymptotic retracts. As a consequence, we derive strong $KK$-theoretical obstructions to the continuous Rokhlin property. Using these, we show that the Universal Coefficient Theorem (UCT) is preserved under formation of crossed products and passage to fixed point algebras by such actions, even in the absence of nuclearity. As an application of the case of ${{\mathbb{Z}}}_3$-actions, we answer a question of Phillips–Viola about algebras not isomorphic to their opposites. Our analysis of the $KK$-theory of the crossed product allows us to prove a ${{\mathbb{T}}}$-equivariant version of Kirchberg–Phillips: two circle actions with the continuous Rokhlin property on Kirchberg algebras are conjugate whenever they are $KK^{{{\mathbb{T}}}}$-equivalent. In the presence of the UCT, this is equivalent to having isomorphic equivariant $K$-theory. We moreover characterize the $KK^{{{\mathbb{T}}}}$-theoretical invariants that arise in this way. Finally, we identify a $KK^{{{\mathbb{T}}}}$-theoretic obstruction to the continuous property, which is shown to be the only obstruction in the setting of Kirchberg algebras. We show by means of explicit examples that the Rokhlin property is strictly weaker than the continuous Rokhlin property.

An implicit function theorem for sprays and applications to Oka theory

We solve fundamental problems in Oka theory by establishing an implicit function theorem for sprays. As the first application of our implicit function theorem, we obtain an elementary proof of the fact that approximation yields interpolation. This proof and Lárusson’s elementary proof of the converse give an elementary proof of the equivalence between approximation and interpolation. The second application concerns the Oka property of a blowup. We prove that the blowup of an algebraically Oka manifold along a smooth algebraic center is Oka. In the appendix, equivariantly Oka manifolds are characterized by the equivariant version of Gromov’s condition [Formula: see text], and the equivariant localization principle is also given.

Unitarizability, Maurey–Nikishin factorization, and Polish groups of finite type

Let Γ be a countable discrete group, and let {\pi\colon\Gamma\to{\rm{GL}}(H)} be a representation of Γ by invertible operators on a separable Hilbert space H. We show that the semidirect product group {G=H\rtimes_{\pi}\Gamma} is SIN (G admits a two-sided invariant metric compatible with its topology) and unitarily representable (G embeds into the unitary group {\mathcal{U}(\ell^{2}(\mathbb{N}))}) if and only if π is uniformly bounded, and that π is unitarizable if and only if G is of finite type, that is, G embeds into the unitary group of a {\mathrm{II}_{1}}-factor. Consequently, we show that a unitarily representable Polish SIN group need not be of finite type, answering a question of Sorin Popa. The key point in our argument is an equivariant version of the Maurey–Nikishin factorization theorem for continuous maps from a Hilbert space to the space {L^{0}(X,m)} of all measurable maps on a probability space.

EQUIVARIANT ALGEBRAIC INDEX THEOREM

We prove a $\unicode[STIX]{x1D6E4}$ -equivariant version of the algebraic index theorem, where $\unicode[STIX]{x1D6E4}$ is a discrete group of automorphisms of a formal deformation of a symplectic manifold. The particular cases of this result are the algebraic version of the transversal index theorem related to the theorem of A. Connes and H. Moscovici for hypo-elliptic operators and the index theorem for the extension of the algebra of pseudodifferential operators by a group of diffeomorphisms of the underlying manifold due to A. Savin, B. Sternin, E. Schrohe and D. Perrot.

Equivariant one-parameter deformations of associative algebras

We introduce an equivariant version of Hochschild cohomology as the deformation cohomology to study equivariant deformations of associative algebras equipped with finite group actions.

Oriented Algebras and the Hochschild Cohomology Group

Koam and Pirashivili developed the equivariant version of Hochschild cohomology by mixing the standard chain complexes computing group with associative algebra cohomologies to obtain the bicomplex C ˜ G * ( A , X ). In this paper, we form a new bicomplex F ˘ G * ( A , X ) by deleting the first column and the first row and reindexing. We show that H ˘ G 1 ( A , X ) classifies the singular extensions of oriented algebras.

Enhanced equivariant Saito duality

In a previous paper, the authors defined an equivariant version of the so-called Saito duality between the monodromy zeta functions as a sort of Fourier transform between the Burnside rings of an abelian group and of its group of characters. Here, a so-called enhanced Burnside ring [Formula: see text] of a finite group [Formula: see text] is defined. An element of it is represented by a finite [Formula: see text]-set with a [Formula: see text]-equivariant transformation and with characters of the isotropy subgroups associated to all points. One gives an enhanced version of the equivariant Saito duality. For a complex analytic [Formula: see text]-manifold with a [Formula: see text]-equivariant transformation of it one has an enhanced equivariant Euler characteristic with values in a completion of [Formula: see text]. It is proved that the (reduced) enhanced equivariant Euler characteristics of the Milnor fibers of Berglund–Hübsch dual invertible polynomials are enhanced dual to each other up to sign. As a byproduct, this implies the result about the orbifold zeta functions of Berglund–Hübsch–Henningson dual pairs obtained earlier.