English
Related papers

Related papers: An Inverse K-Theory Functor

200 papers

It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in…

Category Theory · Mathematics 2007-05-23 Z. Petric

In this paper we consider a construction in an arbitrary triangulated category T which resembles the notion of a Moore spectrum in algebraic topology. Namely, given a compact object C of T satisfying some finite tilting assumptions, we…

Category Theory · Mathematics 2010-06-03 David Pauksztello

The focus of this thesis is on (1) the role of Ka\v c-Moody (KM) algebras in string theory and the development of techniques for systematically building string theory models based on higher level ($K\geq 2$) KM algebras and (2) fractional…

High Energy Physics - Theory · Physics 2008-02-03 Gerald B. Cleaver

We describe the Segal $K$-theory of the symmetric monoidal category of finite-dimensional vector spaces over a perfect field $\mathbb{F}$ together with an automorphism, or, equivalently, the group-completion of the $E_\infty$-algebra of…

K-Theory and Homology · Mathematics 2024-10-21 Andrea Bianchi , Florian Kranhold

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…

Algebraic Topology · Mathematics 2018-03-16 Bertrand Guillou , J. P. May

The notion of reparametrization category is incorrectly axiomatized and it must be adjusted. It is proved that for a general reparametrization category $\mathcal{P}$, the tensor product of $\mathcal{P}$-spaces yields a biclosed semimonoidal…

Category Theory · Mathematics 2022-07-05 Philippe Gaucher

Weibel proved that $p$-inverted K-theory is $\mathbb{A}^1$-invariant on $\mathbb{F}_p$-schemes and K-theory with $\mathbb{Z}/p$-coefficients is $\mathbb{A}^1$-invariant on $\mathbb{Z}[\frac{1}{p}]$-schemes. We extend this result to all…

K-Theory and Homology · Mathematics 2024-05-29 Vladimir Sosnilo

Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…

Algebraic Topology · Mathematics 2020-12-03 Karthik Boyareddygari

Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra, $U_q(\mathfrak{g})$ its quantum group, and $U_q(\mathfrak{k}) \subset U_q(\mathfrak{g})$ a quantum symmetric pair subalgebra determined by a Lie algebra automorphism $\theta$. We…

Representation Theory · Mathematics 2025-11-18 Andrea Appel , Bart Vlaar

Let k be an algebraically closed field. Using the Eilenberg-Watts theorem over schemes, we determine the structure of k-linear right exact direct limit and coherence preserving functors from the category of quasi-coherent sheaves on P^1_k…

Algebraic Geometry · Mathematics 2011-11-14 Adam Nyman

We develop a theory of motivic spectra in a broad generality; in particular $\mathbb{A}^1$-homotopy invariance is not assumed. As an application, we prove that $K$-theory of schemes is a universal Zariski sheaf of spectra which is equipped…

Algebraic Geometry · Mathematics 2025-04-18 Toni Annala , Ryomei Iwasa

We extend the recently introduced setting of coherent differentiation for taking into account not only differentiation, but also Taylor expansion in categories which are not necessarily (left)additive. The main idea consists in extending…

Logic in Computer Science · Computer Science 2025-04-16 Thomas Ehrhard , Aymeric Walch

Taking symmetric powers of varieties can be seen as a functor from the category of varieties to the category of varieties with an action by the symmetric group. We study a corresponding map between the Grothendieck groups of these…

Algebraic Geometry · Mathematics 2019-04-16 Daniel Bergh

We give a new proof of the universal property of $KK^G$-theory with respect to stability, homotopy invariance and split-exactness for $G$ a locally compact group, or a locally compact (not necessarily Hausdorff) groupoid, or a countable…

K-Theory and Homology · Mathematics 2019-12-09 Bernhard Burgstaller

This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…

Category Theory · Mathematics 2012-10-05 Ross Street

Fusion categories are fundamental objects in quantum algebra, but their definition is narrow in some respects. By definition a fusion category must be k-linear for some field k, and every simple object V is strongly simple, meaning that (V)…

Quantum Algebra · Mathematics 2019-09-16 Greg Kuperberg

We prove that for torsion-free amenable ample groupoids, an isomorphism in groupoid homology induced by an \'etale correspondence yields an isomorphism in the K-theory of the associated $\mathrm{C}^\ast$-algebras. We apply this to extend X.…

K-Theory and Homology · Mathematics 2024-10-11 Alistair Miller

We use the geometry of the space of fields for gauged supersymmetric mechanics to construct the twisted differential equivariant K-theory of a manifold with an action by a finite group.

Algebraic Topology · Mathematics 2015-10-28 Daniel Berwick-Evans

In this paper we extend equivariant infinite loop space theory to take into account multiplicative norms: For every finite group $G$, we construct a multiplicative refinement of the comparison between the $\infty$-categories of connective…

Algebraic Topology · Mathematics 2024-07-12 Bastiaan Cnossen , Rune Haugseng , Tobias Lenz , Sil Linskens

We use Gromov's K--area to define a generalized homology theory on compact smooth manifolds. In fact, this theory collects obstructions to the enlargeability of the manifold and its nontrivial submanifolds. Moreover, using the K--area…

Differential Geometry · Mathematics 2010-08-03 Mario Listing