Showing 1–34 of 34 results for author: Schröer, J

Rapid spin depolarization in the layered 2D Ruddlesden Popper perovskite (BA)(MA)PbI

Authors: Michael Kempf, Philipp Moser, Maximilian Tomoscheit, Julian Schröer, Jean-Christophe Blancon, Rico Schwartz, Swarup Deb, Aditya Mohite, Andreas V. Stier, Jonathan J. Finley, Tobias Korn

Abstract: We report temperature-dependent spectroscopy on the layered (n=4) two-dimensional (2D) Ruddlesden-Popper perovskite (BA)(MA)PbI. Helicity-resolved steady-state photoluminescence (PL) reveals no optical degree of polarization. Time-resolved PL shows a photocarrier lifetime on the order of nanoseconds. From simultaneaously recorded time-resolved differential reflectivity (TR$Δ$R) and time-resolved K… ▽ More We report temperature-dependent spectroscopy on the layered (n=4) two-dimensional (2D) Ruddlesden-Popper perovskite (BA)(MA)PbI. Helicity-resolved steady-state photoluminescence (PL) reveals no optical degree of polarization. Time-resolved PL shows a photocarrier lifetime on the order of nanoseconds. From simultaneaously recorded time-resolved differential reflectivity (TR$Δ$R) and time-resolved Kerr ellipticity (TRKE), a photocarrier lifetime of a few nanoseconds and a spin dephasing time on the order of picoseconds was found. This stark contrast in lifetimes clearly explains the lack of spin polarization in steady-state PL. While we observe clear temperature-dependent effects on the PL dynamics that can be related to structural dynamics, the spin dephasing is nearly T-independent. Our results highlight that spin dephasing in 2D (BA)(MA)PbI occurs at time scales faster than the exciton recombination time, which poses a bottleneck for applications aimingto utilize this degree of freedom. △ Less

Submitted 18 September, 2023; originally announced September 2023.

Journal ref: ACS nano 2023

Semicontinuous maps on module varieties

Authors: Christof Geiß, Daniel Labardini-Fragoso, Jan Schröer

Abstract: We study semicontinuous maps on varieties of modules over finite-dimensional algebras. We prove that truncated Euler maps are upper or lower semicontinuous. This implies that $g$-vectors and $E$-invariants of modules are upper semicontinuous. We also discuss inequalities of generic values of some upper semicontinuous maps. We study semicontinuous maps on varieties of modules over finite-dimensional algebras. We prove that truncated Euler maps are upper or lower semicontinuous. This implies that $g$-vectors and $E$-invariants of modules are upper semicontinuous. We also discuss inequalities of generic values of some upper semicontinuous maps. △ Less

Submitted 4 July, 2024; v1 submitted 3 February, 2023; originally announced February 2023.

Comments: 17 pages. V2: small corrections and slightly reorganized after a referee report. Final version, to appear in Crelle

MSC Class: 14M99; 16E30; 16G70

Generic Caldero-Chapoton functions with coefficients and applications to surface cluster algebras

Authors: Christof Geiß, Daniel Labardini-Fragoso, Jan Schröer

Abstract: We realize Derksen-Weyman-Zelevinsky's mutations of representations as densely-defined regular maps on representation spaces, and study the generic values of Caldero-Chapoton functions with coefficients, giving, for instance, a sufficient combinatorial condition for their linear independence. For a quiver with potential $(Q,S)$, we show that if $k$ is a vertex not incident to any oriented 2-cycl… ▽ More We realize Derksen-Weyman-Zelevinsky's mutations of representations as densely-defined regular maps on representation spaces, and study the generic values of Caldero-Chapoton functions with coefficients, giving, for instance, a sufficient combinatorial condition for their linear independence. For a quiver with potential $(Q,S)$, we show that if $k$ is a vertex not incident to any oriented 2-cycle, then every generically $τ$-reduced irreducible component $Z$ of any affine variety of (decorated) representations has a dense open subset $U$ on which Derksen-Weyman-Zelevinsky's mutation of representations $μ_k$ can be defined consistently as a regular map to an affine variety of (decorated) representations of the Jacobian algebra of the mutated QP $μ_k(Q,S)$. Our techniques involve only basic linear algebra and elementary algebraic geometry, and do not require to assume Jacobi-finiteness. Thus, the paper yields a new and more general proof of the mutation invariance of generic Caldero-Chapoton functions, generalizing and providing a new natural geometric perspective on results of Derksen-Weyman-Zelevinsky and Plamondon. (For Jacobi-finite non-degenerate quivers with potential, this invariance was shown by Plamondon using the machinery of Ginzburg dg-algebras and Hom-finite generalized cluster categories.) We apply our results, together with results of Mills, Muller and Qin, to prove that for any choice of geometric coefficient systems, not necessarily of full rank, the cluster algebra associated to a possibly punctured surface with at least two marked points on the boundary has the generic Caldero-Chapoton functions as a basis over the Laurent polynomial ring of coefficients. △ Less

