Trivial unit conjecture and homotopy theory

Shengkui Ye

DOI: https://doi.org/10.1016/j.jalgebra.2013.12.019

IF: 0.908

2014-03-01

Journal of Algebra

Abstract:A homotopy theoretic description is given for trivial unit conjecture in the group ring ZG.

mathematics

What problem does this paper attempt to address?

Higher homotopy groups of topological Kac-Moody groups, Whitehead tower, and string groups

Ralf Köhl

2024-02-11

Abstract:This note establishes that homotopy groups of topological split real Kac-Moody groups are countable and, hence, concludes the existence of Whitehead towers consisting of topological groups for these groups and their maximal compact subgroups. Moreover, this note proposes a construction for string groups of the $E_n$-series.

Algebraic Topology,Group Theory
First Cohomology with Trivial Coefficients of All Unitary Easy Quantum Group Duals

Alexander Mang

DOI: https://doi.org/10.3842/SIGMA.2024.082

2024-09-12

Abstract:The first quantum group cohomology with trivial coefficients of the discrete dual of any unitary easy quantum group is computed. That includes those potential quantum groups whose associated categories of two-colored partitions have not yet been found.

Quantum Algebra
Non-existence of an Algorithm for Determining the Triviality of the Second Homotopy Groups of Arbitrary Compact Topological Spaces

Lefit Yuxiang Hao,Zijie Kang,Hongjie Liu,Pengcheng Ma,Mufeng Zhou

2024-07-26

Abstract:In this paper, we demonstrate the non-existence of a computational algorithm capable of determining whether the second homotopy group of any compact constructive topological space is trivial. This finding shows the inherent limitations of computer methods in resolving certain topological problems.

Algebraic Topology,Optimization and Control
Non-trivial units of complex group rings

Giles Gardam

2024-10-30

Abstract:The Kaplansky unit conjecture for group rings is false in characteristic zero.

Group Theory,Rings and Algebras
The homotopy sequence of the algebraic fundamental group

Lei Zhang

DOI: https://doi.org/10.1093/imrn/rnt163

2013-07-14

Abstract:In this note, we prove that the homotopy sequence of the algebraic fundamental group is exact if the base field is of characteristic 0.

Algebraic Geometry
The generalized Harer conjecture for the homology triviality

Wonjun Chang,Byung Chun Kim,Yongjin Song

DOI: https://doi.org/10.1112/blms.13032

IF: 1.036

2024-03-28

Bulletin of the London Mathematical Society

Abstract:The classical Harer conjecture states the stable homology triviality of the canonical embedding φ:B2g+2↪Γg , which was proved by Song and Tillmann. The main part of the proof is to show that Bφ+:BB∞+→BΓ∞+ , induced from φ is a double‐loop space map. In this paper, we give a proof of the generalized Harer conjecture concerning the homology triviality for every regular embedding φ:Bn↪Γg,k . The main strategy of the proof is to remove all the interchangeable subsurfaces from Sg,k and collapse the new boundary components. Then, we obtain (the union of) covering spaces over a disk with n marked points that we can analyze. The final goal is to show that the map Φ:C→S induced by Bφ:Confn(D)→Mg,k preserves the actions of the framed little 2‐disks operad.

mathematics
On Trivialities of Chern Classes

A. C. Naolekar,A. S. Thakur

DOI: https://doi.org/10.1007/s10474-014-0412-6

2014-03-27

Acta Mathematica Hungarica

Abstract:A finite CW-complex X is C-trivial if for every complex vector bundle ξ over X, the total Chern class c(ξ) = 1. In this note we completely determine when each of the following spaces are C-trivial: suspensions of stunted real projective spaces, suspensions of stunted complex projective spaces and suspensions of stunted quaternionic projective spaces.

mathematics
On schemes with trivial higher étale homotopy groups

Mohammed Moutand

2023-12-14

Abstract:Let $(X,\bar x)$ be a pointed connected noetherian scheme. In this note, we give characterizations for the vanishing of the second étale homotopy group $\pi^{\rm ét}_2(X,\bar x)$ in terms of splitting profinite-étale covers of $X$, and by means of universal covering spaces of the Artin-Mazur-Friedlander étale homotopy type $Et(X)$. In particular, this provides certain classes of schemes for which the Brauer map is surjective.

Algebraic Geometry
The Triviality of the 61-Stem in the Stable Homotopy Groups of Spheres

Guozhen Wang,Zhouli Xu

DOI: https://doi.org/10.4007/annals.2017.186.2.3

IF: 4.795

2017-01-01

Annals of Mathematics

Abstract:We prove that the 2-primary $\pi_{61}$ is zero. As a consequence, the Kervaire invariant element $\theta_5$ is contained in the strictly defined 4-fold Toda bracket $\langle 2, \theta_4, \theta_4, 2\rangle$. Our result has a geometric corollary: the 61-sphere has a unique smooth structure and it is the last odd dimensional case - the only ones are $S^1, S^3, S^5$ and $S^{61}$. Our proof is a computation of homotopy groups of spheres. A major part of this paper is to prove an Adams differential $d_3(D_3) = B_3$. We prove this differential by introducing a new technique based on the algebraic and geometric Kahn-Priddy theorems. The success of this technique suggests a theoretical way to prove Adams differentials in the sphere spectrum inductively by use of differentials in truncated projective spectra.
K-theory of relative group -algebras and the relative Novikov conjecture

