Showing 1–35 of 35 results for author: Mostovoy, J

A complete invariant for doodles on a 2-sphere

Authors: Jacob Mostovoy

Abstract: We define a complete invariant for doodles on a 2-sphere which takes values in series of chord diagrams of certain type. The coefficients at the diagrams with $n$ chords are finite type invariants of doodles of order at most $2n$. We define a complete invariant for doodles on a 2-sphere which takes values in series of chord diagrams of certain type. The coefficients at the diagrams with $n$ chords are finite type invariants of doodles of order at most $2n$. △ Less

Submitted 22 February, 2024; v1 submitted 17 January, 2024; originally announced January 2024.

Comments: 13 pages, many figures

MSC Class: 57K12; 57K16; 05C10

Journal ref: Communications in Mathematics, Volume 31 (2023), Issue 3 (Special issue: in memory of Sergei Duzhin) (February 26, 2024) cm:12893

Round twin groups on few strands

Authors: Jacob Mostovoy

Abstract: We study the fundamental group of the configuration space of $n$ ordered points on the circle no three of which are equal. We compute it for $n<6$ and describe its homology for $n=6$. We also show how, for arbitrary $n$, this group can be assembled from planar braid groups, relate it to the pure cactus group and construct a cubical complex homotopy equivalent to its classifying space. We study the fundamental group of the configuration space of $n$ ordered points on the circle no three of which are equal. We compute it for $n<6$ and describe its homology for $n=6$. We also show how, for arbitrary $n$, this group can be assembled from planar braid groups, relate it to the pure cactus group and construct a cubical complex homotopy equivalent to its classifying space. △ Less

Submitted 19 March, 2023; originally announced March 2023.

Comments: A preliminary version of this note appeared in Vol. 25 of "Morfismos" https://morfismos.cinvestav.mx/

Pre-crossed modules and rack homology

Authors: Jacob Mostovoy

Abstract: We define a homology theory for pre-crossed modules that specifies to rack homology in the case when the pre-crossed module is freely generated by a rack. We define a homology theory for pre-crossed modules that specifies to rack homology in the case when the pre-crossed module is freely generated by a rack. △ Less

Submitted 24 January, 2023; v1 submitted 6 October, 2022; originally announced October 2022.

Journal ref: Communications in Mathematics, Volume 30 (2022), Issue 2 (Special Issue: CIMPA School "Nonassociative Algebras and Its Applications", Madagascar 2021) (January 25, 2023) cm:10153

Cactus Doodles

Authors: Jacob Mostovoy, Andrea Rincón-Prat

Abstract: Cactus doodles are combinatorial/geometric objects that are related to cactus groups in the same way as knots are related to braids. We define them in terms of local moves on plane curves, show that they can be obtained from elements of the cactus group by a "closing" procedure and establish some of their basic properties. Cactus doodles are combinatorial/geometric objects that are related to cactus groups in the same way as knots are related to braids. We define them in terms of local moves on plane curves, show that they can be obtained from elements of the cactus group by a "closing" procedure and establish some of their basic properties. △ Less

Submitted 8 March, 2023; v1 submitted 16 March, 2022; originally announced March 2022.

A presentation for the planar pure braid group

Authors: Jacob Mostovoy

Abstract: We describe the construction of a minimal presentation for the group of planar pure braids $\overline{P}_n$ on $n$ strands. The generators of this presentation are dual to the generators of the cohomology ring of $\overline{P}_n$ found by Y.Baryshnikov while the relations lie in the commutator subgroup of $\overline{P}_n$. We also construct an explicit (although non-minimal) presentation for the p… ▽ More We describe the construction of a minimal presentation for the group of planar pure braids $\overline{P}_n$ on $n$ strands. The generators of this presentation are dual to the generators of the cohomology ring of $\overline{P}_n$ found by Y.Baryshnikov while the relations lie in the commutator subgroup of $\overline{P}_n$. We also construct an explicit (although non-minimal) presentation for the pure cactus group. △ Less

Submitted 19 May, 2023; v1 submitted 14 June, 2020; originally announced June 2020.

Encoding knots by clasp diagrams

Authors: Jacob Mostovoy, Michael Polyak

