arXiv subjects

Hiroyuki Minamoto

Publications and source records attributed to Hiroyuki Minamoto.

14 recordsLinked to original sources

arXiv2026

Serre duality, Mukai pairing and universal Auslander--Reiten triangle

We study the relationship between Serre duality and the Mukai pairing for smooth and proper dg-algebras. We introduce an alternative definition of the Mukai pairing and prove that it coincides with the Mukai pairings defined by C\u{a}ld\u{a}raru--Willerton and by Shklyarov. Our construction places both the Mukai pairing and Serre duality within a unified framework based on an elementary pairing between Hochschild homology and Hochschild cohomology. As a consequence, the adjointness of the boundary--bulk and bulk--boundary maps follows naturally. As an application, we investigate Auslander--Reiten theory for the perfect derived category of a non-positive smooth and proper dg-algebra. We construct an exact triangle of dg-$A$-$A$-bimodules, called a universal Auslander--Reiten triangle in the sense that the derived tensor product of this triangle with an indecomposable dg-$A$-module $M$ yields an Auslander--Reiten triangle starting from $M$. In particular, this provides a functorial construction of Auslander--Reiten triangles. In the case of path algebras of quivers, our construction recovers the universal Auslander--Reiten triangle associated with quiver Heisenberg algebras.

math.RT↗

arXiv2024

$τ$-tilting theory and silting theory of skew group algebra extensions

Let $Λ$ be a finite dimensional algebra with an action by a finite group $G$ and $A:= Λ*G$ the skew group algebra. One of our main results asserts that the canonical restriction-induction adjoint pair of the skew group algebra extension $Λ\subset A$ induces a poset isomorphism between the poset of $G$-stable support $τ$-tilting modules over $Λ$ and that of $(\!\!\!\mod G)$-stable support $τ$-tilting modules over $A$. We also establish a similar poset isomorphism of posets of appropriate classes of silting complexes over $Λ$ and $A$. These two results generalize and unify preceding results by Huang-Zhang, Breaz-Marcus-Modoi and the second and the third authors. Moreover, we give a practical condition under which $τ$-tilting finiteness and silting discreteness of $Λ$ are inherited to those of $A$. As applications we study $τ$-tilting theory and silting theory of the (generalized) preprojective algebras and the folded mesh algebras. Among other things, we determine the posets of support $τ$-tilting modules and of silting complexes over preprojective algebra $Π(\Bbb{L}_{n})$ of type $\Bbb{L}_{n}$.

math.RT↗

arXiv2024

The Hilbert series of the preprojective algebras

The aim of this short note is to prove the formula of the Hilbert series of the preprojective algebras in arbitrary characteristic by making effective use of the formulas of the Hilbert series of differential graded (dg) algebras with Adams grading. We also compute the Hilbert series of the quiver Heisenberg algebras, a special class of central extensions of preprojective algebras.

math.RA↗

arXiv2024

Quiver Heisenberg algebras: a cubic analogue of preprojective algebras

In this paper we study a certain class of central extensions of preprojective algebras of quivers under the name quiver Heisenberg algebras (QHA). There are several classes of algebras introduced before by different researchers from different view points, which have the QHA as a special case. While these have mainly been studied in characteristic zero, we also study the case of positive characteristic. Our results show that the QHA is closely related to the representation theory of the corresponding path algebra in a similar way to the preprojective algebra. Among other things, one of our main results is that the QHA provides an exact sequence of bimodules over the path algebra of a quiver, which can be called the universal Auslander-Reiten sequence. Moreover, we show that the QHA provides minimal left and right approximations with respect to the powers of the radical functor. Consequently, we obtain a description of the QHA as a module over the path algebra, which in the Dynkin case, gives a categorification (as well as a generalization to the positive characteristic case) of the dimension formula by Etingof-Rains.

math.RT↗

arXiv2023

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.

math.RT↗

arXiv2020

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.

math.RT↗

arXiv2020

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)$.

math.RT↗

arXiv2019

On finitely graded Iwanaga-Gorenstein algebras and the stable categories of their (graded) Cohen-Macaulay modules

