Contemporary quantum field theory is mainly developed as quantization of classical fields. Therefore, classical field theory and its BRST extension is the necessary step towards quantum field theory. This book aims to provide a complete mathematical foundation of Lagrangian classical field theory and its BRST extension for the purpose of quantization. Based on the standard geometric formulation of theory of nonlinear differential operators, Lagrangian field theory is treated in a very general setting. Reducible degenerate Lagrangian theories of even and odd fields on an arbitrary smooth manifold are considered. The second Noether theorems generalized to these theories and formulated in the homology terms provide the strict mathematical formulation of BRST extended classical field theory. The most physically relevant field theories gauge theory on principal bundles, gravitation theory on natural bundles, theory of spinor fields and topological field theory are presented in a complete way.

This book is designed for theoreticians and mathematical physicists specializing in field theory. The authors have tried throughout to provide the necessary mathematical background, thus making the exposition self-contained.

The geometric formulation of autonomous Hamiltonian mechanics in the terms of symplectic and Poisson manifolds is generally accepted. The literature on this subject is extensive. The present book provides the geometric formulation of non-autonomous mechanics in a general setting of time-dependent coordinate and reference frame transformations. This formulation of mechanics as like as that of classical field theory lies in the framework of general theory of dynamic systems, and Lagrangian and Hamiltonian formalisms on fiber bundles. The reader will find a strict mathematical exposition of non-autonomous dynamic systems, Lagrangian and Hamiltonian non-relativistic mechanics, relativistic mechanics, quantum non-autonomous mechanics, together with a number of advanced models - superintegrable systems, non-autonomous constrained systems, theory of Jacobi fields, mechanical systems with time-dependent parameters, non-adiabatic Berry phase theory, instantwise quantization, and quantization relative to different reference frames.