Source author record

Sergei O. Ivanov

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.GR math.KT math.RA math.CT Machine Learning

Catalog footprint

Research overview

19works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Quadric Hypersurface Intersection for Manifold Learning in Feature Space

The knowledge that data lies close to a particular submanifold of the ambient Euclidean space may be useful in a number of ways. For instance, one may want to automatically mark any point far away from the submanifold as an outlier or to use the geometry to come up with a better distance metric. Manifold learning problems are often posed in a very high dimension, e.g. for spaces of images or spaces of words. Today, with deep representation learning on the rise in areas such as computer vision and natural language processing, many problems of this kind may be transformed into problems of moderately high dimension, typically of the order of hundreds. Motivated by this, we propose a manifold learning technique suitable for moderately high dimension and large datasets. The manifold is learned from the training data in the form of an intersection of quadric hypersurfaces -- simple but expressive objects. At test time, this manifold can be used to introduce a computationally efficient outlier score for arbitrary new data points and to improve a given similarity metric by incorporating the learned geometric structure into it.

preprint2021arXiv

On homology of Lie algebras over commutative rings

We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections between them. In particular, we show that they are naturally isomorphic in the case of a Lie algebra which is flat as a module. As an auxiliary result we prove that the Koszul complex of a module $M$ over a principal ideal domain that connects the exterior and the symmetric powers $0\to Λ^n M\to M \otimes Λ^{n-1} M \to \dots \to S^{n-1}M \otimes M \to S^nM\to 0$ is purely acyclic.

preprint2021arXiv

Right exact group completion as a transfinite invariant of the homology equivalence

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.

preprint2021arXiv

Right exact localizations of groups

We introduce several classes of localizations (idempotent monads) on the category of groups and study their properties and relations. The most interesting class for us is the class of localizations which coincide with their zero derived functors. We call them right exact (in the sense of Keune). We prove that a right exact localization $L$ preserves the class of nilpotent groups and that for a finite $p$ -group $G$ the map $G\to LG$ is an epimorphism. We also prove that some examples of localizations (Baumslag's $P$ -localization with respect to a set of primes $P,$ Bousfield's $HR$ -localization, Levine's localization, Levine-Cha's $\mathbb Z$ -localization) are right exact. At the end of the paper we discuss a conjecture of Farjoun about Nikolov-Segal maps and prove a very special case of this conjecture.

preprint2020arXiv

Homological properties of parafree Lie algebras

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$ .

preprint2020arXiv

Parafree augmented algebras and Gröbner-Shirshov bases for complete augmented algebras

We develop a theory of parafree augmented algebras similar to the theory of parafree groups and explore some questions related to the Parafree Conjecture. We provide an example of finitely generated parafree augmented algebra of infinite cohomological dimension. Motivated by this example, we prove a version of the Composition-Diamond lemma for complete augmented algebras and provide a sufficient condition for augmented algebra to be residually nilpotent on the language of its relations.

preprint2019arXiv

Higher colimits, derived functors and homology

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.

preprint2019arXiv

Limits, standard complexes and fr-codes

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.

preprint2019arXiv

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 Λ(A/p)\otimes Γ({}_pA)$ and for finitely generated abelian groups there is the following description of the cohomology algebra of $H^*(A,\mathbb F_p)\cong Λ((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 β:{}_2A\to A/2.$ Moreover, we prove that there is a filtration by subfunctors on $H_n(A,\mathbb F_2)$ whose quotients are $Λ^{n-2i}(A/2)\otimes Γ^i({}_2A)$ and that for finitely generated abelian groups there is a natural filtration on $H^n(A,\mathbb F_2)$ whose quotients are $Λ^{n-2i}((A/2)^\vee)\otimes {\sf Sym}^i(({}_2A)^\vee).$

preprint2016arXiv

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.

preprint2016arXiv

On lengths of HZ-localization towers

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.

preprint2015arXiv

Cohomology of finite groups without homological algebra

We prove explicit and elementary formulas for the group homology and cohomology of a finite group with coefficients in any module. We describe in elementary terms the cohomology algebra $H^*(G,k)$ as a graded algebra for a finite group $G$ and a commutative ring $k.$

preprint2015arXiv

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}$ .

preprint2015arXiv

Homotopy theory and generalized dimension subgroups

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.

preprint2015arXiv

Leibniz rule on higher pages of unstable spectral sequences

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.

preprint2015arXiv

On nontriviality of homotopy groups of spheres

For $n\geq 2$ , the homotopy groups $π_n(S^2)$ are non-zero.

preprint2014arXiv

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.

preprint2014arXiv

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$ .

preprint2013arXiv

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Sergei O. Ivanov

Research overview

Is this your work?

19 publications

Quadric Hypersurface Intersection for Manifold Learning in Feature Space

On homology of Lie algebras over commutative rings

Right exact group completion as a transfinite invariant of the homology equivalence

Right exact localizations of groups

Homological properties of parafree Lie algebras

Parafree augmented algebras and Gröbner-Shirshov bases for complete augmented algebras

Higher colimits, derived functors and homology

Limits, standard complexes and fr-codes

Mod-2 (co)homology of an abelian group

Higher Jacobi identities

On lengths of HZ-localization towers

Cohomology of finite groups without homological algebra

Higher limits, homology theories and fr-codes

Homotopy theory and generalized dimension subgroups

Leibniz rule on higher pages of unstable spectral sequences

On nontriviality of homotopy groups of spheres

On Bousfield problem for the class of metabelian groups

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

A higher limit approach to homology theories

See the researcher in context

Building this map preview