---
title: Orbit Homomorphisms in Algebra, Topology & Dynamics
url: https://www.emergentmind.com/topics/orbit-homomorphisms
type: topic
---

# Orbit Homomorphisms in Algebra, Topology & Dynamics

to=arxiv_search.search ,超碰  {
  "query": "\"orbit homomorphism\" OR \"orbit homomorphisms\"",
  "max_results": 10,
  "sort_by": "submittedDate",
  "sort_order": "descending"
}
to=arxiv_search.search 市场部联系 下载彩神争霸ှတ်ချက်  天天中彩票怎么json
{"query":"\"orbit homomorphism\" OR \"orbit homomorphisms\"","max_results":10,"sort_by":"submittedDate","sort_order":"descending"}
to=arxiv_search.search wuregion  彩神争霸官方ാഞ്ഞjson
{"query":"orbit homomorphisms","max_results":10,"sort_by":"submittedDate","sort_order":"descending"}
Orbit homomorphisms are homomorphisms, or homomorphism-like maps, whose definition is modulated by a group action on the source, the target, or an auxiliary symmetry object. In current arXiv literature the phrase does not denote a single universally fixed construction. It is used for equivalence classes in $\operatorname{Hom}(\mathcal{G},\mathcal{H})$ under automorphism actions, faithful representations of orbit braid groups into automorphism groups of finitely generated groups, natural maps from stabilizers to automorphism groups of quotient objects such as Kronrod–Reeb graphs, and $G$-equivariant morphisms between orbit objects in permutation and dynamical categories [2306.15387, 1912.05450, 1903.09721, 2412.03813, 2510.15348]. The common thread is that ordinary homomorphic data are compressed, classified, or transported through orbit structure.

## 1. Terminological scope and basic constructions

A central algebraic starting point is the homomorphism set
\[
\operatorname{Hom}(\mathcal{G},\mathcal{H})
 = \{\varphi:\mathcal{G}\to\mathcal{H}\mid \varphi(xy)=\varphi(x)\varphi(y)\}.
\]
When $\mathcal{G}$ is abelian, $\operatorname{Hom}(\mathcal{G},\mathcal{H})$ itself forms an abelian group under pointwise multiplication, $(\psi\cdot\varphi)(x)=\psi(x)\varphi(x)$. If $\operatorname{Aut}(\mathcal{H})$ acts by post-composition,
\[
(\alpha\cdot\varphi)(g):=\alpha(\varphi(g)),
\]
then the resulting orbit set
\[
\mathscr{O}(\mathcal{G},\mathcal{H})=\operatorname{Aut}(\mathcal{H})\backslash \operatorname{Hom}(\mathcal{G},\mathcal{H})
\]
is an automorphism orbit code. A broader equivalence class is
\[
[\varphi]=\{\alpha\circ\varphi\circ\beta\mid \alpha\in\operatorname{Aut}(\mathcal{H}),\ \beta\in\operatorname{Aut}(\mathcal{G})\},
\]
which treats homomorphisms up to automorphisms of both codomain and domain [2306.15387].

A second usage appears in permutation-group orbit categories. For a group $G$ acting on an infinite set $\Omega$, the orbit category has objects $G/H$ for open subgroups $H$, and morphisms are $G$-equivariant maps. Each such morphism is determined by some $g\in G$ with $gHg^{-1}\leq K$ and is written
\[
\sigma_g:xH\mapsto xg^{-1}K.
\]
In that setting, the phrase “orbit homomorphism” refers to these equivariant maps between orbit objects [2510.15348].

A third usage is dynamical and categorical. For partial dynamical systems, an orbit morphism is a pair $(\varphi,a)$ consisting of a continuous map on spaces and a cocycle compatible with the partial actions. This produces a category of partial dynamical systems with orbit morphisms as arrows, and isomorphism in that category is tied to continuous orbit equivalence preserving essential stabilisers [2412.03813].

A common misconception is that orbit homomorphism has a unique canonical meaning. The literature instead uses the term for several related orbit-sensitive constructions, all centered on replacing raw homomorphic data by data modulo symmetry, or by data encoding how orbits are transported.

