arxiv: 2604.03484 · v1 · submitted 2026-04-03 · 🧮 math.CO · math-ph· math.MP· math.RT

Recognition: 2 theorem links

· Lean Theorem

Totally nonnegative maximal tori and opposed Bruhat intervals

Grant T. Barkley , Steven N. Karp

Authors on Pith no claims yet

Pith reviewed 2026-05-13 17:52 UTC · model grok-4.3

classification 🧮 math.CO math-phmath.MPmath.RT

keywords totally positive toriBruhat intervalsopposition relationWeyl grouptotally nonnegative varietiesamplituhedronSL_nalgebraic groups

0 comments

The pith

Every totally positive maximal torus arises as the intersection of a totally positive Borel and a totally negative Borel.

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

The paper verifies Lusztig's conjecture that the natural map from the totally positive part of an algebraic group G to the space of totally positive maximal tori is surjective. It achieves this by reducing the geometric question of which Borel subgroups are opposed to a new combinatorial relation, called opposition, between pairs of Bruhat intervals in the Weyl group. For the case G = SL_n the authors give an explicit combinatorial characterization of which interval pairs are opposed. The same reduction is used to describe the closure of the space and to identify it with a universal flag amplituhedron.

Core claim

We verify this conjecture. Our main result reduces this problem to a new combinatorial relation between pairs of Bruhat intervals of the Weyl group W, which we call 'opposition'. We provide a characterization of opposition when G = SL_n. We also disprove another conjecture of Lusztig on totally nonnegative Borel subgroups and show that T>0 can be regarded as a universal flag amplituhedron.

What carries the argument

The opposition relation on pairs of Bruhat intervals in the Weyl group W, which encodes when two Borel subgroups are opposed.

If this is right

The surjectivity map holds because every totally positive torus is realized by a pair of opposed positive and negative Borels.
For SL_n, opposition of intervals in the symmetric group gives an explicit combinatorial test for opposed Borels.
The closure of T>0 consists precisely of tori arising from opposed nonnegative and nonpositive Borels.
T>0 supplies a universal flag version of the amplituhedron that organizes positive flag varieties.

Where Pith is reading between the lines

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

The reduction opens a route to compute or enumerate totally positive tori by searching for opposed interval pairs in Weyl groups.
The disproof of the earlier conjecture on totally nonnegative Borels shows that their positivity structure requires more than simple interval conditions.
The universal flag amplituhedron identification suggests that combinatorial models developed for T>0 may transfer to scattering-amplitude calculations.

Load-bearing premise

The geometric condition that two Borel subgroups are opposed reduces exactly to the combinatorial opposition relation on their corresponding Bruhat intervals.

What would settle it

A pair of Borel subgroups whose Bruhat intervals satisfy the opposition relation but which are not geometrically opposed, or a pair of geometrically opposed Borels whose intervals fail the relation.

Figures

Figures reproduced from arXiv: 2604.03484 by Grant T. Barkley, Steven N. Karp.

