We analyze different approaches to quantum gravity. It is stressed that nonperturbative methods to quantise gravity and the usage of diffeomorphism-invariant variables are very important. We pay attention on the Wheeler--DeWitt equation in the framework of canonical quantum gravity. The Wheeler--DeWitt equation is presented in the first order formalism with the hope that this form can solve some problems such as singularities and the ordering. Also, there is a problem of defining the time.

When discussing the gauge symmetries of any theory, the Henneaux-Teitelboim transformations are often underappreciated or even completely ignored, due to their on-shell triviality. Nevertheless, these gauge transformations play an important role in understanding the structure of the full gauge symmetry group of any theory, especially regarding the subgroup of diffeomorphisms. We give a review of the Henneaux-Teitelboim transformations and the resulting gauge group in the general case, and then discuss its role in the applications to the class of topological theories called nBF models, relevant for the constructions of higher gauge theories and quantum gravity.

The article is devoted to infinitesimal transformations. We have obtained that LCK-manifolds do not admit nontrivial infinitesimal projective transformations. Then we study infinitesimal conformal transformations of LCK-manifolds. We have found the expression for the Lie derivative of a Lee form. Also we have obtained the system of partial differential equations for the transformations, and explored its integrability conditions. Hence we have got the necessary and sufficient conditions in order that the an LCK-manifold admits a group of conformal motions. Also we have calculated the number of parameters which the group depends on. We have proved that a group of conformal motions admitted by an LCK-manifold is isomorphic to a homothetic group admitted by corresponding K\"{a}hlerian metric. We also established that an isometric group of an LCK-manifold is isomorphic to a some subgroup of homothetic group of the coresponding local K\"{a}hlerian metric.

We review a modern differential geometric description of the fluid isotropic motion and featuring it the diffeomorphism group structure, modelling the related dynamics, as well as its compatibility with the quasi-stationary thermodynamical constraints. There is analyzed the adiabatic liquid dynamics, within which, following the general approach, there is explained in detail, the nature of the related Poissonian structure on the fluid motion phase space, as a semidirect Banach groups product, and a natural reduction of the canonical symplectic structure on its cotangent space to the classical Lie-Poisson bracket on the adjoint space to the corresponding semidirect Lie algebras product. We also present a modification of the Hamiltonian analysis in case of the isotermal liquid dynamics. We study the differential-geometric structure of the adiabatic magneto-hydrodynamic superfluid phase space and its related motion within the Hamiltonian analysis and invariant theory. In particular, we construct an infinite hierarchies of different kinds of integral magneto-hydrodynamic invariants, generalizing those before constructed in the literature, and analyze their differential-geometric origins. A charged liquid dynamics on the phase space invariant with respect to an abelian gauge group transformation is also investigated, some generalization of the canonical Lie-Poisson type bracket is obtained.