Searcharxiv⌕ Search

arXiv subjects

Ken A. Brown

Publications and source records attributed to Ken A. Brown.

8 recordsLinked to original sources
arXiv2026

Report on $AS$-Gorenstein Hopf algebras

This is a review of progress on the question whether noetherian Hopf algebras always have finite injective dimension and related good homological properties. As well as discussing in detail the main results giving positive answers for particular classes of Hopf algebras, some consequences of such positive answers are also described. Full definitions and references are included, also sketches of some proofs. A considerable number of open questions are listed, additional to the original question, which itself remains open after 30 years.

math.RA↗
arXiv2025

Pointed Hopf algebras, the Dixmier-Moeglin Equivalence and Noetherian group algebras

This paper addresses the interactions between three properties that a group algebra or more generally a pointed Hopf algebra may possess: being noetherian, having finite Gelfand-Kirillov dimension, and satisfying the Dixmier-Moeglin equivalence. First it is shown that the second and third of these properties are equivalent for group algebras $kG$ of polycyclic-by-finite groups, and are, in turn, equivalent to $G$ being nilpotent-by-finite. In characteristic $0$, this enables us to extend this equivalence to certain cocommutative Hopf algebras. In sections 3 and 4 of the paper finiteness conditions for group algebras are studied. Thus in $§$3 we examine when a group algebra satisfies the Goldie conditions, while in the final section we discuss what can be said about a minimal counterexample to the conjecture that if $kG$ is noetherian then $G$ is polycyclic-by-finite.

math.RA↗
arXiv2024

Twisted unipotent groups

We study the algebraic structure and representation theory of the Hopf algebras ${}_J\mathcal{O}(G)_J$ when $G$ is an affine algebraic unipotent group over $\mathbb{C}$ with $\mathrm{dim}(G) = n$ and $J$ is a Hopf $2$-cocycle for $G$. The cotriangular Hopf algebras ${}_J\mathcal{O}(G)_J$ have the same coalgebra structure as $\mathcal{O}(G)$ but a deformed multiplication. We show that they are involutive $n$-step iterated Hopf Ore extensions of derivation type. The 2-cocycle $J$ has as support a closed subgroup $T$ of $G$, and ${}_J\mathcal{O}(G)_J$ is a crossed product $S \#_σU(\mathfrak{t})$, where $\mathfrak{t}$ is the Lie algebra of $T$ and $S$ is a deformed coideal subalgebra. The simple ${}_J\mathcal{O}(G)_J$-modules are stratified by a family of factor algebras ${}_J\mathcal{O}(Z_g)_J$, parametrised by the double cosets $TgT$ of $T$ in $G$. The finite dimensional simple ${}_J\mathcal{O}(G)_J$-modules are all 1-dimensional, so form a group $Γ$, which we prove to be an explicitly determined closed subgroup of $G$. A selection of examples illustrate our results.

math.QA↗
arXiv2020

Iterated Hopf Ore extensions in positive characteristic

Iterated Hopf Ore extensions (IHOEs) over an algebraically closed base field k of positive characteristic p are studied. We show that every IHOE over k satisfies a polynomial identity, with PI-degree a power of p, and that it is a filtered deformation of a commutative polynomial ring. We classify all 2-step IHOEs over k, thus generalising the classification of 2-dimensional connected unipotent algebraic groups over k. Further properties of 2-step IHOEs are described: for example their simple modules are classified, and every 2-step IHOE is shown to possess a large Hopf center and hence an analog of the restricted enveloping algebra of a Lie k-algebra. As one of a number of questions listed, we propose that such a restricted Hopf algebra may exist for every IHOE over k.

math.RA↗
arXiv2017

Azumaya loci and discriminant ideals of PI algebras

We prove that, under mild assumptions, for all positive integers $\ell$, the zero set of the discriminant ideal $D_{\ell}(R/Z(R); tr)$ of a prime polynomial identity (PI) algebra $R$ coincides with the zero set of the modified discriminant ideal $MD_{\ell}(R/Z(R); tr)$ of $R$. Furthermore, we prove that, when $\ell$ is the square of the PI-degree of $R$, this zero set is precisely the complement of the Azumaya locus of $R$. This description is used to classify the Azumaya loci of the mutiparameter quantized Weyl algebras at roots of unity. As another application, we prove that the zero set of the top discriminant ideal of a prime PI algebra $R$ coincides with the singular locus of the center of $R$, provided that the discriminant ideal has height at least 2, $R$ has finite global dimension and $R$ is a Cohen-Macaulay module over its center.

math.RA↗
arXiv2017

Unimodular graded Poisson Hopf algebras

Let $A$ be a Poisson Hopf algebra over an algebraically closed field of characteristic zero. If $A$ is finitely generated and connected graded as an algebra and its Poisson bracket is homogeneous of degree $d \geq 0$, then $A$ is unimodular; that is, the modular derivation of $A$ is zero. This is a Poisson analogue of a recent result concerning Hopf algebras which are connected graded as algebras.

math.QA↗
arXiv2014

Hopf algebras under finiteness conditions

This is a brief survey of some recent developments in the study of infinite dimensional Hopf algebras which are either noetherian or have finite Gelfand-Kirillov dimension. A number of open questions are listed.

math.RA↗