Related papers: Embedding problems for subgroups of the fundamenta…

It is proved that the commutator subgroup of the fundamental group of the complement of any plane affine irreducible Hurwitz curve (respectively, any plane affine irreducible pseudoholomorphic curve) is finitely presented. It is shown that…

In this article I define and study the overconvergent rigid fundamental group of a variety over an equicharacteristic local field. This is a non-abelian $(\varphi,\nabla)$-module over the bounded Robba ring $\mathcal{E}_K^\dagger$, whose…

In this paper we introduce a new problem called the Isogenous Embedding Problem (IEP). The existence of solutions to this problem is related to the primes of bad reduction of CM curves of genus $3$ and we can detect potentially good…

Let $M$ be an irreducible smooth projective variety, defined over an algebraically closed field, equipped with an action of a connected reductive affine algebraic group $G$, and let ${\mathcal L}$ be a $G$--equivariant very ample line…

We define \emph{piecewise rank 1} manifolds, which are aspherical manifolds that generally do not admit a nonpositively curved metric but can be decomposed into pieces that are diffeomorphic to finite volume, irreducible, locally symmetric,…

A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming…

Let M be a closed enlargeable spin manifold. We show non-triviality of the universal index obstruction in the K-theory of the maximal $C^*$-algebra of the fundamental group of M. Our proof is independent from the injectivity of the…

In this article, we study group theoretical embedding properties of subgroups in central products of finite groups. Specifically, we give characterizations of normal, subnormal, and abnormal subgroups of a central product of two groups.

This paper is an attempt to give some general results on the tempered fundamental group of a $p$-adic smooth algebraic varieties (which is a sort of analog of the topologic fundamental group of complex algebraic varieties in the p-adic…

For a closed surface $S$ with $\chi(S)<0$, we show that the fixed subgroup of a family $\mathcal B$ of endomorphisms of $\pi_1(S)$ has $\rk \fix\mathcal B\leq \rk \pi_1(S)$. In particular, if $\mathcal B$ contains a non-epimorphic…

Let $k$ be an algebraically closed field of characteristic $p > 0$. Let $X$ be an irreducible smooth projective curve of genus $g$ over $k$. Fix an integer $n \geq 2$, and let $S^n(X)$ be the $n$-fold symmetric product of $X$. In this…

Let $p$ be a prime number, and let $k$ be an algebraically closed field of characteristic $p$. We show that the tame fundamental group of a smooth affine curve over $k$ is a projective profinite group. We prove that the fundamental group of…

Let $C$ be a smooth, projective and geometrically connected curve defined over a finite field $\mathbb{F}_q(C)$. Given a semisimple $C-S$-group scheme $\underline{G}$ where $S$ is a finite set of closed points of $C$, we describe the set of…

We construct a space $\mathbb{P}$ for which the canonical homomorphism $\pi_1(\mathbb{P},p) \rightarrow \check{\pi}_1(\mathbb{P},p)$ from the fundamental group to the first \v{C}ech homotopy group is not injective, although it has all of…

In his previous paper, the author proposed as a problem a purely inseparable analogue of the Abhyankar conjecture for affine curves in positive characteristic and gave a partial answer to it, which includes a complete answer for finite…

We prove that, for a finitely generated residually finite group, having solvable word problem is not a sufficient condition to be a subgroup of a finitely presented residually finite group. The obstruction is given by a residually finite…

We consider embeddings of 3-manifolds in $S^4$ such that each of the two complementary regions has an abelian fundamental group. In particular, we show that an homology handle $M$ has such an embedding if and only if $\pi_1(M)'$ is perfect,…

We argue that for a smooth surface S, considered as a ramified cover over the projective plane branched over a nodal-cuspidal curve B one could use the structure of the fundamental group of the complement of the branch curve to understand…

We define formal orbifolds over an algebraically closed field of arbitrary characteristic as curves together with some branch data. Their \'etale coverings and their fundamental groups are also defined. These fundamental group approximates…

Let $G$ be a torsion-free, finitely-generated, nilpotent and metabelian group. In this work we show that $G$ embeds into the group of orientation preserving $C^{1+\alpha}$-diffeomorphisms of the compact interval, for all $\alpha< 1/k$ where…