Researcher profile

Kiyoshi Igusa

Kiyoshi Igusa contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2022arXiv

A counterexample to the $ϕ$-dimension conjecture

In 2005, the second author and Todorov introduced an upper bound on the finitistic dimension of an Artin algebra, now known as the ϕ-dimension. The ϕ-dimension conjecture states that this upper bound is always finite, a fact that would imply the finitistic dimension conjecture. In this paper, we present a counterexample to the ϕ-dimension conjecture and explain where it comes from. We also discuss implications for further research and the finitistic dimension conjecture.

preprint2022arXiv

Which cluster morphism categories are CAT(0)

The cluster morphism category of an hereditary algebra was introduced in [5] to show that the picture space of an hereditary algebra of finite representation type is a $K(π,1)$ for the associated picture group, thereby allowing for the computation of the homology of picture groups of finite type as carried out in [7] for the case of $A_n$. In this paper we show that the cluster morphism category is a $CAT(0)$-category for hereditary algebras of finite or tame type with only small tubes. As a consequence, we get that the classifying space of the cluster morphism category is a locally $CAT(0)$ space and, as a consequence of that, we get that this classifying space is a $K(π,1)$.

preprint2022arXiv

τ-Cluster Morphism Categories and Picture Groups

$τ$-cluster morphism categories, introduced by Buan and Marsh, are a generalization of cluster morphism categories (defined by Igusa and Todorov). We show the classifying space of such a category is a cube complex, generalizing results of Igusa and Todorov and Igusa. Furthermore, the fundamental group of this space is the picture group of the algebra, first defined by Igusa, Todorov, and Weyman. Finally, we show that for Nakayama algebras, this space is a $K(π,1)$. The key step is a combinatorial proof that, for Nakayama algebras, 2-simple minded collections are characterized by pairwise compatibility conditions, a fact not true in general.

preprint2020arXiv

Continuously triangulating the continuous cluster category

In [4], the continuous cluster category was introduced. This is a topological category whose space of isomorphism classes of indecomposable objects forms a Moebius band. It was found in [4] that, in order to have a continuously triangulated structure on this category, one needs at least two copies of each indecomposable object forming a 2-fold covering space of the Moebius band. This paper classifies all continuous triangulations of finite coverings of the basic continuous cluster category. This includes the connected 2-fold covering of Igusa-Todorov [4], the disconnected 2-fold covering of Orlov [6] and a third unexpected continuously add-triangulated 2-fold covering of the Moebius strip category.

preprint2020arXiv

Resolution quiver and cyclic homology criteria for Nakayama algebras

If a Nakayama algebra is not cyclic, it has finite global dimension. For a cyclic Nakayama algebra, there are many characterizations of when it has finite global dimension. In [She17], Shen gave such a characterization using Ringel's resolution quiver. In [IZ92], the second author, with Zacharia, gave a cyclic homology characterization for when a monomial relation algebra has finite global dimension. We show directly that these criteria are equivalent for all Nakayama algebras. Our comparison result also reproves both characterizations. In a separate paper we discuss an interesting example that came up in our attempt to generalize this comparison result to arbitrary monomial relation algebras [HI19].

preprint2013arXiv

Cluster categories coming from cyclic posets

Cyclic poset are generalizations of cyclically ordered sets. In this paper we show that any cyclic poset gives rise to a Frobenius category over any discrete valuation ring R. The continuous cluster categories of arXiv:1209.1879 are examples of this construction. If we twist the construction using an admissible automorphism of the cyclic poset, we generate other examples such as the m-cluster category of type A-infinity (m>2).

preprint2013arXiv

Continuous cluster categories of type D

We construct continuous Frobenius categories of type $D$. The stable categories of these Frobenius categories are cluster categories which contain the standard cluster categories of type $D_n$. When $n=\infty$, maximal compatible sets of indecomposable objects are laminations of the punctured disk. Discrete laminations are clusters. This new construction is topological and it also gives an algebraic interpretation of the "tagged arcs" which occur in Schiffler's geometric description of clusters of type $D_n$.

preprint2013arXiv

Continuous Frobenius categories

We introduce continuous Frobenius categories. These are topological categories which are constructed using representations of the circle over a discrete valuation ring. We show that they are Krull-Schmidt with one indecomposable object for each pair of (not necessarily distinct) points on the circle. By putting restrictions on these points we obtain various Frobenius subcategories. The main purpose of constructing these Frobenius categories is to give a precise and elementary description of the triangulated structure of their stable categories. We show in arXiv:1209.1879 for which parameters these stable categories have cluster structure in the sense of [1] and we call these continuous cluster categories.

preprint2013arXiv

The first Hochschild cohomology group of a cluster-tilted algebra revisited

Given a cluster-tilted algebra B we study its first Hochschild cohomology group HH1(B) with coefficients in the B-B-bimodule B. If C is a tilted algebra such that B is the relation extension of C by E= Ext2(DC,C), then we prove that HH1(B) is isomorphic, as a vector space, to the direct sum of HH1(C) with HH1(B,E). This yields homological interpretations for results of the first and the fourth author with M.J. Redondo.

preprint2012arXiv

Continuous cluster categories I

In arXiv:1209.0038 we constructed topological triangulated categories C_c as stable categories of certain topological Frobenius categories F_c. In this paper we show that these categories have a cluster structure for certain values of c including c=pi. The continuous cluster categories are those C_c which have cluster structure. We study the basic structure of these cluster categories and we show that C_c is isomorphic to an orbit category D_r/F_s of the continuous derived category D_r if c=r pi/s. In C_pi, a cluster is equivalent to a discrete lamination of the hyperbolic plane. We give the representation theoretic interpretation of these clusters and laminations.

preprint2012arXiv

Exotic smooth structures on topological fibre bundles I

When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic, the difference is measured by a homology class in the total space of the bundle. We call this the relative smooth structure class. Rationally and stably, this is a complete invariant. We give a more or less complete and self-contained exposition of this theory which is a reformulation of some of the results of [7]. An important application is the computation of the Igusa-Klein higher Reidemeister torsion invariants of these exotic smooth structures. Namely, the higher torsion invariant is equal to the Poincaré dual of the image of the smooth structure class in the homology of the base. This is proved in the companion paper [11] written by the first two authors.

preprint2012arXiv

Exotic smooth structures on topological fibre bundles II

We use a variation of a classical construction of A. Hatcher to construct virtually all stable exotic smooth structures on compact smooth manifold bundles whose fibers have sufficiently large odd dimension (at least twice the base dimension plus 3). Using a variation of the Dwyer-Weiss-Williams smoothing theory which we explain in a separate joint paper with Bruce Williams [11], we associate a homology class in the total space of the bundle to each exotic smooth structure and we show that the image of this class in the homology of the base is the Poincaré dual of the relative higher Igusa-Klein (IK) torsion invariant. This answers the question, in the relative case, of which cohomology classes can occur as relative higher torsion classes.

preprint2011arXiv

Twisting cochains and higher torsion

This paper gives a short summary of the central role played by Ed Brown's "twisting cochains" in higher Franz-Reidemeister (FR) torsion and higher analytic torsion. Briefly, any fiber bundle gives a twisting cochain which is unique up to fiberwise homotopy equivalence. However, when they are based, the difference between two of them is a higher algebraic K-theory class measured by higher FR torsion. Flat superconnections are also equivalent to twisting cochains.