Reductive G-structures and Lie derivatives
arXiv:math/0201235 · doi:10.1016/S0393-0440(02)00174-2
Abstract
Reductive G-structures on a principal bundle Q are considered. It is shown that these structures, i.e. reductive G-subbundles P of Q, admit a canonical decomposition of the pull-back vector bundle over P. For classical G-structures, i.e. reductive G-subbundles of the linear frame bundle, such a decomposition defines an infinitesimal canonical lift. This lift extends to a prolongation -structure on P. In this general geometric framework the theory of Lie derivatives is considered. Particular emphasis is given to the morphisms which must be taken in order to state what kind of Lie derivative has to be chosen. On specializing the general theory of gauge-natural Lie derivatives of spinor fields to the case of the Kosmann lift, we recover the result originally found by Kosmann. We also show that in the case of a reductive G-structure one can introduce a "reductive Lie derivative" with respect to a certain class of generalized infinitesimal automorphisms. This differs, in general, from the gauge-natural one, and we conclude by showing that the "metric Lie derivative" introduced by Bourguignon and Gauduchon is in fact a particular kind of reductive rather than gauge-natural Lie derivative.
LaTeX (21 pages, 3 runs); corrected typos and some notational inconsistencies in the last part of section 5 (current version incorporates the Erratum)
Cited by in corpus (10)
- Higgs branch localization in three dimensions
- Charges and Energy in Chern-Simons Theories and Lovelock Gravity
- Covariant gauge-natural conservation laws
- Lie Algebroids and the Geometry of Off-shell BRST
- Lagrangian reductive structures on gauge-natural bundles
- Classical field theory. Advanced mathematical formulation
- Dirac operator on spinors and diffeomorphisms
- Spinor Lie derivatives and Fermion stress-energies
- Inducing Barbero-Immirzi Connections along SU(2)-reductions of Bundles on Spacetime
- Polar form of Dirac fields: implementing symmetries via Lie derivative