Groups & symmetry — flashcards

Franklin's involution (st/franklin-involution) is a ℤ/2 action on partitions into distinct parts that pairs almost everything freely; its isolated fixed points, at exactly the generalized pentagonal n, are mechanistically identified with the Lefschetz fixed point theorem and Duistermaat–Heckman/Atiyah–Bott localization — a signed sum over a space with a group action reducing to a sum over the fixed locus. This is contrasted, via orbit–stabilizer language, with spontaneous symmetry breaking in physics: a broken vacuum has a reduced stabilizer relative to the full symmetry group, the opposite of Franklin's fixed points, which have full stabilizer (the ℤ/2 action fixes them entirely, rather than moving them to a smaller-symmetry orbit). Goldstone's theorem (every broken continuous symmetry generates a massless mode) is named as physics's standard consequence of the reduced-stabilizer picture, not proved here.

The initial claim — that Franklin's full-stabilizer fixed points and physics's reduced-stabilizer broken vacua are two opposite, exhaustive cases, with stabilizer size as the operative distinction (st/franklin-fixed-points-as-symmetry-breaking) — was tested directly and refuted. Mean-field Landau theory, F(m)=a(T−T_c)m²+bm⁴, shows m=0 keeps full ℤ₂ stabilizer at every temperature while flipping between being the realized (stable) state and an unrealized (unstable) one (F''(0)=2a(T−T_c), sign change confirmed symbolically at T=T_c) — stabilizer size alone doesn't determine selection. Feigenbaum's universal function g, the fixed point of the period-doubling operator T[g](x)=αg(g(x/α)), supplied a second refutation: g is unstable (its own instability eigenvalue is the Feigenbaum constant δ>1) yet still governs the entire period-doubling asymptotics — dynamical stability doesn't determine selection either. Feigenbaum's second constant α≈2.502907875 was independently verified via superstable-cycle-width ratios for f(x)=1−rx², giving successive ratios −3.219, −2.627, −2.528, −2.508, −2.504, converging toward the known value. Both refutations together forced a replacement: three independent selection mechanisms — algebraic cancellation (Franklin), energetic minimization (Landau, Higgs), and asymptotic dominance via a stable manifold (Feigenbaum) — rather than one axis (stabilizer size) or two opposite cases.

The Mexican-hat potential V(φ)=−μ²φ²+λφ⁴ has an unstable maximum at φ=0 (V''(0)=−2μ²<0) and a stable minimum at φ=μ/√(2λ) (V''>0, both confirmed by direct differentiation) forming a degenerate circle (3-sphere, for the full complex doublet) of vacua — the concrete instance of the energetic-minimization mechanism named in st/selection-mechanism-refuted-and-replaced. The chosen vacuum's stabilizer under SU(2)_L×U(1)_Y is Q=T³+Y/2 (the Gell-Mann–Nishijima formula), i.e. U(1)_EM — the worked example of 'reduced stabilizer' that st/franklin-fixed-points-as-symmetry-breaking's contrast was originally about. The 3 broken generators' would-be Goldstone bosons are absorbed into the longitudinal polarizations of W± and Z, leaving the photon massless with 2 polarizations; fermion masses via Yukawa couplings ride on the same vacuum as a separate mechanism. W³ and B mix via the Weinberg angle (tanθ_W=g'/g) into massive Z and massless A, from the mass matrix generated by |D_μΦ|²; the prediction m_W=m_Z cosθ_W was checked two ways — predicted m_W=79.87 GeV vs. measured 80.4 GeV, predicted m_Z=91.09 GeV vs. measured 91.19 GeV (from v=246 GeV), and m_W/m_Z vs. cosθ_W computed independently, both giving 0.8768 to four digits. The Yukawa-potential range argument (V(r)~e^{−mr}/r) explains the weak force's short range quantitatively: ℏ/(m_Wc)≈2.45×10⁻¹⁸ m, far smaller than a proton radius (≈0.84×10⁻¹⁵ m).

One-loop renormalization-group running of the three Standard Model gauge couplings (U(1), SU(2), SU(3)) from their measured values at M_Z gives pairwise crossings at 1.02×10¹³, 2.39×10¹⁴, and 9.39×10¹⁶ GeV — a spread factor of roughly 9188× — that is, they do not meet at one scale. The MSSM (supersymmetric) beta coefficients, with a 1 TeV threshold, give a minimum spread of 0.345 at 1.43×10¹⁶ GeV, against the SM-only minimum spread of 3.647 — much closer to unification, though the spread degrades from 0.344 to 0.925 as the assumed supersymmetry-breaking threshold is raised from 1 TeV to 100 TeV. The proton-decay lower bound on the unification scale was invoked as an independent cross-check, not derived here.

Subbarao's observation that Franklin's involution preserves partition perimeter (λ₁+ℓ(λ)−1) was used to show Franklin's fixed points are exactly the unique perimeter-minimizing partitions into distinct parts — verified for every generalized pentagonal n≤35 — collapsing 'algebraic cancellation' and 'energetic minimization' (st/selection-mechanism-refuted-and-replaced's first and second mechanisms) into one mechanism for this specific case, contradicting the three-way independence claimed there. This collapse was then tested against a second, independently-known Franklin-type involution — Chen and Liu's involution on partitions into distinct parts with odd smallest part, whose fixed points sit at n=k² — by checking five candidate functionals (perimeter, largest part, number of parts, λ₁−ℓ, smallest part) for n≤25; none singles out the squares, with explicit mismatch counts reported for each. The collapse is therefore restricted to the classical Franklin case, not generalized into a new principle: the three-mechanism picture from st/selection-mechanism-refuted-and-replaced is restored, with the explicit caveat that the mechanisms can coincide on particular objects without being identical in general.