Abstract: We introduce a new combinatorial method to encode knots and links with applications to knot invariants. Clasp diagrams defined in this paper are combinatorial blueprints for building knot diagrams out of full twists on two strings rather than out of crossings. We describe an equivalence relation on clasp diagrams which produces the isotopy classes of knots as equivalence classes. This equivalence… ▽ More We introduce a new combinatorial method to encode knots and links with applications to knot invariants. Clasp diagrams defined in this paper are combinatorial blueprints for building knot diagrams out of full twists on two strings rather than out of crossings. We describe an equivalence relation on clasp diagrams which produces the isotopy classes of knots as equivalence classes. This equivalence relation is generated by local moves similar to the Reidemeister moves. Clasp diagrams produce particularly simple Seifert surfaces for knots and lead to an explicit formula for the Alexander-Conway polynomial. They are also well-suited for the study of the Vassiliev invariants; we show that any such invariant can be obtained via subdiagram count in the clasp diagrams. △ Less

Submitted 7 November, 2019; originally announced November 2019.

Comments: 16 pages, many figures

MSC Class: 57M25

Differential graded Lie algebras and Leibniz algebra cohomology

Authors: Jacob Mostovoy

Abstract: In this note, we interpret Leibniz algebras as differential graded Lie algebras. Namely, we consider two functors from the category of Leibniz algebras to that of differential graded Lie algebras and show that they naturally give rise to the Leibniz cohomology and the Chevalley-Eilenberg cohomology. As an application, we prove a conjecture stated by Pirashvili in arXiv:1904.00121 [math.KT]. In this note, we interpret Leibniz algebras as differential graded Lie algebras. Namely, we consider two functors from the category of Leibniz algebras to that of differential graded Lie algebras and show that they naturally give rise to the Leibniz cohomology and the Chevalley-Eilenberg cohomology. As an application, we prove a conjecture stated by Pirashvili in arXiv:1904.00121 [math.KT]. △ Less

Submitted 8 October, 2019; originally announced October 2019.

Simplicial equations for the moduli space of stable rational curves

Authors: Joaquin Maya, Jacob Mostovoy

Abstract: In this, largely expository, note, we show how the simplicial structure of the moduli spaces of stable rational curves with marked points allows to produce explicit equations for these spaces. The key argument is an elementary combinatorial statement about the sets of trees with marked leaves. In this, largely expository, note, we show how the simplicial structure of the moduli spaces of stable rational curves with marked points allows to produce explicit equations for these spaces. The key argument is an elementary combinatorial statement about the sets of trees with marked leaves. △ Less

Submitted 12 June, 2019; originally announced June 2019.

Planar pure braids on six strands

Authors: Jacob Mostovoy, Christopher Roque-Márquez

Abstract: The group of planar (or flat) pure braids on $n$ strands, also known as the pure twin group, is the fundamental group of the configuration space $F_{n,3}(\mathbb{R})$ of $n$ labelled points in $\mathbb{R}$ no three of which coincide. The planar pure braid groups on 3, 4 and 5 strands are free. In this note we describe the planar pure braid group on 6 strands: it is a free product of the free group… ▽ More The group of planar (or flat) pure braids on $n$ strands, also known as the pure twin group, is the fundamental group of the configuration space $F_{n,3}(\mathbb{R})$ of $n$ labelled points in $\mathbb{R}$ no three of which coincide. The planar pure braid groups on 3, 4 and 5 strands are free. In this note we describe the planar pure braid group on 6 strands: it is a free product of the free group on 71 generators and 20 copies of the free abelian group of rank two. △ Less

Submitted 12 June, 2019; v1 submitted 20 May, 2019; originally announced May 2019.

Journal ref: J. Knot Theory Ramifications 29 (2020) 1950097, 11 pp

The pure cactus group is residually nilpotent

Authors: Jacob Mostovoy

Abstract: We show that the pure cactus group $Γ_{n+1}$ is residually nilpotent and exhibit a surjective homomorphism $Γ_{n+1} \to (\mathbb{Z}/2\mathbb{Z})^{2^n-n(n+1)/2-1}$ whose kernel is residually torsion-free nilpotent. We show that the pure cactus group $Γ_{n+1}$ is residually nilpotent and exhibit a surjective homomorphism $Γ_{n+1} \to (\mathbb{Z}/2\mathbb{Z})^{2^n-n(n+1)/2-1}$ whose kernel is residually torsion-free nilpotent. △ Less

