In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, equivariant topology is the study of
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poin ...
s that possess certain symmetries. In studying topological spaces, one often considers
continuous maps , and while equivariant topology also considers such maps, there is the additional constraint that each map "respects symmetry" in both its
domain
Domain may refer to:
Mathematics
*Domain of a function, the set of input values for which the (total) function is defined
** Domain of definition of a partial function
** Natural domain of a partial function
**Domain of holomorphy of a function
* ...
and
target
Target may refer to:
Physical items
* Shooting target, used in marksmanship training and various shooting sports
** Bullseye (target), the goal one for which one aims in many of these sports
** Aiming point, in field artillery, fi ...
space.
The notion of symmetry is usually captured by considering a
group action
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism ...
of a
group on
and
and requiring that
is
equivariant under this action, so that
for all
, a property usually denoted by
. Heuristically speaking, standard
topology
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...
views two spaces as equivalent "up to deformation," while equivariant topology considers spaces equivalent up to deformation so long as it pays attention to any symmetry possessed by both spaces. A famous theorem of equivariant topology is the
Borsuk–Ulam theorem, which asserts that every
-equivariant map
necessarily vanishes.
Induced ''G''-bundles
An important construction used in
equivariant cohomology In mathematics, equivariant cohomology (or ''Borel cohomology'') is a cohomology theory from algebraic topology which applies to topological spaces with a ''group action''. It can be viewed as a common generalization of group cohomology and an ordi ...
and other applications includes a naturally occurring group bundle (see
principal bundle
In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equi ...
for details).
Let us first consider the case where
acts
freely on
. Then, given a
-equivariant map
, we obtain sections
given by