We discuss finitely graded Iwanaga-Gorenstein (IG) algebras $A$ and representation theory of their (graded) Cohen-Macaulay (CM) modules. By quasi-Veronese algebra construction, in principle, we may reduce our study to the case where $A$ is a trivial extension algebra $A = Λ\oplus C$ with the grading $ \text{deg} Λ= 0, \ \text{deg} C = 1$. In the previous study, we gave a necessary and sufficient condition that $A$ is IG in terms of $Λ$ and $C$ by using derived tensor products and derived Homs. For simplicity, we assume that $Λ$ is of finite global dimension in the sequel. In this paper, we show that the condition that $A$ is IG, has a triangulated categorical interpretation. We prove that if $A$ is IG, then the graded stable category $\underline{\mathsf{CM}}^{\Bbb{Z}} A$ of CM-modules is realized as an admissible subcategory of the derived category $\mathsf{D}^{\mathrm{b}}(\text{mod } Λ)$. As a corollary, we deduce that the Grothendieck group $K_{0}(\underline{\mathsf{CM}}^{\Bbb{Z}} A)$ is free of finite rank. We give several applications. Among other things, for a path algebra $Λ= \Bbb{k} Q$ of an $A_{2}$ or $A_{3}$ quiver Q, we give a complete list of $Λ$-$Λ$-bimodule $C$ such that $Λ\oplus C$ is IG (resp. of finite global dimension) by using the triangulated categorical interpretation mentioned above.

math.RT↗

arXiv2019

Resolutions and homological dimensions of DG-modules

Recently, Yekutieli introduced projective dimension and injective dimension of DG-modules by generalizing the characterization of projective dimension and injective dimension of ordinary modules by vanishing of Ext-group. In this paper, we introduce DG-version of projective resolution and injective resolution for DG-modules over a connective DG-algebra which are different from known DG-version of projective and injective resolutions. An important feature of these resolutions is that, roughly speaking, the "length" of these resolutions give projective or injective dimensions. We show that these resolutions allows us to investigate basic properties of projective and injective dimensions of DG-modules. As an application we introduce the global dimension of a connective DG-algebra and show that finiteness of global dimension is derived invariant.

math.RA↗

arXiv2019

On commutative differential graded algebras

In this paper we undertake a basic study on connective commutative differential graded algebras (CDGA), more precisely, piecewise Noetherian CDGA, which is a DG-counter part of commutative Noetherian algebra. We establish basic results for example, Auslaner-Buchsbaum formula and Bass formula without any unnecessary assumptions. The key notion is the sup-projective (sppj) and inf-injective (ifij) resolutions introduced by the author, which are DG-versions of the projective and injective resolution for ordinary modules. These are different from DG-projective and DG-injective resolutions which is known DG-version of the projective and injective resolution. In the paper, we show that sppj and ifij resolutions are powerful tools to study DG-modules. Many classical result about the projective and injective resolutions can be generalized to DG-setting by using sppj and ifij resolutions. . Among other things we prove a DG-version of Bass's structure theorem of a minimal injective resolution holds for a minimal ifij resolution and a DG-version of the Bass numbers introduced by the same formula with the classical case. We also prove a structure theorem of a minimal ifij resolution of a dualizing complex $D$, which is completely analogues to the structure theorem of a minimal injective resolution of a dualizing complex over an ordinary commutative algebra. Specializing to results about a dualizing complex, we study a Gorenstein CDGA. We generalize a result by Felix-Halperin-Felix-Thomas and Avramov-Foxby which gives conditions that a CDGA $R$ is Gorenstein in terms of its cohomology algebra $\text{H}(R)$.

math.AC↗

arXiv2017

Homological dimension formulas for trivial extension algebras

Let $A= Λ\oplus C$ be a trivial extension algebra. The aim of this paper is to establish formulas for the projective dimension and the injective dimension for a certain class of $A$-modules which is expressed by using the derived functors $- \otimes^{\mathbb{L}}_ΛC$ and $\mathbb{R}\text{Hom}_Λ(C, -)$. Consequently, we obtain formulas for the global dimension of $A$, which gives a modern expression of the classical formula for the global dimension by Palmer-Roos and Löfwall that is written in complicated classical derived functors. The main application of the formulas is to give a necessary and sufficient condition for $A$ to be an Iwanaga-Gorenstein algebra. We also give a description of the kernel $\text{Ker} \varpi$ of the canonical functor $\varpi: \mathsf{D}^{\mathrm{b}}(\text{mod} Λ) \to \text{Sing}^{\mathbb{Z}} A$ in the case $\text{pd} C < \infty$.

math.RA↗

arXiv2012

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.

math.RA↗

arXiv2012

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.

math.RA↗

arXiv2007

A noncommutative version of Beilinson's Theorem

We prove that the category of representations of the N-Kronecker quiver and that of coherent sheaves on the noncommutative projective scheme of $R=k< X_1,...,X_N >/(\sum^N_{i=1}X_i^2)$ are derived equivalent. This equivalence is easily proved by applying Orlov's Theorem, on the other hand,in our proof,the quadratic relation $\sum_{i=1}^NX_i^2$ naturally arises from Auslander-Reiten Theory.

math.AG↗