Submitted 24 April, 2018; originally announced April 2018.

Racks as multiplicative graphs

Authors: Jacob Mostovoy

Abstract: We interpret augmented racks as a certain kind of multiplicative graphs and show that this point of view is natural for defining rack homology. We also define the analogue of the group algebra for these objects; in particular, we see how discrete racks give rise to Hopf algebras and Lie algebras in the Loday-Pirashvili category $\mathcal{LM}$. Finally, we discuss the integration of Lie algebras in… ▽ More We interpret augmented racks as a certain kind of multiplicative graphs and show that this point of view is natural for defining rack homology. We also define the analogue of the group algebra for these objects; in particular, we see how discrete racks give rise to Hopf algebras and Lie algebras in the Loday-Pirashvili category $\mathcal{LM}$. Finally, we discuss the integration of Lie algebras in $\mathcal{LM}$ in the context of multiplicative graphs and augmented racks. △ Less

Submitted 1 August, 2017; v1 submitted 6 July, 2017; originally announced July 2017.

On torsion-free nilpotent loops

Authors: J. Mostovoy, J. M. Perez-Izquierdo, I. P. Shestakov

Abstract: We show that a torsion-free nilpotent loop (that is, a loop nilpotent with respect to the dimension filtration) has a torsion-free nilpotent left multiplication group of, at most, the same class. We also prove that a free loop is residually torsion-free nilpotent and that the same holds for any free commutative loop. Although this last result is much stronger than the usual residual nilpotency of… ▽ More We show that a torsion-free nilpotent loop (that is, a loop nilpotent with respect to the dimension filtration) has a torsion-free nilpotent left multiplication group of, at most, the same class. We also prove that a free loop is residually torsion-free nilpotent and that the same holds for any free commutative loop. Although this last result is much stronger than the usual residual nilpotency of the free loop proved by Higman, it is proved, essentially, by the same method. △ Less

Submitted 21 October, 2016; originally announced October 2016.

A Non-associative Baker-Campbell-Hausdorff formula

Authors: J. Mostovoy, J. M. Perez-Izquierdo, I. P. Shestakov

Abstract: We address the problem of constructing the non-associative version of the Dynkin form of the Baker-Campbell-Hausdorff formula; that is, expressing $\log (\exp (x)\exp(y))$, where $x$ and $y$ are non-associative variables, in terms of the Shestakov-Umirbaev primitive operations. In particular, we obtain a recursive expression for the Magnus expansion of the Baker-Campbell-Hausdorff series and an ex… ▽ More We address the problem of constructing the non-associative version of the Dynkin form of the Baker-Campbell-Hausdorff formula; that is, expressing $\log (\exp (x)\exp(y))$, where $x$ and $y$ are non-associative variables, in terms of the Shestakov-Umirbaev primitive operations. In particular, we obtain a recursive expression for the Magnus expansion of the Baker-Campbell-Hausdorff series and an explicit formula in degrees smaller than 5. Our main tool is a non-associative version of the Dynkin-Specht-Wever Lemma. A construction of Bernouilli numbers in terms of binary trees is also recovered. △ Less

Submitted 3 May, 2016; originally announced May 2016.

Comments: 15 pages

Nilpotent Sabinin algebras

Authors: J. Mostovoy, J. M. Perez-Izquierdo, I. P. Shestakov

Abstract: In this note we establish several basic properties of nilpotent Sabinin algebras. Namely, we show that nilpotent Sabinin algebras (1) can be integrated to produce nilpotent loops, (2) satisfy an analogue of the Ado theorem, (3) have nilpotent Lie envelopes. We also give a new set of axioms for Sabinin algebras. These axioms reflect the fact that a complementary subspace to a Lie subalgebra in a Li… ▽ More In this note we establish several basic properties of nilpotent Sabinin algebras. Namely, we show that nilpotent Sabinin algebras (1) can be integrated to produce nilpotent loops, (2) satisfy an analogue of the Ado theorem, (3) have nilpotent Lie envelopes. We also give a new set of axioms for Sabinin algebras. These axioms reflect the fact that a complementary subspace to a Lie subalgebra in a Lie algebra is a Sabinin algebra. Finally, we note that the non-associative version of the Jennings theorem produces a version of Ado theorem for loops whose commutator-associator filtration is of finite length. △ Less

