ﻻ يوجد ملخص باللغة العربية
Let $t_1,ldots,t_n$ be $ell$-group terms in the variables $X_1,ldots,X_m$. Let $hat t_1,ldots,hat t_n$ be their associated piecewise homogeneous linear functions. Let $G $ be the $ell$-group generated by $hat t_1, ldots,hat t_n$ in the free $m$-generator $ell$-group $mathcal A_m.$ We prove: (i) the problem whether $G$ is $ell$-isomorphic to $mathcal A_n$ is decidable; (ii) the problem whether $G$ is $ell$-isomorphic to $mathcal A_l$ ($l$ arbitrary) is undecidable; (iii) for $m=n$, the problem whether ${hat t_1,ldots,hat t_n}$ is a {it free} generating set is decidable. In view of the Baker-Beynon duality, these theorems yield recognizability and unrecognizability results for the rational polyhedron associated to the $ell$-group $G$. We make pervasive use of fans and their stellar subdivisions.
Let $f$ be the gluing map of a Heegaard splitting of a 3-manifold $W$. The goal of this paper is to determine the information about $W$ contained in the image of $f$ under the symplectic representation of the mapping class group. We prove three main
A beautifully simple free generating set for the commutator subgroup of a free group was constructed by Tomaszewski. We give a new geometric proof of his theorem, and show how to give a similar free generating set for the commutator subgroup of a sur
We give new information about the geometry of closed, orientable hyperbolic 3-manifolds with 4-free fundamental group. As an application we show that such a manifold has volume greater than 3.44. This is in turn used to show that if M is a closed ori
We develop nilpotently $p$-localization of knot groups in terms of the (symplectic) automorphism groups of free nilpotent groups. We show that any map from the set of conjugacy classes of the outer automorphism groups yields a knot invariant. We also
We calculate the first homology group of the mapping class group with coefficients in the first rational homology group of the universal abelian $Z / L Z$-cover of the surface. If the surface has one marked point, then the answer is $Q^{tau(L)}$, whe