Topological Properties of Braid-Paths Connected 2-Simplices in Covering Spaces under Cyclic Orientations

Abstract

In general, the braid structures in a topological space can be classified into algebraic forms and geometric forms. This paper investigates the properties of a braid structure involving 2-simplices and a set of directed braid-paths in view of algebraic as well as geometric topology. The 2-simplices are of the cyclically oriented variety embedded within the disjoint topological covering subspaces where the finite braid-paths are twisted as well as directed. It is shown that the generated homotopic simplicial braids form Abelian groups and the twisted braid-paths successfully admit several varieties of twisted discrete path-homotopy equivalence classes, establishing a set of simplicial fibers. Furthermore, a set of discrete-loop fundamental groups are generated in the covering spaces where the appropriate weight assignments generate multiplicative group structures under a variety of homological formal sums. Interestingly, the resulting smallest non-trivial group is not necessarily unique. The proposed variety of homological formal sum exhibits a loop absorption property if the homotopy path-products are non-commutative. It is considered that the topological covering subspaces are simply connected under embeddings with local homeomorphism maintaining generality.

1. Introduction

There are interplays between the topological spaces and braid structures with applications in geometric as well as algebraic topology, including knot theory and physical sciences. Let a finite and countable set be given as ${BS}_n=\left\{s_i:i=1,2,3....,n\right\}$ and the set of functions $S_f=\left\{f_i:\left[0,1\right]\to X\right\}$ be continuous such that $\forall i\in \left[1,n\right],f_i\left(0\right)\ne f_i\left(1\right)$ and ${BS}_n\subset X$, where the space $X$ may or may not be strictly topological in nature. The set ${BS}_n$ is a braid if, and only if, there are homeomorphisms given by $\mathrm{hom}\left(f_i\left(\left[0,1\right]\right),s_i\right)$ such that $f_i\left(0\right)\in P_A^2$ and $f_i\left(1\right)\in P_B^2$, where $P_A^2,P_B^2$ are two parallel planes with $P_A^2\cap P_B^2=\varnothing$. Interestingly the integrals over the braid-paths have various topological invariant properties [1]. An example of such topological invariance is the countable winding number in lower dimensional topological spaces representing the Gauss linking number. It is important to note that the Gauss linking number is not completely invariant. In the case of links forming a Borromean ring, the Gauss linking number vanishes although the braid-paths are not separable from the planes within the topological spaces [2]. In general, the braid structures can be classified into two varieties: (1) algebraic structures, namely braid groups, and (2) geometric structures called knots if we consider that $\forall i\in \left[1,n\right],f_i\left(0\right)=f_i\left(1\right)$ preserving the $\mathrm{hom}\left(f_i\left(\left[0,1\right]\right),s_i\right)$ property [3]. With regard to the topology of singular knots, the numbers of self-intersecting double points are countable as well as finite. The concept of fundamental groups is central to the homotopy theory of algebraic topology. However, an analogous structure, called homology, can be constructed in higher dimension admitting group algebraic structures which are computable. First, we briefly present the concept of a homological formal sum because a similar concept is followed in this paper with suitable as well as necessary modifications.

1.1. Homological Formal Sum

The homology theory is similar to the theory of fundamental groups of algebraic topology, allowing the classification of topological spaces by identifying the simple connectedness of the spaces locally as well as globally. The distinction of the homology groups is that these are Abelian varieties extendable to higher dimensions [4]. If we consider that $K$ is a simplicial complex, then a $p-$chain is the homological formal sum of $p-$simplices in $K$ given by ${\displaystyle \sum _i}{a}_i{\sigma }_i$, where ${\sigma }_i$ is the $p-$simplices in $K$ and the coefficients are binary type such that $a_i\in \left\{0,1\right\}$ in the $p-$chain [4]. Note that two $p-$chains can be added, similar to the addition of polynomials. Moreover, if we denote the set of $p-$chains as $C_p$, then $\left(C_p,+\right)$ is an Abelian group. The boundary ${\partial }_p$ of a $p-$simplex is the sum of its $\left(p-1\right)$ faces given as ${\partial }_{p}c={\displaystyle \sum _i}{a}_i.({\partial }_p{\sigma }_i)$ where $c$ represents the $p-$chain [4]. A $p-$cycle is a $p-$chain where the corresponding boundary is empty, i.e., ${\partial }_{p}c=0$. One of the fundamental properties of a homological formal sum is that the boundary of a boundary is always zero.

1.2. Motivation and Contributions

The theory of virtual knots and their properties in view of geometric topology were introduced by Kauffman in detail [5,6]. Suppose we consider that $I\equiv \left[0,1\right]$ and $D=I^2$ are equipped with two projections: ${\eta }_1:D\to I$ and ${\eta }_2:D\to I$. The $n>1$ strand diagram is a geometric topological structure admitting curves $K_D=\left(c_1,c_2.,,,,,c_n\right)$ as n-tuple such that $\forall i\in \left[1,n\right],c_i:I\to D$ maintains a set of properties [6]. The virtual braid structures are generated based on the strand diagram, offering an interesting topological property. If we consider two virtual braid diagrams, $K_{D1},K_{D2}$, then there is a neighborhood $N_D\subset D$ such that $N_D$ is homeomorphic to a disk and $K_{D1}\backslash N_D=K_{D2}\backslash N_D$ is an isotopy. Note that virtual braids are the combinatorial representations of general braid structures where the equivalence classes can be admitted. Moreover, the virtual braids and general braid-path structures maintain a bijective correspondence. There exists a combinatorial formulation to present an oriented closed curve on a plane by employing a Gauss word in a topological space [6]. Furthermore, there is a close relationship between braid structures and homotopy. Hurewicz illustrated that if a topological space is simply connected then there is interplay between homotopy and homology [7].