Submitted 8 December, 2013; originally announced December 2013.

Comments: 17 pages, no figures

Hopf algebras in non-associative Lie theory

Authors: J. Mostovoy, J. M. Pérez-Izquierdo, I. P. Shestakov

Abstract: We review the developments in the Lie theory for non-associative products from 2000 to date and describe the current understanding of the subject in view of the recent works, many of which use non-associative Hopf algebras as the main tool. We review the developments in the Lie theory for non-associative products from 2000 to date and describe the current understanding of the subject in view of the recent works, many of which use non-associative Hopf algebras as the main tool. △ Less

Submitted 29 July, 2013; originally announced July 2013.

MSC Class: 17-02

Spaces of morphisms from a projective space to a toric variety

Authors: Jacob Mostovoy, Erendira Munguia-Villanueva

Abstract: In this paper we study the space of morphisms from a complex projective space to a compact smooth toric variety X. It is shown that the first author's stability theorem for the spaces of rational maps from CP^m to CP^n extends to the spaces of continuous morphisms from CP^m to X, essentially, with the same proof. In the case of curves, our result improves the known bounds for the stabilization dim… ▽ More In this paper we study the space of morphisms from a complex projective space to a compact smooth toric variety X. It is shown that the first author's stability theorem for the spaces of rational maps from CP^m to CP^n extends to the spaces of continuous morphisms from CP^m to X, essentially, with the same proof. In the case of curves, our result improves the known bounds for the stabilization dimension. △ Less

Submitted 9 October, 2012; originally announced October 2012.

Comments: about 10 pages

The space of non-degenerate closed curves in a Riemannian manifold

Authors: Jacob Mostovoy, Rustam Sadykov

Abstract: Let LM be the semigroup of non-degenerate based loops with a fixed initial/final frame in a Riemannian manifold M of dimension at least three. We compare the topology of LM to that of the loop space Omega FTM on the bundle of frames in the tangent bundle of M. We show that Omega FTM is the group completion of LM, and prove that it is obtained by localizing LM with respect to adding a "small twist"… ▽ More Let LM be the semigroup of non-degenerate based loops with a fixed initial/final frame in a Riemannian manifold M of dimension at least three. We compare the topology of LM to that of the loop space Omega FTM on the bundle of frames in the tangent bundle of M. We show that Omega FTM is the group completion of LM, and prove that it is obtained by localizing LM with respect to adding a "small twist". △ Less

Submitted 18 September, 2012; originally announced September 2012.

Comments: 9 pages 1 figure

MSC Class: 53A04

Approximations of periodic functions to R^n by curvatures of closed curves

Authors: Jacob Mostovoy, Rustam Sadykov

Abstract: We show that for any n real periodic functions f_1,..., f_n with the same period, such that f_i>0 for i<n, and a real number e >0, there is a closed curve in R^{n+1} with curvatures k_1, ..., k_n such that |k_i(t)-f_i(t)| < e for all i and t. This neither holds for closed curves in the hyperbolic space H^{n+1}, nor for parametric families of closed curves in R^{n+1}. We show that for any n real periodic functions f_1,..., f_n with the same period, such that f_i>0 for i<n, and a real number e >0, there is a closed curve in R^{n+1} with curvatures k_1, ..., k_n such that |k_i(t)-f_i(t)| < e for all i and t. This neither holds for closed curves in the hyperbolic space H^{n+1}, nor for parametric families of closed curves in R^{n+1}. △ Less

Submitted 26 May, 2012; originally announced May 2012.

Comments: 7 pages, 1 fugure

On the connectivity of finite subset spaces

Authors: Jacob Mostovoy, Rustam Sadykov

