# Schreiber derived critical locus

These are notes on derived critical loci, created for a Seminar on derived critical loci at Utrecht University in spring 2011. This follows up on a previous Seminar on derived differential geometry. See there for more background.

# Contents

## Idea

Given an ordinary space $C$ and a function $S:C\to {𝔸}^{1}$, the critical locus ${C}_{\left\{dS=0\right\}}$ of $S$ is the subspace on which the de Rham differential of $S$ vanishes, the fiber product

$\begin{array}{ccc}{C}_{\left\{dS=0\right\}}& \to & C\\ ↓& & {↓}^{0}\\ C& \stackrel{dS}{\to }& {T}^{*}C\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ C_{\{d S = 0\}} &\to& C \\ \downarrow && \downarrow^{\mathrlap{0}} \\ C &\stackrel{d S}{\to}& T^* C } \,.

We want to consider this situation in the context of derived geometry and compare with the toolset of BRST-BV complexes. The basic idea is indicated in (CostelloGwilliam).

In higher geometry such $C$ is generally a cohesive ∞-groupoid. A simple motivating example is the groupoid of connections over some spacetime (the configuration space of a gauge theory). A first-order approximation to $C$ is its ∞-Lie algebroid $𝔠↪C$. In the context of gauge theory its function algebra $𝒪\left(𝔠\right)$ is called a BRST complex.

We demonstrate that the derived critical locus of $S$ restricted to $𝔠$

${𝔠}_{\left\{dS=0\right\}}\to 𝔠$\mathfrak{c}_{\{d S = 0\}} \to \mathfrak{c}

is the object whose function algebra is essentially the BRST-BV complex for $S$. See below for more detailed discussion.

## The ambient $\infty$-topos

A full formalization of the following in cohesive homotopy type theory is now in cohesive (infinity,1)-topos – infinitesimal cohesion – critical locus.

Recall the general setup of derived geometry over a given (∞,1)-algebraic theory $T$: we take formal duals of a small collection of $\infty$-algebras over $T$ to be our test spaces and then let general derived spaces be ∞-stacks over these test spaces.

### Over derived smooth loci

For derived differential geometry let $T=$ CartSp be the Lawvere theory for smooth algebras, regarded as an (∞,1)-algebraic theory. Write $\mathrm{Smooth}{\mathrm{Alg}}_{\infty }$ for its (∞,1)-category of ∞-algebras over an (∞,1)-algebraic theory.

We may present this by the model structure on simplicial presheaves $\left[\mathrm{CartSp},\mathrm{sSet}\right]$, left Bousfield localized at the morphism of the form

${C}^{\infty }\left({ℝ}^{k}\right)\coprod {C}^{\infty }\left({ℝ}^{l}\right)\to {C}^{\infty }\left({ℝ}^{k+l}\right)\phantom{\rule{thinmathspace}{0ex}}.$C^\infty(\mathbb{R}^k) \coprod C^\infty(\mathbb{R}^l) \to C^\infty(\mathbb{R}^{k+l}) \,.

Let $\mathrm{CartSp}↪C↪\mathrm{Smooth}{\mathrm{Alg}}_{\infty }$ be a small full sub-(∞,1)-category equipped with the structure of a subcanonical (∞,1)-site.

We write

$H:={\mathrm{Sh}}_{\left(\infty ,1\right)}\left(C\right)$\mathbf{H} := Sh_{(\infty,1)}(C)

for the (∞,1)-category of (∞,1)-sheaves over $C$.

### dg-Geometry

The following definition recalls the setup of dg-geometry over a field $k$ of characteristic 0.

###### Definition/Proposition

Write

$\left({\mathrm{cdgAlg}}_{k}^{-}{\right)}_{\mathrm{proj}}$(cdgAlg_k^-)_{proj}

and

$\left({\mathrm{cdgAlg}}_{k}{\right)}_{\mathrm{proj}}\phantom{\rule{thinmathspace}{0ex}},$(cdgAlg_k)_{proj} \,,

for the category of commutative cochain dg-algebras over $k$, in non-positive degree and without restrition on degrees, respectively, the latter equipped with the model structure on dg-algebras whose weak equivalences are the quasi-isomorphisms and whose fibrations are the degreewise surjections.

Notice that the derived hom-spaces in both cases are given by

$\mathrm{Map}\left(A,B\right):=\left(\left[n\right]↦{\mathrm{Hom}}_{{\mathrm{cdgAlg}}_{k}}\right)\left(A,B{\otimes }_{k}{\Omega }^{•}\left({\Delta }^{1}\right)\right)\in \mathrm{sSet}\phantom{\rule{thinmathspace}{0ex}}.$Map(A,B) := ([n] \mapsto Hom_{cdgAlg_k})(A, B \otimes_k \Omega^\bullet(\Delta^1)) \in sSet \,.

