Related papers: Squares K-theory and 2-Segal spaces
Given a 2-category $\twocat{K}$ admitting a calculus of bimodules, and a 2-monad T on it compatible with such calculus, we construct a 2-category $\twocat{L}$ with a 2-monad S on it such that: (1)S has the adjoint-pseudo-algebra property.…
The rigidity theorems of Llarull and Marques-Neves, which show two different ways scalar curvature can characterize the sphere, have associated stability conjectures. Here we produce the first examples related to these stability…
It is now well known that the K-theory of a Waldhausen category depends on more than just its (triangulated) homotopy category (see [Schlichting]). The purpose of this note is to show that the K-theory spectrum of a (good) Waldhausen…
The goal of the paper is to introduce a version of Schubert calculus for each dihedral reflection group W. That is, to each "sufficiently rich'' spherical building Y of type W we associate a certain cohomology theory and verify that, first,…
A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…
Invoking the density argument of Dundas-Goodwillie-McCarthy, we extend the Fundamental Theorem of $K$-theory from the category of simplicial rings to the category of $\mathbb{S}$-algebras. As an intermediate step, we prove the Fundamental…
We study Quillen model categories equipped with a monoidal skew closed structure that descends to a genuine monoidal closed structure on the homotopy category. Our examples are 2-categorical and include permutative categories and…
This is a review/announcement of results concerning the connection between certain exactly solvable two-dimensional models of statistical mechanics, namely loop models, and the equivariant $K$-theory of the cotangent bundle of the…
Motivated by ideas from string theory and quantum field theory new invariants of knots and 3-dimensional manifolds have been constructed from complex algebraic structures such as Hopf algebras (Reshetikhin and Turaev), monoidal categories…
In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category…
The classical Steinhaus theorem (\cite{Steinhaus1920}) says that if $A \subset {\Bbb R}^d$ has positive Lebesgue measure than $A-A=\{x-y: x,y \in A\}$ contains an open ball. We obtain some quantitative lower bounds on the size of this ball…
For a projective K3 surface X we introduce the dense triangulated subcategory S^* of the bounded derived category D^b(Coh(X)) of coherent sheaves on X that is generated by spherical objects. For a K3 surface X over \bar Q it is shown that…
Let G be a finite group. Over any finite G-poset P we may define a transporter category as the corresponding Grothendieck construction. The classifying space of the transporter category is the Borel construction on the G-space BP, while the…
The structure theory for the quadratic algebra generated by first and second order constants of the motion for 2D second order superintegrable systems with nondegenerate (3-parameter) and or 2-parameter potentials is well understood, but…
We study the quantization of spaces whose K-theory in the classical limit is the ring of dual numbers $\mathbb{Z}[t]/(t^2)$. For a compact Hausdorff space we recall necessary and sufficient conditions for this to hold. For a compact quantum…
Smooth K-functors are introduced and the smooth K-theory of locally convex algebras is developed. It is proved that the algebraic and smooth K-functors are isomorphic on the category of quasi stable real (or complex) Frechet algebras.
For arbitrary level $N$, we relate the generating series of codimension 2 special cycles on $\mathcal{X}_{0}(N)$ to the derivatives of a genus 2 Eisenstein series, especially the singular terms of both sides. On the analytic side, we use…
This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…
We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is…
An object in the bounded derived category D^b(Coh(X)) of coherent sheaves on a complex projective K3 surface X is spherical if it is rigid and simple. Although spherical objects form only a discrete set in the moduli stack of complexes,…