-
Algebraic Geometry of Cactus, Pascal, and Pappus Matroids
Authors:
Emiliano Liwski,
Fatemeh Mohammadi,
Lisa Vandebrouck
Abstract:
We study rank-three matroids, known as point-line configurations, and their associated matroid varieties, defined as the Zariski closures of their realization spaces. Our focus is on determining finite generating sets of defining equations for these varieties, up to radical, and describing the irreducible components of the corresponding circuit varieties. We generalize the notion of cactus graphs…
▽ More
We study rank-three matroids, known as point-line configurations, and their associated matroid varieties, defined as the Zariski closures of their realization spaces. Our focus is on determining finite generating sets of defining equations for these varieties, up to radical, and describing the irreducible components of the corresponding circuit varieties. We generalize the notion of cactus graphs to matroids, introducing a family of point-line configurations whose underlying graphs are cacti. Our analysis includes several classical matroids, such as the Pascal, Pappus, and cactus matroids, for which we provide explicit finite generating sets for their associated matroid ideals. The matroid ideal is the ideal of the matroid variety, whose construction involves a saturation step with respect to all the independence relations of the matroid. This step is computationally very expensive and has only been carried out for very small matroids. We provide a complete generating set of these ideals for the Pascal, Pappus, and cactus matroids. The proofs rely on classical geometric techniques, including liftability arguments and the Grassmann--Cayley algebra, which we use to construct so-called bracket polynomials in these ideals. In addition, we prove that every cactus matroid is realizable and that its matroid variety is irreducible.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
Efficient Algorithms for Minimal Matroid Extensions and Irreducible Decompositions of Circuit Varieties
Authors:
Emiliano Liwski,
Fatemeh Mohammadi,
Rémi Prébet
Abstract:
We introduce an efficient method for decomposing the circuit variety of a given matroid $M$, based on an algorithm that identifies its minimal extensions. These extensions correspond to the smallest elements above $M$ in the poset defined by the dependency order. We apply our algorithm to several classical configurations: the Vámos matroid, the unique Steiner quadruple system $S(3,4,8)$, the proje…
▽ More
We introduce an efficient method for decomposing the circuit variety of a given matroid $M$, based on an algorithm that identifies its minimal extensions. These extensions correspond to the smallest elements above $M$ in the poset defined by the dependency order. We apply our algorithm to several classical configurations: the Vámos matroid, the unique Steiner quadruple system $S(3,4,8)$, the projective and affine planes, the dual of the Fano matroid, and the dual of the graphic matroid of $K_{3,3}$. In each case, we compute the minimal irreducible decomposition of their circuit varieties.
△ Less
Submitted 23 April, 2025;
originally announced April 2025.
-
Minimal matroids in dependency posets: algorithms and applications to computing irreducible decompositions of circuit varieties
Authors:
Emiliano Liwski,
Fatemeh Mohammadi
Abstract:
We study point-line configurations, their minimal matroids, and their associated circuit varieties. We present an algorithm for identifying the minimal matroids of these configurations with respect to dependency order, or equivalently, the maximal matroids with respect to weak order, and use it to determine the irreducible decomposition of their corresponding circuit varieties. Our algorithm is ap…
▽ More
We study point-line configurations, their minimal matroids, and their associated circuit varieties. We present an algorithm for identifying the minimal matroids of these configurations with respect to dependency order, or equivalently, the maximal matroids with respect to weak order, and use it to determine the irreducible decomposition of their corresponding circuit varieties. Our algorithm is applied to several classical configurations, including the Fano matroid, affine plane of order three, MacLane, and Pappus configurations. Additionally, we explore the connection to a conjecture by Jackson and Tanigawa, which provides a criterion for the uniqueness of the minimal matroids.
△ Less
Submitted 2 February, 2025;
originally announced February 2025.
-
Irreducibility, Smoothness, and Connectivity of Realization Spaces of Matroids and Hyperplane Arrangements
Authors:
Emiliano Liwski,
Fatemeh Mohammadi
Abstract:
We study the realization spaces of matroids and hyperplane arrangements. First, we define the notion of naive dimension for the realization space of matroids and compare it with the expected dimension and the algebraic dimension, exploring the conditions under which these dimensions coincide. Next, we introduce the family of inductively connected matroids and investigate their realization spaces,…
▽ More
We study the realization spaces of matroids and hyperplane arrangements. First, we define the notion of naive dimension for the realization space of matroids and compare it with the expected dimension and the algebraic dimension, exploring the conditions under which these dimensions coincide. Next, we introduce the family of inductively connected matroids and investigate their realization spaces, establishing that they are smooth, irreducible, and isomorphic to a Zariski open subset of a complex space with a known dimension. Furthermore, we present an explicit procedure for computing their defining equations. As corollaries, we identify families of hyperplane arrangements whose moduli spaces are connected. Finally, we apply our results to study the rigidity of matroids. Rigidity, which involves matroids with a unique realization under projective transformations, is key to understanding the connectivity of the moduli spaces of the corresponding hyperplane arrangements.
△ Less
Submitted 29 October, 2024;
originally announced October 2024.
-
Representations of Yokonuma--Hecke algebras
Authors:
Emiliano Liwski,
Martín Mereb
Abstract:
The Iwahori--Hecke and Yokonuma--Hecke algebras have played crucial roles in algebraic combinatorics and the representation theory of finite groups. In this work, we use classical results from representation theory to compute the character values of the Yokonuma--Hecke algebra at $w_{0}$ and $w_{0}^{2}$, where $w_{0}$ denotes the element of maximal length in the corresponding Weyl group.
The Iwahori--Hecke and Yokonuma--Hecke algebras have played crucial roles in algebraic combinatorics and the representation theory of finite groups. In this work, we use classical results from representation theory to compute the character values of the Yokonuma--Hecke algebra at $w_{0}$ and $w_{0}^{2}$, where $w_{0}$ denotes the element of maximal length in the corresponding Weyl group.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Solvable and Nilpotent Matroids: Realizability and Irreducible Decomposition of Their Associated Varieties
Authors:
Emiliano Liwski,
Fatemeh Mohammadi
Abstract:
We introduce the families of solvable and nilpotent matroids, examining their realization spaces, closures, and associated matroid and circuit varieties. We establish sufficient conditions for both the realizability of these matroids and the irreducibility of their associated varieties. Additionally, we analyze the defining polynomial equations of these varieties using Grassmann-Cayley algebra and…
▽ More
We introduce the families of solvable and nilpotent matroids, examining their realization spaces, closures, and associated matroid and circuit varieties. We establish sufficient conditions for both the realizability of these matroids and the irreducibility of their associated varieties. Additionally, we analyze the defining polynomial equations of these varieties using Grassmann-Cayley algebra and geometric liftability techniques. For several families within these matroid types, we provide a complete set of defining equations for matroid varieties, or equivalently, a finite generating set for their associated matroid ideals. This includes forest configurations, and a subfamily of nilpotent matroids, called weak nilpotent matroids, which may have arbitrary rank.
△ Less
Submitted 30 October, 2024; v1 submitted 22 August, 2024;
originally announced August 2024.
-
Paving Matroids: Defining Equations and Associated Varieties
Authors:
Emiliano Liwski,
Fatemeh Mohammadi
Abstract:
We study paving matroids, their realization spaces, and their closures, along with matroid varieties and circuit varieties. Within this context, we introduce three distinct methods for generating polynomials within the associated ideals of these varieties across any dimension. Additionally, we explain the relationship between polynomials constructed using these different methods. We then compute a…
▽ More
We study paving matroids, their realization spaces, and their closures, along with matroid varieties and circuit varieties. Within this context, we introduce three distinct methods for generating polynomials within the associated ideals of these varieties across any dimension. Additionally, we explain the relationship between polynomials constructed using these different methods. We then compute a comprehensive and finite set of defining equations for matroid varieties associated with specific classes of paving matroids. Finally, we focus on the class of paving matroids of rank $3$, known as point-line configurations, which essentially contain simple matroids of rank $3$. Furthermore, we provide a decomposition for the associated circuit variety of point-line configurations, where all points have a degree less than $3$. Lastly, we present several examples applying our results and compare them with the known cases in the literature.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
