Invariants of domains with finite GK dimension. (Q2634819)

Let \(F\) be a field, \(q\in F^*\) and \(\sigma\) an \(F\)-linear automorphism of an \(F\)-algebra \(R\), then an \(F\)-linear function \(\delta\colon R\to R\) is called a \(q\)-skew derivation or \(q\)-skew \(\sigma\)-derivation of \(R\) if \[ \delta(ab)=\delta(a)b+\sigma(a)\delta(b),\quad\text{ and }\quad\delta(\sigma(a))=q\sigma(\delta(a)),\quad a,b\in R. \] Theorem. Let \(A\) be a finitely generated domain with \(\mathrm{GKdim}(A)<\infty\) and let \(\delta\) be a \(q\)-skew \(\sigma\)-derivation of the quotient division ring \(Q(A)\). If \(\delta\) is not algebraic over \(A^\delta\), then \(\mathrm{GKdim}(A)-\mathrm{GKdim}(A^\delta)\geq 1\). Corollary. Let \(A\) be a domain over a field \(F\) with \(2\leq\mathrm{GKdim}(A)<3\) and let \(\delta\) be a \(q\)-skew \(\sigma\)-derivation of \(Q(A)\). 1) If \(\delta\) is not algebraic over \(A^\delta\) where \(A\) is finitely generated and \(F\) is algebraically closed, then \(A^\delta\) is commutative. 2) If \(A\) does not satisfy a polynomial identity and \(A^\delta\) is commutative, where \(\delta\) is continuous (i.e. there exists a non-zero ideal \(I\) of \(A\) such that \(\delta(I)\cup\sigma(I)\cup\sigma^{-1}(I)\subseteq A\)), then \(\delta\) is not algebraic over \(Q(A)\).