Exchange theorems and coherent duality in six functors
We define the notion of an exchange theorem and show that any two functors satisfying an exchange theorem are canonically related via twisted norm maps. This is done by identifying the universal category receiving a pair of functors satisfying an exchange theorem. Additionally, we show that the twists occurring are $K$-theoretic in nature, parametrized by a categorified analogue of virtual vector bundles. As an application, we show that every 3-functor formalism has a canonical extension which encodes Poincaré duality and Thom twists internal to the formalism. This gives a 1-categorical…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.12123
curl -X POST /api/v1/records/arxiv/2607.12123/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.12123/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'