These observations motivate the investigation of the homotopy properties of oriented 2-simplices connected by twisted braid-paths within a simply connected topological covering space. Note that in this case the orientations of a 2-simplex are relaxed admitting cycles with reversed directions. Moreover, it is interesting to formulate a different variety of appropriate homological formal sums within the twisted braid-path structures and the corresponding cyclically oriented 2-simplices. The relevant interesting questions are: (1) Is it possible to maintain the homotopy equivalences admitting fundamental groups in such twisted as well as cyclically oriented topological structures? (2) Is it possible that a different variety of homological formal sum retains any group algebraic structure within the topological space under consideration while retaining a simple connectedness property? (3) How do the cyclic orientations of multiple 2-simplices in covering spaces affect the associated topological properties? These questions are addressed in this paper in relative detail in view of geometric as well as algebraic topology. It is illustrated that the cyclically oriented 2-simplices in covering spaces connected by twisted braid-paths give rise to the oriented algebraic structure admitting Abelian groups. The algebraic structure introduces the concept of a simplicial fiber where the non-commutative homotopic path-products preserve the loop absorption property, forming a discrete variety of a fundamental group. The homological formal sums computed under suitable weight assignments in reals generate the non-trivial multiplicative group structures with a varying uniqueness property.

The rest of the paper is organized as follows. The preliminary concepts and a set of existing classical results are presented in Section 2. The proposed definitions of topological structures are presented in Section 3. The geometric as well as algebraic topological properties are illustrated in Section 4. Finally, Section 5 concludes the paper.

2. Preliminaries: Homotopy and Braid Structures

The Hurwitz braid groups $B_n$ are essentially the fundamental groups in the configuration spaces with multiple points in a complex plane [8]. The structures of braid groups can be understood in view of geometry and its topological generalization. For example, Artin considered that the braid groups are automorphic free groups of rank $n$ given as $F_n$, which later found applications in knot theory [8,9]. The braid groups can be formulated in a wide variety, including the concepts of mapping classes and group algebra. The mapping class braid groups introduce the concept of self-homeomorphism which is defined as follows [8].

Definition 1 (Self-homeomorphism).

Let$M,N$be two compact, connected, and orientable 3-manifolds such that$N\subset M^o$. The self-homeomorphism$f:M\to M$is a homeomorphism such that it point-wise fixes$\partial M$and also globally fixes$N$while preserving the respective orientations.

It is important to note that if we equip the manifolds $M,N$ with a compact-open topology, then a topological group is established. Let us denote the group of self-homeomorphisms as $G_{\mathrm{hom}}\left(M,N\right)$ and let $X$ be a topological space. The continuity of a function $g:X\to G_{\mathrm{hom}}\left(M,N\right)$ can be formulated by following the definition of topological continuity which is defined as follows [8,10,11].

Definition 2 (Topological continuity).

A function$g:X\to G_{\mathrm{hom}}\left(M,N\right)$from the topological space$X$to the topological group of self-homeomorphisms$G_{\mathrm{hom}}\left(M,N\right)$is continuous if, and only if, there exists a continuous function$g_{\left[X,M\right]}:X\times M\to M$such that$g_{\left[X,M\right]}\left(x,y\right)=\left(g\left(x\right),y\right)$.

Interestingly, there are several structural forms of braid groups; however, according to Zariski, all these varieties are equivalent in nature [12]. The loop braid groups denoted as ${LB}_n$ are in a different class and these structures are symmetric automorphisms of $F_n$. The definition of a loop braid group ${LB}_n$ is presented as follows, where $B^3$ signifies a 3-ball and $R$ is a set of real numbers [13].

Definition 3 (Loop braid groups).

Let$C_{\Delta }=C_1\cup C_2\cup ....\cup C_n$be unknotted and oriented circles forming a trivial link of$n$components in$R^3$such that$\forall C_i,C_k\subset C_{\Delta },\left[i\ne k\right]\Rightarrow \left[C_i{{\displaystyle \cap }}^{ }{C}_k=\varphi \right]$. The loop braid group${LB}_n$is defined to be a mapping class group denoted as$MCG\left(B^3,C_{\Delta }\right)$.

The definition of loop braid groups employs the concepts of topological mapping classes and the formulation of self-homeomorphism. If we consider that $E_n$ is the configuration space of $n\ge 1$ Euclidean, unordered, and unlinked circles in $B^3$, then it is shown that $E_n$ is topologically path-connected [14]. Interestingly this results in the formation of homotopy equivalence classes as presented in the following theorem [15].

Theorem 1.

The inclusion of$E_n$into a topological configuration space of every trivial link of the smooth variety of$n\ge 1$components in$R^3$admits a homotopy equivalence class.

Note that the extended loop braids can have topological realizations giving rise to a new topological structure called extended geometric ribbon braids. Moreover, there is a relationship between the topological embeddings of algebraic curves and its invariant, called braid monodromy. Let a plane be denoted as $P^2$ and a curve in the plane be denoted as ${\rm K}\subset P^2$. If we consider a line $L\subset P^2$ such that $L\not\subset K$ and $p\in L$, then the triplet $\left(K,L,p\right)$ represents a braid monodromy [16]. Suppose a set of lines is called as pencil represented by $L_{\mathit{pcl}}$ where the lines pass through $p\in L$. The set $L_{\mathit{pcl}}$ determines a free group $F_n$ on $n$ number of braid strings admitting $\left(K,L,p\right)$. Interestingly, the free group $F_n$ has a correspondence to the fundamental group in a complex topological space. This results into the following homotopy invariance theorem [17].

Theorem 2.

The homotopy type represented by$P^2\backslash (K\cup L)$is invariant to the corresponding braid monodromy.

Note that the braid monodromy also determines the presentation of a fundamental group of $P^2\backslash (K\cup L)$. If we consider that $C$ is a complex space, then we can determine a set of points in complex space as $S=\left\{z_i:i=1,2,\dots n\right\},S\subset C$ and a closed disk $D\subset C$ such that $S\subset D^o$. This results in the generation of a fundamental group and the corresponding homotopy class which is presented as the following theorem [16].

Theorem 3.

If$z_p\in \partial D$is any point, then${\pi }_1\left(C\backslash S,z_p\right)$is a fundamental group and$h\in {\pi }_1\left(C\backslash S,z_p\right)$is the homotopy class of the loop around$\partial D$with a counterclockwise orientation.

It should be observed that ${\pi }_1\left(C\backslash S,z_p\right)$ is isomorphic to the free group $F_n$.

