Equivariant map

Last updated February 09, 2024

In mathematics, equivariance is a form of symmetry for functions from one space with symmetry to another (such as symmetric spaces). A function is said to be an equivariant map when its domain and codomain are acted on by the same symmetry group, and when the function commutes with the action of the group. That is, applying a symmetry transformation and then computing the function produces the same result as computing the function and then applying the transformation.

In statistical inference, equivariance under statistical transformations of data is an important property of various estimation methods; see invariant estimator for details. In pure mathematics, equivariance is a central object of study in equivariant topology and its subtopics equivariant cohomology and equivariant stable homotopy theory.

Examples

Elementary geometry

The centroid of a triangle (where the three red segments meet) is equivariant under affine transformations: the centroid of a transformed triangle is the same point as the transformation of the centroid of the triangle. Triangle.Centroid.svg — The centroid of a triangle (where the three red segments meet) is equivariant under affine transformations: the centroid of a transformed triangle is the same point as the transformation of the centroid of the triangle.

In the geometry of triangles, the area and perimeter of a triangle are invariants under Euclidean transformations: translating, rotating, or reflecting a triangle does not change its area or perimeter. However, triangle centers such as the centroid, circumcenter, incenter and orthocenter are not invariant, because moving a triangle will also cause its centers to move. Instead, these centers are equivariant: applying any Euclidean congruence (a combination of a translation and rotation) to a triangle, and then constructing its center, produces the same point as constructing the center first, and then applying the same congruence to the center. More generally, all triangle centers are also equivariant under similarity transformations (combinations of translation, rotation, reflection, and scaling),^[1] and the centroid is equivariant under affine transformations.^[2]

The same function may be an invariant for one group of symmetries and equivariant for a different group of symmetries. For instance, under similarity transformations instead of congruences the area and perimeter are no longer invariant: scaling a triangle also changes its area and perimeter. However, these changes happen in a predictable way: if a triangle is scaled by a factor of $s$ , the perimeter also scales by $s$ and the area scales by $s 2$ . In this way, the function mapping each triangle to its area or perimeter can be seen as equivariant for a multiplicative group action of the scaling transformations on the positive real numbers.

Statistics

Another class of simple examples comes from statistical estimation. The mean of a sample (a set of real numbers) is commonly used as a central tendency of the sample. It is equivariant under linear transformations of the real numbers, so for instance it is unaffected by the choice of units used to represent the numbers. By contrast, the mean is not equivariant with respect to nonlinear transformations such as exponentials.

The median of a sample is equivariant for a much larger group of transformations, the (strictly) monotonic functions of the real numbers. This analysis indicates that the median is more robust against certain kinds of changes to a data set, and that (unlike the mean) it is meaningful for ordinal data.^[3]

The concepts of an invariant estimator and equivariant estimator have been used to formalize this style of analysis.

Representation theory

In the representation theory of finite groups, a vector space equipped with a group that acts by linear transformations of the space is called a linear representation of the group. A linear map that commutes with the action is called an intertwiner. That is, an intertwiner is just an equivariant linear map between two representations. Alternatively, an intertwiner for representations of a group $G$ over a field $K$ is the same thing as a module homomorphism of $K [G]$ -modules, where $K [G]$ is the group ring of G.^[4]

