pith. sign in

arxiv: 2504.19102 · v1 · submitted 2025-04-27 · 🧮 math.RT

Radial restriction of spherical functions on supergroups

Mitra Mansouri , Hadi Salmasian This is my paper

Pith reviewed 2026-05-22 19:23 UTC · model grok-4.3

classification 🧮 math.RT
keywords Lie supergroupsK-bi-invariant functionsradial restrictionsupersymmetric pairsHopf superalgebrasenveloping algebrasCartan subspacesBernoulli numbers
0
0 comments X

The pith

For supersymmetric pairs the radial restriction map injects the space of K-bi-invariant functions on a Lie supergroup into the dual of the symmetric algebra on the Cartan subspace.

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

The paper develops a purely algebraic definition of K-bi-invariant functions on a Lie supergroup G by viewing them as elements of the dual of the enveloping algebra U(g) that vanish on the coideal generated by the Lie algebra k of the sub-supergroup K. For a general class of supersymmetric pairs (g, k) it then defines a radial restriction operation and proves that this operation embeds the space of such functions injectively into the dual of the symmetric algebra on the Cartan subspace a. A sympathetic reader would care because the result reduces the study of these invariant functions to their behavior along a single Cartan subspace using only the Hopf superalgebra structure, without extra analytic or geometric input. In the concrete case of the pair (gl(1|2), osp(1|2)) the paper also computes an explicit basis for the coideal and links it to Bernoulli and Euler zigzag numbers.

Core claim

Using the Hopf superalgebra structure of U(g), K-bi-invariant functions are realized as the subalgebra A(g, k) of the dual that vanishes on the coideal I = k U(g) + U(g) k. For general supersymmetric pairs (g, k) the radial restriction of elements of A(g, k) is defined and shown to be an injection into S(a)*. For the pair (gl(1|2), osp(1|2)) an explicit basis of I is computed and connected to Bernoulli and Euler zigzag numbers.

What carries the argument

The radial restriction map from A(g, k) to S(a)*, which sends each K-bi-invariant function to its values on the Cartan subspace a after quotienting by the coideal I.

Load-bearing premise

The Hopf superalgebra structure alone is enough to define both the coideal I and the radial restriction map for any supersymmetric pair without further analytic or geometric data.

What would settle it

Exhibit two distinct elements of A(g, k) whose radial restrictions to S(a)* coincide for some supersymmetric pair (g, k).

read the original abstract

Using the Hopf superalgebra structure of the enveloping algebra $U(\mathfrak g)$ of a Lie superalgebra $\mathfrak=\mathrm{Lie}(G)$, we give a purely algebraic treatment of $K$-bi-invariant functions on a Lie supergroup $G$, where $K$ is a sub-supergroup of $G$. We realize $K$-bi-invariant functions as a subalgebra $\mathcal A(\mathfrak g,\mathfrak k)$ of the dual of $U(\mathfrak g)$ whose elements vanish on the coideal $\mathcal I=\mathfrak kU(\mathfrak g)+U(\mathfrak g)\mathfrak k$, where $\mathfrak k=\mathrm{Lie}(K)$. Next, for a general class of supersymmetric pairs $(\mathfrak g,\mathfrak k)$, we define the radial restriction of elements of $\mathcal A(\mathfrak g,\mathfrak k)$ and prove that it is an injection into $S(\mathfrak a)^*$, where $\mathfrak a$ is the Cartan subspace of $(\mathfrak g,\mathfrak k)$. Finally, we compute a basis for $\mathcal I$ in the case of the pair $(\mathfrak{gl}(1|2), \mathfrak{osp}(1|2))$, and uncover a connection with the Bernoulli and Euler zigzag numbers.

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

1 major / 2 minor

Summary. The paper develops a purely algebraic framework for K-bi-invariant functions on Lie supergroups G using the Hopf superalgebra structure of the enveloping algebra U(g). It realizes these functions as the subalgebra A(g, k) of the dual of U(g) consisting of functionals that vanish on the coideal I = kU(g) + U(g)k. For a general class of supersymmetric pairs (g, k), it defines the radial restriction map from A(g, k) to S(a)* (with a the Cartan subspace) and proves that this map is injective. In the specific case of the pair (gl(1|2), osp(1|2)), it computes an explicit basis for I and establishes a connection to Bernoulli and Euler zigzag numbers.

