arxiv: 2604.18100 · v1 · submitted 2026-04-20 · 🧮 math.RT

Recognition: unknown

The Reverse Tableaux: a Gateway to the Surjectivity of the Component Map

Yasmine Fittouhi , Anthony Joseph

Authors on Pith no claims yet

Pith reviewed 2026-05-10 03:32 UTC · model grok-4.3

classification 🧮 math.RT

keywords reverse tableauxcomponent tableauxred setsnilfibreKrull's theoremsurjectivitylinearizationsemiinvariant algebra

0 comments

The pith

Reverse tableaux factorize invariants to prove the surjectivity of the component map onto nilfibre components.

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

The paper constructs reverse tableaux from red sets that encode the same combinatorial data as earlier component tableaux but in a more flexible form. These objects factor each successive invariant in a chosen sequence by linearizing the preceding invariants, after which Krull's theorem establishes that the map sending the tableaux to the irreducible components of the nilfibre is onto. A sympathetic reader cares because this algebraic-combinatorial route achieves the surjectivity result without constructing an explicit geometric description of the nilcone, a description that has remained out of reach. The construction rests on an enabling proposition that produces the reverse tableaux and on the fact that the semiinvariant algebra is polynomial with generators given by the Benlolo-Sanderson invariants.

Core claim

Reverse tableaux {R^{ψ(C)}} are constructed via an enabling proposition for each red set coming from combinatorial data C. They define exactly the same components C of the nilfibre N as the component tableaux do. In addition they supply a factorization of each new invariant in a chosen sequence by successive linearization of the preceding invariants. Krull's theorem applied to this factorization yields the surjectivity of the component map. Multiple reverse tableaux may exist for a single red set, yet each determines the same variety and the same component as the corresponding component tableau.

What carries the argument

The reverse tableaux associated to a red set, which enable factorization of invariants by successive linearization so that Krull's theorem applies directly to establish surjectivity.

If this is right

The component map from tableaux to components is surjective, so combined with the earlier injectivity it is bijective.
Several reverse tableaux may correspond to one red set while all still determine the identical variety and component.
The extra flexibility in reverse tableaux, absent from the rigid component tableaux, is what makes the required factorizations possible.
The method supplies a purely combinatorial-algebraic proof of surjectivity that does not rely on any geometric model of the nilcone.
The Benlolo-Sanderson invariants continue to generate the semiinvariant algebra, and the new factorizations respect the polynomial structure given by Richardson's theorem.

Where Pith is reading between the lines

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

If the enabling proposition extends beyond the present parabolic setting, similar factorizations could establish surjectivity for component maps in other nilpotent varieties.
Red sets might function as a canonical, minimal combinatorial label for each component, simplifying classification tasks.
The technique of successive linearization may expose algebraic relations among invariants that are invisible to geometric methods.
This approach suggests that combinatorial objects can substitute for geometric data in other problems of invariant theory where direct geometry remains unavailable.

Load-bearing premise

The enabling proposition that guarantees a reverse tableau exists for every red set and that the successive linearizations produce a factorization to which Krull's theorem applies in this graded setting.

What would settle it

A red set for which no reverse tableau can be constructed, or a factorization obtained from linearization to which Krull's theorem does not imply surjectivity of the component map.

Figures

Figures reproduced from arXiv: 2604.18100 by Anthony Joseph, Yasmine Fittouhi.

**Figure 1.** Figure 1: The component tableaux lead to 6 distinct and explicitly describable components of the nilfibre (in this case) which we wish eventually to prove is a complete set. In the last example every column has just one red entry and with multiplicity one. This property characterizes the “canonical component”, [8, 1.4] being implicit in the construction of the composition tableau [8, 4.7]. In the canonical componen… view at source ↗

**Figure 2.** Figure 2: Implement C1, C3. This puts a black 4 in C2 pushing the black 3 into R2 ∩ C1. Then for the pair C2, C4 being implemented, one has C − 2 = C1 of height 2 with lowest entry in black and hence of height and black height 2, This example gives eventually two red multi-sets (4, 4); (4, 6). Example 21. Components tableaux for the composition (1, 2, 1, 2) above: C1 C2 C3 C4 R1 1 2 4 5 R2 3 6 R3 −→ C1 C2 C3 C4 1 2 … view at source ↗

