Source author record

Hiroyuki Minamoto

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA math.RT math.AC math.AG math.CT

Catalog footprint

Research overview

5works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Tilting theory for finite dimensional $1$ -Iwanaga-Gorenstein algebras

In representation theory of graded Iwanaga-Gorenstein algebras, tilting theory of the stable category $\underline{\mathsf{CM}}^{\mathbb{Z}} A$ of graded Cohen-Macaulay modules plays a prominent role. In this paper we study the following two central problems of tilting theory of $\underline{\mathsf{CM}}^{\mathbb{Z}} A$ in the case where $A$ is finite dimensional: (1) Does $\underline{\mathsf{CM}}^{\mathbb{Z}} A$ have a tilting object? (2) Does the endomorphism algebras of tilting objects in $\underline{\mathsf{CM}}^{\mathbb{Z}} A$ have finite global dimension? To the problem (2) we give the complete answer. We show that the endomorphism algebra of any tilting object in $\underline{\mathsf{CM}}^{\mathbb{Z}}A$ has finite global dimension. To the problem (1) we give a partial answer. For this purpose, first we introduce an invariant $g(A)$ for a finite dimensional graded algebra $A$ . Then, we prove that in the case where $A$ is 1-Iwanaga-Gorenstein, an inequality for $g(A)$ gives a sufficient condition that a specific Cohen-Macaulay module $V$ becomes a tilting object in the stable category. As an application, we study the existence of tilting objects in $\underline{\mathsf{CM}}^{\mathbb{Z}}Π(Q)_w$ where $Π(Q)_w$ is the truncated preprojective algebra of a quiver $Q$ associated to $w\in W_Q$ . We prove that if the underling graph of $Q$ is tree, then $\underline{\mathsf{CM}}^{\mathbb{Z}}Π(Q)_w$ has a tilting object.

preprint2020arXiv

Happel's functor and homologically well-graded Iwanaga-Gorenstein algebras

Happel constructed a fully faithful functor $\mathcal{H} :\mathsf{D}^{\mathrm{b}}(\text{mod} \ Λ) \to \underline{\text{mod}}^{\Bbb{Z}} \ \text{T}(Λ)$ for a finite dimensional algebra $Λ$ . He also showed that this functor $\mathcal{H}$ gives an equivalence precisely when $\text{gldim } Λ< \infty$ . Thus if $\mathcal{H}$ gives an equivalence, then it provides a canonical tilting object $\mathcal{H} (Λ)$ of $\underline{\text{mod}}^{\mathbb{Z}} \ \text{T}(Λ)$ . In this paper we generalize Happel's functor $\mathcal{H}$ in the case where $\text{T}(Λ)$ is replaced with a finitely graded IG algebra $A$ . We study when this functor is fully faithful or gives an equivalence. For this purpose we introduce the notion of homologically well-graded (hwg) IG-algebra, which can be characterized as an algebra posses a homological symmetry which, a posteriori, guarantee that the algebra is IG. We prove that hwg IG-algebras is precisely the class of finitely graded IG-algebras that Happel's functor is fully faithful. We also identify the class that Happel's functor gives an equivalence. As a consequence of our result, we see that if $\mathcal{H}$ gives an equivalence, then it provides a canonical tilting object $\mathcal{H}(T)$ of $\underline{\text{CM}}^{\Bbb{Z}} A$ . For some special classes of finitely graded IG algebras, our tilting objects $\mathcal{H}(T)$ coincide with tilting object constructed in previous works.

preprint2020arXiv

Representation theory of Geigle-Lenzing complete intersections

