Related papers: The smooth structure set of $S^p \times S^q$
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…
For each odd integer $p > 1$, we construct infinitely many pairwise non-diffeomorphic irreducible smooth structures on a definite 4-manifold with infinite fundamental group whose abelianization is $\Z/2p\Z\times \Z/2\Z$.
This is the first of the two articles where we determine the higher smooth surgery structure sets of complex projective spaces (up to some extension problems) and the forgetful map to their topological versions in low dimensions. In this…
For every integer $k\geq 2$, we construct infinite families of mutually nondiffeomorphic irreducible smooth structures on the topological $4$-manifolds $(2k-1)(S^2\times S^2)$ and $(2k-1)(\CP#\CPb)$, the connected sums of $2k-1$ copies of…
We present a new short proof of the explicit formula for the group of links (and also link maps) in the 'quadruple point free' dimension. Denote by $L^m_{p,q}$ (respectively, $C^{m-p}_p$) the group of smooth embeddings $S^p\sqcup S^q\to…
We show that any topological, closed, oriented, non-spin $4$-manifold with fundamental group $\mathbb{Z}_{4k}$ and $\min(b_2^+, b_2^-)\geq 15$, has either none or infinitely many distinct smooth structures. Furthermore, we construct…
The main aim of this article is to study the quantitative structure of projective symplectic groups $PSp_{4}(q)$ with $q>2$ even. Indeed, we prove that the groups $PSp_{4}(q)$ with $q>2$ even are uniquely determined by their orders and the…
We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find…
We compute the mapping class group of the manifolds $\sharp^g(S^{2k+1}\times S^{2k+1})$ for $k>0$ in terms of the automorphism group of the middle homology and the group of homotopy $(4k+3)$-spheres. We furthermore identify its Torelli…
In this paper we study the (2,k)-generation of the finite classical groups SL(4,q), Sp(4,q), SU(4,q^2) and their projective images. Here k is the order of an arbitrary element of SL(2,q), subject to the necessary condition k>= 3. When q is…
Under certain homological hypotheses on a compact 4-manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. The main examples are the class of finite connected sums of 4-manifolds with…
For a smooth manifold $N$ denote by $E^m(N)$ the set of smooth isotopy classes of smooth embeddings $N\to\mathbb R^m$. A description of the set $E^m(S^p\times S^q)$ was known only for $p=q=0$ or for $p=0$, $m\ne q+2$ or for $2m\ge…
We will compute the stable upper genus for the family of finite non-abelian simple groups $PSL_2(\mathbb{F}_p)$ for $p \equiv 3~(mod~4)$. This classification is well-grounded in the other branches of Mathematics like topology, smooth, and…
A smooth cuboid can be identified with a $3\times 3$ matrix of linear forms, with coefficients in a field $K$, whose determinant describes a smooth cubic in the projective plane. To each such matrix one can associate a group scheme over…
This paper explores various differentiable structures on the product manifold $M \times \mathbb{S}^k$, where $M$ is either a 4-dimensional closed, oriented, smooth manifold or a simply connected 5-dimensional closed, smooth manifold. We…
We show that for each aspherical compact complex surface $X$ whose fundamental group $\pi$ fits into a short exact sequence $$ 1\to K \to \pi \to \pi_1(S) \to 1 $$ where $S$ is a compact hyperbolic Riemann surface and the group $K$ is…
We study algebraic and topological properties of topological semigroups containing a copy of the bicyclic semigroup C(p,q). We prove that each topological semigroup S with pseudocompact square contains no dense copy of C(p,q). On the other…
We compute the topological mapping class group of every compact, simply connected, topological 4-manifold. This was previously only known in the closed case. If the 4-manifold is smooth, we deduce an analogous description of the stable…
Let $k$ be an algebraically closed field. Let $C$ be an irreducible smooth projective curve over $k$. Let $E$ be a locally free sheaf on $C$ of rank $\geq 2$. Fix an integer $d \geq 2$. Let $\mathcal{Q}$ denote the Quot scheme…
Let $n\geq 1$ be an integer, $p$, $q$ be distinct odd primes. Let ${G}$, $N$ be two groups of order $p^nq$ with their Sylow-$p$-subgroups being cyclic. We enumerate the Hopf-Galois structures on a Galois ${G}$-extension, with type $N$. This…