Related papers: On Davis-Januszkiewicz homotopy types I; formality…
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…
In this paper we study the "holomorphic K-theory" of a projective variety, which is defined in terms of the homotopy type of spaces of holomorphic maps from the variety to Grassmannians and loop groups. This theory was introduced by Lawson,…
This is a report on the present state of the problem of determining the dimension of the Nichols algebra associated to a rack and a cocycle. This is relevant for the classification of finite-dimensional complex pointed Hopf algebras whose…
We completely characterize the pairs of connected Lie groups $G > K$ such that $\mathrm{rank}(G) - \mathrm{rank}(K) = 1$ and the left action of $K$ on $G/K$ is equivariantly formal. The analysis requires us to correct and extend an existing…
Let $\mathcal C$ be category over a commutative ring $k$, its Hochschild-Mitchell homology and cohomology are denoted respectively $HH_*(\mathcal C)$ and $HH^*(\mathcal C).$ Let $G$ be a group acting on $\mathcal C$, and $\mathcal C[G]$ be…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
Given a map $f: X\rightarrow Y$ of simply connected spaces of finite type such. The space of based loops at $f$ of the space of maps between $X$ and $Y$ is denoted by $\Omega_{f} Map(X,Y)$. For $n> 0$, we give a model categorical…
This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from…
Algebraic models for equivariant rational homotopy theory were developed by Triantafillou and Scull for finite group actions and $S^1$ action, respectively. They showed that given a diagram of rational cohomology algebras from the orbit…
The Lipshitz-Sarkar stable homotopy link invariant defines Steenrod squares on the Khovanov cohomology of a link. Lipshitz-Sarkar constructed an algorithm for computing the first two Steenrod squares. We develop a new algorithm which…
This paper continues our investigation into the question of when a homotopy $\omega = \{\omega_t\}_{t \in [0,1]}$ of 2-cocycles on a locally compact Hausdorff groupoid $\mathcal{G}$ gives rise to an isomorphism of the $K$-theory groups of…
In this paper, we compute the rational cohomology groups of the classifying space of a simply connected Kac-Moody group of infinite type. The fundamental principle is "from finite to infinite". That is, for a Kac-Moody group G(A) of…
We present a method for computing $\mathbb{A}^1$-homotopy invariants of singularity categories of rings admitting suitable gradings. Using this we describe any such invariant, e.g. homotopy K-theory, for the stable categories of…
For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…
Let X be a simply connected space and k a commutative ring. Goodwillie, Burghelea and Fiedorowiscz proved that the Hochschild cohomology of the singular chains on the pointed loop space HH^{*}S_*(\Omega X) is isomorphic to the free loop…
We prove that the cyclic chain complex of the categorical coalgebra of singular chains on an arbitrary topological space $X$ is naturally quasi-isomorphic to the $S^1$-equivariant chains of the free loop space of $X$. This statement does…
Let $X$ be a simply connected space and $\Bbb K$ be any field. The normalized singular cochains $N^*(X; {\Bbb K})$ admit a natural strongly homotopy commutative algebra structure, which induces a natural product on the Hochschild homology…
This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical…
We prove new structural results for the rational homotopy type of the classifying space $B\operatorname{aut}(X)$ of fibrations with fiber a simply connected finite CW-complex $X$. We first study nilpotent covers of $B\operatorname{aut}(X)$…
The solution of Deligne's conjecture on Hochschild cochains and the formality of the operad of little disks provide us with a natural homotopy Gerstenhaber algebra structure on the Hochschild cochains of an associative algebra. In this…