3. Topological Structures and Definitions

Let a Hausdorff as well as compact normal topological space be represented as $\left(X,{\tau }_X\right)$. Suppose $X_{\mathrm{cov}}$ is another compact Hausdorff topological space such that $X_{\mathrm{cov}}\cap X=\varnothing$. If $x_p\in X$ is an arbitrary point and $N_p\subset X$ is an open neighbourhood of the point $x_p$, then the surjective function given by $f_c:X_{\mathrm{cov}}\to X$ is a covering map of $N_p$. In this paper we consider that the number of covering sections is finite, indicating that $X_{\mathrm{cov}}$ is a compact space. Moreover, the sections of covering spaces maintain the property that $\forall A_i,A_k\in f_c^{-1}\left(N_p\right),A_i\cap A_k=\varnothing$ if $i\ne k$ where $i,k<+\infty$. The definitions of oriented 2-simplices, the simplicial fibers in covering spaces, and the corresponding twisted braid-paths between 2-simplices within the covering spaces are presented in Section 3.1, Section 3.2, Section 3.3, Section 3.4 and Section 3.5. Note that the covering sections are locally convex in $X_{\mathrm{cov}}$. In order to gain insight about the properties of the structures in view of homological formal sums, it is necessary to construct homeomorphic embeddings of 2-simplices into the sections of covering spaces. Moreover, the 2-simplices need to be orientated in appropriate directions. In this paper, the oriented 2-simplices indicate the cyclic orientations. In the remainder of the paper, $|{\sigma }_i^{\left(2\right)}|$ denotes the closed topological space under the corresponding 2-simplex and $\langle {\sigma }_i^{\left(2\right)}\rangle$ denotes the respective open topological space. The sets of real numbers, integers, and complex numbers are denoted as $R,Z$ and $C$ respectively. If $\left[f\right]$ and $\left[g\right]$ are two path-homotopy classes, then $\left[f\right]\ast \left[g\right]$ represents path-homotopy product and the equivalence relation $\left[f\right]{\cong }_H\left[g\right]$ denotes the path-homotopic equivalence between the two respective homotopy classes. First, we present the definition of oriented 2-simplices.

3.1. Oriented 2-Simplices

Let $A_i\in f_c^{-1}\left(N_p\right)$ be a section of respective covering spaces and ${\Delta }_i=\left\{b_m:b_m\in A_i,m=1,2,3\right\}$ be a set of points such that ${\Delta }_i\subset {(A_i)}^o$. The corresponding 2-simplices in $A_i$ given as ${\sigma }_i^{\left(2\right)}$ are generated by the convex hull of ${\Delta }_i$. It is called cyclically oriented if ${\sigma }_i^{\left(2\right)}\equiv <\left(b_1,b_3\right),\left(b_3,b_2\right),\left(b_2,b_1\right)>$, where $\left(b_m,b_n\right)\subset {\sigma }_i^{\left(2\right)}$ is an oriented 1-face of ${\sigma }_i^{\left(2\right)}$ and as a result $\left(b_m,b_n\right)\ne \left(b_n,b_m\right),m\ne n$.

Note that in general the orientation of a 2-simplex is not cyclic where the 1-faces are always directed. Thus, in view of geometric topology, the cyclic orientation of a 2-simplex is a relaxed variety retaining the properties of the directed 1-faces.

3.2. Homotopic 2-Simplex

Let $\left(W,{\tau }_W\right)$ be a Hausdorff topological space. A oriented 2-simplex ${\sigma }_i^{\left(2\right)}$ is defined as a homotopic 2-simplex if, and only if, the following conditions are admitted by a continuous injective topological embedding $i_{\sigma }:{\sigma }_i^{\left(2\right)}\to \left(W,{\tau }_W\right)$ with respect to the continuous function $g:\left[0,1\right]\to \left(W,{\tau }_W\right)$.

$$\begin{array}{l}\exists b_m\in {\Delta }_i,(g(0)=g(1))\cong i_{\sigma }(b_m),\\ \mathrm{hom}(i_{\sigma }({\sigma }_i^{(2)}),g([0,1]))\Rightarrow \mathrm{hom}(i_{\sigma }({\sigma }_i^{(2)}),S^1),\\ [g]\ast [\overline{g}]{\cong }_H[\overline{g}]\ast [g],\\ [i_{\sigma }(b_m)]{\cong }_H[g].\end{array}$$

(1)

This is to emphasize that in this case the topological property $\mathrm{hom}\left(i_{\sigma }\left({\sigma }_i^{\left(2\right)}\right),|{\sigma }_i^{\left(2\right)}|\right)$ is preserved and the orientation of the homotopic 2-simplex is also preserved by $g(.)$, which is considered to be positive in this case. However, the orientation of a homotopic 2-simplex is called negative if $\left[i_{\sigma }\left(b_m\right)\right]{\cong }_H\left[\overline{g}\right]$.

Remark 1.

Note that$\left\{b_m\right\}{{\displaystyle \cup }}^{ }\left\{b_n\right\}\in {\tau }_X$in the Hausdorff covering section$A_i$is closed (i.e., each one-point subspace is closed) and the orientation of$\left(b_m,b_n\right)\subset {\sigma }_i^{\left(2\right)}$indicates that if$p:\left[0,1\right]\to A_i$is a continuous function such that$p\left(0\right)=b_m$and$p\left(1\right)=b_n$then$\forall t\in \left[0,1\right],\overline{p}=p\left(1-t\right)$maintains the path-homotopic equivalence as$\left[p\right]\ast \left[\overline{p}\left]{\cong }_H\right[b_m\right]$. In other words, if we consider a continuous smooth function$q:\left[0,1\right]\to A_i$such that$\forall t_a,t_b\in \left[0,1\right],(a<b)\Rightarrow (t_a<t_b)$and$b_m\in q\left(\left(0,1\right)\right),b_n=q\left(1\right)$, then$b_m<b_n$. Recall that the convex and closed topological subspace of one oriented 2-simplex${\sigma }_i^{\left(2\right)}$is denoted as$|{\sigma }_i^{\left(2\right)}|$by following the notational conventions of geometric topology. The corresponding open subspace is denoted by$\langle {\sigma }_i^{\left(2\right)}\rangle$.