Abstract: We show that for an m-connected cell complex X the space exp_k X of non-empty subsets of X of cardinality at most k is (m + k - 2)-connected We show that for an m-connected cell complex X the space exp_k X of non-empty subsets of X of cardinality at most k is (m + k - 2)-connected △ Less

Submitted 29 April, 2012; v1 submitted 23 March, 2012; originally announced March 2012.

Comments: 2 pages

Introduction to Vassiliev Knot Invariants

Authors: S. Chmutov, S. Duzhin, J. Mostovoy

Abstract: This book is a detailed introduction to the theory of finite type (Vassiliev) knot invariants, with a stress on its combinatorial aspects. It is intended to serve both as a textbook for readers with no or little background in this area, and as a guide to some of the more advanced material. Our aim is to lead the reader to understanding by means of pictures and calculations, and for this reason we… ▽ More This book is a detailed introduction to the theory of finite type (Vassiliev) knot invariants, with a stress on its combinatorial aspects. It is intended to serve both as a textbook for readers with no or little background in this area, and as a guide to some of the more advanced material. Our aim is to lead the reader to understanding by means of pictures and calculations, and for this reason we often prefer to convey the idea of the proof on an instructive example rather than give a complete argument. While we have made an effort to make the text reasonably self-contained, an advanced reader is sometimes referred to the original papers for the technical details of the proofs. Version 3: some typos and inaccuracies are corrected. △ Less

Submitted 21 September, 2011; v1 submitted 24 March, 2011; originally announced March 2011.

Comments: 512 pages, thousands pictures

MSC Class: 57M25; 57M27; 05C90; 81T18

Journal ref: Published by Cambridge University Press, May 2012, ISBN 978-1-107-02083-2. Final draft available from the authors' homepages

A comment on the integration of Leibniz algebras

Authors: Jacob Mostovoy

Abstract: In this note we point out that the definition of the universal enveloping dialgebra for a Leibniz algebra is consistent with the interpretation of a Leibniz algebra as a generalization not of a Lie algebra, but of the adjoint representation of a Lie algebra. From this point of view, the formal integration problem of Leibniz algebras is, essentially, trivial. In this note we point out that the definition of the universal enveloping dialgebra for a Leibniz algebra is consistent with the interpretation of a Leibniz algebra as a generalization not of a Lie algebra, but of the adjoint representation of a Lie algebra. From this point of view, the formal integration problem of Leibniz algebras is, essentially, trivial. △ Less

Submitted 19 January, 2011; v1 submitted 25 November, 2010; originally announced November 2010.

Comments: 6 pages

Formal multiplications, bialgebras of distributions and non-associative Lie theory

Authors: J. Mostovoy, J. M. Pérez-Izquierdo

Abstract: We describe the general non-associative version of Lie theory that relates unital formal multiplications (formal loops), Sabinin algebras and non-associative bialgebras. Starting with a formal multiplication we construct a non-associative bialgebra, namely, the bialgebra of distributions with the convolution product. Considering the primitive elements in this bialgebra gives a functor from forma… ▽ More We describe the general non-associative version of Lie theory that relates unital formal multiplications (formal loops), Sabinin algebras and non-associative bialgebras. Starting with a formal multiplication we construct a non-associative bialgebra, namely, the bialgebra of distributions with the convolution product. Considering the primitive elements in this bialgebra gives a functor from formal loops to Sabinin algebras. We compare this functor to that of Mikheev and Sabinin and show that although the brackets given by both constructions coincide, the multioperator does not. We also show how identities in loops produce identities in bialgebras. While associativity in loops translates into associativity in algebras, other loop identities (such as the Moufang identity) produce new algebra identities. Finally, we define a class of unital formal multiplications for which Ado's theorem holds and give examples of formal loops outside this class. A by-product of the constructions of this paper is a new identity on Bernoulli numbers. We give two proofs: one coming from the formula for the non-associative logarithm, and the other (due to D. Zagier) using generating functions. △ Less

Submitted 22 May, 2009; originally announced May 2009.

MSC Class: 17D99; ;22E60; 20N05.

Partial monoids and Dold-Thom functors

Authors: Jacob Mostovoy