**Figure 3.** Figure 3: Implement C1, C3 which recolours the black 5 in red. Then implement C2, C4 which pushes this red 5 into R2 ∩ C2. Implement the pair C3, C5 is implemented. For the lowest row of the middle column, C − 3 = C2 has height 2 with its lowest entry in red 5 and hence has black height 1. In this example one obtains eventually three Red Sets (4, 5, 8); (5, 6, 6); (5, 6, 8). Example 4. Consider the composition (1, … view at source ↗

**Figure 4.** Figure 4: There is a component tableau T C with red multi-set (7, 8, 11, 13), as illustrated by the top line above. The contribution of the red 13 to the excluded roots of the component tableau is illustrated in the second line. It results from placing 13 under 10 and then 11 skips over C4, C5 because they have height one, so must be skipped over to avoid a gap. This pushes 11 under 5 and then 6 under 3 creating the… view at source ↗

**Figure 5.** Figure 5: Let the 10-string go down by two consecutive steps of height two. This gives the Red Set (11, 12, 15, 16) as shown in the first line. To construct the reverse tableau, recall that according to our ordering of the red multi-set we implement in the order 12, 11, 16, 15. First 12 goes under 9 and then 11 under 10. Then 16 goes under 7 finally 15 under 12. Observe that the amalgamated column Cˆ 5 of [9, 4.3.6]… view at source ↗

**Figure 6.** Figure 6: A reverse tableau with red multi-set 4, 5, 7 is constructed as follows. First a black 4 is placed under 3 and the original black 4 is recoloured in red. Then a black 5 is placed under this red 4 and the oribinal black 5 recoloured in red. Finally a black 7 is placed under this black 5 and the original balck 7 recoloured. This was all done simultaneously in the first lime of figure. It produces an excluded … view at source ↗

**Figure 7.** Figure 7: This has a component with red multi-set (4, 4, 7). In the corresponding reverse tableau, a (black) 6 lies strictly to the left of the black 4. On the other hand this black 6 lies strictly below a red 4 in the same column, so only by virtue of the latter is x4,6 an excluded root. Again in this example x1,4 lies in X(Rψ(C) ) but not in X(T C ). Example 8. Consider the composition (2, 1, 1, 2, 2). C1 C2 C3 C… view at source ↗

**Figure 8.** Figure 8: The component with red multi-set 4, 6, 8. Here 1 appears in row 3 in column 8 of M following copies of ∗ in columns 4, 6. By the requirement of 8.3, in the reverse tableau the right going line ℓ3,8 labelled by a 1 must go from the singleton entry of 3 to the black entry of 8 and thern down by two rows. This requiremnt was needed for 8.3(∗) which is indeed satisfied in this example. The remaining four lines… view at source ↗

**Figure 9.** Figure 9: The component with red multi-set 8, 9, 12, 12. The line ℓ9,12 goes up by m = 2 rows in the component tableau whilst the new black 12 goes down by m = 2 rows in the reverse tableau. Thus the line ℓ9,12 from the rightmost 9 to the leftmost 12, is horizontal in the reverse tableau. Example 10. This illustrates the factorisation explained in 9.5 to recover all the reverse tableaux corresponding to the red mult… view at source ↗

**Figure 10.** Figure 10: The flow chart for the two factorisations given in 9.5 [PITH_FULL_IMAGE:figures/full_fig_p046_10.png] view at source ↗

read the original abstract

Let $G$ be a simple algebraic group over $\mathbb C$, $B$ a fixed Borel subgroup, $P$ a parabolic subgroup, $P'$ its derived group acting on the Lie algebra $\mathfrak m$ of its nilradical. The nilfibre $\mathscr N$ is the zero locus of the augmentation $\mathcal I_+$ of the semiinvariant algebra $\mathcal I=\mathbb C[\mathfrak m]^{P'}$. Via Richardson's theorem, $\mathcal I$ is polynomial. Then the generators of $\mathcal I$ may be taken to be the Benlolo-Sanderson invariants \cite{BS}. In Y.Fittouhi and A.Joseph, The Magic and Mystery of Component Tableaux, Indag 2026, a set $\{\mathscr T^\mathcal C\}$ of component tableaux was constructed each encoding explicit combinatorial data $\mathcal C$. Each tableau $\{\mathscr T^\mathcal C\}$ defines a component $\mathscr C$ of $\mathscr N$ and the map $\{\mathscr T^\mathcal C\}\mapsto \mathscr C$ is injective. Here this data is simply encoded in a multiset called the Red Set. In the present work a set $\{\mathscr R^{\psi(\mathcal C)}\}$ of Reverse Tableaux is constructed through an Enabling Proposition. They define the same components as the component tableaux and furthermore give a factorisation of each new invariant in a chosen sequence via successive linearisation of preceding invariants. Via Krull's theorem this factorisation provides the required surjectivity. There can be several reverse tableaux for a given RedSet, yet each determine the same variety as the component tableaux with the given RedSet and define the same components. The flexibility of having several equivalent reverse tableaux absent from the more rigid component tableaux, is essential for factorisation This procedure is different from the classical approach to surjectivity requiring a \textit{geometric} description of the nilcone which seems unattainable. Nothing of this complexity has never been tackled before and the methods used here are entirely new

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.