Jintao Deng,Geng Tian,Zhizhang Xie,Guoliang Yu

DOI: https://doi.org/10.1007/s00209-024-03439-2

2024-02-13

Mathematische Zeitschrift

Abstract:The relative Novikov conjecture states that the relative higher signatures of manifolds with boundary are invariant under orientation-preserving homotopy equivalences of pairs. The relative Baum–Connes assembly encodes information about the relative higher index of elliptic operators on manifolds with boundary. In this paper, we study the relative Baum–Connes assembly map for any pair of groups and apply it to solve the relative Novikov conjecture when the groups satisfy certain geometric conditions.

mathematics
Constructing homotopy equivalences of chain complexes of free ZG-modules

Lukáš Vokřínek

DOI: https://doi.org/10.48550/arXiv.1304.6771

2013-04-25

Abstract:We describe a general method for algorithmic construction of G-equivariant chain homotopy equivalences from non-equivariant ones. As a consequence, we obtain an algorithm for computing equivariant (co)homology of Eilenberg-MacLane spaces K(pi,n), where pi is a finitely generated ZG-module. This result will be used in a forthcoming paper to construct equivariant Postnikov towers of simply connected spaces with free actions of a finite group G and further to compute stable equivariant homotopy classes of maps between such spaces. The methods of this paper work for modules over any non-negatively graded differential graded algebra, whose underlying graded abelian group is free with 1 as one of the generators.

Algebraic Topology
A homotopy approach to set theory

Misha Gavrilovich

DOI: https://doi.org/10.48550/arXiv.1006.4647

2010-06-24

Abstract:We observe that the notion of two sets being equal up to finitely many elements is a homotopy equivalence relation in a model category, and suggest a homotopy-invariant variant of Generalised Continuum Hypothesis about which more can be proven within ZFC and which first appeared in PCF theory. The formalism allows to draw analogies between notions of set theory and those of homotopy theory, and we indeed observe a similarity between homotopy theory ideology/yoga and that of PCF theory. We also briefly discuss conjectural connections with model theory and arithmetics and geometry.

Category Theory,Logic
Homology and K-theory of dynamical systems. IV. Further structural results on groupoid homology

Valerio Proietti,Makoto Yamashita

2023-10-16

Abstract:We consider the homology theory of étale groupoids introduced by Crainic and Moerdijk, with particular interest to groupoids arising from topological dynamical systems. We prove a Künneth formula for products of groupoids and a Poincaré-duality type result for groupoids which are principal with orbits homeomorphic to a Euclidean space. We conclude with a few example computations for systems associated to nilpotent groups such as self-similar actions, and we generalize previous homological calculations by Burke and Putnam for systems which are analogues of solenoids arising from algebraic numbers. For the latter systems, we prove the HK conjecture, even when the resulting groupoid is not ample.

K-Theory and Homology,Dynamical Systems,Operator Algebras
Homotopy approximations to the space of knots, Feynman diagrams, and a conjecture of Scannell and Sinha

James Conant

DOI: https://doi.org/10.48550/arXiv.math/0601647

2010-08-26

Abstract:Scannell and Sinha considered a spectral sequence to calculate the rational homotopy groups of spaces of long knots in n-dimensional Euclidean space, for n greater than or equal to 4. At the end of their paper they conjecture that when n is odd, the terms on the antidiagonal on the second page precisely give the space of primitive Feynman diagrams related to the theory of Vassiliev invariants. In this paper we prove that conjecture. This has the application that the path components of the terms of the Taylor tower for the space of classical long knots are in one-to-one correspondence with quotients of the module of Feynman diagrams, even though the Taylor tower does not actually converge. This provides strong evidence that the stages of the Taylor tower give rise to universal Vassiliev knot invariants in each degree.

Geometric Topology,K-Theory and Homology
Constraining mapping class group homomorphisms using finite subgroups

Chen, Lei

DOI: https://doi.org/10.1007/s10711-024-00918-y

2024-09-22

Geometriae Dedicata

Abstract:We classify homomorphisms from mapping class groups by using arguments involving finite subgroups. First, we give a new proof of a result of Aramayona–Souto that all homomorphisms between certain mapping class groups of closed surfaces are trivial. Second, we show that only finitely many mapping class groups of closed surfaces have nontrivial homomorphisms to for any n , where is the n -sphere. We also effectivize this result for small values of n ; for instance, we prove that every homomorphism from to or is trivial if , extending a result of Franks–Handel.

mathematics
The Homology Groups of a Partial Trace Monoid Action

Ahmet A. Husainov