Let the topological space $Y$ containing the disjoint embeddings be given by $i_{\mathrm{cov}}:X_{\mathrm{cov}}\to Y$ and $i_X:X\to Y$ such that $\mathrm{hom}\left(X_{\mathrm{cov}},i_{\mathrm{cov}}\left(X_{\mathrm{cov}}\right)\right)$ and $\mathrm{hom}\left(X,i_X\left(X\right)\right)$ properties are maintained. It is important to note that the locally homeomorphic embeddings retain the covering map as $f_{\mathrm{cov}}:i_{\mathrm{cov}}\left(X_{\mathrm{cov}}\right)\to i_X\left(X\right)$. Moreover, it is considered that the embedding under the inclusion map preserves the equivalence relation given as $i_{\mathrm{cov}}(\langle {\sigma }_k^{\left(2\right)}\rangle )\cong \langle i_{\mathrm{cov}}|{\sigma }_k^{\left(2\right)}|\rangle$. If the topological space $Y$ is a fibered space, then the concept of simplicial fibers can be introduced in the corresponding simplicial structures in the respective embedded covering spaces, which is defined as follows.

3.3. Simplicial Fibers

Let the two sections of covering spaces generated by $f_c^{-1}\left(N_p\right)$ be given as $A_i,A_k$ and the two corresponding oriented 2-simplices be given as ${\sigma }_i^{\left(2\right)}$ and ${\sigma }_k^{\left(2\right)}$, respectively. A fiber ${\mu }_{p\times I}\subset Y$ at $i_X\left(x_p\right)\in Y$ is called as a simplicial fiber if, and only if, ${\mu }_{p\times I}\cap i_{\mathrm{cov}}\left(|{\sigma }_i^{\left(2\right)}|\right)=\left\{e_i\right\}$ and ${\mu }_{p\times I}\cap i_{\mathrm{cov}}\left(|{\sigma }_k^{\left(2\right)}|\right)=\left\{e_k\right\}$ such that $e_i\in i_{\mathrm{cov}}(\langle {\sigma }_i^{\left(2\right)}\rangle )$ and $e_k\in i_{\mathrm{cov}}(\langle {\sigma }_k^{\left(2\right)}\rangle )$.

Remark 2.

It is important to note that, in general, if${\sigma }_i^{\left(2\right)}$and${\sigma }_k^{\left(2\right)}$are two oriented 2-simplices, then the continuous functions$v_i:S^1\to \langle {\sigma }_i^{\left(2\right)}\rangle$and$v_k:S^1\to \langle {\sigma }_k^{\left(2\right)}\rangle$need not be nullhomotopic in nature. However, this flexibility is further constrained by enforcing nullhomotopy in order to establish the simplicial fiber. As a result, the topological subspaces$|{\sigma }_i^{\left(2\right)}|$and$|{\sigma }_k^{\left(2\right)}|$are each path-connected as well as simply connected where$|{\sigma }_i^{\left(2\right)}|\cap |{\sigma }_k^{\left(2\right)}|=\varnothing$.

Note that a simplicial fiber preserves the alignment of 2-simplices within the embedded covering sections. If $A_i,A_k\subset X_{\mathrm{cov}}$ such that $A_i,A_k\in f_c^{-1}\left(N_p\right)$ and $|{\sigma }_i^{\left(2\right)}|\subset A_i,|{\sigma }_k^{\left(2\right)}|\subset A_k$,then the bijection $f_{\sigma \left(k,i\right)}:i_{\mathrm{cov}}\left({\Delta }_k\right)\to i_{\mathrm{cov}}\left({\Delta }_i\right)$ is a simplicial map from ${\sigma }_k^{\left(2\right)}$ to ${\sigma }_i^{\left(2\right)}$ within $Y$. A simplicial map supports the formation of the corresponding simplicial braid-paths within the embedded topological subspaces. The definition of simplicial braid-paths under an inclusion map is presented as follows.

3.4. Simplicial Braid-Paths

A braid-path between ${\sigma }_i^{\left(2\right)}$ and ${\sigma }_k^{\left(2\right)}$ under embeddings in the dense as well as path-connected $Y$ is a continuous function $f:\left[0,1\right]\to Y$ such that $f\left(0\right)\in i_{\mathrm{cov}}\left({\Delta }_k\right)$ and $f\left(1\right)\in \left(f_{\sigma \left(k,i\right)}\circ i_{\mathrm{cov}}\right)\left({\Delta }_k\right)$.

Remark 3.

It is possible to represent the orientation of a homotopic 2-simplex within the covering spaces by a discrete assignment function$f_{\sigma }:{\sigma }_i^{\left(2\right)}\to \left\{-r\in R,r\in R\right\}$, where${\sigma }_i^{\left(2\right)}$is an arbitrary 2-simplex. For example, if we consider that$\left[i_{\sigma }\left(b_m\right)\right]{\cong }_H\left[g\right]$, then$f_{\sigma }\left({\sigma }_i^{\left(2\right)}\right)=r$, and if$\left[i_{\sigma }\left(b_m\right)\right]{\cong }_H\left[\overline{g}\right]$, then$f_{\sigma }\left({\sigma }_i^{\left(2\right)}\right)=-r$.

It is important to note that the braid-path maintains the condition given by $f\left(0\right)\ne f\left(1\right)$ and as a result a set of twisted braid-paths involving the simplicial maps can be constructed to suitably admit a variety of homological formal sums. The twisted braid-paths do not alter the nature of simplicial braid-paths as well as the orientations of 2-simplices; however, they consider the combinatorial forms of simplicial maps between embedded ${\sigma }_i^{\left(2\right)}$ and ${\sigma }_k^{\left(2\right)}$ in the dense subspace.

3.5. Twisted Braid-Paths