Under some conditions, if X and Y are both irreducible representations, then an intertwiner (other than the zero map) only exists if the two representations are equivalent (that is, are isomorphic as modules). That intertwiner is then unique up to a multiplicative factor (a non-zero scalar from $K$ ). These properties hold when the image of $K [G]$ is a simple algebra, with centre $K$ (by what is called Schur's lemma: see simple module). As a consequence, in important cases the construction of an intertwiner is enough to show the representations are effectively the same.^[5]

Formalization

Equivariance can be formalized using the concept of a $G$ -set for a group $G$ . This is a mathematical object consisting of a mathematical set $S$ and a group action (on the left) of $G$ on $S$ . If $X$ and $Y$ are both $G$ -sets for the same group $G$ , then a function $f : X \to Y$ is said to be equivariant if

f (g \cdot x) = g \cdot f (x)

for all $g \in G$ and all $x in X$ .^[6]

If one or both of the actions are right actions the equivariance condition may be suitably modified:

f (x \cdot g) = f (x) \cdot g

; (right-right)

f (x \cdot g) = g - 1 \cdot f (x)

; (right-left)

f (g \cdot x) = f (x) \cdot g - 1

; (left-right)

Equivariant maps are homomorphisms in the category of G-sets (for a fixed G).^[7] Hence they are also known as G-morphisms,^[7]G-maps,^[8] or G-homomorphisms.^[9] Isomorphisms of G-sets are simply bijective equivariant maps.^[7]

The equivariance condition can also be understood as the following commutative diagram. Note that $g\cdot$ denotes the map that takes an element $z$ and returns $g\cdot z$ .

Generalization

Equivariant maps can be generalized to arbitrary categories in a straightforward manner. Every group G can be viewed as a category with a single object (morphisms in this category are just the elements of G). Given an arbitrary category C, a representation of G in the category C is a functor from G to C. Such a functor selects an object of C and a subgroup of automorphisms of that object. For example, a G-set is equivalent to a functor from G to the category of sets, Set, and a linear representation is equivalent to a functor to the category of vector spaces over a field, Vect_K.

Given two representations, ρ and σ, of G in C, an equivariant map between those representations is simply a natural transformation from ρ to σ. Using natural transformations as morphisms, one can form the category of all representations of G in C. This is just the functor category C^G.

For another example, take C = Top, the category of topological spaces. A representation of G in Top is a topological space on which G acts continuously. An equivariant map is then a continuous map f : X → Y between representations which commutes with the action of G.

Related Research Articles

In mathematics, an associative algebraA over a commutative ring K is a ring A together with a ring homomorphism from K into the center of A. This is thus an algebraic structure with an addition, a multiplication, and a scalar multiplication. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a module or vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over K. A standard first example of a K-algebra is a ring of square matrices over a commutative ring K, with the usual matrix multiplication.

In the mathematical field of representation theory, group representations describe abstract groups in terms of bijective linear transformations of a vector space to itself ; in particular, they can be used to represent group elements as invertible matrices so that the group operation can be represented by matrix multiplication.

In mathematics, many sets of transformations form a group under function composition; for example, the rotations around a point in the plane. It is often useful to consider the group as an abstract group, and to say that one has a group action of the abstract group that consists of performing the transformations of the group of transformations. The reason for distinguishing the group from the transformations is that, generally, a group of transformations of a structure acts also on various related structures; for example, the above rotation group acts also on triangles by transforming triangles into triangles.

In commutative algebra, the prime spectrum of a commutative ring R is the set of all prime ideals of R, and is usually denoted by $; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings .$

In mathematics, especially representation theory, a quiver is another name for a multidigraph; that is, a directed graph where loops and multiple arrows between two vertices are allowed. Quivers are commonly used in representation theory: a representation $V$ of a quiver assigns a vector space $V (x)$ to each vertex $x$ of the quiver and a linear map $V (a)$ to each arrow $a$ .

In group theory, the induced representation is a representation of a group, $G$ , which is constructed using a known representation of a subgroup $H$ . Given a representation of $H$ , the induced representation is, in a sense, the "most general" representation of $G$ that extends the given one. Since it is often easier to find representations of the smaller group $H$ than of $G$ , the operation of forming induced representations is an important tool to construct new representations.

In the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the geometry of the principal bundle is tied to the geometry of the base manifold using a solder form. Cartan connections describe the geometry of manifolds modelled on homogeneous spaces.

In mathematics, a group scheme is a type of object from algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The category of group schemes is somewhat better behaved than that of group varieties, since all homomorphisms have kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The initial development of the theory of group schemes was due to Alexander Grothendieck, Michel Raynaud and Michel Demazure in the early 1960s.

In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures in a one-to-one fashion, often by means of an involution operation: if the dual of $A$ is $B$ , then the dual of $B$ is $A$ . Such involutions sometimes have fixed points, so that the dual of $A$ is $A$ itself. For example, Desargues' theorem is self-dual in this sense under the standard duality in projective geometry.

In mathematics, the symmetric algebra $S (V)$ (also denoted $Sym(V))$ on a vector space $V$ over a field $K$ is a commutative algebra over $K$ that contains $V$ , and is, in some sense, minimal for this property. Here, "minimal" means that $S (V)$ satisfies the following universal property: for every linear map $f$ from $V$ to a commutative algebra $A$ , there is a unique algebra homomorphism $g : S (V) \to A$ such that $f = g \circ i$ , where $i$ is the inclusion map of $V$ in $S (V)$ .

In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures allowing one to utilize, as much as possible, knowledge about the category of sets in other settings.

In mathematics, an invariant is a property of a mathematical object which remains unchanged after operations or transformations of a certain type are applied to the objects. The particular class of objects and type of transformations are usually indicated by the context in which the term is used. For example, the area of a triangle is an invariant with respect to isometries of the Euclidean plane. The phrases "invariant under" and "invariant to" a transformation are both used. More generally, an invariant with respect to an equivalence relation is a property that is constant on each equivalence class.

In mathematics, Tannaka–Krein duality theory concerns the interaction of a compact topological group and its category of linear representations. It is a natural extension of Pontryagin duality, between compact and discrete commutative topological groups, to groups that are compact but noncommutative. The theory is named after Tadao Tannaka and Mark Grigorievich Krein. In contrast to the case of commutative groups considered by Lev Pontryagin, the notion dual to a noncommutative compact group is not a group, but a category of representations Π(G) with some additional structure, formed by the finite-dimensional representations of G.

In mathematics, a Tannakian category is a particular kind of monoidal category C, equipped with some extra structure relative to a given field K. The role of such categories C is to generalise the category of linear representations of an algebraic group G defined over K. A number of major applications of the theory have been made, or might be made in pursuit of some of the central conjectures of contemporary algebraic geometry and number theory.

In mathematics, the category of rings, denoted by Ring, is the category whose objects are rings and whose morphisms are ring homomorphisms. Like many categories in mathematics, the category of rings is large, meaning that the class of all rings is proper.

Representation theory is a branch of mathematics that studies abstract algebraic structures by representing their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and their algebraic operations. The theory of matrices and linear operators is well-understood, so representations of more abstract objects in terms of familiar linear algebra objects helps glean properties and sometimes simplify calculations on more abstract theories.

Mathematics is a broad subject that is commonly divided in many areas that may be defined by their objects of study, by the used methods, or by both. For example, analytic number theory is a subarea of number theory devoted to the use of methods of analysis for the study of natural numbers.

This is a glossary of representation theory in mathematics.

In representation theory, the category of representations of some algebraic structure A has the representations of A as objects and equivariant maps as morphisms between them. One of the basic thrusts of representation theory is to understand the conditions under which this category is semisimple; i.e., whether an object decomposes into simple objects.

In mathematics, the automorphism group of an object X is the group consisting of automorphisms of X under composition of morphisms. For example, if X is a finite-dimensional vector space, then the automorphism group of X is the group of invertible linear transformations from X to itself. If instead X is a group, then its automorphism group $is the group consisting of all group automorphisms of X .$

References

↑ Kimberling, Clark (1994), "Central Points and Central Lines in the Plane of a Triangle", Mathematics Magazine , 67 (3): 163–187, doi:10.2307/2690608, JSTOR 2690608, MR 1573021 . "Similar triangles have similarly situated centers", p. 164.
↑ The centroid is the only affine equivariant center of a triangle, but more general convex bodies can have other affine equivariant centers; see e.g. Neumann, B. H. (1939), "On some affine invariants of closed convex regions", Journal of the London Mathematical Society, Second Series, 14 (4): 262–272, doi:10.1112/jlms/s1-14.4.262, MR 0000978 .
↑ Sarle, Warren S. (September 14, 1997), Measurement theory: Frequently asked questions (Version 3) (PDF), SAS Institute Inc.. Revision of a chapter in Disseminations of the International Statistical Applications Institute (4th ed.), vol. 1, 1995, Wichita: ACG Press, pp. 61–66.
↑ Fuchs, Jürgen; Schweigert, Christoph (1997), Symmetries, Lie algebras and representations: A graduate course for physicists, Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, p. 70, ISBN 0-521-56001-2, MR 1473220 .
↑ Sexl, Roman U.; Urbantke, Helmuth K. (2001), Relativity, groups, particles: Special relativity and relativistic symmetry in field and particle physics, Springer Physics, Vienna: Springer-Verlag, p. 165, doi:10.1007/978-3-7091-6234-7, ISBN 3-211-83443-5, MR 1798479 .
↑ Pitts, Andrew M. (2013), Nominal Sets: Names and Symmetry in Computer Science, Cambridge Tracts in Theoretical Computer Science, vol. 57, Cambridge University Press, Definition 1.2, p. 14, ISBN 9781107244689 .
1 2 3 Auslander, Maurice; Buchsbaum, David (2014), Groups, Rings, Modules, Dover Books on Mathematics, Dover Publications, pp. 86–87, ISBN 9780486490823 .
↑ Segal, G. B. (1971), "Equivariant stable homotopy theory", Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 2, Gauthier-Villars, Paris, pp. 59–63, MR 0423340 .
↑ Adhikari, Mahima Ranjan; Adhikari, Avishek (2014), Basic modern algebra with applications, New Delhi: Springer, p. 142, doi:10.1007/978-81-322-1599-8, ISBN 978-81-322-1598-1, MR 3155599 .

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Kimberling, Clark (1994), "Central Points and Central Lines in the Plane of a Triangle", Mathematics Magazine , 67 (3): 163–187, doi:10.2307/2690608, JSTOR 2690608, MR 1573021 . "Similar triangles have similarly situated centers", p. 164.

[2] The centroid is the only affine equivariant center of a triangle, but more general convex bodies can have other affine equivariant centers; see e.g. Neumann, B. H. (1939), "On some affine invariants of closed convex regions", Journal of the London Mathematical Society, Second Series, 14 (4): 262–272, doi:10.1112/jlms/s1-14.4.262, MR 0000978 .

[3] Sarle, Warren S. (September 14, 1997), Measurement theory: Frequently asked questions (Version 3) (PDF), SAS Institute Inc.. Revision of a chapter in Disseminations of the International Statistical Applications Institute (4th ed.), vol. 1, 1995, Wichita: ACG Press, pp. 61–66.

[4] Fuchs, Jürgen; Schweigert, Christoph (1997), Symmetries, Lie algebras and representations: A graduate course for physicists, Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, p. 70, ISBN 0-521-56001-2, MR 1473220 .

[5] Sexl, Roman U.; Urbantke, Helmuth K. (2001), Relativity, groups, particles: Special relativity and relativistic symmetry in field and particle physics, Springer Physics, Vienna: Springer-Verlag, p. 165, doi:10.1007/978-3-7091-6234-7, ISBN 3-211-83443-5, MR 1798479 .

[6] Pitts, Andrew M. (2013), Nominal Sets: Names and Symmetry in Computer Science, Cambridge Tracts in Theoretical Computer Science, vol. 57, Cambridge University Press, Definition 1.2, p. 14, ISBN 9781107244689 .

[grm-7] 1 2 3 Auslander, Maurice; Buchsbaum, David (2014), Groups, Rings, Modules, Dover Books on Mathematics, Dover Publications, pp. 86–87, ISBN 9780486490823 .

[8] Segal, G. B. (1971), "Equivariant stable homotopy theory", Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 2, Gauthier-Villars, Paris, pp. 59–63, MR 0423340 .

[9] Adhikari, Mahima Ranjan; Adhikari, Avishek (2014), Basic modern algebra with applications, New Delhi: Springer, p. 142, doi:10.1007/978-81-322-1599-8, ISBN 978-81-322-1598-1, MR 3155599 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]