A Chain- and Diagram-Level Semantics for Morphological Calculus Refinement, monodromy, and bivector orbit decompositions
Abstract
Morphological calculus represents decompositions of geometric objects by polynomial-like expressions in a symbol for the real line, but scalar operations suppress the incidence and attachment maps needed to reconstruct the space. We formulate a finite semantics using script chain complexes. The cell-count polynomial satisfies ℳS(t)=𝒫S,𝕂(t)+(1+t)ℬS,𝕂(t), where 𝒫 is the Poincar'e polynomial and ℬ records boundary ranks. Over ℤ, Smith labels separate unit pairs, representing refinement overhead, from non-unit pairs carrying torsion. We distinguish Cartesian products from bundles, derive the monodromy defect for mapping tori, and replace scalar gluing by a finite bar construction. Mapping cones, joins, and double mapping cylinders arise as reduced models. We apply the construction to bivector discrepancies in Sommen's calculations. In dimension four, Hodge decomposition identifies the unit bivector sphere with S2*S2; the angular excess is a contractible relative complex from inserting the rank-two midpoint. In dimension five, the SO(5)-action on S(Λ2ℝ5)=S9 has principal orbit SO(5)/T2 and singular orbits G̃2(ℝ5) and ℂℙ3. For standard Bruhat cell structures, the reduced double-mapping-cylinder inventory differs from sphere homology by seven unit-labelled pairs. We also treat Borel--Moore realizations of selected noncompact symbols, define division as an action-certified partial operation, and describe the orbit-type face diagram for unit bivectors in dimension six. There the correction polynomial has nonnegative coefficients, while compatibility of the face attachments remains open. These examples separate subdivision and attachment data from quotient actions and support conditions suppressed by scalar notation.
Related
- Connecting Base-Extension Semantics, Beth Semantics, and Ecumenical Logic
- Closure Semantics for Weak Modal Logics: Completeness and Representations
- Formal Bipolar Weighted Semantics for Generalized Argumentation Frameworks
- Higher-Order Quadripolar Argumentation Framework and Encoded Semantics
- A generalised and modular proof-theoretic semantics for sequent systems
BibTeX
@misc{schneider2026chain,
title = {{A Chain- and Diagram-Level Semantics for Morphological Calculus Refinement, monodromy, and bivector orbit decompositions}},
author = {Baruch Schneider and Diana Schneiderová and Yifan Zhang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2608.11325},
eprint = {2608.11325},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.11325},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - A Chain- and Diagram-Level Semantics for Morphological Calculus Refinement, monodromy, and bivector orbit decompositions
AU - Baruch Schneider
AU - Diana Schneiderová
AU - Yifan Zhang
PY - 2026
DA - 2026/09/24
PB - arXiv
DO - 10.48550/arxiv.2608.11325
UR - https://arxiv.org/abs/2608.11325
AB - Morphological calculus represents decompositions of geometric objects by polynomial-like expressions in a symbol for the real line, but scalar operations suppress the incidence and attachment maps needed to reconstruct the space. We formulate a finite semantics using script chain complexes. The cell-count polynomial satisfies ℳ_S(t)=𝒫_S,𝕂(t)+(1+t)ℬ_S,𝕂(t), where 𝒫 is the Poincar'e polynomial and ℬ records boundary ranks. Over ℤ, Smith labels separate unit pairs, representing refinement overhead, from non-unit pairs carrying torsion. We distinguish Cartesian products from bundles, derive the monodromy defect for mapping tori, and replace scalar gluing by a finite bar construction. Mapping cones, joins, and double mapping cylinders arise as reduced models. We apply the construction to bivector discrepancies in Sommen's calculations. In dimension four, Hodge decomposition identifies the unit bivector sphere with S^2*S^2; the angular excess is a contractible relative complex from inserting the rank-two midpoint. In dimension five, the SO(5)-action on S(Λ^2ℝ^5)=S^9 has principal orbit SO(5)/T^2 and singular orbits G̃_2(ℝ^5) and ℂℙ^3. For standard Bruhat cell structures, the reduced double-mapping-cylinder inventory differs from sphere homology by seven unit-labelled pairs. We also treat Borel--Moore realizations of selected noncompact symbols, define division as an action-certified partial operation, and describe the orbit-type face diagram for unit bivectors in dimension six. There the correction polynomial has nonnegative coefficients, while compatibility of the face attachments remains open. These examples separate subdivision and attachment data from quotient actions and support conditions suppressed by scalar notation.
ER -