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

K. R. Goodearl

K. R. Goodearl contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RAmath.QAmath.RTmath.COmath.OAmath.AGmath.GRmath.KT

Trust snapshot

Quick read

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

15 published item(s)

preprint2020arXiv

Catenarity in quantum nilpotent algebras

In this paper, it is established that quantum nilpotent algebras (also known as CGL extensions) are catenary, i.e., all saturated chains of inclusions of prime ideals between any two given prime ideals $P \subsetneq Q$ have the same length. This is achieved by proving that the prime spectra of these algebras have normal separation, and then establishing the mild homological conditions necessary to apply a result of Lenagan and the first author. The work also recovers the Tauvel height formula for quantum nilpotent algebras, a result that was first obtained by Lenagan and the authors through a different approach.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Integral quantum cluster structures

We prove a general theorem for constructing integral quantum cluster algebras over ${\mathbb{Z}}[q^{\pm 1/2}]$, namely that under mild conditions the integral forms of quantum nilpotent algebras always possess integral quantum cluster algebra structures. These algebras are then shown to be isomorphic to the corresponding upper quantum cluster algebras, again defined over ${\mathbb{Z}}[q^{\pm 1/2}]$. Previously, this was only known for acyclic quantum cluster algebras. The theorem is applied to prove that for every symmetrizable Kac-Moody algebra ${\mathfrak{g}}$ and Weyl group element $w$, the dual canonical form $A_q({\mathfrak{n}}_+(w))_{\mathbb{Z}[q^{\pm 1}]}$ of the corresponding quantum unipotent cell has the property that $A_q( {\mathfrak{n}}_+(w))_{\mathbb{Z}[q^{\pm 1}]} \otimes_{\mathbb{Z}[q^{ \pm 1}]} {\mathbb{Z}}[ q^{\pm 1/2}]$ is isomorphic to a quantum cluster algebra over ${\mathbb{Z}}[q^{\pm 1/2}]$ and to the corresponding upper quantum cluster algebra over ${\mathbb{Z}}[q^{\pm 1/2}]$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

From quantum Ore extensions to quantum tori via noncommutative UFDs

All iterated skew polynomial extensions arising from quantized universal enveloping algebras of Kac-Moody algebras are special examples of a very large, axiomatically defined class of algebras, called CGL extensions. For the purposes of constructing initial clusters for quantum cluster algebra structures on an algebra R, and classification of the automorphisms of R, one needs embeddings of R into quantum tori T which have the property that R contains the corresponding quantum affine space algebra A. We explicitly construct such an embedding A \subseteq R \subset T for each CGL extension R using the methods of noncommutative noetherian unique factorization domains and running a Gelfand-Tsetlin type procedure with normal, instead of central elements. Along the way we classify the homogeneous prime elements of all CGL extensions and we prove that each CGL extension R has an associated maximal torus which covers the automorphisms of R corresponding to all normal elements. For symmetric CGL extensions, we describe the relationship between our quantum affine space algebra A and Cauchon's quantum affine space algebra generated by elements obtained via deleting derivations.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quantum cluster algebras and quantum nilpotent algebras

A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding upper quantum cluster algebras. We also establish analogs of these results for a large class of Poisson nilpotent algebras. Many important families of coordinate rings are subsumed in the class we are covering, which leads to a broad range of application of the general results to the above mentioned types of problems. As a consequence, we prove the Berenstein--Zelevinsky conjecture for the quantized coordinate rings of double Bruhat cells and construct quantum cluster algebra structures on all quantum unipotent groups, extending the theorem of Geiß, Leclerc and Schröer for the case of symmetric Kac--Moody groups. Moreover, we prove that the upper cluster algebras of Berenstein, Fomin and Zelevinsky associated to double Bruhat cells coincide with the corresponding cluster algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The realization problem for some wild monoids and the Atiyah problem