For $\left({\mathrm{cdgAlg}}_{k}^{-}{\right)}^{\mathrm{op}}$ equipped with any subcanonmical sSet-site structure, write

$H:={\mathrm{Sh}}_{\left(\infty ,1\right)}\left(\left({\mathrm{cdgAlg}}_{k}^{-}{\right)}^{\mathrm{op}}\right)$\mathbf{H} := Sh_{(\infty,1)}((cdgAlg_k^-)^{op})

for the (∞,1)-sheaf (∞,1)-topos over it.

The $\left(\infty ,1\right)$-Yoneda extension of the canonical inclusion

${\mathrm{cdgAlg}}_{k}^{-}↪{\mathrm{cdgAlg}}_{k}$cdgAlg_k^- \hookrightarrow cdgAlg_k

$\left(𝒪⊣j\right):\left({\mathrm{dgcAlg}}_{k}^{\mathrm{op}}{\right)}^{\circ }\stackrel{\stackrel{}{←}}{\underset{}{\to }}{\mathrm{Sh}}_{\left(\infty ,1\right)}\left(\left({\mathrm{dgcAlg}}_{k}{\right)}^{-}\right)\phantom{\rule{thinmathspace}{0ex}}.$(\mathcal{O} \dashv j) : (dgcAlg_k^{op})^\circ \stackrel{\overset{}{\leftarrow}}{\underset{}{\to}} Sh_{(\infty,1)}((dgcAlg_k)^-) \,.

### Relative $\infty$-Toposes over an object

For $H$ an (∞,1)-topos and $X\in H$ any object, the over-(∞,1)-category

${\pi }_{X}:H/X\stackrel{\stackrel{{\pi }^{*}}{←}}{\underset{{\pi }_{*}}{\to }}H$\pi_X : \mathbf{H}/X \stackrel{\overset{\pi^*}{\leftarrow}}{\underset{\pi_*}{\to}} \mathbf{H}

is itself an (∞,1)-topos – the over-(∞,1)-topos over $X$ – which is to be thought of as the little topos incarnation of $X$, sitting by an etale geometric morphism ${\pi }_{X}$ over $H$.

We consider this now in the context of dg-geometry.

Let $𝒪\left(C\right)\in {\mathrm{cdgAlg}}_{k}$, write $𝒪\left(C\right)\mathrm{Mod}$ for the model structure on dg-modules over $𝒪\left(C\right)$.

###### Definition

Write

${\mathrm{cdgAlg}}_{𝒪\left(C\right)}:=\mathrm{CMon}\left(𝒪\left(C\right)\mathrm{Mod}\right)\simeq 𝒪\left(C\right)/{\mathrm{cdgAlg}}_{k}$cdgAlg_{\mathcal{O}(C)} := CMon(\mathcal{O}(C) Mod) \simeq \mathcal{O}(C)/cdgAlg_k

for the category of commutative monoids in $𝒪\left(C\right)$-modules.

###### Proposition

There is a model category structure on ${\mathrm{cdgAlg}}_{𝒪\left(C\right)}$ whose fibrations and weak equivalences are those of the underlying $𝒪\left(C\right)$-modules such that the free-forgetful adjunction

${\mathrm{cdgAlg}}_{𝒪\left(C\right)}\stackrel{\stackrel{{\mathrm{Sym}}_{𝒪\left(C\right)}}{←}}{\underset{U}{\to }}𝒪\left(C\right)\mathrm{Mod}$cdgAlg_{\mathcal{O}(C)} \stackrel{\overset{Sym_{\mathcal{O}(C)}}{\leftarrow}}{\underset{U}{\to}} \mathcal{O}(C) Mod

is a Quillen adjunction.

This is

###### Proof

This follows with the general discussion at dg-geometry. We indicate how to see it directly.

We observe that the adjunction exhibits the transferred model structure on the left. By the statement discussed there, it is sufficient to check that

1. $𝒪\left(C\right)\mathrm{Mod}$ is a cofibrantly generated model category.

This follows because the model structure on dg-modules (as discussed there) is itself transferred along

$U\prime :𝒪\left(C\right)\mathrm{Mod}\to {\mathrm{Ch}}^{•}\left(k\right)$U' : \mathcal{O}(C) Mod \to Ch^\bullet(k)

from the cofibrantly generated model structure on cochain complexes.

2. $U$ preserves filtered colimits.

This follows from the general fact $U:\mathrm{CMon}\left(𝒞\right)\to 𝒞$ creates filtered colimits for $𝒞$ closed symmetric monoidal (see here) and that $A\mathrm{Mod}$ is closed symmetric monoidal (see here).

To check this explicitly:

