Massey products in K-theory. II

1971 ◽  
Vol 69 (2) ◽  
pp. 259-289 ◽  
Author(s):  
V. P. Snaith
Keyword(s):  
Spectral Sequence ◽  
Higher Order ◽  
Massey Products ◽  
K Theory ◽  
Image Position

0. Introduction: In (14), higher order operations in K-theory, called Massey products, were introduced. These were motivated by the construction, in (7), of a spectral sequence in equivariant K-theory

On the differentials in the Adams spectral sequence

1964 ◽  
Vol 60 (3) ◽  
pp. 409-420 ◽  
Author(s):  
C. R. F. Maunder
Keyword(s):  
Spectral Sequence ◽  
Higher Order ◽  
Adams Spectral Sequence ◽  
Steenrod Algebra ◽  
Stable Homotopy ◽  
Homotopy Groups ◽  
Homotopy Groups Of Spheres ◽  
Stable Homotopy Groups ◽  
Cohomology Operations ◽  
Image Position

In this paper, we shall prove a result which identifies the differentials in the Adams spectral sequence (see (1,2)) with certain cohomology operations of higher kinds, in the sense of (4). This theorem will be stated precisely at the end of section 2, after a summary of the necessary information about the Adams spectral sequence and higher-order cohomology operations; the proof will follow in section 3. Finally, in section 4, we shall consider, by way of example, the Adams spectral sequence for the stable homotopy groups of spheres: we show how our theorem gives a proof of Liulevicius's result that , where the elements hn (n ≥ 0) are base elements ofcorresponding to the elements Sq2n in A, the mod 2 Steenrod algebra.

Functional Massey products and homological algebra

1971 ◽  
Vol 70 (2) ◽  
pp. 219-233
Author(s):  
V.P. Snaith
Keyword(s):  
Spectral Sequence ◽  
Homological Algebra ◽  
Higher Order ◽  
Massey Products ◽  
Kunneth Formula

0. Introduction. In (8, 9) certain higher order operations, called K-theory Massey Products, were introduced and developed. These operations were designed to investigate the Kunneth formula spectral sequence in equivariant K-theory, constructed in (4). In that application the important feature of Massey products was that they gave operations on certain Tor-algebras which were well-behaved with respect to the algebraic coboundary, δa.

Massey products in K-theory

1970 ◽  
Vol 68 (2) ◽  
pp. 303-320 ◽  
Author(s):  
V. P. Snaith
Keyword(s):  
Vector Bundles ◽  
Higher Order ◽  
Massey Products ◽  
Cohomology Operations ◽  
K Theory

The aim of this paper is to reformulate the work of Massey(6), and Spanier(9, 10), on higher order cohomology operations, in terms of vector bundles in such a way as to produce geometrically some higher order operations in K-theory, which we will call Massey products.

Effects of Higher-Order Laue Zone reflections on structure images

1993 ◽  
Vol 51 ◽  
pp. 450-451
Author(s):  
H. S. Kim ◽  
S. S. Sheinin
Keyword(s):  
Wave Vector ◽  
Theoretical Calculations ◽  
Reciprocal Lattice ◽  
Image Plane ◽  
Bloch Wave ◽  
Dynamical Theory ◽  
Higher Order ◽  
Lattice Image ◽  
Lattice Vector ◽  
Image Position

The importance of image simulation in interpreting experimental lattice images is well established. Normally, in carrying out the required theoretical calculations, only zero order Laue zone reflections are taken into account. In this paper we assess the conditions for which this procedure is valid and indicate circumstances in which higher order Laue zone reflections may be important. Our work is based on an analysis of the requirements for obtaining structure images i.e. images directly related to the projected potential. In the considerations to follow, the Bloch wave formulation of the dynamical theory has been used.The intensity in a lattice image can be obtained from the total wave function at the image plane is given by: where ϕg(z) is the diffracted beam amplitide given by In these equations,the z direction is perpendicular to the entrance surface, g is a reciprocal lattice vector, the Cg(i) are Fourier coefficients in the expression for a Bloch wave, b(i), X(i) is the Bloch wave excitation coefficient, ϒ(i)=k(i)-K, k(i) is a Bloch wave vector, K is the electron wave vector after correction for the mean inner potential of the crystal, T(q) and D(q) are the transfer function and damping function respectively, q is a scattering vector and the summation is over i=l,N where N is the number of beams taken into account.

The BP-Coaction for Projective Spaces

1978 ◽  
Vol 30 (01) ◽  
pp. 45-53 ◽  
Author(s):  
Donald M. Davis
Keyword(s):  
Hopf Algebra ◽  
Spectral Sequence ◽  
Projective Spaces ◽  
Homology Theory ◽  
Stable Homotopy ◽  
Homotopy Groups ◽  
Homotopy Groups Of Spheres ◽  
Stable Homotopy Groups ◽  
New Information ◽  
Image Position

The Brown-Peterson spectrum BP has been used recently to establish some new information about the stable homotopy groups of spheres [9; 11]. The best results have been achieved by using the associated homology theory BP* ( ), the Hopf algebra BP*(BP), and the Adams-Novikov spectral sequence

