BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Roman Mikhailov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We construct a finitely presented group $G$ such that the $7$th dimension quotient $G\cap(1+\varpi(\mathbb Z G)^7)/γ_7(G)$ has an element of order $3$; this immediately leads to a finite $3$-group without the dimension property. This contradicts a series of results by N. Gupta.
We establish a bridge between homotopy groups of spheres and commutator calculus in groups, and solve in this manner the "dimension problem" by providing a converse to Sjogren's theorem: every abelian group of bounded exponent can be embedded in the dimension quotient of a group. This is proven by embedding for arbitrary $s,d$ the torsion of the homotopy group $π_s(S^d)$ into a dimension quotient, via a result of Wu. In particular, this invalidates some long-standing results in the literature, since for every prime $p$, there is some $p$-torsion in $π_{2p}(S^2)$ by a result of Serre. We explain in this manner Rips's famous counterexample to the dimension conjecture in terms of the homotopy group $π_4(S^2)=\mathbb Z/2\mathbb Z$. We finally obtain analogous results in the context of Lie rings: for every prime $p$ there exists a Lie ring with $p$-torsion in some dimension quotient.
We consider a functor from the category of groups to itself $G\mapsto \mathbb Z_\infty G$ that we call right exact $\mathbb Z$-completion of a group. It is connected with the pronilpotent completion $\hat G$ by the short exact sequence $1\to {\varprojlim}^1\: M_n G \to \mathbb Z_\infty G \to \hat G \to 1,$ where $M_n G$ is $n$-th Baer invariant of $G.$ We prove that $\mathbb Z_\infty π_1(X)$ is an invariant of homological equivalence of a space $X$. Moreover, we prove an analogue of Stallings' theorem: if $G\to G'$ is a 2-connected group homomorphism, then $\mathbb Z_\infty G\cong \mathbb Z_\infty G'.$ We give examples of $3$-manifolds $X,Y$ such that $ \hat{π_1(X)}\cong \hat{π_1( Y)}$ but $\mathbb Z_\infty π_1(X)\not \cong \mathbb Z_\infty π_1(Y).$ We prove that for a finitely generated group $G$ we have $(\mathbb Z_\infty G)/ γ_ω= \hat G.$ So the difference between $\hat G$ and $\mathbb Z_\infty G$ lies in $γ_ω.$ This allows us to treat $\mathbb Z_\infty π_1(X)$ as a transfinite invariant of $X.$ The advantage of our approach is that it can be used not only for $3$-manifolds but for arbitrary spaces.
In this paper, an explicit construction of a countable parafree Lie algebra over $\mathbb Z/2$ with nonzero second homology is given. It is also shown that the cohomological dimension of the pronilpotent completion of a free noncyclic finitely generated Lie algebra over $\mathbb Z$ is greater than two. Moreover, it is proven that there exists a countable parafree group with nontrivial $H_2$.
A theory of higher colimits over categories of free presentations is developed. It is shown that different homology functors such as Hoshcshild and cyclic homology of algebras over a field of characteristic zero, simplicial derived functors, and group homology can be obtained as higher colimits of simply defined functors. Connes' exact sequence linking Hochschild and cyclic homology was obtained using this approach as a corollary of a simple short exact sequence. As an application of the developed theory it is shown that the third reduced $K$-functor can be defined as the colimit of the second reduced $K$-functor applied to the fibre square of a free presentation of an algebra. A Hopf-type formula for odd dimensional cyclic homology of an algebra over a field of characteristic zero is also proved.
For a strongly connected category $\mathcal C$ with pair-wise coproducts, we introduce a cosimplicial object, which serves as a sort of resolution for computing higher derived functors of ${\sf lim} : \mathrm{Ab}^{\mathcal C}\to \mathrm{Ab}$. Applications involve Künneth theorem for higher limits and ${\sf lim}$-finiteness of ${\bf fr}$-codes. A dictionary for the ${\bf fr}$-codes with words of length $\leq 3$ is given.
An approach to identify the normal subgroups determined by ideals in free group rings with the help of the derived functors of non-additive functors is explored. A similar approach, i.e., via derived functors, for computing limits of functors from the category of free presentations to the category of abelian groups, arising from commutator structure of free groups, is also discussed.
This paper is about application of various homological methods to classical problems in the theory of group rings. It is shown that the third homology of groups plays a key role in Narain Gupta's three normal subgroup problem. For a free group $F$ and its normal subgroups $R,\,S,\,T,$ and the corresponding ideals in the integral group ring $\mathbb Z[F]$, ${\bf r}=(R-1)\mathbb Z[F],\ {\bf s}=(S-1)\mathbb Z[F],\ {\bf t}=(T-1)\mathbb Z[F],$ a complete description of the normal subgroup $F\cap (1+{\bf rst})$ is given, provided $R\subseteq T$ and the third and the fourth homology groups of $R/R\cap S$ are torsion groups.
In this paper, the $H\mathbb Z$-length of different groups is studied. By definition, this is the length of $H\mathbb Z$-localization tower or the length of transfinite lower central series of $H\mathbb Z$-localization. It is proved that, for a free noncyclic group, its $H\mathbb Z$-length is $\geq ω+2$. For a large class of $\mathbb Z[C]$-modules $M,$ where $C$ is an infinite cyclic group, it is proved that the $H\mathbb Z$-length of the semi-direct product $M\rtimes C$ is $\leq ω+1$ and its $H\mathbb Z$-localization can be described as a central extension of its pro-nilpotent completion. In particular, this class covers modules $M$, such that $M\rtimes C$ is finitely presented and $H_2(M\rtimes C)$ is finite.
In this article, we give a combinatorial approach to the exponents of the Moore spaces. Our result states that the projection of the $p^{r+1}$-th power map of the loop space of the $(2n+1)$-dimensional mod $p^r$ Moore space to its atomic piece containing the bottom cell $T^{2n+1}\{p^r\}$ is null homotopic for $n>1$, $p>3$ and $r>1$. This result strengthens the classical result that $ΩT^{2n+1}\{p^r\}$ has an exponent $p^{r+1}$.
Every two-sided ideal $\mathfrak a$ in the integral group ring $\mathbb Z[G] $ of a group $G$ determines a normal subgroup $G \cap (1 + \mathfrak a)$ of $G$. In this paper certain problems related to the identification of such subgroups, and their relationship with derived functors in the sense of Dold-Puppe, are discussed.
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}$.
Let $G$ be a group and $R,S,T$ its normal subgroups. There is a natural extension of the concept of commutator subgroup for the case of three subgroups $\|R,S,T\|$ as well as the natural extension of the symmetric product $\|\bf r,\bf s,\bf t\|$ for corresponding ideals $\bf r,\bf s, \bf t$ in the integral group ring $\mathbb Z[G]$. In this paper, it is shown that the generalized dimension subgroup $G\cap (1+\|\bf r,\bf s,\bf t\|)$ has exponent 2 modulo $\|R,S,T\|.$ The proof essentially uses homotopy theory. The considered generalized dimension quotient of exponent 2 is identified with a subgroup of the kernel of the Hurewicz homomorphism for the loop space over a homotopy colimit of classifying spaces.
A natural composition $\odot$ on all pages of the lower central series spectral sequence for spheres is defined. Moreover, it is defined for $p$-lower central series spectral sequence of a simplicial group. It is proved that $r$th differential satisfies a "Leibiz rule with suspension": $d^r(a\odot σb)=\pm d^ra\odot b+a\odot d^rσb,$ where $σ$ is the suspension homomorphism.
For $n\geq 2$, the homotopy groups $π_n(S^2)$ are non-zero.
In this article, we study the exponents of metastable homotopy of mod $2$ Moore spaces. Our result gives that the double loop space of $4n$-dimensional mod $2$ Moore spaces has a multiplicative exponent $4$ below the range of $4$ times the connectivity. As a consequence, the homotopy groups of $4n$-dimensional mod $2$ Moore spaces have an exponent $4$ below the range of $4$ times the connectivity.
For normal subgoups $R$ and $S$ of a free group $F$, an identification of the subgroup $F\cap (1+\mathfrak r\mathfrak f\mathfrak s)$ is derived, and it is shown that the the quotient $\frac{F\cap (1+\mathfrak r\mathfrak f\mathfrak s)}{[R'\cap S',\, R\cap S][R'\cap S,\,R'\cap S][R\cap S',\, R\cap S']}$ is, in general, non-trivial.
A one-relator group with lower central series of length ω^2 is constructed. This answers a problem of G. Baumslag.
Some minor changes to the exposition.
If G and H are finitely generated, residually nilpotent metabelian groups, H is termed para-G if there is a homomorphism of G into H which induces an isomorphism between the corresponding terms of their lower central quotient groups. We prove that this is an equivalence relation. It is a much coarser relation than isomorphism, our ultimate concern. It turns out that many of the groups in a given equivalence class share various properties including finite presentability. There are examples, such as the lamplighter group, where an equivalence class consists of a single isomorphism class and others where this is not the case. We give several examples where we solve the Isomorphism Problem. We prove also that the sequence of torsion-free ranks of the lower central quotients of a finitely generated metabelian group is computable. In a future paper we plan on proving that there is an algorithm to compute the numerator and denominator of the rational Poincaré series of a finitely generated metabelian group and will carry out this computation in a number of examples, which may shed a tiny bit of light on the Isomorphism Problem. Our proofs use localization, class field theory and some constructive commutative algebra.
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.
We construct a finitely-presented group such that its Vogel-Levine localization is not transfinitely nilpotent. This answers a problem of J. P. Levine.
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.
A. K. Bousfield's $H\mathbb Z$-localization of groups inverts homologically two-connected homomorphisms of groups. J. P. Levine's algebraic closure of groups inverts homomorphisms between finitely generated and finitely presented groups which are homologically two-connected and for which the image normally generates. We resolve an old problem concerning Bousfield $H\mathbb Z$-localization of groups, and answer two questions of Levine regarding algebraic closure of groups. In particular, we show that the kernel of the natural homomorphism from a group $G$ to it's Bousfield $H\mathbb Z$-localization is not always a $G$-perfect subgroup. In the case of algebraic closure of groups, we prove the analogous result that this kernel is not always an invisible subgroup.
In this paper we study the residual nilpotence of groups defined by basic commutators. We prove that the so-called Hydra groups as well as certain of their generalizations and quotients are, in the main, residually torsion-free nilpotent. By way of contrast we give an example of a group defined by two basic commutators which is not residually torsion-free nilpotent.
A group is metabelian if its commutator subgroup is abelian. For finitely generated metabelian groups, classical commutative algebra, algebraic geometry and geometric group theory, especially the latter two subjects, can be brought to bear on their study. The object of this paper is to describe some of the new ideas and open problems that arise.
We develop methods for proving that certain extensions of polynomial functors do not split naturally. As an application we give a functorial description of the third and the fourth stable homotopy groups of the classifying spaces of free abelian groups.
We give a combinatorial description of general homotopy groups of $k$-dimensional spheres with $k\geq3$ as well as those of Moore spaces. For $n>k\geq 3,$ we construct a finitely generated group defined by explicit generators and relations, whose center is exactly $π_n(S^k)$.
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 $π_n(ΣK(A,1))$.
We develop a functorial approach to the study of the homotopy groups of spheres and Moore spaces $M(A,n)$, based on the Curtis spectral sequence and the decomposition of Lie functors as iterates of simpler functors such as the symmetric or exterior algebra functors. The discussion takes place over the integers, and includes a functorial description of the derived functors of certain Lie algebra functors, as well as of all the main cubical functors (such as the degree 3 component $SP^3$ of the symmetric algebra functor). As an illustration of this method, we retrieve in a purely algebraic manner the 3-torsion component of the homotopy groups of the 2-sphere up to degree 14, and give a unified presentation of homotopy groups $π_i(M(A,n))$ for small values of both $n$ and $i$.
We study the homology of the dual de Rham complex as functors on the category of abelian groups. We give a description of homology of the dual de Rham complex up to degree 7 for free abelian groups and present a corrected version of the proof of Jean's computations of the zeroth homology group.
In this paper homotopical methods for the description of subgroups determined by ideals in group rings are introduced. It is shown that in certain cases the subgroups determined by symmetric product of ideals in group rings can be described with the help of homotopy groups of spheres.
In this paper, we determine the homotopy groups π_4(ΣK(A,1)) and π_5(ΣK(A,1)) for abelian groups A by using different facts and methods from group theory and homotopy theory: derived functors, the Carlsson simplicial construction, the Baues-Goerss spectral sequence, homotopy decompositions and the methods of algebraic K-theory. As the applications, we also determine π_i(ΣK(G,1)) with i=4,5 for some non-abelian groups G=Σ_3 and SL(Z), and π_4(ΣK(A_4,1)) for the 4-th alternating group A_4.
We recall a group-theoretic description of the first non-vanishing homotopy group of a certain (n+1)-ad of spaces and show how it yields several formulae for homotopy and homology groups of specific spaces. In particular we obtain an alternative proof of J. Wu's group-theoretic description of the homotopy groups of a 2-sphere.
We classify the homotopy types of reduced 2-nilpotent simplicial groups in terms of the homology an d boundary invariants $b,β$. This contains as special cases results of J.H.C. Whitehead on 1-connected 4-dimensional complexes and of Quillen on reduced 2-nilpotent rational simplicial groups. Moreover it yields for 1-nilpotent (or abelian) simplicial groups a classification due to Dold-Kan. Our result describes a new natural structure of the integral homology of any simply connected space. We also classify the homotopy types of connective spectra in the category of 2-nilpotent simplicial groups. Moreover we compute homotopy groups of spheres in the category of $m$-nilpotent groups for $m=2,3$ and partially for $m=4,5$.
We show that the intersection of three subgroups in a free group is related to the computation of the third homotopy group $π_3$. This generalizes a result of Gutierrez-Ratcliffe who relate the intersection of two subgroups with the computation of $π_2$. Let $K$ be a two-dimensional CW-complex with subcomplexes $K_1,K_2,K_3$ such that $K=K_1\cup K_2\cup K_3$ and $K_1\cap K_2\cap K_3$ is the 1-skeleton $K^1$ of $K$. We construct a natural homomorphism of $π_1(K)$-modules $$ π_3(K)\to \frac{R_1\cap R_2\cap R_3}{[R_1,R_2\cap R_3][R_2,R_3\cap R_1][R_3,R_1\cap R_2]}, $$ where $R_i=ker\{π_1(K^1)\to π_1(K_i)\}, i=1,2,3$ and the action of $π_1(K)=F/R_1R_2R_3$ on the right hand abelian group is defined via conjugation in $F$. In certain cases, the defined map is an isomorphism. Finally, we discuss certain applications of the above map to group homology.