---
title: Weak Thin Schubert Cell in Polymatroids
url: https://www.emergentmind.com/topics/weak-thin-schubert-cell
type: topic
---

# Weak Thin Schubert Cell in Polymatroids

Searching arXiv for the cited paper to ground the article in the source.
In the representation theory of discrete polymatroids over tracts, a **weak thin Schubert cell** is the moduli functor obtained by imposing only the \(3\)-term Plücker relations on Plücker-coordinate data with fixed support \(J\subseteq \Delta^n_r\). For a polymatroid \(J\), it assigns to a tract \(F\) the quotient of all weak \(F\)-representations of \(J\) by scalar rescaling, and it is canonically isomorphic to \(\operatorname{Spec} P_J\), where \(P_J\) is the universal object cut out by those \(3\)-term relations. Within the same framework, the strong thin Schubert cell is defined by all Plücker relations, while passage to torus orbits yields the realization space represented by the foundation \(F_J\). The theory places weak thin Schubert cells among universal tracts, universal pastures, cross-ratio coordinates, torus embeddings, and idempotent decompositions [2507.14718].

## 1. Definition via \(3\)-term Plücker relations

Let \(n,r\) be positive integers and let
\[
J\subseteq \Delta^n_r=\{\alpha\in \mathbb{N}^n \mid |\alpha|=r\}
\]
be an \(M\)-convex set (“polymatroid”) of effective rank
\[
r'=r-|\delta^-_J|,
\]
where \(\delta^-_J=\inf J\) and \(|\alpha|=\alpha_1+\cdots+\alpha_n\) [2507.14718].

For a tract \(F\), a **weak \(F\)-representation** of \(J\) is a function
\[
\rho:\Delta^n_r\to F
\]
whose support
\[
\operatorname{supp}\rho=\{\alpha\mid \rho(\alpha)\neq 0\}
\]
equals \(J\), and which satisfies the \(3\)-term Plücker relations. Explicitly, for every \(\alpha\in \Delta^n_{r-2}\) and every quadruple of distinct indices \(i<j<k<\ell\) in \([n]\) such that
\[
\alpha+e_i+e_j,\ \alpha+e_i+e_k,\ \alpha+e_i+e_\ell,\ \alpha+e_j+e_k,\ \alpha+e_j+e_\ell,\ \alpha+e_k+e_\ell
\]
all lie in \(J\), one requires
\[
\rho(\alpha+e_j+e_k)\,\rho(\alpha+e_i+e_\ell)
-\rho(\alpha+e_i+e_k)\,\rho(\alpha+e_j+e_\ell)
+\rho(\alpha+e_i+e_j)\,\rho(\alpha+e_k+e_\ell)\in N_F,
\]
where \(N_F\subseteq F^+\) is the null-set of \(F\). Equivalently, writing
\[
\operatorname{Pl}^w(\alpha;i,j\mid k,\ell)
\]
for that sum, the condition is
\[
\operatorname{Pl}^w(\alpha;i,j\mid k,\ell)\in N_F
\]
whenever all six corresponding points lie in \(J\) [2507.14718].

The weak thin Schubert cell is then the functor
\[
F\longmapsto \operatorname{Gr}^w_J(F)
=
\bigl\{[\rho]\mid \rho:\Delta^n_r\to F,\ \operatorname{supp}\rho=J,\ \text{\(3\)-term relations}\bigr\}/F^\times.
\]
Its defining feature is that the support is fixed exactly to \(J\), while only the \(3\)-term Plücker constraints are imposed. This distinguishes it from the strong thin Schubert cell, where all Plücker relations of arbitrary size are imposed.

## 2. Universal object and scheme-theoretic realization

To represent the weak thin Schubert cell, one introduces one coordinate \(X_\alpha\) for each \(\alpha\in J\), considers the free tract over \(\mathbb{K}=\{0,1\}\) on these symbols, and imposes precisely the null-relations given by the \(3\)-term Plücker sums [2507.14718]. Concretely,
\[
P_J
=
\bigl[\;X_\alpha\;\big|\;\alpha\in J\;\bigr]\;\Big/\;
\Bigl\langle\,
\sum_{k=0}^2
X_{\alpha+e_j+e_k}\,X_{\alpha+e_i+e_\ell}
-
X_{\alpha+e_i+e_k}\,X_{\alpha+e_j+e_\ell}
+
X_{\alpha+e_i+e_j}\,X_{\alpha+e_k+e_\ell}
\Bigr\rangle,
\]
where \([\,-\,]\) denotes the free tract (or pasture) construction and \(\langle-\rangle\) the ideal generated by the \(3\)-term relations for all choices of \(\alpha,i,j,k,\ell\).

