nLab
derived critical locus

Context

Higher algebra

Higher geometry

Contents

Idea

The concept of derived critical locus is the refinement of the notion of critical locus from geometry to derived geometry.

The formal duals to derived critical loci are described by BV-BRST formalism.

Details

The following is a basic setup in dg-geometry aimed at exhibiting the (formal dual of) the BV-BRST complex as the derived critical locus of (the formal dual of) the BRST complex (the example below)

Basic dg-geometry

Let kk be a field of characteristic zero.

Write dgcAlg kdgcAlg_k for the category of unbounded cochain differential graded-commutative algebras (dgc-algebras) over kk.

An object in the opposite category

CcdgAlg k op C \in cdgAlg_k^{op}

we may regard as an affine space in dg-geometry, and hence we write

𝒪(C)cdgAlg k \mathcal{O}(C) \in cdgAlg_k

for the corresponding dgc-algebra.

Let 𝒪(C)\mathcal{O}(C)Mod be the category of dg-modules over 𝒪(C)\mathcal{O}(C) equipped with the standard model structure on dg-modules.

Definition

(dgc-algebras over 𝒪(C)\mathcal{O}(C))

Write

cdgAlg 𝒪(C) CMon(𝒪(C)Mod) 𝒪(C)/ cdgAlg k \begin{aligned} cdgAlg_{\mathcal{O}(C)} & \coloneqq CMon(\mathcal{O}(C) Mod) \\ & \simeq \mathcal{O}(C)/_{cdgAlg_k} \end{aligned}

for the category of commutative monoids in 𝒪(C)\mathcal{O}(C)-modules, equivalently the coslice category of cdgAlg kcdgAlg_k under 𝒪(C)\mathcal{O}(C).

Proposition

There is a model category structure on cdgAlg 𝒪(C)cdgAlg_{\mathcal{O}(C)} (def. 1) whose fibrations and weak equivalences are those of the underlying 𝒪(C)\mathcal{O}(C)-modules such that the free-forgetful adjunction

cdgAlg 𝒪(C)USym 𝒪(C)𝒪(C)Mod cdgAlg_{\mathcal{O}(C)} \underoverset {\underset{U}{\longrightarrow}} {\overset{Sym_{\mathcal{O}(C)}}{\longleftarrow}} {\bot} \mathcal{O}(C) Mod

is a Quillen adjunction.

This is

  1. combinatorial;

  2. proper.

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. 𝒪(C)Mod\mathcal{O}(C) Mod is a cofibrantly generated model category.

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

    U:𝒪(C)ModCh (k) U' \colon \mathcal{O}(C) Mod \to Ch^\bullet(k)

    from the cofibrantly generated model structure on cochain complexes.

  2. UU preserves filtered colimits.

    This follows from the general fact U:CMon(𝒞)𝒞U : CMon(\mathcal{C}) \to \mathcal{C} creates filtered colimits for 𝒞\mathcal{C} closed symmetric monoidal (see there) and that AModA Mod is closed symmetric monoidal (see there).

    To check this explicitly:

    Let A :DcdgAlg kA_\bullet \colon D \to cdgAlg_k be a filtered diagram. We claim that there is a unique way to lift the underlying colimit lim UA \lim_\to U A_\bullet to a dg-algebra cocone: for aA ilim UA a \in A_i \to \lim_\to U A_\bullet and bA jlim UA b \in A_j \to \lim_\to U A_\bullet there is by the assumption that DD is filtered a A iA lA jA_i \to A_l \leftarrow A_j. Therefore in order for the cocone component UA llim UA U A_l \to \lim_{\to} U A_\bullet to be an algebra homomorphism the product of aa with bb in lim UA \lim_\to U A_\bullet has to be the image of this product in A lA_l. This defines the colimiting cocone A llim A A_l \to \lim_\to A_\bullet.

  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 cdgAlg kcdgAlg_k (here) this can be taken to be () kΩ poly (Δ[1])(-)\otimes_k \Omega^\bullet_{poly}(\Delta[1]).

Formal cotangent bundle

Given CdgcAlg k opC \in dgcAlg_k^{op} as above we want to consider its formal cotangent bundle T f *cT^\ast_f c, i.e. the infinitesimal neighbourhood around the zero section of the would-be actual cotangent bundle

Definition

Write

Der(𝒪(C))𝒪(C)Mod Der(\mathcal{O}(C)) \in \mathcal{O}(C) Mod

for the automorphism ∞-Lie algebra of AA whose underlying cochain complex is

Der(𝒪(C)) k[d 𝒪(C),]Der(𝒪(C)) k+1. \array{ \cdots \to Der(\mathcal{O}(C))_k \overset{[d_{\mathcal{O}(C)},-]}{\longrightarrow} Der(\mathcal{O}(C))_{k+1} \longrightarrow \cdots } \,.

