Fact-checked by Grok 2 weeks ago

Equivariant map

In mathematics, an equivariant map, also known as a G-equivariant map, is a function between two mathematical objects equipped with actions of a group G that preserves the group action, satisfying f(g · x) = g · f(x) for all g ∈ G and x in the domain.^[1] This concept arises in the study of symmetries and is fundamental across various branches of mathematics, including algebra, topology, and geometry, where it ensures compatibility between structures under group transformations.^[2] For G-sets—sets X and Y with left actions of a finite group G—a G-equivariant map f: X → Y is precisely a function that intertwines the actions, and such maps form the morphisms in the category of G-sets.^[1] Isomorphisms in this category are bijective equivariant maps, which identify G-sets up to relabeling that respects the group action.^[1] In the context of representation theory, when X and Y are vector spaces V and W over a field k with linear representations ρ: G → GL(V) and ρ': G → GL(W), a G-equivariant map is a linear transformation τ: V → W such that ρ'(g) ∘ τ = τ ∘ ρ(g) for all g ∈ G; these are also called intertwiners and play a central role in determining when representations are equivalent or isomorphic.^[2] Equivariant maps extend to more advanced settings, such as equivariant topology, where they describe continuous maps between G-spaces that commute with the group action, enabling the development of equivariant homotopy theory and cohomology to study fixed points and orbit spaces.^[3] In algebraic geometry and Lie theory, they appear in the study of equivariant sheaves and map algebras, generalizing structures like loop algebras while preserving symmetries.^[4] Key properties include the formation of Hom_G(V, W), the space of equivariant maps, which is itself a representation of G, and Schur's lemma, stating that for irreducible representations over algebraically closed fields, this space is either zero or one-dimensional.^[2] These maps are essential for decomposing representations into irreducibles and analyzing symmetry in physical and computational models.^[2]

Definition and Formalism

Set-Theoretic Definition

A G-set is a set X together with a group action of a group G on X, which is a map \cdot: G \times X \to X satisfying the axioms that the identity element e \in G acts as the identity map, i.e., e \cdot x = x for all x \in X, and the action is compatible with the group operation, i.e., g_1 \cdot (g_2 \cdot x) = (g_1 g_2) \cdot x for all g_1, g_2 \in G and x \in X.^[5] This structure equips the set with a compatible symmetry from the group, allowing elements of G to permute the points of X in a way that respects the group's multiplication.^[5] Given two G-sets X and Y, a map f: X \to Y is G-equivariant if it commutes with the group actions, meaning f(g \cdot x) = g \cdot f(x) for all g \in [G](/page/G) and x \in X.^[6] This condition ensures that f preserves the symmetries imposed by [G](/page/G), mapping orbits in X to orbits in Y consistently.^[6] The equivariance property can be visualized via a commutative diagram:

\begin{CD} X @>f>> Y \\ @V{g \cdot}VV @VV{g \cdot}V \\ X @>f>> Y \end{CD}

for each g \in G, where the vertical maps denote the action of g and the diagram commutes.^[5] Equivariant maps provide a framework for studying invariants under group actions. The fixed point set X^G = \{ x \in X \mid g \cdot x = x \ \forall g \in G \} is a sub G-set with the trivial action, and the inclusion map X^G \to X is G-equivariant.^[6] Invariant subsets are subsets S \subseteq X such that g \cdot S = S for all g \in G; these are precisely the unions of orbits.^[5]

Categorical Perspective