Let ${A}_{•}:D\to {\mathrm{cdgAlg}}_{k}$ be a filtered diagram. We claim that there is a unique way to lift the underlying colimit ${\mathrm{lim}}_{\to }U{A}_{•}$ to a dg-algebra cocone: for $a\in {A}_{i}\to {\mathrm{lim}}_{\to }U{A}_{•}$ and $b\in {A}_{j}\to {\mathrm{lim}}_{\to }U{A}_{•}$ there is by the assumption that $D$ is filtered a ${A}_{i}\to {A}_{l}←{A}_{j}$. Therefore in order for the cocone component $U{A}_{l}\to {\mathrm{lim}}_{\to }U{A}_{•}$ to be an algebra homomorphism the product of $a$ with $b$ in ${\mathrm{lim}}_{\to }U{A}_{•}$ has to be the image of this product in ${A}_{l}$. This defines the colimiting cocone ${A}_{l}\to {\mathrm{lim}}_{\to }{A}_{•}$.

3. The left hand has functorial fibrant replacement (this is trivial, since every object is fibrant) and functorial path objects.

This follows by the same argument as for the path object in ${\mathrm{cdgAlg}}_{k}$ here this can be taken to be $\left(-\right){\otimes }_{k}{\Omega }_{\mathrm{poly}}^{•}\left(\Delta \left[1\right]\right)$.

###### Proposition

Let $H$ be the $\left(\infty ,1\right)$-topos for dg-geometry discussed above, and $C\in H$. Write $𝒪\left(C\right)\in {\mathrm{cdgAlg}}_{k}$ for a cofibrant representative of the image of $C$ under $𝒪$.

Then the function algebra adjunction from def 1 induces a relative function algebra adjunction

$\left({\mathrm{cdgAlg}}_{𝒪\left(C\right)}{\right)}^{\mathrm{op}}\simeq {\mathrm{cdgAlg}}_{k}^{\mathrm{op}}/C\stackrel{\stackrel{𝒪/C}{←}}{\underset{j/C}{\to }}H/C\phantom{\rule{thinmathspace}{0ex}}.$(cdgAlg_{\mathcal{O}(C)})^{op} \simeq cdgAlg_k^{op}/C \stackrel{\overset{\mathcal{O}/C}{\leftarrow}}{\underset{j/C}{\to}} \mathbf{H}/C \,.
###### Proof

This follows with the above, with the general properties of (∞,1)-adjunctions on slices and the discussion at dg-geometry.

## Derived critical loci

### Definition

###### Definition

Let $H$ be a cohesive (∞,1)-topos with differential cohesion and with line object ${𝔸}^{1}$.

Write ${♭}_{\mathrm{dR}}B{𝔸}^{1}$ for the canonical de Rham coefficient object and and

$\theta :{𝔸}^{1}\to {♭}_{\mathrm{dR}}B{𝔸}^{1}$\theta : \mathbb{A}^1 \to \mathbf{\flat}_{dR} \mathbf{B}\mathbb{A}^1

Given a morphism

$S:C\to {𝔸}^{1}$S : C \to \mathbb{A}^1

we write

$dS:C\stackrel{S}{\to }{𝔸}^{1}\stackrel{\theta }{\to }{♭}_{\mathrm{dR}}B{𝔸}^{1}$d S : C \stackrel{S}{\to} \mathbb{A}^1 \stackrel{\theta}{\to} \mathbf{\flat}_{dR}\mathbf{B}\mathbb{A}^1

for its differential.

Write ${T}^{*}C\to C$ for the object that represents $H\left(C,{♭}_{\mathrm{dR}}B{𝔸}^{1}\right)$ in ${H}_{/C}^{\mathrm{et}}$, see at cohesive (infinity,1)-topos – infinitesimal cohesion – structure sheaves.

In good cases the object ${T}_{f}^{*}C$ defined this way is the formal dual of the tangent complex of the function algebra $𝒪\left(C\right)$. This is the actual definition to be used in the following

###### Definition

In the context of dg-geometry, for $C\in ℋ$ an object we define

$𝒪\left({T}_{f}^{*}C\right):={\mathrm{Sym}}_{𝒪\left(C\right)}\mathrm{Der}\left(𝒪\left(C\right)\right)\in \left({\mathrm{cdgAlg}}_{k}{\right)}^{\circ }$\mathcal{O}(T^*_f C) := Sym_{\mathcal{O}(C)} Der(\mathcal{O}(C)) \in (cdgAlg_k)^\circ

to be the free $𝒪\left(C\right)$-algebra on the tangent complex of $𝒪\left(C\right)$.

###### Definition

The derived critical locus of $S:C\to {𝔸}^{1}$ in $H$ is the (∞,1)-pullback

