Profunctors between posets and Alexander duality

DOI10.1007/S10485-023-09711-6MaRDI QIDQ6102160zbMATH OpenOpenAlexFDO

Authors Gunnar Fløystad

Publication date 8 May 2023

Published in Applied Categorical Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2104.02767

zbMATH Keywords

Alexander dualityascentcutdistributive latticedualitygraphletterplace idealposetprofunctorStanley-Reisner ideal

Mathematics Subject Classification ID

Partial orders, general (06A06) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Profunctors (= correspondences, distributors, modules) (18D60)

Abstract: We consider profunctors $f:PpromapQ$ between posets and introduce their {em graph} and {em ascent}. The profunctors $Pro(P,Q)$ form themselves a poset, and we consider a partition $cIsqcupcF$ of this into a down-set $cI$ and up-set $cF$, called a {it cut}. To elements of $cF$ we associate their graphs, and to elements of $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 $QimesP$. 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)$. Such profunctors identify as order preserving maps $f:NNpilNNcupinfty$. For our applications when $P$ and $Q$ are infinite, we also introduce a topology on $Pro(P,Q)$, in particular on profunctors $Pro(NN,NN)$.

Cites work

• (Bi-)Cohen–Macaulay Simplicial Complexes and Their Associated Coherent Sheaves
• Alexander duality for monomial ideals associated with isotone maps between posets
• Alexander duality for the alternative polarizations of strongly stable ideals
• Algebraic properties of ideals of poset homomorphisms
• An Invitation to Applied Category Theory
• Constructive complete distributivity. IV
• Equivariant Hilbert series in non-Noetherian polynomial rings
• scientific article; zbMATH DE number 2125665 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 7750566 (Why is no real title available?)
• Ideals associated to poset homomorphisms: a survey
• Letterplace and co-letterplace ideals of posets
• Monomial ideals and toric rings of Hibi type arising from a finite poset
• On the Closure of the Bicyclic Semigroup
• Order ideals in categories
• Poset ideals of \(P\)-partitions and generalized letterplace and determinantal ideals
• Resolutions of co-letterplace ideals and generalizations of Bier spheres
• The theory of well-quasi-ordering: a frequently discovered concept

This page was built for publication: Profunctors between posets and Alexander duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6102160)