ScalingStacks

4.1.3. Pointed case

We denote by 𝒰∙{\mathcal{U}}^{\bullet} the strict monoidal differential pointed category generated by an object ee and a map τ∈End⁡(e2)\tau\in\operatorname{End}\nolimits(e^{2}) subject to the relations (4.1.1). Its objects are the ene^{n}, n≥0n\geq 0, Hom⁡(en,em)=0\operatorname{Hom}\nolimits(e^{n},e^{m})=0 for m≠nm\neq n and End⁡(en)=Hn∙\operatorname{End}\nolimits(e^{n})=H_{n}^{\bullet}.

Let 𝒱{\mathcal{V}} be a differential pointed category.

A 22-representation on 𝒱{\mathcal{V}} is the data of a strict monoidal differential pointed functor 𝒰∙→End⁡(𝒱){\mathcal{U}}^{\bullet}\to\operatorname{End}\nolimits({\mathcal{V}}). This is equivalent to the data of an endofunctor EE of the differential pointed category 𝒱{\mathcal{V}} and τ∈End⁡(E2)\tau\in\operatorname{End}\nolimits(E^{2}) such that (E,τ)(E,\tau) induce a 22-representation on k⁡[𝒱]k[{\mathcal{V}}].

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2