Searcharxiv⌕ Search

arXiv subjects

Hiroyuki Nakaoka

Publications and source records attributed to Hiroyuki Nakaoka.

At least 19 recordsLinked to original sources
arXiv2026

Extended heart construction (I): The heart of $n$-cotorsion pairs on triangulated categories

The heart of a $t$-structure and the ideal quotient by a cluster tilting subcategory are classical constructions that produce abelian categories from triangulated categories. Their higher analogues, namely $n$-extended hearts and ideal quotient categories by $(n+1)$-cluster tilting subcategories, are generally no longer abelian, but are known to carry both pretriangulated and extriangulated structures when the underlying triangulated category is algebraic. In this article, we introduce the notion of an abelian $n$-truncated category as a common framework for such higher constructions. We extend the heart construction for cotorsion pairs to $n$-cotorsion pairs on arbitrary triangulated categories, and prove that the resulting extended heart naturally carries compatible pretriangulated and extriangulated structures forming an abelian $n$-truncated category. This construction simultaneously generalizes the $n$-extended heart of a $t$-structure and the ideal quotient by an $(n+1)$-cluster tilting subcategory. It may also be regarded as a higher-dimensional generalization of the general heart construction for cotorsion pairs on triangulated categories. Finally, we show that the heart can be realized as an extriangulated localization of a suitable relative extriangulated structure on the ambient triangulated category.

math.CT↗
arXiv2026

Higher exact dg-categories

We introduce the notion of an $n$-exact dg-category. This notion provides a higher analogue of Chen's exact dg-category, in the sense that the case where $n$ equals 1 recovers exact dg-categories. We prove that, under a suitable vanishing condition on the cohomologies of $\mathrm{Hom}$-complexes of an $n$-exact dg-category $\mathscr{A}$, its homotopy category admits a natural $n$-exangulated structure. Thus $n$-exact dg-categories provide dg-enhancements of $n$-exangulated categories. At the same time, our framework can be regarded as a dg-categorical generalization of $n$-exangulated categories applicable even without the vanishing condition. In the latter part of the article, we show that an $n$-cluster tilting subcategory of an exact dg-category naturally carries the structure of an $n$-exact dg-category. This result indicates that $n$-exact dg-structures provide an intrinsic dg-categorical axiomatization of $n$-cluster tilting subcategories, highlighting the advantages of studying dg-generalizations of $n$-exangulated categories.

math.CT↗
arXiv2023

Auslander--Reiten theory in extriangulated categories

The notion of an extriangulated category gives a unification of existing theories in exact or abelian categories and in triangulated categories. In this article, we develop Auslander--Reiten theory for extriangulated categories. This unifies Auslander--Reiten theories developed in exact categories and triangulated categories independently. We give two different sets of sufficient conditions on the extriangulated category so that existence of almost split extensions becomes equivalent to that of an Auslander--Reiten--Serre duality. We also show that existence of almost split extensions is preserved under taking relative extriangulated categories, ideal quotients, and extension-closed subcategories. Moreover, we prove that the stable category $\underline{\mathscr{C}}$ of an extriangulated category $\mathscr{C}$ is a $τ$-category if $\mathscr{C}$ has enough projectives, almost split extensions and source morphisms. This gives various consequences on $\underline{\mathscr{C}}$, including Igusa--Todorov's Radical Layers Theorem, Auslander--Reiten Combinatorics on dimensions of Hom-spaces, and Reconstruction Theorem of the associated completely graded category of $\underline{\mathscr{C}}$ via the complete mesh category of the Auslander--Reiten species of $\underline{\mathscr{C}}$. Finally we prove that any locally finite symmetrizable $τ$-quiver (=valued translation quiver) is an Auslander--Reiten quiver of some extriangulated category with sink morphisms and source morphisms.

math.CT↗
arXiv2023

Hereditary extriangulated categories: Silting objects, mutation, negative extensions