Let ${\sigma }_i^{\left(2\right)}$ and ${\sigma }_k^{\left(2\right)}$ be two oriented 2-simplices in the respective covering sections $A_i,A_k$ within the covering spaces generated by $f_c^{-1}\left(N_p\right)$. If $F=\left\{f_{\mathrm{mn}}:\left[0,1\right]\to Y;m,n\in Z^{+}\right\}$ represents a set of simplicial braid-paths, then $F$ is called as twisted braid-paths in $i_{\mathrm{cov}}\left(X_{\mathrm{cov}}\right)\subset Y$ if the following properties are maintained.

$$\begin{array}{l}i=k+1,m\ne n,\\ {\displaystyle \underset{\forall mn}{{\displaystyle \cap }}{f}_{mn}=\varnothing },\\ f_{mn}(0)=a_m\in i_{\mathrm{cov}}({\Delta }_k),\\ f_{mn}(1)=b_n\in i_{\mathrm{cov}}({\Delta }_i).\end{array}$$

(2)

The resulting twisted as well as braid-paths connected algebraic structure in the covering spaces in $Y$ is represented as ${\Psi }_{ik}=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$.

Example 1.

The combinatorial numerical representations of the individual twisted braid-paths in${\Psi }_{ik}=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$within the dense topological subspace are given as follows:

$$\begin{array}{c}{f}_{12}\left(0\right)=a_1\in i_{\mathrm{cov}}\left({\Delta }_k\right),f_{12}\left(1\right)=b_2\in i_{\mathrm{cov}}\left({\Delta }_i\right),\\ f_{23}\left(0\right)=a_2\in i_{\mathrm{cov}}\left({\Delta }_k\right),f_{23}\left(1\right)=b_3\in i_{\mathrm{cov}}\left({\Delta }_i\right),\\ f_{31}\left(0\right)=a_3\in i_{\mathrm{cov}}\left({\Delta }_k\right),f_{31}\left(1\right)=b_1\in i_{\mathrm{cov}}\left({\Delta }_i\right).\end{array}$$

(3)

Note that the twisted braid-paths in${\Psi }_{ik}=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ have order 3 between the 0-faces of two oriented 2-simplices within the covering spaces.

4. Main Results

The main results are presented in this section in two parts. First, we present the homotopy properties of the braid-path loops in the structure ${\Psi }_{ik}=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$, which gives rise to the discrete variety of fundamental groups. Next, we present the group algebraic properties of homological formal sums in ${\Psi }_{ik}=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ considering real-valued weight assignments to the path components. It is important to note that in this section we consider that the algebraic structure ${\Psi }_{ik}=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ is established within the topological space $\left(Y,{\tau }_Y\right)$ through the suitable homeomorphic embeddings and as a result the notational presentation of $i_{\mathrm{cov}}(.)$ is omitted for simplicity. In order to avoid confusion, we will use ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ to remind that ${\Psi }_{ik}=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ is indeed in $\left(Y,{\tau }_Y\right)$.

4.1. Homotopy Properties

The topological property of the connectedness of a space influences the admission of algebraic structure ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$. The existence of ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ under homeomorphic embeddings requires that the topological space be at least connected. The relatively stronger condition of topologically simple connectedness of the entire embedding subspace ensures that ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ is successfully admitted within the corresponding subspace of $\left(Y,{\tau }_Y\right)$. Note that the weaker condition of topological path-connectedness can also support ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$. However, in that case the existence of a single point of separation $\left\{a\right\}\in {\tau }_Y$ will not admit ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ if the respective single point also separates the embedding subspace $E\subset Y$ containing ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$. Moreover, a completely separated topological space $Y=A\cup B$ with $\overline{A}\cap B=A\cap \overline{B}=\varnothing$ cannot always admit ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$. The following theorem is presented considering the simple connectedness of the embedding subspace $E\subset Y$ in $\left(Y,{\tau }_Y\right)$.

Theorem 4.

