Related papers: Transverse fundamental group and projected embeddi…

A stable smooth map $f:N\to M$ is called "$k$-realizable" if its composition with the inclusion $M\subset M\times\Bbb R^k$ is $C^0$-approximable by smooth embeddings; and a "$k$-prem" if the same composition is $C^\infty$-approximable by…

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 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…

We show how to construct a family of groups with simple commutator subgroups from aperiodic 1-vertex, finitely aligned higher rank graphs (which are, in fact, a class of cancellative monoids). Inverse semigroups form the intermediary…

If $f : \tilde{\Gamma} \rightarrow \Gamma$ is a covering map between connected graphs, and $H$ is the subgroup of $\pi_1(\Gamma,v)$ used to construct the cover, then it is well known that the group of deck transformations of the cover is…

Let $\pi$ be a group satisfying the Farrell-Jones conjecture and assume that $B\pi$ is a 4-dimensional Poincar\'e duality space. We consider topological, closed, connected manifolds with fundamental group $\pi$ whose canonical map to $B\pi$…

A palindrome in a free group F_n is a word on some fixed free basis of F_n that reads the same backwards as forwards. The palindromic automorphism group \Pi A_n of the free group F_n consists of automorphisms that take each member of some…

Let $M$ be a compact connected orientable Seifert manifold with hyperbolic orbifold $B_M$, and $f_{\pi}: \pi_1(M)\rightarrow\pi_1(M)$ be an automorphism induced by an orientation-reversing homeomorphism $f$ of $M$. We give a bound on the…

Let $\pi:M\to B$ be a proper holomorphic submersion between complex manifolds and ${\cal E}$ a holomorphic bundle on $M$. We study and describe explicitly the torsion subsheaf $\mathrm{Tors}(R^1\pi_*({\cal E}))$ of the first direct image…

The twisted fundamental lemmas for three series of stable twisted endoscopy (Sp_{2n} to PGL_{2n+1}, GSpin_{2n+1} to GL_{2n}\times GL_1, Sp_{2n} to SO_{2n+2}) will be reduced to a fundamental-lemma-like statement for ordinary (i.e.…

A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…

Let $\Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $\lambda$ of the field of algebraic numbers which is prime to p, consider the $\lambda$-adic pro-semisimple completion of $\Pi$ as an object…

We develop a geometric approach to stable homotopy groups of spheres in the spirit of the work of Pontrjagin and Rokhlin. A new proof of the Hopf Invariant One Theorem by J.F.Adams is obtained in all dimensions except 15 and 31. To prove…

As a higher dimensional version of the theory of Morse functions, there have been various studies of smooth manifolds using generic smooth maps. As fundamental results, in these studies, they have found that inverse images of such maps…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

The first main result is a topological rigidity theorem for complete immersed hypersurfaces of spherical space forms which extends similar results due to do Carmo/Warner, Wang/Xia and Longa/Ripoll. Under certain sharp conditions on the…

We consider holomorphic mappings $H$ between a smooth real hypersurface $M\subset \bC^{n+1}$ and another $M'\subset \bC^{N+1}$ with $N\geq n$. We provide conditions guaranteeing that $H$ is transversal to $M'$ along all of $M$. In the…

Let $X$ be a simply connected pointed space with finitely generated homotopy groups. Let $\Pi_n(X)$ denote the set of all continuous maps $a:I^n\to X$ taking $\partial I^n$ to the basepoint. For $a\in\Pi_n(X)$, let $[a]\in\pi_n(X)$ be its…

A family of proper smooth curves of genus $\geq 2$, parametrised by an open dense subset $U$ of a normal variety $S$, extends to $S$ if the natural map $\pi_1(U) \to \pi_1(S)$ on fundamental groups is an isomorphism. The criterion of this…

We construct a correspondence between epimorphisms $\varphi \colon \pi_1(M) \to F_r$ from the fundamental group of a compact manifold $M$ onto the free group of rank $r$, and systems of $r$ framed non-separating hypersurfaces in $M$, which…