$\begin{array}{ccc}{C}_{\left\{dS=0\right\}}& \to & C\\ ↓& {⇙}_{\simeq }& {↓}^{0}\\ C& \stackrel{dS}{\to }& {T}_{f}^{*}C\end{array}$\array{ C_{\{d S = 0\}} &\to& C \\ \downarrow &\swArrow_{\mathrlap{\simeq}}& \downarrow^{\mathrlap{0}} \\ C &\stackrel{d S}{\to}& T^*_f C }

computed in $H/C$.

###### Note

If $C$ is $𝒪$-perfect (…) in that $𝒪$ preserves this pullback, this is equivalently given by the $\left(\infty ,1\right)$-pushout

$\begin{array}{ccc}𝒪\left({C}_{\left\{dS=0\right\}}\right)& ←& 𝒪\left(C\right)\\ ↑& & {↑}^{{\iota }_{0}}\\ 𝒪\left(C\right)& \stackrel{{\iota }_{dS}}{←}& 𝒪\left({T}_{f}^{*}C\right)\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \mathcal{O}(C_{\{d S = 0\}}) &\leftarrow& \mathcal{O}(C) \\ \uparrow && \uparrow^{\iota_0} \\ \mathcal{O}(C) & \stackrel{\iota_{d S}}{\leftarrow} & \mathcal{O}(T^*_f C) } \,.
###### Note

Compare with the situation for Hochschild cohomology of $𝒪\left(C\right)$, for $C$ $𝒪$-perfect, which is given by the complex $𝒪\left(ℒ\left(C\right)\right)$ of functions on the derived loop space given by the $\left(\infty ,1\right)$-pullback

$\begin{array}{ccc}ℒC& \to & C\\ ↓& {⇙}_{\simeq }& ↓\\ C& \stackrel{}{\to }& C×C\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \mathcal{L}C &\to& C \\ \downarrow &\swArrow_{\mathrlap{\simeq}}& \downarrow \\ C &\stackrel{}{\to}& C \times C } \,.

For suitable $C$ this factors through the infinitesimal neighbourhood of the diagonal hence is the derived self-intersection in the tangent bundle

$\begin{array}{ccc}ℒC& \to & C\\ ↓& {⇙}_{\simeq }& {↓}^{0}\\ C& \stackrel{0}{\to }& {T}_{f}C\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \mathcal{L}C &\to& C \\ \downarrow &\swArrow_{\mathrlap{\simeq}}& \downarrow^{\mathrlap{0}} \\ C &\stackrel{0}{\to}& T_f C } \,.

### Cotangent bundle in dg-geometry – the tangent complex

We discuss the derived critical locus in dg-geometry over formal duals of general differential graded algebras.

Let $k$ be a field of characteristic 0.

Write ${\mathrm{dgcAlg}}_{k}$ for the category of graded-commutative unbounded cochain dg-algebras over $k$.

For an object

$C\in {\mathrm{cdgAlg}}_{k}^{\mathrm{op}}$C \in cdgAlg_k^{op}

we write

$𝒪\left(C\right)\in {\mathrm{cdgAlg}}_{k}\phantom{\rule{thinmathspace}{0ex}}.$\mathcal{O}(C) \in cdgAlg_k \,.

Let $𝒪\left(C\right)$Mod be the category of dg-modules over $𝒪\left(C\right)$ equipped with the standard model structure on dg-modules.

Write finally

${\mathrm{cdgAlg}}_{𝒪\left(C\right)}:=\mathrm{CMon}\left(𝒪\left(C\right)\mathrm{Mod}\right)$cdgAlg_{\mathcal{O}(C)} := CMon(\mathcal{O}(C) Mod)

for the category of commutative monoids in $𝒪\left(C\right)\mathrm{Mod}$: the category of commutative dg-algebras under $𝒪\left(C\right)$. We regard this as a category with weak equivalences given by the underlying quasi-isomorphisms.

This category models dg-geometry over $C$ in that

$\left({\mathrm{cdgAlg}}_{𝒪\left(C\right)}{\right)}^{\mathrm{op}}\simeq {\mathrm{cdgAlg}}_{k}^{\mathrm{op}}/C\phantom{\rule{thinmathspace}{0ex}}.$(cdgAlg_{\mathcal{O}(C)})^{op} \simeq cdgAlg_k^{op}/C \,.
###### Definition

Write

$\mathrm{Der}\left(A\right)\in 𝒪\left(C\right)\mathrm{Mod}$Der(A) \in \mathcal{O}(C) Mod

for the tangent complex/automorphism ∞-Lie algebra of $A$ whose underlying cochain complex is

$\begin{array}{c}\cdots \to \mathrm{Der}\left(𝒪\left(C\right){\right)}_{k}\stackrel{\left[{d}_{𝒪\left(C\right)},-\right]}{\to }\mathrm{Der}\left(𝒪\left(C\right){\right)}_{k+1}\to \cdots \end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \cdots \to Der(\mathcal{O}(C))_k \stackrel{[d_{\mathcal{O}(C)},-]}{\to} Der(\mathcal{O}(C))_{k+1} \to \cdots } \,.