In category theory, the concept of an equivariant map is formalized within the framework of categories equipped with group actions, where such maps serve as the morphisms preserving the structure of the action. Specifically, for a group G, the category \mathbf{Set}^G has as objects the G-sets (sets equipped with a left G-action) and as morphisms the G-equivariant maps, which are functions f: X \to Y satisfying f(g \cdot x) = g \cdot f(x) for all g \in G and x \in X.^[7] This perspective views equivariant maps as natural transformations when G-sets are interpreted as functors from the delooping category BG (the one-object category with morphisms given by elements of G) to the category of sets \mathbf{Set}; a natural transformation between such functors then corresponds precisely to a G-equivariant map. This categorical viewpoint generalizes beyond sets to arbitrary categories with G-actions, where objects are G-objects (functors from [BG](/page/BG) to a base category \mathcal{C}) and morphisms are G-equivariant maps, again realized as natural transformations commuting with the group action. The structure is functorial: there exists a forgetful functor U: \mathbf{Set}^G \to \mathbf{Set} that sends a G-set to its underlying set and an equivariant map to its underlying function, while the action itself arises from a functor [G](/page/G) \times (-) : \mathbf{Set}^G \to \mathbf{Set}^G that postcomposes with the group action; equivariant maps are precisely those that commute with this action functor, ensuring compatibility under the forgetful functor.^[7] A concrete example arises in representation theory, where the category of representations of G over a field k, denoted \mathbf{Vect}_k^G, has objects as k-vector spaces with a linear G-action (i.e., functors BG \to \mathbf{Vect}_k) and morphisms as linear G-equivariant maps, which preserve both the vector space structure and the group action. The origins of equivariant maps trace back to early 20th-century work on group representations, initiated by Frobenius in 1896, with further developments by Schur and others focusing on linear actions.^[8] Their categorical formalization emerged in the mid-20th century alongside the development of category theory by Eilenberg and Mac Lane in the 1940s, with systematic exposition in texts like Mac Lane's 1971 monograph.^[9]

Examples and Applications

Geometric Examples

One prominent geometric example of an equivariant map arises in affine geometry, where the centroid of a triangle serves as an \mathrm{Aff}(n)-equivariant map from the space of convex bodies to \mathbb{R}^n. For a triangle with vertices v_1, v_2, v_3 \in \mathbb{R}^n, the centroid is given by c = \frac{v_1 + v_2 + v_3}{3}, the arithmetic mean of the vertices. This map commutes with the action of the affine group \mathrm{Aff}(n), consisting of invertible affine transformations g(x) = Ax + b with A \in \mathrm{GL}(n, \mathbb{R}) and b \in \mathbb{R}^n: applying g to the triangle yields vertices g(v_i), and the centroid of the transformed triangle is g(c). This property holds because the centroid is an affine invariant point for simplices like triangles, corresponding to the uniform barycentric combination, ensuring the map preserves the symmetry structure under translations, linear transformations, and scalings.^[10]^[11] In Euclidean geometry, equivariant maps illustrate how symmetries extend to include scalings via the similarity group, which combines isometries (rotations, translations, reflections) with uniform scalings by a factor s > 0. The perimeter function on plane figures, such as polygons, is equivariant under this group: a similarity transformation with scale factor s maps a figure K to sK, and the perimeter satisfies p(sK) = s \cdot p(K), where the group acts on the codomain \mathbb{R} by multiplication by s. In contrast, the area function a(K) scales by s^2, making it equivariant with respect to the action s \cdot r = s^2 r on \mathbb{R}, highlighting how different multipliers capture the dimensional scaling in geometric measures while commuting with the group action. These examples demonstrate how equivariant maps adapt invariants like length and area to non-rigid symmetries, preserving relational properties across transformed figures. A concrete illustration in plane geometry involves rotation-equivariant maps, such as central inversion (reflection through the origin, which coincides with the center of mass when shapes are centered). For a point set X \subset \mathbb{R}^2 with centroid at the origin, the map f(x) = -x reflects each point through the center of mass. This is \mathrm{SO}(2)-equivariant because rotations R \in \mathrm{SO}(2) commute with inversion: f(Rx) = -Rx = R(-x) = R f(x). Such maps maintain the shape's orientation-reversed symmetry, useful for analyzing rotational invariance in centered configurations like balanced polygons. In three-dimensional Euclidean space, equivariant maps under the rotation group \mathrm{SO}(3) play a key role in preserving geometric invariants like distances and angles during rigid motions. For instance, the identity map on \mathbb{R}^3 is \mathrm{SO}(3)-equivariant, as rotations preserve Euclidean distances \|Rx - Ry\| = \|x - y\| and angles between vectors via the inner product \langle Rx, Ry \rangle = \langle x, y \rangle. More generally, linear maps transforming under the group's adjoint representation, such as those used in spherical convolutions, ensure that features like inter-point distances and dihedral angles remain consistent after rotation, facilitating symmetry-aware processing of 3D objects like molecules or crystals.^[12] Visually, applying an \mathrm{SO}(3)-equivariant map to a rotated tetrahedron yields a transformed output where edge lengths and face angles match the original's under the same rotation, underscoring how these maps embed rotational symmetries into geometric computations without distorting intrinsic measures.