Weighted projective lines, introduced by Geigle and Lenzing in 1987, are important objects in representation theory. They have tilting bundles, whose endomorphism algebras are the canonical algebras introduced by Ringel. The aim of this paper is to study their higher dimensional analogs. First, we introduce a certain class of commutative Gorenstein rings $R$ graded by abelian groups $L$ of rank $1$ , which we call Geigle-Lenzing complete intersections. We study the stable category of Cohen-Macaulay representations $CM^LR$ , which coincides with the singularity category $D_{sg}^L(R)$ . We show that the stable category of $CM^LR$ is triangle equivalent to $D^b(mod A^{CM})$ for a finite dimensional algebra $A^{CM}$ , which we call the CM-canonical algebra. As an application, we classify the $(R,L)$ that are Cohen-Macaulay finite. We also give sufficient conditions for $(R,L)$ to be $d$ -Cohen-Macaulay finite in the sense of higher Auslander-Reiten theory. Secondly, we study a new class of non-commutative projective schemes in the sense of Artin-Zhang, i.e. the category $coh X=mod^LR/mod^L_0R$ of coherent sheaves on the Geigle-Lenzing projective space $X$ . Geometrically this is the quotient stack $[(Spec R-{R_+})/Spec k[L]]$ . We show that $D^b(coh X)$ is triangle equivalent to $D^b(mod A^{ca})$ for a finite dimensional algebra $A^{ca}$ , which we call a $d$ -canonical algebra. We study when $X$ is $d$ -vector bundle finite, and when $X$ is derived equivalent to a $d$ -representation infinite algebra in the sense of higher Auslander-Reiten theory. Our $d$ -canonical algebras provide a rich source of $d$ -Fano and $d$ -anti-Fano algebras in non-commutative algebraic geometry. We also observe Orlov-type semiorthogonal decompositions of $D_{sg}^L(R)$ and $D^b(coh X)$ .

preprint2012arXiv

A criterion of graded coherentness of tensor algebras and its application to higher dimensional Auslander-Reiten theory

Even if a ring A is coherent, the polynomial ring A[X] in one variable could fail to be coherent. In this note we show that A[X] is graded coherent with the standard grading deg X=1. More generally, we give a criterion of graded coherentness of the tensor algebra T_{A}(M) of a certain class of bi-module M. As an application of the criterion, we show that there is a relationship between higher dimensional Auslander-Reiten theory and graded coherentness of higher preprojective algebras.

preprint2012arXiv

Derived bi-duality via homotopy limit

We show that a derived bi-duality dg-module is quasi-isomorphic to the homotopy limit of a certain tautological functor. This is a simple observation, which seems to be true in wider context. From the view point of derived Gabriel topology, this is a derived version of results of J. Lambek about localization and completion of ordinary rings. However the important point is that we can obtain a simple formula for the bi-duality modules only when we come to the derived world from the abelian world. We give applications. 1. we give a generalization and an intuitive proof of Efimov-Dwyer-Greenlees-Iyenger Theorem which asserts that the completion of commutative ring satisfying some conditions is obtained as a derived bi-commutator. (We can also prove Koszul duality for dg-algebras with Adams grading satisfying mild conditions.) 2. We prove that every smashing localization of dg-category is obtained as a derived bi-commutator of some pure injective module. This is a derived version of the classical results in localization theory of ordinary rings. These applications shows that our formula together with the viewpoint that a derived bi-commutator is a completion in some sense, provide us a fundamental understanding of a derived bi-duality module.

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.

Hiroyuki Minamoto

Research overview

Is this your work?

5 publications

Tilting theory for finite dimensional $1$ -Iwanaga-Gorenstein algebras

Happel's functor and homologically well-graded Iwanaga-Gorenstein algebras

Representation theory of Geigle-Lenzing complete intersections

A criterion of graded coherentness of tensor algebras and its application to higher dimensional Auslander-Reiten theory

Derived bi-duality via homotopy limit

See the researcher in context

Building this map preview

Hiroyuki Minamoto

Research overview

Is this your work?

5 publications

Tilting theory for finite dimensional 111-Iwanaga-Gorenstein algebras

Happel's functor and homologically well-graded Iwanaga-Gorenstein algebras

Representation theory of Geigle-Lenzing complete intersections

A criterion of graded coherentness of tensor algebras and its application to higher dimensional Auslander-Reiten theory

Derived bi-duality via homotopy limit

See the researcher in context

Building this map preview

Tilting theory for finite dimensional $1$ -Iwanaga-Gorenstein algebras