scholarly journals Integration of the Kenzo System within SageMath for New Algebraic Topology Computations

Mathematics ◽  
2021 ◽  
Vol 9 (7) ◽  
pp. 722
Author(s):  
Julián Cuevas-Rozo ◽  
Jose Divasón ◽  
Miguel Marco-Buzunáriz ◽  
Ana Romero
Keyword(s):  
Computer Algebra ◽  
Algebraic Topology ◽  
Homotopy Groups ◽  
Spectral Sequences ◽  
Simplicial Objects

This work integrates the Kenzo system within Sagemath as an interface and an optional package. Our work makes it possible to communicate both computer algebra programs and it enhances the SageMath system with new capabilities in algebraic topology, such as the computation of homotopy groups and some kind of spectral sequences, dealing in particular with simplicial objects of an infinite nature. The new interface allows computing homotopy groups that were not known before.

scholarly journals Whitehead products in the complex Stiefel manifolds

1983 ◽  
Vol 26 (2) ◽  
pp. 241-251 ◽  
Author(s):  
Yasukuni Furukawa
Keyword(s):  
Stiefel Manifold ◽  
Isotropy Group ◽  
Homotopy Groups ◽  
Stiefel Manifolds

The complex Stiefel manifoldWn,k, wheren≦k≦1, is a space whose points arek-frames inCn. By using the formula of McCarty [4], we will make the calculations of the Whitehead products in the groups π*(Wn,k). The case of real and quaternionic will be treated by Nomura and Furukawa [7]. The product [[η],j1l] appears as generator of the isotropy group of the identity map of Stiefel manifolds. In this note we use freely the results of the 2-components of the homotopy groups of real and complex Stiefel manifolds such as Paechter [8], Hoo-Mahowald [1], Nomura [5], Sigrist [9] and Nomura-Furukawa [6].

scholarly journals Homotopy groups of diagonal complements

2016 ◽  
Vol 16 (5) ◽  
pp. 2949-2980 ◽  
Author(s):  
Sadok Kallel ◽  
Ines Saihi
Keyword(s):  
Homotopy Groups

scholarly journals The structure of motivic homotopy groups

2016 ◽  
Vol 23 (1) ◽  
pp. 389-397 ◽  
Author(s):  
Bogdan Gheorghe ◽  
Daniel C. Isaksen
Keyword(s):  
Homotopy Groups ◽  
Motivic Homotopy

scholarly journals Omega vs. pi, and 6d anomaly cancellation

2021 ◽  
Vol 2021 (5) ◽  
Author(s):  
Joe Davighi ◽  
Nakarin Lohitsiri
Keyword(s):  
Gauge Theories ◽  
Necessary Conditions ◽  
Homotopy Groups ◽  
Mapping Torus ◽  
Anomaly Cancellation ◽  
Global Anomaly ◽  
Gauge Anomalies ◽  
Local Anomalies ◽  
Dimensional Mapping

Abstract In this note we review the role of homotopy groups in determining non-perturbative (henceforth ‘global’) gauge anomalies, in light of recent progress understanding global anomalies using bordism. We explain why non-vanishing of πd(G) is neither a necessary nor a sufficient condition for there being a possible global anomaly in a d-dimensional chiral gauge theory with gauge group G. To showcase the failure of sufficiency, we revisit ‘global anomalies’ that have been previously studied in 6d gauge theories with G = SU(2), SU(3), or G2. Even though π6(G) ≠ 0, the bordism groups $$ {\Omega}_7^{\mathrm{Spin}}(BG) $$ Ω 7 Spin BG vanish in all three cases, implying there are no global anomalies. In the case of G = SU(2) we carefully scrutinize the role of homotopy, and explain why any 7-dimensional mapping torus must be trivial from the bordism perspective. In all these 6d examples, the conditions previously thought to be necessary for global anomaly cancellation are in fact necessary conditions for the local anomalies to vanish.

scholarly journals A Conjecture on Homotopy Groups of Spheres, Details on the Algebra of Higher Cohomology Operations

2009 ◽  
Vol 16 (1) ◽  
pp. 1-12
Author(s):  
Hans-Joachim Baues
Keyword(s):  
Homotopy Groups ◽  
Homotopy Groups Of Spheres ◽  
Cohomology Operations

Abstract The computation of the algebra of secondary cohomology operations in [Baues, The algebra of secondary cohomology operations, Birkhäuser Verlag, 2006] leads to a conjecture concerning the algebra of higher cohomology operations in general and an Ext-formula for the homotopy groups of spheres. This conjecture is discussed in detail in this paper.

Sign in / Sign up

Export Citation Format

Share Document