On Bousfield's problem for solvable groups of finite Pr\"ufer rank

For a group $G$ and $R=\mathbb Z,\mathbb Z/p,\mathbb Q$ we denote by $\hat G_R$ the $R$-completion of $G.$ We study the map $H_n(G,K)\to H_n(\hat G_R,K),$ where $(R,K)=(\mathbb Z,\mathbb Z/p),(\mathbb Z/p,\mathbb Z/p),(\mathbb Q,\mathbb Q).$ We prove that $H_2(G,K)\to H_2(\hat G_R,K)$ is an epimorphism for a finitely generated solvable group $G$ of finite Pr\"ufer rank. In particular, Bousfield's $HK$-localisation of such groups coincides with the $K$-completion for $K=\mathbb Z/p,\mathbb Q.$ Moreover, we prove that $H_n(G,K)\to H_n(\hat G_R,K)$ is an epimorphism for any $n$ if $G$ is a finitely presented group of the form $G=M\rtimes C,$ where $C$ is the infinite cyclic group and $M$ is a $C$-module

On the Hochschild cohomology ring of the quaternion group of order eight in characteristic two

Let $k$ be an algebraically closed field of characteristic two and let $Q_8$ be the quaternion group of order $8$. We determine the Gerstenhaber Lie algebra structure and the Batalin-Vilkovisky structure on the Hochschild cohomology ring of the group algebra $kQ_8$

Higher Jacobi identities

By definition the identities $[x_1,x_2]+[x_2,x_1]=0$ and $[x_1,x_2,x_3]+[x_2,x_3,x_1]+[x_3,x_1,x_2]=0$ hold in any Lie algebra. It is easy to check that the identity $[x_1,x_2,x_3,x_4]+[x_2,x_1,x_4,x_3]+[x_3,x_4,x_1,x_2]+[x_4,x_3,x_2,x_1] = 0$ holds in any Lie algebra as well. We investigate sets of permutations that give identities of this kind. In particular, we construct a family of such subsets $T_{k,l,n}$ of the symmetric group $S_n,$ and hence, a family of identities that hold in any Lie algebra

Hyper-sparsity of the density matrix in a wavelet representation

O(N) methods are based on the decay properties of the density matrix in real space, an effect sometimes refered to as near-sightedness. We show, that in addition to this near-sightedness in real space there is also a near-sightedness in Fourier space. Using a basis set with good localization properties in both real and Fourier space such as wavelets, one can exploit both localization properties to obtain a density matrix which exhibits additional sparseness properties compared to the scenario where one has a basis set with real space localization only. We will call this additional sparsity hyper-sparsity. Taking advantage of this hyper-sparsity, it is possible to represent very large quantum mechanical systems in a highly compact way. This can be done both for insulating and metallic systems and for arbitrarily accurate basis sets. We expect that hyper-sparsity will pave the way for O(N) calculations of large systems requiring many basis functions per atom, such as Density Functional calculations.Comment: 4 color figures, 3 normal figure

A higher limit approach to homology theories

A lot of well-known functors such as group homology, cyclic homology of algebras can be described as limits of certain simply defined functors over categories of presentations. In this paper, we develop technique for the description of the higher limits over categories of presentations and show that certain homological functors can be described in this way. In particular, we give a description of Hochschild homology and the derived functors of tensor, symmetric and exterior powers in the sense of Dold and Puppe as higher limits.Comment: 25 page

Generalized Jacobi identities and Jacobi elements of the group ring of the symmetric group

By definition the identities $[x_1, x_2] + [x_2, x_1] = 0$ and $[x_1, x_2, x_3] + [x_2, x_3, x_1] + [x_3, x_1, x_2] = 0$ hold in any Lie algebra. It is easy to check that the identity $[x_1, x_2, x_3, x_4] + [x_2, x_1, x_4, x_3] + [x_3, x_4, x_1, x_2] + [x_4, x_3, x_2, x_1] = 0$ holds in any Lie algebra as well. I. Alekseev in his recent work introduced the notion of Jacobi subset of the symmetric group $S_n$. It is a subset of $S_n$ that gives an identity of this kind. We introduce a notion of Jacobi element of the group ring $\mathbb{Z}[S_n]$ and describe them on the language of equations on coefficients. Using this description we obtain a purely combinatorial necessary and sufficient condition for a subset to be Jacobi

On Bousfield problem for the class of metabelian groups

The homological properties of localizations and completions of metabelian groups are studied. It is shown that, for $R=\mathbb Q$ or $R=\mathbb Z/n$ and a finitely presented metabelian group $G$, the natural map from $G$ to its $R$-completion induces an epimorphism of homology groups $H_2(-,R)$. This answers a problem of A.K. Bousfield for the class of metabelian groups.Comment: 31 page

Mod-2 (co)homology of an abelian group

It is known that for a prime $p\ne 2$ there is the following natural description of the homology algebra of an abelian group $H_*(A,\mathbb F_p)\cong \Lambda(A/p)\otimes \Gamma({}_pA)$ and for finitely generated abelian groups there is the following description of the cohomology algebra of $H^*(A,\mathbb F_p)\cong \Lambda((A/p)^\vee)\otimes {\sf Sym}(({}_pA)^\vee).$ We prove that there are no such descriptions for $p=2$ that `depend' only on $A/2$ and ${}_2A$ but we provide natural descriptions of $H_*(A,\mathbb F_2)$ and $H^*(A,\mathbb F_2)$ that `depend' on $A/2,$ ${}_2A$ and a linear map $\tilde \beta:{}_2A\to A/2.$ Moreover, we prove that there is a filtration by subfunctors on $H_n(A,\mathbb F_2)$ whose quotients are $\Lambda^{n-2i}(A/2)\otimes \Gamma^i({}_2A)$ and that for finitely generated abelian groups there is a natural filtration on $H^n(A,\mathbb F_2)$ whose quotients are $ \Lambda^{n-2i}((A/2)^\vee)\otimes {\sf Sym}^i(({}_2A)^\vee).

A finite Q-bad space

We prove that for a free noncyclic group $F$, $H_2(\hat F_\mathbb Q, \mathbb Q)$ is an uncountable $\mathbb Q$-vector space. Here $\hat F_\mathbb Q$ is the $\mathbb Q$-completion of $F$. This answers a problem of A.K. Bousfield for the case of rational coefficients. As a direct consequence of this result it follows that, a wedge of circles is $\mathbb Q$-bad in the sense of Bousfield-Kan. The same methods as used in the proof of the above results allow to show that, the homology $H_2(\hat F_\mathbb Z,\mathbb Z)$ is not divisible group, where $\hat F_\mathbb Z$ is the integral pronilpotent completion of $F$

Higher limits, homology theories and fr-codes

This text is based on lectures given by authors in summer 2015. It contains an introduction to the theory of limits over the category of presentations, with examples of different well-known functors like homology or derived functors of non-additive functors in a form of derived limits. The theory of so-called ${\bf fr}$-codes also is developed. This is a method how different functors from the category of groups to the category of abelian groups, such as group homology, tensor products of abelianization, can be coded as sentences in the alphabet with two symbols ${\bf f}$ and ${\bf r}$.Comment: 23 page