Submitted 10 July, 2020; originally announced July 2020.

Comments: 45 pages, 7 figures

MSC Class: 16S99; 16G20; 13F60; 16P10

Schemes of modules over gentle algebras and laminations of surfaces

Authors: Christof Geiß, Daniel Labardini-Fragoso, Jan Schröer

Abstract: We study the affine schemes of modules over gentle algebras. We describe the smooth points of these schemes, and we also analyze their irreducible components in detail. Several of our results generalize formerly known results, e.g. by drop** acyclicity, and by incorporating band modules. A special class of gentle algebras are Jacobian algebras arising from triangulations of unpunctured marked su… ▽ More We study the affine schemes of modules over gentle algebras. We describe the smooth points of these schemes, and we also analyze their irreducible components in detail. Several of our results generalize formerly known results, e.g. by drop** acyclicity, and by incorporating band modules. A special class of gentle algebras are Jacobian algebras arising from triangulations of unpunctured marked surfaces. For these we obtain a bijection between the set of generically tau-reduced decorated irreducible components and the set of laminations of the surface. As an application, we get that the set of bangle functions (defined by Musiker-Schiffler-Williams) in the upper cluster algebra associated with the surface coincides with the set of generic Caldero-Chapoton functions. △ Less

Submitted 22 December, 2021; v1 submitted 3 May, 2020; originally announced May 2020.

Comments: 68 pages. Changes v2: Section 3 is new. We fixed a few typos and added 2 references. v3: Final version with a few improvements suggested by a referee. To appear in Selecta Math. Use PDF-LaTeX for correct display of colored diagrams

Journal ref: Selecta Math. (N.S.) 28 (2022), no. 1, Paper No. 8, 78 pp

Rigid modules and Schur roots

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: Let $C$ be a symmetrizable generalized Cartan matrix with symmetrizer $D$ and orientation $Ω$. In previous work we associated an algebra $H$ to this data, such that the locally free $H$-modules behave in many aspects like representations of a hereditary algebra $\tilde{H}$ of the corresponding type. We define a Noetherian algebra $\hat{H}$ over a power series ring, which provides a direct link bet… ▽ More Let $C$ be a symmetrizable generalized Cartan matrix with symmetrizer $D$ and orientation $Ω$. In previous work we associated an algebra $H$ to this data, such that the locally free $H$-modules behave in many aspects like representations of a hereditary algebra $\tilde{H}$ of the corresponding type. We define a Noetherian algebra $\hat{H}$ over a power series ring, which provides a direct link between the representation theory of $H$ and of $\tilde{H}$. We define and study a reduction and a localization functor relating the module categories of these three types of algebras. These are used to show that there are natural bijections between the sets of isoclasses of tilting modules over $H$, $\hat{H}$ and $\tilde{H}$. We show that the indecomposable rigid locally free modules over $H$ and $\hat{H}$ are parametrized, via their rank vector, by the real Schur roots associated to $(C,Ω)$. Moreover, the left finite bricks of $H$, in the sense of Asai, are parametrized, via their dimension vector, by the real Schur roots associated to the dual datum $(C^T,Ω)$. △ Less

Submitted 3 October, 2019; v1 submitted 23 December, 2018; originally announced December 2018.

Comments: 36 pages. v2: Small corrections and improvements after referee report. Final version, to appear in Math. Z

Journal ref: Math. Z. 295 (2020), no. 3-4, 1245-1277

Quantum cluster algebras and their specializations

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: We show that in case a cluster algebra coincides with its upper cluster algebra and the cluster algebra admits a grading with finite dimensional homogeneous components, the corresponding Berenstein-Zelevinsky quantum cluster algebra can be viewed as a flat deformation of the classical cluster algebra. We show that in case a cluster algebra coincides with its upper cluster algebra and the cluster algebra admits a grading with finite dimensional homogeneous components, the corresponding Berenstein-Zelevinsky quantum cluster algebra can be viewed as a flat deformation of the classical cluster algebra. △ Less

Submitted 31 May, 2019; v1 submitted 25 July, 2018; originally announced July 2018.

Comments: 11 pages, v2: small corrections and improvements after referee report. Final version, to appear in J. Algebra

MSC Class: 13F60

Journal ref: J. Algebra 558 (2020), 411-422

Algebras with irreducible module varieties II: Two vertex case

Authors: Grzegorz Bobiński, Jan Schröer

