An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several universal tensor categories as conjectured by Deligne. Another example constructs interesting tensor categories in positive characteristic via tilting modules for ${\rm SL}_2$.

For quantum symmetric pairs $(\textbf {U}, \textbf {U}^\imath )$ of Kac–Moody type, we construct $\imath$-canonical bases for the highest weight integrable $\textbf U$-modules and their tensor products regarded as $\textbf {U}^\imath$-modules, as well as an $\imath$-canonical basis for the modified form of the $\imath$-quantum group $\textbf {U}^\imath$. A key new ingredient is a family of explicit elements called $\imath$-divided powers, which are shown to generate the integral form of $\dot {\textbf {U}}^\imath$. We prove a conjecture of Balagovic–Kolb, removing a major technical assumption in the theory of quantum symmetric pairs. Even for quantum symmetric pairs of finite type, our new approach simplifies and strengthens the integrality of quasi-$K$-matrix and the constructions of $\imath$-canonical bases, by avoiding a case-by-case rank-one analysis and removing the strong constraints on the parameters in a previous work.

We show that, up to strong cocycle conjugacy, every countable exact group admits a unique equivariantly$\mathcal {O}_{2}$-absorbing, pointwise outer action on the Cuntz algebra$\mathcal {O}_{2}$with the quasi-central approximation property (QAP). In particular, we establish the equivariant analogue of the Kirchberg$\mathcal {O}_{2}$-absorption theorem for these groups.

We prove several results showing that the algebraic$K$-theory of valuation rings behaves as though such rings were regular Noetherian, in particular an analogue of the Geisser–Levine theorem. We also give some new proofs of known results concerning cdh descent of algebraic$K$-theory.

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We study the depth filtration on multiple zeta values, on the motivic Galois group of mixed Tate motives over $\mathbb {Z}$ and on the Grothendieck–Teichmüller group, and its relation to modular forms. Using period polynomials for cusp forms for $\mathrm {SL} _2(\mathbb {Z})$, we construct an explicit Lie algebra of solutions to the linearized double shuffle equations, which gives a conjectural description of all identities between multiple zeta values modulo $\zeta (2)$ and modulo lower depth. We formulate a single conjecture about the homology of this Lie algebra which implies conjectures due to Broadhurst and Kreimer, Racinet, Zagier, and Drinfeld on the structure of multiple zeta values and on the Grothendieck–Teichmüller Lie algebra.

We introduce irregular constructible sheaves, which are ${\mathbb {C}}$ -constructible with coefficients in a finite version of the Novikov ring $\Lambda$ and special gradings. We show that the bounded derived category of cohomologically irregular constructible complexes is equivalent to the bounded derived category of holonomic ${\mathcal {D}}$ -modules by a modification of D’Agnolo and Kashiwara's irregular Riemann–Hilbert correspondence. The bounded derived category of cohomologically irregular constructible complexes is equipped with the irregular perverse $t$ -structure, which is a straightforward generalization of usual perverse $t$ -structure, and we prove that its heart is equivalent to the abelian category of holonomic ${\mathcal {D}}$ -modules. We also develop the algebraic version of the theory.

A spectral sequence is established whose $E_{2}$ page is Bar-Natan's variant of Khovanov homology and which abuts to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence whose $E_{2}$ page is a characteristic-2 version of $F_{5}$ homology in Khovanov's classification.