Division algebras of Gelfand-Kirillov transcendence degree 2.

DOI10.1007/S11856-009-0039-4MaRDI QIDQ836102zbMATH OpenOpenAlexFDO

Authors Jason P. Bell

Publication date 31 August 2009

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0702119

zbMATH Keywords

algebras of small growthdivision algebrasdomainsGelfand-Kirillov dimension

Mathematics Subject Classification ID

Infinite-dimensional and general division rings (16K40) Growth rate, Gelfand-Kirillov dimension (16P90) Integral domains (associative rings and algebras) (16U10)

Abstract: Let $A$ be a finitely generated $K$-algebra that is a domain of GK dimension less than 3, and let $Q(A)$ denote the quotient division algebra of $A$. We show that if $D$ is a division subalgebra of $Q(A)$ of GK dimension at least 2 then $Q(A)$ is finite dimensional as a left $D$-vector space. We use this to show that if $A$ is a finitely generated domain of GK dimension less than 3 over an algebraically closed field $K$ then any division subalgebra $D$ of $Q(A)$ is either a finitely generated field extension of $K$ of transcendence degree at most one, or $Q(A)$ is finite dimensional as a left $D$-vector space.

Review text

In this interesting paper, the author studies domains of Gelfand-Kirillov dimension smaller than three. \textit{M. Artin} and \textit{J. T. Stafford} [Invent. Math. 122, No. 2, 231-276 (1995; Zbl 0849.16022)] described graded domains of Gelfand-Kirillov dimension two. However the ungraded case is much more complicated and not well understood. The main result of the paper is the following beautiful theorem. Theorem 1.2. Let \(K\) be a field and let \(A\) be a finitely generated \(K\)-algebra of Gelfand-Kirillov dimension strictly less than three that is a domain and let \(Q(A)\) denote the quotient division algebra of \(A\). Suppose \[ K= D_0\subseteq D_1\subseteq D_2\subseteq\cdots\subseteq D_m\subseteq Q(A) \] is a chain of division subalgebras of \(Q(A)\) such that 1. \(D_i\) is infinite-dimensional as a left \(D_{i-1}\)-vector space for \(i=1,2,\dots,m\). 2. \(D_i\) is finitely generated as a division algebra for \(i=1,2,\dots,m\). -- Then \(m\leq 2\). As an application the author proves the following useful theorem. Theorem 1.3. Let \(K\) be a field and let \(A\) be a finitely generated \(K\)-algebra of Gelfand-Kirillov dimension strictly less than three that is a domain and let \(Q(A)\) denote the quotient division algebra of \(A\). If \(D\) is a division subalgebra of \(Q(A)\) and \(D\) has Gelfand-Kirillov dimension at least two, then \(Q(A)\) is finite-dimensional as a left \(D\)-vector space. Another interesting consequence of Theorem 1.2 is the following. Theorem 1.4. Let \(K\) be an algebraically closed field and let \(A\) be a finitely generated \(K\) algebra that is a domain of Gelfand-Kirillov dimension smaller than three. If \(D\) is a division subalgebra of \(Q(A)\), then either \(D\) is commutative or \(Q(A)\) is finite-dimensional as a left \(D\)-vector space; moreover, if \(D\) is commutative and has transcendence degree at least two over \(K\), then \(Q(A)\) is finite-dimensional over its centre.

Recommendations

• On Gelfand-Kirillov Transcendence Degree
• On the structure of division algebras of index 2^m
• Transcendence degree of division algebras.
• Graded-division algebras and Galois extensions
• Simple algebras of Gelfand-Kirillov dimension two
• Division algebras over \(C_{2}\)- and \(C_{3}\)-fields
• Division Algebras of Prime Degree and Maximal Galois p-Extensions
• Division algebras of exponent 2 and characteristic 2
• A dichotomy result for prime algebras of Gelfand-Kirillov dimension two.

Cites work

• Centers in domains with quadratic growth.
• CENTRALIZERS IN DOMAINS OF GELFAND–KIRILLOV DIMENSION 2
• HOMOLOGICAL TRANSCENDENCE DEGREE
• scientific article; zbMATH DE number 1066305 (Why is no real title available?)
• scientific article; zbMATH DE number 1380629 (Why is no real title available?)
• Noncommutative curves and noncommutative surfaces.
• Noncommutative graded domains with quadratic growth
• On lower transcendence degree
• On structure of domains with quadratic growth.
• Prime affine algebras of Gelfand-Kirillov dimension one
• Stratiform Simple Artinian Rings
• Sur les corps liés aux algèbres enveloppantes des algèbres de Lie
• The Artin-Stafford gap theorem
• The skew field of fractions of the weyl algebra contains a free noncommutative subalgebra
• There are no graded domains with GK dimension strictly between 2 and 3.

Cited in

(15)

• Transcendence degree of division algebras.
• Rings of differential operators on curves.
• On weakly locally finite division rings
• Free subalgebras of division algebras over uncountable fields.
• The \(q\)-division ring and its fixed rings.
• Embeddings of quotient division algebras of rings of differential operators
• Zariski cancellation problem for noncommutative algebras
• There are no graded domains with GK dimension strictly between 2 and 3.
• Centralizers in domains of finite Gelfand-Kirillov dimension
• On the GK-transcendency degree of division rings of fractions of polycyclic group rings
• CENTRALIZERS IN DOMAINS OF GELFAND–KIRILLOV DIMENSION 2
• The Artin-Stafford gap theorem
• Gelfand-Kirillov dimension of commutative subalgebras of simple infinite dimensional algebras and their quotient division algebras
• On Gelfand-Kirillov Transcendence Degree
• HOMOLOGICAL TRANSCENDENCE DEGREE

This page was built for publication: Division algebras of Gelfand-Kirillov transcendence degree 2.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q836102)