Abstract: We call a finite-dimensional K-algebra A geometrically irreducible if for all d all connected components of the affine scheme of d-dimensional A-modules are irreducible. We prove that a geometrically irreducible algebra with exactly two simple modules has to be of a very special form, which we describe. Based on this result we prove that every minimal geometrically irreducible algebra without shor… ▽ More We call a finite-dimensional K-algebra A geometrically irreducible if for all d all connected components of the affine scheme of d-dimensional A-modules are irreducible. We prove that a geometrically irreducible algebra with exactly two simple modules has to be of a very special form, which we describe. Based on this result we prove that every minimal geometrically irreducible algebra without shortcuts in its Gabriel quiver has at most two simple modules. △ Less

Submitted 11 January, 2018; originally announced January 2018.

MSC Class: 16G20; 14R99; 14M99

Algebras with irreducible module varieties I

Authors: Grzegorz Bobiński, Jan Schröer

Abstract: We call a finite-dimensional K-algebra A geometrically irreducible if for all d, all connected components of the affine scheme of d-dimensional A-modules are irreducible. We show that the geometrically irreducible algebras without loops (this includes all algebras of finite global dimension) are the hereditary algebras. We also show that truncated polynomial rings are the only geometrically irredu… ▽ More We call a finite-dimensional K-algebra A geometrically irreducible if for all d, all connected components of the affine scheme of d-dimensional A-modules are irreducible. We show that the geometrically irreducible algebras without loops (this includes all algebras of finite global dimension) are the hereditary algebras. We also show that truncated polynomial rings are the only geometrically irreducible local algebras. Finally, we formulate a conjectural classification of all geometrically irreducible algebras. △ Less

Submitted 18 September, 2017; originally announced September 2017.

Comments: 13 pages

Quivers with relations for symmetrizable Cartan matrices V. Caldero-Chapoton formula

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: We generalize the Caldero-Chapoton formula for cluster algebras of finite type to the skew-symmetrizable case. This is done by replacing representation categories of Dynkin quivers by categories of locally free modules over certain Iwanaga-Gorenstein algebras introduced in Part I. The proof relies on the realization of the positive part of the envelo** algebra of a simple Lie algebra of the same… ▽ More We generalize the Caldero-Chapoton formula for cluster algebras of finite type to the skew-symmetrizable case. This is done by replacing representation categories of Dynkin quivers by categories of locally free modules over certain Iwanaga-Gorenstein algebras introduced in Part I. The proof relies on the realization of the positive part of the envelo** algebra of a simple Lie algebra of the same finite type as a convolution algebra of constructible functions on representation varieties of $H$, given in Part III. Along the way, we obtain a new result on the PBW basis of this convolution algebra. △ Less

Submitted 16 May, 2018; v1 submitted 21 April, 2017; originally announced April 2017.

Comments: 24 pages. V2: Exposition improved and a few typos fixed after referee report. Final version, to appear in Proc. London Math. Soc

MSC Class: 13F60; 16G20

Journal ref: Proc. Lond. Math. Soc. (3) 117 (2018), no. 1, 125-148

Quivers with relations for symmetrizable Cartan matrices IV: Crystal graphs and semicanonical functions

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: We generalize Lusztig's nilpotent varieties, and Kashiwara and Saito's geometric construction of crystal graphs from the symmetric to the symmetrizable case. We also construct semicanonical functions in the convolution algebras of generalized preprojective algebras. Conjecturally these functions yield semicanonical bases of the envelo** algebras of the positive part of symmetrizable Kac-Moody al… ▽ More We generalize Lusztig's nilpotent varieties, and Kashiwara and Saito's geometric construction of crystal graphs from the symmetric to the symmetrizable case. We also construct semicanonical functions in the convolution algebras of generalized preprojective algebras. Conjecturally these functions yield semicanonical bases of the envelo** algebras of the positive part of symmetrizable Kac-Moody algebras. △ Less

Submitted 25 June, 2018; v1 submitted 24 February, 2017; originally announced February 2017.

Comments: 50 pages. Version 2: A few typos fixed. Final version published in Selecta Mathematica

Journal ref: Selecta Math. (N.S.) 24 (2018), no. 4, 3283-3348

Quivers with relations for symmetrizable Cartan matrices III: Convolution algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We realize the envelo** algebra of the positive part of a semisimple complex Lie algebra as a convolution algebra of constructible functions on module varieties of some Iwanaga-Gorenstein algebras of dimension 1. We realize the envelo** algebra of the positive part of a semisimple complex Lie algebra as a convolution algebra of constructible functions on module varieties of some Iwanaga-Gorenstein algebras of dimension 1. △ Less

Submitted 21 October, 2016; v1 submitted 19 November, 2015; originally announced November 2015.

Comments: This article, together with "Quiver with relations for symmetrizable Cartan matrices II: Change of symmetrizers" (arXiv:1511.05898), replaces arXiv:1502.01565, which has been withdrawn; 37 pages. v2: acknowledgements added; v3: Final version, a few typos fixed and exposition improved, now 38 pages

