pith. sign in

arxiv: 2604.10162 · v1 · submitted 2026-04-11 · 🧮 math-ph · math.MP· math.RA· math.RT

Dual contractions and algebraic families

Eyal Subag This is my paper

Pith reviewed 2026-05-10 16:13 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.RAmath.RT
keywords dual contractionsInönü-Wigner contractionsalgebraic familiesreal symmetric Lie algebrasreal formsanti-holomorphic involutioncomplex Lie algebras
0
0 comments X

The pith

For any real symmetric Lie algebra pair, the original Inönü-Wigner contraction and its dual appear as real fibers in one algebraic family of complex Lie algebras equipped with an anti-holomorphic involution.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces a duality for Inönü-Wigner contractions of real symmetric Lie algebras. Starting from a symmetric pair of a real Lie algebra and an involution, it constructs a dual real form inside the complexification and shows that the contractions of both the original algebra and the dual with respect to the shared fixed-point subalgebra sit as real fibers inside a single algebraic family of complex Lie algebras that carries an anti-holomorphic involution. A sympathetic reader would care because the construction places two related contractions inside one geometric object, linking them directly to algebraic-family techniques for handling contractions, real forms, and hidden symmetries.

Core claim

Starting from a symmetric pair (g, θ), the paper defines a dual real form g* inside the complexification of g. It then considers the Inönü-Wigner contractions of both g and g* with respect to the common fixed-point subalgebra g^θ. The central result is that these two contractions appear as the real fibers of an algebraic family of complex Lie algebras equipped with an anti-holomorphic involution, thereby unifying the original contraction and its dual in one geometric framework.

What carries the argument

The algebraic family of complex Lie algebras equipped with an anti-holomorphic involution, whose real fibers recover the original contraction and its dual.

If this is right

  • The original and dual contractions can be deformed continuously into each other inside the family.
  • The same algebraic-family methods developed for contractions and real forms now apply uniformly to both members of the duality.
  • Hidden symmetries associated to one contraction become accessible through the geometry of the family that also contains the dual.
  • The construction supplies a single parameter space in which questions about both contractions can be posed simultaneously.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The family may supply continuous paths that interpolate between distinct real forms of the same complex Lie algebra.
  • Explicit coordinate charts on the family for low-dimensional examples could yield new closed-form expressions for the contraction limits.
  • The anti-holomorphic involution on the family might extend to other classes of contractions not attached to symmetric pairs.

Load-bearing premise

That for any real symmetric pair a dual real form always exists inside the complexification so that the two contractions fit together as real fibers in an algebraic family carrying an anti-holomorphic involution.

What would settle it

A concrete symmetric pair for which no dual real form g* can be chosen so that the contractions form an algebraic family equipped with the required anti-holomorphic involution.

read the original abstract

We introduce a duality for In\"{o}n\"{u}-Wigner contractions attached to real symmetric Lie algebras. Starting from a symmetric pair $(\mathfrak{g},\theta)$, we define a dual real form $\mathfrak{g}^{*}$ inside the complexification of $\mathfrak{g}$ and consider the corresponding contraction with respect to the common fixed-point subalgebra $\mathfrak{g}^{\theta}$. The main result shows that the original contraction and its dual appear as real fibers of a single algebraic family of complex Lie algebras equipped with an anti-holomorphic involution. This places the two contractions in one geometric framework and connects them with the algebraic-family methods developed in recent work on contractions, real forms, and hidden symmetries.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript introduces a duality for Inönü-Wigner contractions of real symmetric Lie algebras. Given a symmetric pair (𝔤, θ), a dual real form 𝔤* is defined inside the complexification 𝔤_ℂ using the Cartan decomposition. The Inönü-Wigner contractions of both 𝔤 and 𝔤* with respect to the common fixed-point subalgebra 𝔤^θ are then realized as the real fibers (corresponding to t = 1 and t = −1) of a single algebraic family of complex Lie algebras parametrized by a complex variable t, equipped with an anti-holomorphic involution that interchanges the two fibers while preserving the Lie bracket for every t. The construction is carried out by direct computation of the bracket relations in a basis adapted to the decomposition 𝔤 = 𝔤^θ ⊕ 𝔭 and is claimed to require no further assumptions on the Killing form or signature.

