Preprint
Article

Fiber Structure and Stability Theorems for Symmetry Breaking Transitions

This version is not peer-reviewed.

Submitted:

05 March 2024

Posted:

06 March 2024

You are already at the latest version

Abstract
We discuss three key points: defining mathematically the notions of phase, symmetry breaking, topological defects and their stability in a formal language of homotopy theory and fiber bundle formalism; postulating and proving two theorems for successive symmetry breaking scenarios in condensed matter physics and cosmology, and demonstrating application of theorems to superfluid Helium 3 and Kibble-Lazarides-Shafi (KLS) walls, supporting and mathematically justifying the results of [Volovik, 2020].
Keywords: 
Subject: 
Physical Sciences  -   Mathematical Physics
Condensed Matter Physics and Catalysis

1. Motivation

In physics, fiber bundles and homotopy theory are fundamental for understanding fields and forces, offering a geometric interpretation of various physical phenomena, including gauge theories and aspects of general relativity. [3,4,5,6,7,8,9,10,11,12,13,14,15]. Employing the language of fiber bundles offers significant advantages in studying the phase transitioning systems. Fiber bundles are able to reveal the contrast between local simplicity and global complexity making these differences the key points in understanding topological properties of the symmetry breaking systems. Additionally, the homotopy lifting property on a fiber bundle enables conversion from relative homotopy groups to absolute homotopy group: π n ( X , x 0 ) π n ( G , H , e 0 ) , naturally extending the results of [2]. In the fiber bundle framework, every path in a topological space X based at x 0 will be lifted to a unique path on fiber bundle G (with a fiber H and a base B G / H ) starting at e 0 and ending in fiber H up to homotopy. In first section, we show how fibers and bases of fiber bundles together with homotopy can be used to define the notions of an order parameter space, topological defect, symmetry breaking, phases and phase transitions. The Defect and Fiber structure theorems we present in the second section of this work allow us to expose explicitly the mathematical conditions at which long exact homotopy sequence of the absolute homotopy group can be used to track the stability of a topological defect in successive phase transitions. Finally, we provide the examples of how these theorems may be used on the most well-studied condensed matter phase transitioning system- superfluid Helium [16,17,18,19,20].

2. Preliminary Knowledge

Suppose that B and H are Hausdorff topological spaces. A fiber bundle G with base B and fiber H is a Hausdorff topological space X together with a continuous map p : X B (called projection map) with the following properties:
  • For each b B , the preimage of p 1 ( b ) of b X is homeomorphic to H
  • For each b B , ∃ neighborhood U ( b ) : fibers p 1 ( U ) are homeomorphic to X = U × H , such that p ( x ) = p 1 ( Φ ( x ) ) , p 1 : U × H U is the map p 1 ( u , h ) = u and x X
