arXiv subjects

Hideto Asashiba

Publications and source records attributed to Hideto Asashiba.

At least 19 recordsLinked to original sources

arXiv2026

Complex Matching Distance and Stability for Minimal Projective Resolutions, with Applications to Persistence

We develop a stability theory for minimal projective resolutions of $\mathbf{P}$-modules, where $\mathbf{P}$ is a finite metric poset. We use the Gülen--McCleary distance on $\mathbf{P}$-modules together with a new complex matching distance on bounded complexes of finitely generated projective $\mathbf{P}$-modules. The latter yields an extended metric on homotopy classes of such complexes and restricts to minimal projective resolutions. Our main theorem shows that this induced distance on minimal projective resolutions is bounded above by the Gülen--McCleary distance. As an application, we pass to the interval poset and kernel construction, interpreting persistence diagrams as the homotopy class of minimal projective resolutions of kernel modules. This gives a corresponding stability theorem, which in the one-parameter case recovers classical bottleneck stability and in the multiparameter case addresses existing notions of signed diagrams.

math.RT↗

arXiv2026

Interval Multiplicities of Persistence Modules

For any persistence module $M$ over a finite poset $\mathbf{P}$, and any interval $I$ of $\mathbf{P}$, we give a formula for the multiplicity $d_M(V_I)$ of the interval module $V_I$ in the indecomposable decomposition of $M$ in terms of the ranks of matrices consisting of structure linear maps of $M$. This generalizes the corresponding formula for 1-dimensional persistence modules. As applications, the formula enables us to compute the maximal interval-decomposable direct summand of $M$, to decide whether $M$ is interval-decomposable, and to detect properties determined by prescribed interval summands without decomposing $M$. We also give criteria, in terms of top and socle supports along minimal projective resolutions and injective coresolutions of $M$, restricting the intervals that can occur as direct summands of $M$ and thereby reduce the number of intervals to be computed in practice. Moreover, the formula tells us which morphisms of $\mathbf{P}$ are essential to compute $d_M(V_I)$. This leads to the notion of an order-preserving map $ζ\colon Z \to \mathbf{P}$ essentially covering $I$, for which the multiplicity is preserved under the induced restriction functor $R \colon \operatorname{mod} \mathbf{P} \to \operatorname{mod} Z$. When $Z$ is of Dynkin type $\mathbb{A}$, also known as a zigzag poset, this allows the multiplicity to be computed more efficiently from the filtration level of topological spaces, without computing all structure linear maps of $M$. Finally, we give a formula for $d_M(V_I)$ in terms of a projective (or injective) (co)presentation of $M$. In the 2D-grid case, this is more practical since such resolutions can be computed from the filtration level of topological spaces.

math.RT↗

arXiv2026

Cohen-Montgomery duality for bimodules and singular equivalences of Morita type

Let $G$ be a group and $\Bbbk$ a commutative ring. All categories and functors are assumed to be $\Bbbk$-linear. We define a $G$-invariant bimodule ${}_SM_R$ over $G$-categories $R, S$ and a $G$-graded bimodule ${}_BN_A$ over $G$-graded categories $A, B$, and introduce the orbit bimodule $M/G$ and the smash product bimodule $N\# G$. We will show that these constructions are inverses to each other. This will be applied to Morita equivalences, stable equivalences of Morita type, singular equivalences of Morita type, and singular equivalences of Morita type with level to show that the orbit (resp. smash product) bimodule construction transforms an equivalent pair of $G$-categories (resp. $G$-graded categories) of each type to an equivalent pair of $G$-graded categories (resp. $G$-categories) of the same type.

math.RT↗

arXiv2026

Characterizations of standard derived equivalences of diagrams of dg categories and their gluings

A diagram consisting of differential graded (dg for short) categories and dg functors is formulated in this paper as a colax functor $X$ from a small category $I$ to the 2-category $\mathbf{k}$-dgCat of small dg categories, dg functors and dg natural transformations over a fixed commutative ring $\mathbf{k}$. If $I$ is a group regarded as a category with only one object $*$, then $X$ is nothing but a colax action of the group $I$ on the dg category $X(*)$. In this sense, this $X$ can be regarded as a generalization of a dg category with a colax action of a group. We define a notion of standard derived equivalence between such colax functors by generalizing the corresponding notion between dg categories with a group action. Our first main result gives some characterizations of this notion, one of which is given in terms of generalized versions of a tilting object and a quasi-equivalence. On the other hand, for such a colax functor $X$, the dg categories $X(i)$ with $i$ objects of $I$ can be glued together to have a single dg category $\int_I X$, called the Grothendieck construction of $X$. Our second main result asserts that for such colax functors $X$ and $X'$, the Grothendieck construction $\int_I X'$ is derived equivalent to $\int_I X$ if there exists a standard derived equivalence from $X'$ to $X$. These results generalize the first-named author's results to the dg case, respectively. Even for dg categories with group actions, these results are new. In particular, the second result gives a new tool to show the derived equivalence between the orbit categories of dg categories with group actions, which will be illustrated in some examples.

