BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Kiyoshi Igusa

Kiyoshi Igusa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.RTmath.KTmath.ATmath.COmath.RAhep-thmath.GRmath.GT

Catalog footprint

What is connected

28works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

28 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.

0 citations0 reviewsNo code linkedOpen access
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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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].

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Combinatorics of exceptional sequences in type A

Exceptional sequences are certain ordered sequences of quiver representations. We introduce a class of objects called strand diagrams and use this model to classify exceptional sequences of representations of a quiver whose underlying graph is a type $A_n$ Dynkin diagram. We also use variations of this model to classify c-matrices of such quivers, to interpret exceptional sequences as linear extensions of posets, and to give a simple bijection between exceptional sequences and certain chains in the lattice of noncrossing partitions. This work extends a classification of exceptional sequences for the linearly-ordered quiver obtained in an earlier paper by the first and third authors.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Picture groups of finite type and cohomology in type $A_n$

For every quiver (valued) of finite representation type we define a finitely presented group called a picture group. This group is very closely related to the cluster theory of the quiver. For example, positive expressions for the Coxeter element in the group are in bijection with maximal green sequences [IT17]. The picture group is derived from the semi-invariant picture for the quiver. We use this picture to construct a finite CW complex which (by [IT16]) is a $K(π,1)$ for this group. The cells are in bijection with cluster tilting objects. For example, in type $A_n$ there are a Catalan number of cells. The main result of this paper is the computation of the cohomology ring of all picture groups of type $A_n$ with any orientation and any coefficient ring.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The formula for the permutation of mutation sequences in $A_n$ straight orientation

In this paper we state and prove a formula for the permutations associated to reddening and loop sequences in $A_n$ straight orientation using the picture group. In particular this applies to maximal green sequences in $A_n$ straight orientation. Furthermore we extend the definition and formula of the associated permutation to arbitrary mutation sequences based on our results. We introduce the concept of standard matrices which gives a canonical order on indecomposable components of cluster-tilting objects. Preservation of standardness of C-matrices by a combination of a mutation and its associated permutation gives the formula.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Modulated semi-invariants

We prove the basic properties of determinantal semi-invariants for presentation spaces over any finite dimensional hereditary algebra over any field. These include the virtual generic decomposition theorem, stability theorem and the c-vector theorem which says that the c-vectors of a cluster tilting object are, up to sign, the determinantal weights of the determinantal semi-invariants defined on the cluster tilting objects. Applications of these theorems are given in several concurrently written papers.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Semi-invariant pictures and two conjectures on maximal green sequences

We use semi-invariant pictures to prove two conjectures about maximal green sequences. First: if $Q$ is any acyclic valued quiver with an arrow $j\to i$ of infinite type then any maximal green sequence for $Q$ must mutate at $i$ before mutating at $j$. Second: for any quiver $Q'$ obtained by mutating an acyclic valued quiver $Q$ of tame type, there are only finitely many maximal green sequences for $Q'$. Both statements follow from the Rotation Lemma for reddening sequences and this in turn follows from the Mutation Formula for the semi-invariant picture for $Q$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Periodic trees and semi-invariants

Periodic trees are combinatorial structures which are in bijection with cluster tilting objects in cluster categories of affine type $\tilde{A}_{n-1}$. The internal edges of the tree encode the $c$-vectors corresponding to the cluster tilting object, as well as the weights of the virtual semi-invariants associated to the cluster tilting object. We also show a direct relationship between the position of the edges of the tree and whether the corresponding summands of the cluster tilting object are preprojective, preinjective or regular.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Mixed cobinary trees

We develop basic cluster theory from an elementary point of view using a variation of binary trees which we call mixed cobinary trees. We show that the number of isomorphism classes of such trees is given by the Catalan number Cn where n is the number of internal nodes. We also consider the corresponding quiver Q_ε of type An-1. As a special case of more general known results about the relation between c-vectors, representations of quivers and their semi-invariants, we explain the bijection between mixed cobinary trees and the vertices of the generalized associahedron corresponding to the quiver Q_ε.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Cluster Complexes via Semi-Invariants

We define and study virtual representation spaces having both positive and negative dimensions at the vertices of a quiver without oriented cycles. We consider the natural semi-invariants on these spaces which we call virtual semi-invariants and prove that they satisfy the three basic theorems: the First Fundamental Theorem, the Saturation Theorem and the Canonical Decomposition Theorem. In the special case of Dynkin quivers with n vertices this gives the fundamental interrelationship between supports of the semi-invariants and the Tilting Triangulation of the (n-1)-sphere.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Axioms for higher torsion invariants of smooth bundles

We explain the relationship between various characteristic classes for smooth manifold bundles known as ``higher torsion'' classes. We isolate two fundamental properties that these cohomology classes may or may not have: additivity and transfer. We show that higher Franz-Reidemeister torsion and higher Miller-Morita-Mumford classes satisfy these axioms. Conversely, any characteristic class of smooth bundles satisfying the two axioms must be a linear combination of these two examples. We also show how higher torsion invariants can be computed using only the axioms. Finally, we explain the conjectured formula of S. Goette relating higher analytic torsion classes and higher Franz-Reidemeister torsion.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Combinatorial Miller-Morita-Mumford classes and Witten cycles

We obtain a combinatorial formula for the Miller-Morita-Mumford classes for the mapping class group of punctured surfaces and prove Witten's conjecture that they are proportional to the dual to the Witten cycles. The proportionality constant is shown to be exactly as conjectured by Arbarello and Cornalba [J. Alg. Geom. 5 (1996) 705-749]. We also verify their conjectured formula for the leading coefficient of the polynomial expressing the Kontsevich cycles in terms of the Miller-Morita-Mumford classes.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Increasing trees and Kontsevich cycles

It is known that the combinatorial classes in the cohomology of the mapping class group of punctures surfaces defined by Witten and Kontsevich are polynomials in the adjusted Miller-Morita-Mumford classes. The leading coefficient was computed in [Kiyoshi Igusa: Algebr. Geom. Topol. 4 (2004) 473-520]. The next coefficient was computed in [Kiyoshi Igusa: math.AT/0303157, to appear in Topology]. The present paper gives a recursive formula for all of the coefficients. The main combinatorial tool is a generating function for a new statistic on the set of increasing trees on 2n+1 vertices. As we already explained in the last paper cited this verifies all of the formulas conjectured by Arbarello and Cornalba [J. Alg. Geom. 5 (1996) 705--749]. Mondello [math.AT/0303207, to appear in IMRN] has obtained similar results using different methods.

0 citations0 reviewsNo code linkedOpen access