-
On preservation of relative resolutions for poset representations
Authors:
Toshitaka Aoki,
Shunsuke Tada
Abstract:
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 pers…
▽ More
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.
△ Less
Submitted 26 June, 2025;
originally announced June 2025.
-
Stability of Bipath Persistence Diagrams
Authors:
Shunsuke Tada
Abstract:
Recently, bipath persistent homology has been proposed as an extension of standard persistent homology, along with its visualization (bipath persistence diagram) and computational methods. In the setting of standard persistent homology, the stability theorem with respect to real-valued functions on a topological space is one of the fundamental results, which gives a mathematical justification for…
▽ More
Recently, bipath persistent homology has been proposed as an extension of standard persistent homology, along with its visualization (bipath persistence diagram) and computational methods. In the setting of standard persistent homology, the stability theorem with respect to real-valued functions on a topological space is one of the fundamental results, which gives a mathematical justification for using persistent homology to noisy data. In proving the stability theorem, the algebraic stability theorem/the isometry theorem for persistence modules plays a central role. In this point of view, the stability property for bipath persistent homology is desired for analyzing data. In this paper, we prove the stability theorem of bipath persistent homology with respect to bipath functions on a topological space. This theorem suggests a stability of bipath persistence diagrams: small changes in a bipath function (except at their ends) result in only small changes in the bipath persistence diagram. Similar to the stability theorem of standard persistent homology, we deduce the stability theorem of bipath persistent homology by using the algebraic stability theorem/the isometry theorem of bipath persistence modules.
△ Less
Submitted 3 March, 2025;
originally announced March 2025.
-
Bipath Persistence
Authors:
Toshitaka Aoki,
Emerson G. Escolar,
Shunsuke Tada
Abstract:
In persistent homology analysis, interval modules play a central role in describing the birth and death of topological features across a filtration. In this work, we extend this setting, and propose the use of bipath persistent homology, which can be used to study the persistence of topological features across a pair of filtrations connected at their ends, to compare the two filtrations. In this s…
▽ More
In persistent homology analysis, interval modules play a central role in describing the birth and death of topological features across a filtration. In this work, we extend this setting, and propose the use of bipath persistent homology, which can be used to study the persistence of topological features across a pair of filtrations connected at their ends, to compare the two filtrations. In this setting, interval-decomposability is guaranteed, and we provide an algorithm for computing persistence diagrams for bipath persistent homology and discuss the interpretation of bipath persistence diagrams.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Summand-injectivity of interval covers and monotonicity of interval resolution global dimensions
Authors:
Toshitaka Aoki,
Emerson G. Escolar,
Shunsuke Tada
Abstract:
Recently, there is growing interest in the use of relative homology algebra to develop invariants using interval covers and interval resolutions (i.e., right minimal approximations and resolutions relative to interval-decomposable modules) for multi-parameter persistence modules. In this paper, the set of all interval modules over a given poset plays a central role. Firstly, we show that the restr…
▽ More
Recently, there is growing interest in the use of relative homology algebra to develop invariants using interval covers and interval resolutions (i.e., right minimal approximations and resolutions relative to interval-decomposable modules) for multi-parameter persistence modules. In this paper, the set of all interval modules over a given poset plays a central role. Firstly, we show that the restriction of interval covers of modules to each indecomposable direct summand is injective. This result suggests a way to simplify the computation of interval covers. Secondly, we show the monotonicity of the interval resolution global dimension, i.e., if $Q$ is a full subposet of $P$, then the interval resolution global dimension of $Q$ is not larger than that of $P$. Finally, we provide a complete classification of posets whose interval resolution global dimension is zero.
△ Less
Submitted 9 November, 2023; v1 submitted 28 August, 2023;
originally announced August 2023.
-
Prime ideals in categories of representations of quivers of type $A$
Authors:
Shunsuke Tada
Abstract:
We study prime tensor ideals in tensor abelian categories of quiver representations. Specifically, we classify the prime tensor ideals in the category of representations of zigzag quivers (with bounded path length) whose vertex set is the set of integers. We show that prime tensor ideals in these categories are in canonical bijection with prime ideals of a Boolean algebra, the power set of integer…
▽ More
We study prime tensor ideals in tensor abelian categories of quiver representations. Specifically, we classify the prime tensor ideals in the category of representations of zigzag quivers (with bounded path length) whose vertex set is the set of integers. We show that prime tensor ideals in these categories are in canonical bijection with prime ideals of a Boolean algebra, the power set of integers.
△ Less
Submitted 1 July, 2022; v1 submitted 18 May, 2022;
originally announced May 2022.
