2025/06/26 by Toshitaka Aoki, Aoki, Toshitaka, Shunsuke Tada +1 · 1 citation
Computer Science · #16E10 #16G20 #18G25 #55N31 #Algebraic Topology (math.AT) #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Mathematics #Representation Theory (math.RT)
paper · pdf · doi:10.48550/arxiv.2506.21227
openalex publication_date 2025/06/26 · openalex created_date 2025/10/15 · openalex updated_date 2026/07/28
The concept of Galois connections (i.e., adjoint pairs between posets) is ubiquitous in mathematics. In representation theory, it is interesting because it naturally induces the adjoint quadruple between the categories of persistence modules (representations) of the posets via Kan extensions. One of central subjects in multiparameter persistent homology analysis is to understand structures of persistence modules. In this paper, we mainly study a class of Galois connections whose left adjoint is the canonical inclusion of a full subposet. We refer to such a subposet as an interior system, with its corresponding right adjoint given by the floor function. In the induced adjoint quadruple, we call the left Kan extension along its floor function the contraction functor. From its construction, it is left adjoint to the induction functor. Under this setting, we firstly prove that this adjoint pair gives an adjoint pair between finitely presentable persistence modules. Moreover, we introduce a special class of interior systems called aligned interior systems, and prove that both induction and contraction functors over them preserve interval-decomposability of modules. Then, we use them to analyze interval covers and resolutions. We also compute interval resolution global dimensions for certain classes of finite posets.