Related papers: $\mathcal{E}_\infty$ ring spectra and elements of …

When $R$ is one of the spectra $\mathit{ku}$, $\mathit{ko}$, $\mathit{tmf}$, $\mathit{MTSpin}^c$, $\mathit{MTSpin}$, or $\mathit{MTString}$, there is a standard approach to computing twisted $R$-homology groups of a space $X$ with the Adams…

Using the shuffle structure of the graphs, we introduce a new kind of the Hopf algebraic structure for tagged graphs with, or without loops. Like a quantum group structure, its product is non-commutative. With the help of the Hopf algebraic…

We use hypersurface support to classify thick (two-sided) ideals in the stable categories of representations for several families of finite-dimensional integrable Hopf algebras: bosonized quantum complete intersections, quantum Borels in…

The natural problem we approach in the present paper is to show how the notion of formally smooth (co)algebra inside monoidal categories can substitute that of (co)separable (co)algebra in the study of splitting bialgebra homomorphisms.…

We define quasicategories of E_n-structured coalgebras, bialagebras and comodules. We show that: n-fold loop spaces, suspension spectra thereof, descent data for maps of E_n-ring spectra, descent corings of morphisms of E_n-ring spectra and…

We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal…

Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also…

In previous work with Niles Johnson the author constructed a spectral sequence for computing homotopy groups of spaces of maps between structured objects such as G-spaces and E_n-ring spectra. In this paper we study special cases of this…

We characterize ring spectra morphisms from the algebraic cobordism spectrum $\QTR{Bbb}{MGL}$ (\QCITE{cite}{}{Vo1}) to an oriented spectrum $\QTR{Bbb}{E}$ (in the sense of Morel \QCITE{cite}{}{Mo}) via formal group laws on the…

In this work, we first study the cotensor product of comodules in the $\infty$-category $\mathrm{Mod}_R$ for a connected $\mathbb{E}_{\infty}$-ring spectrum $R$. We then apply these results to analyze higher coalgebra structures of…

Let $k$ be a commutative ring, $H$ a faithfully flat Hopf algebra with bijective antipode, $A$ a $k$-flat right $H$-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants $B=A^{{\rm…

We prove that the homology of the mapping class groups of non-orientable surfaces stabilizes with the genus of the surface. Combining our result with recent work of Madsen and Weiss, we obtain that the classifying space of the stable…

Working over an algebraically closed field $k$ of characteristic $0$, we show that the motivic stable homotopy groups of the sphere spectrum can be determined entirely from the motivic homotopy groups of the $p$-completed sphere spectra and…

Let $H$ be a finite dimensional pointed rank one Hopf algebra of nilpotent type. We first determine all finite dimensional indecomposable $H$-modules up to isomorphism, and then establish the Clebsch-Gordan formulas for the decompositions…

In this paper we explore the isotropic stable motivic homotopy category constructed from the usual stable motivic homotopy category, following the work of Vishik on isotropic motives (see [29]), by killing anisotropic varieties. In…

In [LMO] a 3-manifold invariant $\Omega(M)$ is constructed using a modification of the Kontsevich integral and the Kirby calculus. The invariant $\Omega$ takes values in a graded Hopf algebra of Feynman 3-valent graphs. Here we show that…

We show that every finite-dimensional pointed Hopf algebra over a finite simple Chevalley group, different from $PSL_2(q)$ with q= 3 mod 4 (and from $PSL_3(2)\simeq PSL_2(7)$), is isomorphic to the corresponding group algebra. To do this,…

The primary algebraic model of a ring spectrum is the ring of homotopy groups. We introduce the secondary model which has the structure of a secondary analogue of a ring. This new algebraic model determines Massey products and cup-one…

We study non-interacting electrons in disordered materials which exhibit a spectral gap, in each of the ten Altland--Zirnbauer symmetry classes, in all space dimensions. We define an appropriate space of Hamiltonians and a topology on it so…

We prove that the $G$-equivariant mod $p$ Eilenberg--MacLane spectrum arises as an equivariant Thom spectrum for any finite, $p$-power cyclic group $G$, generalizing a result of Behrens and the second author in the case of the group $C_2$.…