Abstract: Dold-Thom functors are generalizations of infinite symmetric products, where integer multiplicities of points are replaced by composable elements of a partial abelian monoid. It is well-known that for any connective homology theory, the machinery of $Γ$-spaces produces the corresponding linear Dold-Thom functor. In this note we construct such functors directly from spectra by exhibiting a partial… ▽ More Dold-Thom functors are generalizations of infinite symmetric products, where integer multiplicities of points are replaced by composable elements of a partial abelian monoid. It is well-known that for any connective homology theory, the machinery of $Γ$-spaces produces the corresponding linear Dold-Thom functor. In this note we construct such functors directly from spectra by exhibiting a partial monoid corresponding to a spectrum. △ Less

Submitted 6 February, 2013; v1 submitted 20 December, 2007; originally announced December 2007.

MSC Class: 55N20

Finite type invariants based on the band-pass and doubled delta moves

Authors: James Conant, Jacob Mostovoy, Ted Stanford

Abstract: We study generalizations of finite-type knot invariants obtained by replacing the crossing change in the Vassiliev skein relation by some other local move, analyzing in detail the band-pass and doubled-delta moves. Using braid-theoretic techniques, we show that, for a large class of local moves, generalized Goussarov's n-equivalence classes of knots form groups under connected sum. (Similar resu… ▽ More We study generalizations of finite-type knot invariants obtained by replacing the crossing change in the Vassiliev skein relation by some other local move, analyzing in detail the band-pass and doubled-delta moves. Using braid-theoretic techniques, we show that, for a large class of local moves, generalized Goussarov's n-equivalence classes of knots form groups under connected sum. (Similar results, but with a different approach, have been obtained before by Taniyama and Yasuhara.) It turns out that primitive band-pass finite-type invariants essentially coincide with standard primitive finite-type invariants, but things are more interesting for the doubled-delta move. The complete degree 0 doubled-delta invariant is the $S$-equivalence class of the knot. In this context, we generalize a result of Murakami and Ohtsuki to show that the only primitive Vassiliev invariants of S-equivalence taking values in an abelian group with no 2-torsion arise from the Alexander-Conway polynomial. We start analyzing degree one doubled-delta invariants by considering which Vassiliev invariants are of doubled-delta degree one, finding that there is exactly one such invariant in each odd Vassiliev degree, and at most one (which is Z/2-valued) in each even Vassiliev degree. Analyzing higher doubled-delta degrees, we observe that the Euler degree n+1. part of Garoufalidis and Kricker's rational lift of the Kontsevich integral is a doubled-delta degree $2n$ invariant. △ Less

Submitted 14 January, 2009; v1 submitted 7 November, 2005; originally announced November 2005.

Comments: We revised the Theorem stating that all primitive finite-type invariants of S-equivalence come from the Conway Polynomial so that it is restricted to invariants taking values in an Abelian group with no 2-torsion. Otherwise, mostly cosmetic changes. To appear in JKTR

MSC Class: 57M27

Nilpotency and dimension series for loops

Authors: J. Mostovoy

Abstract: We take a step towards the development of a nilpotency theory for loops based on the commutator-associator filtration instead of the lower central series. This nilpotency theory shares many essential features with the associative case. In particular, we show that the isolator of the nth commutator-associator subloop coincides with the nth dimension subloop over a field of characteristic zero. We take a step towards the development of a nilpotency theory for loops based on the commutator-associator filtration instead of the lower central series. This nilpotency theory shares many essential features with the associative case. In particular, we show that the isolator of the nth commutator-associator subloop coincides with the nth dimension subloop over a field of characteristic zero. △ Less

Submitted 7 October, 2005; originally announced October 2005.

Comments: 10 pages, no figures

MSC Class: 20N05; 17D99

Ideals in non-associative universal enveloping algebras of Lie triple systems

Authors: J. Mostovoy, J. M. Pérez-Izquierdo

Abstract: The notion of a non-associative universal enveloping algebra for a Lie triple system arises when Lie triple systems are considered as Bol algebras (more generally, Sabinin algebras). In this paper a new construction for these universal enveloping algebras is given, and their properties are studied. It is shown that universal enveloping algebras of Lie triple systems have surprisingly few ideal… ▽ More The notion of a non-associative universal enveloping algebra for a Lie triple system arises when Lie triple systems are considered as Bol algebras (more generally, Sabinin algebras). In this paper a new construction for these universal enveloping algebras is given, and their properties are studied. It is shown that universal enveloping algebras of Lie triple systems have surprisingly few ideals. It is conjectured, and the conjecture is verified on several examples, that the only proper ideal of the universal enveloping algebra of a simple Lie triple system is the augmentation ideal. △ Less