If$E\subset Y$is a simply connected subspace of$\left(Y,{\tau }_Y\right)$such that$|{\sigma }_i^{\left(2\right)}|\cup |{\sigma }_k^{\left(2\right)}|\subset E$, then${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$admits twisted discrete homotopy classes in$E\subset Y$.

Proof. 

Let $E\subset Y$ be a simply connected topological subspace in $\left(Y,{\tau }_Y\right)$. Suppose we consider two topological spaces under oriented 2-simplices $|{\sigma }_i^{\left(2\right)}|\subset A$ and $|{\sigma }_k^{\left(2\right)}|\subset B$ in the respective covering spaces $A,B\in f_c^{-1}\left(N_p\right)$ for some $y_p\in Y$ such that $A\cup B\subset E$. If ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ is a twisted braid-path structure in $E\subset Y$, then we can construct a set of continuous functions given by $\forall f_{\mathrm{mn}}\in F,f_{\mathrm{mn}}:\left[0,1\right]\to E$. As a result, the following set of discrete path-homotopy loops can be generated by following the twisted braid-paths at $a_1\in {\Delta }_k$ of ${\sigma }_k^{\left(2\right)}$ (here, the notation $p_t^{\left(a1\right)}$ represents twisted discrete path-homotopy loops at the corresponding vertex $a_1\in {\Delta }_k$ of a 2-simplex for some finite $t\in Z^{+}$ in $Y$).

$$\begin{array}{l}{a}_m\in {\Delta }_k,b_n\in {\Delta }_i,t\in [1,3],\\ p_{t=1}^{(a1)}\equiv [f_{12}]\ast [(b_2,b_1)]\ast [\overline{f_{31}}]\ast [(a_3,a_1)],\\ p_{t=2}^{(a1)}\equiv [(a_1,a_2)]\ast [f_{23}]\ast [(b_3,b_2)]\ast [\overline{f_{12}}],\\ p_{t=3}^{(a1)}\equiv [f_{12}]\ast [(b_2,b_1)]\ast [(b_1,b_3)]\ast [(b_3,b_2)]\ast [\overline{f_{12}}].\end{array}$$

(4)

However, if $\left[a_1\right]$ represents the left-identity and right-identity of a homotopy class, then the following homotopy equivalence can be concluded.

$$[p_{t=1}^{(a1)}]{\cong }_H[p_{t=2}^{(a1)}]{\cong }_H[p_{t=3}^{(a1)}]{\cong }_H[a_1].$$

(5)

Similarly, the class of homotopy equivalence can be easily formulated considering that the left-identity and right-identity of homotopic paths is located at $\left[a_2\right]$ which is presented as follows.

$$\begin{array}{l}[p_{t=1}^{(a2)}]{\cong }_H[p_{t=2}^{(a2)}]{\cong }_H[p_{t=3}^{(a2)}]{\cong }_H[a_2],\\ p_{t=1}^{(a2)}\equiv [(a_2,a_3)]\ast [(a_3,a_1)]\ast [f_{12}]\ast [(b_2,b_1)]\ast [(b_1,b_3)]\ast [\overline{f_{23}}],\\ p_{t=2}^{(a2)}\equiv [f_{23}]\ast [(b_3,b_2)]\ast [(b_2,b_1)]\ast [\overline{f_{31}}]\ast [(a_3,a_1)]\ast [(a_1,a_2)],\\ p_{t=3}^{(a2)}\equiv [f_{23}]\ast [(b_3,b_2)]\ast [\overline{f_{12}}]\ast [(a_1,a_2)].\end{array}$$

(6)

Accordingly, the homotopy equivalence classes for $\left[a_3\right]$ of ${\sigma }_k^{\left(2\right)}$ can be formulated in ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$. Hence, the algebraic structure ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ admits discrete twisted homotopy classes in ${\sigma }_i^{\left(2\right)}$ and ${\sigma }_k^{\left(2\right)}$. □

Lemma 1.

If$M=\underset{u\in \left\{i,k\right\}}{{\displaystyle \cup }}\{f_{\sigma }\left({\sigma }_u^{\left(2\right)}\right)\}\cup \left\{0\right\}$, then$G_M=\left(M,+\right)$is an Abelian group if, and only if, the orientations of the corresponding two homotopic 2-simplices are not equal.

Proof. 

The proof is relatively straightforward. Let the discrete assignment function be given as $f_{\sigma }:{\sigma }_i^{\left(2\right)}\to \left\{-r\in R,r\in R\right\}$. Suppose the homotopic 2-simplices maintain the conditions such that $\left[i_{\sigma }\left(b_m\in {\Delta }_i\right)\right]{\cong }_H\left[g\right]$ and $\left[i_{\sigma }\left(a_m\in {\Delta }_k\right)\right]{\cong }_H\left[\overline{g}\right]$ where the oriented 2-simplices ${\sigma }_i^{\left(2\right)}$ and ${\sigma }_k^{\left(2\right)}$ are generated by the convex hulls of ${\Delta }_i$ and ${\Delta }_k$, respectively. Evidently, one can conclude that $f_{\sigma }\left({\sigma }_i^{\left(2\right)}\right)+f_{\sigma }\left({\sigma }_k^{\left(2\right)}\right)=0$.

Hence, the algebraic structure $G_M=\left(M,+\right)$ is an Abelian group if $M=\underset{u\in \left\{i,k\right\}}{{\displaystyle \cup }}\{f_{\sigma }\left({\sigma }_u^{\left(2\right)}\right)\}\cup \left\{0\right\}$. □

An interesting observation can be made from Theorem 4: the vertices of 2-simplices and a set of braid-paths support the formation of a discrete variety of fundamental groups having twisted path-homotopy loops in multiple numbers. This observation is presented in the following Theorem. Recall that we are denoting a twisted and discrete path-homotopy loop at $a_i\in {\Delta }_k$ as $p_t^{\left(ai\right)}$ for $t\in Z^{+}$ in $Y$.

Theorem 5.

At every$a_m\in {\Delta }_k$of${\sigma }_k^{\left(2\right)}$in${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$, there is a discrete variety of fundamental group${\pi }_1\left(X_{am},a_m\right)$where$X_{am}=\left\{p_t^{\left(am\right)}:t=1,2,3\right\}$.

Proof. 

Let ${\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)}$ be two oriented 2-simplices in two respective sections of covering maps containing a ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ algebraic structure within the covering space in $\left(Y,{\tau }_Y\right)$. Suppose $a_{m=1}\in {\Delta }_k$ of ${\sigma }_k^{\left(2\right)}$ is a vertex such that the path-homotopy loops are generated by the corresponding twisted braid-paths in ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ as presented by Equation (4). The following path-homotopy equivalence relation and the associative property of homotopy class path-products can be concluded from Equation (4).

$$\begin{array}{l}[p_t^{(a1)}]{\cong }_H[a_1],t=1,2,3,\\ [p_1^{(a1)}]\ast ([p_2^{(a1)}]\ast [p_3^{(a1)}])=([p_1^{(a1)}]\ast [p_2^{(a1)}])\ast [p_3^{(a1)}].\end{array}$$

(7)

Moreover, we can derive the following path-homotopy equivalence relational properties as an extension.

$$\begin{array}{l}\overline{p_{t=1}^{(a1)}}\equiv [\overline{(a_3,a_1)}]\ast [f_{31}]\ast [\overline{(b_2,b_1)}]\ast [\overline{f_{12}}],\\ \overline{p_{t=2}^{(a1)}}\equiv [f_{12}]\ast [\overline{(b_3,b_2)}]\ast [\overline{f_{23}}]\ast [\overline{(a_1,a_2)}],\\ \overline{p_{t=3}^{(a1)}}\equiv [f_{12}]\ast [\overline{(b_3,b_2)}]\ast [\overline{(b_1,b_3)}]\ast [\overline{(b_2,b_1)}]\ast [\overline{f_{12}}],\\ [p_t^{(a1)}]\ast [\overline{p_t^{(a1)}}]{\cong }_H[\overline{p_t^{(a1)}}]\ast [p_t^{(a1)}]{\cong }_H[a_1].\end{array}$$

(8)

Thus, if we consider that $X_{a1}=\left\{p_t^{\left(a1\right)}:t=1,2,3\right\}$, then ${\pi }_1\left(X_{a1},a_1\right)$ is a discrete form of a fundamental group in ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$. Similarly, the discrete forms of fundamental groups ${\pi }_1\left(X_{a2},a_2\right)$ and ${\pi }_1\left(X_{a3},a_3\right)$ can be formulated in the algebraic structure ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$. Hence, in general the fundamental group ${\pi }_1\left(X_{am},a_m\right)$ is formed under the set of twisted braid-paths $X_{am}=\left\{p_t^{\left(am\right)}:t=1,2,3\right\}$ at the respective base points. □

The aforementioned property leads to an interesting observation. There exist two discrete path-homotopy loops generated by braid-paths in the fundamental group ${\pi }_1\left(X_{a1},a_1\right)$ within ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$, where one loop absorbs the other one under a non-commutative path-product operation. The following theorem illustrates this observation.

Theorem 6.

In the fundamental group${\pi }_1\left(X_{a1},a_1\right)$within the structure${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$, the braid-paths generated homotopy loop$p_3^{\left(a1\right)}$absorbs$p_2^{\left(a1\right)}$if, and only if, the homotopy path-product is non-commutative.

Proof. 

Let us consider the fundamental group ${\pi }_1\left(X_{a1},a_1\right)$ generated by the twisted braid-paths within the algebraic structure ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$. Recall that there exist two twisted braid-paths with path-homotopy equivalence which is given as follows.

$$\begin{array}{l}{p}_2^{(a1)}\equiv [(a_1,a_2)]\ast [f_{23}]\ast [(b_3,b_2)]\ast [\overline{f_{12}}],\\ p_3^{(a1)}\equiv [f_{12}]\ast [(b_2,b_1)]\ast [(b_1,b_3)]\ast [(b_3,b_2)]\ast [\overline{f_{12}}],\\ [p_2^{(a1)}]{\cong }_H[p_3^{(a1)}]{\cong }_H[a_1].\end{array}$$

(9)

Let us denote $\left[\left(a_1,a_2\right)]\ast [f_{23}]\equiv [\langle a_1,b_3\rangle \right]$ preserving the initial vertex $a_1\in {\Delta }_k$ and the final vertex $b_3\in {\Delta }_i$. Moreover, the cycle $\left[\left(b_2,b_1\right)]\ast [\left(b_1,b_3\right)]\ast [\left(b_3,b_2\right)\right]$ is algebraically denoted by $\left[\left(b_2,b_1\right)]\ast [\left(b_1,b_3\right)]\ast [\left(b_3,b_2\right)]\equiv [{\Delta }_i^{\left(213\right)}\right]$ involving ${\sigma }_i^{\left(2\right)}$. This results in the construction of the following homotopy loops involving braid-paths.

$$\begin{array}{l}{p}_2^{(a1)}=[\langle a_1,b_3\rangle ]\ast [(b_3,b_2)]\ast [\overline{f_{12}}]\cong [\langle a_1,b_2\rangle ]\ast [\overline{f_{12}}],\\ p_3^{(a1)}=[f_{12}]\ast [{\Delta }_i^{(213)}]\ast [\overline{f_{12}}].\end{array}$$

(10)

This results in the following derivation.

$$\begin{array}{l}[p_2^{(a1)}]\ast [p_3^{(a1)}]=[\langle a_1,b_2\rangle ]\ast [\overline{f_{12}}]\ast [f_{12}]\ast [{\Delta }_i^{(213)}]\ast [\overline{f_{12}}],\\ \Rightarrow [p_2^{(a1)}]\ast [p_3^{(a1)}]=[\langle a_1,b_2\rangle ]\ast [{\Delta }_i^{(213)}]\ast [\overline{f_{12}}],\\ [\langle a_1,b_2\rangle ]\ast [{\Delta }_i^{(213)}]\ast [\overline{f_{12}}]\cong [f_{12}]\ast [{\Delta }_i^{(213)}]\ast [\overline{f_{12}}],\\ \Rightarrow [p_2^{(a1)}]\ast [p_3^{(a1)}]=[p_3^{(a1)}],\\ \Rightarrow [p_3^{(a1)}]\ast [p_2^{(a1)}]\ne [p_3^{(a1)}].\end{array}$$

(11)

Hence, the twisted braid-paths generated discrete homotopy loops admit an absorption property if the homotopy path-product is non-commutative in nature. □

4.2. Properties of Homological Formal Sum

It is possible to assign numerically computable weights to the path-components of a braid-paths generated homotopy loop as well as 1-faces of 2-simplices in the ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ structure. Let us denote the 1-face path-components of an n-th 2-simplex as ${\alpha }_n\in p_1^{\left(a1\right)},{\beta }_n\in p_2^{\left(a1\right)}$ and ${\gamma }_n\in p_3^{\left(a1\right)}$ for a braid-paths generated discrete fundamental group ${\pi }_1\left(X_{a1},a_1\right)$ in ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$. In this case, an n-th 2-simplex indicates that either $n=i$ or $n=k$ considering ${\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)}$. Suppose the weights are assigned by a real-valued function given by $w:{\Psi }_{ik}{|}_Y\to R$ such that it maintains two properties: (1) $w\left({\alpha }_n\right)=w\left({\beta }_n\right)=w\left({\gamma }_n\right)=1$ if the orientations of corresponding 1-faces of ${\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)}$ are preserved in the braid-path homotopy loops and (2) $w\left({\alpha }_n\right)=w\left({\beta }_n\right)=w\left({\gamma }_n\right)=-1$ if the orientations of 1-faces are reversed. Moreover we assign unknown weights to the braid-path components as $w\left(f_{12}\right)=x_2,w\left(f_{23}\right)=x_3$ and $w\left(f_{31}\right)=x_1$ within the structure ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ if the orientations of the braid-path components are preserved. Otherwise, if the orientations of the braid-path components are reversed then, $w\left(f_{12}\right)=-x_2,w\left(f_{23}\right)=-x_3$ and $w\left(f_{31}\right)=-x_1$. Interestingly, the real-valued weight assignments form a multiplicative group algebraic structure $G_p=\left(X_{p\left(a1\right)},w,\cdot \right)$ where $X_{p\left(a1\right)}$ represents a set of homological formal sums in ${\pi }_1\left(X_{a1},a_1\right)$, which is given as follows ($L$ denotes the maximum number of components in a path in a directed as well as oriented homotopy loop).

