arXiv++ Combinatorics

Deodhar diagrams give a combinatorial way to compute point counts of open positroid varieties over finite fields. We introduce affine Deodhar diagrams, which extend this construction to affine patches of open positroid varieties. These diagrams are indexed by a bounded affine permutation together with a lattice path, and this extra flexibility makes them especially useful for recursive bijections. Motivated by connections with Dyck paths, open positroid varieties, and their cluster structure, we construct bijections between several classes of affine Deograms. These bijections give combinatorial proofs of point-count identities that were previously known from geometric isomorphisms.

Recent work of Lam, Bychkov-Gorbounov-Kazakov-Talalaev, and Chepuri-George-Speyer gave a stratification of the totally nonnegative Lagrangian Grassmannian into electroid cells parameterized by cactus networks, paralleling Postnikov's stratification of the totally nonnegative Grassmannian by positroid cells. Electroid varieties arise as an algebro-geometric extension of electroid cells. The combinatorics of these varieties was studied by Lam in 2018. We build on this work and study the geometric properties of electroid varieties. In analogy to results of Knutson, Lam, and Speyer on positroid varieties, we show that electroid varieties are reduced, irreducible, regular in codimension one, compatibly Frobenius split, and form a stratification. We also show a decomposition of certain electroid varieties as a product of two electroid varieties. As a consequence, the grove measurement map that embeds electroid cells can be extended algebraically to embed an algebraic torus.

This ArXiv preprint of my doctoral dissertation, which, at this stage, has not yet been accepted by the doctoral thesis committee, is intended both to lay the groundwork for a series of papers, and to confirm the existence of a first proposed solution to the "Dual Amplituhedron" problem posed in 2014 by Princeton physicists N. Arkani-Hamed and J. Trnka, a mathematical object which encapsulate the calculation of scattering amplitudes in high-energy particle colliders. The first part of this thesis deals with a rewriting of the positive real Grassmannian and performing the singular gluing of its positroid varieties in a new way via Spectral Algebraic Geometry of J. Lurie on "structured" spaces and a categorification of his "Tannaka Duality for Quasi-coherent Stacks", finding in this formal moduli problem, a compact yet holistic formulation via perverse intersection complexes of P. Deligne. This algebraico-geometric perspective paired with a synthetic differential-geometric perspective, namely the Differential Cohesion of B. Lawvere and U. Schreiber, subsumes infinitesimal thickenings, crystalline cohomology of De Rham stacks, the "Modalities of Structured Geometries" and the unification of their cohomologies of the underlying concrete topological etale algebraic space. The second part uses this rewriting of positive Schubert geometry and "The Cohomology of Brauer-Grothendieck Spaces" of B. Toën and B. Antieau, to show that, instead of the Grassmannian spectral Deligne-Mumford stack which is autodual in the infinity-category of prestable infinity-categories of modules on E\infty-ring spectra, the Amplituhedron, categorified in a functor between infinity topoï, possesses a concrete non-trivial dual, and has a De Rham volume, facts of interest for the expected Duality between the Standard Model of particles and String Theory. This new construction yields the Dual Amplituhedron.

We associate to each positroid variety in the Grassmannian $\mathrm{Gr}(k,n)$ a polyhedral complex, which we call a fence complex. Fence complexes consist of unions of faces of the Gelfand-Tsetlin polytope $P_{k,n}$ associated to a fundamental weight $ω_k$. We show that these fence complexes are homeomorphic to closed balls. Furthermore, they endow the Gelfand-Tsetlin polytope with the structure of a regular CW complex, giving a polyhedral complex presentation of the regular CW complex structure on $\mathrm{Gr}(k,n)_{\geq 0}$. We also show that the Ehrhart polynomial of a fence complex equals the Hilbert polynomial of the associated positroid variety. We prove that under the Sturmfels-Gonciulea-Lakshmibai degeneration of $\mathrm{Gr}(k,n)$ to the toric variety of the Gelfand-Tsetlin polytope, positroid varieties degenerate to the reduced union of toric varieties corresponding to their fence complexes. As an application, we classify when positroid varieties contained inside hook Schubert varieties are arithmetically Gorenstein. We also derive a recursive character formula for cyclic Demazure modules, which we show is equivalent to a formula of Almousa, Gao and Huang.