where $\mathrm{Der}\left(𝒪\left(C\right){\right)}_{k}$ is the module of derivations

$v:𝒪\left(C{\right)}^{•}\to 𝒪\left(C{\right)}^{•+k}$v : \mathcal{O}(C)^\bullet \to \mathcal{O}(C)^{\bullet + k}

of degree $k$ and $\left[{d}_{𝒪\left(C\right)},-\right]$ is the graded commutator of derivations with the differential of $𝒪\left(C\right)$ regarded as a degree-1 derivation ${d}_{𝒪\left(C\right)}:𝒪\left(C\right)\to 𝒪\left(C\right)$.

We say that $𝒪\left(C\right)$ is smooth if $\mathrm{Der}\left(𝒪\left(C\right)\right)$ is cofibrant as an object on $𝒪\left(C\right)\mathrm{Mod}$.

Write

$𝒪\left({T}_{f}^{*}C\right):={\mathrm{Sym}}_{𝒪\left(C\right)}\mathrm{Der}\left(𝒪\left(C\right)\right)\in {\mathrm{cdgAlg}}_{𝒪\left(C\right)}$\mathcal{O}(T^*_f C) := Sym_{\mathcal{O}(C)} Der(\mathcal{O}(C)) \in cdgAlg_{\mathcal{O}(C)}

for the free $𝒪\left(C\right)$-algebra over $\mathrm{Der}\left(𝒪\left(C\right)\right)$.

We write

${T}_{f}^{*}C\in {\mathrm{cdgAlg}}_{k}^{\mathrm{op}}/C$T^*_f C \in cdgAlg^{op}_k/C

for its formal dual.

###### Remark

Every $S\in 𝒪\left(C\right)$ defines a morphism

$dS:C\to {T}_{f}^{*}C$d S : C \to T^*_f C

dually given by

$𝒪\left(C\right)←{\mathrm{Sym}}_{𝒪\left(C\right)}\mathrm{Der}\left(𝒪\left(C\right)\right):{\mathrm{Sym}}_{𝒪\left(C\right)}\left[\stackrel{^}{S},-\right]\phantom{\rule{thinmathspace}{0ex}},$\mathcal{O}(C) \leftarrow Sym_{\mathcal{O}(C)} Der(\mathcal{O}(C)) : Sym_{\mathcal{O}(C)} [\hat S , -] \,,

where $\stackrel{^}{S}:𝒪\left(C\right)\to 𝒪\left(C\right)$ is the $k$-linear multiplication operator defined by $S$ and where for $v\in \mathrm{Der}\left(𝒪\left(C\right)\right)$ we set

$\left[\stackrel{^}{S},v\right]=v\left(S\right)\phantom{\rule{thinmathspace}{0ex}},$[\hat S, v] = v(S) \,,

which may be regarded as the multiplication operator given by the commutator of $k$-linear endomorphisms of $𝒪\left(C\right)$ as indicated.

### Derived critical locus in an $\infty$-Lie algebroid in dg-geometry

###### Definition

The derived critical locus of a morphism $S:C\to {𝔸}^{1}$ is the homotopy pullback ${C}_{\left\{dS=0\right\}}$ in ${\mathrm{cdgAlg}}^{\mathrm{op}}/C$

$\begin{array}{ccc}{C}_{\left\{dS=0\right\}}& \to & C\\ ↓& & ↓\\ C& \stackrel{dS}{\to }& {T}_{f}^{*}C\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ C_{\{d S = 0\}} &\to& C \\ \downarrow && \downarrow \\ C &\stackrel{d S}{\to}& T^*_f C } \,.
###### Proposition

If $C$ is smooth in the sense that $\mathrm{Der}\left(𝒪\left(C\right)\right)\in 𝒪\left(C\right)\mathrm{Mod}$ is cofibrant, then the derived critical locus is presented by

$𝒪\left({C}_{\left\{dS=0\right\}}\right)\simeq {\mathrm{Sym}}_{𝒪\left(C\right)}\mathrm{Cone}\left(\mathrm{Der}\left(𝒪\left(C\right)\right)\stackrel{\left[\stackrel{^}{S},-\right]}{\to }𝒪\left(C\right)\right)\phantom{\rule{thinmathspace}{0ex}},$\mathcal{O}(C_{\{d S = 0\}}) \simeq Sym_{\mathcal{O}(C)} Cone( Der(\mathcal{O}(C)) \stackrel{[\hat S , -]}{\to} \mathcal{O}(C)) \,,

where on the right we have the free $𝒪\left(C\right)$-algebra over the mapping cone of $\left[\stackrel{^}{S},-\right]$.