Significance. If the proofs hold, the work provides a valuable algebraic foundation for spherical functions on supergroups, extending classical invariant theory to the super setting without analytic or geometric input. The explicit basis computation and its link to zigzag numbers is a concrete strength that may enable further combinatorial and representation-theoretic applications. The manuscript supplies direct proofs for both the general injectivity and the specific basis, which strengthens the contribution.

major comments (1)
  1. [general supersymmetric pairs] The section defining the radial restriction for general supersymmetric pairs: the injectivity proof relies on the Hopf superalgebra structure and the choice of Cartan subspace a, but when a contains odd elements the argument for triviality of the kernel (via intersection with I ∩ U(a)) would benefit from an explicit PBW-type complement or basis construction to confirm it does not depend on additional structure; this is central to the general claim.
minor comments (2)
  1. [abstract] The abstract refers to 'a general class of supersymmetric pairs' without a brief characterization or list of assumptions; adding this would improve accessibility.
  2. [notation] Notation for the dual space S(a)* and the precise definition of the restriction map could be clarified with an equation or diagram in the general setup.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, their positive assessment of the algebraic framework, and the constructive suggestion regarding the general case. We address the major comment below and will incorporate a clarification in the revised version.

read point-by-point responses

  1. Referee: [general supersymmetric pairs] The section defining the radial restriction for general supersymmetric pairs: the injectivity proof relies on the Hopf superalgebra structure and the choice of Cartan subspace a, but when a contains odd elements the argument for triviality of the kernel (via intersection with I ∩ U(a)) would benefit from an explicit PBW-type complement or basis construction to confirm it does not depend on additional structure; this is central to the general claim.

    Authors: We thank the referee for this observation. The injectivity proof proceeds by showing that any element of the kernel vanishes on a generating set for U(g) using the Hopf superalgebra structure and the defining properties of the Cartan subspace a as a complement compatible with the supersymmetric pair (g, k). The argument that the intersection with I ∩ U(a) is trivial is independent of further choices by construction of a. Nevertheless, we agree that an explicit PBW-type basis or complement for U(a) when a contains odd elements would make the independence from additional structure fully transparent and strengthen the presentation of this central step. We will revise the manuscript to include such a basis construction or detailed remark in the section on general supersymmetric pairs. revision: yes

Circularity Check

0 steps flagged

Algebraic derivation of radial restriction injectivity is self-contained

full rationale

The paper begins with the standard Hopf superalgebra structure on U(g) to define the coideal I = kU(g) + U(g)k and the subalgebra A(g,k) of functionals vanishing on I. For a general class of supersymmetric pairs it then defines radial restriction to S(a)* and proves injectivity using the Cartan subspace a. These steps rely on algebraic properties of enveloping algebras and supersymmetric pairs rather than any fitted parameters, self-definitional reductions, or load-bearing self-citations. The explicit basis computation for (gl(1|2), osp(1|2)) and its link to Bernoulli/Euler numbers is a direct calculation, not a renamed input or forced prediction. The derivation chain is independent and does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the Hopf superalgebra structure of U(g), the definition of the coideal I generated by k, and the existence of a Cartan subspace a for supersymmetric pairs. No free parameters or invented entities are introduced in the abstract; the Bernoulli-Euler connection is presented as an observed outcome of the basis computation rather than an additional postulate.

axioms (2)
  • standard math U(g) carries a Hopf superalgebra structure compatible with the Lie superbracket.
    Invoked at the opening of the abstract to treat K-bi-invariant functions algebraically.
  • domain assumption For supersymmetric pairs (g, k) a Cartan subspace a exists and the radial restriction map can be defined on A(g, k).
    Stated when the radial restriction is introduced for a general class of pairs.