## 2. Homomorphism orbits in algebraic coding theory and orbit quotients

In the coding-theoretic formulation, the homomorphism code is the set of all homomorphisms from $\mathcal{G}$ to $\mathcal{H}$, with each homomorphism $\varphi$ encoded by its values on a fixed generating set $\mathcal{S}=\{s_1,\dots,s_k\}$:
\[
c_\varphi=(\varphi(s_1),\varphi(s_2),\dots,\varphi(s_k)).
\]
The paper “Codes and Orbit Covers of Finite Abelian Groups” constructs a variable length binary non-linear code called an automorphism orbit code from a finite abelian $p$-group of rank more than $1$, and distinguishes this from homomorphism codes by emphasizing that automorphism orbit codes are specified by partitions of a number, orbits of a group action, homomorphisms and automorphisms of groups. The same work uses elements of $\operatorname{Hom}(\mathcal{G},\mathcal{H})$ to present a cover relation for bit strings of codewords and formulates a lattice of variable length non-linear codes [2306.15387].

This orbiting operation is structurally a quotient by symmetry rather than a linearization. The codewords in $\mathscr{O}(\mathcal{G},\mathcal{H})$ are equivalence classes of homomorphisms under automorphisms of the codomain, so the construction is usually non-linear unless further structure is present. The paper also notes a possible extension to
\[
\operatorname{Aut}(\mathcal{H})\backslash \operatorname{Hom}(\mathcal{G},\mathcal{H})/\operatorname{Aut}(\mathcal{G}),
\]
which coarsens by both pre- and post-composition [2306.15387].

