Diffeomorphisms of some smooth metastably connected manifolds

Author(s):  
J. P. E. Hodgson

Let Mm be a closed connected smooth manifold of dimension m, and set Pm = Mm – int Dm where Dm is a disc in M. In (4), Wall has the following exact sequencewhere (M), (resp. (P)) is the Δ-set of diffeomorphisms of M (resp. P) as in(l), and [M/P] is the set of diffeomorphism classes of smooth manifolds obtained by glueing a disc to the boundary of P. In this paper we obtain some results on π0((M)) for particular M, and in the following sense: Using the techniques of (2), we can determine π0((P)), so the main portion of the paper is concerned with a discussion of the kernel of α. There is a map ω: π1((P)) → Γm+1, given by the obstruction to extending h∈π1((P)) to a concordance of the identity of M to itself, and it is clear that if this map is attached at the beginning of the sequence (*) we get exactness. We will obtain (for certain M) an alternative description of the image of α in terms of those homotopy spheres which can appear as the boundaries of thickenings.

1971 ◽  
Vol 23 (3) ◽  
pp. 503-506
Author(s):  
Hsiang-Dah Hou

Let R be a ring with 1 ≠ 0 and α, β, γ R-endomorphisms of R-modules A, B, and C respectively. We shall denote by M(R) the category of R-modules, and by End(R) the category of R-endomorphisms. For objects α and β of End(R) a morphism λ: α → β is an R-homomorphism such that λα = β λ. We shall denote by Idm(R) the full subcategory of End(R) whose objects are idempotents. Idm(R) is an abelian category, ker, coker and im are constructed in the naive way and henceis exact in M(R) if and only ifis exact in Idm(R), where the domains of α,β, and γ are A, B, and C respectively. One sees that End (R) as well as Idm(R) is abelian.


1973 ◽  
Vol 16 (4) ◽  
pp. 517-520 ◽  
Author(s):  
M. J. Dunwoody ◽  
A. Pietrowski

A presentation of a group G is an exact sequence of groupswhere F is a free group. Let l→S ⊆ F→G→1 be another presentation of G involving the same free group F.


1969 ◽  
Vol 21 ◽  
pp. 684-701 ◽  
Author(s):  
Benson Samuel Brown

