We will discuss in this paper some aspects of a general program whose goal is the development of the theory of definable actions of Polish groups, the structure and classification of their orbit spaces, and the closely related study of definable equivalence relations. This work is motivated by basic foundational questions, like understanding the nature of complete classification of mathematical objects up to some notion of equivalence by invariants, and creating a mathematical framework for measuring the complexity of such classification problems. This theory, which has been growing rapidly over the last few years, is developed within the context of descriptive set theory, which provides the basic underlying concepts and methods. On the other hand, in view of the broad scope of this theory, there are natural interactions of it with other areas of mathematics, such as the theory of topological groups, topological dynamics, ergodic theory and its relationships with the theory of operator algebras, model theory, and recursion theory.

Classically, in various branches of dynamics one studies actions of the groups of integers ℤ, reals ℝ, Lie groups, or even more generally (second countable) locally compact groups. One of the goals of the theory is to expand this scope by considering the more comprehensive class of Polish groups (separable completely metrizable topological groups), which seems to be the widest class of well-behaved (for our purposes) groups and which includes practically every type of topological group we are interested in.