Related papers: The Third Homotopy Group as a pi_1-Module
Let $G$ be a group and $R,S,T$ its normal subgroups. There is a natural extension of the concept of commutator subgroup for the case of three subgroups $\|R,S,T\|$ as well as the natural extension of the symmetric product $\|\bf r,\bf s,\bf…
In this paper, using the topology on the set of shape morphisms between arbitrary topological spaces $X$, $Y$, $Sh(X,Y)$, defined by Cuchillo-Ibanez et al. in 1999, we consider a topology on the shape homotopy groups of arbitrary…
The modular variety of non singular and complete hyperelliptic curves with level-two structure of genus 3 is a 5-dimensional quasi projective variety which admits several standard compactifications. The first one, X, comes from the…
A \textit{geometric realization} of an abstract polyhedron $\mathcal{P}$ is a mapping $\rho : \mathcal{P} \to \mathbb{E}^3$ that sends an $i$-face to an open set of dimension $i$. This work adapts a method based on Wythoff construction to…
Let $X$ be a compact orientable non-Haken 3-manifold modeled on the Thurston geometry $\text{Nil}$. We show that the diffeomorphism group $\text{Diff}(X)$ deformation retracts to the isometry group $\text{Isom}(X)$. Combining this with…
We give an elementary proof of the well-known fact that the third cohomology group H^3(G, M) of a group G with coefficients in an abelian G-module M is in bijection to the set Ext^2(G, M) of equivalence classes of crossed module extensions…
From the homotopy groups of three distinct octahedral spherical 3-manifolds we construct the isomorphic groups H of deck transformations acting on the 3-sphere. The H-invariant polynomials on the 3-sphere constructed by representation…
This paper gives an extension of the classical Zariski-van Kampen theorem describing the fundamental groups of the complements of plane singular curves by generators and relations. It provides a procedure for computation of the first…
We make cohomological computations related to the moduli space of genus three curves with symplectic level two structure by means of counting points over finite fields. In particular, we determine the cohomology groups of the quartic locus…
We compute cohomology of the moduli space of genus three curves with level two structure and some related spaces. In particular, we determine the cohomology groups of the moduli space of plane quartics with level two structure as…
We determine that the Chow ring (with ${\bf Q}$-coefficients) of the Hurwitz space parametrizing degree three covers of ${\bf P}^{1}$ is tautological. We also compute the rational Picard groups of auxiliary spaces of degree three maps with…
This work serves as an opening and basis of an ongoing program investigating topological and geometric aspects of the moduli space of smooth fiberings on a manifold. The present paper focuses on the algebraic and differential topology of…
Assume that all spaces and maps are localised at a fixed prime $p$. We study the possibility of generating a universal space $U(X)$ from a space $X$ which is universal in the category of homotopy associative, homotopy commutative H-spaces…
We give a criterion on a group $\pi$ and a homomorphism $w \colon \pi \to C_2$ under which closed $4$-manifolds with fundamental group $\pi$ and orientation character $w$ are classified up to homotopy equivalence by their quadratic…
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 study co-H-maps from a suspension to the suspension of the projective plane and provide examples of non-suspension 3-cell co-H-spaces. These (infinitely many) examples are related to the homotopy groups of the 3-sphere. For each element…
Fix a finite group $G$. We analyze the computational complexity of the problem of counting homomorphisms $\pi_1(X) \to G$, where $X$ is a topological space treated as computational input. We are especially interested in requiring $G$ to be…
In this paper, we describe the total space $E_{com} U(3)$ of the principal $U(3)$-bundle associated with the classifying space for commutativity $B_{com} U(3)$ as a homotopy colimit of a diagram of spaces and offer a computation of the mod…
Effective homology techniques allow us to compute homology groups of a wide family of topological spaces. By the Whitehead tower method, this can also be used to compute higher homotopy groups. However, some of these techniques (in…
Let $G$ be a compact connected Lie group with $\pi_1(G)\cong\mathbb{Z}$. We study the homotopy types of gauge groups of principal $G$-bundles over Riemann surfaces. This can be applied to an explicit computation of the homotopy groups of…