Searcharxiv⌕ Search

arXiv subjects

Christof Geiss

Publications and source records attributed to Christof Geiss.

At least 19 recordsLinked to original sources
arXiv2024

Representations of shifted quantum affine algebras and cluster algebras I. The simply-laced case

We introduce a family of cluster algebras of infinite rank associated with root systems of type $A$, $D$, $E$. We show that suitable completions of these cluster algebras are isomorphic to the Grothendieck rings of the categories $\mathcal{O}_\mathbb{Z}$ of the corresponding shifted quantum affine algebras. The cluster variables of a class of distinguished initial seeds are certain formal power series defined by E. Frenkel and the second author, which satisfy a system of functional relations called $QQ$-system. We conjecture that all cluster monomials are classes of simple objects of $\mathcal{O}_\mathbb{Z}$. In the final section, we show that these cluster algebras contain infinitely many cluster subalgebras isomorphic to the coordinate ring of the open double Bruhat cell of the corresponding simple simply-connected algebraic group. This explains the similarity between $QQ$-system relations and certain generalized minor identities discovered by Fomin and Zelevinsky.

math.QA↗
arXiv2023

A geometric construction of $U(\mathfrak{n})$ for affine Kac-Moody algebras of type $\tilde{\mathsf{C}}_{n}$

Inspired by the work of Geiss, Leclerc and Schr\"oer [Represent. Theory 20, (2016)] we realize the enveloping algebra of the positive part of an affine Kac-Moody Lie algebra of Dynkin type $\tilde{\mathsf{C}}_n$ as a generalized composition algebra of constructible functions on the varieties of locally free representations of the corresponding 1-Iwanaga-Gorenstein algebra $H=H_{\mathbb{C}}(C,D,\Omega)$ with minimal symmetrizer $D$ and arbitrary orientation $\Omega$. To this end, we exploit in several ways the fact that in this situation $H$ is a string algebra.

math.RT↗
arXiv2015

Quivers with relations for symmetrizable Cartan matrices II: Change of symmetrizers

For $k \ge 1$ we consider the $K$-algebra $H(k) := H(C,kD,\Omega)$ associated to a symmetrizable Cartan matrix $C$, a symmetrizer $D$, and an orientation $\Omega$ of $C$, which was defined in Part 1. We construct and analyse a reduction functor from rep$(H(k))$ to rep$(H(k-1))$. As a consequence we show that the canonical decomposition of rank vectors for $H(k)$ does not depend on $k$, and that the rigid locally free $H(k)$-modules are up to isomorphism in bijection with the rigid locally free $H(k-1)$-modules. Finally, we show that for a rigid locally free $H(k)$-module of a given rank vector the Euler characteristic of the variety of flags of locally free submodules with fixed ranks of the subfactors does not depend on the choice of $k$.

math.RT↗
arXiv2014

Quivers with relations for symmetrizable Cartan matrices I : Foundations

We introduce and study a class of Iwanaga-Gorenstein algebras defined via quivers with relations associated with symmetrizable Cartan matrices. These algebras generalize the path algebras of quivers associated with symmetric Cartan matrices. We also define a corresponding class of generalized preprojective algebras. Without any assumption on the ground field, we obtain new representation-theoretic realizations of all finite root systems.

math.RT↗
arXiv2013

A Caldero-Chapoton formula for generalized Cluster Categories

The Caldero-Chapoton formula relates for hereditary algebras of Dynkin type the cluster characters of the end terms of an Auslander-Reiten sequence with the cluster character of the middle term. We extend this result to generalized cluster categories with cluster tilting object by considering Auslander-Reiten triangles.

math.RT↗
arXiv2013

Tubular Jacobian Algebras

We show that the endomorphism ring of each cluster tilting object in a tubular cluster category is a finite dimensional Jacobian algebra which is tame of polynomial growth. Moreover, these Jacobian algebras are given by a quiver with a non-degenerate potential and mutation of cluster tilting objects is compatible with mutation of QPs.

math.RA↗
arXiv2012

Tubular Cluster Algebras II: Exponential growth

Among the mutation finite cluster algebras the tubular ones are a particularly interesting class. We show that all tubular (simply laced) cluster algebras are of exponential growth by two different methods: first by studying the automorphism group of the corresponding cluster category and second by giving explicit sequences of mutations.

math.RT↗
arXiv2012

Cluster algebras in algebraic Lie theory

We survey some recent constructions of cluster algebra structures on coordinate rings of unipotent subgroups and unipotent cells of Kac-Moody groups. We also review a quantized version of these results.

math.RT↗
arXiv2011

Tubular cluster algebras I: categorification

We present a categorification of four mutation finite cluster algebras by the cluster category of the category of coherent sheaves over a weighted projective line of tubular weight type. Each of these cluster algebras which we call tubular is associated to an elliptic root system. We show that via a cluster character the cluster variables are in bijection with the positive real Schur roots associated to the weighted projective line. In one of the four cases this is achieved by the approach to cluster algebras of Fomin-Shapiro-Thurston using a 2-sphere with 4 marked points whereas in the remaining cases it is done by the approach of Geiss-Leclerc-Schroer using preprojective algebras.

math.RT↗
arXiv2010

Cluster algebra structures and semicanonical bases for unipotent groups