where Der(𝒪(C)) kDer(\mathcal{O}(C))_k is the module of derivations

v:𝒪(C) 𝒪(C) +k v \colon \mathcal{O}(C)^\bullet \to \mathcal{O}(C)^{\bullet + k}

of degree kk and [d 𝒪(C),][d_{\mathcal{O}(C)}, -] is the graded commutator of derivations with the differential of 𝒪(C)\mathcal{O}(C) regarded as a degree 1 derivation d 𝒪(C):𝒪(C)𝒪(C)d_{\mathcal{O}(C)} \colon \mathcal{O}(C) \to \mathcal{O}(C).

We say that 𝒪(C)\mathcal{O}(C) is smooth if Der(𝒪(C))Der(\mathcal{O}(C)) is cofibrant as an object on 𝒪(C)Mod\mathcal{O}(C) Mod.

Write

𝒪(T f *C)Sym 𝒪(C)Der(𝒪(C))cdgAlg 𝒪(C) \mathcal{O}(T^*_f C) \coloneqq Sym_{\mathcal{O}(C)} Der(\mathcal{O}(C)) \in cdgAlg_{\mathcal{O}(C)}

for the free 𝒪(C)\mathcal{O}(C)-algebra over Der(𝒪(C))Der(\mathcal{O}(C)).

We write

T f *CcdgAlg k op/ C T^*_f C \in cdgAlg^{op}_k/_C

for its formal dual.

Remark

Every S𝒪(C)S \in \mathcal{O}(C) defines a morphism

dS:CT f *C d S \colon C \to T^*_f C

in dgcAlg k opdgcAlg_k^{op} which is dually given by

𝒪(C)Sym 𝒪(C)Der(𝒪(C)):Sym 𝒪(C)[S^,], \mathcal{O}(C) \leftarrow Sym_{\mathcal{O}(C)} Der(\mathcal{O}(C)) \;\colon\; Sym_{\mathcal{O}(C)} [\hat S , -] \,,

where S^:𝒪(C)𝒪(C)\hat S : \mathcal{O}(C) \to \mathcal{O}(C) is the kk-linear multiplication operator defined by SS and where for vDer(𝒪(C))v \in Der(\mathcal{O}(C)) we set

[S^,v]=v(S), [\hat S, v] = v(S) \,,

which may be regarded as the multiplication operator given by the commutator of kk-linear endomorphisms of 𝒪(C)\mathcal{O}(C) as indicated.

Derived critical locus

Definition

(derived critical locus)

The derived critical locus of a morphism S:C𝔸 1S \colon C \to \mathbb{A}^1 in dgcAlg_k is the homotopy pullback C {dS=0}C_{\{d S = 0\}} in cdgAlg op/ CcdgAlg^{op}/_{C}

C {dS=0} C 0 C dS T f *C. \array{ C_{\{d S = 0\}} &\to& C \\ \downarrow &\swArrow& \downarrow^{\mathrlap{0}} \\ C &\stackrel{d S}{\to}& T^*_f C } \,.
Proposition

(presentation by free dgc-algebra on mapping cone)

If CC is smooth in the sense that Der(𝒪(C))𝒪(C)ModDer(\mathcal{O}(C)) \in \mathcal{O}(C) Mod is cofibrant, then the derived critical locus (def. 4) is presented by

𝒪(C {dS=0})Sym 𝒪(C)(Cone(Der(𝒪(C))[S^,]𝒪(C)))Sym 𝒪(C)(𝒪(C))𝒪(C), \mathcal{O}(C_{\{d S = 0\}}) \simeq Sym_{\mathcal{O}(C)} \left( Cone\left( Der(\mathcal{O}(C)) \stackrel{[\hat S , -]}{\to} \mathcal{O}(C) \right) \right) \underset{Sym_{\mathcal{O}(C)}(\mathcal{O}(C)) }{\otimes} \mathcal{O}(C) \,,

where on the right we have the free 𝒪(C)\mathcal{O}(C)-algebra over the mapping cone of [S^,][\hat S, -] with extension of scalars along 𝒪(C(id,0)C×𝔸 1)\mathcal{O}( C \overset{(id,0)}{\to} C \times \mathbb{A}^1 ).

Proof

Using the pasting law we may decompose the homotopy pullback into a pasting of two homotopy pullback squares as follows:

C {dS=0} C 0 C (id,0) C×𝔸 1 T f *C. \array{ C_{\{d S = 0\}} &\longrightarrow& &\longrightarrow& C \\ \downarrow &\swArrow& \downarrow &\swArrow& \downarrow^{\mathrlap{0}} \\ C &\underset{(id,0)}{\longrightarrow}& C \times \mathbb{A}^1 &\underset{}{\longrightarrow}& T^*_f C } \,.