DOI: https://doi.org/10.48550/arXiv.1111.0854

2011-11-03

Abstract:The aim of this paper is to investigate the homology groups of mathematical models of concurrency. We study the Baues-Wirsching homology groups of a small category associated with a partial monoid action on a set. We prove that these groups can be reduced to the Leech homology groups of the monoid. For a trace monoid with an action on a set, we will build a cubical complex of free Abelian groups with homology groups isomorphic to the integral homology groups of the action category. It allows us to solve the problem posed by the author in 2004 of the constructing an algorithm for computing homology groups of the CE nets. We describe the algorithm and give examples of calculating the homology groups.

Algebraic Topology,Multiagent Systems
Motivic homotopy theory of the classifying stack of finite groups of Lie type

Can Yaylali

2024-07-26

Abstract:Let $G$ be a reductive group over $\mathbb{F}_{p}$ with associated finite group of Lie type $G^{F}$. Let $T$ be a maximal torus contained inside a Borel $B$ of $G$. We relate the (rational) Tate motives of $\text{B}G^{F}$ with the $T$-equivariant Tate motives of the flag variety $G/B$. On the way, we show that for a reductive group $G$ over a field $k$, with maximal Torus $T$ and absolute Weyl group $W$, acting on a smooth finite type $k$-scheme $X$, we have an isomorphism $A^{n}_{G}(X,m)_{\mathbb{Q}}\cong A^{n}_{T}(X,m)_{\mathbb{Q}}^{W}$ extending the classical result of Edidin-Graham to higher equivariant Chow groups in the non-split case. We also extend our main result to reductive group schemes over a regular base that admit maximal tori. Further, we apply our methods to more general quotient stacks. In this way, we are able to compute the motive of the stack of $G$-zips introduced by Pink-Wedhorn-Ziegler for reductive groups over fields of positive characteristic.

Algebraic Geometry,K-Theory and Homology,Representation Theory
The Hurewicz theorem in Homotopy Type Theory

J. Daniel Christensen,Luis Scoccola

DOI: https://doi.org/10.2140/agt.2023.23.2107

2023-06-15

Abstract:We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the abelianization of the homotopy groups with the homology. We also compute the connectivity of a smash product of types and express the lowest non-trivial homotopy group as a tensor product. Along the way, we study magmas, loop spaces, connected covers and prespectra, and we use $1$-coherent categories to express naturality and for the Yoneda lemma. As homotopy type theory has models in all $\infty$-toposes, our results can be viewed as extending known results about spaces to all other $\infty$-toposes.

Algebraic Topology,Logic
Equivariant Cohomology Chern Numbers Determine Equivariant Unitary Bordism for Torus Groups

Zhi Lu,Wei Wang

DOI: https://doi.org/10.2140/agt.2018.18.4143

2018-01-01

Algebraic & Geometric Topology

Abstract:This paper shows that the integral equivariant cohomology Chern numbers completely determine the equivariant geometric unitary bordism classes of closed unitary $G$-manifolds, which gives an affirmative answer to the conjecture posed by Guillemin--Ginzburg--Karshon in [20, Remark H.5, $\S3$, Appendix H], where $G$ is a torus. As a further application, we also obtain a satisfactory solution of [20, Question (A), $\S1.1$, Appendix H] on unitary Hamiltonian $G$-manifolds. Our key ingredients in the proof are the universal toric genus defined by Buchstaber--Panov--Ray and the Kronecker pairing of bordism and cobordism. Our approach heavily exploits Quillen's geometric interpretation of homotopic unitary cobordism theory. Moreover, this method can also be applied to the study of $({\Bbb Z}_2)^k$-equivariant unoriented bordism and can still derive the classical result of tom Dieck.

Trivial unit conjecture and homotopy theory

Higher homotopy groups of topological Kac-Moody groups, Whitehead tower, and string groups

First Cohomology with Trivial Coefficients of All Unitary Easy Quantum Group Duals

Non-existence of an Algorithm for Determining the Triviality of the Second Homotopy Groups of Arbitrary Compact Topological Spaces

Non-trivial units of complex group rings

The homotopy sequence of the algebraic fundamental group

The generalized Harer conjecture for the homology triviality

On Trivialities of Chern Classes

On schemes with trivial higher étale homotopy groups

The Triviality of the 61-Stem in the Stable Homotopy Groups of Spheres

K-theory of relative group -algebras and the relative Novikov conjecture

Constructing homotopy equivalences of chain complexes of free ZG-modules

A homotopy approach to set theory

Homology and K-theory of dynamical systems. IV. Further structural results on groupoid homology

Homotopy approximations to the space of knots, Feynman diagrams, and a conjecture of Scannell and Sinha

Constraining mapping class group homomorphisms using finite subgroups

The Homology Groups of a Partial Trace Monoid Action

Motivic homotopy theory of the classifying stack of finite groups of Lie type

The Hurewicz theorem in Homotopy Type Theory

Equivariant Cohomology Chern Numbers Determine Equivariant Unitary Bordism for Torus Groups