Our aim in this paper is to prove the general mod ℭ suspension theorem: Suppose that X and Y are CW-complexes,ℭ is a class offinite abelian groups, and that(i) πi(Y) ∈ℭfor all i < n,(ii) H*(X; Z) is finitely generated,(iii) Hi(X;Z) ∈ℭfor all i > k.Then the suspension homomorphismis a(mod ℭ) monomorphism for 2 ≦ r ≦ 2n – k – 2 (when r= 1, ker E is a finite group of order d, where Zd∈ ℭ and is a (mod ℭ) epimorphism for 2 ≦ r ≦ 2n – k – 2The proof is basically the same as the proof of the regular suspension theorem. It depends essentially on (mod ℭ) versions of the Serre exact sequence and of the Whitehead theorem.


1987 ◽  
Vol 29 (1) ◽  
pp. 13-19 ◽  
Author(s):  
G. J. Ellis

Various authors have obtained an eight term exact sequence in homologyfrom a short exact sequence of groups,the term V varying from author to author (see [7] and [2]; see also [5] for the simpler case where N is central in G, and [6] for the case where N is central and N ⊂ [G, G]). The most satisfying version of the sequence is obtained by Brown and Loday [2] (full details of [2] are in [3]) as a corollary to their van Kampen type theorem for squares of spaces: they give the term V as the kernel of a map G ∧ N → N from a “non-abelian exterior product” of G and N to the group N (the definition of G ∧ N, first published in [2], is recalled below). The two short exact sequencesandwhere F is free, together with the fact that H2(F) = 0 and H3(F) = 0, imply isomorphisms..The isomorphism (2) is essentially the description of H2(G) proved algebraically in [11]. As noted in [2], the isomorphism (3) is the analogue for H3(G) of the Hopf formula for H2(G).


Author(s):  
P. J. Hilton ◽  
D. Rees

The present paper has been inspired by a theorem of Swan(5). The theorem can be described as follows. Let G be a finite group and let Γ be its integral group ring. We shall denote by Z an infinite cyclic additive group considered as a left Γ-module by defining gm = m for all g in G and m in Z. By a Tate resolution of Z is meant an exact sequencewhere Xn is a projective module for − ∞ < n < + ∞, and.


1970 ◽  
Vol 68 (3) ◽  
pp. 637-639 ◽  
Author(s):  
Larry Smith

Let us denote by k*( ) the homology theory determined by the connective BU spectrum, bu, that is, in the notations of (1) and (9), bu2n = BU(2n,…,∞), bu2n+1 = U(2n + 1,…, ∞) with the spectral maps induced via Bott periodicity. The resulting spectrum, bu, is a ring spectrum. Recall that k*(point) ≅ Z[t], degree t = 2. There is a natural transformation of ring spectrainducing a morphismof homology functors. It is the objective of this note to establish: Theorem. Let X be a finite complex. Then there is a natural exact sequencewhere Z is viewed as a Z[t] module via the augmentationand, is induced by η*in the natural way.


1954 ◽  
Vol 2 (2) ◽  
pp. 66-76 ◽  
Author(s):  
Iain T. Adamson

Let G be a finite group, H an arbitrary subgroup (i.e., not necessarily normal); we decompose G as a union of left cosets modulo H:choosing fixed coset representatives v. In this paper we construct a “coset space complex” and assign cohomology groups; Hr([G: H], A), to it for all coefficient modules A and all dimensions, -∞<r<∞. We show that ifis an exact sequence of coefficient modules such that H1U, A')= 0 for all subgroups U of H, then a cohomology group sequencemay be defined and is exact for -∞<r<∞. We also provide a link between the cohomology groups Hr([G: H], A) and the cohomology groups of G and H; namely, we prove that if Hv(U, A)= 0 for all subgroups U of H and for v = 1, 2, …, n–1, then the sequenceis exact, where the homomorphisms of the sequence are those induced by injection, inflation and restriction respectively.


Author(s):  
S. W. Drury ◽  
B. P. Marshall

Let M be a smooth manifold in . One may ask whether , the restriction of the Fourier transform of f to M makes sense for every f in . Since, for does not make sense pointwise, it is natural to introduce a measure σ on M and ask for an inequalityfor every f in (say) the Schwartz class. Results of this kind are called restriction theorems. An excellent survey article on this subject is to be found in Tomas[13].


Author(s):  
Andreas Mu¨ller

It is commonly assumed that the singularities of serial manpulators constitute generically smooth manifolds. This assumption has not been proved yet, nor is there an established notion of of genericity. In this paper two different notions of generic properties of forward kinematic mappings are discussed. Serial manipulators are classified according to the type of end-effector motion and feasible manipulator geometries. A sufficient condition for that generically singularities form locally smooth manifolds is presented. This condition admits to separately treat the individual classes. As an example it is shown that the singularities of 3-DOF manipulators form generically smooth manifolds.


Author(s):  
R. J. Higgs

AbstractLet G be a finite group, α be a fixed cocycle of G and Proj (G, α) denote the set of irreducible projective characters of G lying over the cocycle α.Suppose N is a normal subgroup of G. Then the author shows that there exists a G- invariant element of Proj(N, αN) of degree 1 if and only if [α] is an element of the image of the inflation homomorphism from M(G/N) into M(G), where M(G) denotes the Schur multiplier of G. However in many situations one can produce such G-invariant characters where it is not intrinsically obvious that the cocycle could be inflated. Because of this the author obtains a restatement of his original result using the Lyndon-Hochschild-Serre exact sequence of cohomology. This restatement not only resolves the apparent anomalies, but also yields as a corollary the well-known fact that the inflation-restriction sequence is exact when N is perfect.


Sign in / Sign up

Export Citation Format

Share Document