The Realization Problem for (von Neumann) regular rings asks what are the conical refinement monoids which can be obtained as the monoids of isomorphism classes of finitely generated projective modules over a regular ring. The analogous realization question for the larger class of exchange rings is also of interest. A refinement monoid is said to be wild if it cannot be expressed as a direct limit of finitely generated refinement monoids. In this paper, we consider the problem of realizing some concrete wild refinement monoids by regular rings and by exchange rings. The most interesting monoid we consider is the monoid M obtained by successive refinements of the identity x_0+y_0=x_0+z_0. This monoid is known to be realizable by the algebra A = K[F] of the monogenic free inverse monoid F, for any choice of field K, but A is not an exchange ring. We show that, for any uncountable field K, M is not realizable by a regular K-algebra, but that a suitable universal localization of A provides an exchange, non-regular, K-algebra realizing M. For any countable field F, we show that a skew version of the above construction gives a regular F-algebra realizing M. Finally, we develop some connections with the Atiyah Problem for the lamplighter group G (the wreath product of Z/2Z by Z). We prove that the algebra A can be naturally seen as a *-subalgebra of the group algebra KG, for any complex subfield K closed under conjugation, and we determine the structure of the *-regular closure of A in the regular ring of G. Using this, we show that the subgroup of R generated by the von Neumann dimensions of matrices over KG contains the rational field.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Repetitive resolutions over classical orders and finite dimensional algebras

Repetitiveness in projective and injective resolutions and its influence on homological dimensions are studied. Some variations on the theme of repetitiveness are introduced, and it is shown that the corresponding invariants lead to very good -- and quite accessible -- upper bounds on various finitistic dimensions in terms of individual modules. These invariants are the `repetition index&#39; and the `syzygy type&#39; of a module $M$ over an artinian ring $Λ$. The repetition index measures the degree of repetitiveness among non-projective direct summands of the syzygies of $M$, while the syzygy type of $M$ measures the number of indecomposable modules among direct summands of the syzygies of $M$. It is proved that if $T$ is a right $Λ$-module which contains an isomorphic copy of $Λ/J(Λ)$, then the left big finitistic dimension of $Λ$ is bounded above by the repetition index of $T$, which in turn is bounded above by the syzygy type of $T$. The finite dimensional $K$-algebras $Λ= {\cal O}/π{\cal O}$, where $\cal O$ is a classical order over a discrete valuation ring $D$ with uniformizing parameter $π$ and residue class field $K$, are investigated. It is proved that, if $\text{gl.dim.}\, {\cal O} =d<\infty$, then the global repetition index of $Λ$ is $d-1$ and all finitely generated $Λ$-modules have finite syzygy type. Various examples illustrating the results are presented.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Tame and wild refinement monoids

The class of refinement monoids (abelian monoids satisfying the Riesz refinement property) is subdivided into those which are tame, defined as being an inductive limit of finitely generated refinement monoids, and those which are wild, i.e., not tame. It is shown that tame refinement monoids enjoy many positive properties, including separative cancellation ($2x=2y=x+y \implies x=y$) and multiplicative cancellation with respect to the algebraic ordering ($mx\le my \implies x\le y$). In contrast, examples are constructed to exhibit refinement monoids which enjoy all the mentioned good properties but are nonetheless wild.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Unipotent and Nakayama automorphisms of quantum nilpotent algebras

Automorphisms of algebras $R$ from a very large axiomatic class of quantum nilpotent algebras are studied using techniques from noncommutative unique factorization domains and quantum cluster algebras. First, the Nakayama automorphism of $R$ (associated to its structure as a twisted Calabi-Yau algebra) is determined and shown to be given by conjugation by a normal element, namely, the product of the homogeneous prime elements of $R$ (there are finitely many up to associates). Second, in the case when $R$ is connected graded, the unipotent automorphisms of $R$ are classified up to minor exceptions. This theorem is a far reaching extension of the classification results [20, 22] previously used to settle the Andruskiewitsch--Dumas and Launois--Lenagan conjectures. The result on unipotent automorphisms has a wide range of applications to the determination of the full automorphisms groups of the connected graded algebras in the family. This is illustrated by a uniform treatment of the automorphism groups of the generic algebras of quantum matrices of both rectangular and square shape [13, 20].

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Zariski topologies on stratified spectra of quantum algebras

