A Survey of the Valuation Algebra motivated by a Fundamental Application to Dissection Theory

arXiv2101.06671MaRDI QIDQ6358445FDOQ6358445

Authors: Hery Randriamaro 

Publication date: 17 January 2021

Abstract: A lattice $L$ is said lowly finite if the set $[mathsf0,a]$ is finite for every element $a$ of $L$. We mainly aim to provide a complete proof that, if $M$ is a subset of a complete lowly finite distributive lattice $L$ containing its join-irreducible elements, and $a$ an element of $M$ which is not join-irreducible, then $displaystylesu{m}_{binMcap[mathsf0,a]}m{u}_M(b,a)b$ belongs to the submodule $langleawedgeb+aveeb-a-b|a,binLangle$ of $mathbbZL$. That property was originally established by Zaslavsky for finite distributive lattice. It is essential to prove the fundamental theorem of dissection theory as will be seen. We finish with a concrete application of that theorem to face counting for submanifold arrangements.

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Lattice ideals, congruence relations (06B10) Algebraic aspects of posets (06A11) Stratifications in topological manifolds (57N80)

This page was built for publication: A Survey of the Valuation Algebra motivated by a Fundamental Application to Dissection Theory

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