Related papers: Embedding problems for subgroups of the fundamenta…
Let $G$ be the semidirect product $\Gamma \rtimes F_2$ where $\Gamma$ is either the free group $F_n$, $n > 1$ or the fundamental group $S_g$ of a closed surface of genus $g > 1$. We prove that $G$ is incoherent, solving two problems posed…
We show that there is a countable universal abelian p-group for purity, i.e., a countable abelian p-group $U$ such that every countable abelian p-group purely embeds in $U$. This is the last result needed to provide a complete solution to…
In this article we overview those aspects of the theory of affine semigroups and their algebras that have been relevant for our own research, and pose several open problems. Answers to these problems would contribute substantially to the…
We apply, in the context of semigroups, the main theorem from~\cite{higjac} that an elementary class $\mathcal{C}$ of algebras which is closed under the taking of direct products and homomorphic images is defined by systems of equations. We…
Let $\varphi:F_1\to F_2$ be an injective morphism of free groups. If $\varphi$ is geometric (i.e. induced by an inclusion of oriented compact connected surfaces with nonempty boundary), then we show that $\varphi$ is an isometric embedding…
We introduce an obstruction to the existence of a coarse embedding of a given group or space into a hyperbolic group, or more generally into a hyperbolic graph of bounded degree. The condition we consider is "admitting exponentially many…
If a class of finitely generated groups Curly(G) is closed under isometric amalgamations along free subgroups, then every G in Curly(G) can be quasi-isometrically embedded in a group Hat(G) in Curly(G) that has no proper subgroups of finite…
Let $S_{g,1,p}$ be an orientable surface of genus $g$ with one boundary component and $p$ punctures. Let $\mathcal{M}_{g,1,p}$ be the mapping-class group of $S_{g,1,p}$ relative to the boundary. We construct homomorphisms…
This is an investigation into a classification of embeddings of a surface in Euclidean $3$-space. Specifically, we consider $\mathbb{R}^3$ as having the product structure $\mathbb{R}^2 \times \mathbb{R}$ and let $\pi:\mathbb{R}^2 \times…
Let $S$ be a certain affine algebraic surface over $\mathbb{Q}$ such that it admits a regular map to $\mathbb{A}^2/\mathbb{Q}$. We show that any non-trivial torsion line bundle in the relative Picard group $Pic^0\left(S/\mathbb{A}^2\right)$…
We classify compact oriented $5$-manifolds with free fundamental group and $\pi_{2}$ a torsion free abelian group in terms of the second homotopy group considered as $\pi_1$-module, the cup product on the second cohomology of the universal…
In this article, we first prove that the type of an affine semigroup ring is equal to the number of maximal elements of the Ap\'ery set with respect to the set of exponents of the monomials, which form a maximal regular sequence. Further,…
Given a graph $\Gamma$, the right-angled Artin group $A(\Gamma)$ is given by the presentation $\langle u \in V(\Gamma) \mid [u,v]=1, \ \{u,v\} \in E(\Gamma) \rangle$. The Embedding Problem in right-angled Artin groups asks, given two finite…
Motivated by recent results on diffeomorphisms of 4-manifolds, this paper investigates fundamental groups of spaces of embeddings of $S^1\times D^3$ in 4-manifolds. The majority of work goes into the case of framed immersed circles.
We prove that for any algebraic plane curve $C$ of degree at most $5$, the fundamental group $\pi_1(\mathbb CP^2\setminus C)$ is linear and virtually polyfree. As a consequence, we answer positively the open question on the residual…
We study the family of irreducible curves with $\delta$ nodes belonging to a free linear system $|C|$ with smooth general member on a surface $S$ such that $|K_S|$ is ample. Under the assumption that $C$ is numerically equivalent to $pK_S$,…
We prove embeddings of adelic groups on an excellent scheme of special type and a flat quasicoherent sheaf on it. For a normal excellent scheme of special type we establish the equality…
Let $C\subset\mathbb{N}^p$ be an integer polyhedral cone. An affine semigroup $S\subset C$ is a $ C$-semigroup if $| C\setminus S|<+\infty$. This structure has always been studied using a monomial order. The main issue is that the choice of…
We address the problem of classifying complete $\mathbb{C}$-subalgebras of $\mathbb{C}[[t]]$. A discrete invariant for this classification problem is the semigroup of orders of the elements in a given $\mathbb{C}$-subalgebra. Hence we can…
We give a new proof that compact infra-solvmanifolds with isomorphic fundamental groups are smoothly diffeomorphic. More generally, we prove rigidity results for manifolds which are constructed using affine actions of virtually polycyclic…