Irreducibility of Bernoulli Polynomials of Higher Order

1962 ◽  
Vol 14 ◽  
pp. 565-567 ◽  
Author(s):  
P. J. McCarthy
Keyword(s):  
Positive Integer ◽  
Bernoulli Number ◽  
Bernoulli Polynomials ◽  
Constant Term ◽  
Rational Numbers ◽  
Higher Order ◽  
Image Position

The Bernoulli polynomials of order k, where k is a positive integer, are defined byBm(k)(x) is a polynomial of degree m with rational coefficients, and the constant term of Bm(k)(x) is the mth Bernoulli number of order k, Bm(k). In a previous paper (3) we obtained some conditions, in terms of k and m, which imply that Bm(k)(x) is irreducible (all references to irreducibility will be with respect to the field of rational numbers). In particular, we obtained the following two results.

The MOD 2 K-Homology of Ω3S3X

1988 ◽  
Vol 40 (1) ◽  
pp. 142-196 ◽  
Author(s):  
J. G. Mayorquin
Keyword(s):  
Spectral Sequence ◽  
Cyclic Group ◽  
Image Position ◽  
Torsion Free ◽  
Infinite Cycles

In order to compute the group K*(Ω3S3X; Z/2) when X is a finite, torsion free CW-complex we apply the techniques developed by Snaith in [38], [39], [40], [41] which were used in [42] to determine the Atiyah-Hirzebruch spectral sequence ( [11], [1, Part III])for X as above. Roughly speaking the method consists in defining certain classes in K*(Ω3S3X; Z/2) via the π-equivariant mod 2 K-homology of S2 × Y2,([35]), π the cyclic group of order 2 (acting antipodally on S2, by permuting factors in Y2, and diagonally on S2 × Y2), Y a finite subcomplex of Ω3S3X, and then showing that the classes so produced map under the edge homomorphism to cycles (in the E1-term of the Atiyah-Hirzebruch spectral sequence forwhich determine certain homology classes of H*(Ω3S3X; Z/2), thus exhibiting these as infinite cycles of the spectral sequence

scholarly journals C*-Algebras over Topological Spaces: Filtrated K-Theory

2012 ◽  
Vol 64 (2) ◽  
pp. 368-408 ◽  
Author(s):  
Ralf Meyer ◽  
Ryszard Nest
Keyword(s):  
Exact Sequence ◽  
Topological Space ◽  
Spectral Sequence ◽  
Topological Spaces ◽  
C Algebra ◽  
C Algebras ◽  
Finite Spaces ◽  
K Theory ◽  
Universal Coefficient Theorem ◽  
Kasparov Theory

AbstractWe define the filtrated K-theory of a C*-algebra over a finite topological spaceXand explain how to construct a spectral sequence that computes the bivariant Kasparov theory overXin terms of filtrated K-theory.For finite spaces with a totally ordered lattice of open subsets, this spectral sequence becomes an exact sequence as in the Universal Coefficient Theorem, with the same consequences for classification. We also exhibit an example where filtrated K-theory is not yet a complete invariant. We describe two C*-algebras over a spaceXwith four points that have isomorphic filtrated K-theory without being KK(X)-equivalent. For this spaceX, we enrich filtrated K-theory by another K-theory functor to a complete invariant up to KK(X)-equivalence that satisfies a Universal Coefficient Theorem.

Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman

1991 ◽  
Vol 56 (3) ◽  
pp. 964-973 ◽  
Author(s):  
Jaap van Oosten
Keyword(s):  
Higher Order ◽  
Second Order ◽  
Church’S Thesis ◽  
Second Order Arithmetic ◽  
Church's Thesis ◽  
Order Arithmetic ◽  
Image Position

AbstractF. Richman raised the question of whether the following principle of second order arithmetic is valid in intuitionistic higher order arithmetic HAH:and if not, whether assuming Church's Thesis CT and Markov's Principle MP would help. Blass and Scedrov gave models of HAH in which this principle, which we call RP, is not valid, but their models do not satisfy either CT or MP.In this paper a realizability topos Lif is constructed in which CT and MP hold, but RP is false. (It is shown, however, that RP is derivable in HAH + CT + MP + ECT0, so RP holds in the effective topos.) Lif is a generalization of a realizability notion invented by V. Lifschitz. Furthermore, Lif is a subtopos of the effective topos.

Free discontinuity problems generated by singular perturbation: the n−dimensional case

2000 ◽  
Vol 130 (3) ◽  
pp. 449-469 ◽  
Author(s):  
R. Alicandro ◽  
M. S. Gelli
Keyword(s):  
Singular Perturbation ◽  
Hessian Matrix ◽  
Higher Order ◽  
Dimensional Case ◽  
Free Discontinuity Problems ◽  
Limiting Behaviour ◽  
Image Position

We provide an approximation of some free discontinuity problems by local functionals with a singular perturbation of higher order. More precisely, we study the limiting behaviour of energies of the form where Hu denotes the Hessian matrix of u.

Sign in / Sign up

Export Citation Format

Share Document