Zelevinsky Ordering in GLn(F) Representations

• Zelevinsky ordering is a combinatorial structure on multisegments that organizes the derivation of irreducible smooth representations of GLn(F) through local intersection–union moves.
• It characterizes linked segments via elementary intersection–union moves, ensuring convexity and the uniqueness of minimal elements in the corresponding poset.
• This framework underpins Bernstein–Zelevinsky theory by revealing derivative chains and module-theoretic properties in non-Archimedean representation theory.

The Zelevinsky ordering is a partial order on the set of multisegments associated to a fixed irreducible cuspidal (or supercuspidal) representation of a general linear group over a non-Archimedean local field. It serves as a foundational combinatorial device in the classification of irreducible smooth representations of $\mathrm{GL}_n(F)$, especially in the context of the Bernstein–Zelevinsky theory of derivatives. The Zelevinsky order, constructed via local intersection–union moves between segments, captures the structure of orbits under the general linear group, underlies the combinatorics of Bernstein–Zelevinsky derivatives, and organizes the possible sequences producing a fixed simple quotient via derivatives. This ordering is crucial to recent results on minimal sequences in the poset of multisegments, such as convexity and the uniqueness of the minimal element.

1. Segments, Multisegments, and Linkedness

Fix a non-Archimedean local field $F$ and an irreducible cuspidal representation $\rho$ of $\mathrm{GL}_r(F)$. A segment is a set of the form

$$\Delta = [a,b]_\rho = \{\nu^a \rho, \nu^{a+1}\rho, \ldots, \nu^b \rho\}$$

where $a, b \in \mathbb{Z}$, $b-a \ge 0$, and $\nu(g) = |\det g|_F$. $\mathrm{Seg}_\rho$ denotes the set of all nonempty such segments. A multisegment is a finite multiset of segments. Denote the set of all multisegments by $\mathrm{Mult}_\rho$; the empty segment and empty multisegment are also permitted.

Two segments $F$0 are linked if $F$1 is again a segment, neither contains the other, and they overlap or abut (e.g., $F$2 and $F$3 are linked, but $F$4 and $F$5 are unlinked). This characterization of segment interaction governs the permissible local moves in the Zelevinsky order (Chan, 2 Jan 2026, Chan, 2 Jan 2026).

2. Elementary Intersection–Union Moves and Order Definition

The Zelevinsky order is generated by a local operation on multisegments. Given $F$6 and a linked pair of segments $F$7, $F$8 in $F$9, a basic elementary intersection–union move replaces $\rho$0 by $\rho$1 (excluding the empty segment): $\rho$2 The Zelevinsky partial order (denoted $\rho$3 or $\rho$4) on $\rho$5 is defined by $\rho$6 if $\rho$7 can be obtained from $\rho$8 by a finite sequence of such elementary moves (or $\rho$9). The relation $\mathrm{GL}_r(F)$0 is the reflexive-transitive closure of this single-step move (Chan, 2 Jan 2026, Chan, 2 Jan 2026).

Equivalently, $\mathrm{GL}_r(F)$1 if the $\mathrm{GL}_r(F)$2-orbit associated to $\mathrm{GL}_r(F)$3 lies in the closure of the orbit parametrized by $\mathrm{GL}_r(F)$4.

3. Structure and Properties of the Zelevinsky Partial Order

The Zelevinsky ordering exhibits several fundamental features:

• Partial Order: $\mathrm{GL}_r(F)$5 is reflexive, transitive, and anti-symmetric. Anti-symmetry is deduced from the fact that each elementary move preserves the total multiset (cuspidal support) but strictly decreases the number of linked pairs, forcing equality if both $\mathrm{GL}_r(F)$6 and $\mathrm{GL}_r(F)$7 (Chan, 2 Jan 2026).
• Covering Relations: $\mathrm{GL}_r(F)$8 covers $\mathrm{GL}_r(F)$9 ($$\Delta = [a,b]_\rho = \{\nu^a \rho, \nu^{a+1}\rho, \ldots, \nu^b \rho\}$$0 and no $$\Delta = [a,b]_\rho = \{\nu^a \rho, \nu^{a+1}\rho, \ldots, \nu^b \rho\}$$1 strictly in between) if $$\Delta = [a,b]_\rho = \{\nu^a \rho, \nu^{a+1}\rho, \ldots, \nu^b \rho\}$$2 is obtained by a single intersection–union on one linked pair.
• Minimal Elements: The minimal elements under $$\Delta = [a,b]_\rho = \{\nu^a \rho, \nu^{a+1}\rho, \ldots, \nu^b \rho\}$$3 are precisely the generic multisegments—those in which no two segments are linked.
• Maximal Elements: The maximal elements are the multisets consisting solely of singleton segments.
• Alternative Characterization: The order admits a geometric interpretation: $$\Delta = [a,b]_\rho = \{\nu^a \rho, \nu^{a+1}\rho, \ldots, \nu^b \rho\}$$4 if and only if the orbit parametrized by $$\Delta = [a,b]_\rho = \{\nu^a \rho, \nu^{a+1}\rho, \ldots, \nu^b \rho\}$$5 meets the closure of that of $$\Delta = [a,b]_\rho = \{\nu^a \rho, \nu^{a+1}\rho, \ldots, \nu^b \rho\}$$6.