In this article, we initiate the study of hereditary extriangulated categories. Many important categories arising in representation theory in connection with various theories of mutation are hereditary extriangulated. Special cases include homotopy categories of 2-term complexes with projective components, which are related to silting mutation, and cluster categories (with relevant relative extriangulated structures) where cluster tilting mutation take place. We prove that there is a theory of irreducible mutation for maximal rigid objects and subcategories in hereditary extriangulated categories of dominant dimension 1. Applied to the examples above, this recovers 2-term silting mutation in triangulated categories and cluster tilting mutation. By constructing suitable extriangulated categories, we also recover tau-tilting mutation for gentle algebras and flips for their non-kissing facets. Combined with results by Adachi-Tsukamoto and Pauksztello-Zvonareva, our mutation also provides mutation for intermediate co-t-structures. In spirit of our earlier work, we study negative extensions in hereditary extriangulated categories. We give sufficient conditions for the existence of universal balanced negative extensions. We explicitly compute certain, a priori non-universal, versions of negative extensions in hereditary categories constructed from triangulated categories with rigid subcategories. We discuss examples where these two constructions give the same delta-functors and where they disagree.

math.RT↗
arXiv2021

Localization of extriangulated categories

In this article, we show that the localization of an extriangulated category by a multiplicative system satisfying mild assumptions can be equipped with a natural, universal structure of an extriangulated category. This construction unifies the Serre quotient of abelian categories and the Verdier quotient of triangulated categories. Indeed we give such a construction for a bit wider class of morphisms, so that it covers several other localizations appeared in the literature, such as Rump's localization of exact categories by biresolving subcategories, localizations of extriangulated categories by means of Hovey twin cotorsion pairs, and the localization of exact categories by two-sided admissibly percolating subcategories.

math.CT↗
arXiv2021

Positive and negative extensions in extriangulated categories

We initiate the study of derived functors in the setting of extriangulated categories. By using coends, we adapt Yoneda's theory of higher extensions to this framework. We show that, when there are enough projectives or enough injectives, thus defined extensions agree with the ones defined earlier via projective or injective resolutions. For categories with enough projective or enough injective morphisms, we prove that these are right derived functors of the $\operatorname{Hom}$-bifunctor in either argument. Since $\operatorname{Hom}$ is only half-exact in each argument, it is natural to expect "negative extensions", i.e. its left derived functors, to exist and not necessarily vanish. We define negative extensions with respect to the first and to the second argument and show that they give rise to universal $δ$-functors, when there are enough projective or injective morphisms, respectively. In general, they are not balanced. However, for topological extriangulated categories, the existence of a balanced version of negative extensions follows from combining the work of Klemenc on exact $\infty$-categories with results of the second and third authors. We discuss various criteria under which one has the balance of the above bifunctors on the functorial or on the numerical levels. This happens, in particular, in the cases of exact or triangulated categories, and also in the case of the category of $n$-term complexes with projective components over a finite-dimensional algebra. Given a connected sequence of functors on an extriangulated category $(\mathcal{C},\mathbb{E},\mathfrak{s})$, we determine the maximal relative extriangulated structure, with respect to which the sequence is a $δ$-functor. We also find several equivalent criteria for the existence of enough projective or injective morphisms in a given extriangulated category.

math.CT↗
arXiv2018

$n$-exangulated categories

For each positive integer $n$ we introduce the notion of $n$-exangulated categories as higher dimensional analogues of extriangulated categories defined by Nakaoka-Palu. We characterize which $n$-exangulated categories are $n$-exact in the sense of Jasso and which are $(n+2)$-angulated in the sense of Geiss-Keller-Oppermann. For extriangulated categories with enough projectives and injectives we introduce the notion of $n$-cluster tilting subcategories and show that under certain conditions such $n$-cluster tilting subcategories are $n$-exangulated.

math.CT↗
arXiv2018

Finite gentle repetitions of gentle algebras and their Avella-Alaminos--Geiss invariants

Among finite dimensional algebras over a field $K$, the class of gentle algebras is known to be closed by derived equivalences. Although a classification up to derived equivalences is usually a difficult problem, Avella-Alaminos and Geiss have introduced derived invariants for gentle algebras $A$, which can be calculated combinatorially from their bound quivers, applicable to such classification. Ladkani has given a formula to describe the dimensions of the Hochschild cohomologies of $A$ in terms of some values of its Avella-Alaminos--Geiss invariants. This in turn implies a cohomological meaning of these values. Since most of the other values do not appear in this formula, it will be a natural question to ask if there is a similar cohomological meaning for such values. In this article, we construct a sequence of gentle algebras $A^{(k)}$ indexed by positive integers by a procedure which we call finite gentle repetitions, in order to relate these values of Avella-Alaminos--Geiss invariants of $A$ to the dimensions of Hochschild cohomologies of $A^{(k)}$. On the way we will see that the Avella-Alaminos--Geiss invariants of $A^{(k)}$ are completely determined by those of $A$. Therefore one may expect that the finite gentle repetitions would preserve derived equivalences in a nice situation. In the latter part of this article, we deal with this problem under some assumptions.