Fourier (on R, kernel e^{iξx}), Laplace (on [0,∞), kernel e^{st}), and Mellin (on (0,∞), kernel x^s) are not three unrelated formulas but the same construction — diagonalize translation by the relevant group — applied to translation, causal translation, and dilation respectively. The Mellin kernel's exponent is not a free convention: writing the multiplicative Haar measure on (0,∞) as dx/x forces the kernel x^{s-1}dx = x^s·(dx/x), a character (x^s) times the invariant measure, exactly parallel to e^{iξx}dx on the additive side. Evaluated at integer s, the Mellin transform hands back power sums of roots directly (moment order: Re(s) indexes power sums, Im(s) a log-frequency), feeding Newton's identities (st/newton-identities) as a bridge between the transform and elementary symmetric functions. Further members of the same family exist for other groups/geometries: the Hankel transform (radial Fourier, rotation group, Bessel functions), the Helgason–Fourier transform (hyperbolic space), and wavelets (simultaneous translation and dilation, when no single group suffices).

exp_p converges for v_p(x) > 1/(p−1) and log_p(1+x) for v_p(x) ≥ 1; on their common domain they invert one another and give (1 + pℤ_p, ×) ≅ (pℤ_p, +) as topological groups. p = 2 needs the smaller disc.

For odd p, ℤ_p× ≅ μ_{p−1} × (1 + pℤ_p) ≅ ℤ/(p−1)ℤ × ℤ_p — Teichmüller roots of unity times the one-units. For p = 2 it is ℤ/2ℤ × ℤ_2, generated by −1 and 1 + 4ℤ_2.

The free rigid body's (Euler top's) equations recast as Ṁ=[M,Ω], with M,Ω built from angular momentum and angular velocity, is a second, structurally independent instance of the same Lax-pair mechanism established for KdV (st/lax-pair-forces-isospectral-evolution) — a genuinely different setting (finite-dimensional classical mechanics rather than a nonlinear PDE) obeying the identical algebraic fact. Orientation is separately reconstructed via the quaternion commutator identity [p,q]=2(p×q), with q̇=½q⊗ω once ω(t) is known from the (nonlinear but now-solved) Euler equations. Verified numerically: |L| and total energy conserved to 5 digits over the integrated trajectory, and the quaternion commutator identity confirmed to reproduce the Lax equation directly.

Liouville–Arnold integrability requires n independent, Poisson-commuting conserved quantities on a 2n-dimensional phase space. Under this definition, exactly three heavy-top configurations are integrable: Euler's case (no gravity), Lagrange's case (I₁=I₂, center of mass on the symmetry axis), and Kovalevskaya's case (I₁=I₂=2I₃, center of mass in the equatorial plane — found via Painlevé analysis, S. Kovalevskaya, 1888); every other mass/inertia configuration is chaotic. Arnold's theorem (V. Arnold, 1966) reframes ideal 3D fluid flow as geodesic motion on the group of volume-preserving diffeomorphisms; energy and helicity are the known conserved quantities, far short of the infinitely many Liouville–Arnold would need, and after roughly 150 years of searching no Lax pair for Navier–Stokes is known.

The claim that a positive Lyapunov exponent is structurally incompatible with a Lax pair's existence is given a mechanism — SO(3)'s non-abelian structure (no shared eigenvectors between rotations about different axes; no nontrivial 1-dimensional representations) denies generic nonlinear systems the algebraic coincidence a Lax pair requires — and then tested directly: the Lorenz system (E. Lorenz, 1963), perturbed by 10⁻⁸, diverges exponentially (measured Lyapunov exponent ≈0.9, close to the commonly cited 0.9056), while the Euler top (st/euler-top-second-lax-pair-instance), perturbed identically, stays bounded at O(10⁻⁷) over the same integration window — the one system with a Lax pair, and the one without, behaving exactly as the claimed incompatibility predicts.

Hasse, Schnirelmann, Teichmüller and others, 1920s–1930s.

Hasse, Schnirelmann, Teichmüller and others, 1920s–1930s.

Climbing the ladder surrenders order, then commutativity, then associativity — and the amounts are not equal. This edge is the same observation as the What breaks edge; it is here because how much is forgotten and what is surrendered are different questions.

Subfields of a normal extension ↔ subgroups of its automorphism group, inclusion-reversing. Solvability of the group ↔ solvability of the equation by radicals.

A geometry ↔ its group of transformations; the theorems of that geometry ↔ the invariants of that group. Euclidean, affine and projective geometry become one family indexed by groups.

A locally compact abelian group ↔ its group of characters, with Fourier transform the dictionary. Ordinary Fourier series is the case of the circle ↔ the integers.

Descending ℍ → ℂ means choosing a U(1) inside SU(2) — a whole sphere of equally valid choices. Descending 𝕆 → ℍ offers three. Descending ℂ → ℝ offers one. You noticed the descent is non-uniform before I did.

`Mathlib.Data.Int.GCD` imports `Mathlib.Algebra.Group.Commute.Units`, `Mathlib.Algebra.Group.Int.Defs`, `Mathlib.Algebra.Group.Nat.Defs`, `Mathlib.Algebra.Group.Nat.Units`. Read off Mathlib/Data/Int/GCD.html. No human asserted this edge.

The algebra of invertible transformations. Wherever something is preserved, a group is acting.