Let Q be a finite quiver without oriented cycles, and let $Λ$ be the associated preprojective algebra. To each terminal representation M of Q (these are certain preinjective representations), we attach a natural subcategory $C_M$ of $mod(Λ)$. We show that $C_M$ is a Frobenius category,and that its stable category is a Calabi-Yau category of dimension 2. Then we develop a theory of mutations of maximal rigid objects of $C_M$, analogous to the mutations of clusters in Fomin and Zelevinsky's theory of cluster algebras. We show that $C_M$ yields a categorification of a cluster algebra $A(C_M)$, which is not acyclic in general. We give a realization of $A(C_M)$ as a subalgebra of the graded dual of the enveloping algebra $U(\n)$, where $\n$ is a maximal nilpotent subalgebra of the symmetric Kac-Moody Lie algebra $\g$ associated to the quiver Q. Let $S^*$ be the dual of Lusztig's semicanonical basis $S$ of $U(\n)$. We show that all cluster monomials of $A(C_M)$ belong to $S^*$, and that $S^* \cap A(C_M)$ is a basis of $A(C_M)$. Next, we prove that $A(C_M)$ is naturally isomorphic to the coordinate ring of the finite-dimensional unipotent subgroup $N(w)$ of the Kac-Moody group $G$ attached to $\g$. Here w = w(M) is the adaptable element of the Weyl group of $\g$ which we associate to each terminal representation M of Q. Moreover, we show that the cluster algebra obtained from $A(C_M)$ by formally inverting the generators of the coefficient ring is isomorphic to the coordinate ring of the unipotent cell $N^w := N \cap (B_-wB_-)$ of G. We obtain a corresponding dual semicanonical basis of this coorindate ring.

math.RT↗
arXiv2010

$n$-angulated categories

We define $n$-angulated categories by modifying the axioms of triangulated categories in a natural way. We show that Heller's parametrization of pre-triangulations extends to pre-$n$-angulations. We obtain a large class of examples of $n$-angulated categories by considering $(n-2)$-cluster tilting subcategories of triangulated categories which are stable under the $(n-2)$nd power of the suspension functor. As an application, we show how $n$-angulated Calabi-Yau categories yield triangulated Calabi-Yau categories of higher Calabi-Yau dimension. Finally, we sketch a link to algebraic geometry and string theory.

math.KT↗
arXiv2010

Kac-Moody groups and cluster algebras

Let Q be a finite quiver without oriented cycles, let \Lambda be the associated preprojective algebra, let g be the associated Kac-Moody Lie algebra with Weyl group W, and let n be the positive part of g. For each Weyl group element w, a subcategory C_w of mod(\Lambda) was introduced by Buan, Iyama, Reiten and Scott. It is known that C_w is a Frobenius category and that its stable category is a Calabi-Yau category of dimension two. We show that C_w yields a cluster algebra structure on the coordinate ring \CC[N(w)] of the unipotent group N(w) := N \cap (w^{-1}N_-w). Here N is the pro-unipotent pro-group with Lie algebra the completion of n. One can identify \CC[N(w)] with a subalgebra of the graded dual of the universal enveloping algebra U(n) of n. Let S^* be the dual of Lusztig's semicanonical basis S of U(n). We show that all cluster monomials of \CC[N(w)] belong to S^*, and that S^* \cap \CC[N(w)] is a basis of \CC[N(w)]. Moreover, we show that the cluster algebra obtained from \CC[N(w)] by formally inverting the generators of the coefficient ring is isomorphic to the algebra \CC[N^w] of regular functions on the unipotent cell N^w := N \cap (B_-wB_-) of the Kac-Moody group G with Lie algebra g. We obtain a corresponding dual semicanonical basis of \CC[N^w]. As one application we obtain a basis for each acyclic cluster algebra, which contains all cluster monomials in a natural way.

math.RT↗
arXiv2006

Partial flag varieties and preprojective algebras

Let L be a preprojective algebra of Dynkin type, and let G be the corresponding complex semisimple simply connected algebraic group. We study rigid modules in subcategories sub(Q) for Q an injective L-module, and we introduce a mutation operation between complete rigid modules in sub(Q). This yields cluster algebra structures on the coordinate rings of the partial flag varieties attached to G.

math.RT↗
arXiv2006

Combinatorial derived invariants for gentle algebras

We define derived equivalent invariants for gentle algebras, constructed in an easy combinatorial way from the quiver with relations defining these algebras. Our invariants consist of pairs of natural numbers and contain important information about the algebra and the structure of the stable Auslander-Reiten quiver of its repetitive algebra. As a by-product we obtain that the number of arrows of the quiver of a gentle algebra is invariant under derived equivalence. Finally, our invariants separate the derived equivalence classes of gentle algebras with at most one cycle.

math.RT↗
arXiv2004

Cluster algebras of finite type and positive symmetrizable matrices

The paper is motivated by an analogy between cluster algebras and Kac-Moody algebras: both theories share the same classification of finite type objects by familiar Cartan-Killing types. However the underlying combinatorics beyond the two classifications is different: roughly speaking, Kac-Moody algebras are associated with (symmetrizable) Cartan matrices, while cluster algebras correspond to skew-symmetrizable matrices. We study an interplay between the two classes of matrices, in particular, establishing a new criterion for deciding whether a given skew-symmetrizable matrix gives rise to a cluster algebra of finite type.

math.CO↗