This paper studies a lattice structure for almost perfect matchings on certain planar, bipartite (plabic) graphs embedded in a disk. Postnikov's boundary measurement map, and subsequent related work, yielded that plabic graphs parameterize positroid cells within the totally nonnegative Grassmannian with the map itself given in terms of almost perfect matchings with fixed boundary condition. For finite planar bipartite graphs, Propp introduced a distributive lattice structure on their set of perfect matchings. Subsequently Muller--Speyer, provided this distributive lattice structure on the aforementioned almost perfect matchings with fixed boundary condition. Their work also identified the extremal matchings of this lattice for boundary conditions that coincide with face labels of the plabic graph given by the positroid structure. We extend this by giving an explicit construction of extremal matchings in terms of height functions and show that all possible boundary conditions of an almost perfect matching can be obtained within this construction.

We introduce flag positroid pipe dreams (FPPs), whose role in the study of complete flag positroids is analogous to the role of Le-diagrams in the study of positroids. We develop the combinatorics of these diagrams and highlight some of their properties. FPPs are in bijection with intervals in the Bruhat order of the symmetric group, and the number of elbows in an FPP is the dimension of the corresponding Richardson cell in the decomposition of the nonnegative flag variety. We show how complete flag positroids can be built rank by rank via FPPs, and how the Le-diagrams of the positroid constituents of the flag can be obtained from the FPP via a simple standardization operation. Using partial FPPs, we give an alternative proof of a conjecture of Benedetti, Chavez, and Tamayo on the problem of characterizing elementary positroid quotients via cyclic shifts of decorated permutations, in the nonnegatively representable case. Our proof partially addresses a problem of Chen et al. regarding an explicit characterization of the cyclic shift operators purely in terms of decorated permutations. We show that the poset of nonnegatively representable elementary positroid quotients is self-dual. The maximal chains of this poset are in bijection with FPPs.

We prove that all lattice path matroids are Ehrhart positive. This unifies and generalizes numerous results on the Ehrhart positivity of matroids developed over the last two decades. We rely on our previous work on the positivity of order polynomials of fences. Our main result supports the conjecture by Ferroni, Jochemko, and Schröter (2022) on the Ehrhart positivity of positroids. Furthermore, our main result implies that all Schubert matroids are Ehrhart positive, which thus settles a conjecture by Fan and Li (2024), and supports a conjecture by Monical, Tokcan, and Yong (2019) on the Ehrhart positivity of Schubitopes.

While the positive Grassmannian is deeply understood through the rich combinatorics of plabic graphs and positroid cells, its tropical counterpart, the positive tropical Grassmannian Trop$_{>0}G(k,n)$, has lacked a comparable structural framework for general $k$. Both the global face structure of Trop$_{>0}G(k,n)$ and the internal metric geometry of the tropical linear spaces it parametrizes have remained largely uncharted. This paper develops a systematic algebraic and polyhedral foundation that resolves this gap. The engine of our framework is a fundamental tropical duality, analogous to the duality between cluster variables (or more precisely, their $u$-coordinates) and $\mathbf{g}$-vectors, pairing two families of objects introduced by the first author: the planar basis of tropical Plücker vectors and the planar cross-ratios on the positive configuration space. We prove that this duality links the fan structure of the positive tropical Grassmannian to the noncrossing fan of Santos, Stump, and Welker, yielding a global bijection between integer points of $Trop_{>0}G(k,n)$ and noncrossing tableaux. We then study how this discrete combinatorial data controls the continuous metric geometry of positive tropical linear spaces. We realize the bounded complex of an integer positive tropical linear space as the subdifferential of a central roof function on the hypersimplex, and use this realization to embed it into a dilate of the fundamental alcoved simplex. The dilation factor, and hence the geometric diameter of the complex, is governed by a single invariant, the planar kinematics ($K) weight, which we show equals the number of columns in the associated noncrossing tableau. The results of this work are applied in our parallel work on scaffolds for higher tropical Grassmannians.