MSC Class: 16G10; 16G20; 17B35; Secondary 16G70

Journal ref: Represent. Theory 20 (2016), 375-413

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

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: For $k \ge 1$ we consider the $K$-algebra $H(k) := H(C,kD,Ω)$ associated to a symmetrizable Cartan matrix $C$, a symmetrizer $D$, and an orientation $Ω$ 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 lo… ▽ More For $k \ge 1$ we consider the $K$-algebra $H(k) := H(C,kD,Ω)$ associated to a symmetrizable Cartan matrix $C$, a symmetrizer $D$, and an orientation $Ω$ 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$. △ Less

Submitted 22 January, 2017; v1 submitted 18 November, 2015; originally announced November 2015.

Comments: 24 pages. This article, together with "Quiver with relations for symmetrizable Cartan matrices III: Convolution Algebras" (arXiv:1511.06216) replaces arXiv:1502.01565, which has been withdrawn. V3: acknowledgements added. V4: exposition improved and a few typos fixed after referee report, references updated. Final version, to appear in IMRN

Journal ref: Int. Math. Res. Not. IMRN 2018, no. 9, 2866-2898

Quivers with relations for symmetrizable Cartan matrices II : Convolution algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We realize the envelo** algebra of the positive part of a symmetrizable Kac-Moody algebra as a convolution algebra of constructible functions on module varieties of some Iwanaga-Gorenstein algebras of dimension 1. We realize the envelo** algebra of the positive part of a symmetrizable Kac-Moody algebra as a convolution algebra of constructible functions on module varieties of some Iwanaga-Gorenstein algebras of dimension 1. △ Less

Submitted 15 May, 2015; v1 submitted 5 February, 2015; originally announced February 2015.

Comments: This article has been withdrawn. We found a mistake in Proposition 4.13 which invalidates our proof of Theorem 1.1. The statement of Theorem 1.1 remains as a conjecture

Quivers with relations for symmetrizable Cartan matrices I : Foundations

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: 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… ▽ More 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. △ Less

Submitted 22 November, 2016; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: 72 pages. v2 : We restructured some of the sections, improved the exposition, fixed a few typos, and added new references. Title has slightly changed v3 : A few typos fixed. Section 9.3 on APR-tilting has been rewritten. v4 : an acknowledgement added. v5 : Exposition improved after comments from a referee, references updated and a few typos corrected. Final version, to appear in Inventiones Math

Journal ref: Invent. Math. 209 (2017), 61-158

The representation type of Jacobian algebras

Authors: Christof Geiß, Daniel Labardini-Fragoso, Jan Schröer

Abstract: We show that the representation type of the Jacobian algebra P(Q,S) associated to a 2-acyclic quiver Q with non-degenerate potential S is invariant under QP-mutations. We prove that, apart from very few exceptions, P(Q,S) is of tame representation type if and only if Q is of finite mutation type. We also show that most quivers Q of finite mutation type admit only one non-degenerate potential up to… ▽ More We show that the representation type of the Jacobian algebra P(Q,S) associated to a 2-acyclic quiver Q with non-degenerate potential S is invariant under QP-mutations. We prove that, apart from very few exceptions, P(Q,S) is of tame representation type if and only if Q is of finite mutation type. We also show that most quivers Q of finite mutation type admit only one non-degenerate potential up to weak right equivalence. In this case, the isomorphism class of P(Q,S) depends only on Q and not on S. △ Less

Submitted 5 January, 2016; v1 submitted 2 August, 2013; originally announced August 2013.

Comments: 71 pages. v2: Theorem 1.4(ii) is now more general than in v1. v3: several typos fixed, references updated and not used references deleted. Exposition, mainly in Section 8.2 expanded and improved. Final version, to appear in Adv. Math

Journal ref: Adv. Math. 290 (2016), 394-452

Cluster algebras in algebraic Lie theory

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: 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. 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. △ Less

Submitted 28 August, 2012; originally announced August 2012.

Comments: Invited survey; to appear in Transformation Groups

Journal ref: Transformation Groups: Volume 18, Issue 1 (2013), Page 149-178

Caldero-Chapoton algebras

Authors: Giovanni Cerulli Irelli, Daniel Labardini-Fragoso, Jan Schröer