Desk Editor's Note private letter to a colleague

Reverse tableaux add flexibility for a factorization proof of surjectivity via linearisation and Krull, but the graded ring details are not visible in the abstract.

read the letter

The main takeaway is that the authors construct reverse tableaux which match the components from their earlier component tableaux but offer more flexibility, enabling a factorization of new invariants through successive linearisation to establish surjectivity via Krull's theorem. What is new here is the reverse tableaux via the Enabling Proposition and the factorization procedure using linearisation of preceding invariants. This approach sidesteps the need for a geometric description of the nilcone. The paper does well in presenting this as a combinatorial alternative that builds directly on the Red Set encoding and Benlolo-Sanderson generators from their prior work. The fact that multiple reverse tableaux can correspond to the same Red Set is highlighted as key for the factorization to succeed. The soft spots are around the application of Krull's theorem. The abstract does not provide the Enabling Proposition or any concrete steps showing that the linearised elements form a regular sequence in the graded ring or that the height calculations confirm the components. In the graded semiinvariant algebra, there could be issues with zero-divisors or associated primes affecting the dimension of the zero locus, so the surjectivity claim needs explicit verification that the factorization works as stated. This is not a minor point since it is the central step. This paper is aimed at specialists in algebraic group invariants and combinatorial methods for nilpotent varieties. A reader familiar with the authors' previous paper on component tableaux would get the most out of it and could assess whether the new construction delivers the surjectivity proof. I think it deserves a serious referee to check the details of the factorization and the Enabling Proposition.

Referee Report

2 major / 2 minor

Summary. The paper constructs a set of reverse tableaux {R^{ψ(C)}} via an Enabling Proposition for each Red Set associated to the component tableaux {T^C} from the authors' prior work. These reverse tableaux are claimed to define the same components of the nilfibre N as the component tableaux, while also providing a factorization of each new invariant in a chosen sequence through successive linearization of preceding invariants. The authors then invoke Krull's theorem on this factorization to establish surjectivity of the map from tableaux to components of N, noting the flexibility of multiple reverse tableaux per Red Set as essential for the factorization procedure.