Equivalence relation is a binary relation which is reflexive ( a a ), symmetric ( a b , b a ), and transitive ( a b , b c , a c ).
Equivalence class is a subset Y X , such that n m , n , m Y and never a case for n Y , but m Y . The equivalence class to which n belongs is denoted as [ n ] { x X : n x } . All elements of X equivalent to each other are also elements of the same equivalence class. The equivalence class of a path f under the equivalence relation of homotopy called the homotopy class of f.
The n-th homotopy group π n ( X , x 0 ) . Let I n be n-cube consisting of points t = ( t 1 , t 2 , , t n ) in Euclidean n-space, such that 0 t i 1 , i = 1 , , n . Setting t i = 0 or t i = 1 gives us the ( n 1 ) -face, and union of such ( n 1 ) -faces forms the boundary I n of I n . Consider maps of I n into X, such that I n maps into x 0 , then the elements of π n ( X , x 0 ) are homotopy classes of such maps. Alternatively, an element of π n ( X , x 0 ) can be defined as a homotopy class of maps of S n into X, with y 0 x 0 , where y 0 is the reference point on S n to which the boundary I n is squished.
Normal subgroup. The subgroup H G is called normal if and only if g H g 1 = H for g G . Equally, a subgroup H G is normal if and only if g H = H g , g G .
Quotient space. The left coset of H , g G is a subset of G : { g h | h H } . Collection of all cosets of H is denoted by G / H = { g h | g G } , so elements of G / H are cosets, not elements of G. If H is a normal subgroup of G, then G / H can be turned into a group and we call G / H  the quotient group.
Covering theorem. Let X ˜ be the covering space for X, such that there exists a projection map p : X ˜ X , such that p ( x 0 ˜ ) = x 0 . Then exists induced homomorphism p * , such that p * : π n ( X ˜ , x 0 ˜ ) π n ( X , x 0 ) is the isomorphism onto for n 2 .
Universal property: Let X be a space and ∼ equivalence relation on X with corresponding quotient space Y = X / . The projection map q : X Y has the universal property: for a given map f : X Z , such that f ( x ) = f ( y ) if x y , there ∃ a unique map g : Y Z , such that f = g · q . Every map g : Y Z lifts to a map on X that is constant on equivalence classes.
Homotopy Lifting Property. A fiber bundle G with the base B and projection map p : G B has the homotopy lifting property with respect to all CW pairs ( X , A ) [21]
Although some of the order parameter spaces can be directly observed by physicists in condensed matter laboratories, the topological defects defined as the elements of the n the homotopy group are not easily related to the physical realms. The term "defect" is quite ambiguous and used in various disciplines implying different meanings [22,23,24,25]. In this work, a topological defect is referred to a mathematical structure uniquely associated to a phenomena observed by physicists in the laboratory. The observed phenomena by experimentalists will be referred as physical defects. For example, if two physical defects, such as vortices or phonons, are observed in some condensed matter experiment, we associate each observed physical defect to a unique element of the fundamental group of the parameter space and call it a topological defect.
Order parameter space and topological defects. Let G be having a structure of fiber bundle of dimension m with fiber H of dimension k, and base G / H of dimension m k . The projection map p : G G / H is given by p ( g ) = [ x ] , where g G and [ x ] denotes the coset x H ( G / H ) m k . The base B G / H is called the order parameter space of dimension m k . The elements of the n-th homotopy group π n ( B ) are called topological defects (or simply defects).
Symmetry breaking. Let G be a group corresponding to the maximal symmetries of some physical system named K. We say that system K undergoes symmetry breaking if exists a normal subgroup H in G and continuous map p : G G / H . Then H represent the set of symmetries the system X is invariant after the symmetry breaking, and the quotient group G / H represents the symmetries under which X is no longer invariant.
Symmetry breaking may also be discussed in the language of fiber bundles. For some arbitrary system K with its maximal symmetries described by the fiber bundle G, single spontaneous symmetry breaking is given by the short fiber bundle sequence N G p ( G / N ) , where N is the fiber of G, which represents the unbroken or remaining symmetries in the system G and the base G / N represents the group of broken symmetries.
Phases and transitions. Let G be a group of the maximal symmetries of the considered system and have a structure of the fiber bundle. Let N 1 be a closed subgroup of G and N 2 be a closed subgroup of N 1 , so that N 2 N 1 G . The number of such closed "nested" subgroups in G is called the number of phases which the system can transit to, and our case is given for the two phases. The system is said to experience two-phase transitions, if there exists a continuous map p from G / N 2 p G / N 1 .

3. The Defect and Fiber Structure Theorems

Local cross section f. Let N be a closed subgroup of G, so that N is a point n 0 G / N . A local cross section of N in G is a function f that continuously mapping a neighborhood N ϵ ( n 0 ) of ( n 0 ) into G such that p f ( n ) = n for n N ϵ . Such f exists for every fiber bundle G over G / N [26].
Fiber structure theorem. Let N 1 be a closed subgroup of G such that it admits a local cross section f, and N 2 be a closed subgroup of N 1 : N 2 N 1 G , and let p : G / N 2 G / N 1 be the the map induced by the inclusion of cosets. Two statements can be made:
Statement 1. G / N 2 has a fiber bundle structure relative to p with the fiber N 1 / N 2 , and the group of the bundle is N 1 / N 2 0 with N 2 0 being the largest subgroup of N 2 invariant in N 1 acting in N 1 / N 2 as left translations. There exists a short homotopy sequence group, N 1 / N 2 G / N 2 p G / N 1 ( In other notation, F E p B ) .
Statement 2. For path-connected base G / N 1 , there exists a long homotopy sequence: π i ( N 1 / N 2 ) π i ( G / N 2 ) π i ( G / N 1 ) π i 1 ( N 1 / N 2 ) π i 1 ( G / N 2 ) π i 1 ( G / N 1 ) . . . .
Proof:
  • Proof of statement 1. By the bundle structure theorem in [26], one can assign a bundle structure to G / N 2 relative to p with the fiber N 1 / N 2 .
  • Proof of statement 2: By Proposition 4.48 in [21], a fiber bundle p : G / N 2 G / N 1 , (base is G / N 1 and fiber N 1 / N 2 ), has the homotopy lifting property with respect to all CW pairs ( X , A ) . By Theorem 4.41 and Proposition 4.1 in [21], there exists a long exact homotopy sequence π i ( N 1 / N 2 ) π i ( G / N 2 ) π i ( G / N 1 ) π i 1 ( N 1 / N 2 ) π i 1 ( G / N 2 ) π i 1 ( G / N 1 ) . . . .
