Related papers: Cohomological finite generation for the group sche…

For every $n \in \mathbb{N}$, we construct a variety of Heyting algebras, whose $n$-generated free algebra is finite but whose $(n+1)$-generated free algebra is infinite.

The class of finitely presented algebras A over a field K with a set of generators x_{1},...,x_{n} and defined by homogeneous relations of the form x_{i_1}x_{i_2}...x_{i_l}=x_{sigma(i_1)}x_{sigma(i_2)}...x_{sigma(i_l)}, where l geq 2 is a…

We study topological Hopf algebras that are holomorphically finitely generated (HFG) as Fr\'echet Arens--Micheal algebras in the sense of Pirkovskii. Some of them, but not all, can be obtained from affine Hopf algebras by applying the…

We study the automorphism groups attached to a free algebra with multiple, possibly infinitely many, composition laws. As an application, we prove that the automorphism group of finitely generated vertex algebras over noetherian rings are…

Let C be a small category and k a field. There are two interesting mathematical subjects: the category algebra kC and the classifying space |C|=BC. We study the ring homomorphism HH*(kC) --> H*(|C|,k) and prove it is split surjective. This…

In this article we prove finite generation of the cohomology of quotients of a PBW algebra A by relating it to the cohomology of quotients of a quantum symmetric algebra S which is isomorphic to the associated graded algebra of A. The proof…

Let $R$ be a complete regular local ring with an algebraically closed residue field and let $A$ be a Noetherian $R$-subalgebra of the polynomial ring $R[X]$. It has been shown in \cite{DO2} that if $\dim R=1$, then $A$ is necessarily…

In support variety theory, representations of a finite dimensional (Hopf) algebra $A$ can be studied geometrically by associating any representation of $A$ to an algebraic variety using the cohomology ring of $A$. An essential assumption in…

For any $n<\omega$ we construct an infinite Heyting algebra $H_n$ which is $(n+1)$-generated but that contains only finite $n$-generated subalgebras. From this we conclude that for every $n<\omega$ there exists a variety of Heyting algebras…

In this expository note we discuss a class of graded algebras named Cox rings, which are naturally associated to algebraic varieties generalizing the homogeneous coordinate rings of projective spaces. Whenever the Cox ring is finitely…

We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$. We describe and classify finite, flat, and linearly reductive subgroup schemes of $\mathrm{SL}_2$ over $\mathrm{Spec}\:\mathcal{O}_K$. We also establish finiteness results for…

The classical theorem of Weitzenboeck states that the algebra of invariants of a single unipotent transformation $g$ in $GL_m(K)$ acting on the polynomial algebra $K[x_1,...,x_m]$ over a field $K$ of characteristic 0 is finitely generated.…

For every finite abelian group $A$ and $n\geq 3$, we construct a finitely presented group defined by explicit generators and relations, such that its center is $\pi_n(\Sigma K(A,1))$.

In this note we give a new existence proof for the universal extension classes for $GL_2$ previously constructed by Friedlander and Suslin via the theory of strict polynomial functors. The key tool in our approach is a calculation of Parker…

Let $D$ be a division algebra such that $D\t D^o$ is a Noetherian algebra, then any division subalgebra of $D$ is a {\em finitely generated} division algebra. Let $\D $ be a finite set of commuting derivations or automorphisms of the…

We describe a few properties of the non semi-simple associative algebra H = M_3 + (M_{2|1}(Lambda2))_0, where Lambda2 is the Grassmann algebra with two generators. We show that H is not only a finite dimensional algebra but also a (non…

It is shown that a separable exact residually finite dimensional C*-algebra with locally finitely generated (rational) even K-homology embeds in a uniformly hyperfinite C*-algebra.

Classes of algebraic structures that are defined by equational laws are called varieties or equational classes. A variety is finitely generated if it is defined by the laws that hold in some fixed finite algebra. We show that every…

We introduce certain $C^*$-algebras and $k$-graphs associated to $k$ finite dimensional unitary representations $\rho_1,...,\rho_k$ of a compact group $G$. We define a higher rank Doplicher-Roberts algebra $\mathcal{O}_{\rho_1,...,\rho_k}$,…