Skip to Main Content


AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution


Representation Theory of Geigle-Lenzing Complete Intersections

About this Title

Martin Herschend, Osamu Iyama, Hiroyuki Minamoto and Steffen Oppermann

Publication: Memoirs of the American Mathematical Society
Publication Year: 2023; Volume 285, Number 1412
ISBNs: 978-1-4704-5631-3 (print); 978-1-4704-7482-9 (online)
DOI: https://doi.org/10.1090/memo/1412
Published electronically: April 25, 2023
Keywords: Auslander-Reiten theory, weighted projective line, canonical algebra, Geigle-Lenzing projective space, derived category, tilting theory, Cohen-Macaulay module, $d$-representation infinite algebra, Fano algebra

PDF View full volume as PDF

View other years and numbers:

Table of Contents

Chapters

  • 1. Introduction
  • 2. Preliminaries

1. Geigle-Lenzing complete intersections

  • 3. Geigle-Lenzing complete intersections
  • 4. Cohen-Macaulay representations on Geigle-Lenzing complete intersections

2. Geigle-Lenzing projective spaces

  • 5. Geigle-Lenzing projective spaces
  • 6. $d$-canonical algebras
  • 7. Tilting theory on Geigle-Lenzing projective spaces

Abstract

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 $\mathbb {L}$ of rank $1$, which we call Geigle-Lenzing complete intersections. We study the stable category $\underline {\mathsf {CM}}^{\mathbb {L}}R$ of Cohen-Macaulay representations, which coincides with the singularity category $\mathsf {D}^{\mathbb {L}}_{\mathrm {sg}}(R)$. We show that $\underline {\mathsf {CM}}^{\mathbb {L}}R$ is triangle equivalent to $\mathsf {D}^{\mathrm {b}}(\mathsf {mod} A^{\mathrm {CM}})$ for a finite dimensional algebra $A^{\mathrm {CM}}$, which we call the CM-canonical algebra. As an application, we classify the $(R,\mathbb {L})$ that are Cohen-Macaulay finite. We also give sufficient conditions for $(R,\mathbb {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 $\mathsf {coh}\mathbb {X}=\mathsf {mod}^{\mathbb {L}}R/\mathsf {mod}^{\mathbb {L}}_0R$ of coherent sheaves on the Geigle-Lenzing projective space $\mathbb {X}$. Geometrically this is the quotient stack $\mathbb {X}=[X/G]$ for $X={\mathrm {Spec}}\,R\setminus \{R_+\}$ and $G={\mathrm {Spec}}\,k[\mathbb {L}]$. We show that $\mathsf {D}^{\mathrm {b}}(\mathsf {coh}\mathbb {X})$ is triangle equivalent to $\mathsf {D}^{\mathrm {b}}(\mathsf {mod} A^{ca})$ for a finite dimensional algebra $A^{\mathrm {ca}}$, which we call a $d$-canonical algebra. We study when $\mathbb {X}$ is $d$-vector bundle finite, and when $\mathbb {X}$ is derived equivale’nt 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 $\mathsf {D}_{\mathrm {sg}}^{\mathbb {L}}(R)$ and $\mathsf {D}^{b}(\mathsf {coh}\mathbb {X})$.

References [Enhancements On Off] (What's this?)

References