Bredon homology and ramified covering G-maps

Let G be a finite group. The objective of this paper is twofold. First we prove that the cellular Bredon homology groups with coefficients in an arbitrary coefficient system M are isomorphic to the homotopy groups of certain topological abelian group. And second, we study ramified covering G-maps of simplicial sets and of simplicial complexes. As an application, we construct a transfer for them in Bredon homology, when M is a Mackey functor. We also show that the Bredon-Illman homology with coefficients in M satisfies the equivariant weak homotopy equivalence axiom in the category of G-spaces.     

Modules over motivic cohomology

For fields of characteristic zero, we show that the homotopy category of modules over the motivic ring spectrum representing motivic cohomology is equivalent to Voevodsky's big category of motives. The proof makes use of some highly structured models for motivic stable homotopy theory, motivic Spanier-Whitehead duality, the homotopy theories of motivic functors and of motivic spaces with transfers as introduced from ground up in this paper. Working with rational coefficients, we extend the equivalence for fields of characteristic zero to all perfect fields by employing the techniques of alterations and homotopy purity in motivic homotopy theory.     

Category with a natural cone

Generally, in homotopy theory a cylinder object (or, its dual, a path object) is used to define homotopy between morphisms, and a cone object is used to build exact sequences of homotopy groups. Here, an axiomatic theory based on a cone functor is given. Suspension objects are associated to based objects and cofibrations, obtaining homotopy groups referred to an object and relative to a cofibration, respectively. Exact sequences of these groups are built. Algebraic and particular examples are given. We point out that the main results of this paper were already stated in [3], and the purpose of this article is to give full details of the foregoing.     

Spaces of Maps into Classifying Spaces for Equivariant Crossed Complexes, II: The General Topological Group Case

The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of homotopy coherence theory for crossed complexes, using detailed results on the appropriate Eilenberg–Zilber theory, and of its relation to simplicial homotopy coherence. Again, our results give information not just on the homotopy classification of certain equivariant maps, but also on the weak equivariant homotopy type of the corresponding equivariant function spaces.     

The f-invariant and index theory

In this paper we prove a tertiary index theorem which relates a spectral geometric and a homotopy theoretic invariant of an almost complex manifold with framed boundary. It is derived from the index theoretic and homotopy theoretic versions of a complex elliptic genus and interestingly related with the structure of the stable homotopy groups of spheres.     

Postnikov factorizations at infinity

We have developed Postnikov sections for Brown–Grossman homotopy groups and for Steenrod homotopy groups in the category of exterior spaces, which is an extension of the proper category. The homotopy fibre of a fibration in the factorization associated with Brown–Grossman groups is an Eilenberg–Mac Lane exterior space for this type of groups and it has two non-trivial consecutive Steenrod homotopy groups. For a space which is first countable at infinity, one of these groups is given by the inverse limit of the homotopy groups of the neighbourhoods at infinity, the other group is isomorphic to the first derived of the inverse limit of this system of groups. In the factorization associated with Steenrod groups the homotopy fibre is an Eilenberg–Mac Lane exterior space for this type of groups and it has two non-trivial consecutive Brown–Grossman homotopy groups. We also obtain a mix factorization containing both kinds of previous factorizations and having homotopy fibres which are Eilenberg–Mac Lane exterior spaces for both kinds of groups.Given a compact metric space embedded in the Hilbert cube, its open neighbourhoods provide the Hilbert cube the structure of an exterior space and the homotopy fibres of the factorizations above are Eilenberg–Mac Lane exterior spaces with respect to inward (or approaching) Quigley groups.     

Homotopy classification of maps between r-1 connected 2r dimensional manifolds

In this paper,we study the homotopy classification of continuous maps between two r-1 connected 2r dimensional topological manifolds M,N.If we assume some knowledge on the homotopy groups of spheres,then the complete classification can be obtained from the homotopy invariants of M,N.We design an algorithm and compose a program to give explicit computations.     

Some examples of homotopy Π-algebras

The homotopy Π-algebra of a pointed topological space, X, consists of the homotopy groups of X together with the additional structure of the primary homotopy operations. We extend two well-known results for homotopy groups to homotopy Π-algebras and look at some examples illustrating the depth of structure on homotopy groups; from graded group to graded Lie ring, to Π-algebra and beyond. We also describe an abstract Π-algebra and give three abstract Π-algebra structures on the homotopy groups of the loop space of X which can be realized as the homotopy Π-algebras of three different spaces.     

On the practical use of the spectral homotopy analysis method and local linearisation method for unsteady boundary-layer flows caused by an impulsively stretching plate

This paper expands the ideas of the spectral homotopy analysis method to apply them, for the first time, on non-linear partial differential equations. The spectral homotopy analysis method (SHAM) is a numerical version of the homotopy analysis method (HAM) which has only been previously used to solve non-linear ordinary differential equations. In this work, the modified version of the SHAM is used to solve a partial differential equation (PDE) that models the problem of unsteady boundary layer flow caused by an impulsively stretching plate. The robustness of the SHAM approach is demonstrated by its flexibility to allow linear operators that are partial derivatives with variable coefficients. This is seen to significantly improve the convergence and accuracy of the method. To validate accuracy of the the present SHAM results, the governing PDEs are also solved using a novel local linearisation technique coupled with an implicit finite difference approach. The two approaches are compared in terms of accuracy, speed of convergence and computational efficiency.     

