higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
In variational calculus, the variational bicomplex of a fiber bundle serves to give a local description of the variational derivative $\delta$. In applications one is typically interested in 1) specifying a differential equation which carves out its solution locus (diffiety) inside the jet bundle and 2) forming the quotient by infinitesimal symmetries of the PDE. Moreover, it is usually useful to perform both these operations in homotopy theory/higher differential geometry. Using tools from homological algebra, under suitable conditions the resulting combined homotopy intersection in and homotopy quotient is modeled by a combination of the variational bicomplex with a local BV-BRST complex.
Let $(E,\mathbf{L})$ be a Lagrangian field theory (this def.) equipped with a gauge parameter bundle $\mathcal{G}$ ([this def.](geometry+of+physics++A+first+idea+of+quantum+field+theory#GaugeParametrizedInfinitesimalGaugeTransformation)) which is closed (this def..). Consider the from this example, whose is the of the theory.]
Then its Weil algebra $W(E/(\mathcal{G} \times_\Sigma T \Sigma))$ has as differential the variational derivative (this def.) plus the BRST differential
Therefore we speak of the variational BRST-bicomplex and write
Similarly, the Weil algebra of the derived prolonged shell $\mathcal{E}^\infty_{BV}$ (this def.) has differential
Since $s$ is the BV-BRST differential this defines the “BV-BRST variational bicomplex”.
Created on December 13, 2017 at 13:23:04. See the history of this page for a list of all contributions to it.