We propose an $\infty$-categorical approach to Khovanov--Qi's Hopfological algebra that, in particular, refines several foundational aspects of the theory by recasting the previous constructions in terms of $\infty$-categories of modules in monoidal $\infty$-categories. This perspective leads to a more general variant of Hopfological algebra that takes place over an arbitrary rigidly-compactly generated symmetric monoidal stable $\infty$-category, which we also outline in the article. In the appendix, we compare the construction of Hopfological derived categories to that of Holm--Jørgensen's $Q$-shaped derived categories.

We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology theories for stacks like algebraic K-theory, as well as new examples like genuine motivic cohomology and algebraic cobordism. These cohomology theories admit Gysin maps and satisfy homotopy invariance, localization, and Mayer-Vietoris. For example, we deduce that homotopy K-theory satisfies cdh descent on scalloped stacks. We also prove a fixed point localization formula for torus actions. Finally, the construction is contrasted with a "lisse-extended" stable motivic homotopy category, defined for arbitrary stacks: we show for example that lisse-extended motivic cohomology of quotient stacks is computed by the equivariant higher Chow groups of Edidin-Graham, and we also get a good new theory of Borel-equivariant algebraic cobordism. Moreover, the lisse-extended motivic homotopy type is shown to recover all previous constructions of motives of stacks.

We introduce a notion of Milnor square of stable $\infty$-categories and prove a criterion under which algebraic K-theory sends such a square to a cartesian square of spectra. We apply this to prove Milnor excision and proper excision theorems in the K-theory of algebraic stacks with affine diagonal and nice stabilizers. This yields a generalization of Weibel's conjecture on the vanishing of negative K-groups for this class of stacks.

Given a torus action on a compact space X, a fundamental result of Borel and Atiyah-Segal asserts that the equivariant cohomology of X is concentrated in the fixed locus X^T, up to inverting enough Chern classes. We prove an analogue for algebraic varieties over an arbitrary field. In fact, we deduce this from a categorification at the level of equivariant derived categories and even equivariant stable motivic homotopy categories, which also gives concentration at the level of Voevodsky motives and for homotopy K-theory.

In this paper, we give an axiomatic characterization of the cap product in the Hochschild theory of associative unital algebras which are projective over a commutative unital ring. We also give an interpretation of the cap product with coefficients in the algebra via chain maps. We illustrate these results by computing the cap product for truncated polynomial algebras $k[x]/(x^N)$ and for polynomial algebras, where it is identified with the contraction of differential forms by polyvector fields.