$$\begin{array}{l}{y}_u\in p_t^{(a1)},u\in [1,L],\\ t,m=1,2,3,\\ X_{p(a1)}=\{h_m:h_m={\displaystyle \sum _{u=1}^L{(-1)}^u.w(y_u)}\}.\end{array}$$

(12)

This observation is presented in the following theorem.

Theorem 7.

The real-valued weight assignments$w:{\Psi }_{ik}{|}_Y\to R$to path components of a braid-paths generated discrete${\pi }_1\left(X_{a1},a_1\right)$admit the smallest non-trivial multiplicative group$G_p=\left(X_{p\left(a1\right)},w,\cdot \right)$, where$X_{p\left(a1\right)}$is a set of homological formal sums of homotopy loops of${\pi }_1\left(X_{a1},a_1\right)$in${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$.

Proof. 

Let ${\pi }_1\left(X_{a1},a_1\right)$ be a discrete variety fundamental group in ${\Psi }_{ik}{|}_Y=\left({\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)},F\right)$ generated by path-homotopy loops $p_t^{\left(a1\right)},t=1,2,3$ involving the braid-path components. Suppose the real-valued weight assignments by $w:{\Psi }_{ik}{|}_Y\to R$ are admitted such that $w\left({\alpha }_n\right)=w\left({\beta }_n\right)=w\left({\gamma }_n\right)=1$ for any 2-simplex in a ${\pi }_1\left(X_{a1},a_1\right)$ fundamental group (in the case of orientation preservations of the corresponding 1-faces in a 2-simplex) and, $w\left({\alpha }_n\right)=w\left({\beta }_n\right)=w\left({\gamma }_n\right)=-1$ (in the case of orientation reversals of the corresponding 1-faces in a 2-simplex). Moreover the real-valued weight assignments to braid-paths are preserved as $w\left(f_{12}\right)=\pm x_2,w\left(f_{23}\right)=\pm x_3$ and, $w\left(f_{31}\right)=\pm x_1$ (sign is positive if the orientation is preserved, otherwise it is negatively signed). Note that we are considering oriented 2-simplices ${\sigma }_i^{\left(2\right)},{\sigma }_k^{\left(2\right)}$ in the computation such that either $n=i$ or $n=k$. Thus, the following sets of equations can be derived, further generating homological formal sums in the set $X_{p\left(a1\right)}$.