Significance. If the Enabling Proposition and the factorization step are rigorously verified, the result would supply a combinatorial, algebraic route to surjectivity of the component map in the semiinvariant algebra I = C[m]^{P'} without requiring a geometric description of the nilcone. This builds directly on Richardson's theorem (that I is polynomial) and the Benlolo-Sanderson generators, offering a new perspective on the structure of nilfibre components that leverages the flexibility absent from the more rigid component tableaux.

major comments (2)

Abstract (Enabling Proposition): The Enabling Proposition guaranteeing existence of reverse tableaux for every Red Set is referenced but neither stated explicitly nor exemplified; this proposition is load-bearing for the construction, the claim that reverse tableaux define the same components as component tableaux, and the subsequent factorization.
Abstract (factorization and Krull step): The assertion that successive linearisation produces a factorization to which Krull's theorem applies directly is not supported by any verification that the linearised elements form a regular sequence in the graded semiinvariant algebra or that the height calculations in the successive quotients confirm the expected dimensions of the zero loci; this is required to ensure every component of the nilfibre is attained, especially given the graded setting and potential associated primes.

minor comments (2)

Abstract, final sentence: The phrasing 'Nothing of this complexity has never been tackled before' contains a double negative and should be corrected to 'Nothing of this complexity has ever been tackled before'.
Abstract: The heavy dependence on the prior paper for definitions of component tableaux, Red Sets, and Benlolo-Sanderson generators would benefit from brief self-contained reminders or a short preliminary section to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough and constructive report. The comments identify important points where additional explicitness and verification will strengthen the manuscript. We address each major comment below and will incorporate the necessary revisions.

read point-by-point responses

Referee: Abstract (Enabling Proposition): The Enabling Proposition guaranteeing existence of reverse tableaux for every Red Set is referenced but neither stated explicitly nor exemplified; this proposition is load-bearing for the construction, the claim that reverse tableaux define the same components as component tableaux, and the subsequent factorization.

Authors: We agree that the Enabling Proposition requires explicit statement and an illustrative example to make its central role transparent. The proposition itself, together with its proof, appears in Section 3 of the full manuscript; however, the abstract only alludes to it. We will revise the abstract to include a concise formulation of the Enabling Proposition and add a short worked example in the introduction showing the construction of a reverse tableau from a given Red Set. This will also clarify why multiple reverse tableaux per Red Set are admissible while still determining the same component. revision: yes
Referee: Abstract (factorization and Krull step): The assertion that successive linearisation produces a factorization to which Krull's theorem applies directly is not supported by any verification that the linearised elements form a regular sequence in the graded semiinvariant algebra or that the height calculations in the successive quotients confirm the expected dimensions of the zero loci; this is required to ensure every component of the nilfibre is attained, especially given the graded setting and potential associated primes.

Authors: The referee correctly notes that an explicit check of the regular-sequence property and the resulting height computations is needed for a fully rigorous application of Krull's theorem in the graded setting. The combinatorial construction via reverse tableaux is designed so that each successive linearised invariant remains regular in the quotient by the preceding ones, with codimensions matching the expected dimensions of the components; this follows from the grading on the Benlolo-Sanderson generators and the structure of the Red Sets. To address the concern directly, we will insert a new subsection (immediately following the factorization construction) that proves the sequence is regular, computes the successive heights, and confirms that no extraneous associated primes arise that would prevent the zero loci from coinciding with the desired components of the nilfibre. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation of surjectivity via reverse tableaux and Krull's theorem

full rationale

The paper's central claim establishes surjectivity of the component map by constructing reverse tableaux through a new Enabling Proposition, obtaining a factorization of invariants via successive linearisation, and invoking Krull's theorem on the resulting sequence in the graded semiinvariant algebra. While the abstract references the authors' prior work for the component tableaux, Red Set encoding, and injectivity of the map, this supplies setup and the injective direction rather than reducing the surjectivity result to an input by construction. External theorems (Richardson's polynomiality of I, Krull's height theorem) and the novel combinatorial objects provide independent content. No equations, definitions, or steps in the provided text exhibit self-definitional collapse, fitted inputs renamed as predictions, or load-bearing self-citations that force the conclusion. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claim rests on two standard algebraic theorems and two newly introduced combinatorial objects whose existence is asserted via an enabling proposition.

axioms (2)

standard math Richardson's theorem that the semiinvariant algebra I is polynomial
Invoked to justify taking the Benlolo-Sanderson invariants as generators of I.
standard math Krull's theorem that a factorization of invariants implies surjectivity of the component map
Applied after the reverse tableaux produce the factorization.

invented entities (2)

Reverse Tableaux no independent evidence
purpose: Combinatorial objects that encode Red Set data and permit successive linearisation of invariants
Constructed via the Enabling Proposition to replace the more rigid component tableaux
Red Set no independent evidence
purpose: Multiset that encodes the combinatorial data C from component tableaux
Simplifies the input data for the reverse tableaux construction

pith-pipeline@v0.9.0 · 5676 in / 1534 out tokens · 49668 ms · 2026-05-10T03:32:52.964781+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Reverse Tableaux and the Surjectivity of the Component Map in Type $A$
math.AC 2026-04 unverdicted novelty 5.0

The component map φ from component tableaux to Irr(N) is surjective, established via factorization of the Benlolo-Sanderson invariants into products indexed by pseudo-neighbouring column pairs.

Reference graph

Works this paper leans on

16 extracted references · cited by 1 Pith paper

[1]

M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra, Addison-Wesley Ser. Math. Westview Press, Boulder, CO, 2016

2016
[2]

Benlolo, and Y

E. Benlolo, and Y. B. Sanderson, On the hypersurface orbital varieties ofsl(N,C). J. Algebra 245 (2001), no. 1, 225—246

2001
[3]

Borho, P

W. Borho, P. Gabriel and R. Rentschler: Primideale in Einhüllenden auflösbarer Lie-algebren, LN 357, Springer-Verlag, Berlin-Heidelberg-New York, 1973

1973
[4]

Dixmier, Algèbres enveloppantes

J. Dixmier, Algèbres enveloppantes. (French) Cahiers Scientifiques, Fasc. XXXVII. Gauthier-Villars Éditeur, Paris-Brussels-Montreal, Que., 1974

1974
[5]

Fittouhi and A

Y. Fittouhi and A. Joseph, Weierstrass sections for Parabolic adjoint actions in typeA, J. Algebra 618 (2023), 1–41

2023
[6]

Fittouhi and A

Y. Fittouhi and A. Joseph, Parabolic adjoint action, Weierstrass sections and components of the nilfibre in typeA, Indag Math., online January 2026

2026
[7]

Fittouhi and A

Y. Fittouhi and A. Joseph, The canonical compoent of the nilfibre for parabolic adjoint action, Weier- strass sections in typeA, Journal of Algebraic Combinatorics, 59, (2024), 523-559

2024
[8]

Fittouhi and A

Y. Fittouhi and A. Joseph, The Composition Tableau and Reconstruction of the Canonical Weierstrass Section for Parabolic Adjoint Action in typeA, J. Algebra 632(2023), 1–30

2023
[9]

Fittouhi and A

Y. Fittouhi and A. Joseph, The Magic and Mystery of Component Tableaux, Indag. Math., online January 2026

2026
[10]

Fittouhi and A

Y. Fittouhi and A. Joseph, The Reverse Tableau. A Gateway to the Surjectivity of the Component Map - Redressing. Unpublished but available on
[11]

Fittouhi and A

Y. Fittouhi and A. Joseph, L’ensemble Rouge (In Preparation)
[12]

Joseph and A

A. Joseph and A. Melnikov, Quantization of hypersurface orbital varieties insl(n), Progr. Math., 213, Birkhäuser Boston, Inc., Boston, MA, 2003, 165–196

2003
[13]

Math., 34, 1979, no

B/ Kostant, The solution to a generalized Toda lattice and representation theory, Adv. Math., 34, 1979, no. 3, 195–338

1979
[14]

Perelman, Quantization of hypersurface orbital varieties in simple Lie algebras of classical types, Thesis, Weizmann Institute 2003

E. Perelman, Quantization of hypersurface orbital varieties in simple Lie algebras of classical types, Thesis, Weizmann Institute 2003

2003
[15]

Spaltenstein, On the fixed point set of a unipotent element on the variety of Borel subgroups

N. Spaltenstein, On the fixed point set of a unipotent element on the variety of Borel subgroups. Topology 16 (1977), no. 2, 203—204

1977
[16]

Steinberg, An occurrence of the Robinson-Schensted correspondence, J

R. Steinberg, An occurrence of the Robinson-Schensted correspondence, J. Algebra 113 (1988), no. 2, 523–528

1988