Abstract: Motivated by the representation theory of quivers with potentials introduced by Derksen, Weyman and Zelevinsky and by work of Caldero and Chapoton, who gave explicit formulae for the cluster variables of Dynkin quivers, we associate a Caldero-Chapoton algebra to any (possibly infinite dimensional) basic algebra. By definition, the Caldero-Chapoton algebra is (as a vector space) generated by the Ca… ▽ More Motivated by the representation theory of quivers with potentials introduced by Derksen, Weyman and Zelevinsky and by work of Caldero and Chapoton, who gave explicit formulae for the cluster variables of Dynkin quivers, we associate a Caldero-Chapoton algebra to any (possibly infinite dimensional) basic algebra. By definition, the Caldero-Chapoton algebra is (as a vector space) generated by the Caldero-Chapoton functions of the decorated representations of the basic algebra. The Caldero-Chapoton algebra associated to the Jacobian algebra of a quiver with potential is closely related to the cluster algebra and the upper cluster algebra of the quiver. The set of generic Caldero-Chapoton functions, which conjecturally forms a basis of the Caldero-Chapoton algebra) is parametrized by the strongly reduced components of the varieties of representations of the Jacobian algebra and was introduced by Geiss, Leclerc and Schröer. Plamondon parametrized the strongly reduced components for finite-dimensional basic algebras. We generalize this to arbitrary basic algebras. Furthermore, we prove a decomposition theorem for strongly reduced components. Thanks to the decomposition theorem, all generic Caldero-Chapoton functions can be seen as generalized cluster monomials. As another application, we obtain a new proof for the sign-coherence of g-vectors. Caldero-Chapoton algebras lead to several general conjectures on cluster algebras. △ Less

Submitted 6 May, 2013; v1 submitted 16 August, 2012; originally announced August 2012.

Comments: 35 pages. v2: Corrected the definition of a generic E-invariant and also a short list of minor inaccuracies and typos. Final version to appear in Transactions AMS

Factorial cluster algebras

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: We show that cluster algebras do not contain non-trivial units and that all cluster variables are irreducible elements. Both statements follow from Fomin and Zelevinsky's Laurent phenomenon. As an application we give a criterion for a cluster algebra to be a factorial algebra. This can be used to construct cluster algebras, which are isomorphic to polynomial rings. We also study various kinds of u… ▽ More We show that cluster algebras do not contain non-trivial units and that all cluster variables are irreducible elements. Both statements follow from Fomin and Zelevinsky's Laurent phenomenon. As an application we give a criterion for a cluster algebra to be a factorial algebra. This can be used to construct cluster algebras, which are isomorphic to polynomial rings. We also study various kinds of upper bounds for cluster algebras, and we prove that factorial cluster algebras coincide with their upper bounds. △ Less

Submitted 28 December, 2012; v1 submitted 6 October, 2011; originally announced October 2011.

Comments: 24 pages. v2: Small improvements. Added more examples of non-factorial cluster algebras. v3: Fixed an inaccuracy in the proof of Theorem 1.4. Generalized Proposition 6.3. Some further small improvements. v3: small corrections and updates, final version to appear in Documenta Math

Journal ref: Documenta Math. 18 (2013), 249-274

Cluster structures on quantum coordinate rings

Authors: C. Geiss, B. Leclerc, J. Schröer

Abstract: We show that the quantum coordinate ring of the unipotent subgroup N(w) of a symmetric Kac-Moody group G associated with a Weyl group element w has the structure of a quantum cluster algebra. This quantum cluster structure arises naturally from a subcategory C_w of the module category of the corresponding preprojective algebra. An important ingredient of the proof is a system of quantum determinan… ▽ More We show that the quantum coordinate ring of the unipotent subgroup N(w) of a symmetric Kac-Moody group G associated with a Weyl group element w has the structure of a quantum cluster algebra. This quantum cluster structure arises naturally from a subcategory C_w of the module category of the corresponding preprojective algebra. An important ingredient of the proof is a system of quantum determinantal identities which can be viewed as a q-analogue of a T-system. In case G is a simple algebraic group of type A, D, E, we deduce from these results that the quantum coordinate ring of an open cell of a partial flag variety attached to G also has a cluster structure. △ Less

Submitted 10 July, 2012; v1 submitted 4 April, 2011; originally announced April 2011.

Comments: v2: minor corrections. v3: references updated, final version to appear in Selecta Mathematica

Journal ref: Selecta Mathematica: Volume 19, Issue 2 (2013), 337-397

Generic bases for cluster algebras and the Chamber Ansatz

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: Let Q be a finite quiver without oriented cycles, and let $Λ$ be the corresponding preprojective algebra. Let g be the Kac-Moody Lie algebra with Cartan datum given by Q, and let W be its Weyl group. With w in W is associated a unipotent cell N^w of the Kac-Moody group with Lie algebra g. In previous work we proved that the coordinate ring \C[N^w] of N^w is a cluster algebra in a natural way. A ce… ▽ More Let Q be a finite quiver without oriented cycles, and let $Λ$ be the corresponding preprojective algebra. Let g be the Kac-Moody Lie algebra with Cartan datum given by Q, and let W be its Weyl group. With w in W is associated a unipotent cell N^w of the Kac-Moody group with Lie algebra g. In previous work we proved that the coordinate ring \C[N^w] of N^w is a cluster algebra in a natural way. A central role is played by generating functions \vphi_X of Euler characteristics of certain varieties of partial composition series of X, where X runs through all modules in a Frobenius subcategory C_w of the category of nilpotent $Λ$-modules. We show that for every X in C_w, \vphi_X coincides after appropriate changes of variables with the cluster characters of Fu and Keller associated with any cluster-tilting module T of C_w. As an application, we get a new description of a generic basis of the cluster algebra obtained from \C[N^w] via specialization of coefficients to 1. For the special case of coefficient-free acyclic cluster algebras this proves a conjecture by Dupont. △ Less