math.RA↗
arXiv2017

Mutation via Hovey twin cotorsion pairs and model structures in extriangulated categories

We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated categories are examples of extriangulated categories. We give a bijective correspondence between some pairs of cotorsion pairs which we call Hovey twin cotorsion pairs, and admissible model structures. As a consequence, these model structures relate certain localizations with certain ideal quotients, via the homotopy category which can be given a triangulated structure. This gives a natural framework to formulate reduction and mutation of cotorsion pairs, applicable to both exact categories and triangulated categories. These results can be thought of as arguments towards the view that extriangulated categories are a convenient setup for writing down proofs which apply to both exact categories and (extension-closed subcategories of) triangulated categories.

math.CT↗
arXiv2017

A simultaneous generalization of mutation and recollement on a triangulated category

In this article, we introduce the notion of {\it concentric twin cotorsion pair} on a triangulated category. This notion contains the notions of $t$-structure, cluster tilting subcategory, co-$t$-structure and functorally finite rigid subcategory as examples. Moreover, a recollement of triangulated categories can be regarded as a special case of concentric twin cotorsion pair. To any concentric twin cotorsion pair, we associate a pretriangulated subquotient category. This enables us to give a simultaneous generalization of the Iyama-Yoshino reduction and the recollement of cotorsion pairs. This allows us to give a generalized mutation on a set of cotorsion pairs defined by the concentric twin cotorsion pair.

math.CT↗
arXiv2017

Hearts of twin Cotorsion pairs on extriangulated categories

In this article, we study the heart of a cotorsion pairs on an exact category and a triangulated category in a unified meathod, by means of the notion of an extriangulated category. We prove that the heart is abelian, and construct a cohomological functor to the heart. If the extriangulated category has enough projectives, this functor gives an equivalence between the heart and the category of coherent functors over the coheart modulo projectives. We also show how an n-cluster tilting subcategory of an extriangulated category gives rise to a family of cotorsion pairs with equivalent hearts.

math.CT↗
arXiv2016

Biset functors as module Mackey functors, and its relation to derivators

In this article, we will show that the category of biset functors can be regarded as a reflective monoidal subcategory of the category of Mackey functors on the 2-category of finite groupoids. This reflective subcategory is equivalent to the category of modules over the Burnside functor. As a consequence of the reflectivity, we can associate a biset functor to any derivator on the 2-category of finite categories.

math.CT↗
arXiv2015

A Mackey-functor theoretic interpretation of biset functors

In this article, we consider a formulation of biset functors using the 2-category of finite sets with variable finite group actions. We introduce a 2-category $\mathbb{S}$, on which a biset functor can be regarded as a special kind of Mackey functors. This gives an analog of Dress' definition of a Mackey functor, in the context of biset functors.

math.CT↗
arXiv2015

Partial Tambara structure on the Burnside biset functor, induced from a derivator-like system of adjoint triplets

In the previous article 'A Mackey-functor theoretic interpretation of biset functors', we have constructed the 2-category $\mathbb{S}$ of finite sets with variable finite group actions, in which bicoproducts and bipullbacks exist. As shown in it, biset functors can be regarded as a special class of Mackey functors on $\mathbb{S}$. In this article, we equip $\mathbb{S}$ with a system of adjoint triplets, which satisfies properties analogous to a derivator. This system encodes the six operations for finite groups. As a corollary, we show that the associated Burnside rings satify analogous properties to a Tambara functor, in the context of biset functor theory.

math.CT↗
arXiv2013

Biset transformations of Tambara functors

If we are given an $H$-$G$-biset $U$ for finite groups $G$ and $H$, then any Mackey functor on $G$ can be transformed by $U$ into a Mackey functor on $H$. In this article, we show that the biset transformation is also applicable to Tambara functors when $U$ is right-free, and in fact forms a functor between the category of Tambara functors on $G$ and $H$. This biset transformation functor is compatible with some algebraic operations on Tambara functors, such as ideal quotients or fractions. In the latter part, we also construct the left adjoint of the biset transformation.

math.CT↗