pith-pipeline@v0.9.0 · 5748 in / 1722 out tokens · 56617 ms · 2026-05-22T19:23:03.789450+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    Stegun, editors

    Milton Abramowitz and Irene A. Stegun, editors. Handbook of mathematical functions with formulas, graphs, and mathematical tables . A Wiley-Interscience Publication. John Wiley & Sons, Inc. , New York; John Wiley & Sons, Inc., New York, 1984. Reprint of the 1972 edition, Selected G overnment Publications

    work page 1984

  2. [2]

    Sur les permutations altern´ ees.Journal de math´ ematiques pures et appliqu´ ees, 7:167–184, 1881

    D´ esir´ e Andr´ e. Sur les permutations altern´ ees.Journal de math´ ematiques pures et appliqu´ ees, 7:167–184, 1881

    work page

  3. [3]

    Ramesh Gangolli and V. S. Varadarajan. Harmonic analysis of spherical functions on real reductive groups, volume 101 of Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas] . Springer-Verlag, Berlin, 1988

    work page 1988

  4. [4]

    Graham, Donald E

    Ronald L. Graham, Donald E. Knuth, and Oren Patashnik. Concrete mathematics . Addison-Wesley Publishing Company, Reading, MA, second edition, 1994. A foundation fo r computer science

    work page 1994

  5. [5]

    Groups and geometric analysis , volume 83 of Mathematical Surveys and Monographs

    Sigurdur Helgason. Groups and geometric analysis , volume 83 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2000

    work page 2000

  6. [6]

    On the Harish-Chandra homomorphism

    James Lepowsky. On the Harish-Chandra homomorphism. Trans. Amer. Math. Soc. , 208:193–218, 1975. RADIAL RESTRICTION OF SPHERICAL FUNCTIONS ON SUPERGROUPS 1 7

    work page 1975

  7. [7]

    Macdonald

    Ian G. Macdonald. Symmetric functions and Hall polynomials . Oxford Classic Texts in the Physical Sciences. The Clarendon Press, Oxford University Press, New York, second edition, 2015. With contribution by A. V. Zelevinsky and a foreword by Richard Stanley

    work page 2015

  8. [8]

    Spherical functions on supersymmetric spaces and Calogero -Moser-Sutherland operators

    Mitra Mansouri. Spherical functions on supersymmetric spaces and Calogero -Moser-Sutherland operators . 2024. Thesis (Ph.D.)–University of Ottawa

    work page 2024

  9. [9]

    A. N. Sergeev and A. P. Veselov. Deformed quantum Caloger o-Moser problems and Lie superalgebras. Comm. Math. Phys. , 245(2):249–278, 2004

    work page 2004

  10. [10]

    A. N. Sergeev and A. P. Veselov. Symmetric Lie superalge bras and deformed quantum Calogero-Moser problems. Adv. Math. , 304:728–768, 2017

    work page 2017

  11. [11]

    Superanalogs of the Calogero opera tors and Jack polynomials, Isaac Newton Institute preprint , https://www.newton.ac.uk/documents/preprints/ni01033

    Alexander Sergeev. Superanalogs of the Calogero opera tors and Jack polynomials, Isaac Newton Institute preprint , https://www.newton.ac.uk/documents/preprints/ni01033

    work page

  12. [12]

    Superanalogs of the Calogero opera tors and Jack polynomials

    Alexander Sergeev. Superanalogs of the Calogero opera tors and Jack polynomials. J. Nonlinear Math. Phys. , 8(1):59–64, 2001

    work page 2001

  13. [13]

    Sweedler

    Moss E. Sweedler. Book Review: Hopf algebras. Bull. Amer. Math. Soc. (N.S.) , 5(3):349–354, 1981. Department of Mathematics and Statistics, University of Ottaw a, STEM Complex, 150 Louis-P asteur Pvt, Ottaw a, ON, Canada K1N 6N5 Email address : hsalmasi@uottawa.ca Department of Mathematics and Statistics, University of Ottaw a, STEM Complex, 150 Louis-P a...

    work page 1981