--- title: Dihedral Invariants in Mathematics url: https://www.emergentmind.com/topics/dihedral-invariant type: topic --- # Dihedral Invariants in Mathematics to=arxiv_search йәшા 重庆时时彩的 code {"query":"dihedral invariant arXiv", "max_results": 10} to=search_arxiv 彩神争霸大发ેئن code {"query":"dihedral invariant", "max_results": 5} A **dihedral invariant** is an invariant whose defining symmetry, obstruction, or equivalence relation is governed by a dihedral group, typically the symmetry group of a regular polygon. In the literature, the term is used for several non-equivalent constructions: fixed polynomials under a dihedral action, numerical invariants of dihedral groups, invariants of links and branched covers defined from dihedral colorings, graded homological functors carrying cyclic-plus-reflection symmetry, and physical observables organized by dihedral replica or moduli actions. The common mechanism is the passage from cyclic symmetry to full rotation-reflection symmetry, usually encoded by a group such as \(D_m\) or \(D_{2n}\) acting on an algebra, a representation, a topological object, or a parameter space [1906.01041] [1803.08286] [1906.06335] [2509.00593]. ## 1. General framework A standard presentation is \[ D_m=\{1,a,a^2,\dots,a^{m-1},\, b,ab,a^2b,\dots,a^{m-1}b\}, \qquad a^m=b^2=1,\qquad ba=a^{m-1}b, \] so the group contains \(m\) rotations and \(m\) reflections [2103.01517]. In invariant theory, if \(G\) is a finite group with representation \(\Gamma\subset GL(n,\mathbb R)\), a polynomial \(P(x_1,\dots,x_n)\) is invariant when \[ g\cdot P(X)=P(X)\qquad \forall g\in \Gamma. \] For finite-group actions on function spaces, the group average \[ \sum_{k=1}^n g_k f \] is invariant under every element of \(G\); this averaging principle is the basic constructive device behind several dihedral-invariant objects [1906.01041] [2412.15566]. Two distinct but related viewpoints recur. In the **fixed-point** viewpoint, the invariant is an element of a ring or module stabilized by the dihedral action. In the **orbit** viewpoint, the invariant object is the entire orbit under dihedral symmetry, as in dihedral multi-reference alignment, where the recoverable object is \[ \mathcal O_x=\{g\cdot x : g\in D_{2L}\}. \] This suggests that “dihedral invariant” is best treated as a family resemblance term rather than a single canonical definition [2107.05262]. ## 2. Algebraic invariant theory and bilinear forms In commutative invariant theory, one central example is the \(D_4\)-action on the Schwinger parameters \(w,w',\hat w,\bar w\) of a three-loop QED diagram. The generators \[ g_1:\ w \leftrightarrow \hat w,\qquad g_2:\ w' \leftrightarrow \bar w,\qquad g_3:\ (w,\hat w)\leftrightarrow (w',\bar w) \] generate the dihedral group \(D_4\). The corresponding invariant polynomials are described by primitive invariants \[ a=w+\hat w+w'+\bar w,\qquad \lambda=(w+\hat w)(w'+\bar w),\qquad \mu=w\hat w+w'\bar w,\qquad d=w\hat w\,w'\bar w, \] a secondary invariant \[ c=w w' \hat w + w w' \bar w + w \bar w \hat w + w' \hat w \bar w, \] and the syzygy \[ \lambda(\mu^2-4d)+a^2d-a\mu c+c^2=0. \] Hence every \(D_4\)-invariant polynomial can be written as \[ I(w,w',\bar w,\hat w)=f(a,\lambda,\mu,d)+g(a,\lambda,\mu,d)\,c. \] This invariant basis is used to reorganize the weak-field expansion, with explicit integrated coefficients \[ -\frac{13}{12}+\frac{7}{8}\zeta_3,\qquad \frac{121}{64}-\frac{203}{128}\zeta_3 \] for the first two hard-part terms [1906.01041]. Modular invariant theory yields a different dihedral phenomenon. For \(G=D_{2p}\) over an algebraically closed field of characteristic \(2\), the invariant ring \(F[V]^G\) is generated by invariants of degree at most \[ s+\max\{r,p\}, \] and the universal separating degree is exactly \[ \beta_{\mathrm{sep}}(D_{2p})=p+1. \] For prime \(p\), the paper also gives an explicit recursive separating set [1010.2761]. Representation theory supplies yet another invariant space: the space \(E_G\) of \(D_m\)-invariant bilinear forms on a complex representation \(p=\bigoplus_{i=1}^r k_i\pi_i\). Its dimension is \[ \dim(E_G)=\sum_{i=1}^r k_i^2, \] with symmetric and skew-symmetric subspaces of dimensions \[ \sum_{i=1}^{r} \frac{k_i(k_i+1)}{2}, \qquad \sum_{i=1}^{r} \frac{k_i(k_i-1)}{2}. \] The same analysis shows that every \(n\)-degree representation of \(D_m\) over \(\mathbb C\) admits a non-degenerate invariant bilinear form [2103.01517]. ## 3. Noncommutative fixed algebras Dihedral invariants in noncommutative algebra are fixed subalgebras under actions on free associative or metabelian algebras. For the 2-generated free metabelian associative and Lie algebras, the action is conveniently written in complex coordinates \[ u=x+iy,\qquad v=x-iy, \] with \[ \rho:\ u\mapsto \xi u,\qquad v\mapsto \bar\xi\,v,\qquad \tau:\ u\leftrightarrow v,\qquad \xi=e^{2\pi i/n}. \] The classical commutative invariant ring is \[ \mathbb C[u,v]^{D_{2n}}=\mathbb C[uv,\ u^n+v^n]. \] In the associative metabelian case, \(A_2(\mathfrak M)^{D_{2n}}\) is finitely generated by \(uv+vu\), \(u^n+v^n\), and an explicit finite family of commutator invariants. In the Lie case, the full fixed algebra is generally not finitely generated, but the invariant commutator ideal is a free \(\mathbb C[u,v]^{D_{2n}}\)-module generated by \[ [v,u]\big(\operatorname{ad}^n(u)-\operatorname{ad}^n(v)\big). \] The corresponding Hilbert series are also computed explicitly [2311.09380]. For the free associative algebra \(\mathbb C\langle u,v\rangle\), the fixed algebra \[ \mathbb C\langle u,v\rangle^{D_{2n}} \] is free, and its invariants are characterized by symmetry under \(\tau\) together with the weight condition that, for a homogeneous invariant word, \[ \deg_u w-\deg_v w \] is divisible by \(n\). The Hilbert series is derived from the noncommutative Molien formula, and the \(S\)-algebra structure of Koryukin yields a finite generating set: as an \(S\)-algebra, \[ \big(\mathbb C\langle u,v\rangle^{D_{2n}},\circ\big) \] is generated by \[ uv+vu,\qquad u^n+v^n. \] For \(n=3\), the numbers of free generators by degree are Fibonacci numbers [2601.12144]. ## 4. Dihedral groups as carriers of invariants Some dihedral invariants are numerical or homological invariants of the group itself rather than fixed points of an action. A basic example is the nonabelian Harborth constant \(g(G)\), defined as the smallest integer \(k\) such that every subset \(A\subseteq G\) with \(|A|=k\) contains a subset \(B\subseteq A\) of size \(\exp(G)\) whose elements can be rearranged into a one-product ordering. For \[ D_{2n}=\langle x,y\mid x^2=y^n=(xy)^2=1\rangle,\qquad n\ge 3, \] the exact value is \[ g(D_{2n})= \begin{cases} n+2 & \text{if } 2\mid n,\\ 2n+1 & \text{if } n \text{ is odd.} \end{cases} \] The parity split comes from the interaction between the rotation subgroup \(H=\langle y\rangle\) and the reflection coset \(D_{2n}\setminus H\) [1803.08286]. In the theory of \(D_n\)-covers of algebraic curves, the invariant \(\hat e\) refines Nielsen data by lifting a Hurwitz vector to a central extension \(G_T\). For a Hurwitz vector \[ v=(c_1,\dots,c_d;a_1,b_1,\dots,a_{g'},b_{g'}), \] its tautological lift defines \[ e(v)=\prod_{i=1}^d \hat c_i \cdot \prod_{j=1}^{g'}[\hat a_j,\hat b_j]\in G_T. \] For \(G=D_n\), this invariant is injective on unmarked topological types and hence classifies the irreducible components of the dihedral locus \(M_g(D_n)\) [1206.5498]. Deformation theory provides a further use of “dihedral” as a preserved property. For an absolutely irreducible residual representation \[ \bar\rho:G\to \mathrm{GL}_2(F) \] that is dihedral in the sense \[ \bar\rho \simeq \mathrm{Ind}_H^G(\chi) \] for an index-\(2\) subgroup \(H\), the universal deformation is dihedral if and only if every infinitesimal deformation is dihedral. Equivalently, dihedrality is detected on the \(p\)-Frattini quotient \[ \Gamma_\rho/\Phi(\Gamma_\rho), \qquad \Gamma_\rho=\ker\!\big(\mathrm{Im}(\rho)\twoheadrightarrow \mathrm{Im}(\bar\rho)\big). \] This criterion is then applied to Galois deformation theory and to \(R=T\) results for Hilbert modular forms [1805.05438]. ## 5. Knot, quandle, and branched-cover invariants A major topological use of dihedral invariants comes from quandles. The dihedral quandle is \[ R_n=\mathbb Z/n\mathbb Z,\qquad x\ast y=2y-x, \] and for prime \(p\), the set of \(R_p\)-colorings of a link diagram is a \(\mathbb Z_p\)-vector space. The quandle coloring quiver \(Q_X^S(D)\) records how quandle endomorphisms act on colorings, but for prime dihedral quandles the quiver collapses to classical data: \[ Q_{R_p}^S(D)\cong Q_{R_p}^S(D') \quad\Longleftrightarrow\quad |\mathrm{Col}_{R_p}(D)|=|\mathrm{Col}_{R_p}(D')|. \] With Mochizuki’s \(3\)-cocycle on \(R_p\), the shadow quandle cocycle quiver is likewise equivalent to the shadow cocycle invariant [2004.12437]. A different dihedral quandle arises from group conjugation: \[ a\triangleright b=b^{-1}ab \] on \(\mathrm{Conj}(D_n)\). The associated counting invariant \[ \phi_{D_n}(L)=\left|\mathrm{Hom}\bigl(Q(L),\mathrm{Conj}(D_n)\bigr)\right| \] and enhanced counting polynomial distinguish the Allen–Swenberg \(2\)-sky links from the non-causal model \(H\#H\). The striking case is \(D_5\): for the first Allen–Swenberg link \(L_1\), \[ \phi=200, \] whereas for \(H\#H\), \[ \phi=160. \] The smaller tested groups \(D_3,D_4,D_6,D_7\) fail even at the level of enhanced counting polynomials [2509.03544]. For Fox \(p\)-colored knots, the **dihedral linking invariant** is defined from the irregular \(p\)-fold dihedral branched cover \[ f:M_\rho\to S^3 \] associated to a surjection \(\rho:\pi_1(S^3-K)\twoheadrightarrow D_p\). The lifted branch set is a \(\frac{p+1}{2}\)-component link \[ L=K^0\cup K^1\cup \cdots \cup K^{(p-1)/2}, \] and the invariant is the multiset \[ DLN(K,\rho)=\left\{\text{lk}(K^i,K^j)\mid i\neq j\right\}. \] For the figure-eight knot with a \(5\)-coloring, \[ DLN(K,\rho)=\{-2,2,0\}, \] while for the trefoil with a \(3\)-coloring, \[ DLN(K,\rho)=\{2\}. \] The paper gives a uniform combinatorial algorithm for all odd \(p\) [2112.14790]. ## 6. Homological and analytic invariants In homological algebra, the dihedral invariant is the graded module-valued functor \[ HD : A_\infty^{\rm inv}(K)\to GrM(K) \] for involutive \(A_\infty\)-algebras over a commutative unital ring \(K\). The underlying tensor DF-module carries a cyclic operator \[ t_n(a_0\otimes \cdots \otimes a_n)=(-1)^{|a_n|(|a_0|+\cdots+|a_{n-1}|)} a_n\otimes a_0\otimes \cdots \otimes a_{n-1} \] and a reflection operator \[ r_n(a_0\otimes \cdots \otimes a_n)=(-1)^{\sum_{i