We construct a complex of toric varieties we call the quasisymmetric Grassmannian inside the Grassmannian of $r$-planes in $\mathbb{C}^n$. Each irreducible component is a positroid variety and an $S_n$ translate of a toric Richardson variety of ribbon shape. We describe it as the vanishing locus of equations $Δ_AΔ_{A'}=0$ in Plücker coordinates determined by a new noncrossing combinatorial object we call the quasisymmetric Johnson graph. We give an affine paving, and show that its cohomology ring is a quasisymmetric modification of the Borel presentation of the Grassmannian's cohomology, with fundamental quasisymmetric polynomials playing the role of Schur polynomials.

Momentum twistors for scattering amplitudes in particle physics are lines in three-space. We develop Landau analysis for Feynman integrals in this setting. The resulting discriminants and resultants are identified with Hurwitz and Chow forms of incidence varieties in products of Grassmannians. We study their degrees and factorizations, and the kinematic regimes in which the fibers of the Landau map are rational or real. Identifying this map with the amplituhedron map on positroid varieties, and the associated recursions with promotion maps, yields a geometric mechanism for the emergence of positivity and cluster structures in planar N=4 super Yang-Mills theory.

The open projected Richardson varieties are images of the open Richardson varieties of the complete flag variety under the canonical projection to the partial flag variety. Our main result compares the Segre motivic Chern (SMC) classes of the open projected Richardson varieties with those of the affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. The main method is the recursive relation determined by the Demazure--Lusztig operators. As another application of this recursive relation, we relate the localization of the SMC classes to the twisted Kazhdan--Lusztig R-polynomials. In the case of Grassmannians, the open projected Richardson varieties are known as the open positroid varieties. We give a combinatorial formula for the SMC classes of these varieties.

In [GL24], Galashin and Lam discovered that when $k$ and $n$ are coprime, the proportion of subspaces in $\mathrm{Gr}(k,n)(\mathbb{F}_q)$ that lie in the top-dimensional open positroid variety $Π_{k,n}^\circ(\mathbb{F}_q)$ is $|(\mathbb{F}_q^\times)^n|/|\mathbb{F}_{q^n}^\times|$. In this paper, I recover this point count identity by relating the split torus action on $(Π_{k,n}^\circ)_{\mathbb{F}_q}$ and an anisotropic torus action on a $\mathbb{F}_q$ rational form of $Π_{k,n}^\circ$. The main step in the point count argument and the main technical result in this paper is that cyclic rotation acts trivially on the torus-equivariant cohomology of $Π_{k,n}^\circ$ when $k$ and $n$ are coprime.

In this manuscript we study the subdivisions of the permutahedron $Π_n$ into two subpolytopes corresponding to flags of positroids, which are in particular flags of lattice path matroids (LPFMs). A subpolytope $P_{[u,v]}$ of $Π_n$ is a Bruhat Interval Polytope (BIP) if $P_{[u,v]}$ is the convex hull of all the permutations (viewed as points in $\RR^n$) in the interval $[u,v]$ in the Bruhat order of $§_n$. We show that the coarsest subdivisions we obtain into LPFMs are the only subdivisions of $Π_n$ via hyperplane splits, into subpolytopes corresponding to BIPs. More specifically, we describe the hyperplanes whose intersection with $Π_n$ give rise to BIPs. Hence, these subdivisions are polytopes coming from points in the complete nonnegative flag variety.

For all positive integers $\ell$ and $r$, we determine the maximum number of elements of a simple rank-$r$ positroid without the rank-$2$ uniform matroid $U_{2,\ell+2}$ as a minor, and characterize the matroids with the maximum number of elements. This result continues a long line of research into upper bounds on the number of elements of matroids from various classes that forbid $U_{2,\ell+2}$ as a minor. This is the first paper to study positroids in this context, and it suggests methods to study similar problems for other classes of matroids, such as gammoids or base-orderable matroids.

Using Postnikov's Le-diagrams, decorated permutations, and Grassmann necklaces, we classify which positroids are sparse paving matroids. This allows us to enumerate sparse paving positroids, making connections to a known sequence involving the golden ratio and to the Lucas numbers.

Recent breakthroughs in the study of scattering amplitudes have uncovered profound and unexpected connections with combinatorial geometry. These connections range from classical structures -- such as polytopes, matroids, and Grassmannians -- to more modern developments including positroid varieties and the amplituhedron. Together they point toward the unifying framework of positive geometry, in which geometric domains canonically determine analytic functions governing scattering processes. This survey traces the emergence of positive geometry from the physics of amplitudes, building towards recent progress on amplitudes for matroids.

Rook matroids were recently introduced by the author and Alexandersson as matroids whose bases arise from certain restricted rook placements on a skew-shaped board. They were shown to be a subclass of transversal matroids and positroids. We further investigate the structural properties of rook matroids with an emphasis on the positroidal point of view. In particular, we characterize rook matroids in terms of Grassmann necklaces of positroids, answering a question of Lam (2024). Along the way, we give a new proof of the positroidal structure of rook matroids and determine an important subclass of their cyclic flats.

Positroid subvarieties of complex Grassmannians are the images of the Richardson subvarieties of the full flag varieties under the natural projection map. Positroid varieties admit natural embedding into certain quiver Grassmannians for equioriented cyclic quivers. Varying representations of the quiver, one defines global positroid varieties inside the type A global affine Grassmannian. General fiber of a family is isomorphic to the corresponding classical positroid variety and the special fiber is a subvariety of the juggling variety. We show that the global positroid families are flat and describe their (conjecturally reduced) scheme structures. We also describe the special fibers inside the product of classical positroid varieties and realize the irreducible components of the special fibers in terms of the affine Richardson varieties.

${\mathtt{MM}}$-curves are rational degenerations of ${\mathtt{M}}$-curves, i.e. they are maximal Mumford in the sense that they posses $g$ tropical cycles and exactly $g+1$ real ovals, where $g$ is the arithmetic genus. For rational curves the ``naive'' definition of divisors as formal sums of points requires a refinement. In the finite-gap theory of KP II equation the real regular solutions correspond to the Dubrovin-Natanzon (DN) divisors on ${\mathtt{M}}$-curves. In the case of real regular multiline KP II solitons, it was shown by the authors that for any given solution there exists a normalization time such that the spectral data are smooth DN divisor on ${\mathtt{MM}}$-curve. However, to show that DN divisors parameterize the; full positroid cell, it is necessary to fix the normalization time and consider both smooth and non-smooth divisors. In this paper we start such an investigation, and show that on ${\mathtt{MM}}$-curves whose dual graphs are trivalent Le-graphs of totally positive Schubert cells, the construction of non-smooth DN divisors requires combinations of just two basic types of blow-ups.

Braid varieties parametrize linear configurations of flags with transversality conditions dictated by positive braids. They include and generalize reduced double Bruhat cells, positroid varieties, open Bott-Samelson varieties, and Richardson varieties, among others. Recently, two cluster algebra structures were independently constructed in the coordinate rings of braid varieties: one using weaves and the other using Deodhar geometry. The main result of the article is that these two cluster algebras coincide. More generally, our comparative study matches the different concepts and results from each approach to the other, both on the combinatorial and algebraic geometric aspects.