Submitted 3 August, 2011; v1 submitted 16 April, 2010; originally announced April 2010.

Comments: 48 pages. Version 2: Minor improvements, and a few typos corrected. v3: New section 2 (reminder on cluster algebras), so subsequent sections renumbered; section 6 (was section 5) reorganized and extended; several small corrections; references updated. Final version, now 55 pages, to appear JAMS

Journal ref: J. Amer. Math. Soc. 25 (2012), 21-76

Kac-Moody groups and cluster algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: Let Q be a finite quiver without oriented cycles, let Λ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(Λ) 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 cate… ▽ More Let Q be a finite quiver without oriented cycles, let Λ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(Λ) 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 envelo** 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. △ Less

Submitted 6 July, 2011; v1 submitted 20 January, 2010; originally announced January 2010.

Comments: 85 pages. This paper removes the assumption of adaptability of a Weyl group element, which was needed in our preprint "Cluster algebra structures and semicanoncial bases for unipotent groups", arXiv:math/0703039. v2: We corrected several typos and reorganized some Sections. v3: New section 2.8, section 13.1 improved, several small corrections. To appear in Adv. Math

MSC Class: 14M99; 16G20; 17B35; 17B67; 20G05; 81R10

Journal ref: Advances Math. 228 (2011) no. 1, 329-433

Preprojective algebras and cluster algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We use the representation theory of preprojective algebras to construct and study certain cluster algebras related to semisimple algebraic groups. We use the representation theory of preprojective algebras to construct and study certain cluster algebras related to semisimple algebraic groups. △ Less

Submitted 19 April, 2008; originally announced April 2008.

Comments: 31 pages, one figure. This is a survey of our recent work. It will appear in the proceedings of the ICRA 12 conference held in Torun in 2007

MSC Class: 16G20; 14M15

Journal ref: Trends in representation theory of algebras and related topics, 253--283, EMS Ser. Congr. Rep., Eur. Math. Soc., Zürich, 2008

Cluster algebra structures and semicanonical bases for unipotent groups

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: 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 max… ▽ More 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 envelo** 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. △ Less

Submitted 30 July, 2010; v1 submitted 1 March, 2007; originally announced March 2007.

Comments: Some minor typos corrected. Problem 23.1 of v2 is now solved (see Sections 22.8, 22.9), 121 pages. v4: typo in arxiv title corrected

MSC Class: 14M99; 16G20; 17B35; 17B67; 20G05; 81R10

Partial flag varieties and preprojective algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: 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. 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. △ Less

Submitted 8 August, 2007; v1 submitted 5 September, 2006; originally announced September 2006.

Comments: 42 pages, 12 figures, 4 tables. Version 3 : minor corrections and one reference added. Final version to appear in Annales de l'Institut Fourier

Journal ref: Ann. Inst. Fourier (Grenoble) 58 (2008), no. 3, 825--876

Semicanonical bases and preprojective algebras II: A multiplication formula

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: Let $n$ be a maximal nilpotent subalgebra of a complex symmetric Kac-Moody Lie algebra. Lusztig has introduced a basis of U(n) called the semicanonical basis, whose elements can be seen as certain constructible functions on varieties of nilpotent modules over a preprojective algebra of the same type as $n$. We prove a formula for the product of two elements of the dual of this semicanonical basi… ▽ More Let $n$ be a maximal nilpotent subalgebra of a complex symmetric Kac-Moody Lie algebra. Lusztig has introduced a basis of U(n) called the semicanonical basis, whose elements can be seen as certain constructible functions on varieties of nilpotent modules over a preprojective algebra of the same type as $n$. We prove a formula for the product of two elements of the dual of this semicanonical basis, and more generally for the product of two evaluation forms associated to arbitrary modules over the preprojective algebra. This formula plays an important role in our work on the relationship between semicanonical bases, representation theory of preprojective algebras, and Fomin and Zelevinsky's theory of cluster algebras. It was inspired by recent results of Caldero and Keller. △ Less

Submitted 29 January, 2007; v1 submitted 21 September, 2005; originally announced September 2005.