The universal property is
\[
\operatorname{Gr}^w_J(F)\cong \operatorname{Hom}_{\mathrm{Tracts}}(P_J,F).
\]
Equivalently, viewing \(P_J\) as an affine “band-scheme,” one has
\[
\text{Weak thin Schubert cell}=\operatorname{Spec} P_J.
\]

This representability statement makes the weak thin Schubert cell an algebraic object rather than merely a set-valued construction. In the terminology of the abstract, restricting to the \(3\)-term Plücker relations yields the weak thin Schubert cell, and these are represented by the universal pasture; in the detailed construction, the representing object is denoted \(P_J\) [2507.14718].

## 3. Relation to the universal tract and the foundation

The weak thin Schubert cell sits between two related universal constructions: the universal tract \(T_J\), obtained by imposing all Plücker relations, and the foundation \(F_J\), obtained after quotienting by diagonal torus action and passing to multidegree-zero data [2507.14718].

| Object | Defining relations / quotient | Represents |
|---|---|---|
| \(T_J\) | all Plücker relations of arbitrary size \(s\ge 2\) | strong thin Schubert cell |
| \(P_J\) | only the \(3\)-term Plücker relations | weak thin Schubert cell |
| \(F_J\) | multidegree-zero part of \(P_J\) | realization space |

The universal tract \(T_J\) is defined analogously to \(P_J\), but with all Plücker relations of arbitrary size \(s\ge 2\). The natural map
\[
P_J\to T_J
\]
is bijective on underlying sets. Consequently, the strong and weak thin Schubert cells have the same \(F\)-points whenever \(F\) is an “excellent” tract.

The **foundation** \(F_J\) is obtained by modding out by the diagonal action of the torus \(F^\times\times (F^\times)^n\), i.e. by passing from Plücker coordinates to cross-ratio coordinates. Concretely,
\[
F_J=\{\,a\in P_J\mid \deg_{[n]}(a)=0\},
\]
where
\[
\deg_{[n]}:P_J\to \mathbb{Z}^n
\]
is the multidegree recording which \(X_\alpha\) appear. The corresponding realization space is
\[
\underline{\operatorname{Gr}}^w_J(F)=\operatorname{Gr}^w_J(F)/(F^\times)^n,
\]
and it satisfies
\[
\underline{\operatorname{Gr}}^w_J(F)\cong \operatorname{Hom}_{\mathrm{Tracts}}(F_J,F).
\]

The abstract further states that the foundation of a polymatroid is generated by cross ratios, and that a possibly incomplete list of multiplicative relations between cross ratios is described. A common source of confusion is to identify the weak thin Schubert cell directly with the realization space; the theory separates these objects by an explicit torus quotient.

## 4. Torus embedding, degeneracy locus, and orbit structure

Every weak representation
\[
\rho:\Delta^n_r\to F
\]
with \(\operatorname{supp}\rho=J\) defines a point in the torus \((F^\times)^J\) by its nonzero Plücker coordinates. After dividing by \(F^\times\), one obtains the Plücker embedding
\[
\operatorname{Gr}^w_J(F)\hookrightarrow (F^\times)^J/F^\times \cong (F^\times)^{|J|-1}
\]
[2507.14718].

Within this toric ambient space, the paper identifies a subgroup by degenerate \(3\)-term relations. Requiring only the **degenerate** \(3\)-term relations suffices to cut out the image of the strong representation space
\[
R_J\subseteq (F^\times)^J;
\]
this subgroup is called the **degeneracy locus** \(D_J(F)\). The resulting inclusions are
\[
\upR^w_J(F)\subseteq D_J(F)\subseteq (F^\times)^J.
\]