Significance. If the central claim holds, the result embeds dual contractions into a unified algebraic-family framework with a built-in anti-holomorphic involution, offering a geometric perspective that may aid the study of hidden symmetries and real forms. Credit is due for the explicit direct-computation approach in an adapted basis, which yields a parameter-free algebraic family (structure constants polynomial in t) without ad-hoc restrictions, thereby strengthening generality and connecting to existing algebraic-family techniques in the literature on contractions.

minor comments (2)
  1. The abstract refers to 'recent work on contractions, real forms, and hidden symmetries' without specific citations; adding one or two key references in the introduction would better situate the contribution.
  2. In the definition of the dual real form 𝔤* (presumably in the section following the Cartan decomposition), explicitly state the choice of complementary real subspace and verify that the resulting involution is indeed anti-holomorphic for all t in the family.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment, accurate summary of the main result, and recommendation for minor revision. We appreciate the recognition given to the explicit basis computation, parameter-free algebraic family, and generality without restrictions on the Killing form. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is direct construction

full rationale

The paper's core result is obtained by starting from a real symmetric pair (g, θ), defining the dual real form g* inside the complexification via the Cartan decomposition, performing the Inönü-Wigner contraction w.r.t. the common fixed-point subalgebra g^θ for both, and realizing the two contracted algebras as real fibers (t=1 and t=-1) of a single algebraic family whose structure constants are polynomial in the complex parameter t. An anti-holomorphic involution is defined by composing θ with complex conjugation relative to g* and verified to preserve the bracket for every t by direct computation in the adapted basis g = g^θ ⊕ p. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-defined quantity, or load-bearing self-citation; the algebraic family and involution are exhibited explicitly rather than assumed or renamed from prior fitted data. The reference to 'algebraic-family methods developed in recent work' is contextual framing and does not carry the main theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard background from symmetric Lie algebra theory and Inönü-Wigner contractions; the dual real form and the algebraic family are introduced as part of the new framework.

axioms (2)
  • domain assumption Existence of a dual real form g* inside the complexification of g for a given symmetric pair (g, θ)
    Invoked at the start of the construction to define the dual contraction.
  • domain assumption The two contractions with respect to g^θ form an algebraic family of complex Lie algebras equipped with an anti-holomorphic involution
    This is the content of the main result to be proved.