Comments: 22 pages. Generalization of the multiplication formula from preprojective algebras of Dynkin type to arbitrary preprojective algebras

MSC Class: 14M99; 16G20; 17B35; 17B67; 20G05

Journal ref: Compos. Math. 143 (2007), no. 5, 1313--1334

Auslander algebras and initial seeds for cluster algebras

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: Let $Q$ be a Dynkin quiver and $Π$ the corresponding set of positive roots. For the preprojective algebra $Λ$ associated to $Q$ we produce a rigid $Λ$-module $I_Q$ with $r=|Π|$ pairwise non-isomorphic indecomposable direct summands by pushing the injective modules of the Auslander algebra of $kQ$ to $Λ$. If $N$ is a maximal unipotent subgroup of a complex simply connected simple Lie group of t… ▽ More Let $Q$ be a Dynkin quiver and $Π$ the corresponding set of positive roots. For the preprojective algebra $Λ$ associated to $Q$ we produce a rigid $Λ$-module $I_Q$ with $r=|Π|$ pairwise non-isomorphic indecomposable direct summands by pushing the injective modules of the Auslander algebra of $kQ$ to $Λ$. If $N$ is a maximal unipotent subgroup of a complex simply connected simple Lie group of type $|Q|$, then the coordinate ring $C[N]$ is an upper cluster algebra. We show that the elements of the dual semicanonical basis which correspond to the indecomposable direct summands of $I_Q$ coincide with certain generalized minors which form an initial cluster for $C[N]$, and that the corresponding exchange matrix of this cluster can be read from the Gabriel quiver of $End_Λ(I_Q)$. Finally, we exploit the fact that the categories of injective modules over $Λ$ and over its covering $\tildeΛ$ are triangulated in order to show several interesting identities in the respective stable module categories. △ Less

Submitted 14 August, 2006; v1 submitted 20 June, 2005; originally announced June 2005.

Comments: 23 pages, Version 2: Reference [7] corrected+updated

MSC Class: 16G70; 17B37; 20G42

Journal ref: J. Lond. Math. Soc. (2) 75 (2007), no. 3, 718--740

Rigid modules over preprojective algebras

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: Let $\la$ be a preprojective algebra of simply laced Dynkin type $Δ$. We study maximal rigid $\la$-modules, their endomorphism algebras and a mutation operation on these modules. This leads to a representation-theoretic construction of the cluster algebra structure on the ring $\C[N]$ of polynomial functions on a maximal unipotent subgroup $N$ of a complex Lie group of type $Δ$. As an applicatio… ▽ More Let $\la$ be a preprojective algebra of simply laced Dynkin type $Δ$. We study maximal rigid $\la$-modules, their endomorphism algebras and a mutation operation on these modules. This leads to a representation-theoretic construction of the cluster algebra structure on the ring $\C[N]$ of polynomial functions on a maximal unipotent subgroup $N$ of a complex Lie group of type $Δ$. As an application we obtain that all cluster monomials of $\C[N]$ belong to the dual semicanonical basis. △ Less

Submitted 14 February, 2006; v1 submitted 16 March, 2005; originally announced March 2005.

Comments: 34 pages. Final Version.To appear in Invent. Math. Minor changes

Journal ref: Invent. Math. 165 (2006), no. 3, 589--632

Verma modules and preprojective algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We give a geometric construction of the Verma modules of a symmetric Kac-Moody Lie algebra in terms of constructible functions on the varieties of nilpotent finite-dimensional modules of the corresponding preprojective algebra. We give a geometric construction of the Verma modules of a symmetric Kac-Moody Lie algebra in terms of constructible functions on the varieties of nilpotent finite-dimensional modules of the corresponding preprojective algebra. △ Less

Submitted 30 July, 2005; v1 submitted 5 November, 2004; originally announced November 2004.

Comments: Minor changes. Final version. To appear in Nagoya Math. Journal

MSC Class: AMS 14M99; 16G20; 17B67

Journal ref: Nagoya Math. J. 182 (2006), 241--258

Semicanonical bases and preprojective algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We study the multiplicative properties of the dual of Lusztig's semicanonical basis.The elements of this basis are naturally indexed by theirreducible components of Lusztig's nilpotent varieties, whichcan be interpreted as varieties of modules over preprojective algebras.We prove that the product of two dual semicanonical basis vectorsis again a dual semicanonical basis vector provided the closu… ▽ More We study the multiplicative properties of the dual of Lusztig's semicanonical basis.The elements of this basis are naturally indexed by theirreducible components of Lusztig's nilpotent varieties, whichcan be interpreted as varieties of modules over preprojective algebras.We prove that the product of two dual semicanonical basis vectorsis again a dual semicanonical basis vector provided the closure ofthe direct sum of thecorresponding two irreducible components is again an irreducible component.It follows that the semicanonical basis and the canonical basiscoincide if and only if we are in Dynkin type $A_n$ with $n \leq 4$.Finally, we provide a detailed study of the varieties of modules over the preprojectivealgebra of type $A_5$.We show that in this case the multiplicative properties ofthe dual semicanonical basis are controlled by the Ringel form of a certain tubular algebra of type (6,3,2) and by thecorresponding elliptic root system of type $E_8^{(1,1)}$. △ Less