Coarse homotopy groups

In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse homotopy groups. The main result is that the coarse homotopy groups of a cone over a compact simplicial complex coincide with the usual homotopy groups of the underlying compact simplicial complex. To prove this we develop geometric triangulation techniques for cones which we expect to be of relevance also in different contexts.     

Homotopy of gauge groups over non-simply-connected five-dimensional manifolds

Both the gauge groups and 5-manifolds are important in physics and mathematics. In this paper,we combine them to study the homotopy aspects of gauge groups over 5-manifolds. For principal bundles over non-simply connected oriented closed 5-manifolds of a certain type, we prove various homotopy decompositions of their gauge groups according to different geometric structures on the manifolds, and give the partial solution to the classification of the gauge groups. As applications, we estimate the homotopy exponents of their gauge groups, and show periodicity results of the homotopy groups of gauge groups analogous to the Bott periodicity.Our treatments here are also very effective for rational gauge groups in the general context, and applicable for higher dimensional manifolds.     

球面稳定同伦元素α1β1βs的非平凡性

决定球面稳定同伦群是同伦论中的核心问题之一, 是非常重要的. 该文证明: 球面稳定同伦元素α₁β₁β_s是一个阶为p的非平凡元素, 其中p ≥ 5是任意奇素数, 1≤ s     

Geometric approach to stable homotopy groups of spheres. The Adams–Hopf invariants

In this paper, a geometric approach to stable homotopy groups of spheres based on the Pontryagin–Thom construction is proposed. From this approach, a new proof of the Hopf-invariant-one theorem of J. F. Adams for all dimensions except 15, 31, 63, and 127 is obtained. It is proved that for n > 127, in the stable homotopy group of spheres Π _n , there is no element with Hopf invariant one. The new proof is based on geometric topology methods. The Pontryagin–Thom theorem (in the form proposed by R. Wells) about the representation of stable homotopy groups of the real, projective, infinite-dimensional space (these groups are mapped onto 2-components of stable homotopy groups of spheres by the Kahn–Priddy theorem) by cobordism classes of immersions of codimension 1 of closed manifolds (generally speaking, nonoriented) is considered. The Hopf invariant is expressed as a characteristic class of the dihedral group for the self-intersection manifold of an immersed codimension-1 manifold that represents the given element in the stable homotopy group. In the new proof, the geometric control principle (by M. Gromov) for immersions in the given regular homotopy classes based on the Smale–Hirsch immersion theorem is required. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 3–15, 2007.     

球面稳定同伦中的复合元素α1β1γs的非平凡性

本文证明:当p≥7任意奇素数,3≤s相似文献   

On a new reliable modification of homotopy analysis method

In this paper, a new modification of the homotopy analysis method (HAM) is presented and applied to homogeneous or non-homogeneous differential equations with constant or variable coefficients. A comparative study between the new modified homotopy analysis method (MHAM) and the classical HAM is conducted. The main advantage of MHAM is that one can avoid the uncontrollability problems of the non-zero endpoint conditions encountered in the traditional HAM. Several illustrative examples are given to demonstrate the effectiveness and reliability of MHAM.     

Locale同伦理论

本文引入了locale连续映射同伦的概念,建立了locale同伦范畴,构造性地证明了任一locale连续映射都同伦等价于一个locale包含映射。通过引入locale H群的概念(它是locale群概念的自然推广),建立了locale同伦范畴到群同态范畴的一个反变函子。特别地,我们建立了locale同伦群范畴上的基本群函子,证明了locale L上以p为基点的基本群同构于L的谱空间pt(L)上以p为基点的基本群。因此,基本群函子是locale范畴中的一个同伦不变量。     

Rational homotopy theory and differential graded category

We propose a generalization of Sullivan’s de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same as the real homotopy type of a simply connected manifold is the de Rham algebra in original Sullivan’s theory. We prove the existence of a model category structure on the category of small closed tensor dg-categories and as a most simple case, confirm an equivalence between the homotopy category of spaces whose fundamental groups are finite and whose higher homotopy groups are finite dimensional rational vector spaces and the homotopy category of small closed tensor dg-categories satisfying certain conditions.     

球面稳定同伦群中的一族新元素

本文研究了球面稳定同伦群中元素的非平凡性.利用May谱序列,证明了在Adams谱序列E₂项中存在乘积元素收敛到球面稳定同伦群的一族阶为p的非零元,此非零元具有更高维数的滤子.     

Continuous group actions on profinite spaces

For a profinite group, we construct a model structure on profinite spaces and profinite spectra with a continuous action. This yields descent spectral sequences for the homotopy groups of homotopy fixed point spaces and for stable homotopy groups of homotopy orbit spaces. Our main example is the Galois action on profinite étale topological types of varieties over a field. One motivation is to understand Grothendieck’s section conjecture in terms of homotopy fixed points.