A classification of ideals in Steinberg and Leavitt path algebras over arbitrary rings

We give a one-to-one correspondence between ideals in the Steinberg algebra of a Hausdorff ample groupoid G, and certain families of ideals in the group algebras of isotropy groups in G. This generalises a known ideal correspondence theorem for Steinberg algebras of strongly effective groupoids. We use this to give a complete graph-theoretic description of the ideal lattice of Leavitt path algebras over arbitrary commutative rings, generalising the classification of ideals in Leavitt path algebras over fields.

[1]  L. O. Clark,et al.  Ideals of Steinberg algebras of strongly effective groupoids, with applications to Leavitt path algebras , 2016, Transactions of the American Mathematical Society.

[2]  K. Rangaswamy,et al.  Finitely presented simple modules over Leavitt path algebras , 2013, 1311.4332.

[3]  B. Steinberg.  Prime étale groupoid algebras with applications to inverse semigroup and Leavitt path algebras , 2018, Journal of Pure and Applied Algebra.

[4]  L. O. Clark,et al.  Kumjian-Pask algebras of finitely-aligned higher-rank graphs , 2015, 1512.06547.

[5]  Tsit Yuen Lam,et al.  A first course in noncommutative rings , 2002 .

[6]  A. Tuganbaev.  Semidistributive Modules and Rings , 1998 .

[7]  Iain Dangerfield.  Leavitt Path Algebras , 2017 .

[8]  W. Leavitt.  The module type of a ring , 1962 .

[9]  T. G. Nam,et al.  Realizing corners of Leavitt path algebras as Steinberg algebras, with corresponding connections to graph C⁎-algebras , 2019, Journal of Algebra.

[10]  B. Steinberg.  Ideals of étale groupoid algebras and Exel’s Effros–Hahn conjecture , 2018, Journal of Noncommutative Geometry.

[11]  J. Renault.  A Groupoid Approach to C*-Algebras , 1980 .

[12]  K. Rangaswamy.  The Theory of Prime Ideals of Leavitt Path Algebras over Arbitrary Graphs , 2011, 1106.4766.

[13]  K. Rangaswamy.  The Multiplicative ideal theory of Leavitt Path Algebras , 2016, 1604.07865.

[14]  J. Bosa,et al.  The realization problem for finitely generated refinement monoids , 2019, Selecta Mathematica.

[15]  L. O. Clark,et al.  Étale Groupoids and Steinberg Algebras a Concise Introduction , 2019, Leavitt Path Algebras and Classical K-Theory.

[16]  T. G. Nam,et al.  Realizing ultragraph Leavitt path algebras as Steinberg algebras , 2020, Journal of Pure and Applied Algebra.

[17]  Z. Mesyan,et al.  Realizing posets as prime spectra of Leavitt path algebras , 2015, 1512.06771.

[18]  M. Tomforde.  Leavitt path algebras with coefficients in a commutative ring , 2009, 0905.0478.

[19]  Mercedes Siles Molina,et al.  Using Steinberg algebras to study decomposability of Leavitt path algebras , 2016, 1603.01033.

[20]  Simon W. Rigby.  The Groupoid Approach to Leavitt Path Algebras , 2018, Leavitt Path Algebras and Classical K-Theory.

[21]  H. Larki.  Ideal Structure of Leavitt Path Algebras with Coefficients in a Unital Commutative Ring , 2012, 1202.5478.

[22]  B. Steinberg.  MODULES OVER ÉTALE GROUPOID ALGEBRAS AS SHEAVES , 2014, Journal of the Australian Mathematical Society.

[23]  Greg Oman,et al.  An infinite cardinal-valued Krull dimension for rings , 2017, Journal of Algebra.

[24]  B. Steinberg.  A Groupoid Approach to Discrete Inverse Semigroup Algebras , 2009, 0903.3456.

[25]  J. Renault,et al.  Graphs, Groupoids, and Cuntz–Krieger Algebras , 1997 .

[26]  M. Tomforde,et al.  A groupoid generalization of Leavitt path algebras , 2011, 1110.6198.

[27]  K. Rangaswamy,et al.  Leavitt path algebras with at most countably many irreducible representatios , 2013, 1309.7917.

[28]  K. Goodearl,et al.  Leavitt path algebras of separated graphs , 2010, 1004.4979.