Related papers: Intersection of subgroups in free groups and homot…

We prove new separability results about free groups. Namely, if $H_1, \ldots , H_k$ are infinite index, finitely generated subgroups of a non-abelian free group $F$, then there exists a homomorphism onto some alternating group $f:F…

Given a connected 2-complex X with fundamental group G, we show how pi_3(X) may be computed as a module over Z[G]. Further we show that if X is a finite connected 2-complex with G (the fundamental group) finite of odd order, then the stable…

Let $S$ be a hyperbolic oriented Riemann surface of finite type. The main purpose of this paper is to show that non-trivial geometric intersection between closed curves on $S$ is detected by some symplectic submodules they naturally…

The purpose of this note is to observe that a homomorphism of discrete groups $f:\Gamma\to G$ arises as the induced map $\pi_0(\mathfrak{M})\to \pi_0(\mathfrak{X})$ on path components of some closed normal inclusion of topological groups…

We study mapping class group orbits of homotopy and isotopy classes of curves with self-intersections. We exhibit the asymptotics of the number of such orbits of curves with a bounded number of self-intersections, as the complexity of the…

The rational cohomology ring of A_3, the moduli space of abelian 3-folds is computed. This is isomorphic to the the rational cohomology ring of the group Sp_3(Z) of 6x6 integral symplectic matrices. The main ingredients in the computation…

In this paper, we determine the homotopy groups \pi_4(\Sigma K(A,1)) and \pi_5(\Sigma K(A,1)) for abelian groups A by using different facts and methods from group theory and homotopy theory: derived functors, the Carlsson simplicial…

In this paper we determine the homotopy types of the reduced suspension space of certain connected orientable closed smooth $5$-manifolds. As applications, we compute the reduced $K$-groups of $M$ and show that the suspension map between…

J.H.C. Whitehead's second free-group algorithm determines whether or not two given elements of a free group lie in the same orbit of the automorphism group of the free group. The algorithm involves certain connected graphs, and Whitehead…

We compute the homotopy groups at each unital abelian C*-algebra $C(T)$ in the Morita $3$-category of abelian C*-algebras, C*-algebras with central maps, C*-correspondences, and adjointable bimodule maps. We describe these groups in terms…

Given a diagram for a trisection of a 4-manifold $X$, we describe the homology and the intersection form of $X$ in terms of the three subgroups of $H_1(\Sigma;\mathbb{Z})$ generated by the three sets of curves and the intersection pairing…

We give a homotopy invariant construction of the Reidemeister trace for the coincidence of two maps between closed manifolds of not necessarily the same dimensions. It is realized as a homology class of the homotopy equalizer, which…

For every finitely generated free group $F$, we construct an irreducible open $3$-manifold $M_F$ whose end set is homeomorphic to a Cantor set, and with the end homogeneity group of $M_F$ isomorphic to $F$. The end homogeneity group is the…

We give a complete classification of finite subgroups of automorphisms of K3 surfaces up to deformation. The classification is in terms of Hodge theoretic data associated to certain conjugacy classes of finite subgroups of the orthogonal…

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…

Let G be a finite group acting freely on a compact oriented surface S by homeomorphisms preserving the orientation. Then, there exists a G-invariant Lagrangian subspace in the first homology group of S.

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

A free homotopy decomposition of any continuous map from a compact Riemmanian manifold $\mathcal{M}$ to a compact Riemannian manifold $\mathcal{N}$ into a finite number maps belonging to a finite set is constructed, in such a way that the…

We give formulae for a module presentation of the module of identities among relations for a presentation of a group, in terms of information on 0- and 1-combings of the Cayley graph. This is seen as a special case of extending a partial…

We use methods from the cohomology of groups to describe the finite groups which can act freely and homologically trivially on closed 3-manifolds which are rational homology spheres.