An invitation to positive geometries
This short introduction to positive geometries, targeted at a mathematical audience, is based on my talk at OPAC 2022.
Discover
Research tools
Network
Opportunities
Account
Source author record
Thomas Lam appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This short introduction to positive geometries, targeted at a mathematical audience, is based on my talk at OPAC 2022.
We study relations between cluster algebra invariants and link invariants. First, we show that several constructions of positroid links (permutation links, Richardson links, grid diagram links, plabic graph links) give rise to isotopic links. For a subclass of permutations arising from concave curves, we also provide isotopies with the corresponding Coxeter links. Second, we associate a point count polynomial to an arbitrary locally acyclic quiver. We conjecture an equality between the top $a$-degree coefficient of the HOMFLY polynomial of a plabic graph link and the point count polynomial of its planar dual quiver. We prove this conjecture for leaf recurrent plabic graphs, which includes reduced plabic graphs and plabic fences as special cases.
We define and study the totally nonnegative part of the Chow quotient of the Grassmannian, or more simply the nonnegative configuration space. This space has a natural stratification by positive Chow cells, and we show that nonnegative configuration space is homeomorphic to a polytope as a stratified space. We establish bijections between positive Chow cells and the following sets: (a) regular subdivisions of the hypersimplex into positroid polytopes, (b) the set of cones in the positive tropical Grassmannian, and (c) the set of cones in the positive Dressian. Our work is motivated by connections to super Yang-Mills scattering amplitudes, which will be discussed in a sequel.
We solve two open problems in Coxeter-Catalan combinatorics. First, we introduce a family of rational noncrossing objects for any finite Coxeter group, using the combinatorics of distinguished subwords. Second, we give a type-uniform proof that these noncrossing Catalan objects are counted by the rational Coxeter-Catalan number, using the character theory of the associated Hecke algebra and the properties of Lusztig's exotic Fourier transform. We solve the same problems for rational noncrossing parking objects.
We initiate a systematic study of the cohomology of cluster varieties. We introduce the Louise property for cluster algebras that holds for all acyclic cluster algebras, and for most cluster algebras arising from marked surfaces. For cluster varieties satisfying the Louise property and of full rank, we show that the cohomology satisfies the curious Lefschetz property of Hausel and Rodriguez-Villegas, and that the mixed Hodge structure is split over the rationals. We give a complete description of the highest weight part of the mixed Hodge structure of these cluster varieties, and develop the notion of a standard differential form on a cluster variety. We show that the point counts of these cluster varieties over finite fields can be expressed in terms of Dirichlet characters. Under an additional integrality hypothesis, the point counts are shown to be polynomials in the order of the finite field.
Canonical forms of positive geometries play an important role in revealing hidden structures of scattering amplitudes, from amplituhedra to associahedra. In this paper, we introduce "stringy canonical forms", which provide a natural definition and extension of canonical forms for general polytopes, deformed by a parameter $α'$. They are defined by real or complex integrals regulated with polynomials with exponents, and are meromorphic functions of the exponents, sharing various properties of string amplitudes. As $α' \to 0$, they reduce to the usual canonical form of a polytope given by the Minkowski sum of the Newton polytopes of the regulating polynomials, or equivalently the volume of the dual of this polytope, naturally determined by tropical functions. At finite $α'$, they have simple poles corresponding to the facets of the polytope, with the residue on the pole given by the stringy canonical form of the facet. There is the remarkable connection between the $α' \to 0$ limit of tree-level string amplitudes, and scattering equations that appear when studying the $α' \to \infty$ limit. We show that there is a simple conceptual understanding of this phenomenon for any stringy canonical form: the saddle-point equations provide a diffeomorphism from the integration domain to the interior of the polytope, and thus the canonical form can be obtained as a pushforward via summing over saddle points. When the stringy canonical form is applied to the ABHY associahedron in kinematic space, it produces the usual Koba-Nielsen string integral, giving a direct path from particle to string amplitudes without an a priori reference to the string worldsheet. We also discuss a number of other examples, including stringy canonical forms for finite-type cluster algebras (with type A for string amplitudes), and other natural integrals over the positive Grassmannian.
We prove that three spaces of importance in topological combinatorics are homeomorphic to closed balls: the totally nonnegative Grassmannian, the compactification of the space of electrical networks, and the cyclically symmetric amplituhedron.
We introduce the notion of "binary" positive and complex geometries, giving a completely rigid geometric realization of the combinatorics of generalized associahedra attached to any Dynkin diagram. We also define open and closed "cluster string integrals" associated with these "cluster configuration spaces". The binary geometry of type ${\cal A}$ gives a gauge-invariant description of the usual open and closed string moduli spaces for tree scattering, making no explicit reference to a worldsheet. The binary geometries and cluster string integrals for other Dynkin types provide a generalization of particle and string scattering amplitudes. Both the binary geometries and cluster string integrals enjoy remarkable factorization properties at finite $α'$, obtained simply by removing nodes of the Dynkin diagram. As $α'\to 0$ these cluster string integrals reduce to the canonical forms of the ABHY generalized associahedron polytopes. For classical Dynkin types these are associated with $n$-particle scattering in the bi-adjoint $ϕ^3$ theory through one-loop order.
The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes and finite Schubert classes, in (torus-equivariant) cohomology and K-theory. As an application, we deduce monomial positivity for the affine Schubert polynomials of the second author.
We introduce a new class of "electrical" Lie groups. These Lie groups, or more precisely their nonnegative parts, act on the space of planar electrical networks via combinatorial operations previously studied by Curtis-Ingerman-Morrow. The corresponding electrical Lie algebras are obtained by deforming the Serre relations of a semisimple Lie algebra in a way suggested by the star-triangle transformation of electrical networks. Rather surprisingly, we show that the type A electrical Lie group is isomorphic to the symplectic group. The nonnegative part (EL_{2n})_{\geq 0} of the electrical Lie group is a rather precise analogue of the totally nonnegative subsemigroup (U_{n})_{\geq 0} of the unipotent subgroup of SL_{n}. We establish decomposition and parametrization results for (EL_{2n})_{\geq 0}, paralleling Lusztig's work in total nonnegativity, and work of Curtis-Ingerman-Morrow and de Verdière-Gitler-Vertigan for networks. Finally, we suggest a generalization of electrical Lie algebras to all Dynkin types.
We generalize Fomin and Zelevinsky's cluster algebras by allowing exchange polynomials to be arbitrary irreducible polynomials, rather than binomials.
We use the combinatorics of toric networks and the double affine geometric $R$-matrix to define a three-parameter family of generalizations of the discrete Toda lattice. We construct the integrals of motion and a spectral map for this system. The family of commuting time evolutions arising from the action of the $R$-matrix is explicitly linearized on the Jacobian of the spectral curve. The solution to the initial value problem is constructed using Riemann theta functions.
Let $G$ be a complex quasi-simple algebraic group and $G/P$ be a partial flag variety. The projections of Richardson varieties from the full flag variety form a stratification of $G/P$. We show that the closure partial order of projected Richardson varieties agrees with that of a subset of Schubert varieties in the affine flag variety of $G$. Furthermore, we compare the torus-equivariant cohomology and $K$-theory classes of these two stratifications by pushing or pulling these classes to the affine Grassmannian. Our work generalizes results of Knutson, Lam, and Speyer for the Grassmannian of type $A$.
All-loop planar scattering amplitudes in maximally supersymmetric Yang-Mills theory can be formulated geometrically in terms of the "amplituhedron". We study the mathematical structures of the one-loop amplituhedron, and present a new formula for its canonical measure, or the one-loop Grassmannian measure formula. Using the recently proposed momentum-twistor diagrams, we show that there is a correspondence between the cells of one-loop amplituhedron, BCFW terms or equivalently on-shell diagrams, and residues of the one-loop Grassmannian formula. In particular, for the first non-trivial case of one-loop NMHV, these structures are naturally associated with a nice geometric picture as polygons in projective space, as we discuss in various illustrative examples.
Let $W$ be a finite Weyl group and ${\hat{W}}$ be the corresponding affine Weyl group. We show that a large element in ${\hat{W}}$, randomly generated by (reduced) multiplication by simple generators, almost surely has one of $|W|$-specific shapes. Equivalently, a reduced random walk in the regions of the affine Coxeter arrangement asymptotically approaches one of $|W|$-many directions. The coordinates of this direction, together with the probabilities of each direction can be calculated via a Markov chain on $W$. Our results, applied to type $\tilde{A}_{n-1}$, show that a large random $n$-core obtained from the natural growth process has a limiting shape which is a piecewise-linear graph. In this case, our random process is a periodic analogue of TASEP, and our limiting shapes can be compared with Rost's theorem on the limiting shape of TASEP.
These are lecture notes intended to supplement my second lecture at the Current Developments in Mathematics conference in 2014. In the first half of article, we give an introduction to the totally nonnegative Grassmannian together with a survey of some more recent work. In the second half of the article, we give a definition of a Grassmann polytope motivated by work of physicists on the amplituhedron. We propose to use Schubert calculus and canonical bases to replace linear algebra and convexity in the theory of polytopes.
The amplituhedron was recently introduced in the study of scattering amplitudes in $N=4$ super Yang-Mills. We compute the cohomology class of a tree amplituhedron subvariety of the Grassmannian to be the truncation of an affine Stanley symmetric function.
Scattering amplitudes in 4d $\mathcal{N}=4$ super Yang-Mills theory (SYM) can be described by Grassmannian contour integrals whose form depends on whether the external data is encoded in momentum space, twistor space, or momentum twistor space. After a pedagogical review, we present a new, streamlined proof of the equivalence of the three integral formulations. A similar strategy allows us to derive a new Grassmannian integral for 3d $\mathcal{N}=6$ ABJM theory amplitudes in momentum twistor space: it is a contour integral in an orthogonal Grassmannian with the novel property that the internal metric depends on the external data. The result can be viewed as a central step towards developing an amplituhedron formulation for ABJM amplitudes. Various properties of Grassmannian integrals are examined, including boundary properties, pole structure, and a homological interpretation of the global residue theorems for $\mathcal{N}=4$ SYM.
Let (W,S) be a finite rank Coxeter system with W infinite. We prove that the limit weak order on the blocks of infinite reduced words of W is encoded by the topology of the Tits boundary of the Davis complex X of W. We consider many special cases, including W word hyperbolic, and X with isolated flats. We establish that when W is word hyperbolic, the limit weak order is the disjoint union of weak orders of finite Coxeter groups. We also establish, for each boundary point ξ, a natural order-preserving correspondence between infinite reduced words which "point towards" ξ, and elements of the reflection subgroup of W which fixes ξ.
We give an explicit subtraction-free formula for the energy function in tensor products of Kirillov-Reshetikhin crystals for symmetric powers of the standard representation of U_q'(\hat sl_n). The energy function is shown to be the tropicalization of a stretched staircase shape loop Schur function. The latter were introduced by the authors in the study of total positivity in loop groups.
We prove that the partial order on the set of matchings of 2n points on a circle, given by resolving crossings, is an Eulerian poset.
This mostly expository article explores recent developments in the relations between the three objects in the title from an algebro-combinatorial perspective. We prove a formula for Whittaker functions of a real semisimple group as an integral over a geometric crystal in the sense of Berenstein-Kazhdan. We explain the connections of this formula to the program of mirror symmetry of flag varieties developed by Givental and Rietsch; in particular, the integral formula proves the equivariant version of Rietsch's mirror symmetry conjecture. We also explain the idea that Whittaker functions should be thought of as geometric analogues of irreducible characters of finite-dimensional representations.
This is the second of two papers where we study polytopes arising from affine Coxeter arrangements. Our results include a formula for their volumes, and also compatible definitions of hypersimplices, descent numbers and major index for all Weyl groups. We give a q-analogue of Weyl's formula for the order of the Weyl group. For A_n, C_n and D_4, we give a Grobner basis which induces the triangulation of alcoved polytopes.
Using the whurl relation of the first two authors, we define a new discrete solitonic system, which we call the box-basket-ball system, generalizing the box-ball system of Takahashi and Satsuma. In box-basket-ball systems balls may be put either into boxes or into baskets. While boxes stay fixed, both balls and baskets get moved during time evolution. Balls and baskets behave as fermionic and bosonic particles respectively. We classify the solitons of this system, and study their scattering.
In [LP] we introduced Laurent phenomenon algebras, a generalization of cluster algebras. Here we give an explicit description of Laurent phenomenon algebras with a linear initial seed arising from a graph. In particular, any graph associahedron is shown to be the dual cluster complex for some Laurent phenomenon algebra.
These are notes for my talk at ICCM 2010, Beijing. We survey some results, obtained jointly with Pavlo Pylyavskyy, concerning the ring of loop symmetric functions. Motivations from networks on surfaces, total positivity, crystal graphs, and discrete integrable systems are discussed.
Let G be a simple and simply-connected complex algebraic group, and let X \subset G^\vee be the centralizer subgroup of a principal nilpotent element. Ginzburg and Peterson independently related the ring of functions on X with the homology ring of the affine Grassmannian Gr_G. Peterson furthermore connected this ring to the quantum cohomology rings of partial flag varieties G/P. The first aim of this paper is to study three different notions of positivity on X: (1) Schubert positivity arising via Peterson's work, (2) total positivity in the sense of Lusztig, and (3) Mirkovic-Vilonen positivity obtained from the MV-cycles in Gr_G. Our first main theorem establishes that these three notions of positivity coincide. The second aim of this paper is to parametrize the totally nonnegative part of X, confirming a conjecture of the second author. In type A a substantial part of our results were previously established by the second author. The crucial new component of this paper is the connection with the affine Grassmannian and the geometric Satake correspondence.
We study a multivariate Markov chain on the symmetric group with remarkable enumerative properties. We conjecture that the stationary distribution of this Markov chain can be expressed in terms of positive sums of Schubert polynomials. This Markov chain is a multivariate generalization of a Markov chain introduced by the first author in the study of random affine Weyl group elements.
Bergeron and Li have introduced a set of axioms which guarantee that the Grothendieck groups of a tower of algebras $\bigoplus_{n\ge0}A_n$ can be endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap, and independently Lam and Shimozono constructed dual graded graphs from primitive elements in Hopf algebras. In this paper we apply the composition of these constructions to towers of algebras. We show that if a tower $\bigoplus_{n\ge0}A_n$ gives rise to graded dual Hopf algebras then we must have $\dim(A_n)=r^nn!$ where $r = \dim(A_1)$. In the case $r=1$ we give a conjectural classification. We then investigate a quantum version of the main theorem. We conclude with some open problems and a categorification of the construction. This paper is a full version of the summary arXiv: 0710.3744.
An explicit rule is given for the product of the degree two class with an arbitrary Schubert class in the torus-equivariant homology of the affine Grassmannian. In addition a Pieri rule (the Schubert expansion of the product of a special Schubert class with an arbitrary one) is established for the equivariant homology of the affine Grassmannians of SL_n and a similar formula is conjectured for Sp_{2n} and SO_{2n+1}. For SL_n the formula is explicit and positive. By a theorem of Peterson these compute certain products of Schubert classes in the torus-equivariant quantum cohomology of flag varieties. The SL_n Pieri rule is used in our recent definition of k-double Schur functions and affine double Schur functions.
We show that the k-double Schur functions defined by the authors, and the quantum double Schubert polynomials studied by Kirillov and Maeno and by Ciocan-Fontanine and Fulton, can be obtained from each other by an explicit rational substitution. The main new ingredient is an explicit computation of Kostant's solution to the Toda lattice in terms of equivariant Schubert classes.
In this paper we study the inverse Dirichlet-to-Neumann problem for certain cylindrical electrical networks. We define and study a birational transformation acting on cylindrical electrical networks called the electrical $R$-matrix. We use this transformation to formulate a general conjectural solution to this inverse problem on the cylinder. This conjecture extends work of Curtis, Ingerman, and Morrow, and of de Verdière, Gitler, and Vertigan for circular planar electrical networks. We show that our conjectural solution holds for certain "purely cylindrical" networks. Here we apply the grove combinatorics introduced by Kenyon and Wilson.
The Schubert bases of the torus-equivariant homology and cohomology rings of the affine Grassmannian of the special linear group are realized by new families of symmetric functions called k-double Schur functions and affine double Schur functions.
While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the cyclic shifts of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, Brown-Goodearl-Yakimov and the present authors. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subset of the affine Weyl group we call bounded juggling patterns. We call the strata positroid varieties. Applying results from the authors' previous work, we show that positroid varieties are normal, Cohen-Macaulay, have rational singularities, and are defined as schemes by the vanishing of Plucker coordinates. We prove that their associated cohomology classes are represented by affine Stanley functions. This last fact lets us connect Postnikov's and Buch-Kresch-Tamvakis' approaches to quantum Schubert calculus.
While the projections of Schubert varieties in a full generalized flag manifold G/B to a partial flag manifold $G/P$ are again Schubert varieties, the projections of Richardson varieties (intersections of Schubert varieties with opposite Schubert varieties) are not always Richardson varieties. The stratification of G/P by projections of Richardson varieties arises in the theory of total positivity and also from Poisson and noncommutative geometry. In this paper we show that many of the geometric properties of Richardson varieties hold more generally for projected Richardson varieties; they are normal, Cohen-Macaulay, have rational singularities, and are compatibly Frobenius split with respect to the standard splitting. Indeed, we show that the projected Richardson varieties are the only compatibly split subvarieties, providing an example of the recent theorem [Schwede, Kumar-Mehta] that a Frobenius split scheme has only finitely many compatibly split subvarieties. (The G/B case was treated by [Hague], whose proof we simplify somewhat.) One combinatorial analogue of a Richardson variety is the order complex of the corresponding Bruhat interval in W; this complex is known to be an EL-shellable ball [Bjorner-Wachs '82]. We prove that the projection of such a complex into the order complex of the Bruhat order on W/W_P is again a shellable ball. This requires extensive analysis of "P-Bruhat order", a generalization of the k-Bruhat order of [Bergeron-Sottile '98]. In the case that G/P is minuscule (e.g. a Grassmannian), we show that its Grobner degeneration takes each projected Richardson variety to the Stanley-Reisner scheme of its corresponding ball.
The quantum double Schubert polynomials studied by Kirillov and Maeno, and by Ciocan-Fontanine and Fulton, are shown to represent Schubert classes in Kim's presentation of the equivariant quantum cohomology of the flag variety. We define parabolic analogues of quantum double Schubert polynomials, and show that they represent Schubert classes in the equivariant quantum cohomology of partial flag varieties. For complete flags Anderson and Chen have announced a proof with different methods.
The Pieri rule expresses the product of a Schur function and a single row Schur function in terms of Schur functions. We extend the classical Pieri rule by expressing the product of a skew Schur function and a single row Schur function in terms of skew Schur functions. Like the classical rule, our rule involves simple additions of boxes to the original skew shape. Our proof is purely combinatorial and extends the combinatorial proof of the classical case.
We study products of the affine geometric crystal of type A corresponding to symmetric powers of the standard representation. The quotient of this product by the R-matrix action is constructed inside the unipotent loop group. This quotient crystal has a semi-infinite limit, where the crystal structure is described in terms of limit ratios previously appearing in the study of total positivity of loop groups.
We develop a combinatorial model of networks on orientable surfaces, and study weight and homology generating functions of paths and cycles in these networks. Network transformations preserving these generating functions are investigated. We describe in terms of our model the crystal structure and R-matrix of the affine geometric crystal of products of symmetric and dual symmetric powers of type A. Local realizations of the R-matrix and crystal actions are used to construct a double affine geometric crystal on a torus, generalizing the commutation result of Kajiwara-Noumi-Yamada and an observation of Berenstein-Kazhdan. We show that our model on a cylinder gives a decomposition and parametrization of the totally nonnegative part of the rational unipotent loop group of GL_n.
We show that Lapointe-Lascoux-Morse k-Schur functions (at t=1) and Fomin-Gelfand-Postnikov quantum Schubert polynomials can be obtained from each other by a rational substitution. This is based upon Kostant's solution of the Toda lattice and Peterson's work on quantum Schubert calculus.
We give a combinatorial expansion of a Schubert homology class in the affine Grassmannian Gr_{SL_k} into Schubert homology classes in Gr_{SL_{k+1}}. This is achieved by studying the combinatorics of a new class of partitions called k-shapes, which interpolates between k-cores and k+1-cores. We define a symmetric function for each k-shape, and show that they expand positively in terms of dual k-Schur functions. We obtain an explicit combinatorial description of the expansion of an ungraded k-Schur function into k+1-Schur functions. As a corollary, we give a formula for the Schur expansion of an ungraded k-Schur function.
These are (mostly) expository notes for lectures on affine Stanley symmetric functions given at the Fields Institute in 2010. We focus on the algebraic and combinatorial parts of the theory. The notes contain a number of exercises and open problems.
We suggest the point of view that the Schubert classes of the affine Grassmannian of a simple algebraic group should be considered as Schur-positive symmetric functions. In particular, we give a geometric explanation of the Schur positivity of k-Schur functions (at t = 1). We also put this in the context of the theory of combinatorial Hopf algebras.
We study the Schubert calculus of the affine Grassmannian Gr of the symplectic group. The integral homology and cohomology rings of Gr are identified with dual Hopf algebras of symmetric functions, defined in terms of Schur's P and Q-functions. An explicit combinatorial description is obtained for the Schubert basis of the cohomology of Gr, and this is extended to a definition of the affine type C Stanley symmetric functions. A homology Pieri rule is also given for the product of a special Schubert class with an arbitrary one.