Related papers: On the cokernel of the Baumslag rationalization

We apply results proved in [Li19] to the linear order expansions of non-trivial free homogeneous structures and the universal n-linear order for $n\geq 2$, and prove the simplicity of their automorphism groups.

It is shown that the subalgebra of invariants of a free associative algebra of finite rank under a linear action of a semisimple Hopf algebra has a rational Hilbert series with respect to the usual degree function, whenever the ground field…

We develop a functorial approach to the study of $n$-abelian categories by reformulating their axioms in terms of their categories of finitely presented functors. Such an approach allows the use of classical homological algebra and…

This article records basic topological, as well as homological properties of the space of homomorphisms Hom(L,G) where L is a finitely generated discrete group, and G is a Lie group, possibly non-compact. If L is a free abelian group of…

We show that the centralizer of a nonscalar element in the coproduct $k\langle X\rangle *k[Y]$ of a free associative algebra and a polynomial algebra over a given field is commutative. For $k\langle X \rangle$ this is part of Bergman's…

In the present paper we continue to examine cellular covers of groups, focusing on the cardinality and the structure of the kernel K of the cellular map G-> M . We show that in general a torsion free reduced abelian group M may have a…

We show that in general for a given group the structure of a maximal hyperbolic tower over a free group is not canonical: We construct examples of groups having hyperbolic tower structures over free subgroups which have arbitrarily large…

We introduce a general class of automorphisms of rotation algebras, the noncommutative Furstenberg transformations. We prove that fully irrational noncommutative Furstenberg transformations have the tracial Rokhlin property, which is a…

We prove that topological isomorphism on procountable groups is not classifiable by countable structures, in the sense of descriptive set theory. In fact, the equivalence relation $\ell_\infty$ expressing that two sequences of reals have a…

We study a naturally occurring $E_{\infty}$-subalgebra of the full $E_2$-Hochschild cochain complex arising from coherent cochains. For group rings and certain category algebras, these cochains detect $H^*(B {\cal{C}})$, the simplicial…

Our main result introduces a new way to characterize two-dimensional finite ball quotients by algebraicity of their Bergman kernels. This characterization is particular to dimension two and fails in higher dimensions, as is illustrated by a…

In this paper we study the structure of cohomology spaces for the Frobenius kernels of unipotent and parabolic algebraic group schemes and of their quantum analogs. Given a simple algebraic group $G$, a parabolic subgroup $P_J$, and its…

We classify solvable Lie groups with a free nilradical admitting an Einstein left-invariant metric. Any such group is essentially determined by the nilradical of its Lie algebra, which is then called an Einstein nilradical. We show that…

Let $G$ be a simple simply connected algebraic group scheme defined over an algebraically closed field of characteristic $p > 0$. Let $T$ be a maximal split torus in $G$, $B \supset T$ be a Borel subgroup of $G$ and $U$ its unipotent…

Let $K$ be a field of characteristic zero, let $\sigma$ be an automorphism of $K$ and let $\delta$ be a $\sigma$-derivation of $K$. We show that the division ring $D=K(x;\sigma,\delta)$ either has the property that every finitely generated…

The classification of algebraic vector bundles of rank 2 over smooth affine fourfolds is a notoriously difficult problem. Isomorphism classes of such vector bundles are not uniquely determined by their Chern classes, in contrast to the…

We show that if a group contains $\mathbb{Z}^n \times F_m$ as a finite-index subgroup, then its cogrowth series is the diagonal of a rational function for every generating set. This answers a question of Pak and Soukup on the cogrowth of…

We show that if $X$ is a smooth Fano variety containing a line or a conic with respect to $-K_X$, then the Frobenius cokernel $\mathcal B_X:=\mathrm{coker}(\mathcal O_X\to F_* \mathcal O_X)$ is not antiample; using this criteria, we show…

Using Arakelov geometry, we compute the partition function of the noncompact free boson at genus two. We begin by compiling a list of modular invariants which appear in the Arakelov theory of Riemann surfaces. Using these quantities, we…

An abelian group is said to be aleph_1-free if all its countable subgroups are free. Our main result is: If R is a ring with R^+ free and |R|<lambda <= 2^{aleph_0}, then there exists an aleph_1-free abelian group G of cardinality lambda…