Submitted 11 January, 2005; v1 submitted 27 February, 2004; originally announced February 2004.

Comments: Minor corrections. Final version to appear in Annales Scientifiques de l'ENS

MSC Class: 14M99; 16D70; 16E20; 16G20; 16G70; 17B37; 20G42

Journal ref: Ann. Sci. École Norm. Sup. (4) 38 (2005), no. 2, 193--253

Varieties of pairs of nilpotent matrices annihilating each other

Authors: Jan Schröer

Abstract: We classify the irreducible components of the varieties V(n,a,b) of pairs (A,B) of matrices of size n such that AB = BA = 0 and A^a = B^b = 0. We classify the irreducible components of the varieties V(n,a,b) of pairs (A,B) of matrices of size n such that AB = BA = 0 and A^a = B^b = 0. △ Less

Submitted 18 November, 2003; v1 submitted 19 November, 2002; originally announced November 2002.

Comments: 30 pages. This is an improved version of the originally submitted preprint

MSC Class: 14M99; 16G10

Radical embeddings and representation dimension

Authors: Karin Erdmann, Thorsten Holm, Osamu Iyama, Jan Schröer

Abstract: Given a representation-finite algebra B and a subalgebra A of B such that the Jacobson radicals of A and B coincide, we prove that the representation dimension of A is at most three. By a result of Igusa and Todorov, this implies that the finitistic dimension of A is finite. Given a representation-finite algebra B and a subalgebra A of B such that the Jacobson radicals of A and B coincide, we prove that the representation dimension of A is at most three. By a result of Igusa and Todorov, this implies that the finitistic dimension of A is finite. △ Less

Submitted 23 October, 2002; originally announced October 2002.

Comments: 16 pages

MSC Class: 16E05; 16E10; 16G20

Extension-orthogonal components of nilpotent varieties

Authors: Christof Geiß, Jan Schröer

Abstract: Let Q be a Dynkin quiver, and let P(Q) be the corresponding preprojective algebra. Let I be a set of pairwise different indecomposable irreducible components of varieties of P(Q)-modules such that generically there are no extensions between these components. We show that the number of elements in I is at most the number of positive roots of Q. Furthermore, we give a module theoretic interpretati… ▽ More Let Q be a Dynkin quiver, and let P(Q) be the corresponding preprojective algebra. Let I be a set of pairwise different indecomposable irreducible components of varieties of P(Q)-modules such that generically there are no extensions between these components. We show that the number of elements in I is at most the number of positive roots of Q. Furthermore, we give a module theoretic interpretation of Leclerc's counterexample to a conjecture of Berenstein and Zelevinsky. △ Less

Submitted 27 August, 2002; originally announced August 2002.

MSC Class: 14M99; 16D70; 16G20; 17B37

Journal ref: Trans. Amer. Math. Soc. 357 (2005), no. 5, 1953--1962

Stable endomorphism algebras of modules over special biserial algebras

Authors: Jan Schröer, Alexander Zimmermann

Abstract: We prove that the stable endomorphism algebra of a module without self-extensions over a special biserial algebra is a gentle algebra. In particular, it is again special biserial. As a consequence, any algebra which is derived equivalent to a gentle algebra is gentle. We prove that the stable endomorphism algebra of a module without self-extensions over a special biserial algebra is a gentle algebra. In particular, it is again special biserial. As a consequence, any algebra which is derived equivalent to a gentle algebra is gentle. △ Less

Submitted 21 August, 2002; originally announced August 2002.

MSC Class: 16E30; 16G20; 18E30

Irreducible components of varieties of modules

Authors: William Crawley-Boevey, Jan Schröer

Abstract: We prove some basic results about irreducible components of varieties of modules for an arbitrary finitely generated associative algebra. Our work generalizes results of Kac and Schofield on representations of quivers, but our methods are quite different, being based on deformation theory. We prove some basic results about irreducible components of varieties of modules for an arbitrary finitely generated associative algebra. Our work generalizes results of Kac and Schofield on representations of quivers, but our methods are quite different, being based on deformation theory. △ Less

Submitted 8 February, 2002; v1 submitted 15 March, 2001; originally announced March 2001.

Comments: 20 pages; an application to tilted algebras has been added

MSC Class: 13D10; 14M99; 16D70; 16G20