Related papers: On the Jacobi Group and the Mapping Class Group of…
We study the isometry groups of compact spherical orientable $3$-orbifolds $S^3/G$, where $G$ is a finite subgroup of $\mathrm{SO}(4)$, by determining their isomorphism type. Moreover, we prove that the inclusion of $\mbox{Isom}(S^3/G)$…
The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…
We give a necessary and sufficient condition for the mapping class group of the pair of the 3-sphere and a graph embedded in it to be isomorphic to the topological symmetry group of the embedded graph.
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 classify simply connected closed smooth $13$-dimensional manifolds whose cohomology ring is isomorphic to that of $\mb{CP}^3\times S^7$, up to diffeomorphism, homeomorphism, and homotopy equivalence. Furthermore, if such a…
We show that the set of harmonic maps from the 2-dimensional stratified spheres with uniformly bounded energies contains only finitely many homotopy classes. We apply this result to construct infinitely many harmonic map flows and mean…
Mapping-class groups of 3-manifolds feature as symmetry groups in canonical quantum gravity. They are an obvious source through which topological information could be transmitted into the quantum theory. If treated as gauge symmetries,…
Computations based on explicit 4-periodic resolutions are given for the cohomology of the finite groups G known to act freely on S^3, as well as the cohomology rings of the associated 3-manifolds (spherical space forms) M = S^3/G. Chain…
We study the topological structure of the symmetry group of the standard model, $G_{SM}=U(1)\times SU(2)\times SU(3)$. Locally, $G_{SM}\cong S^1\times (S^3)^2\times S^5$. For SU(3), which is an $S^3$ bundle over $S^5$ (and therefore a local…
For a punctured surface $\mathfrak{S}$, the author and Scarinci (arXiv:2112.13329) have recently constructed a quantization of a moduli space of Lorentzian metrics on the 3-manifold $\mathfrak{S} \times \mathbb{R}$ of constant sectional…
We determine explicit generators for the ring of modular forms associated with the moduli spaces of K3 surfaces with automorphism group $(\mathbb{Z}/2\mathbb{Z})^2$ and of Picard rank 13 and higher. The K3 surfaces in question carry a…
We prove several positive results regarding representation of homotopy classes of spheres and algebraic groups by regular mappings. Most importantly we show that every mapping from a sphere to an orthogonal or a unitary group is homotopic…
We prove that for every countable group G there exists a hyperbolic 3-manifold M such that the isometry group of M, the mapping class group of M, and the outer automorphism group of the fundamental group of M are isomorphic to G.
In this paper, we survey recent works on the structure of the mapping class groups of surfaces mainly from the point of view of topology. We then discuss several possible directions for future research. These include the relation between…
Compact hyperbolic 3-manifolds are used in cosmological models. Their topology is characterized by their homotopy group $\pi_1(M)$ whose elements multiply by path concatenation. The universal covering of the compact manifold $M$ is the…
We analyse the moduli space and the structure of noncommutative 3-spheres. We develop the notion of central quadratic form for quadratic algebras, and prove a general algebraic result which considerably refines the classical homomorphism…
This paper continues our investigation into the question of when a homotopy $\omega = \{\omega_t\}_{t \in [0,1]}$ of 2-cocycles on a locally compact Hausdorff groupoid $\mathcal{G}$ gives rise to an isomorphism of the $K$-theory groups of…
We consider mapping class groups \Gamma(M) = pi_0 Diff(M fix \partial M) of smooth compact simply connected oriented 4-manifolds M bounded by a collection of 3-spheres. We show that if M contains CP^2 (with either orientation) as a…
We have been interested in understanding the class of 7-dimensional closed and simply-connected manifolds in geometric and constructive ways. We have constructed explicit fold maps, which are higher dimensional versions of Morse functions,…
We compute the spoke-graded $C_3$-equivariant stable homotopy groups of spheres $\pi_{i, j}^{C_3}$, for stems less than 25 (i.e. $i\leq 25$) and for weights between -16 and 16 (i.e. $-16\leq j\leq 16$). In particular, for $j=2k$, this…