Researcher profile

Sergei O. Ivanov

Sergei O. Ivanov contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

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