Statistical Applications

In statistics, equivariant maps play a crucial role in ensuring that estimators respect the symmetries inherent in the data-generating process, leading to more robust and interpretable inference. A prominent example is the sample mean as a location estimator, which is equivariant under translations of the data. Specifically, if the data vector \mathbf{X} is shifted by a constant vector \mathbf{v}, the sample mean \bar{\mathbf{X}} transforms to \bar{\mathbf{X}} + \mathbf{v}, preserving the structure of the location parameter. This property holds more generally under affine transformations in multivariate settings, where the estimator adjusts predictably to maintain consistency with the group action.^[13] The median provides another key illustration of equivariance, particularly in the context of scale and monotonicity. As an estimator of central tendency, the sample median is equivariant under strictly increasing transformations of the data, meaning that applying such a transformation f to each observation yields a median of f applied to the original median. This robustness to nonlinear distortions, such as those arising from measurement scales or outlier-resistant modeling, distinguishes the median from the mean and enhances its utility in non-normal distributions. For instance, in one-dimensional data, this ensures that the estimator's order-preserving nature aligns with the transformation's monotonicity.^[14] A fundamental distinction exists between equivariant and invariant estimators in statistical applications. Invariant estimators, such as the sample correlation coefficient, remain unchanged under group actions like location-scale transformations; for bivariate data (X_i, Y_i), applying affine shifts and scalings to both variables leaves the Pearson correlation unaltered, capturing dependence structure independently of units. In contrast, equivariant estimators transform in a manner mirroring the parameter's change under the same group, enabling predictable adjustments for symmetric inference. This dichotomy underpins decision-theoretic frameworks where equivariance ensures risk constancy across orbits. In multivariate statistics, equivariant maps facilitate the development of tests under orthogonal group actions, particularly for data assumed to follow spherical distributions. Here, the orthogonal group O(p) acts by rotations, preserving the sphericity of covariance structures. Equivariant tests, such as those for testing homogeneity of means in spherical models, transform the test statistic under rotations to match the parameter space, yielding distribution-free procedures with controlled error rates. This approach is essential for high-dimensional data where isotropy assumptions simplify hypothesis testing while respecting rotational invariance.

Representation-Theoretic Examples