Corollary. For two phase-transitions, the long homotopy sequence,
π i ( N 1 / N 2 ) π i ( G / N 2 ) π i ( G / N 1 ) π i 1 ( N 1 / N 2 ) , where the fiber is F N 1 / N 2 , the fiber bundle is E G / N 2 , and the base is B G / N 1 and the short sequence is N 1 / N 2 G / N 2 G / N 1 . However, if N 2 is trivial, then the original fiber bundle is reduced to E r G , with the reduced fiber F r N 1 , and the base B r G / N 1 , so the short sequence for the reduced fiber bundle becomes N 1 G G / N 1 , and the long homotopy sequence becomes π i ( N 1 ) π i ( G ) π i ( G / N 1 ) π i 1 ( N 1 ) π i 1 ( G ) π i 1 ( G / N 1 )
Stability lemma. For a topological space X, these conditions are equivalent:
  • Any map S n X is homotopic without regard to basepoints to a constant map, with image a point
  • Any map S n X extends to a map D n + 1 X
  • π n ( X , x 0 ) = 0 for all x 0 X
Proof:
  • 1 . 2 . Consider S n × I with the defined equivalence relation ∼ on it and I being n dimensional version of the interval I = [ 0 , 1 ] . The map q : S n × I S n × I / ( S n × ( 0 , , 0 ) collapsing the top of the mapping cylinder S n × ( 0 , 0 , , 0 ) to a single point gives us a quotient cone Y S n × I / ( S n × ( 0 , , 0 ) . Consider a given map g : S n X that is homotopic without regard to a basepoints to a constant map with image a point, so that g ( x ) = g ( y ) for x y , x S n × I , y Y . Then by the universal property, there exists a unique map l : Y X , such that q · l = g , and every map l : Y X lifts to a map from S n that is constant on equivalence classes. Define a map d : Y D n + 1 , such that d ( y ) = d ( x ) for x y . Then, again, by the universal property, exists a unique map h : D n + 1 X such that d · h = l and every map h : D n + 1 X lifts to a map from Y that is constant on equivalence classes. Denote map d · q q , so now q : S n × I D n + 1 . Then h : D n + 1 X and q · h = g , so any map S n X extends to a map D n + 1 X .
Preprints 100663 i001
Preprints 100663 i002
  • 2 . 3 . Adopt the second diagram from the part above and consider that any map S n X extends to a map D n + 1 X . Moreover, consider the map g : S n × ( 1 , , 1 ) ( X , x 0 ) to be restriction of the map h : ( D n + 1 , ( 1 , , 1 ) ( X , x 0 ) .
    Preprints 100663 i003
    Preprints 100663 i004
Consider the based homotopy class [ g ] π n ( X , x 0 ) . Since D n + 1 is deformation contractible to a point, any image of the loop of π n ( S n , 1 ) can also be deformation-contracted to a point. So the images of loops of π n ( S n , 1 ) and π n ( D n + 1 , 1 ) are homotopy equivalent to a point, hence π n ( X , x 0 ) is trivial x 0 X .
  • 3 . 1 . Adopting a hypothesis that π n ( X , x 0 ) is trivial x 0 X , consider any map g : S n X and let [ g ] π n ( X , x 0 ) , with g ( s ) = x 0 for some s S n . Then [ g ] is nullhomotopic.
Physical stability theorem. Let r be an arbitrary dimension of the physical defect bounded to m dimensional space. An r dimensionalphysical defect cannot be physically stable if its associated homotopy class is homotopic to a constant map (or, equivalently, the fundamental group π m r 1 ( G / N ) is trivial).
Proof: If the π m r 1 ( G / N ) is trivial, then by Stability lemma, any map from S m r 1 G / N is homotopic without regard to basepoints to a constant map, having a point as its image. So, any topological defects formed in G / H is homotopic to a point, and hence associated physical defects cannot be stable.

4. Examples in Condensed Matter Physics

4.1. Superfluid Helium 4

From physics experiments, superfluid Helium 4 is known to have only one superfuid phase and the complex order parameter described by U ( 1 ) S 1 [27].
To connect mathematical language with the physics language, let G be having a structure of a fiber bundle represent all the symmetries of Helium 4 before the transition to its superfluid phase, and N 1 be s closed subgroup of G representing the remaining symmetries after the system underwent the phase transition from conventional fluid to the superfluid. Then the base of the fiber bundle is G / N 1 representing the order parameter of the superfluid, so that G / N 1 = U ( 1 ) S 1 .
Unlike the order parameter space, it is challenging to observe G and N 1 in the laboratory, however one can deduce G topological structure from the long homotopy sequence and assuming that N 1 is trivial. Given relatively simple nature of the order parameter, one may only consider lower order fundamental groups in the long homotopy sequence:
π 2 ( N 1 ) f π 2 ( G ) g π 2 ( G / N 1 ) j π 1 ( N 1 )
Setting π 2 ( N 1 ) = 0 , π 1 ( N 1 ) = 0 , one arrives to a part in a long homotopy sequence 0 f π 2 ( G ) g π 2 ( G / N 1 ) j 0 . Because the long homotopy sequence is exact, each map is a homomorphism such that the image of each map is equal to the kernel of the following map. For example, the image of the map f is trivial, which means that the kernel of g is also trivial, and hence the image of g must be trivial as well. Given that π 1 ( N 1 ) is trivial, the kernel of j must be π 2 ( G / N 1 ) , so the image of g is π 2 ( G / N 1 ) . As result, g is isomorphism of π 2 ( G ) with π 2 ( G / N 1 ) . From these results, we can deduce the Trivial fiber theorem for the transitioning systems with maximal symmetries described by fiber bundle G and single trivial fiber N 1 :
The Trivial Fiber Theorem: Suppose that G is a fiber bundle with the fiber N 1 and base G / N 1 . If π 1 ( N 1 ) and π 2 ( N 1 ) are both trivial, then π 2 ( G ) is isomorphic π 2 ( G / N 1 ) .
Although the fiber bundle G for superfluid Helium 4 is experimentally not accessible, from the the fact that π 2 ( G ) is isomorphic to π 2 ( G / N 1 ) and that π 2 ( G / N 1 ) = π 2 ( S 1 ) is trivial, the second fundamental group π 2 ( G ) is also trivial.
Similarly, consider another part of the long homotopy sequence π 1 ( N 1 ) f π 1 ( G ) g π 1 ( G / N 1 ) j π 0 ( N 1 ) Since π 1 ( N 1 ) is trivial and since π 0 ( N 1 ) is also trivial, given that there is only one element and hence the number of connected components, we deduce that π 1 ( G ) isomorphic to Z, since π 1 ( G / N 1 ) = π 1 ( S 1 ) Z . This result means that the fiber bundle G of superfluid Helium 4 contains non-contractible loops whose behavior is very much like the behavior of loops S 1 .
The Physical Stability Theorem can be applied to discuss the stability of physical defects which can be observed in superfluid Helium 4.
For given dimension m = 3 of physical space, such as a bulk of superfluid Helium 4, and r being the physical dimension of a defect,
  • The 0-dimensional defects cannot be stable since π 2 ( S 1 ) is trivial,
  • There exist 1-dimensional stable defects since π 1 ( S 1 ) Z ,
  • The 2-dimensional defects cannot be stable since π 0 ( S 1 ) is trivial.
One does not need to consider r = 3 scenario representing 3D topological defect in the system, because it is physically impossible. In fact, the m dimensional physical space M m may be considered isomorphic to m dimensional Euclidean space, M m R m ,and the defect space K r of dimension r is isomorphic to k dimensional Euclidean space R k , K r R k . So, space-wise, M m / K k R m R k . To illustrate this idea in an explicit example, consider the topological space R 3 R 1 , which can be envisioned as observing the cross section of a conventional three-dimensional space formed by Cartesian coordinates with removed axis, let it be z -axis for convenience. Removing the z axis leads to a cross-section is missing a point, resulting in the space R 3 R 1 behavior equivalent to R 2 with a missing point. Three dimensional topological defect would be equivalent to an object embedded in R 3 , and hence having it in 3D topological medium would lead to R 3 minus R 3 behavior, leading to breaking the continuous space apart, which might cost infinitely amount of energy.
Bundle structure theorem: Suppose G is a matrix Lie group and H is a closed subgroup of G: Then G has the structure of a fibre bundle with base G / H and fiber H, where projection map p : G G / H is given by p ( x ) = [ x ] , with [ x ] denoting the coset x H G / H Prove is given for Proposition 13.8 in [28].

4.2. Stability of the Defects in Superfluid Helium 3

The order parameter space for superfluid Helium 3 is given as S O ( 3 ) × S O ( 3 ) × U ( 1 ) , which we refer as the initial base space [29]. Given that the base space is a matrix Lie group S O ( 3 ) × S O ( 3 ) × U ( 1 ) , it is having a structure of a fiber bundle G with its own fibers N i representing remaining symmetries, and bases B i = G / N i , corresponding to the order parameters of various phases by the Bundle structure theorem [19]. We convert the results of [30] for continuous symmetries to a fiber-bundle language (Table 1), and apply Stability lemma and Physical Stability theorem in Table 2 for some of the phases of superfluid Helium 3, where each fundamental group’s multiplication rule dictates the behavior of the zero-dimensional and 1-dimensional physical defects.
Although the phase diagram of superfluid Helium 3 is very complex [31], for simplicity of the argument, consider only two phases of superfluid Helium 3 called phase-A and phase-B to illustrate usage of Fiber structure theorem. Additionally, consider a part of a phase diagram where phase-B follows from phase-A. In a physical laboratory, such scenario may happen if pressure remains fixed during the experiment, but the temperature gradually lowered, leading to encountering phase-A and followed by phase B [19]. The defects formed during phase-A may transit to the phase-B, and stability of those defects may be studied using the long homotopy sequence of the Fiber structure theorem. For example, in 3-dimensional case ( m = 3 ), by statements of Physics stability theorem, the 0-dimensional defects (often referred as monopoles by physicists) represented by the second homotopy group of the order parameter space B i , where i corresponds to the number of phases. So, for phase-A, the order parameter space would be given by B A = G / N 1 , where N 1 is the group of symmetries under which the system remains invariant even at phase-A after the transition. Similarly, B B = G / N 2 , where N 2 is the remaining symmetries for G during phase-B, and N 2 is a closed subgroup of N 1 , while N 1 is a closed subgroup of G admitting a local cross section f. Then, for the 0-dimensional objects, according to the second statement of the Fiber structure theorem, a part of the long homotopy sequence:
π 2 ( N A / N B ) π 2 ( G / N B ) π 2 ( G / N A ) π 1 ( N A / N B ) π 1 ( G / N B ) π 1 ( G / N A )
To illustrate an example, for the simplicity of the argument consider dipole-locked phase-A of superfluid Helium 3 transitioning to the phase-B. The order parameter for dipole-locked phase-A is given by G / N A = S O ( 3 ) and the group of remaining symmetries N A consists of the identity alone. Similarly, for the phase-B, G / N B = S O ( 3 ) × U ( 1 ) with N B = S O ( 3 ) . So, the fiber N A / N B reduces to N B given the triviality of N A , N A / N B N B S O ( 3 ) [4,11,27].
The long homotopy sequence may be used to evaluate stability of physical defects formed from one phase to another. For example, by Physical stability theorem, π 1 ( S O ( 3 ) ) Z 2 and hence dipole-locked phase-A supports stable 1d-defects. To evaluate the question whether these 1d-defects remain stable as superfluid Helium 3 enters the phase-B, consider the relevant part of the long homotopy sequence
π 1 ( S O ( 3 ) ) π 1 ( S O ( 3 ) × U ( 1 ) ) π 1 ( S O ( 3 ) )
Using Seifert-van Kampen Theorem, π 1 ( S O ( 3 ) × U ( 1 ) ) π 1 ( S O ( 3 ) ) × π 1 ( U ( 1 ) ) Z 2 × Z , which infinite abelian group consisting of pairs ( a , b ) where first element a belongs to the cyclic group of order two Z 2 = { 0 , 1 } and second element b belongs to Z, the group of integers under addition. So the partial sequence becomes
Z 2 Z 2 × Z Z 2
The stability of 1d-defects of dipole-locked phase-A in phase-B depends on whether elements of π 1 ( S O ( 3 ) ) remain non-trivial when mapped to π 1 ( S O ( 3 ) × U ( 1 ) ) . If non-trivial element of π 1 ( S O ( 3 ) ) maps to a trivial element of π 1 ( S O ( 3 ) × U ( 1 ) ) , then 1d-defects corresponding to these elements are considered unstable in the order parameter space of phase-B.
For the 1d defects to be stable, the element of π 1 ( S O ( 3 ) ) (which is Z 2 ) must map to an element of π 1 ( S O ( 3 ) × U ( 1 ) ) Z 2 × Z that is not in the kernel of the subsequent map to π 1 ( S O ( 3 ) ) . If the map from π 1 ( S O ( 3 ) × U ( 1 ) ) to π 1 ( S O ( 3 ) ) sends this element to a non-trivial element, then the 1d-defects are stable in the total space S O ( 3 ) × U ( 1 ) , because they are not "killed" when projecting down to S O ( 3 ) .
Given the homotopy sequence Z 2 Z 2 × Z Z 2 , where the map is the inclusion of cosets from Z 2 × Z to Z 2 , we analyze the stability of strings. The first map in the sequence, from π 1 ( S O ( 3 ) ) to π 1 ( S O ( 3 ) × U ( 1 ) ) , likely maps Z 2 into Z 2 × Z as { ( 0 , 0 ) , ( 1 , 0 ) } or a similar structure. The second map, the inclusion of cosets, maps elements ( a , b ) from Z 2 × Z to Z 2 , where typically the Z component maps to the identity. If the inclusion map p : G / N B G / N A preserves the Z 2 part, then non-trivial strings in S O ( 3 ) × U ( 1 ) remain non-trivial in S O ( 3 ) , indicating stability.
Similarly, the long homotopy sequence may be used to determine 0-dimensional defects, such as monopoles as superfluid Helium 3 undergoes transition from dipole-locked phase-A to phase-B [2]. Considering the homotopy sequence for monopoles, which are classified by the second homotopy group π 2 :
π 2 ( N A / N B ) π 2 ( G / N B ) π 2 ( G / N A )
A monopole represented by an element in π 2 ( G / N B ) is stable if it maps to the trivial element in π 2 ( G / N A ) , which suggests the absence of an attachment to higher-dimensional defects. Conversely, if the element maps to a non-trivial element in π 2 ( G / N A ) , the monopole is considered unstable as it indicates an attachment to a higher-dimensional defect or transformation into a 1d-defect in the space G / N A . For a monopole to be stable, its corresponding element must not be in the kernel of the map from π 2 ( G / N B ) to π 2 ( G / N A ) . So, in the given fibration with G / N B = S O ( 3 ) × U ( 1 ) and G / N A = S O ( 3 ) , the relevant part of the long exact sequence is:
0 0 0
This sequence indicates that the second homotopy group is trivial for both the total space and the base space. Consequently, there are no non-trivial monopole defects to consider, and thus, by definition, any monopoles would be stable [32,33]. However, this stability is somewhat vacuous since the triviality of the groups suggests the absence of monopoles in the spaces under consideration due to Physical stability theorem.

4.3. Combined Effects in KLS Cosmic Walls

Various sequential symmetry breaking scenarios described in [2] and corresponding references in detail. For example, given the context of polar distorted B phase (PdB) phase in the KLS walls, the combined topological objects are described by the relative homotopy group π n ( R 1 , R 2 ) , where R 1 = G / H P d B and R 2 = H P / H P d B corresponding the vacuum spaces. Using the homotopy lifting properties, such relative homotopy group can be converted to the absolute homotopy group π n ( G , N ) with the fiber bundle G and corresponding fiber N and base B. So in such formalism, the fiber F N 1 / N 2 is H P / H P d B , the fiber bundle E G / H P d B and base B G / H P , and using Statement 1 in the Fiber structure theorem, the short homotopy sequence group F E p B
H P / H P d B G / H P d B p G / H P
By applying the Physical stability theorem and Statement 2 of the Fiber structure theorem, one may recover results of [2,16] on exact sequence of homomorphism.

Acknowledgments

I would like to express my gratitude and appreciation to Professor Grigory Volovik for his valuable recommendations which have significantly enhanced the scope of this paper, extending the relevance of the presented theorems from condensed matter to cosmic phase transitions. Many thank you to Professor Jon McCammond for all the guidance, patience and support for my transition from physics to pure mathematics. Additionally, I would like to thank the department of mathematics in Princeton University for hosting me once in a while and providing the best productive environment and inspiration. Special thank you to my PhD advisor Professor Dirk Bouwmeester for all the inspiration and supporting my passion for topology.

References

  1. T. W. B. Kibble, T. T. W. B. Kibble, T. Vachaspati, Monopoles on strings, J. Phys. G 42 (2015) 094002. [CrossRef]
  2. G. E. Volovik, K. G. E. Volovik, K. Zhang, String monopoles, string walls, vortex skyrmions, and nexus objects in the polar distorted b phase of he-3, Physical Review Research 2 (2020) 023263. [CrossRef]
  3. F. A. Bais, The topology of monopoles crossing a phase-boundary, Phys. Lett. B 98 (1981) 437–442. [CrossRef]
  4. N. D. Mermin, The topological theory of defects in ordered media, Reviews of Modern Physics 51 (3) (1979) 591–648. [CrossRef]
  5. P. Grinevich, G. P. Grinevich, G. Volovik, Topology of gap nodes in superfluid 3he: Homotopy group for 3he-b disclination, Journal of Low Temperature Physics 72 (1988) 371–380. [CrossRef]
  6. G. E. Volovik, The Universe in a Helium Droplet, Oxford University Press, 2010. [CrossRef]
  7. R. Kennedy, C. R. Kennedy, C. Guggenheim, Homotopy theory of strong and weak topological insulators, Phys. Rev. B 91 (2015) 245148. [CrossRef]
  8. A.-C. Davis, R. Brandenberger (Eds.), Formation and Interactions of Topological Defects: Proceedings of a NATO Advanced Study Institute on Formation and Interactions of Topological Defects, held August 22–September 2, 1994, in Cambridge, England, Vol. 349 of NATO Science Series B:, Publisher Name, Cambridge, England, 1994. 22 August.
  9. G. Toulouse, M. Kléman, Principles of a classification of defects in ordered media, Journal de Physique Lettres 37 (6) (1976) 149–151. [CrossRef]
  10. V. Poénaru, Superalgebras and Confinement in Condensed Matter Physics, Vol. 59, Springer, 2023.
  11. M. Nakahara, Geometry, Topology and Physics, 2nd Edition, Graduate Student Series in Physics, 2003.
  12. T. W. B. Kibble, Classification of topological defects and their relevance to cosmology and elsewhere, Vol. 549 of NATO Science Series (Series C: Mathematical and Physical Sciences), Springer, Dordrecht, 2000, pp. 7–31.
  13. G. E. Volovik, The superfluid universe, Volume! 156 (2010) 570–618. [CrossRef]
  14. R. P. Huebener, N. Schopohl, G. E. Volovik, Vortices in unconventional superconductors and superfluids, 2002. [CrossRef]
  15. V. M. H. Ruutu, V. Eltsov, A. J. Gill, A. J. Gill, T. W. B. Kibble, M. Krusius, Y. Makhlin, Y. Makhlin, B. Plaçais, G. E. Volovik, G. E. Volovik, W.-B. Xu, Vortex formation in neutron-irradiated superfluid 3he as an analogue of cosmological defect formation, Nature 382 (1996) 334–336. [CrossRef]
  16. J. Mäkinen, V. Dmitriev, J. Nissinen, J. Rysti, G. Volovik, A. Yudin, K. Zhang, V. Eltsov, Half-quantum vortices and walls bounded by strings in the polar-distorted phases of topological superfluid 3he, Nature Communications 10 (237) (2019) 1–10. [CrossRef]
  17. G. E. Volovik, The Universe in a Helium Droplet, Oxford University Press, Oxford, 2003.
  18. G. Volovik, Exotic Properties of Superfluid Helium 3, Modern Condensed Matter Physics, World Scientific, Singapore, 1992.
  19. D. Vollhardt, Superfluid Phases of Helium 3, Taylor and Francis Group, 1990.
  20. A. J. Leggett, Superfluidity, Rev. Mod. Phys. 71 (1999) S318–S323. [CrossRef]
  21. A. Hatcher, Algebraic Topology, Cambridge University Press, 2002.
  22. P. M. Chaikin, T. C. Lubensky, Principles of Condensed Matter Physics, Cambridge University Press, 1995. [CrossRef]
  23. R. Durrer, Topological defects in cosmology, New Astronomy Reviews 43 (2-4) (1999) 111–156. [CrossRef]
  24. A. Ardaşeva, A. Doostmohammadi, Topological defects in biological matter, Nature Reviews Physics 4 (2022) 354–356. [CrossRef]
  25. L. Giomi, Z. Kos, M. Ravnik, A. Sengupta, Cross-talk between topological defects in different fields revealed by nematic microfluidics, Proc. Natl. Acad. Sci. U. S. A. 114 (29) (2017) E5771–E5777. [CrossRef]
  26. N. E. Steenrod, The Topology of Fibre Bundles, Princeton University Press, 1951.
  27. A. J. Leggett, Quantum Liquids: Bose Condensation and Cooper Pairing in Condensed-Matter Systems, Oxford University Press, 2021.
  28. B. C. Hall, Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Vol. 222 of Graduate Texts in Mathematics, Springer, 2015. [CrossRef]
  29. G. Volovik, The Universe in a Helium Droplet, Internet Archive, 2013, accessed: 2013-10-05 15:45:38.
  30. C. Bruder, D. Vollhardt, Symmetry and stationary points of a free energy: The case of superfluid He3, Physical Review B 34 (1) (1986) 131–146. [CrossRef]
  31. N. D. Mermin, D. M. Lee, Superfluid helium 3, Scientific American 235 (6) (1976) 56–71. https://www.jstor.org/stable/24950505.
  32. M. M. Salomaa, Monopoles in the rotating superfluid helium-3 a–b interface, Nature 326 (1987) 367–370. [CrossRef]
  33. O. V. Lounasmaa, E. Thuneberg, Vortices in rotating superfluid 3he, Proceedings of the National Academy of Sciences 96 (14) (1999) 7760–7767. [CrossRef]
Table 1. Fibers N i and Base spaces B i for phases of superfluid Helium 3.
Table 1. Fibers N i and Base spaces B i for phases of superfluid Helium 3.
i N i B i
(1) S O ( 3 ) L + S S O ( 3 ) L , S × U ( 1 ) ϕ
(2) U ( 1 ) S z × U ( 1 ) L z S S 2 × S L 2 × U ( 1 ) ϕ
(3) U ( 1 ) L z × U ( 1 ) ϕ S O ( 3 ) S × S L 2 × U ( 1 ) ϕ
(4) U ( 1 ) S z S S 2 × S O ( 3 ) L 2 × U ( 1 ) ϕ
(5) U ( 1 ) S z + L z S S 2 × S L 2 × U ( 1 ) L z + S z × U ( 1 ) ϕ
(6) U ( 1 ) L z ϕ × U ( 1 ) S z S S 2 × S O ( 3 ) L , ϕ
(7) U ( 1 ) L z ϕ S O ( 3 ) S × S O ( 3 ) L , Φ
(8) U ( 1 ) S z ϕ S O ( 3 ) L × S O ( 3 ) S , Φ
(10) U ( 1 ) L z + ϕ × U ( 1 ) S z ϕ S S 2 × S L 2 × U ( 1 ) L z , S z , ϕ
(11) U ( 1 ) L z + S z ϕ S S 2 × S L 2 × U ( 1 ) L z , ϕ × U ( 1 ) ϕ
Table 2. 0-dimensional and 1-dimensional defects represented by π 2 ( B i ) and π 1 ( B i ) correspondingly for a base space B i for each of the i phase of superfluid Helium 3.
Table 2. 0-dimensional and 1-dimensional defects represented by π 2 ( B i ) and π 1 ( B i ) correspondingly for a base space B i for each of the i phase of superfluid Helium 3.
i B i π 2 ( B i ) for 0d-defects π 1 ( B i ) for 1d-defects
(1) S O ( 3 ) L , S × U ( 1 ) ϕ 0 × 0 Z 2 × Z
(2) S S 2 × S L 2 × U ( 1 ) ϕ Z × Z × 0 0 × 0 × Z
(3) S O ( 3 ) S × S L 2 × U ( 1 ) ϕ 0 × Z × 0 Z 2 × 0 × Z
(4) S S 2 × S O ( 3 ) L 2 × U ( 1 ) ϕ Z × 0 × 0 0 × Z 2 × Z
(5) S S 2 × S L 2 × U ( 1 ) L z + S z × U ( 1 ) ϕ Z × Z × 0 0 × 0 × Z
(6) S S 2 × S O ( 3 ) L , ϕ Z × 0 0 × Z 2
(7) S O ( 3 ) S × S O ( 3 ) L , Φ 0 × 0 Z 2 × Z 2
(8) S O ( 3 ) L × S O ( 3 ) S , Φ 0 × 0 Z 2 × Z 2
(10) S S 2 × S L 2 × U ( 1 ) L z , S z , ϕ Z × Z × 0 0 × 0 × Z
(11) S S 2 × S L 2 × U ( 1 ) L z , ϕ × U ( 1 ) ϕ Z × Z × 0 × 0 0 × 0 × Z × Z
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Alerts
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2025 MDPI (Basel, Switzerland) unless otherwise stated