math.RT↗

arXiv2026

Interval Replacements of Persistence Modules

We define two notions. The first one is a $rank\ compression\ system$ $ξ$ for a finite poset $\mathbf{P}$ that assigns each interval subposet $I$ to an order-preserving map $ξ_I \colon I^ξ \to \mathbf{P}$ satisfying some conditions, where $I^ξ$ is a connected finite poset. An example is given by the $total$ compression system that assigns each $I$ to the inclusion of $I$ into $\mathbf{P}$. The second one is an $I$-$rank$ of a persistence module $M$ under $ξ$, the family of which is called the $interval\ rank\ invariant$ of $M$ under $ξ$. A compression system $ξ$ makes it possible to define the $interval\ replacement$ (also called the interval-decomposable approximation) not only for 2D persistence modules but also for any persistence modules over any finite poset. We will show that the forming of the interval replacement preserves the interval rank invariant, which is a stronger property than the preservation of the usual rank invariant. Moreover, to know what is preserved by the replacement explicitly, we will give a formula of the $I$-rank of $M$ under $ξ$ in terms of the structure linear maps of $M$ for any compression system $ξ$. The formula leads us to a concept of essential cover, which gives us a sufficient condition for the $I$-rank of $M$ under $ξ$ to coincide with that under another compression system $ζ$. This is applied to the case where $ξ= \mathrm{tot}$, the value of $I$-rank under which is equal to the generalized rank invariant introduced by Kim--Mémoli, to give an alternative proof of the Dey--Kim--Mémoli theorem computing the generalized rank invariant by using a zigzag path.

math.RT↗

arXiv2024

Relative Koszul coresolutions and relative Betti numbers

Let $G$ be a finitely generated right $A$-module for a finite-dimensional algebra $A$ over a filed $\Bbbk$, and $\mathcal{I}$ the additive closure of $G$. We will define a $\mathcal{I}$-relative Koszul coresolution $\mathcal{K}^{\bullet}(V)$ of an indecomposable direct summand $V$ of $G$, and show that for a finitely generated $A$-module $M$, the $\mathcal{I}$-relative $i$-th Betti number for $M$ at $V$ is given as the $\Bbbk$-dimension of the $i$-th homology of the $\mathcal{I}$-relative Koszul complex $\mathcal{K}_V(M)_{\bullet}:=\operatorname{Hom}_A(\mathcal{K}^{\bullet}(V),M)$ of $M$ at $V$ for all $i \ge 0$. This is applied to investigate the minimal interval resolution/coresolution of a persistence module $M$, e.g., to check the interval decomposability of $M$, and to compute the interval approximation of $M$.

math.RT↗

arXiv2024

2-categorical approach to unifying constructions of precoverings and its applications

Throughout this paper $G$ is a fixed group, and $k$ is a fixed field. All categories are assumed to be $k$-linear. First we give a systematic way to induce $G$-precoverings by adjoint functors using a 2-categorical machinery, which unifies many similar constructions of $G$-precoverings. Now let $\mathcal{C}$ be a skeletally small category with a $G$-action, $\mathcal{C}/G$ the orbit category of $\mathcal{C}$, $(P, ϕ) : \mathcal{C} \rightarrow \mathcal{C}/G$ the canonical $G$-covering, and $\mathrm{mod}\mbox{-} \mathcal{C}$, $\mathrm{mod}\mbox{-} (\mathcal{C}/G)$ the categories of finitely generated modules over $\mathcal{C}, \mathcal{C}/G$, respectively. Then it is well known that there exists a canonical G-precovering $(P., ϕ.) : \mathrm{mod}\mbox{-} \mathcal{C} \rightarrow \mathrm{mod}\mbox{-} (\mathcal{C}/G)$. By applying the machinery above to this $(P., ϕ.)$, new $G$-precoverings $(\mathrm{mod}\mbox{-} \mathcal{C}) / S \rightarrow (\mathrm{mod}\mbox{-} \mathcal{C}/G)/S'$ are induced between the factor categories or localizations of $\mathrm{mod}\mbox{-} \mathcal{C}$ and $\mathrm{mod}\mbox{-} \mathcal{C}/G$, respectively. This is further applied to the morphism category $\mathrm{H}(\mathrm{mod}\mbox{-} \mathcal{C})$ of $\mathrm{mod}\mbox{-} \mathcal{C}$ to have a $G$-precovering $\mathrm{fp}(\mathcal{K}) \rightarrow \mathrm{fp}(\mathcal{K}')$ between the categories of finitely presented modules over suitable subcategories $\mathcal{K}$ and $\mathcal{K}'$ of $\mathrm{mod}\mbox{-}\mathcal{C}$ and $ \mathrm{mod}\mbox{-} \mathcal{C}/G$, respectively.

