Related papers: Straight homotopy invariants

We define homotopy group actions in terms of families of $A_\infty$ algebras indexed by a manifold M. We give explicit formulae for the $A_\infty$ morphism induced by a path on the manifold and for the $A_\infty$ homotopy corresponding to a…

A module $M$ is called an automorphism-invariant module if every isomorphism between two essential submodules of $M$ extends to an automorphism of $M$. This paper introduces the notion of dual of such modules. We call a module $M$ to be a…

It is known that the number of homomorphisms from a group $F$ to a group $G$ is divisible by the greatest common divisor of the order of $G$ and the exponent of $F/[F,F]$. We investigate the number of homomorphisms satisfying some natural…

Suppose $\Gamma$ is a discrete group, and $\alpha\in Z^3(B\Gamma;A)$, with $A$ an abelian group. Given a representation $\rho:\pi_1(M)\to\Gamma$, with $M$ a closed 3-manifold, put $F(M,\rho)=\langle(B\rho)^\ast[\alpha],[M]\rangle$, where…

To a homotopy algebra one may associate its deformation complex, which is naturally a differential graded Lie algebra. We show that infinity quasi-isomorphic homotopy algebras have L-infinity quasi-isomorphic deformation complexes by an…

Given a topological group $G$ that can be embedded as a topological subgroup into some topological vector space (over the field of reals) we say that $G$ has invariant linear span if all linear spans of $G$ under arbitrary embeddings into…

Let $M$ be a closed 4-manifold with $\pi_2(M)\cong{Z}$. Then $M$ is homotopy equivalent to either $CP^2$, or the total space of an orbifold bundle with general fibre $S^2$ over a 2-orbifold $B$, or the total space of an $RP^2$-bundle over…

We study extensively the homotopy theory of coalgebras. By coalgebras, we mean the full theory of coalgebras: with counits and not necessarily locally conilpotent. For example $\mathcal E_\infty$-coalgebras, $\mathcal A_\infty$-coalgebras,…

Let $f:G\rightarrow H$ be a homomorphism of groups, we construct a topological space $X_f$ such that its group of homeomorphisms is isomorphic to $G$, its group of homotopy classes of self-homotopy equivalences is isomorphic to $H$ and the…

This work generalizes the results of an earlier paper by the second author, from Randers metrics to $(\alpha,\beta)$-metrics. Let $F$ be an $(\alpha,\beta)$-metric which is defined by a left invariant vector field and a left invariant…

We show how there is associated to each non-constant polynomial $F(x,y)$ a completely integrable system with polynomial invariants on $\Rd$ and on $\C{2d}$ for each $d\geq1$; in fact the invariants are not only in involution for one Poisson…

A quandle is an algebraic system originated in knot theory, and can be regarded as a generalization of symmetric spaces. The inner automorphism group of a quandle is defined as the group generated by the point symmetries (right…

A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in…

We investigate the deformations of pairs $(X,L)$, where $L$ is a line bundle on a smooth projective variety $X$, defined over an algebraically closed field $\mathbb{K}$ of characteristic 0. In particular, we prove that the DG-Lie algebra…

It is shown that if a finite generically smooth morphism $f\,:\,Y\,\longrightarrow\, X$ of smooth projective varieties induces an isomorphism of the \'etale fundamental groups, then the induced map of the stratified fundamental groups…

A structure is called homogeneous if every isomorphism between finitely induced substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Ne\v{s}et\v{r}il introduced a relaxed version of…

The singular set of a generic map $f: M\to F$ of a manifold $M$ of dimension $m\ge 2$ to an oriented surface $F$ is a closed smooth curve $\Sigma(f)$. We study the parity of the number of components of $\Sigma(f)$. The image $f(\Sigma)$ of…

If $A$ is an abelian quandle and $Q$ is a quandle, the hom set $\mathrm{Hom}(Q,A)$ of quandle homomorphisms from $Q$ to $A$ has a natural quandle structure. We exploit this fact to enhance the quandle counting invariant, providing an…

A right-invariant metric $\rho_{\alpha}$ on the compactly supported identity component $Cont_0(M,\alpha)$ of the group of contactomorphisms of an arbitrary contact manifold $(M,\alpha)$ is introduced in a similar way that the Hofer metric…

Uniformly finite homology is a coarse invariant for metric spaces; in particular, it is a quasi-isometry invariant for finitely generated groups. In this article, we study uniformly finite homology of finitely generated amenable groups and…