BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Osamu Iyama

Osamu Iyama contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RTmath.RAmath.ACmath.AGmath.COmath.CT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
6topics
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

8 published item(s)

preprint2021arXiv

Distributive lattices and Auslander regular algebras

Let $L$ denote a finite lattice with at least two points and let $A$ denote the incidence algebra of $L$. We prove that $L$ is distributive if and only if $A$ is an Auslander regular ring, which gives a homological characterisation of distributive lattices. In this case, $A$ has an explicit minimal injective coresolution, whose $i$-th term is given by the elements of $L$ covered by precisely $i$ elements. We give a combinatorial formula of the Bass numbers of $A$. We apply our results to show that the order dimension of a distributive lattice $L$ coincides with the global dimension of the incidence algebra of $L$. Also we categorify the rowmotion bijection for distributive lattices using higher Auslander-Reiten translates of the simple modules.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Classifying $τ$-tilting modules over the Auslander algebra of $K[x]/(x^n)$

We build a bijection between the set $\sttiltΛ$ of isomorphism classes of basic support $τ$-tilting modules over the Auslander algebra $Λ$ of $K[x]/(x^n)$ and the symmetric group $\mathfrak{S}_{n+1}$, which is an anti-isomorphism of partially ordered sets with respect to the generation order on $\sttiltΛ$ and the left order on $\mathfrak{S}_{n+1}$. This restricts to the bijection between the set $\tiltΛ$ of isomorphism classes of basic tilting $Λ$-modules and the symmetric group $\mathfrak{S}_n$ due to Brüstle, Hille, Ringel and Röhrle. Regarding the preprojective algebra $Γ$ of Dynkin type $A_n$ as a factor algebra of $Λ$, we show that the tensor functor $-\otimes_ΛΓ$ induces a bijection between $\sttiltΛ\to\sttiltΓ$. This recover Mizuno's bijection $\mathfrak{S}_{n+1}\to\sttiltΓ$ for type $A_n$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

d-Representation-finite self-injective algebras

In this paper, we initiate the study of higher-dimensional Auslander-Reiten theory of self-injective algebras. We give a systematic construction of (weakly) $d$-representation-finite self-injective algebras as orbit algebras of the repetitive categories of algebras of finite global dimension satisfying a certain finiteness condition for the Serre functor. The condition holds, in particular, for all fractionally Calabi-Yau algebras of global dimension at most $d$. This generalizes Riedtmann's classical construction of representation-finite self-injective algebras. Our method is based on an adaptation of Gabriel's covering theory for $k$-linear categories to the setting of higher-dimensional Auslander-Reiten theory. Applications include $n$-fold trivial extensions and (classical and higher) preprojective algebras, which are shown to be $d$-representation-finite in many cases. We also get a complete classification of all $d$-representation-finite self-injective Nakayama algebras for arbitrary $d$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Higher preprojective algebras, Koszul algebras, and superpotentials

In this article we study higher preprojective algebras, showing that various known results for ordinary preprojective algebras generalize to the higher setting. We first show that the quiver of the higher preprojective algebra is obtained by adding arrows to the quiver of the original algebra, and these arrows can be read off from the last term of the bimodule resolution of the original algebra. In the Koszul case we are able to obtain the new relations of the higher preprojective algebra by differentiating a superpotential and we show that when our original algebra is $d$-hereditary all the relations come from the superpotential. We then construct projective resolutions of all simple modules for the higher preprojective algebra of a $d$-hereditary algebra. This allows us to recover various known homological properties of the higher preprojective algebras and to obtain a large class of almost Koszul dual pairs of algebras. We also show that when our original algebra is Koszul there is a natural map from the quadratic dual of the higher preprojective algebra to a graded trivial extension algebra.

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

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Tilting modules over Auslander-Gorenstein Algebras

For a finite dimensional algebra $Λ$ and a non-negative integer $n$, we characterize when the set $\tilt_nΛ$ of additive equivalence classes of tilting modules with projective dimension at most $n$ has a minimal (or equivalently, minimum) element. This generalize results of Happel-Unger. Moreover, for an $n$-Gorenstein algebra $Λ$ with $n\geq 1$, we construct a minimal element in $\tilt_{n}Λ$. As a result, we give equivalent conditions for a $k$-Gorenstein algebra to be Iwanaga-Gorenstein. Moreover, for an $1$-Gorenstein algebra $Λ$ and its factor algebra $Γ=Λ/(e)$, we show that there is a bijection between $\tilt_1Λ$ and the set $\sttiltΓ$ of isomorphism classes of basic support $τ$-tilting $Γ$-modules, where $e$ is an idempotent such that $eΛ$ is the additive generator of projective-injective $Λ$-modules.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Tilting theory for Gorenstein rings in dimension one

For a $Z$-graded Gorenstein ring $R$, we study the stable category $CM^ZR$ of $Z$-graded maximal Cohen-Macaulay $R$-modules, which is canonically triangle equivalent to the singularity category of Buchweitz and Orlov. Its thick subcategory given as the stable category of $CM_0^ZR$ is central in representation theory since it enjoys Auslander-Reiten-Serre duality and has almost split triangles. In the case $dim R=1$, we prove that the stable category of $CM_0^ZR$ always admits a silting object, and that it admits a tilting object if and only if either $R$ is regular or the $a$-invariant of $R$ is non-negative.

0 citations0 reviewsNo code linkedOpen access