Submitted 9 June, 2005; originally announced June 2005.

Comments: 14 pages

MSC Class: 20N05; 17D99

Dimension filtration on loops

Authors: J. Mostovoy, J. M. Pérez-Izquierdo

Abstract: We show that the graded group associated to the dimension filtration on a loop acquires the structure of a Sabinin algebra after being tensored with a field of characteristic zero. The key to the proof is the interpretation of the primitive operations of Umirbaev and Shestakov in terms of the operations on a loop that measure the failure of the associator to be a homomorphism. We show that the graded group associated to the dimension filtration on a loop acquires the structure of a Sabinin algebra after being tensored with a field of characteristic zero. The key to the proof is the interpretation of the primitive operations of Umirbaev and Shestakov in terms of the operations on a loop that measure the failure of the associator to be a homomorphism. △ Less

Submitted 24 October, 2004; originally announced October 2004.

Comments: 8 pages

MSC Class: 20N05; 17D99

On the notion of lower central series for loops

Authors: Jacob Mostovoy

Abstract: The commutator calculus is one of the basic tools in group theory. However, its extension to the non-associative context, based on the usual definition of the lower central series of a loop, is not entirely satisfactory. Namely, the graded abelian group associated to the lower central series of a loop is not known to carry any interesting algebraic structure. In this note we construct a new gene… ▽ More The commutator calculus is one of the basic tools in group theory. However, its extension to the non-associative context, based on the usual definition of the lower central series of a loop, is not entirely satisfactory. Namely, the graded abelian group associated to the lower central series of a loop is not known to carry any interesting algebraic structure. In this note we construct a new generalization of the lower central series to arbitrary loops that is tailored to produce a set of multilinear operations on the associated graded group. △ Less

Submitted 24 October, 2004; originally announced October 2004.

Comments: 6 pages

MSC Class: 20N05

Spaces of rational maps and the Stone-Weierstrass Theorem

Authors: Jacob Mostovoy

Abstract: It is shown that Segal's theorem on the spaces of rational maps from CP^1 to CP^n can be extended to the spaces of continuous rational maps from CP^m to CP^n for any m less than or equal to n. The tools are the Stone-Weierstrass Theorem and Vassiliev's machinery of simplicial resolutions. It is shown that Segal's theorem on the spaces of rational maps from CP^1 to CP^n can be extended to the spaces of continuous rational maps from CP^m to CP^n for any m less than or equal to n. The tools are the Stone-Weierstrass Theorem and Vassiliev's machinery of simplicial resolutions. △ Less

Submitted 30 September, 2004; v1 submitted 8 July, 2003; originally announced July 2003.

Comments: 12 pages, 1 figure

MSC Class: 58D15

On Invariants of Morse Knots

Authors: Jacob Mostovoy, Theodore Stanford

Abstract: We define and study Vassiliev invariants for (long) Morse knots. It is shown that there are Vassiliev invariants which can distinguish some topologically equivalent Morse knots. In particular, there is an invariant of order 3 for Morse knots with one maximum that distinguishes two different representations of the figure eight knot. We also present the results of computer calculations for some in… ▽ More We define and study Vassiliev invariants for (long) Morse knots. It is shown that there are Vassiliev invariants which can distinguish some topologically equivalent Morse knots. In particular, there is an invariant of order 3 for Morse knots with one maximum that distinguishes two different representations of the figure eight knot. We also present the results of computer calculations for some invariants of low order. It turns out that for Morse knots with two maxima there is a Z/2-valued invariant of order 6 which is not a reduction of any integer-valued invariant. △ Less

Submitted 13 August, 2000; originally announced August 2000.

Comments: 12 pages, lots of figures

MSC Class: 57M25; 57M27

Lattices in R^2 and finite subsets of a circle

Authors: Jacob Mostovoy