###### Proof

By prop 1 the functor ${\mathrm{Sym}}_{𝒪\left(C\right)}$ is left Quillen. Hence if $\mathrm{Der}\left(𝒪\left(C\right)\right)$ is cofibrant in $𝒪\left(C\right)\mathrm{Mod}$ then the homotopy pushout in question may be computed as the image under ${\mathrm{Sym}}_{𝒪\left(C\right)}$ of the homotopy pushout in $𝒪\left(C\right)\mathrm{Mod}$.

By the disucssion at model structure on dg-modules, for these the homotopy cofibers are given by the ordinary mapping cone construction for chain complexes.

$\begin{array}{ccc}\mathrm{Cone}\left(\mathrm{Der}\left(𝒪\left(C\right)\right)\stackrel{\left[\stackrel{^}{S},-\right]}{\to }𝒪\left(C\right)\right)& ←& \mathrm{Cone}\left(\mathrm{Der}\left(𝒪\left(C\right)\right)\stackrel{\mathrm{Id}}{\to }\mathrm{Der}\left(𝒪\left(C\right)\right)\right)\\ ↑& & ↑\\ 𝒪\left(C\right)& \stackrel{\left[\stackrel{^}{S},-\right]}{←}& \mathrm{Der}\left(𝒪\left(C\right)\right)\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ Cone(Der(\mathcal{O}(C)) \stackrel{[\hat S, -]}{\to} \mathcal{O}(C)) &\leftarrow& Cone(Der(\mathcal{O}(C)) \stackrel{Id}{\to} Der(\mathcal{O}(C))) \\ \uparrow && \uparrow \\ \mathcal{O}(C) &\stackrel{[\hat S, -]}{\leftarrow}& Der(\mathcal{O}(C)) } \,.

More in detail, write

$\mathrm{Cone}\left(\mathrm{Der}\left(𝒪\left(C\right)\right)\stackrel{\mathrm{Id}}{\to }\mathrm{Der}\left(𝒪\left(C\right)\right)\right)\in 𝒪\left(C\right)\mathrm{Mod}$Cone(Der(\mathcal{O}(C)) \stackrel{Id}{\to} Der(\mathcal{O}(C))) \in \mathcal{O}(C) Mod

for the mapping cone on the identity.

$\begin{array}{cccc}\cdots & \mathrm{Der}\left(𝒪\left(C\right){\right)}_{k}& \stackrel{-\left[{d}_{𝒪\left(C\right)},-\right]}{\to }& \mathrm{Der}\left(𝒪\left(C\right){\right)}_{k}+1\\ & \oplus & {↘}^{±\mathrm{Id}}& \oplus & \cdots \\ \cdots & \mathrm{Der}\left(𝒪\left(C\right){\right)}_{k-1}& \stackrel{\left[{d}_{𝒪\left(C\right)},-\right]}{\to }& \mathrm{Der}\left(𝒪\left(C\right){\right)}_{k}& \cdots \end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \cdots & Der(\mathcal{O}(C))_k &\stackrel{-[d_{\mathcal{O}(C)}, -]}{\to}& Der(\mathcal{O}(C))_k+1 \\ & \oplus &\searrow^{\pm \mathrlap{Id}}& \oplus & \cdots \\ \cdots & Der(\mathcal{O}(C))_{k-1} &\stackrel{[d_{\mathcal{O}(C)}, -]}{\to}& Der(\mathcal{O}(C))_k & \cdots } \,.

Then $\mathrm{Cone}\left(\mathrm{Der}\left(𝒪\left(C\right)\right)\stackrel{\left[\stackrel{^}{S},-\right]}{\to }\right)𝒪\left(C\right)\right)$ is

(1)$\begin{array}{cccc}\cdots & \mathrm{Der}\left(𝒪\left(C\right){\right)}_{k}& \stackrel{-\left[{d}_{𝒪\left(C\right)},-\right]}{\to }& \mathrm{Der}\left(𝒪\left(C\right){\right)}_{k}+1\\ & \oplus & {↘}^{±\left[\stackrel{^}{S},-\right]}& \oplus & \cdots \\ \cdots & 𝒪\left(C{\right)}_{k-1}& \stackrel{\left[{d}_{𝒪\left(C\right)},-\right]}{\to }& 𝒪\left(C{\right)}_{k}& \cdots \end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \cdots & Der(\mathcal{O}(C))_k &\stackrel{-[d_{\mathcal{O}(C)}, -]}{\to}& Der(\mathcal{O}(C))_k+1 \\ & \oplus &\searrow^{\pm [\hat S, -]}& \oplus & \cdots \\ \cdots & \mathcal{O}(C)_{k-1} &\stackrel{[d_{\mathcal{O}(C)}, -]}{\to}& \mathcal{O}(C)_k & \cdots } \,.

