English

Profunctors between posets and Alexander duality

Combinatorics 2023-02-21 v6 Commutative Algebra Category Theory

Abstract

We consider profunctors f:P\promapQf : P \promap Q between posets and introduce their {\em graph} and {\em ascent}. The profunctors \Pro(P,Q)\Pro(P,Q) form themselves a poset, and we consider a partition \cI\cF\cI \sqcup \cF of this into a down-set \cI\cI and up-set \cF\cF, called a {\it cut}. To elements of \cF\cF we associate their graphs, and to elements of \cI\cI 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 Q×PQ \times P. 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 \Pro(\NN,\NN)\Pro(\NN, \NN). Such profunctors identify as order preserving maps f:\NN\pil\NN{}f : \NN \pil \NN \cup \{\infty \}. For our applications when PP and QQ are infinite, we also introduce a topology on \Pro(P,Q)\Pro(P,Q), in particular on profunctors \Pro(\NN,\NN)\Pro(\NN,\NN).

Keywords

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

R2 v1 2026-06-24T00:54:12.077Z