Abstract: An elementary geometric construction is used to relate the space of lattices in a plane to the space exp_3(S^1) of the subsets of a circle of cardinality at most 3. As a consequence we obtain new proofs of a theorem of Bott which says that exp_3(S^1) is homeomorphic to a 3-sphere and a theorem of Shchepin which says that points of exp_3(S^1) that correspond to one-point subsets form a trefoil kn… ▽ More An elementary geometric construction is used to relate the space of lattices in a plane to the space exp_3(S^1) of the subsets of a circle of cardinality at most 3. As a consequence we obtain new proofs of a theorem of Bott which says that exp_3(S^1) is homeomorphic to a 3-sphere and a theorem of Shchepin which says that points of exp_3(S^1) that correspond to one-point subsets form a trefoil knot in this 3-sphere. △ Less

Submitted 9 December, 1999; v1 submitted 27 November, 1999; originally announced November 1999.

Comments: 2 pages, 1 figure; a minor error corrected

MSC Class: 11H06; 54B20; 57M25

Free groups and finite type invariants of pure braids

Authors: Jacob Mostovoy, Simon Willerton

Abstract: Finite type invariants (also known as Vassiliev invariants) of pure braids are considered from a group-theoretic point of view. New results include a construction of a universal invariant with integer coefficients based on the Magnus expansion of a free group and a calculation of numbers of independent invariants of each type for all pure braid groups. Finite type invariants (also known as Vassiliev invariants) of pure braids are considered from a group-theoretic point of view. New results include a construction of a universal invariant with integer coefficients based on the Magnus expansion of a free group and a calculation of numbers of independent invariants of each type for all pure braid groups. △ Less

Submitted 14 September, 1999; originally announced September 1999.

Comments: 14 pages, many figures

Report number: Max-Plank-Institut fur Mathematik MPI 99-54

On a Map From Pure Braids to Knots

Authors: Jacob Mostovoy, Theodore Stanford

Abstract: We study a certain type of braid closure which resembles the plat closure but has certain advantages; for example, it maps pure braids to knots. The main results of this note are a Markov-type theorem and a description of how Vassiliev invariants behave under this braid closure. We study a certain type of braid closure which resembles the plat closure but has certain advantages; for example, it maps pure braids to knots. The main results of this note are a Markov-type theorem and a description of how Vassiliev invariants behave under this braid closure. △ Less

Submitted 13 July, 1999; originally announced July 1999.

Comments: 8 pages, 9 figures

MSC Class: 57M25; 20F36; 20F14

Short Ropes and Long Knots

Authors: Jacob Mostovoy

Abstract: A rope is a non-singular embedding of a closed interval into R^3, which sends the ends of the interval to some fixed points A and B such that |AB|=1. A rope is short if its length is less than 3. The main result of the paper is that the fundamental group of the space of short ropes is naturally isomorphic to the group completion of the semigroup of knots. A rope is a non-singular embedding of a closed interval into R^3, which sends the ends of the interval to some fixed points A and B such that |AB|=1. A rope is short if its length is less than 3. The main result of the paper is that the fundamental group of the space of short ropes is naturally isomorphic to the group completion of the semigroup of knots. △ Less

Submitted 9 December, 2000; v1 submitted 6 October, 1998; originally announced October 1998.

Comments: AMS-LaTeX, 15 pages, 9 figures. Version 2: some minor errors corrected

MSC Class: 57M25 (Primary); 55R35 (Secondary)

Spaces of Rational Loops on a Real Projective Space

Authors: Jacob Mostovoy

Abstract: We show that the loop spaces of real projective spaces are topologically approximated by the spaces of rational maps from RP(1) to RP(n). As a byproduct of our constructions we obtain an interpretation of the Kronecker characteristic (degree) of an ornament via particle spaces. We show that the loop spaces of real projective spaces are topologically approximated by the spaces of rational maps from RP(1) to RP(n). As a byproduct of our constructions we obtain an interpretation of the Kronecker characteristic (degree) of an ornament via particle spaces. △ Less

Submitted 2 October, 1998; originally announced October 1998.

Comments: AMS-LaTeX, 11 pages, 2 figures

MSC Class: 26C15; 55P35