Open Research Index

On Equivalences of Derived Exponential Functors

Alexander Zakharov

arXivarxiv/2607.07536Jul 8, 2026math.ATscore 0

A strong symmetric monoidal functor $F\colon (Ab^{free,fg},\oplus)\to (Mod(k)^{flat},\otimes)$ is determined by the Hopf algebra $F(\mathbb{Z})$ over the ring $k$. We will show that the algebra structure on the left derived functor $L^* F(P)$ can be recovered from the augmented coalgebra structure on $F(\mathbb{Z})$ for $P\in D^{>2}_{perf}(Ab)$. Using a similar technique we will prove that the multiplicative Dold-Puppe-Thom isomorphism $H_*(K(A,n);\mathbb{Z})\simeq L_*Sym A[n]$ is functorial in $A\in Ab^{fg}$ whenever $n\ge 2$. By contrast, if $n<1$, this is known to be false in general.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.07536
curl -X POST /api/v1/records/arxiv/2607.07536/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.07536/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'