pith-pipeline@v0.9.0 · 5406 in / 1446 out tokens · 65335 ms · 2026-05-10T16:13:12.446539+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    A duality be- tween non-compact semisimple symmetric pairs and commutative compact semisimple symmetric triads and its general theory

    Kurando Baba, Osamu Ikawa, and Atsumu Sasaki. “A duality be- tween non-compact semisimple symmetric pairs and commutative compact semisimple symmetric triads and its general theory”. In: Differential Geometry and its Applications76 (2021), p. 101751

    work page 2021

  2. [2]

    Algebraic families of groups and commuting involutions

    Dan Barbasch, Nigel Higson, and Eyal Subag. “Algebraic families of groups and commuting involutions”. In:Internat. J. Math.29.4 (2018), pp. 1850030, 18

    work page 2018

  3. [3]

    Algebraic families of Harish-Chandra pairs

    Joseph Bernstein, Nigel Higson, and Eyal Subag. “Algebraic families of Harish-Chandra pairs”. In:Int. Math. Res. Not. IMRN15 (2020), pp. 4776–4808

    work page 2020

  4. [4]

    Contractions of representations and algebraic families of Harish-Chandra modules

    Joseph Bernstein, Nigel Higson, and Eyal Subag. “Contractions of representations and algebraic families of Harish-Chandra modules”. In:Int. Math. Res. Not. IMRN11 (2020), pp. 3494–3520

    work page 2020

  5. [5]

    On contractions of semisimple Lie groups

    A. H. Dooley and J. W. Rice. “On contractions of semisimple Lie groups”. In:Trans. Amer. Math. Soc.289.1 (1985), pp. 185–202

    work page 1985

  6. [6]

    Spherical functions on a real semisimple Lie group. A method of reduction to the complex case

    Mogens Flensted-Jensen. “Spherical functions on a real semisimple Lie group. A method of reduction to the complex case”. In:Journal of Functional Analysis30.1 (1978), pp. 106–146

    work page 1978

  7. [7]

    Reprint of the 1974 original

    Robert Gilmore.Lie groups, Lie algebras, and some of their applications. Reprint of the 1974 original. Robert E. Krieger Publishing Co., Inc., Malabar, FL, 1994, pp. xx+587

    work page 1974

  8. [8]

    Sigurdur Helgason.Differential geometry, Lie groups, and symmetric spaces. Vol. 34. Graduate Studies in Mathematics. Corrected reprint of the 1978 original. American Mathematical Society, Providence, RI, 2001, pp. xxvi+641

    work page 1978

  9. [9]

    Families of symmetries and the hy- drogen atom

    Nigel Higson and Eyal Subag. “Families of symmetries and the hy- drogen atom”. In:Adv. Math.408 (2022), Paper No. 108586, 61

    work page 2022

  10. [10]

    On the contraction of groups and their representations

    E. Inonu and E. P . Wigner. “On the contraction of groups and their representations”. In:Proc. Nat. Acad. Sci. U.S.A.39 (1953), pp. 510–524

    work page 1953

  11. [11]

    Reflection positive stochastic processes indexed by Lie groups

    Palle E. T. Jorgensen, Karl-Hermann Neeb, and Gestur Ólafsson. “Reflection positive stochastic processes indexed by Lie groups”. In: SIGMA Symmetry Integrability Geom. Methods Appl.12 (2016), Paper No. 058, 49. 17

    work page 2016

  12. [12]

    Mod- ular geodesics and wedge domains in non-compactly causal sym- metric spaces

    Vincenzo Morinelli, Karl-Hermann Neeb, and Gestur Ólafsson. “Mod- ular geodesics and wedge domains in non-compactly causal sym- metric spaces”. In:Annals of Global Analysis and Geometry65.1 (2024), p. 9

    work page 2024

  13. [13]

    Lowest-Dimensional Example on Non-Universality of Generalized Inönü-Wigner Contrac- tions

    Dmytro R. Popovych and Roman O. Popovych. “Lowest-Dimensional Example on Non-Universality of Generalized Inönü-Wigner Contrac- tions”. In:Journal of Algebra324.10 (2010), pp. 2742–2756

    work page 2010

  14. [14]

    Contraction of Lie groups

    E. J. Saletan. “Contraction of Lie groups”. In:J. Mathematical Phys.2 (1961), pp. 1–21

    work page 1961

  15. [15]

    On the contraction of so(4) to iso(3)

    E. M. Subag et al. “On the contraction of so(4) to iso(3)”. In:Symme- tries and Groups in Contemporary Physics, pp. 599–604

    work page

  16. [16]

    Symmetries of the hydrogen atom and algebraic families

    Eyal M. Subag. “Symmetries of the hydrogen atom and algebraic families”. In:J. Math. Phys.59.7 (2018), pp. 071702, 20

    work page 2018

  17. [17]

    Contractions, generalized Inönü-Wigner contractions and deformations of finite-dimensional Lie algebras

    Evelyn Weimar-Woods. “Contractions, generalized Inönü-Wigner contractions and deformations of finite-dimensional Lie algebras”. In:Rev. Math. Phys.12.11 (2000), pp. 1505–1529. 18

    work page 2000