**Figure 1.** Figure 1: Bruhat order on S3. As a special case of Theorem 6.1, we deduce that every totally nonnegative element of B is opposed to every totally negative element; this was proved for G = SLn(C) by Blayac, Hamenst¨adt, Marty, and Monti [BHMM24, Lemma 5.2]. In particular, every totally positive element is opposed to every totally negative element, which recovers a result (for arbitrary G) of Lusztig [Lus24, Propositi… view at source ↗

**Figure 2.** Figure 2: The cell decomposition of Tb≥0 from Theorem 8.7 for G = SL2(C). Each cell is labeled by the corresponding pair of opposed Bruhat intervals of W = S2. Corollary 8.8. The space Tb≥0 of totally nonnegative framed maximal tori is contractible. Proof. By Theorem 8.7, the space Tb≥0 is homeomorphic to a space sitting between B≥0×B≥0 and its interior B>0 × B>0. By [GKL19], the space B≥0 (and hence also B≥0 × B≥0)… view at source ↗

read the original abstract

Lusztig (2024) recently introduced the space $\mathcal{T}_{>0}$ of totally positive maximal tori of an algebraic group $G$. Each such torus is the intersection of a totally positive Borel subgroup and a totally negative Borel subgroup. Lusztig defined a map from the totally positive part of $G$ to $\mathcal{T}_{>0}$ and conjectured that it is surjective. We verify this conjecture. We also examine the closure of $\mathcal{T}_{>0}$, by studying when a totally nonnegative Borel subgroup is opposed to a totally nonpositive Borel subgroup. Our main result reduces this problem to a new combinatorial relation between pairs of Bruhat intervals of the Weyl group $W$, which we call 'opposition'. We provide a characterization of opposition when $G = \text{SL}_n$ (and $W$ is the symmetric group). Along the way, we disprove another conjecture of Lusztig (2021) on totally nonnegative Borel subgroups. Finally, we connect $\mathcal{T}_{>0}$ to the amplituhedron introduced by Arkani-Hamed and Trnka (2014) in theoretical physics, by showing that $\mathcal{T}_{>0}$ can be regarded as a 'universal flag amplituhedron'. This gives further motivation for studying $\mathcal{T}_{>0}$ and its closure.

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

The paper verifies Lusztig's surjectivity conjecture for totally positive tori by reducing the opposed Borel condition to a new opposition relation on Bruhat intervals, with an explicit characterization only for the symmetric group.

read the letter

The main thing to know is that Barkley and Karp confirm Lusztig's 2024 conjecture that every totally positive torus arises as the intersection of a totally positive and a totally negative Borel. They achieve this by defining a new relation they call opposition between pairs of Bruhat intervals in the Weyl group and showing that the geometric condition reduces to this relation. They give a complete combinatorial description of when opposition holds for SL_n, and along the way they disprove one of Lusztig's 2021 conjectures on totally nonnegative Borels. They also note that the space of these tori can be viewed as a universal flag amplituhedron, which supplies a link to the physics literature without driving the proofs. The reduction step is the clearest advance because it moves the problem into standard Bruhat-order language that is already well studied. The SL_n characterization looks concrete enough to be usable for explicit checks or further calculations. The general reduction is stated in terms that appear to rely only on properties of the Bruhat order rather than type-A specifics, so it should carry over to other Weyl groups even though the explicit list is given only for S_n. A referee would still want to see the translation from geometric opposition of Borels to the combinatorial relation written out carefully to confirm there are no hidden assumptions. This work sits squarely in algebraic combinatorics with a side connection to positive geometries. Readers who track total positivity or flag varieties will find the new relation and the conjecture verification worth their time. It has enough new, checkable content that it deserves to go to peer review rather than a desk rejection.

Referee Report

1 major / 0 minor

Summary. The paper verifies Lusztig's 2024 conjecture asserting surjectivity of the natural map from the totally positive part of G onto the space T>0 of totally positive maximal tori. It reduces the problem of describing the closure of T>0 (specifically, the condition that a totally nonnegative Borel subgroup is opposed to a totally nonpositive one) to a new combinatorial relation called 'opposition' on pairs of Bruhat intervals in the Weyl group W. An explicit characterization of opposition is supplied when G = SL_n (so W = S_n). The work also disproves a 2021 conjecture of Lusztig on totally nonnegative Borel subgroups and identifies T>0 with a 'universal flag amplituhedron' in the sense of Arkani-Hamed-Trnka.

Significance. If the central claims hold, the paper resolves an open conjecture in the theory of total positivity for reductive groups, introduces a new combinatorial relation on Bruhat intervals that may be of independent interest, and supplies a concrete link between T>0 and the amplituhedron. The type-A characterization and the disproof of the earlier conjecture are tangible contributions that strengthen the geometric-combinatorial dictionary in this area.

major comments (1)

The abstract asserts that the main result reduces the geometric opposition condition for the closure of T>0 to the combinatorial opposition relation on Bruhat intervals for arbitrary G. However, the explicit characterization is provided only for W = S_n. In the section containing the reduction (presumably the main theorem on opposition), clarify whether the argument uses only the axioms of the Bruhat order that hold uniformly for all Weyl groups, or whether it relies on type-A-specific facts such as explicit reduced decompositions or matrix realizations. If the latter, the claimed generality of the surjectivity verification for arbitrary G would require additional justification.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We address the major comment below and will revise the manuscript accordingly to improve clarity.

read point-by-point responses

Referee: The abstract asserts that the main result reduces the geometric opposition condition for the closure of T>0 to the combinatorial opposition relation on Bruhat intervals for arbitrary G. However, the explicit characterization is provided only for W = S_n. In the section containing the reduction (presumably the main theorem on opposition), clarify whether the argument uses only the axioms of the Bruhat order that hold uniformly for all Weyl groups, or whether it relies on type-A-specific facts such as explicit reduced decompositions or matrix realizations. If the latter, the claimed generality of the surjectivity verification for arbitrary G would require additional justification.

Authors: The proof of the main reduction theorem (reducing the geometric opposition condition on Borel subgroups to the combinatorial opposition relation on Bruhat intervals) relies exclusively on the standard axioms and properties of the Bruhat order that hold uniformly for every finite Weyl group: the length function, the definition of Bruhat intervals via the covering relations, and the combinatorial definition of the opposition relation on pairs of intervals. No type-A-specific ingredients, such as explicit reduced decompositions, matrix realizations, or special features of the symmetric group, are used in this argument. The explicit characterization of opposition for W = S_n is a separate, additional result presented later in the paper and is not invoked in the general reduction. Consequently, the reduction itself holds for arbitrary G, and the verification of Lusztig's surjectivity conjecture (which proceeds via this general reduction together with other type-independent arguments) is valid in full generality. We will add a clarifying paragraph in the section containing the main theorem to explicitly state the generality of the proof and to distinguish it from the type-A characterization. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via new combinatorial definitions

full rationale

The paper introduces the new relation 'opposition' on pairs of Bruhat intervals as an independent combinatorial object, then proves a reduction from the geometric opposed-Borel condition to this relation. The explicit characterization is supplied only for W = S_n via direct combinatorial arguments on the symmetric group, without reducing any claimed prediction or theorem to a fitted parameter, self-citation chain, or input defined in terms of the output. External conjectures of Lusztig are addressed by verification against these definitions rather than by construction. No load-bearing step collapses by definition or renaming; the central claims remain independent of the paper's own fitted quantities or prior self-referential results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The claims rest on standard properties of algebraic groups, the Bruhat order, and Lusztig's prior definitions of totally positive structures; the opposition relation is a new definition introduced to reduce the geometric question.

axioms (2)

standard math Standard properties of the Bruhat order and intervals on the Weyl group
Invoked to define and characterize the opposition relation.
domain assumption Lusztig's definitions of totally positive, nonnegative, and nonpositive Borel subgroups
Foundation for the space T>0 and the opposed pairs studied.

invented entities (1)

opposition relation no independent evidence
purpose: Combinatorial proxy for when a totally nonnegative Borel is opposed to a totally nonpositive Borel
Newly defined combinatorial relation that reduces the geometric closure problem.

pith-pipeline@v0.9.0 · 5548 in / 1470 out tokens · 189970 ms · 2026-05-13T17:52:29.285628+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Our main result reduces this problem to a new combinatorial relation between pairs of Bruhat intervals of the Weyl group W, which we call 'opposition'. We provide a characterization of opposition when G=SL_n.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

T>0 can be regarded as a 'universal flag amplituhedron'

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

45 extracted references · 45 canonical work pages

[1]

Positive geometries and canonical forms

Nima Arkani-Hamed , Yuntao Bai, and Thomas Lam. Positive geometries and canonical forms. J. High Energy Phys. , (11):Paper No. 039, 121, 2017

work page 2017
[2]

The amplituhedron

Nima Arkani-Hamed and Jaroslav Trnka. The amplituhedron. J. High Energy Phys. , (10):Paper No. 030, 32, 2014

work page 2014
[3]

Combinatorics of C oxeter groups , volume 231 of Graduate Texts in Mathematics

Anders Bj \"o rner and Francesco Brenti. Combinatorics of C oxeter groups , volume 231 of Graduate Texts in Mathematics . Springer, New York, 2005

work page 2005
[4]

On two notions of total positivity for generalized partial flag varieties of classical L ie types

Grant Barkley, Jonathan Boretsky, Christopher Eur, and Jiyang Gao. On two notions of total positivity for generalized partial flag varieties of classical L ie types. Int. Math. Res. Not. IMRN , (3):Paper No. rnag012, 31, 2026

work page 2026
[5]

Geometry and dynamics of H itchin grafting representations

Pierre-Louis Blayac, Ursula Hamenst\" a dt, Th\' e o Marty, and Andrea Egidio Monti. Geometry and dynamics of H itchin grafting representations. https://arxiv.org/abs/2407.07748v1 arXiv:2407.07748 , version 1 , 2024

work page arXiv 2024
[6]

Bloch and Steven N

Anthony M. Bloch and Steven N. Karp. On two notions of total positivity for partial flag varieties. Adv. Math. , 414:Paper No. 108855, 24, 2023

work page 2023
[7]

The M irkovi\'c-- V ilonen basis and D uistermaat-- H eckman measures

Pierre Baumann, Joel Kamnitzer, and Allen Knutson. The M irkovi\'c-- V ilonen basis and D uistermaat-- H eckman measures. Acta Math. , 227(1):1--101, 2021. With an appendix by Anne Dranowski, Kamnitzer and Calder Morton-Ferguson

work page 2021
[8]

Totally nonnegative tropical flags and the totally nonnegative flag D ressian

Jonathan Boretsky. Totally nonnegative tropical flags and the totally nonnegative flag D ressian. https://arxiv.org/abs/2208.09128 arXiv:2208.09128 , 2022

work page arXiv 2022
[9]

Total positivity in S chubert varieties

Arkady Berenstein and Andrei Zelevinsky. Total positivity in S chubert varieties. Comment. Math. Helv. , 72(1):128--166, 1997

work page 1997
[10]

Cluster structures on braid varieties

Roger Casals, Eugene Gorsky, Mikhail Gorsky, Ian Le, Linhui Shen, and Jos\'e Simental. Cluster structures on braid varieties. J. Amer. Math. Soc. , 38(2):369--479, 2025

work page 2025
[11]

Total positivity: tests and parametrizations

Sergey Fomin and Andrei Zelevinsky. Total positivity: tests and parametrizations. Math. Intelligencer , 22(1):23--33, 2000

work page 2000
[12]

Totally nonnegative and oscillatory elements in semisimple groups

Sergey Fomin and Andrei Zelevinsky. Totally nonnegative and oscillatory elements in semisimple groups. Proc. Amer. Math. Soc. , 128(12):3749--3759, 2000

work page 2000
[13]

Cluster algebras

Sergey Fomin and Andrei Zelevinsky. Cluster algebras. I . F oundations. J. Amer. Math. Soc. , 15(2):497--529, 2002

work page 2002
[14]

Gantmakher and M

F. Gantmakher and M. Krein. Sur les matrices compl\`etement non n\'egatives et oscillatoires. Compositio Math. , 4:445--476, 1937

work page 1937
[15]

Karp, and Thomas Lam

Pavel Galashin, Steven N. Karp, and Thomas Lam. The totally nonnegative part of G/P is a ball. Adv. Math. , 351:614--620, 2019

work page 2019
[16]

Karp, and Thomas Lam

Pavel Galashin, Steven N. Karp, and Thomas Lam. Regularity theorem for totally nonnegative flag varieties. J. Amer. Math. Soc. , 35(2):513--579, 2022

work page 2022
[17]

Braid variety cluster structures, II : general type

Pavel Galashin, Thomas Lam, and Melissa Sherman-Bennett. Braid variety cluster structures, II : general type. Invent. Math. , 243(3):1079--1127, 2026

work page 2026
[18]

Total positivity in the D e C oncini-- P rocesi compactification

Xuhua He. Total positivity in the D e C oncini-- P rocesi compactification. Represent. Theory , 8:52--71, 2004

work page 2004
[19]

On intersections of certain partitions of a group compactification

Xuhua He and Jiang-Hua Lu. On intersections of certain partitions of a group compactification. Int. Math. Res. Not. IMRN , (11):2534--2564, 2011

work page 2011
[20]

Humphreys

James E. Humphreys. Linear algebraic groups , volume No. 21 of Graduate Texts in Mathematics . Springer-Verlag, New York-Heidelberg, 1975

work page 1975
[21]

Cluster A lgebras of O pen R ichardson V arieties

Gracie Ingermanson. Cluster A lgebras of O pen R ichardson V arieties . ProQuest LLC, Ann Arbor, MI, 2019. Thesis (Ph.D.)--University of Michigan

work page 2019
[22]

Perfect bases in representation theory: three mountains and their springs

Joel Kamnitzer. Perfect bases in representation theory: three mountains and their springs. In I CM --- I nternational C ongress of M athematicians. V ol. 4. S ections 5--8 , pages 2976--2996. EMS Press, Berlin, 2023

work page 2023
[23]

Steven N. Karp. Sign variation, the G rassmannian, and total positivity. J. Combin. Theory Ser. A , 145:308--339, 2017

work page 2017
[24]

Kashiwara

M. Kashiwara. On crystal bases of the q -analogue of universal enveloping algebras. Duke Math. J. , 63(2):465--516, 1991

work page 1991
[25]

Representations of C oxeter groups and H ecke algebras

David Kazhdan and George Lusztig. Representations of C oxeter groups and H ecke algebras. Invent. Math. , 53(2):165--184, 1979

work page 1979
[26]

Karp and Martha E

Steven N. Karp and Martha E. Precup. Richardson tableaux and components of S pringer fibers equal to R ichardson varieties. https://arxiv.org/abs/2506.20792 arXiv:2506.20792 , 2025

work page arXiv 2025
[27]

The full K ostant-- T oda hierarchy on the positive flag variety

Yuji Kodama and Lauren Williams. The full K ostant-- T oda hierarchy on the positive flag variety. Comm. Math. Phys. , 335(1):247--283, 2015

work page 2015
[28]

Karp and Lauren K

Steven N. Karp and Lauren K. Williams. The m=1 amplituhedron and cyclic hyperplane arrangements. Int. Math. Res. Not. IMRN , (5):1401--1462, 2019

work page 2019
[29]

Totally nonnegative G rassmannian and G rassmann polytopes

Thomas Lam. Totally nonnegative G rassmannian and G rassmann polytopes. In Current developments in mathematics 2014 , pages 51--152. Int. Press, Somerville, MA, 2016

work page 2014
[30]

G. Lusztig. Canonical bases arising from quantized enveloping algebras. J. Amer. Math. Soc. , 3(2):447--498, 1990

work page 1990
[31]

G. Lusztig. Affine quivers and canonical bases. Inst. Hautes \'Etudes Sci. Publ. Math. , (76):111--163, 1992

work page 1992
[32]

G. Lusztig. Total positivity in reductive groups. In Lie theory and geometry , volume 123 of Progr. Math. , pages 531--568. Birkh\"auser Boston, Boston, MA, 1994

work page 1994
[33]

G. Lusztig. Total positivity in S pringer fibres. Q. J. Math. , 72(1-2):31--49, 2021

work page 2021
[34]

G. Lusztig. Total positivity in the space of maximal tori. https://arxiv.org/abs/2411.05767 arXiv:2411.05767 , 2024

work page arXiv 2024
[35]

B. R. Marsh and K. Rietsch. Parametrizations of flag varieties. Represent. Theory , 8:212--242, 2004

work page 2004
[36]

Mirkovi\'c and K

I. Mirkovi\'c and K. Vilonen. Geometric L anglands duality and representations of algebraic groups over commutative rings. Ann. of Math. (2) , 166(1):95--143, 2007

work page 2007
[37]

Total positivity, G rassmannians, and networks

Alexander Postnikov. Total positivity, G rassmannians, and networks. https://arxiv.org/abs/math/0609764v1 arXiv:math/0609764v1 , 2006

work page arXiv 2006
[38]

An algebraic cell decomposition of the nonnegative part of a flag variety

Konstanze Rietsch. An algebraic cell decomposition of the nonnegative part of a flag variety. J. Algebra , 213(1):144--154, 1999

work page 1999
[39]

K. Rietsch. Closure relations for totally nonnegative cells in G/P . Math. Res. Lett. , 13(5-6):775--786, 2006

work page 2006
[40]

The totally nonnegative part of G/P is a CW complex

Konstanze Rietsch and Lauren Williams. The totally nonnegative part of G/P is a CW complex. Transform. Groups , 13(3-4):839--853, 2008

work page 2008
[41]

Richardson varieties, projected R ichardson varieties and positroid varieties

David E Speyer. Richardson varieties, projected R ichardson varieties and positroid varieties. https://arxiv.org/abs/2303.04831 arXiv:2303.04831 , 2023

work page arXiv 2023
[42]

Totally positive matrices and cyclic polytopes

Bernd Sturmfels. Totally positive matrices and cyclic polytopes. In Proceedings of the V ictoria C onference on C ombinatorial M atrix A nalysis ( V ictoria, BC , 1987) , volume 107, pages 275--281, 1988

work page 1987
[43]

When does L usztig's canonical basis have non-positive structure coefficients? MathOverflow , 2010

Shunsuke Tsuchioka (user 9661) . When does L usztig's canonical basis have non-positive structure coefficients? MathOverflow , 2010. https://mathoverflow.net/a/40577

work page 2010
[44]

Tsukerman and L

E. Tsukerman and L. Williams. Bruhat interval polytopes. Adv. Math. , 285:766--810, 2015

work page 2015
[45]

Williams

Lauren K. Williams. The positive G rassmannian, the amplituhedron, and cluster algebras. In I CM --- I nternational C ongress of M athematicians. V ol. 6. S ections 12--14 , pages 4710--4737. EMS Press, Berlin, 2023

work page 2023