pith. sign in

arxiv: 1907.08775 · v1 · pith:YZSLWXBXnew · submitted 2019-07-20 · 🧮 math.RT · math.RA

The unbroken spectrum of Frobenius seaweeds II: type-B and type-C

Alex Cameron , Vincent E. Coll , Jr. , Matthew Hyatt , Coton Magnant This is my paper

Pith reviewed 2026-05-24 18:51 UTC · model grok-4.3

classification 🧮 math.RT math.RA
keywords frobenius seaweedslie algebrastype Btype Cadjoint spectrumunbroken spectrumsymmetric multiplicities
0
0 comments X

The pith

Frobenius seaweed subalgebras of so(2n+1) and sp(2n) have unbroken adjoint spectra with symmetric multiplicities.

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

The paper proves that if g is a Frobenius seaweed subalgebra inside the orthogonal Lie algebra B_n or the symplectic Lie algebra C_n, then the eigenvalues of the adjoint operator of a principal element form a consecutive block of integers. The multiplicities of these eigenvalues are distributed symmetrically around zero. This result extends the corresponding statement already known for type-A seaweeds in sl(n) and rests on the existence of a suitable principal element inside each such subalgebra.

Core claim

If g is a Frobenius seaweed subalgebra of B_n=so(2n+1) or C_n=sp(2n), then the spectrum of the adjoint of a principal element consists of an unbroken set of integers whose multiplicities have a symmetric distribution.

What carries the argument

The principal element inside the Frobenius seaweed subalgebra, whose adjoint operator produces the spectrum whose unbrokenness and symmetry are established.

If this is right

  • Every such seaweed subalgebra is Frobenius, i.e., its index is zero.
  • The same unbroken-and-symmetric spectral property holds uniformly for all classical types.
  • The construction of the principal element carries over directly from the type-A setting.

Where Pith is reading between the lines

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

  • The same spectral statement may hold for exceptional Lie algebras once a principal element can be identified inside each seaweed.
  • Explicit computation of the spectrum for small-rank examples would give an independent check of the multiplicity symmetry.
  • The unbroken spectrum supplies a grading that could be used to study deformations or cohomology of these subalgebras.

Load-bearing premise

A principal element exists inside the Frobenius seaweed subalgebra and inherits the necessary properties from the type-A case to make the spectrum calculation well-defined.

What would settle it

A concrete Frobenius seaweed subalgebra in B_n or C_n for which the adjoint spectrum of any principal element contains a gap or fails to have symmetric multiplicities.

Figures

Figures reproduced from arXiv: 1907.08775 by Alex Cameron, Coton Magnant, Jr., Matthew Hyatt, Vincent E. Coll.

