-
Connection Matrices in Macaulay2
Authors:
Paul Görlach,
Joris Koefler,
Anna-Laura Sattelberger,
Mahrud Sayrafi,
Hendrik Schroeder,
Nicolas Weiss,
Francesca Zaffalon
Abstract:
In this article, we describe the theoretical foundations of the Macaulay2 package ConnectionMatrices and explain how to use it. For a left ideal in the Weyl algebra that is of finite holonomic rank, we implement the computation of the encoded system of linear PDEs in connection form with respect to an elimination term order that depends on a chosen positive weight vector. We also implement the gau…
▽ More
In this article, we describe the theoretical foundations of the Macaulay2 package ConnectionMatrices and explain how to use it. For a left ideal in the Weyl algebra that is of finite holonomic rank, we implement the computation of the encoded system of linear PDEs in connection form with respect to an elimination term order that depends on a chosen positive weight vector. We also implement the gauge transformation for carrying out a change of basis over the field of rational functions. We demonstrate all implemented algorithms with examples.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
How to stab a polytope
Authors:
Sebastian Seemann,
Francesca Zaffalon
Abstract:
We study the set of linear subspaces of a fixed dimension intersecting a given polytope. To describe this set as a semialgebraic subset of a Grassmannian, we introduce a Schubert arrangement of the polytope, defined by the Chow forms of the polytope's faces of complementary dimension. We show that the set of subspaces intersecting a specified family of faces is defined by fixing the sign of the Ch…
▽ More
We study the set of linear subspaces of a fixed dimension intersecting a given polytope. To describe this set as a semialgebraic subset of a Grassmannian, we introduce a Schubert arrangement of the polytope, defined by the Chow forms of the polytope's faces of complementary dimension. We show that the set of subspaces intersecting a specified family of faces is defined by fixing the sign of the Chow forms of their boundaries. We give inequalities defining the set of stabbing subspaces in terms of sign conditions on the Chow form.
△ Less
Submitted 30 November, 2024;
originally announced December 2024.
-
Combinatorics of Essential Sets for Positroids
Authors:
Fatemeh Mohammadi,
Francesca Zaffalon
Abstract:
Positroids are a family of matroids introduced by Postnikov in the study of non-negative Grassmannians. Postnikov identified several combinatorial objects in bijections with positroids, among which are bounded affine permutations. On the other hand, the notion of essential sets, introduced for permutations by Fulton, was used by Knutson in the study of the special family of interval rank positroid…
▽ More
Positroids are a family of matroids introduced by Postnikov in the study of non-negative Grassmannians. Postnikov identified several combinatorial objects in bijections with positroids, among which are bounded affine permutations. On the other hand, the notion of essential sets, introduced for permutations by Fulton, was used by Knutson in the study of the special family of interval rank positroids. We generalize Fulton's essential sets to bounded affine permutations. The bijection of the latter with positroids, allows study of the relationship between them. From the point of view of positroids, essential sets are maximally dependent cyclic interval. We define connected essential sets and prove that they give a facet description of the positroid polytope, as well as equations defining the positroid variety. We define a subset of essential sets, called core, which contains minimal rank conditions to uniquely recover a positroid. We provide an algorithm to retrieve the positroid satisfying the rank conditions in the core or any compatible rank condition on cyclic intervals.
△ Less
Submitted 2 July, 2024; v1 submitted 14 March, 2024;
originally announced March 2024.
-
Restricted Chain-Order Polytopes via Combinatorial Mutations
Authors:
Oliver Clarke,
Akihiro Higashitani,
Francesca Zaffalon
Abstract:
We study restricted chain-order polytopes associated to Young diagrams using combinatorial mutations. These polytopes are obtained by intersecting chain-order polytopes with certain hyperplanes. The family of chain-order polytopes associated to a poset interpolate between the order and chain polytopes of the poset. Each such polytope retains properties of the order and chain polytope; for example…
▽ More
We study restricted chain-order polytopes associated to Young diagrams using combinatorial mutations. These polytopes are obtained by intersecting chain-order polytopes with certain hyperplanes. The family of chain-order polytopes associated to a poset interpolate between the order and chain polytopes of the poset. Each such polytope retains properties of the order and chain polytope; for example its Ehrhart polynomial. For a fixed Young diagram, we show that all restricted chain-order polytopes are related by a sequence of combinatorial mutations. Since the property of giving rise to the period collapse phenomenon is invariant under combinatorial mutations, we provide a large class of rational polytopes that give rise to period collapse.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
Progress on Infinite Cluster Categories Related to Triangulations of the (Punctured) Disk
Authors:
Fatemeh Mohammadi,
Job Daisie Rock,
Francesca Zaffalon
Abstract:
In this mostly expository paper, we present recent progress on infinite (weak) cluster categories that are related to triangulations of the disk, with and without a puncture. First we recall the notion of a cluster category. Then we move to the infinite setting and survey recent work on infinite cluster categories of types $\mathbb{A}$ and $\mathbb{D}$. We conclude with our contributions, two infi…
▽ More
In this mostly expository paper, we present recent progress on infinite (weak) cluster categories that are related to triangulations of the disk, with and without a puncture. First we recall the notion of a cluster category. Then we move to the infinite setting and survey recent work on infinite cluster categories of types $\mathbb{A}$ and $\mathbb{D}$. We conclude with our contributions, two infinite families of infinite (weak) cluster categories of type $\mathbb{D}$. We first present a discrete, infinite version of Schiffler's combinatorial model of the punctured disk with marked points. We then produce each (weak) cluster category starting with representations of thread quivers, taking the derived category, and then taking the appropriate orbit category. We show that the combinatorics in the (weak) cluster categories match with the corresponding combinatorics of the punctured disk with countably-many marked points. We also state two conjectures concerning weak cluster structures inside our (weak) cluster categories.
△ Less
Submitted 30 September, 2022;
originally announced September 2022.
-
Computing positroid cells in the Grassmannian of lines, their boundaries and their intersections
Authors:
Fatemeh Mohammadi,
Francesca Zaffalon
Abstract:
Positroids are families of matroids introduced by Postnikov in the study of non-negative Grassmannians. In particular, positroids enumerate a CW decomposition of the totally non-negative Grassmannian. Furthermore, Postnikov has identified several families of combinatorial objects in bijections with positroids. We will provide yet another characterization of positroids for Gr$_{\geq 0}(2,n)$, the G…
▽ More
Positroids are families of matroids introduced by Postnikov in the study of non-negative Grassmannians. In particular, positroids enumerate a CW decomposition of the totally non-negative Grassmannian. Furthermore, Postnikov has identified several families of combinatorial objects in bijections with positroids. We will provide yet another characterization of positroids for Gr$_{\geq 0}(2,n)$, the Grassmannians of lines, in terms of certain graphs. We use this characterization to compute the dimension and the boundary of positroid cells. This also leads to a combinatorial description of the intersection of positroid cells, that is easily computable. Our techniques rely on determining different ways to enlarge a given collection of subsets of $\{1,\ldots,n\}$ to represent the dependent sets of a positroid, that is the dependencies among the columns of a matrix with non-negative maximal minors. Furthermore, we provide an algorithm to compute all the maximal positroids contained in a set.
△ Less
Submitted 28 June, 2022;
originally announced June 2022.
-
Toric degenerations of partial flag varieties and combinatorial mutations of matching field polytopes
Authors:
Oliver Clarke,
Fatemeh Mohammadi,
Francesca Zaffalon
Abstract:
We study toric degenerations arising from Gröbner degenerations or the tropicalization of partial flag varieties. We produce a new family of toric degenerations of partial flag varieties whose combinatorics are governed by matching fields and combinatorial mutations of polytopes. We provide an explicit description of the polytopes associated with the resulting toric varieties in terms of matching…
▽ More
We study toric degenerations arising from Gröbner degenerations or the tropicalization of partial flag varieties. We produce a new family of toric degenerations of partial flag varieties whose combinatorics are governed by matching fields and combinatorial mutations of polytopes. We provide an explicit description of the polytopes associated with the resulting toric varieties in terms of matching field polytopes. These polytopes encode the combinatorial data of monomial degenerations of Plücker forms for the Grassmannians. We give a description of matching field polytopes of flag varieties as Minkowski sums and show that all such polytopes are normal. The polytopes we obtain are examples of Newton-Okounkov bodies for particular full-rank valuations for flag varieties. Furthermore, we study a certain explicitly-defined large family of matching field polytopes and prove that all polytopes in this family are connected by combinatorial mutations. Finally, we apply our methods to explicitly compute toric degenerations of small Grassmannians and flag varieties and obtain new families of toric degenerations.
△ Less
Submitted 11 October, 2023; v1 submitted 28 June, 2022;
originally announced June 2022.
