Profunctors between posets and Alexander duality
Abstract
We consider profunctors between posets and introduce their {\em graph} and {\em ascent}. The profunctors form themselves a poset, and we consider a partition of this into a down-set and up-set , called a {\it cut}. To elements of we associate their graphs, and to elements of we associate their ascents. Our basic result is that this, suitable refined, preserves being a cut: We get a cut in the Boolean lattice of subsets of the underlying set of . Cuts in finite Booleans lattices correspond precisely to finite simplicial complexes. We apply this in commutative algebra where these give classes of Alexander dual square-free monomial ideals giving the full and natural generalized setting of isotonian ideals and letterplace ideals for posets. We study . Such profunctors identify as order preserving maps . For our applications when and are infinite, we also introduce a topology on , in particular on profunctors .
Cite
@article{arxiv.2104.02767,
title = {Profunctors between posets and Alexander duality},
author = {Gunnar Fløystad},
journal= {arXiv preprint arXiv:2104.02767},
year = {2023}
}
Comments
Minor changes and corrections, added reference, 32 pages