math.RT↗

arXiv2023

On Approximation of $2$D Persistence Modules by Interval-decomposables

In this work, we propose a new invariant for $2$D persistence modules called the compressed multiplicity and show that it generalizes the notions of the dimension vector and the rank invariant. In addition, for a $2$D persistence module $M$, we propose an "interval-decomposable replacement" $δ^{\ast}(M)$ (in the split Grothendieck group of the category of persistence modules), which is expressed by a pair of interval-decomposable modules, that is, its positive and negative parts. We show that $M$ is interval-decomposable if and only if $δ^{\ast}(M)$ is equal to $M$ in the split Grothendieck group. Furthermore, even for modules $M$ not necessarily interval-decomposable, $δ^{\ast}(M)$ preserves the dimension vector and the rank invariant of $M$. In addition, we provide an algorithm to compute $δ^{\ast}(M)$ (a high-level algorithm in the general case, and a detailed algorithm for the size $2\times n$ case).

math.RT↗

arXiv2023

Approximation by interval-decomposables and interval resolutions of persistence modules

In topological data analysis, two-parameter persistence can be studied using the representation theory of the 2d commutative grid, the tensor product of two Dynkin quivers of type A. In a previous work, we defined interval approximations using restrictions to essential vertices of intervals together with Mobius inversion. In this work, we consider homological approximations using interval resolutions, and show that the interval resolution global dimension is finite for finite posets and that it is equal to the maximum of the interval dimensions of the Auslander-Reiten translates of the interval representations. In fact, for the latter equality, we obtained a general formula in the setting of finite-dimensional algebras and resolutions relative to a generator-cogenerator. Furthermore, in the commutative ladder case, by a suitable modification of our interval approximation, we provide a formula linking the two conceptions of approximation.

math.RT↗

arXiv2021

On Interval Decomposability of 2D Persistence Modules

In the persistent homology of filtrations, the indecomposable decompositions provide the persistence diagrams. However, in almost all cases of multidimensional persistence, the classification of all indecomposable modules is known to be a wild problem. One direction is to consider the subclass of interval-decomposable persistence modules, which are direct sums of interval representations. We introduce the definition of pre-interval representations, a more natural algebraic definition, and study the relationships between pre-interval, interval, and indecomposable thin representations. We show that over the ``equioriented'' commutative $2$D grid, these concepts are equivalent. Moreover, we provide a criterion for determining whether or not an $n$D persistence module is interval/pre-interval/thin-decomposable without having to explicitly compute decompositions. For $2$D persistence modules, we provide an algorithm together with a worst-case complexity analysis that uses the total number of intervals in an equioriented commutative $2$D grid. We also propose several heuristics to speed up the computation.

math.RT↗

arXiv2020

Simplicial complexes and tilting theory for Brauer tree algebras

We study 2-term tilting complexes of Brauer tree algebras in terms of simplicial complexes. We show the symmetry and convexity of the simplicial complexes as lattice polytopes. Via a geometric interpretation of derived equivalences, we show that the $f$-vector of simplicial complexes of Brauer tree algebras only depends the number of the edges of the Brauer trees and hence it is a derived invariant. In particular, this result implies that the number of 2-term tilting complexes, which is in bijection with support $τ$-tilting modules, is a derived invariant. Moreover, we apply our result to the enumeration problem of Coxeter-biCatalan combinatorics.

math.RT↗

arXiv2018

Matrix Method for Persistence Modules on Commutative Ladders of Finite Type

The theory of persistence modules on the commutative ladders $CL_n(τ)$ provides an extension of persistent homology. However, an efficient algorithm to compute the generalized persistence diagrams is still lacking. In this work, we view a persistence module $M$ on $CL_n(τ)$ as a morphism between zigzag modules, which can be expressed in a block matrix form. For the representation finite case ($n\leq 4)$, we provide an algorithm that uses certain permissible row and column operations to compute a normal form of the block matrix. In this form an indecomposable decomposition of $M$, and thus its persistence diagram, is obtained.

math.RT↗

arXiv2018

Smash products of group weighted bound quivers and Brauer graphs

