Related papers: On k-invariants for $(\infty, n)$-categories

We define a certain class of simple varieties over a field $k$ by a constructive recipe and show how to control their (equivariant) truncating invariants. Consequently, we prove that on simple varieties: (i) if $k=\overline{k}$ and…

In this paper we give an elementary proof of the proper homotopy invariance of the equivariant stable homotopy type of the configuration space $F(M,k)$ for a topological manifold $M$. Our technique is to compute the Spanier-Whitehead dual…

This paper is a generalization of arXiv:0810.0808. We develop the de Rham homotopy theory of not necessarily nilpotent spaces, using closed dg-categories and equivariant dg-algebras. We see these two algebraic objects correspond in a…

We examine the "homotopy coniveau tower" for a general cohomology theory on smooth k-schemes and give a new proof that the layers of this tower for K-theory agree with motivic cohomology. In addition, the homotopy coniveau tower agrees with…

We reconceptualize the process of forming $n$-excisive approximations to $\infty$-categories, in the sense of Heuts, as inverting the suspension functor lifted to $A_n$-cogroup objects. We characterize $n$-excisive $\infty$-categories as…

Let $O$ be the ring of power series in one variable over a finite field, with $K$ its fraction field. We introduce the notion of a "formal $K$-vector space"; this is a certain kind of $K$-vector space object in the category of formal…

We describe Universal Coefficient Theorems for the equivariant Kasparov theory for C*-algebras with an action of the group of integers or over a unique path space, using KK-valued invariants. We compare the resulting classification up to…

We provide a homotopy theorist's point of view on $KK$- and $E$-theory for $C^{*}$-algebras. We construct stable $\infty$-categories representing these theories through a sequence of Dwyer-Kan localizations of the category of…

We give an interpretation of Yetter's Invariant of manifolds $M$ in terms of the homotopy type of the function space $TOP(M,B(G))$, where $G$ is a crossed module and $B(G)$ is its classifying space. From this formulation, there follows that…

For a finite extension $F$ of $\mathbb{Q}_p$ and $n \geq 1$, let $D$ be the division algebra over $F$ of invariant $1/n$ and let $G^0$ be the subgroup of $\text{GL}_n(F)$ of elements with norm $1$ determinant. We show that the action of…

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 associate to every $G$-bornological coarse space $X$ and every left-exact $\infty$-category with $G$-action a left-exact infinity-category of equivariant $X$-controlled objects. Postcomposing with algebraic K-theory leads to {new}…

We show that Mandell's inverse $K$-theory functor from $\Gamma$-categories to permutative categories preserves multiplicative structure. This is a first step towards an equivariant generalization that would be inverse to the construction of…

We study relative algebraic K-theory of admissible Zariski-Riemann spaces and prove that it is equivalent to G-theory and satisfies homotopy invariance. Moreover, we provide an example of a non-noetherian abelian category whose negative…

We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…

We study the moduli space $\mathfrak M_k^r(\tilde{\mathbb P}^2_{\!q})$ of rank $r$ holomorphic bundles with trivial determinant and second Chern class $c_2=k$, over the blowup $\tilde{\mathbb P}^2_{\!q}$ of the projective plane at $q$…

We construct modular categories from Hecke algebras at roots of unity. For a special choice of the framing parameter, we recover the Reshetikhin-Turaev invariants of closed 3-manifolds constructed from the quantum groups U_q sl(N) by…

We show that for a gradable finite dimensional algebra the perfect complexes and bounded derived category cannot be distinguished by homotopy invariants.

One of the major advantages of $\infty$-category theory over classical $1$-category theory is its robust and homotopically meaningful framework for taking (co)limits of diagrams of $\infty$-categories. However, it is both subtle and crucial…

We study the subcategory of topological operads $P$ such that $P(0) = *$ (the category of unitary operads in our terminology). We use that this category inherits a model structure, like the category of all operads in topological spaces, and…