On Homotopy Element α1β1β2γs

钟立楠,刘秀贵

2013-01-01

Chinese Annals of Mathematics

Abstract:Suppose that p≥ 7 is an odd prime.The authors prove that the elementα_1β_1β_2γ_s is non-trivial in the stable homotopy groups of spheresπ_(2(p-1)(sp~2+(s+2p+s)-7)(S),provided that 3≤ s < p.

What problem does this paper attempt to address?

A Number-Theoretic Approach to Homotopy Exponents of SU(n)

Donald M. Davis,Zhi-Wei Sun

DOI: https://doi.org/10.1016/j.jpaa.2006.05.006

IF: 0.834

2007-01-01

Journal of Pure and Applied Algebra

Abstract:We use methods of combinatorial number theory to prove that, for each n≥2 and any prime p, some homotopy group πi(SU(n)) contains an element of order pn−1+ordp(⌊n/p⌋!), where ordp(m) denotes the largest integer α such that pα∣m.
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.
Stable Homotopy Groups of Spheres: from Dimension 0 to 90

Daniel C. Isaksen,Guozhen Wang,Zhouli Xu

DOI: https://doi.org/10.1007/s10240-023-00139-1

2023-01-01

Publications mathématiques de l IHÉS

Abstract:Using techniques in motivic homotopy theory, especially the theorem of Gheorghe, the second and the third author on the isomorphism between motivic Adams spectral sequence for $C\tau $ and the algebraic Novikov spectral sequence for $BP_{*}$ , we compute the classical and motivic stable homotopy groups of spheres from dimension 0 to 90, except for some carefully enumerated uncertainties.
Spherical posets from commuting elements

Cihan Okay

DOI: https://doi.org/10.1515/jgth-2018-0008

2018-03-28

Journal of Group Theory

Abstract:Abstract In this paper, we study the homotopy type of the partially ordered set of left cosets of abelian subgroups in an extraspecial p -group. We prove that the universal cover of its nerve is homotopy equivalent to a wedge of r -spheres where 2 ⁢ r ≥ 4 {2r\geq 4} is the rank of its Frattini quotient. This determines the homotopy type of the universal cover of the classifying space of transitionally commutative bundles as introduced in [2].

mathematics
New infinite families in the stable homotopy groups of spheres

Prasit Bhattacharya,Irina Bobkova,J.D. Quigley

2024-05-10

Abstract:We identify seven new $192$-periodic infinite families of elements in the $2$-primary stable homotopy groups of spheres. Although their Hurewicz image is trivial for topological modular forms, they remain nontrivial after $\mathrm{T}(2)$- as well as $\mathrm{K}(2)$-localization. We also obtain new information about $2$-torsion and $2$-divisibility of some of the previously known $192$-periodic infinite families in the stable stems.

Algebraic Topology
Multiplicity One Theorems: the Archimedean Case

Binyong Sun,Chen-Bo Zhu

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

IF: 4.795

2012-01-01

Annals of Mathematics

Abstract:Let G be one of the classical Lie groups GL(n+1)(R), GL(n+1)(C), U(p, q + 1), O(p, q + 1), On+1(C), SO(p, q + 1), SOn+1(C), and let G' be respectively the subgroup GL(n)(R), GL(n)(C), U(p, q), O(p, q), O-n(C), SO(p, q), SO (C), embedded in G in the standard way. We show that every irreducible Casselman-Wallach representation of G' occurs with multiplicity at most one in every irreducible Casselman-Wallach representation of G. Similar results are proved for the Jacobi groups GL(n)(R) (sic) H2n+1(R), GL(n)(C) (sic) H2n+1 (C), U(p, q) (sic) H2p+2q+1(R), Sp(2n)(R) (sic) H2n+1(R), Sp(2n)(C) (sic) H2n+1 (C) with their respective subgroups GL(n)(R), GL(n)(C), U(p, q), Sp(2n)(R), and SP2n(C).
Homology of configuration spaces of surfaces modulo an odd prime

Andrea Bianchi,Andreas Stavrou

2024-06-03

Abstract:For a compact orientable surface $\Sigma_{g,1}$ of genus $g$ with one boundary component and for an odd prime number $p$, we study the homology of the unordered configuration spaces $C_\bullet(\Sigma_{g,1}):=\coprod_{n\ge0}C_n(\Sigma_{g,1})$ with coefficients in $\mathbb{F}_p$. We describe $H_*(C_\bullet(\Sigma_{g,1});\mathbb{F}_p)$ as a bigraded module over the Pontryagin ring $H_*(C_\bullet(D);\mathbb{F}_p)$, where $D$ is a disc, and compute in particular the bigraded dimension over $\mathbb{F}_p$. We also consider the action of the mapping class group $\Gamma_{g,1}$, and prove that the mod-$p$ Johnson kernel $\mathcal{K}_{g,1}(p)\subseteq\Gamma_{g,1}$ is the kernel of the action on $H_*(C_\bullet(\Sigma_{g,1};\mathbb{F}_p))$.

Algebraic Topology
Homology and Derived p-Series of Groups

Tim D. Cochran,Shelly Harvey

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

2007-04-06

Abstract:We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology equivalent have fundamental groups that are isomorphic modulo any term of their p-derived series. Various authors have related the ranks of the successive quotients of the lower central p-series and of the derived p-series of the fundamental group of a 3-manifold M to the volume of M, to whether certain subgroups of the fundamental group of M are free, whether finite index subgroups of the fundamental group of M map onto non-abelian free groups, and to whether finite covers of M are ``large'' in various other senses. Specifically, let A be a finitely-generated group and B be a finitely presented group. If a homomorphism induces an isomorphism (respectively monomorphism) on H_1(- ;Z_p) and an epimorphism on H_2(- ;Z_p), then for each finite n, it induces an isomorphism (respectively monomorphism) between the quotients of A and B by the n-th terms of their respective p-derived series. In fact we prove a stronger version that is analogous to Dwyer's extension of Stallings' theorem.

Geometric Topology,Group Theory
HOMOLOGY RIGIDITY OF GRASSMANNIANS

Li Fang,Duan Haibao

DOI: https://doi.org/10.1016/s0252-9602(09)60065-5

2009-01-01

Abstract:Applying the theory of Grobner basis to the Schubert presentation for the cohomology of Grassmannians [2], we extend the homology rigidity results known for the classical Grassmanians to the exceptional cases.
A Congruence Involving Harmonic Sums Modulo P^αq^β

Tianxin Cai,Zhongyan Shen,Lirui Jia

DOI: https://doi.org/10.1142/s1793042117500580

2016-01-01

International Journal of Number Theory

Abstract:In 2014, Wang and Cai established the following harmonic congruence for any odd prime [Formula: see text] and positive integer [Formula: see text], [Formula: see text] where [Formula: see text] and [Formula: see text] denote the set of positive integers which are prime to [Formula: see text]. In this paper, we obtain an unexpected congruence for distinct odd primes [Formula: see text], [Formula: see text] and positive integers [Formula: see text], [Formula: see text] and the necessary and sufficient condition for [Formula: see text] Finally, we raise a conjecture that for [Formula: see text] and odd prime power [Formula: see text], [Formula: see text], [Formula: see text] However, we fail to prove it even for [Formula: see text] with three distinct prime factors.
Algebraic homotopy classes

Juliusz Banecki

2024-02-08

Abstract:We prove several positive results regarding representation of homotopy classes of spheres and algebraic groups by regular mappings. Most importantly we show that every mapping from a sphere to an orthogonal or a unitary group is homotopic to a regular one. Furthermore we prove that algebraic homotopy classes of spheres form a subgroup of the homotopy group, and that a similar result holds also for cohomotopy groups of arbitrary varieties.

Algebraic Geometry
Homotopy groups and quantitative Sperner-type lemma

Oleg R. Musin

2024-08-29

Abstract:We consider a generalization of Sperner's lemma for a triangulation $T$ of $(m+1)$-discs $D$ whose vertices are colored in $c=n+2$ colors. A proper coloring of $T$ on the boundary of $D$ determines a simplicial mapping $f:S^m \to S^n$ and the element $x=[f]$ in $\pi_m(S^n)$. For any element $x$ in this homotopy group we define a non--negative integer $\mu(x)$. For some cases this invariant can be found explicitly. Namely, if $m=n$ then this number is the Brouwer degree of the mapping $f$. For the case $m=3, n=2$ we found a lower bound for $\mu(x)$, where $x$ is the Hopf invariant, and proved that $\mu(1)=\mu(2)=9$. The main result of this paper is the theorem that the number of fully colored $n$-simplexes in $T$ is not less than $\mu([f])$. To prove this theorem, we use an extension of the Pontryagin theorem for relative framed cobordisms

Algebraic Topology,Combinatorics,Geometric Topology
Homotopy classification of 4-manifolds with finite abelian 2-generator fundamental groups

Daniel Kasprowski,Mark Powell,Benjamin Ruppik

2024-06-06

Abstract:We show that for an oriented 4-dimensional Poincaré complex with finite fundamental group, whose 2-Sylow subgroup is abelian with at most 2 generators, the homotopy type is determined by its quadratic 2-type.

Geometric Topology,Algebraic Topology
Spherical Complexes Attached to Symplectic Lattices

Wilberd van der Kallen,Eduard Looijenga

DOI: https://doi.org/10.1007/s10711-010-9553-0

2010-01-01

Geometriae Dedicata

Abstract:To the integral symplectic group Sp(2g,Z) we associate two posets of which we prove that they have the Cohen-Macaulay property. As an application we show that the locus of marked decomposable principally polarized abelian varieties in the Siegel space of genus g has the homotopy type of a bouquet of (g-2)-spheres. This, in turn, implies that the rational homology of moduli space of (unmarked) principal polarized abelian varieties of genus g modulo the decomposable ones vanishes in degree g-2 or lower. Another application is an improved stability range for the homology of the symplectic groups over Euclidean rings. But the original motivation comes from envisaged applications to the homology of groups of Torelli type. The proof of our main result rests on a refined nerve theorem for posets that may have an interest in its own right.
Geometric approach to stable homotopy groups of spheres, III. Abelian, cyclic and quaternionic structure for mappings with singularities

Petr M. Akhmet'ev

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

2012-01-26

Abstract:Collection of (equivariant) $\rm{PL}$-mappings admitting a relative abelian, cyclic, quaternionic, bicyclic, and quaternionic-cyclic structures are constructed.

Algebraic Topology
Algebraic cycles of a fixed degree

Wenchuan Hu

DOI: https://doi.org/10.1090/s0002-9939-10-10311-6

IF: 0.9709

2010-02-25

Proceedings of the American Mathematical Society

Abstract:In this paper, the homotopy groups of Chow variety C p , d ( P n ) C_{p,d}(\mathbb {P}^n) of effective p p -cycles of degree d d are proved to be stable in the sense that p p or n n increases. We also obtain a negative answer to a question by Lawson and Michelsohn on homotopy groups for the space of degree two cycles.

mathematics, applied
Homology growth, hyperbolization, and fibering

Grigori Avramidi,Boris Okun,Kevin Schreve

2024-01-17

Abstract:We introduce a hyperbolic reflection group trick which builds closed aspherical manifolds out of compact ones and preserves hyperbolicity, residual finiteness, and -- for almost all primes $p$ -- $\mathbb{F}_p$-homology growth above the middle dimension. We use this trick, embedding theory and manifold topology to construct Gromov hyperbolic $7$-manifolds that do not virtually fiber over a circle out of graph products of large finite groups.

Geometric Topology,Group Theory
Mod $p$ and torsion homology growth in nonpositive curvature

Grigori Avramidi,Boris Okun,Kevin Schreve

DOI: https://doi.org/10.1007/s00222-021-01057-x

2024-01-18

Abstract:We compute the mod $p$ homology growth of residual sequences of finite index normal subgroups of right-angled Artin groups. We find examples where this differs from the rational homology growth, which implies the homology of subgroups in the sequence has lots of torsion. More precisely, the homology torsion grows exponentially in the index of the subgroup. For odd primes $p$, we construct closed locally CAT(0) manifolds with nonzero mod $p$ homology growth outside the middle dimension. These examples show that Singer's conjecture on rational homology growth and Lück's conjecture on torsion homology growth are incompatible with each other, so at least one of them must be wrong.

Group Theory,Geometric Topology
The Structure of Motivic Homotopy Groups

Bogdan Gheorghe,Daniel C. Isaksen

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

2015-05-07

Abstract:We study the stable motivic homotopy groups $\pi_{s,w}$ of the 2-completion of the motivic sphere spectrum over $\mathbb{C}$. When arranged in the $(s,w)$-plane, these groups break into four different regions: a vanishing region, an $\eta$-local region that is entirely known, a $\tau$-local region that is identical to classical stable homotopy groups, and a region that is not well-understood.

Algebraic Topology

On Homotopy Element α1β1β2γs

A Number-Theoretic Approach to Homotopy Exponents of SU(n)

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

Stable Homotopy Groups of Spheres: from Dimension 0 to 90

Spherical posets from commuting elements

New infinite families in the stable homotopy groups of spheres

Multiplicity One Theorems: the Archimedean Case

Homology of configuration spaces of surfaces modulo an odd prime

Homology and Derived p-Series of Groups

HOMOLOGY RIGIDITY OF GRASSMANNIANS

A Congruence Involving Harmonic Sums Modulo P^αq^β

Algebraic homotopy classes

Homotopy groups and quantitative Sperner-type lemma

Homotopy classification of 4-manifolds with finite abelian 2-generator fundamental groups

Spherical Complexes Attached to Symplectic Lattices

Geometric approach to stable homotopy groups of spheres, III. Abelian, cyclic and quaternionic structure for mappings with singularities

Algebraic cycles of a fixed degree

Homology growth, hyperbolization, and fibering

Mod $p$ and torsion homology growth in nonpositive curvature

The Structure of Motivic Homotopy Groups