In representation theory, an equivariant map between two representations of a group G on vector spaces V and W is known as an intertwining operator. Specifically, given representations \rho: G \to \mathrm{GL}(V) and \sigma: G \to \mathrm{GL}(W), a linear map T: V \to W is an intertwining operator if it satisfies T(\rho(g)v) = \sigma(g)T(v) for all g \in G and v \in V.^[15] A fundamental result concerning such operators is Schur's lemma, which characterizes them for irreducible representations. For finite-dimensional complex representations V and W of G, if V and W are irreducible and T: V \to W is an intertwining operator, then either T = 0 or T is an isomorphism; moreover, if V \cong W, then T = \lambda \mathrm{id}_V for some scalar \lambda \in \mathbb{C}, and the space of such operators has dimension 1.^[16] The proof for the finite-dimensional case over \mathbb{C} proceeds as follows. First, the kernel and image of T are G-invariant subspaces; by irreducibility, if T \neq 0, then \ker T = \{0\} and \operatorname{im} T = W, so T is an isomorphism. For the endomorphism case (V = W), since \mathbb{C} is algebraically closed, T has an eigenvalue \lambda, and T - \lambda \mathrm{id}_V has nontrivial kernel, hence is zero by the previous step, yielding T = \lambda \mathrm{id}_V. The dimension follows from choosing a fixed isomorphism and scaling.^[16] An illustrative example arises in the representation theory of \mathrm{SU}(2), where the irreducible representations are labeled by spin j = 0, 1/2, 1, \dots, with the spin-j space V_j being (2j+1)-dimensional. Equivariant maps between distinct spin spaces V_j and V_{j'} (with j \neq j') are zero by Schur's lemma, as the representations are inequivalent; between isomorphic spaces (same j), they are scalar multiples of the identity. These spaces can be realized as homogeneous polynomials of degree $2j in two variables, with the group action given by A \cdot f(x,y) = f(A^{-1}(x,y)) for A \in \mathrm{SU}(2), preserving the intertwining property.^[17] Schur's lemma implies uniqueness of intertwining operators up to scalars for irreducible representations, which has key applications in decomposing tensor products of representations. For instance, the multiplicity space \mathrm{Hom}_G(V \otimes W, U) for irreducibles V, W, U is one-dimensional when nonzero, facilitating the explicit Clebsch-Gordan decomposition of tensor products into direct sums of irreducibles.^[15]

Properties and Theorems

Basic Properties

Equivariant maps between G-sets form the morphisms in the category of G-sets, where the composition of two equivariant maps is itself equivariant. Specifically, if f: X \to Y and h: Y \to Z are G-equivariant, then for all g \in G and x \in X, h(f(gx)) = h(g f(x)) = g h(f(x)), so h \circ f commutes with the G-action.^[18] A bijective equivariant map between G-sets is a G-isomorphism, meaning its inverse is also equivariant, and it preserves the orbit structure by mapping orbits to orbits bijectively. Such isomorphisms identify G-sets up to equivalence of actions, ensuring that stabilizers and orbit types correspond under the map.^[18] For an equivariant map f: X \to Y, the image of the fixed-point set X^G = \{x \in X \mid gx = x \ \forall g \in G\} lies in Y^G, since if x \in X^G, then f(gx) = g f(x) implies g f(x) = f(x) for all g. In the case of an endomap f: X \to X, the fixed-point set \operatorname{Fix}(f) = \{x \in X \mid f(x) = x\} is G-invariant: if x \in \operatorname{Fix}(f), then f(gx) = g f(x) = g x, so gx \in \operatorname{Fix}(f).^[19]^[18] Any G-equivariant map f: X \to Y induces a well-defined map \overline{f}: X/G \to Y/G on the orbit spaces, defined by \overline{f}(Gx) = G f(x) for x \in X. This is independent of the choice of representative since f(g'x) = g' f(x) for g' \in G, ensuring G f(g'x) = G f(x). The induced map preserves the quotient structure, allowing properties of orbits to be studied via the non-equivariant map on orbit spaces.^[20]

Key Theorems

One key result in the theory of equivariant maps is the existence of the averaging operator, which provides a canonical projection onto the subspace of invariants for representations of compact groups. For a compact Lie group G acting continuously on a vector space V, the averaging operator P: V \to V^G defined by

P(v) = \int_G g \cdot v \, dg,

where dg is the normalized Haar measure on G and V^G denotes the subspace of G-invariants, is a linear projection onto V^G. This operator is G-equivariant, meaning P(h \cdot v) = h \cdot P(v) for all h \in G and v \in V, because the Haar measure is invariant under left translation.^[21] For finite groups acting freely, equivariant maps between spaces correspond bijectively to ordinary maps between their orbit spaces. Specifically, let G be a finite group acting freely on sets X and Y. Then the category of such free G-sets has the property that G-equivariant maps \mathrm{Hom}_G(X, Y) are in natural bijection with maps \mathrm{Hom}(X/G, Y/G) between the quotients, via descent: given an equivariant f: X \to Y, it induces a well-defined map \overline{f}: X/G \to Y/G by \overline{f}(xG) = f(x)G, and conversely, any map on quotients lifts uniquely to an equivariant map because the free action ensures orbits are in bijection with G.^[22] In topological settings, Palais' equivariant extension theorem guarantees the extendability of equivariant maps from closed invariant subsets. For a proper action of a Lie group G on locally compact Hausdorff spaces X and a G-CW complex E, if A \subset X is a closed G-invariant subset and f: A \to E is a G-equivariant continuous map, then there exists a G-equivariant continuous extension g: X \to E of f. This result, analogous to the Tietze extension theorem, relies on the properness of the action to ensure compactness of slices and enables approximations in equivariant topology.^[23] For principal bundles, a global section exists if and only if the bundle is trivializable over a base with trivial G-action. Consider a principal G-bundle P \to B over a base B with trivial G-action. If P is trivializable, there exists a global section s: B \to P such that \pi \circ s = \mathrm{id}_B, and this section determines a unique G-equivariant trivialization \phi: B \times G \to P via \phi(b, g) = s(b) \cdot g, where \cdot denotes the right G-action on P. Conversely, any equivariant trivialization yields such a unique section, establishing the bijection between global sections and equivariant trivializations when the bundle is trivial.^[24]

Generalizations

Topological Extensions

In the topological setting, an equivariant map between topological G-spaces X and Y—where G is a topological group acting continuously on both—is a continuous function f: X \to Y satisfying f(gx) = g f(x) for all g \in G and x \in X.^[25] This extends the set-theoretic notion by imposing continuity, ensuring compatibility with the topological structures induced by the group actions. Such maps form the morphisms in the category of topological G-spaces, facilitating the study of equivariant topology where homotopy and cohomology theories respect the symmetries.^[25] A key tool in equivariant homotopy theory is the Borel construction, which models the homotopy quotient of a G-space X as the space EG \times_G X = (EG \times X)/G, where EG is the total space of the universal principal G-bundle—a contractible space with free G-action—and the quotient identifies (eg, x) \sim (eh, g^{-1}x) for e \in EG and g \in G.^[26] A continuous G-equivariant map f: X \to Y induces a well-defined continuous map EG \times_G X \to EG \times_G Y on the homotopy quotients, preserving homotopy types and enabling the translation of equivariant problems to ordinary topological ones via the fibration X \to EG \times_G X \to BG.^[26] This construction underpins Borel equivariant cohomology, where H_G^*(X; \mathbb{Z}) = H^*(EG \times_G X; \mathbb{Z}), and supports localization theorems for fixed-point computations.^[26] Equivariant fixed-point theorems extend classical results like Brouwer's fixed-point theorem to symmetric settings, often yielding stronger obstructions or non-existence results. For instance, under the standard orthogonal action of the group \mathbb{Z}/2\mathbb{Z} (antipodal map) on spheres, there exists no continuous equivariant map from S^n to S^{n-1}, as any such map would contradict the Borsuk-Ulam theorem by projecting to an odd-degree map on the quotient \mathbb{RP}^n \to \mathbb{RP}^{n-1}, which is impossible for n \geq 1.^[27] More generally, for compact Lie groups acting orthogonally on representation spheres S(V) and S(W) with \dim V > \dim W, no equivariant map exists if the representations lack compatible invariants, as detected by the equivariant Euler class or degree theory.^[28] These theorems have implications for embedding problems and index theory in equivariant settings. In manifold theory, equivariant cell decompositions provide a structured way to analyze smooth G-manifolds, decomposing them into cells equivariantly attached along orbits. For a compact Lie group G acting smoothly on a manifold M, Illman's equivariant triangulation theorem guarantees the existence of a G-invariant triangulation, yielding an equivariant CW-complex structure where cells are orbits of standard simplices under the action.^[29] This decomposition respects the group action, with attaching maps being equivariant, and facilitates computations of equivariant homology and cobordism groups; for finite G, such triangulations are unique up to equivariant subdivision, enabling applications in equivariant surgery and fixed-point data analysis.^[30]

Functorial and Categorical Generalizations

In the categorical framework, equivariant maps between G-spaces can be generalized as natural transformations between functors from the classifying category BG (or the orbit category) to another category \mathcal{C}, where BG encodes the group action via objects as G-sets and morphisms as equivariant maps.^[26] This perspective unifies equivariant structures across diverse settings, such as when \mathcal{C} is the category of topological spaces, where natural transformations correspond to homotopy classes of equivariant maps.^[31] Enriched versions extend this to settings like abelian categories or module categories over rings, where equivariant objects are modules over enriched functors from BG to the enriching category, such as Ab for abelian groups.^[32] For instance, in module categories over a ring R, G-equivariant R-modules are precisely the modules over the group ring R[G], with equivariant maps as R[G]-linear homomorphisms that commute with the group action.^[33] These enriched constructions preserve exactness and allow for homological algebra in equivariant contexts, as seen in Mackey functors, which are Ab-enriched functors from the Burnside category to abelian groups.^[34] The historical development of these functorial generalizations traces back to the 1990s, with foundational work in categorical algebra establishing equivariant homotopy theory through model categories and enriched structures.^[26] This evolved into the 2020s with applications in artificial intelligence, where equivariant neural networks incorporate group symmetries directly into architectures. In machine learning, post-2016 developments introduced equivariant neural networks, where layers are functors that commute with group actions, such as permutations for molecular graphs or rotations for physical simulations.^[35] Seminal work on group-equivariant convolutional networks demonstrated reduced sample complexity by enforcing symmetries like translations and rotations, achieving state-of-the-art performance on vision tasks.^[36] These have since been applied to chemistry for predicting molecular properties under permutation symmetries and to physics for simulating particle interactions invariant to Lorentz transformations, with architectures like E(n)-equivariant networks enabling scalable simulations of complex systems.^[37]^[38]

References

[1]
[PDF] Induced Representations - Alexander Rhys Duncan
Feb 27, 2023 · A (left) G-set is a set X with a (left) action of a finite group. G. Given G-sets X and Y , a morphism of G-sets or G-equivariant map is a.
[2]
[PDF] Introduction to Representation Theory - Alexander Rhys Duncan
Jan 28, 2023 · An archaic term for G-equivariant map is “intertwining operator,” but this is disappearing (thankfully in my view). Example 1.11. If A and B are ...
[3]
[PDF] introduction to equivariant homotopy theory
A homotopy between f and g is a G-equivariant map H : X × [0, 1] →. Y , where [0, 1] is given the trivial action, such that H|X×{0} = f and. H|X ...
[4]
[PDF] A survey of equivariant map algebras with open problems
Equivariant map algebras are a large class of algebras that are generalizations of current and loop algebras. Let X be an affine scheme (e.g. an algebraic ...
[5]
[PDF] group actions - keith conrad
Definition 1.3. An action of a group G on a set X is the choice, for each g ∈ G, of a permutation πg : X → X ...
[6]
[PDF] Introduction to representation theory by Pavel Etingof, Oleg Golberg ...
Very roughly speaking, representation theory studies symmetry in linear spaces. It is a beautiful mathematical subject which has many.
[7]
Section 59.12 (03NP): The example of G-sets—The Stacks project
... G as follows: the underlying category is the category of G-sets, i.e., its objects are sets endowed with a left G-action and the morphisms are equivariant maps ...
[8]
[PDF] The origin of representation theory - UConn Math Department
Representation theory was created by Frobenius about 100 years ago, extending characters of finite abelian groups to nonabelian groups in 1896.
[9]
[PDF] maclane-categories.pdf - MIT Mathematics
... Saunders Mac Lane. Categories for the. Working Mathematician. Second Edition. Springer. Page 4. Saunders Mac Lane. Professor Emeritus. Department of Mathematics.
[10]
[PDF] arXiv:2006.14053v1 [math.MG] 8 Jun 2020
Jun 8, 2020 · The reader may notice that an affine invariant point is just an Aff(n)-equivariant map. In order to avoid any confusion, from now on we use ...
[11]
[PDF] New results on affine invariant points - arXiv
Apr 4, 2016 · Well-known examples of affine invariant points are the centroid g (i.e. center of gravity), the Santaló point s, the center of the John.
[12]
Equivariant map - EPFL Graph Search
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 ...
[13]
[PDF] Learning SO(3) Equivariant Representations with Spherical CNNs
We address the problem of 3D rotation equivariance in con- volutional neural networks. 3D rotations have been a challenging nui- sance in 3D classification ...
[14]
Equivariant Estimation
### Summary of Equivariant Estimation (SpringerLink)
[15]
Regression Depth: Journal of the American Statistical Association
In both simple and multiple regression we introduce the deepest regression method, which generalizes the univariate median and is equivariant for monotone ...<|control11|><|separator|>
[16]
1.4 Schur's Lemma‣ 1 Representation theory of finite groups ...
In Schur's Lemma and Theorem 1.33, we didn't assume was finite but we did assume the irreducible representation was finite-dimensional. If, in fact, is finite, ...
[17]
[PDF] Part II - Representation Theory (Theorems with proof) - Dexter Chua
Lemma. Given an action of G on X, we obtain a homomorphism θ : G →. Sym(X), where Sym(X) is the set of all permutations of X. Proof.
[18]
[PDF] Representation theory and quantum mechanics tutorial Spin and the ...
Aug 3, 2017 · 2. The SU2-representations Vn for n ≥ 0 are all irreducible, and any (n + 1)-dimensional irreducible representation of SU2 is isomorphic to Vn.
[19]
[PDF] Chapter 1, GROUP REPRESENTATIONS - garsia at york
ii) Given a G equivariant map π : X → G/H show that: a) π−1(H) is ... A function f on a G set X is called an invariant if f(g−1x) = f(x) for all.
[20]
[PDF] SINGULARITIES - Biblioteka Nauki
equivariant map takes fixed points to fixed points, this shows that for the ... set U are the G-invariant sections of over л(U). Roberts [22] proves two ...
[21]
EQUIVARIANT MAPS BETWEEN REPRESENTATION SPHERES
If / were equivariantly trivial, then the induced map hk on the orbit spaces would be trivial. Using the notation of Steenrod [9], we observe that hk is ...
[22]
[PDF] Representation theory of compact groups and complex reductive ...
Mar 30, 2011 · Representation theory of compact groups and complex reductive groups ... equivariant, so it must be the projection given by ...
[23]
[PDF] Notes on principal bundles and classifying spaces
Synonymous terms include equivariant (if the group G is understood) and G-map (for short). This makes left G-spaces into a category. A G-homotopy (or G- ...
[24]
Equivariant extensions of maps - MSP
Let A be a closed equivariant subset of X and let f: A—> E be an equivariant map. Then there is an equivariant extension g: X —+ E of f. This theorem is proved ...
[25]
[PDF] Chapter 3 - Vector bundles and principal bundles
And a section of a principal bundle determines a trivialization of it. We ... P → E, and this extension is unique up to an equivariant homotopy rel A.
[26]
Transformation Groups - De Gruyter Brill
Apr 20, 2011 · This book is a jewel – it explains important, useful and deep topics in Algebraic Topology that you won't find elsewhere, carefully and in detail.
[27]
[PDF] Equivariant homotopy and cohomology theory - UChicago Math
One proof uses ordinary (or Bredon) equivariant cohomology and the other uses a general localization theorem in classical (or Borel) equivariant cohomology.
[28]
[PDF] Methods of Equivariant Topology in Two Nice Discrete Geometry ...
induces the third commutative diagram of orbit spaces after passing to ... are true if there is no Σn-equivariant map F(Rd,n) →. S(W. ⊕(d−1) n. ). The ...
[29]
A short treatise on the equivariant degree theory and its applications
Oct 27, 2010 · We describe the equivariant degree and its relation to the Brouwer degree for several classes of symmetry groups, including also the equivariant ...
[30]
Smooth equivariant triangulations of G-manifolds for G a finite group
Oct 1, 1978 · Illman, S.: Approximation of simplicialG-maps by equivariantly non-degenerate maps. In: Proceedings of the conference on transformation ...
[31]
[PDF] Categorical models for equivariant classifying spaces
Having various category level models for such classifying spaces allows us to construct examples of. E∞ G-spaces from E∞ categories, and these feed into ...
[32]
[PDF] ENRICHED MODEL CATEGORIES IN EQUIVARIANT CONTEXTS
Abstract. We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined.Missing: abelian | Show results with:abelian
[33]
[PDF] Stable model categories are categories of modules
In the special case where the abelian category is modules over some ring and the projective class consists of all summands of free modules this recovers the ...
[34]
[PDF] Equivariant spectra and Mackey functors - IWoAT
Aug 15, 2019 · Definition 1.5. A G-Mackey functor M is a contravariant Ab-enriched functor from the Burnside category BG to the category Ab of abelian groups.
[35]
[1602.07576] Group Equivariant Convolutional Networks - arXiv
We introduce Group equivariant Convolutional Neural Networks (G-CNNs), a natural generalization of convolutional neural networks that reduces sample complexity.Missing: seminal | Show results with:seminal
[36]
Group Equivariant Convolutional Networks
We introduce Group equivariant Convolutional Neural Networks (G-CNNs), a natural generalization of convolutional neural networks that reduces sample complexity.Missing: seminal | Show results with:seminal
[37]
The principles behind equivariant neural networks for physics and ...
Oct 6, 2025 · A distinguishing feature of the neural network models used in Physics and Chemistry is that they must obey basic underlying symmetries, ...Missing: post- | Show results with:post-
[38]
[PDF] Symmetry Group Equivariant Architectures for Physics - arXiv
Mar 11, 2022 · In this report, we argue that both the physics community and the broader machine learning community have much to understand and potentially to ...Missing: post- | Show results with:post-<|separator|>