4. The Poset $$\Delta = [a,b]_\rho = \{\nu^a \rho, \nu^{a+1}\rho, \ldots, \nu^b \rho\}$$7, Convexity, and the Unique Minimal Multisegment

Let $$\Delta = [a,b]_\rho = \{\nu^a \rho, \nu^{a+1}\rho, \ldots, \nu^b \rho\}$$8 be an irreducible smooth representation, and fix a simple quotient $$\Delta = [a,b]_\rho = \{\nu^a \rho, \nu^{a+1}\rho, \ldots, \nu^b \rho\}$$9 of the $a, b \in \mathbb{Z}$0-th Bernstein–Zelevinsky derivative $a, b \in \mathbb{Z}$1. Each realization of $a, b \in \mathbb{Z}$2 as a quotient of iterated derivatives is parametrized by a multisegment $a, b \in \mathbb{Z}$3. The set

$a, b \in \mathbb{Z}$4

inherits a partial order from $a, b \in \mathbb{Z}$5.

Two fundamental theorems structure $a, b \in \mathbb{Z}$6 (Chan, 2 Jan 2026, Chan, 2 Jan 2026):

• Convexity: If $a, b \in \mathbb{Z}$7 and $a, b \in \mathbb{Z}$8, then every $a, b \in \mathbb{Z}$9 with $b-a \ge 0$0 also belongs to $b-a \ge 0$1.
• Uniqueness of Minimal Element: If $b-a \ge 0$2, then it contains a unique $b-a \ge 0$3-minimal element. This minimal multisegment corresponds to the “least” chain of segment removals yielding $b-a \ge 0$4 from $b-a \ge 0$5.

The fine chain ($b-a \ge 0$6) construction records, with respect to a highest-derivative multisegment $b-a \ge 0$7, the first segments removed at each step; the notion of local minimizability is introduced to characterize minimality in fibers over the removal map.

5. Examples and Concrete Computations

Detailed calculation illustrates the ordering:

• Linked example: With $b-a \ge 0$8, an elementary move replaces these by $b-a \ge 0$9 and $\nu(g) = |\det g|_F$0. Thus,

$\nu(g) = |\det g|_F$1

• Unlinked example: For $\nu(g) = |\det g|_F$2, the segments are unlinked, so $\nu(g) = |\det g|_F$3 is minimal under $\nu(g) = |\det g|_F$4.

A computation for $\nu(g) = |\det g|_F$5, with $\nu(g) = |\det g|_F$6 trivial and $\nu(g) = |\det g|_F$7 the Steinberg representation of length 4 ($\nu(g) = |\det g|_F$8) and $\nu(g) = |\det g|_F$9, yields

$\mathrm{Seg}_\rho$0

The unique minimal element is $\mathrm{Seg}_\rho$1, as no further intersection–union on the left is possible (Chan, 2 Jan 2026).

6. Module-Theoretic Structures and Conjectural Directions

A conjectural structure is proposed relating minimal multisegments to unique submodules in Jacquet layers. If $\mathrm{Seg}_\rho$2 is minimal for $\mathrm{Seg}_\rho$3 and $\mathrm{Seg}_\rho$4, the embedding model conjecture asserts the injectivity of

$\mathrm{Seg}_\rho$5

where $\mathrm{Seg}_\rho$6 and $\mathrm{Seg}_\rho$7 is the co-standard module attached to $\mathrm{Seg}_\rho$8. This is proven in the two-segment case and conjectured generally (Chan, 2 Jan 2026). If true, the minimal sequence would select a single irreducible submodule of a Jacquet module layer, enabling refined functoriality in derivatives by parabolic induction and restriction.

7. Significance in Representation Theory of $\mathrm{Seg}_\rho$9

The Zelevinsky order $\mathrm{Mult}_\rho$0 is the central combinatorial organizing principle for the classification of irreducible $\mathrm{Mult}_\rho$1-representations via multisegments, as it records the permissible reduction steps by derivatives. Within fibers of the derivative map, the order sieves all multisegment sequences producing a fixed simple quotient and selects a unique minimal representative with strong commutativity and truncation properties. Recent results indicate that these combinatorial structures reflect deep module-theoretic properties inside the Jacquet functor and the architecture of derivatives. The framework established in (Chan, 2 Jan 2026) and (Chan, 2 Jan 2026) points toward further explicit module-theoretic interpretations of minimal sequences and their role in the broader landscape of non-Archimedean representation theory.