If we extend the graded commutators in the evident way we may write the differential in $\mathrm{Cone}\left(\mathrm{Der}\left(𝒪\left(C\right)\right)\stackrel{\left[\stackrel{^}{S},-\right]}{\to }𝒪\left(C\right)\right)$ as

$d=\left[\stackrel{^}{S}+{d}_{𝒪\left(C\right)},-\right]\phantom{\rule{thinmathspace}{0ex}}.$d = [\hat S + d_{\mathcal{O}(C)}, -] \,.

Here the second term is the differential of the BRST-complex of $𝔠$, whereas the sum is of the type of a differential in a BRST-BV complex.

## Comparison to BRST-BV complexes

We discuss how the traditional BRST-BV formalism relates to the computation of derived critical loci as above.

### General

The traditional approach in BRST-BV formalism starts from a somewhat different angle than the discussion here. There on

1. starts with a function $S$ on ordinary spaces,

2. then builds a Koszul-Tate resolution of its ordinary critical locus;

3. then adds generators in positive degree in order to make the Koszul-tate differential a Hamiltonian vector field with respect to the extended graded Poisson bracket (“anti-bracket”);

4. deduces this way a BRST-complex part on $X$ (the part of the complex spanned by the “ghost”-generators).

Here the perspective is to some extent opposite to this: we assume that the BRST-complex encoding the symmetries of $S$ is already given, and then find just a single-step Koszul-type resolution, but not of an ordinary space, but of the dg-space that contains the ghost generators.

But both constructions do coincide if

1. the gauge symmetries close off-shell;

2. the $\infty$-Lie algebroid $C$ is the full BRST-complex of $S$.

(…)

### Example

Let $𝔞$ be a Lie algebroid over a space $X$, with Chevalley-Eilenberg algebra $𝒪\left(𝔞\right)$ given by

${d}_{𝔞}:f↦{c}^{a}{R}_{a}^{i}\frac{\partial }{\partial {x}^{i}}f$d_{\mathfrak{a}} : f \mapsto c^a R^i_a \frac{\partial}{\partial x^i} f
${d}_{𝔞}:{c}^{a}↦\frac{1}{2}{C}^{a}{}_{bc}{c}^{b}\wedge {c}^{c}\phantom{\rule{thinmathspace}{0ex}}.$d_{\mathfrak{a}} : c^a \mapsto \frac{1}{2} C^{a}{}_{b c} c^b \wedge c^c \,.

for $f\in {C}^{\infty }\left(X\right)$, infinitesimal gauge symmetries ${R}_{a}^{i}\frac{\partial }{\partial {x}^{i}}$, gauge symmetry structure functions ${C}^{a}{}_{bc}$ and ghost generators ${c}^{a}$.

The “algebra of vector fields/derivations” $\mathrm{Der}\left(𝒪\left(𝔞\right)\right)$ on $𝔞$ is the automorphism ∞-Lie algebra whose underlying chain complex is

$\begin{array}{ccc}⟨\frac{\partial }{\partial {c}^{a}}⟩& \stackrel{\left[{d}_{𝔞},-\right]}{\to }& ⟨\frac{\partial }{\partial {x}^{i}}⟩\oplus ⟨{c}^{a}\frac{\partial }{\partial {c}^{b}}⟩\\ -1& & 0\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \langle \frac{\partial}{\partial c^a} \rangle & \stackrel{[d_{\mathfrak{a}}, -]}{\to} & \langle \frac{\partial}{\partial x^i} \rangle \oplus \langle c^a \frac{\partial}{\partial c^b} \rangle \\ -1 && 0 } \,.

We check on generators that

$\begin{array}{r}\left[{d}_{𝔞},\frac{\partial }{\partial {c}^{a}}\right]={R}_{a}^{i}\frac{\partial }{\partial {x}^{i}}+{C}^{b}{}_{ac}{c}^{c}\frac{\partial }{\partial {c}^{b}}\end{array}$\begin{aligned} [d_{\mathfrak{a}}, \frac{\partial}{\partial c^a}] = R_a^i \frac{\partial}{\partial x^i} + C^b{}_{a c} c^c \frac{\partial}{\partial c^b} \end{aligned}

and

$\begin{array}{r}\left[{d}_{𝔞},\frac{\partial }{\partial {x}^{i}}\right]={c}^{a}\frac{\partial {R}_{a}^{j}}{\partial {x}^{i}}\frac{\partial }{\partial {x}^{j}}\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\begin{aligned} [d_{\mathfrak{a}}, \frac{\partial}{\partial x^i}] = c^a \frac{\partial R_a^j}{\partial x^i} \frac{\partial}{\partial x^j} \end{aligned} \,.

Now let