A framework is developed to describe the Zariski topologies on the prime and primitive spectra of a quantum algebra $A$ in terms of the (known) topologies on strata of these spaces and maps between the collections of closed sets of different strata. A conjecture is formulated, under which the desired maps would arise from homomorphisms between certain central subalgebras of localized factor algebras of $A$. When the conjecture holds, spec $A$ and prim $A$ are then determined, as topological spaces, by a finite collection of (classical) affine algebraic varieties and morphisms between them. The conjecture is verified for ${\cal O}_q(GL_2(k))$, ${\cal O}_q(SL_3(k))$, and ${\cal O}_q(M_2(k))$ when $q$ is a non-root of unity and the base field $k$ is algebraically closed.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

C*-algebras of separated graphs

The construction of the C*-algebra associated to a directed graph $E$ is extended to incorporate a family $C$ consisting of partitions of the sets of edges emanating from the vertices of $E$. These C*-algebras $C^*(E,C)$ are analyzed in terms of their ideal theory and K-theory, mainly in the case of partitions by finite sets. The groups $K_0(C^*(E,C))$ and $K_1(C^*(E,C))$ are completely described via a map built from an adjacency matrix associated to $(E,C)$. One application determines the K-theory of the C*-algebras $U^{\text{nc}}_{m,n}$, confirming a conjecture of McClanahan. A reduced C*-algebra $\Cstred(E,C)$ is also introduced and studied. A key tool in its construction is the existence of canonical faithful conditional expectations from the C*-algebra of any row-finite graph to the C*-subalgebra generated by its vertices. Differences between $\Cstred(E,C)$ and $C^*(E,C)$, such as simplicity versus non-simplicity, are exhibited in various examples, related to some algebras studied by McClanahan.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Irreducible components of module varieties: projective equations and rationality

We expand the existing arsenal of methods for exploring the irreducible components of the varieties $Rep(A,\bold d)$ which parametrize the representations with dimension vector $\bold d$ of a finite dimensional algebra $A$. To do so, we move back and forth between $Rep(A,\bold d)$ and a projective variety, $GRASS(A,\bold d)$, parametrizing the same set of isomorphism classes of modules. In particular, we show the irreducible components to be accessible in a highly compressed format within the projective setting. Our results include necessary and sufficient conditions for unirationality, smoothness, and normality, followed by applications. Moreover, they provide equational access to the irreducible components of $GRASS(A,\bold d)$ and techniques for deriving qualitative information regarding both the affine and projective scenarios.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Leavitt path algebras of separated graphs

The construction of the Leavitt path algebra associated to a directed graph $E$ is extended to incorporate a family $C$ consisting of partitions of the sets of edges emanating from the vertices of $E$. The new algebras, $L_K(E,C)$, are analyzed in terms of their homology, ideal theory, and K-theory. These algebras are proved to be hereditary, and it is shown that any conical abelian monoid occurs as the monoid $\mon{L_K(E,C)}$ of isomorphism classes of finitely generated projective modules over one of these algebras. The lattice of trace ideals of $L_K(E,C)$ is determined by graph-theoretic data, namely as a lattice of certain pairs consisting of a subset of $E^0$ and a subset of $C$. Necessary conditions for $\mon{L_K(E,C)}$ to be a refinement monoid are developed, together with a construction that embeds $(E,C)$ in a separated graph $(E_+,C^+)$ such that $\mon{L_K(E_+,C^+)}$ has refinement.

0 citations0 reviewsNo code linkedOpen access