A different orbit quotient appears in “Orbit groups.” If $Q$ acts on a group $G$ by automorphisms, the group-theoretic orbit group is
\[
G//Q = G/[G,Q]_G,
\]
where $[G,Q]_G$ is the smallest normal subgroup of $G$ containing all commutators $[g,q]=gq(g)^{-1}$. The same paper studies a natural homomorphism
\[
(G//Q)^{\mathrm{ab}} \to H_Q(G,\mathbb{Z})
\]
and proves that it is neither injective nor surjective, with an explicit description of the kernel [1710.01777].

The example $G=\mathbb{Z}/4$ and $Q=\mathbb{Z}/2$ acting by inversion shows the point sharply: here $G//Q\cong\mathbb{Z}/2$, while $H_Q(G,\mathbb{Z})\cong\mathbb{Z}/2\oplus\mathbb{Z}/2$, so the natural map fails to be surjective; the same example also exhibits non-injectivity [1710.01777]. Orbit passage therefore need not preserve either fullness or faithfulness.

## 3. Geometric and topological manifestations

In braid-theoretic topology, orbit homomorphism appears as a faithful representation. For the orbit braid group $B^{orb}_n(\mathbb{C},\mathbb{Z}_p)$, the paper “Orbit Braid Action on a Finite Generated Group” constructs
\[
\rho_R:B^{orb}_n(\mathbb{C},\mathbb{Z}_p)\to \operatorname{Aut}(R_{pn}),
\]
where $R_{pn}$ is a finitely generated group encoding loops around punctures and their $\mathbb{Z}_p$-orbits. The action is explicit on generators: $\rho_R(b)$ cyclically permutes the $x_{i0}$ and conjugates $x_{ij}$ for $j\neq 0$, while $\rho_R(b_k)$ acts by the standard braid-type formulas on $x_{ik}$ and $x_{i,k+1}$. The representation is injective, and its image is identified with a quotient of a group of boundary-fixing $G$-homeomorphisms of a punctured disk [1912.05450].

For Morse functions on $S^2$, a different orbit-sensitive homomorphism is induced by the action of the stabilizer on the Kronrod–Reeb graph. If $\Gamma_f$ is the KR graph of a Morse function $f:S^2\to\mathbb{R}$, then every $h\in\mathcal{S}(f)$ induces a homeomorphism of $\Gamma_f$, giving
\[
\phi:\mathcal{S}(f)\to \operatorname{Homeo}(\Gamma_f),
\qquad
G_f:=\phi(\mathcal{S}'(f)).
\]
Here $\Gamma_f$ is always a tree, and when $\operatorname{Fix}(G_f)$ contains an edge, the main structure theorem gives a decomposition
\[
G_f \cong G_{f|_A}\times G_{f|_B}
\]
for the two disks $A$ and $B$ obtained by cutting along a regular level component. This homomorphism is one of the key ingredients in calculating the homotopy type of the orbit $\mathcal{O}_f$ [1903.09721].

A further topological example comes from mapping class groups. If $S$ is a closed oriented surface and $G$ is a finite group of orientation-preserving automorphisms of $S$ whose orbit space has genus at least $2$, there is a natural group homomorphism
\[
\operatorname{Diff}^+(S)^G \longrightarrow Sp(H_1(S))^G.
\]
The paper “Arithmetic representations of mapping class groups” proves that if the $G$-cover is trivial over a compact genus one subsurface of $S_G^\circ$ with connected boundary, then the action on $H_1(S)$ has no nonzero finite orbits; if it is trivial over a compact genus two subsurface with connected boundary, then the image in $Sp(H_1(S))^G$ is of finite index [2108.12791]. In this setting, orbit behavior is detected by a homological representation.

## 4. Automorphism orbits in varieties and Lie-theoretic orbit homomorphisms

For affine horospherical varieties, orbit structure of the automorphism group is described through the natural grading and locally nilpotent derivations. If $X$ is a horospherical complexity-zero variety with weight monoid $P$ and cone $\omega_V$, the closures of $\operatorname{Aut}(X)^\circ$-orbits are controlled by faces $\tau\subseteq \omega_V$. The main criterion states that each closure of an $\operatorname{Aut}(X)^\circ$-orbit has the form $\overline{\mathcal{O}_\tau}$ for some face $\tau$ such that there is no nonzero $M$-homogeneous LND of degree corresponding to a $\tau$-root. In the toric case this specializes to Demazure roots, and in the non-normal toric case to admissible Demazure roots [2105.05897].

The formula
\[
\partial_e(\chi^m)=(p_\rho,m)\chi^{m+e}
\]
for the LND attached to a Demazure root $e$ shows how orbit gluing is encoded by homogeneous derivations. In this literature, the orbit viewpoint does not define a single distinguished homomorphism, but it does organize orbit closures through algebraic operators determined by the grading [2105.05897].

A more explicit Lie-theoretic family of orbit homomorphisms appears for the Witt algebra $W_{\geq -1}$. The paper “The Kernel and Image of Orbit Homomorphisms for the Witt Algebra” defines
\[
\Psi_n:U(W_{\geq -1})\to T_n=A_1\otimes U(\mathfrak{g}_n),
\]
with
\[
\Psi_n(f(t)\partial)=f(t)\partial+\sum_{i=0}^{n-1}\frac{f^{(i+1)}(t)}{(i+1)!}v_i.
\]
These maps lift primitive ideals from solvable Lie algebras to $U(W_{\geq -1})$ and thus play a central role in the orbit method for the Witt algebra [2510.00756].

Their kernel has an unusually rigid two-sided description. Writing
\[
\Omega^m_{k,s}:=\sum_{i=0}^m (-1)^i \binom{m}{i} e_{k-i}e_{s+i},
\]
the kernel theorem gives
\[
\ker\Psi_n=(\Omega^{2n+2}_{2n+1,-1})
\]
as a principal two-sided ideal, while the same kernel is not finitely generated as a left or right ideal. The image $B_n=\Psi_n(U(W_{\geq -1}))$ is non-Noetherian and birational to the Noetherian algebra $T_n$, whereas its degree-zero subring is left and right Noetherian [2510.00756]. Orbit homomorphism here is therefore tied directly to ideal structure and noncommutative birational geometry.

## 5. Categorical orbit homomorphisms and orbit equivalence

For partial dynamical systems, orbit-sensitive maps are formalized categorically. An orbit morphism from $G\curvearrowright X$ to $H\curvearrowright Y$ is a pair $(\varphi,a)$, where $\varphi:X\to Y$ is continuous and $a$ is a continuous cocycle satisfying
\[
\varphi(g.x)=a(g,x)\cdot \varphi(x)
\]
and
\[
a(g_1g_2,x)=a(g_1,g_2.x)\,a(g_2,x)
\]
whenever defined. These arrows form the category $\mathsf{PDYNSYS}_{\mathrm{Orb}}$, and there is a fully faithful functor sending a partial action to its transformation groupoid and an orbit morphism to the induced continuous groupoid homomorphism [2412.03813].

The main equivalence theorem identifies isomorphism in this category with several orbit-equivalence conditions. For partial dynamical systems $G\curvearrowright X$ and $H\curvearrowright Y$, the following are equivalent: isomorphism in $\mathsf{PDYNSYS}_{\mathrm{Orb}}$, isomorphism of transformation groupoids, and existence of a continuous orbit equivalence preserving stabilisers or preserving essential stabilisers. When essential stabilisers are torsion-free and abelian, these are also equivalent to a diagonal-preserving isomorphism
\[
C_0(X)\rtimes G \;\cong\; C_0(Y)\rtimes H
\]
between the crossed products [2412.03813].

In permutation-group representation theory, the orbit category provides a parallel categorical picture. Its objects are cosets $G/G_\Gamma$ for stabilizers of finite subsets, and its morphisms are the equivariant maps $\sigma_g$. The paper “On representations of permutation groups and orbit categories” proves that the age of the canonical relational structure satisfies the strong amalgamation property if and only if there is a canonical isomorphism from the category of finite substructures and embeddings to the opposite category of the orbit category of $G$; equivalently, for every finite $\Gamma\subseteq\Omega$, the stabilizer $G_\Gamma$ has no fixed points outside $\Gamma$ [2510.15348]. Here orbit homomorphisms are the morphisms that transport finite relational data through stabilizer quotients.

These categorical formulations make precise when orbit data determine the ambient system up to isomorphism. They also show that invertibility of an orbit-sensitive map generally requires stabiliser control, not merely a bijection on orbit spaces.

## 6. Combinatorial formulas, information loss, and adjacent developments

In graph theory, an orbit homomorphism is the canonical projection to a quotient graph determined by an orbit partition under a subgroup of $\operatorname{Aut}(X)$. Such projections are always pseudo-covering and component equitable. For a complete orbit homomorphism $\varphi:X\to Y=X/\mathfrak{G}$, the number of components of $X$ can be recovered from the quotient by
\[
c(X)=\sum_{i=1}^{c(Y)}
\frac{|\varphi^{-1}(y_i)|}{|V(C_i)\cap \varphi^{-1}(y_i)|},
\]
where $y_i$ is a representative vertex in the $i$th component of $Y$ and $C_i$ is a chosen component of $X$ meeting that fibre [1605.03549]. This is a particularly transparent instance in which orbit quotienting preserves enough multiplicity data to reconstruct a global invariant.

The broader literature also shows that orbit-based reformulations can be classification tools rather than merely quotient constructions. In Cantor dynamics, strong orbit equivalence of minimal homeomorphisms is characterized by isomorphism of associated countable locally finite groups $\Gamma_x^\varphi$, and abstract group isomorphisms are spatial, realized by homeomorphisms of the Cantor space [2010.10287]. Nearby work on approximate homomorphisms shows that every sequence of approximate homomorphisms with values in permutations can be realized as the restriction of a sofic approximation of an orbit equivalence relation uniquely determined by the associated invariant random subgroup [2306.16974].

Two general lessons recur across these settings. First, orbit homomorphisms are rarely mere set-theoretic quotients: they often encode stabilisers, cocycles, or conjugacy data. Second, passing to orbit data can lose information unless additional structure is retained. This is visible in the failure of injectivity and surjectivity for the natural map from $(G//Q)^{\mathrm{ab}}$ to $H_Q(G,\mathbb{Z})$ [1710.01777], and conversely in the strong reconstruction theorems for partial dynamical systems and orbit categories when stabilisers satisfy precise conditions [2412.03813, 2510.15348].

Source: https://www.emergentmind.com/topics/orbit-homomorphisms