Related papers: The T-algebra spectral sequence: Comparisons and a…
Let $\mathcal{C}$ be a small category, $\mathfrak{A}$ be a precosheaf of unital $k$-algebras on $\mathcal{C}$ and $\mathfrak{M}$ be an $\mathfrak{A}$-bimodule. We introduce two new notions, namely, the Grothendieck construction…
We define a series of Artin-Schelter Gorenstein Hopf algebras $H_\beta$ with injective dimensions 3. Radford's Hopf algebra and Gelaki's Hopf algebra are homomorphic images of $H_\beta$. We determine its Grothendieck ring $G_0(H_\beta)$.…
We present a general homotopical analysis of structured diagram spaces and discuss the relation to symmetric spectra. The main motivating examples are the I-spaces, which are diagrams indexed by finite sets and injections, and J-spaces,…
Let $G$ be a group and $N$ be a normal subgroup of $G$. There exists the group extension $G$ of $G/N$ by $N$. For a $G$-module $A$ which $N$ acts on trivially and a $G$-invariant homomorphism on $N$ to $A$, we obtain a central extension of…
We present a version of higher Hochschild homology for spaces equipped with principal bundles for a structure group $G$. As coefficients, we allow $E_\infty$-algebras with $G$-action. For this homology theory, we establish an equivariant…
This paper sets up the foundations for derived algebraic geometry, Goerss--Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially)…
Our results are of three types. First we describe a general procedure of adjoining polynomial variables to $A_\infty$-ring spectra whose coefficient rings satisfy certain restrictions.A host of examples of such spectra is provided by…
We construct a symmetric spectrum representing the G-equivariant K-theory of C*-algebras for a compact group or a proper groupoid G. Our spectrum is functorial for equivariant *-homomorphisms. We use this to establish the additivity of the…
When $X$ is an associative H-space, the bar spectral sequence computes the homology of the delooping, $H_{*}(BX)$. If $X$ is an $n$-fold loop space for $n\geq2$ this is a spectral sequence of Hopf algebras. Using machinery by Sugawara and…
We show that there is a spectral sequence with $E^2$-page given by the Khovanov homology of a link in $S^1\times S^2$, as defined by Rozansky in arXiv:1011.1958, which converges to the Hochschild homology of an $A_\infty$-bimodule defined…
The Adams spectral sequence was invented by J.F.Adams fifty years ago for calculations of stable homotopy groups of topological spaces and in particular of spheres. The calculation of differentials of this spectral sequence is one of the…
We define and study coherent cochain complexes in arbitrary stable $\infty$-categories, following Joyal. Our main result is that the $\infty$-category of coherent cochain complexes in a stable $\infty$-category $\mathscr C$ is equivalent to…
We consider "Hopfological" techniques as in \cite{Ko} but for infinite dimensional Hopf algebras, under the assumption of being co-Frobenius. In particular, $H=k[{\mathbb Z}]\#k[x]/x^2$ is the first example, whose corepresentations category…
We construct a seven-term exact sequence involving low degree cohomology spaces of a Lie algebra $\Lg$, an ideal $\Lh$ of $\Lg$ and the quotient $\Lg / \Lh$ with coefficients in a $\Lg$-module. The existence of such a sequence follows from…
Hess and Shipley defined an invariant of coalgebra spectra called topological coHochschild homology, and Bohmann-Gerhardt-H{\o}genhaven-Shipley-Ziegenhagen developed a coB\"okstedt spectral sequence to compute the homology of coTHH for…
Working in a generic derived algebro-geometric context, we lay the foundations for the general study of affineness and local descendability. When applied to $\mathbf{E}_\infty$ rings equipped with the fpqc topology, these foundations give…
We study cohomology theories of strongly homotopy algebras, namely $A_\infty, C_\infty$ and $L_\infty$-algebras and establish the Hodge decomposition of Hochschild and cyclic cohomology of $C_\infty$-algebras thus generalising previous work…
We give a natural construction and a direct proof of the Adams isomorphism for equivariant orthogonal spectra. More precisely, for any finite group G, any normal subgroup N of G, and any orthogonal G-spectrum X, we construct a natural map A…
We use obstruction theory based on the unstable Adams spectral sequence to construct self maps of finite quaternionic projective spaces. As a result, a conjecture of Feder and Gitler regarding the classification of self maps up to homology…
Let $Q$ denote MacLane's $Q$-construction, and $\otimes$ denote the smash product of spectra. In this paper we construct an equivalence $Q(R)\simeq \mathbb Z\otimes R$ in the category of $A_\infty$ ring spectra for any ring $R$, thus…