Figure 1
Figure 1. Figure 1: The split Dynkin diagram of p C 8 ({α8, α7, α6, α3, α2, α1 | α8, α7, α5, α4, α3, α2}) Given a seaweed p(π1 | π2) of a simple Lie algbera g, let W denote the Weyl group of its root system ∆, generated by the reflections sα such that α ∈ Π. For j = 1, 2 define Wπj to be the subgroup of W generated by sα such that α ∈ πj . Let wj denote the unique longest (in the usual Coxeter sense) element of Wπj , and defi… view at source ↗
Figure 2
Figure 2. Figure 2: The orbit meander of p C 8 ({α8, α7, α6, α3, α2, α1 | α8, α7, α5, α4, α3, α2}) It turns out that the index of p(π1 | π2) is governed by the orbits of the cyclic group < i1i2 > acting on Π (see Section 7.16 in [18]). Since we are interested in only Frobenius seaweeds, we do not require the full power of that theorem, needing only the following corollary. Theorem 2.1 (Joseph [18], Section 7.16). Given subset… view at source ↗
Figure 3
Figure 3. Figure 3: The orbit meander of p A 7 ({α7, α6, α5, α4, α3, α2 | α7, α6, α4, α3, α2, α1}) 3 Principal Elements Given a Frobenius seaweed with Frobenius functional F and corresponding principal element Fb, the eigenvalues of adFb are independent of which Frobenius functional is chosen [22]. We call these eigenvalues the spectrum of the seaweed. In this section, we describe an algorithm for computing them. Let p(π1 | π… view at source ↗
Figure 4
Figure 4. Figure 4: The simple eigenvalues of p C 8 ({α8, α7, α6, α3, α2, α1 | α8, α7, α5, α4, α3, α2}) We have the following corollary of Lemma 3.2 that will be used to prove symmetry and the unbroken property. Theorem 3.4. If σ is a maximally connected component of type Ak, then Pk i=1 αi(Fb) = 1. Proof. If k is odd, then αi(Fb) = −αk+1−i(Fb) for i < k+1 2 , and α k+1 2 (Fb) = 1. If k is even, then αi(Fb) = −αk+1−i(Fb) for … view at source ↗
Figure 5
Figure 5. Figure 5: The orbit meander of p C 10({α10, α9, α8, α7, α6, α5, α3, α2, α1 | α10, α9, α8, α7, α5, α4, α3, α2}) with U-turns highlighted The < i1i2 > orbits of the seaweed in [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The Frobenius orbit meander MC q (1q | ∅) Let M = M(a | b) be a type-B or type-C orbit meander. Suppose E(σ) is unbroken for each maximally connected component σ in M. Let M′ be the orbit meander resulting from applying one of the Winding-up moves from Lemma 4.10 to M. For the inductive step, we need not consider the Flip-up move since this merely replaces M with an inverted isomorphic copy and consequentl… view at source ↗
Figure 7
Figure 7. Figure 7: Block Creation applied to M with a1 = 5 (left) to obtain M′ (right) We have E(A ′ ) = E(A), (5) E(B ′ ) = −E(A), (6) E(D′ ) = E(A). (7) Note that E(A) is unbroken by induction. So, by Equation (7), E(σ2) is unbroken. Any number in E(A′ ∪ C ′ ) is in either E(A′ ) or E(A′ ) + 1, so by equation (5), E(A′ ∪ C ′ ) is unbroken. By symmetry and equation (6), E(B′∪C ′ ) is unbroken. Hence E(B′∪C ′ )∪E(A′∪C ′ ) is… view at source ↗
Figure 8
Figure 8. Figure 8: Rotation Expansion applied to M with a1 = 5 and b1 = 3 (left) to obtain M′ (right) We have E(D′ ) = E(A ∪ B), (8) E(C ′ ) = −E(C). (9) By equation (8), E(σ2) is unbroken. Without loss of generality, E(A ′ ∪ C ′ ) = −E(A ∪ B), (10) so E(A′ ∪ C ′ ) ⊆ E(σ1) is unbroken. All other eigenvalues in E(σ1) are symmetric to eigenvalues in E(A′ ∪ C ′ ), and consequently, E(σ1) is unbroken. Case 3. Pure Expansion: A B… view at source ↗
Figure 9
Figure 9. Figure 9: Pure Expansion applied to M with a1 = 4 and a2 = 3 (top) to obtain M′ (bottom) We have E(B ′ ) = −E(B), (11) E(A ′ ) = E(A), (12) E(C ′ ) = E(B), (13) E(D ′ ) = E(B). (14) 14 [PITH_FULL_IMAGE:figures/full_fig_p014_9.png] view at source ↗
read the original abstract

Analogous to the Type-$A_{n-1}=\mathfrak{sl}(n)$ case, we show that if $\mathfrak{g}$ is a Frobenius seaweed subalgebra of $B_{n}=\mathfrak{so}(2n+1)$ or $C_{n}=\mathfrak{sp}(2n)$, then the spectrum of the adjoint of a principal element consists of an unbroken set of integers whose multiplicities have a symmetric distribution.

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 paper claims that if g is a Frobenius seaweed subalgebra of B_n = so(2n+1) or C_n = sp(2n), then the spectrum of the adjoint of a principal element consists of an unbroken set of integers whose multiplicities have a symmetric distribution. This extends the type-A result by providing explicit constructions of the principal element inside the seaweed and direct verification that the adjoint spectrum is an unbroken integer interval with symmetric multiplicities, adapting the combinatorial root indexing and eigenvalue counting from the type-A predecessor without new gaps.

Significance. If the result holds, the work completes the unbroken-spectrum statement for all classical types by supplying the missing B_n and C_n cases with explicit, self-contained arguments that stand on the same footing as the type-A paper. The explicit constructions and direct verifications are strengths that make the claim falsifiable and reproducible within the combinatorial framework of seaweed subalgebras.

minor comments (2)
  1. [§2.3] §2.3: the notation for the principal element h_g is introduced without an explicit cross-reference to the type-A definition used in the predecessor paper; a one-sentence comparison would improve readability.
  2. [Table 1] Table 1: the multiplicity column for the C_n examples lists symmetric pairs but omits the explicit verification step that the sum of multiplicities equals dim g; adding this check would make the table self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript. The referee's summary accurately captures the main result and its relation to the type-A case.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on explicit constructions

full rationale

The paper extends the type-A result to B_n and C_n via explicit constructions of the principal element inside each Frobenius seaweed, together with direct combinatorial counting of adjoint eigenvalues that adapts the prior indexing without redefining the target spectrum in terms of itself or fitting parameters to the output. No load-bearing step reduces by the paper's own equations to a self-citation chain or ansatz that is unverified within the manuscript; the central claim therefore remains independently verifiable from the supplied constructions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, invented entities, or ad-hoc axioms beyond standard Lie-algebra background.

axioms (1)
  • domain assumption Standard definitions and properties of Frobenius seaweed subalgebras and principal elements as established in the type-A literature.
    The paper states the result is analogous to the type-A case and therefore relies on those prior definitions.

pith-pipeline@v0.9.0 · 5603 in / 1173 out tokens · 22157 ms · 2026-05-24T18:51:21.275691+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

23 extracted references · 23 canonical work pages · 2 internal anchors

  1. [1]

    Belavin, V

    A. Belavin, V. Drinfeld, Solutions of the classical Yang Baxter equation for simple Lie alge- bras, Funktsional. Anal. i Prilozhen 16(3):1-29, 1982

    work page 1982

  2. [2]

    V. Coll, A. Dougherty, M. Hyatt, N. Mayers, Meander Graph s and Frobenius Seaweed Lie Al- gebras III, Journal of Generalized Lie Theory and Applications , 11: 266. doi: 10.4172/1736- 4337, 2017

    work page doi:10.4172/1736- 2017

  3. [3]

    V. Coll, M. Gerstenhaber, and A. Giaquinto, An Explicit D eformation Formula with Non- Commuting Derivations, Ring Theory-Weizmann Science Press , 396-403, 1989

    work page 1989

  4. [4]

    V. Coll, M. Gerstenhaber, and S. Schack, Universal Defor mation Formulas and Breaking Symmetry, Journal of Pure and Applied Algebra , 90:201-219, 1993

    work page 1993

  5. [5]

    V. Coll, A. Giaquinto, and C. Magnant, Meanders and Frobe nius seaweed Lie algebras, J. Gen. Lie Theory and Applications Vol 5 (2011) Article ID G110103, 7 pages, doi: 10.4303/jglta/G110103

    work page doi:10.4303/jglta/g110103 2011

  6. [6]

    V. Coll, M. Hyatt, C. Magnant, The unbroken spectrum of ty pe-A Frobenius seaweeds, Journal of Algebraic Combinatorics , 48(2):289-305, 2017

    work page 2017

  7. [7]

    V. Coll, M. Hyatt, and C. Magnant, Symplectic meanders, Communications in Algebra , 45(11):4717-4729, 2017

    work page 2017

  8. [8]

    V. Coll, M. Hyatt, C. Magnant, and H. Wang, Frobenius seaw eed Lie algebras II, J. Gen. Lie Theory and Applications 9:1, 2015

    work page 2015

  9. [9]

    V. Coll, C. Magnant, and H. Wang, The signature of a meande r, arXiv:1206.2705, July 3, 2012

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  10. [10]

    Diatta and B

    A. Diatta and B. Magna, On properties of principal eleme nts of Frobenius Lie algebras, J. Lie Theory 24:849-864, 2014

    work page 2014

  11. [11]

    Dergachev and A

    V. Dergachev and A. Kirillov, Index of Lie algebras of se aweed type, J. Lie Theory 10(2):331- 343, 2000

    work page 2000

  12. [12]

    Elashvili, On the index of parabolic subalgebras of s emisimple Lie algebras, preprint, 1990

    A. Elashvili, On the index of parabolic subalgebras of s emisimple Lie algebras, preprint, 1990

    work page 1990

  13. [13]

    Gerstenhaber and A

    M. Gerstenhaber and A. Giaquinto, Boundary solutions o f the classical Yang-Baxter equa- tion, Letters Math. Physics 40:337-353, 1997

    work page 1997

  14. [14]

    Graphs, Frobenius functionals, and the classical Yang-Baxter equation

    M. Gerstenhaber and A. Giaquinto, Graphs, Frobenius fu nctionals, and the classical Yang- Baxter equation, arXiv:0808.2423v1, August 18, 2008. 16

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  15. [15]

    Gerstenhaber and A

    M. Gerstenhaber and A. Giaquinto, The Principal Elemen t of a Frobenius Lie Algebra, Letters Math. Physics 88(1):333-341, 2009

    work page 2009

  16. [16]

    Giaquinto and J

    A. Giaquinto and J. Zhang, Bialgebra Actions, Twists, a nd Universal Deformation Formulas, Journal of Pure and Applied Algebra , 128:133-151, 1998

    work page 1998

  17. [17]

    Joseph, The minimal orbit in a simple Lie algebra and i ts associated maximal ideal, Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, 9(1):1-29, 1976

    A. Joseph, The minimal orbit in a simple Lie algebra and i ts associated maximal ideal, Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, 9(1):1-29, 1976

    work page 1976

  18. [18]

    Joseph, On semi-invariants and index for biparaboli c (seaweed) algebras, I

    A. Joseph, On semi-invariants and index for biparaboli c (seaweed) algebras, I. J. Algebra , 305:487–515, 2006

    work page 2006

  19. [19]

    Joseph, The integrality of an adapted pair

    A. Joseph, The integrality of an adapted pair. Transformation Groups, 20(3):771-816, 2015

    work page 2015

  20. [20]

    B. Kostant, The cascade of othogonal roots and the coadj oint structure of the nilradical of a Borel subgroup of a semisimple Lie group, Moscow Mathematical Journal , 12(3):605-620, 2012

    work page 2012

  21. [21]

    Ooms, On Lie algebras having a primitive universal en veloping algebra, J

    A. Ooms, On Lie algebras having a primitive universal en veloping algebra, J. Algebra , 32(3):488-500, 1974

    work page 1974

  22. [22]

    Ooms, On Frobenius Lie algebras, Communications in Algebra , 8:13-52, 1980

    A. Ooms, On Frobenius Lie algebras, Communications in Algebra , 8:13-52, 1980

    work page 1980

  23. [23]

    Panyushev, Inductive formulas for the index of seawe ed Lie algebras, Mosc

    D. Panyushev, Inductive formulas for the index of seawe ed Lie algebras, Mosc. Math. J. 1(2):221-241, 2001. 17

    work page 2001