Related papers: A Class of Generalised Quantifiers for k-Variable …

In this note we give explicit isomorphisms of 2-categories between various versions of the categorified quantum group associated to a simply-laced Kac-Moody algebra. These isomorphisms are convenient when working with the categorified…

Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.…

For a closed locally symmetric space M=\Gamma\G/K and a representation of G we consider the push-forward of the fundamental class in the homology of the linear group and a related invariant in algebraic K-theory. We discuss the…

C*-algebras generalizing Cuntz-Krieger algebras can be associated to hyperbolic homeomorphisms of compact metric spaces. They satisfy a non-commutative form of Spanier-Whitehead duality with respect to K-theory. We prove this for the case…

Recent developments concerning canonical quantisation and gauge invariant quantum mechanical systems and quantum field theories are briefly discussed. On the one hand, it is shown how diffeomorphic covariant representations of the…

We set up operadic foundations for equivariant iterated loop space theory. We start by building up from a discussion of the approximation theorem and recognition principle for V-fold loop G-spaces to several avatars of a recognition…

Let $G$ be a semisimple Lie group with finite component group, and let $K<G$ be a maximal compact subgroup. We obtain a quantisation commutes with reduction result for actions by $G$ on manifolds of the form $M = G\times_K N$, where $N$ is…

In a recent work, arXiv:2503.05884, we proposed a unified notion of nonclassicality that applies to arbitrary processes in quantum theory, including individual quantum states, measurements, channels, set of these, etc. This notion is…

We define generalized bialgebras and Hopf algebras and on this basis we introduce quantum categories and quantum groupoids. The quantization of the category of linear (super)spaces is constructed. We establish a criterion for the classical…

Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}: G_F \rightarrow \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a modular Galois representation which satisfies the Taylor--Wiles hypotheses and is tamely ramified…

This note proves that, as K-theory elements, the symbol classes of the de Rham operator and the signature operator on a closed manifold of even dimension are congruent mod 2. An equivariant generalization is given pertaining to the…

We decompose the K-theory space of a Waldhausen category in terms of its Dwyer-Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria…

Noncommutative lattices have been recently used as finite topological approximations in quantum physical models. As a first step in the construction of bundles and characteristic classes over such noncommutative spaces, we shall study their…

We categorify the highest weight integrable representations and their tensor products of a symmetric quantum Kac-Moody algebra. As byproducts, we obtain a geometric realization of Lusztig's canonical bases of these representations as well…

This paper constitutes a review on N=2 fractional supersymmetric Quantum Mechanics of order k. The presentation is based on the introduction of a generalized Weyl-Heisenberg algebra W_k. It is shown how a general Hamiltonian can be…

We derive formulas and algorithms for Kitaev's invariants in the periodic table for topological insulators and superconductors for finite disordered systems on lattices with boundaries. We find that K-theory arises as an obstruction to…

We introduce twisted K-theoretic Gromov-Witten invariants - in the frameworks of both "ordinary" and permutation-equivariant K-theoretic GW theory defined recently by Givental. We focus on the case when the twisting is given by the Euler…

The aim of this paper is to establish a first and second fundamental theorem for $GL(V)$ equivariant polynomial maps from $k$--tuples of matrix variables $End(V)^{ k} $ to tensor spaces $End(V)^{ \otimes n}$ in the spirit of H. Weyl's book…

Let G be a compact, simply connected Lie group. We develop a `quantization functor' from pre-quantized quasi-Hamiltonian G-spaces at level k to the fusion ring (Verlinde algebra) R_k(G). The quantization Q(M) is defined as a push-forward in…

From the interpretation of Linear Logic multiplicative disjunction as the $\varepsilon$-product defined by Laurent Schwartz, we construct several models of Differential Linear Logic based on usual mathematical notions of smooth maps. This…