$S:𝔞\to ℝ$S : \mathfrak{a} \to \mathbb{R}

be a function, dually a dg-algebra homomorphism

$𝒪\left(𝔞\right)←{C}^{\infty }\left(ℝ\right):{S}^{*}\phantom{\rule{thinmathspace}{0ex}}.$\mathcal{O}(\mathfrak{a}) \leftarrow C^\infty(\mathbb{R}) : S^* \,.

This is equivalently any function

$S:X\to ℝ$S : X \to \mathbb{R}

which is gauge invariant

${d}_{𝔞}S={c}^{a}{R}_{a}^{i}\frac{\partial }{\partial {x}^{i}}S=0\phantom{\rule{thinmathspace}{0ex}}.$d_{\mathfrak{a}} S = c^a R_a^i \frac{\partial}{\partial x^i} S = 0 \,.

We have a contraction homomorphism of $𝒪\left(𝔞\right)$-modules

${\iota }_{dS}:\mathrm{Der}\left(𝒪\left(𝔞\right)\right)\to 𝒪\left(𝔞\right)\phantom{\rule{thinmathspace}{0ex}}.$\iota_{d S} : Der(\mathcal{O}(\mathfrak{a})) \to \mathcal{O}(\mathfrak{a}) \,.

and may form its mapping cone,

$\begin{array}{ccccccc}⟨\frac{\partial }{\partial {c}^{a}}⟩& \stackrel{\left[{d}_{𝔞},-\right]}{\to }& ⟨\frac{\partial }{\partial {x}^{i}}⟩\oplus ⟨{c}^{a}\frac{\partial }{\partial {c}^{b}}⟩& \stackrel{{\iota }_{dS}}{\to }& {C}^{\infty }\left(X\right)& \stackrel{{d}_{𝔞}}{\to }& ⟨{c}^{a}⟩\\ -2& & -1& & 0& & 1\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \langle \frac{\partial}{\partial c^a}\rangle &\stackrel{[d_{\mathfrak{a}}, -]}{\to}& \langle \frac{\partial}{\partial x^i} \rangle \oplus \langle c^a \frac{\partial}{\partial c^b}\rangle &\stackrel{\iota_{d S}}{\to}& C^\infty(X) &\stackrel{d_{\mathfrak{a}}}{\to}& \langle c^a \rangle \\ -2 && -1 && 0 && 1 } \,.

On the free algebra of this

${\mathrm{Sym}}_{{C}^{\infty }\left(X\right)}\left(\mathrm{Der}\left(𝒪\left(𝔞\right)\right)\left[-1\right]\stackrel{{\iota }_{dS}}{\to }{C}^{\infty }\left(X\right)\oplus ⟨{c}^{a}⟩\right)\right)\phantom{\rule{thinmathspace}{0ex}}.$Sym_{C^\infty(X)} \left( Der(\mathcal{O}(\mathfrak{a}))[-1] \stackrel{\iota_{d S}}{\to} C^\infty(X)\oplus \langle c^a\rangle) \right) \,.

we have the differential given on generators by

$\frac{\partial }{\partial {c}^{a}}↦{R}_{a}^{i}\frac{\partial }{\partial {x}^{i}}+{C}^{b}{}_{ac}{c}^{c}\frac{\partial }{\partial {c}^{b}}$\frac{\partial}{\partial c^a} \mapsto R_a^i \frac{\partial}{\partial x^i} + C^b{}_{a c} c^c \frac{\partial}{\partial c^b}
$\frac{\partial }{\partial {x}^{i}}↦\frac{\partial S}{\partial {x}^{i}}+{c}^{a}\frac{\partial {R}_{a}^{j}}{\partial {x}^{i}}\frac{\partial }{\partial {x}^{j}}$\frac{\partial}{\partial x^i} \mapsto \frac{\partial S}{\partial x^i} + c^a \frac{\partial R_a^j}{\partial x^i} \frac{\partial}{\partial x^j}
${x}^{i}↦{c}^{a}{R}_{a}^{i}$x^i \mapsto c^a R_a^i
${c}^{a}↦\frac{1}{2}{C}^{a}{}_{bc}{c}^{b}\wedge {c}^{c}$c^a \mapsto \frac{1}{2}C^a{}_{b c} c^b \wedge c^c

If $⟨{R}_{a}⟩$ is the full kernel of ${\iota }_{dS}:\mathrm{Der}\left({C}^{\infty }\left(X\right)\right)\to {C}^{\infty }\left(X\right)$ and there are no further relations, then this is the full BRST-BV complex of $S$.

## References

The term derived critical locus for the formal dual of a BRST-BV complex and a brief indication for how to formalize it is in

For references on BRST-BV formalism see there.

Revised on May 9, 2013 17:14:23 by Urs Schreiber (89.204.130.249)