Resolutions of convex geometries

Domenico Cantone¹ ; Jean-Paul Doignon² ; Alfio Giarlotta³ ; Stephen Watson⁴

¹Department of Mathematics and Computer Science, University of Catania, Catania, Italy
²Université Libre de Bruxelles
³Department of Economics and Business, University of Catania, Catania, Italy
⁴Department of Mathematics and Statistics, York University, Toronto, Canada

The electronic journal of combinatorics, Tome 28 (2021) no. 4

Résumé

Convex geometries (Edelman and Jamison, 1985) are finite combinatorial structures dual to union-closed antimatroids or learning spaces. We define an operation of resolution for convex geometries, which replaces each element of a base convex geometry by a fiber convex geometry. Contrary to what happens for similar constructions–compounds of hypergraphs, as in Chein, Habib and Maurer (1981), and compositions of set systems, as in Möhring and Radermacher)–, resolutions of convex geometries always yield a convex geometry. We investigate resolutions of special convex geometries: ordinal and affine. A resolution of ordinal convex geometries is again ordinal, but a resolution of affine convex geometries may fail to be affine. A notion of primitivity, which generalize the corresponding notion for posets, arises from resolutions: a convex geometry is primitive if it is not a resolution of smaller ones. We obtain a characterization of affine convex geometries that are primitive, and compute the number of primitive convex geometries on at most four elements. Several open problems are listed.

Détail

DOI : 10.37236/10328

Classification : 52A01, 05B25, 06A07, 51D20
Mots-clés : resolution, convex geometriy, affine convex geometries, primitive convex geometries