First consider the square on the right:

By prop 1 the functor Sym 𝒪(C)Sym_{\mathcal{O}(C)} is left Quillen. Hence if Der(𝒪(C))Der(\mathcal{O}(C)) is cofibrant in 𝒪(C)Mod\mathcal{O}(C) Mod then the homotopy pushout corresponding to the square on the right may be computed as the image under Sym 𝒪(C)Sym_{\mathcal{O}(C)} of the homotopy pushout in 𝒪(C)Mod\mathcal{O}(C) 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.

Cone(Der(𝒪(C))[S^,]𝒪(C)) Cone(Der(𝒪(C))IdDer(𝒪(C))) 𝒪(C) [S^,] Der(𝒪(C)). \array{ Cone\left( Der(\mathcal{O}(C)) \stackrel{[\hat S, -]}{\to} \mathcal{O}(C) \right) &\leftarrow& Cone\left( Der(\mathcal{O}(C)) \stackrel{Id}{\to} Der(\mathcal{O}(C)) \right) \\ \uparrow && \uparrow \\ \mathcal{O}(C) &\stackrel{[\hat S, -]}{\leftarrow}& Der(\mathcal{O}(C)) } \,.

More in detail, write

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

for the mapping cone on the identity:

Der(𝒪(C)) k [d 𝒪(C),] Der(𝒪(C)) k+1 ±Id Der(𝒪(C)) k1 [d 𝒪(C),] Der(𝒪(C)) k . \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 the mapping cone Cone(Der(𝒪(C))[S^,]𝒪(C))Cone\left(Der(\mathcal{O}(C)) \stackrel{[\hat S, -]}{\to} \mathcal{O}(C) \right) is

(1) Der(𝒪(C)) k [d 𝒪(C),] Der(𝒪(C)) k+1 ±[S^,] 𝒪(C) k1 [d 𝒪(C),] 𝒪(C) k . \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 Cone(Der(𝒪(C))[S^,]𝒪(C))Cone(Der(\mathcal{O}(C)) \stackrel{[\hat S, -]}{\to} \mathcal{O}(C)) as

d=[S^+d 𝒪(C),]. d = \left[ \hat S + d_{\mathcal{O}(C)} \;,\; - \right] \,.

Here the second term will be the differential of the BRST-complex of 𝔠\mathfrak{c}, whereas the sum is of the type of a differential in a BRST-BV complex.

For that to happen, however the two copies of 𝒪(C)\mathcal{O}(C) in Sym 𝒪(C)(𝒪(C))Sym_{\mathcal{O}(C)}(\mathcal{O}(C)) need to be identified, this is achived by the remaining homotopy pushout corresponding to the square on the left

𝒪(C {dS=0}) Sym 𝒪(C)(Cone(Der(𝒪(C))[S^,]𝒪(C))) 𝒪(C) Sym 𝒪(C)(𝒪(C)). \array{ \mathcal{O}(C_{\{d S = 0\}}) &\longleftarrow& Sym_{\mathcal{O}(C)} \left( Cone\left( Der(\mathcal{O}(C)) \stackrel{[\hat S, -]}{\to} \mathcal{O}(C) \right) \right) \\ \uparrow && \uparrow \\ \mathcal{O}(C) &\underset{}{\longleftarrow}& Sym_{\mathcal{O}(C)}(\mathcal{O}(C)) } \,.

Since here the morphism on the right is the pushout of a cofibration, it is itself still a cofibration, and by assumption Sym 𝒪(C)(𝒪(C))Sym_{\mathcal{O}(C)}(\mathcal{O}(C)) is cofibrant. Therefore this homotopy pushout is given by the ordinary pushout, and that yields the tensor product as in the claim.

BV-BRST complex

Traditionally the BV-BRST complex of a Lagrangian field theory is obtained by

  1. choosing a Koszul-Tate complex s KTs_{KT} resolving the shell;

  2. choosing a BRST complex s BRSTs_{BRST} exhibiting the gauge invariance

  3. appealing to homological perturbation theory, for extending the sum of the two differentials to a unified BV-BRST differential

    s BV=s KT+s BRST+more s_{BV} = s_{KT} + s_{BRST} + more

(e.g. Henneaux 90. around (50))

Vie the concept of the derived critical locus this process is systematized: Given just s BRSTs_{BRST} and the Lagrangian, both s KTs_{KT} and “more” follows (if s BRSTs_{BRST} does capture all the relevant gauge symmetries, that is) and the appearance of the antibracket finds its conceptual explanation.

Let 𝔞\mathfrak{a} be a Lie algebroid over a space XX, with Chevalley-Eilenberg algebra

𝒪(𝔞)=(Sym 𝒪(X)(c a),d 𝔞) \mathcal{O}(\mathfrak{a}) \;=\; \left( Sym_{\mathcal{O}(X)}(\langle c^a\rangle) \;,\; d_{\mathfrak{a}} \right)