Let $\Bbbk$ be a field, $G$ a group, and $(Q, I)$ a bound quiver. A map $W\colon Q_1 \to G$ is called a $G$-weight on $Q$, which defines a $G$-graded $\Bbbk$-category $\Bbbk(Q, W)$, and $W$ is called homogeneous if $I$ is a homogeneous ideal of the $G$-graded $\Bbbk$-category $\Bbbk(Q, W)$. Then we have a $G$-graded $\Bbbk$-category $\Bbbk(Q, I, W):= \Bbbk(Q, W)/I$. We can then form a smash product $\Bbbk(Q, I, W)\# G$ of $\Bbbk(Q, I, W)$ and $G$, which canonically defines a Galois covering $\Bbbk(Q, I, W)\# G \to \Bbbk(Q, I)$ with group $G$ (we will see that all such Galois coverings to $\Bbbk(Q, I)$ have this form for some $W$). First we give a quiver presentation $\Bbbk(Q_{G, W}, I_{G, W}) \cong \Bbbk(Q, I, W)\# G$ of the smash product $\Bbbk(Q, I, W)\# G$. Next if $(Q, I, W)$ is defined by a Brauer graph with an admissible weight then the smash product $\Bbbk(Q, I, W)\# G$ is again defined by a Brauer graph, which will be computed explicitly. The computation is simplified by introducing a concept of Brauer permutations as an intermediate one between Brauer graphs and Brauer bound quivers. This extends and simplifies the result by Green--Schroll--Snashall on the computation of coverings of Brauer graphs, which dealt with the case that $G$ is a finite abelian group, while in our case $G$ is an arbitrary group. In particular, it enables us to delete all cycles in Brauer graphs to transform it to an infinite Brauer tree.

math.RT↗

arXiv2017

Decomposition theory of modules: the case of Kronecker algebra

Let $A$ be a finite-dimensional algebra over an algebraically closed field $\Bbbk$. For any finite-dimensional $A$-module $M$ we give a general formula that computes the indecomposable decomposition of $M$ without decomposing it, for which we use the knowledge of AR-quivers that are already computed in many cases. The proof of the formula here is much simpler than that in a prior literature by Dowbor and Mróz. As an example we apply this formula to the Kronecker algebra $A$ and give an explicit formula to compute the indecomposable decomposition of $M$, which enables us to make a computer program.

math.RT↗

arXiv2015

A generalization of Gabriel's Galois covering functors II: 2-categorical Cohen-Montgomery duality

Given a group $G$, we define suitable 2-categorical structures on the class of all small categories with $G$-actions and on the class of all small $G$-graded categories, and prove that 2-categorical extensions of the orbit category construction and of the smash product construction turn out to be 2-equivalences (2-quasi-inverses to each other), which extends the Cohen-Montgomery duality.

math.CT↗

arXiv2012

Gluing derived equivalences together

The Grothendieck construction of a diagram $X$ of categories can be seen as a process to construct a single category $\Gr(X)$ by gluing categories in the diagram together. Here we formulate diagrams of categories as colax functors from a small category $I$ to the 2-category $\kCat$ of small $\k$-categories for a fixed commutative ring $\k$. In our previous paper we defined derived equivalences of those colax functors. Roughly speaking two colax functors $X, X' \colon I \to \kCat$ are derived equivalent if there is a derived equivalence from $X(i)$ to $X'(i)$ for all objects $i$ in $I$ satisfying some "$I$-equivariance" conditions. In this paper we glue the derived equivalences between $X(i)$ and $X'(i)$ together to obtain a derived equivalence between Grothendieck constructions $\Gr(X)$ and $\Gr(X')$, which shows that if colax functors are derived equivalent, then so are their Grothendieck constructions. This generalizes and well formulates the fact that if two $\k$-categories with a $G$-action for a group $G$ are "$G$-equivariantly" derived equivalent, then their orbit categories are derived equivalent. As an easy application we see by a unified proof that if two $\Bbbk$-algebras $A$ and $A'$ are derived equivalent, then so are the path categories $AQ$ and $A'Q$ for any quiver $Q$; so are the incidence categories $AS$ and $A'S$ for any poset $S$; and so are the monoid algebras $AG$ and $A'G$ for any monoid $G$. Also we will give examples of gluing of many smaller derived equivalences together to have a larger derived equivalence.

math.RT↗

arXiv2012

Derived equivalences of actions of a category

Let $\Bbbk$ be a commutative ring and $I$ a category. As a generalization of a $\Bbbk$-category with a (pseudo) action of a group we consider a family of $\Bbbk$-categories with a (pseudo, lax, or oplax) action of $I$, namely an oplax functor from $I$ to the 2-category of small $\Bbbk$-categories. We investigate derived equivalences of those oplax functors, and establish a Morita type theorem for them. This gives a base of investigations of derived equivalences of Grothendieck constructions of those oplax functors.

math.RT↗

arXiv2011

Presentations of Grothendieck constructions

We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.

math.RA↗