$$\begin{array}{l}\forall y_u\in p_{t=1}^{(a1)},h_1={\displaystyle \sum _{u=1}^4{(-1)}^u.w(y_u)=-x_2+1-(-x_1)+1=}{x}_1-x_2+2,\\ \forall y_u\in p_{t=2}^{(a1)},h_2={\displaystyle \sum _{u=1}^4{(-1)}^u.w(y_u)=-1+x_3-1+(-x_2)=}{x}_3-x_2-2,\\ \forall y_u\in p_{t=3}^{(a1)},h_3={\displaystyle \sum _{u=1}^5{(-1)}^u.w(y_u)=-x_2+1-1+1-(-x_2)=}1.\end{array}$$

(13)

As a result, the discrete fundamental group ${\pi }_1\left(X_{a1},a_1\right)$ admits $X_{p\left(a1\right)}=\left\{h_m:m=1,2\right\}\cup \left\{1\right\}$ generated by homological formal sums. Suppose the set $X_{p\left(a1\right)}=\left\{h_m:m=1,2\right\}\cup \left\{1\right\}$ maintains the following additional condition under closed multiplication operation $·:{(X_{p\left(a1\right)})}^2\to X_{p\left(a1\right)}$.

$$\begin{array}{c}{h}_1\cdot h_2=1,\\ \Rightarrow h_1^{-1}=h_2,\\ \Rightarrow h_2^{-1}=h_1.\end{array}$$

(14)

Hence, the structure $G_p=\left(X_{p\left(a1\right)},w,\cdot \right)$ is the smallest non-trivial multiplicative group under homological formal sums in the discrete variety fundamental group ${\pi }_1\left(X_{a1},a_1\right)$. □

Example 2.

Let us consider the group structure$G_p=\left(X_{p\left(a1\right)},w,\cdot \right)$and the corresponding weight assignments to braid-path components as$x_1=x_2=1$and$x_3=7/2$. Thus, a numerical solution is$X_{p\left(a1\right)}=\left\{0.5,2,1\right\}$admitting the multiplicative group structure. Note that the numerical values in set$X_{p\left(a1\right)}$are not necessarily unique.

Corollary 1.

The smallest non-trivial multiplicative group$G_p=\left(X_{p\left(a1\right)},w,\cdot \right)$admits several possible sets of homological formal sums$X_{p\left(a1\right)}$in suitable combinations to support the group structure.

The proof of the corollary is relatively straightforward in nature. Note that the values of homological formal sums are influenced by the weight assignments to braid-paths and as a result there exist multiple possible solutions to admit $G_p=\left(X_{p\left(a1\right)},w,\cdot \right)$ successfully. In other words, the numerical construction of $G_p=\left(X_{p\left(a1\right)},w,\cdot \right)$ is not unique.

5. Conclusions

In view of geometric as well as algebraic topology, the homeomorphic embeddings of two cyclically reverse oriented 2-simplices connected by twisted braid-paths in the covering spaces admit an algebraic variety of a homotopic twisted structure. The structure is oriented supporting the formation of Abelian groups and preserves various forms of path-homotopy equivalence classes under homotopic path-products. The concept of a simplicial fiber is introduced, allowing the computation of homological formal sums. The resulting fundamental group formed within the algebraic structure is a discrete variety and the non-commutative homotopic path-products exhibit a loop absorption property. The homological formal sums computed by suitable weight assignments from a set of real numbers to path components in the homotopy loops admit a non-trivial multiplicative group structure. However, the generated smallest non-trivial multiplicative group is not unique and several groups can be formed by assigning suitable numerical weights. The concepts presented in this paper may find possible applications in chemical sciences (molecular structural analysis of DNA spirals and linkages), physical sciences (crystallography and nuclear structural analysis), and in mathematical sciences.