There is also a natural torus action. The torus
\[
T(F)=(F^\times)^n
\]
acts on \(\upR^w_J(F)\) by
\[
(t_1,\dots,t_n)\cdot \rho
=
\bigl(\alpha\mapsto t_1^{\alpha_1}\cdots t_n^{\alpha_n}\rho(\alpha)\bigr).
\]
Its orbits are exactly the fibers of the map to the realization space \(\underline{\operatorname{Gr}}^w_J(F)\). In the language of the abstract, passing to torus orbits yields the realization space. This suggests that the weak thin Schubert cell retains both intrinsic realization data and additional toric degrees of freedom encoded in the Plücker coordinates.

## 5. Idempotent tracts and product decomposition

A particularly rigid description appears over idempotent tracts. Assume \(F\) is **idempotent**, meaning
\[
1+1+1\in N_F
\qquad\text{so that}\qquad
-1=1.
\]
Write
\[
J=\bigoplus_{i=1}^c J_i
\]
for the unique decomposition into indecomposable components [2507.14718].

Then the weak thin Schubert cell decomposes functorially as
\[
\operatorname{Gr}^w_J(F)\simeq \underline{\operatorname{Gr}}^w_J(F)\times (F^\times)^{\,n-c}.
\]
Equivalently, the stabilizer of a point under \(T(F)\) has codimension \(n-c\), so each \(T(F)\)-orbit is isomorphic to
\[
(F^\times)^{n-c}.
\]
In particular, the **lineality space** of the weak cell, i.e. the orbit of the trivial representation, is a distinguished torus factor \((F^\times)^{n-c}\).

The abstract states this in equivalent geometric terms: over idempotent tracts, thin Schubert cells contain a canonical torus orbit and split naturally as a product of the realization space with this distinguished torus. A plausible implication is that, in the idempotent setting, the realization-theoretic content is separated cleanly from the toric lineality directions.

## 6. Functoriality, duality, direct sums, and examples

The weak thin Schubert cell has several structural compatibilities [2507.14718]. If
\[
\iota:J\to J'
\]
is any polymatroid embedding—specifically a minor, translation, coordinate inclusion, or permutation—then it induces compatible maps on weak thin Schubert cells and on realization spaces via pull-back
\[
\rho\mapsto \rho\circ \iota.
\]

Duality is canonical at the level of universal objects:
\[
T_J\simeq T_{J^*},\qquad P_J\simeq P_{J^*},\qquad F_J\simeq F_{J^*}},
\]
covering the involution \(J\mapsto J^*\). Hence
\[
\operatorname{Gr}^w_J(F)\simeq \operatorname{Gr}^w_{J^*}(F),
\]
and likewise for realization spaces.

For direct sums, if
\[
J=J_1\oplus J_2,
\]
then
\[
\operatorname{Gr}^w_J(F)\simeq \operatorname{Gr}^w_{J_1}(F)\times \operatorname{Gr}^w_{J_2}(F),
\qquad
\underline{\operatorname{Gr}}^w_J(F)\simeq \underline{\operatorname{Gr}}^w_{J_1}(F)\times \underline{\operatorname{Gr}}^w_{J_2}(F).
\]

The examples highlight the scope of the notion. For the tropical hyperfield \(F=\_0\), one has weak \(=\) strong, and \(\operatorname{Gr}^w_J(\_0)\) is the local **Polydressian** stratum of \(M\)-convex support \(J\), whose logarithmic image is the “polymatroid Dressian” \(\{M\text{-convex functions on }\Delta^n_r\}\) modulo constants. In rank \(r=3\), \(n=3\), one recovers Knutson–Tao hives and the saturation theorems.

For small polymatroids, explicit foundations can be computed. For
\[
J=U^+_{2,3}\ \text{or}\ \Delta^2_2,
\]
one finds
\[
F_J\simeq \#_2(x\mid x+1+1),
\]
so that
\[
\underline{\operatorname{Gr}}^w_J(F)\simeq \{a\in F^\times\mid 1+1+a=0\}.
\]
For
\[
J=\Delta^3_2\ \text{or}\ \Delta^2_3\setminus\{(0,1,1)\},
\]
one computes
\[
F_J\simeq \#_2(x,y\mid 1+1+x,1+1+y,\dots).
\]

These constructions place the weak thin Schubert cell as a central intermediary between Plücker-coordinate representation spaces and cross-ratio realization spaces: it records weak tract-valued representations with fixed support, embeds canonically into a projective torus, and interacts compatibly with minors, duality, direct sums, and idempotent splitting.

Source: https://www.emergentmind.com/topics/weak-thin-schubert-cell