with differential given by

d 𝔞:fc aR a ix if d_{\mathfrak{a}} \;:\; f \mapsto c^a R^i_a \frac{\partial}{\partial x^i} f
d 𝔞:c a12C a bcc bc c. d_{\mathfrak{a}} \;:\; c^a \mapsto \frac{1}{2} C^{a}{}_{b c} c^b \wedge c^c \,.

for functions f𝒪(X)f \in \mathcal{O}(X), infinitesimal gauge symmetries R a ix iR^i_a \frac{\partial}{\partial x^i}, gauge symmetry structure functions C a bcC^{a}{}_{b c} and ghost generators c ac^a.

The “algebra of vector fields/derivationsDer(𝒪(𝔞))Der(\mathcal{O}(\mathfrak{a})) on 𝔞\mathfrak{a} is the automorphism ∞-Lie algebra whose underlying cochain complex is

c a [d 𝔞,] x ic ac b 1 0. \array{ \left\langle \frac{\partial}{\partial c^a} \right\rangle & \overset{[d_{\mathfrak{a}}, -]}{\to} & \left\langle \frac{\partial}{\partial x^i} \right\rangle \oplus \left\langle c^a \frac{\partial}{\partial c^b} \right\rangle \\ -1 && 0 } \,.

We check on generators that

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

and

[d 𝔞,x i]=c aR a jx ix j. \begin{aligned} \left[ d_{\mathfrak{a}}, \frac{\partial}{\partial x^i} \right] = c^a \frac{\partial R_a^j}{\partial x^i} \frac{\partial}{\partial x^j} \end{aligned} \,.

Now let

S:𝔞 S \;\colon\; \mathfrak{a} \longrightarrow \mathbb{R}

be a morphism, dually a dgc-algebra homomorphism of the form

𝒪(𝔞)𝒪():S *. \mathcal{O}(\mathfrak{a}) \longleftarrow \mathcal{O}(\mathbb{R}) \;\colon\; S^* \,.

This is equivalently a function

S:X S \;\colon\; X \longrightarrow \mathbb{R}

which is gauge invariant

d 𝔞S =c aR a ix iS =0. \begin{aligned} d_{\mathfrak{a}} S & = c^a R_a^i \frac{\partial}{\partial x^i} S \\ & = 0 \end{aligned} \,.

We have a contraction homomorphism of 𝒪(𝔞)\mathcal{O}(\mathfrak{a})-modules

ι dS:Der(𝒪(𝔞))𝒪(𝔞). \iota_{d S} \;\colon\; Der(\mathcal{O}(\mathfrak{a})) \longrightarrow \mathcal{O}(\mathfrak{a}) \,.

and may form its mapping cone (1)

c a [d 𝔞,] c ac bx i ι dS 𝒪(X) d 𝔞 c a 2 1 0 1. \array{ \left\langle \frac{\partial}{\partial c^a} \right\rangle &\stackrel{[d_{\mathfrak{a}}, -]}{\longrightarrow}& \left\langle c^a \frac{\partial}{\partial c^b} \right\rangle \oplus \left\langle \frac{\partial}{\partial x^i} \right\rangle \\ && &\searrow^{\mathrlap{\iota_{d S}}}& \\ && && \mathcal{O}(X) &\stackrel{d_{\mathfrak{a}}}{\to}& \left\langle c^a \right\rangle \\ -2 && -1 && 0 && 1 } \,.

On the free algebra of this

Sym 𝒪(X)(Der(𝒪(𝔞))[1]ι dS𝒪(X)c a)) Sym_{\mathcal{O}(X)} \left( Der(\mathcal{O}(\mathfrak{a}))[-1] \stackrel{\iota_{d S}}{\to} \mathcal{O}(X)\oplus \langle c^a\rangle) \right)

we have the differential given on generators by

c aR a ix i+C b acc cc 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}
x iSx i+c aR a jx ix 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 ic aR a i x^i \mapsto c^a R_a^i
c a12C a bcc bc c c^a \mapsto \frac{1}{2}C^a{}_{b c} c^b \wedge c^c

and similarly after tensoring in order to identify the extra copy of 𝒪(X)\mathcal{O}(X) with the base 𝒪(X)\mathcal{O}(X).

If R a\langle R_a\rangle is the full kernel of ι dS:Der(C (X))C (X)\iota_{d S} : Der(C^\infty(X)) \to C^\infty(X) and there are no further relations, then this is the full BRST-BV complex of SS.

References

The above material is adapted from

(taking into account a correction provided by Vincent Schlegel)

aimed at providing proof for the claim in

See also

Revised on October 9, 2017 05:53:28 by Urs Schreiber (46.183.103.17)