Celebratio Mathematica

M. F. Atiyah and F. Hirzebruch: “Riemann–Roch theorems for differentiable manifolds,” Bull. Am. Math. Soc. 65 : 4 (1959), pp. 276–281. MR 110106 Zbl 0142.40901 article

The Riemann–Roch Theorem for an algebraic variety \( Y \) (see [Hirzebruch 1956]) led to certain divisibility conditions for the Chern classes of \( Y \). It was natural to ask whether these conditions held more generally for any compact almost complex manifold. This question, and various generalizations of it, were raised in [Hirzebruch 1954] and most of these have since been answered in the affirmative in [Borel and Hirzebruch 1958] and [Milnor 1960].

More recently Grothendieck has obtained [Borel and Serre 1958] a more general Riemann–Roch Theorem for a map \( f: Y\to X \) of algebraic varieties. This reduces to the previous Riemann–Roch Theorem on taking \( X \) to be a point. Grothendieck’s Theorem implies many conditions on characteristic classes, and again it is natural to ask if these conditions hold more generally for almost complex or even differentiable manifolds. The purpose of this note is to enunciate certain differentiable analogues of Grothendieck’s Theorem. These “differentiable Riemann–Roch Theorems” yield, as special cases, the divisibility conditions mentioned above and also certain new homotopy invariance properties of Pontrjagin classes. As an application of the latter we get a new proof (and slight improvement) of the result of Kervaire–Milnor [1960] on the stable \( J \)-homomorphism.

Another differentiable Riemann–Roch Theorem, with applications to embeddability problems of differentiable manifolds, will be found in [Atiyah and Hirzebruch 1959].

The proofs of our theorems rely heavily on the Bott periodicity of the classical groups [Bott 1957, 1958, 1959], and are altogether different from the earlier methods of [Borel and Hirzebruch 1958] and [Milnor 1960], which were based on Thom’s cobordism theory and Adams’ spectral sequence.

M. F. Atiyah and F. Hirzebruch: “Quelques théorèmes de non-plongement pour les variétés différentiables” [Some non-immersion theorems for differentiable manifolds], Bull. Soc. Math. France 87 (1959), pp. 383–396. MR 114231 Zbl 0196.55903 article

Nous avons montré dans [Atiyah and Hirzebruch 1959] que le théorème de Riemann–Roch [Borel and Serre 1958] a des analogues différentiables. Un exposé de ces résultats a été fait par l’un des auteurs au Séminaire Bourbaki [Hirzebruch 1958/59]. Les théorèmes de Riemann–Roch différentiables fournissent comme cas particulier certaines conditions de divisibilité pour les classes caractéristiques d’une variété différentiable que l’on peut considérer comme des analogues différentiables du théorème de Riemann–Roch de [Hirzebruch 1956].

La plupart de ces conditions de divisibilité ont été prouvées précédement dans [Borel and Hirzebruch 1958], [Borel and Hirzebruch 1960] et [Milnor 1960]. Dans ce qui suit nous démontrons à l’aide des méthodes de [Atiyah and Hirzebruch 1959] que les classes caractéristiques d’une variété différentiable compacte orientée de dimension \( d \) satisfont aux conditions de divisibilité supplémentaires si la variété peut être différentiablement plongée dans un espace euclidien (ou ce qui est équivalent, une sphère) de dimension \( 2d - q \). Ces conditions de divisibilité «non stables» nous permettent de prouver des théorèmes de non-plongement qui semblent beaucoup plus forts que ceux qui étaient connus avant (3.6). L’outil essentiel est encore le théorème de Bott [Borel and Hirzebruch 1958/59; Bott 1958] qui dit que la \( n \)-ième classe de Chern d’un fibré vectoriel complexe sur la sphère \( S_{2n} \) est divisible par \( (n-1)! \).

M. F. Atiyah and J. A. Todd: “On complex Stiefel manifolds,” Proc. Cambridge Philos. Soc. 56 : 4 (1960), pp. 342–353. MR 0132552 Zbl 0109.16102 article

M. F. Atiyah and F. Hirzebruch: “Quelques théoremes de non-plongement pour les variétés différentiables” [Some non-embedding theorems for differentiable manifolds], Colloques Int. Centre Nat. Rech. Sci. 89 (1960), pp. 383–396. See also Bull. Soc. Math. France 87 (1959). Zbl 0108.18202 article

Nous avons montré dans [Atiyah and Hirzebruch 1959] que le théorème de Riemann–Roch [Borel and Serre 1958] a des analogues différentiables. Un exposé de ces résultats a été fait par l’un des auteurs au Séminaire Bourbaki [Hirzebruch, 1958/59]. Les théorèmes de Riemann–Roch différentiables fournissent comme cas particulier certaines conditions de divisibilité pour les classes caractéristiques d’une variété différentiable que l’on peut considérer comme des analogues différentiables du théorème de Riemann–Roch de [Hirzebruch 1956].

La plupart de ces conditions de divisibilité ont été prouvées précédement dans [Borel and Hirzebruch 1958; 1960] et [Milnor 1960]. Dans ce qui suit nous démontrons à l’aide des méthodes de [Atiyah and Hirzebruch 1959] que les classes caractéristiques d’une variété différentiable compacte orientée de dimension \( d \) satisfont aux conditions de divisibilité supplémentaires si la variété peut être différentiablement plongée dans un espance euclidien (ou ce qui est équivalent, une spère) de dimension \( 2d - q \). Ces conditions de divisibilité «non stables» nous permettent de prouver des théorèmes de non-plongement qui semblent beaucoup plus forts que ceux qui ’\etaient connus avant (3.6). L’outil essentiel est encore le théorème de Bott ([Borel and Hirzebruch, 1958/59] et [Bott 1958]) qui dit que la \( n \)-ième classe de Chern d’un fibré vectoriel complexe sur la sphère \( S_{2n} \) est divisible par \( (n-1)! \).

M. F. Atiyah and F. Hirzebruch: “Vector bundles and homogeneous spaces,” pp. 7–38 in Differential geometry (Tucson, AZ, 18–19 February 1960). Edited by C. B. Allendoerfer. Proceedings of Symposia in Pure Mathematics 3. American Mathematical Society (Providence, RI), 1961. Republished in Algebraic topology: A student’s guide (1972). MR 139181 Zbl 0108.17705 incollection

F. Hirzebruch	Related	Volume
Carl Barnett Allendoerfer	Related

M. F. Atiyah: “Characters and cohomology of finite groups,” Inst. Hautes Études Sci. Publ. Math. 9 : 1 (1961), pp. 23–64. MR 0148722 Zbl 0107.02303 article

M. F. Atiyah: “Thom complexes,” Proc. London Math. Soc. (3) 11 : 1 (1961), pp. 291–310. MR 0131880 Zbl 0124.16301 article

The spaces which form the title of this paper were introduced by Thom in [1954] as a tool in his study of differentiable manifolds. In addition certain special Thom complexes have been studied by James [1959] in connexion with Stiefel manifolds (cf. [James 1958a; 1958b]). The purpose of this paper is to prove a number of general results on Thom complexes, and to deduce the main theorems of James [1958b; 1959] as immediate consequences. Our main result (3.3) is a duality theorem (in the Whitehead–Spanier \( S \)-theory) for Thom complexes over differentiable manifolds. Besides its application this is a result of some independent interest, since it provides a satisfactory place for manifolds in \( S \)-theory.

M. F. Atiyah and F. Hirzebruch: “Cohomologie-Operationen und charakteristische Klassen” [Cohomology operations and characteristic classes], Math. Z. 77 : 1 (1961), pp. 149–187. Dedicated to Friedrich Karl Schmidt on the occasion of his sixtieth birthday. MR 156361 Zbl 0109.16002 article

F. Hirzebruch	Related	Volume
Friedrich Karl Schmidt	Related

M. F. Atiyah: “Bordism and cobordism,” Proc. Cambridge Philos. Soc. 57 (1961), pp. 200–208. MR 0126856 Zbl 0104.17405 article

In [1959], [1960] Wall determined the structure of the cobordism ring introduced by Thom in [1953]. Among Wall’s results is a certain exact sequence relating the oriented and unoriented cobordism groups. There is also another exact sequence, due to Rohlin [1953], [1958] and Dold [1959/60] which is closely connected with that of Wall. These exact sequences are established by ad hoc methods. The purpose of this paper is to show that both these sequences are “cohomology-type” exact sequences arising in the well-known way from mappings into a universal space. The appropriate “cohomology” theory is constructed by taking as universal space the Thom complex \( \mathit{MSO}(n) \), for \( n \) large. This gives rise to (oriented) cobordism groups \( \mathit{MSO}^*(X) \) of a space \( X \).

M. F. Atiyah and F. Hirzebruch: “Bott periodicity and the parallelizability of the spheres,” Proc. Camb. Philos. Soc. 57 : 2 (April 1961), pp. 223–226. MR 126282 Zbl 0108.35902 article

The theorems of Bott [1958, 1959a] on the stable homotopy of the classical groups imply that the sphere \( S^n \) is not parallelizable for \( n \neq 1 \), \( 3, 7 \). This was shown independently by Kervaire [1958] and Milnor [1958; Bott and Milnor 1958]. Another proof can be found in [Borel and Hirzebruch 1959, §26.11]. The work of J. F. Adams (on the non-existence of elements of Hopf invariant one) implies more strongly that \( S^n \) with any (perhaps extraordinary) differentiable structure is not parallelizable if \( n \neq 1 \), \( 3, 7 \). Thus there exist already four proofs for the non-parallelizability of the spheres, the first three mentioned relying on the Bott theory, as given in [Bott 1958, 1959a]. The purpose of this note is to show how the refined form of Bott’s results given in [Bott 1959b] leads to a very simple proof of the non-parallelizability (only for the usual differentiable structures of the spheres). We shall prove in fact the folowing theorem due to Milnor [1958] which implies the non-parallelizability.

There exists a real vector bundle \( \xi \) over the sphere \( S^n \) with \( w_n(\xi) \neq 0 \) only for \( n = 1 \), \( 2,4 \) or 8

M. F. Atiyah and F. Hirzebruch: “Charakteristische Klassen und Anwendungen” [Characteristic classes and applications], Enseignement Math. (2) 7 : 1 (1961), pp. 188–213. MR 154294 Zbl 0104.39801 article

M. F. Atiyah and F. Hirzebruch: “The Riemann–Roch theorem for analytic embeddings,” Topology 1 : 2 (April–June 1962), pp. 151–166. MR 148084 Zbl 0108.36402 article

In [Borel and Serre 1958] Grothendieck formulated and proved a generalization of the Riemann–Roch theorem which we shall refer to as GRR. This theorem is concerned with a proper morphism \( f:Y\to X \) of algebraic manifolds (any ground field) and reduces to the version (HRR) given in [Hirzebruch 1956] when \( X \) is a point (and the ground field is \( \mathbb{C} \)). It is not known whether GRR or even HRR holds for arbitrary complex manifolds. However the proof of GRR given in [Borel and Serre 1958] breaks up into two separate cases:

\( f \) is an embedding,
\( f \) is a projection \( X\times P_N \to X \), where \( P_N \) is a projective space,

and the main purpose of this paper is to give a proof of GRR in case (i) for arbitrary complex manifolds. This proof is quite different from, and in many ways simpler than, that of [Borel and Serre 1958] and, for the complex algebraic case, it gives a new proof of GRR.

M. F. Atiyah: “Vector bundles and the Künneth formula,” Topology 1 : 3 (1962), pp. 245–248. MR 0150780 article

The purpose of this note is to establish a Künneth formula for the ring \( K^*(X) \) introduced in [Atiyah and Hirzebruch 1960]. We shall prove the following:

Let \( X \), \( Y \) be finite CW-complexes, then we have a natural exact sequence \[ 0 \rightarrow K^*(X)\otimes K^*(Y) \stackrel{\alpha}{\longrightarrow} K^*(X\times Y)\stackrel{\beta}{\longrightarrow} \operatorname{Tor}(K^*(X),K^*(Y)) \rightarrow 0. \]

Here \( \otimes \), \( \operatorname{Tor} \) are applied to abelian groups, and \( \alpha \) is the natural map induced by the product in \( K^* \). Moreover the sequence is \( \mathbb{Z}_2 \)-graded with \( \deg\alpha = 0 \), \( \deg\beta = 1 \), where \( K^p\otimes K^q \) and \( \operatorname{Tor}(K^p,K^q) \) are given degree \( p+q \) (\( p,q \in \mathbb{Z}_2 \)).

M. F. Atiyah and F. Hirzebruch: “Analytic cycles on complex manifolds,” Topology 1 : 1 (January–March 1962), pp. 25–45. MR 145560 Zbl 0108.36401 article

Let \( X \) be a complex manifold, \( Y \) a closed irreducible \( k \)-dimensional complex analytic subspace of \( X \). Then \( Y \) defines or “carries” a \( 2k \)-dimensional integral homology class \( y \) of \( X \), although the precise definition of \( y \) presents technical difficu1ties. A finite formal linear combination \( \sum n_iY_i \) with \( n_i \) integers and \( Y_i \) as above is called a complex analytic cycle, and the corresponding homology class \( \sum n_iY_i \) is called a complex analytic homology class. If an integral cohomology class \( u \) corresponds under Poincaré duality to a complex analytic homology class we shall say that \( u \) is a complex analytic cohomology class. The purpose of this paper is to show that a complex analytic cohomology class \( u \) satisfies certain topological conditions, independent of the complex structure of \( X \). These conditions are that certain cohomology operations should vanish on \( u \), for example \( \mathrm{Sq}^3u = 0 \): they are all torsion conditions. We also produce examples to show that these conditions are not vacuous even in the restricted classes of (a) Stein manifolds and (b) projective algebraic manifolds.

M. F. Atiyah: “Immersions and embeddings of manifolds,” Topology 1 : 2 (April–June 1962), pp. 125–132. MR 0145549 Zbl 0109.41101 article

M. F. Atiyah: “The Grothendieck ring in geometry and topology,” pp. 442–446 in Proceedings of the International Congress of Mathematicians 1962 (Stockholm, 15–22 August 1962), vol. 1. Inst. Mittag-Leffler (Djursholm), 1963. MR 0180975 Zbl 0121.39702 incollection

M. F. Atiyah, R. Bott, and A. Shapiro: “Clifford modules,” Topology 3 : Supplement 1 (July 1964), pp. 3–38. MR 0167985 Zbl 0146.19001 article

Raoul H. Bott	Related	Volume
Arnold Samuel Shapiro	Related

M. Atiyah and R. Bott: “On the periodicity theorem for complex vector bundles,” Acta Math. 112 : 1 (1964), pp. 229–247. MR 0178470 Zbl 0131.38201 article

The periodicity theorem for the infinite unitary group [Bott 1959] can be interpreted as a statement about complex vector bundles. As such it describes the relation between vector bundles over \( X \) and \( X\times S^2 \), where \( X \) is a compact space and \( S^2 \) is the 2-sphere. This relation is most succinctly expressed by the formula \[ K(X\times S^2) \simeq K(X)\otimes K(S^2), \] where \( K(X) \) is the Grothendieck group of complex vector bundles over \( X \). The general theory of these \( K \)-groups, as developed in [Atiyah and Hirzebruch 1961], has found many applications in topology and related fields. Since the periodicity theorem is the foundation stone of all this theory it seems desirable to have an elementary proof of it, and it is the purpose of this paper to present such a proof.

M. F. Atiyah: “On the \( K \)-theory of compact Lie groups,” Topology 4 : 1 (1965), pp. 95–99. MR 0178092 Zbl 0136.21001 article

M. F. Atiyah: “\( K \)-theory and reality,” Quart. J. Math. Oxford Ser. (2) 17 : 1 (1966), pp. 367–386. MR 0206940 Zbl 0146.19101 article

The \( K \)-theory of complex vector bundles [Atiyah 1965; Atiyah and Hirzebruch 1961] has many variants and refinements. Thus there are:

\( K \)-theory of real vector bundles, denoted by \( \mathit{KO} \),
\( K \)-theory of self-conjugate bundles, denoted by \( \mathit{KC} \) [Anderson 1964] or \( \mathit{KSC} \) [Green 1964],
\( K \)-theory of \( G \)-vector bundles over \( G \)-spaces [Atiyah and Segal 1965], denoted by \( K_G \).

In this paper we introduce a new \( K \)-theory denoted by \( \mathit{KR} \) which is, in a sense, a mixture of these three. Our definition is motivated partly by analogy with real algebraic geometry and partly by the theory of real elliptic operators. In fact, for a thorough treatment of the index problem for real elliptic operators, our \( \mathit{KR} \)-theory is essential. On the other hand, from the purely topological point of view, \( \mathit{KR} \)-theory has a number of advantages and there is a strong case for regarding it as the primary theory and obtaining all the others from it. One of the main purposes of this paper is in fact to show how \( \mathit{KR} \)-theory leads to an elegant proof of the periodicity theorem for \( \mathit{KO} \)-theory, starting essentially from the periodicity theorem for \( K \)-theory as proved in [Atiyah and Bott 1964].

J. F. Adams and M. F. Atiyah: “\( K \)-theory and the Hopf invariant,” Quart. J. Math. Oxford Ser. (2) 17 (1966), pp. 31–38. MR 0198460 Zbl 0136.43903 article

M. F. Atiyah: “Power operations in \( K \)-theory,” Quart. J. Math. Oxford Ser. (2) 17 : 1 (1966), pp. 165–193. Russian translation published in Mathematika 14:2 (1970). MR 0202130 Zbl 0144.44901 article

M. F. Atiyah and D. W. Anderson: \( K \)-theory. Mathematics Lecture Notes 7. W. A. Benjamin (New York and Amsterdam), 1967. Lectures by Atiyah (Fall 1964), notes by Anderson. Russian translation published as Lekcii po \( K \)-teorii (1967). 2nd edition published in 1989. MR 0224083 book

M. F. Atiyah and D. W. Anderson: Lekcii po \( K \)-teorii [Lectures on \( K \)-theory]. Mir (Moscow), 1967. Russian translation of \( K \)-theory (1967). Zbl 0159.53401 book

M. F. Atiyah: “Bott periodicity and the index of elliptic operators,” Quart. J. Math. Oxford Ser. (2) 19 (1968), pp. 113–140. MR 0228000 Zbl 0159.53501 article

M. F. Atiyah: “Algebraic topology and operators in Hilbert space,” pp. 101–121 in Lectures in modern analysis and applications, vol. I. Edited by C. T. Taam. Lecture Notes in Mathematics 103. Springer (Berlin), 1969. MR 0248803 Zbl 0177.51701 incollection

M. F. Atiyah and G. B. Segal: “Equivariant \( K \)-theory and completion,” J. Differential Geometry 3 (1969), pp. 1–18. MR 0259946 Zbl 0215.24403 article

It was shown in [Atiyah 1961] that, for any finite group \( G \), the completed character ring \( R(G)^{\wedge} \) was isomorphic to \( K^*(B_G) \) where \( B_G \) denotes a classifying space for \( G \). The corresponding result for compact connected Lie groups was established in [Atiyah and Hirzebruch 1961], and a combination of the methods of [Atiyah and Hirzebruch 1961] and [Atiyah 1961] (together with certain basic properties of \( R(G) \) given in [Segal 1968b]) can be used to derive the theorem for general compact Lie groups. Such a proof however would be extremely lengthy, the worst part being in fact the treatment for finite groups where one climbs up via cyclic and Sylow subgroups.

The purpose of this paper is to give a new and much simpler proof of the theorem about \( K^*(B_G) \) which applies directly to all compact Lie groups \( G \). The main feature of our new proof is that we generalize the whole problem in a rather natural way by working with the equivariant \( K \)-theory developed in [Segal 1968a]. We shall formulate and prove a general theorem about the completion \( K_G^*(X)^{\wedge} \) for any compact \( G \)-space \( X \). The theorem about \( R(G) \) then follows by taking \( X \) to be a point.

M. F. Atiyah and D. O. Tall: “Group representations, \( \lambda \)-rings and the \( J \)-homomorphism,” Topology 8 : 3 (July 1969), pp. 253–297. MR 0244387 Zbl 0159.53301 article

M. F. Atiyah: Vector fields on manifolds. Arbeitsgemeinschaft für Forschung des Landes Nordrhein-Westfalen 200. Westdeutscher Verlag (Cologne), 1970. MR 0263102 Zbl 0193.52303 book

M. F. Atiyah: “Power operations in \( K \)-theory,” Matematika 14 : 2 (1970), pp. 35–65. Russian translation of article in Q. J. Math., Oxf. 17:1 (1966). Zbl 0208.51503 article

M. F. Atiyah: “Elliptic operators and singularities of vector fields,” pp. 207–209 in Actes du Congrès International des Mathématiciens (Nice, 1–10 September 1970), vol. 2. Gauthier-Villars (Paris), 1971. MR 0415688 Zbl 0222.58004 incollection

M. F. Atiyah and G. B. Segal: “Exponential isomorphisms for \( \lambda \)-rings,” Quart. J. Math. Oxford Ser. (2) 22 : 3 (1971), pp. 371–378. MR 0291250 Zbl 0226.13008 article

M. F. Atiyah and J. L. Dupont: “Vector fields with finite singularities,” Acta Math. 128 : 1 (1972), pp. 1–40. MR 0451256 Zbl 0233.57010 article

In this paper we give some generalizations of the famous theorem of H. Hopf which states that the number of singularities of a tangent vector field on a compact smooth manifold is equal to the Euler characteristic. Instead of a single vector field we consider \( r \) vector fields \( u_1,\dots,u_r \) and we are interested in their “singularities”, that is, the set \( \Sigma \) of points on the manifold at which they become linearly dependent. In general \( \Sigma \) will have dimension \( r-1 \), it is a cycle and its homology class is the \( (n-r+1) \)-th Stiefel–Whitney class of the manifold. This is the standard primary obstruction theory and it provides one way of generalizing the classical Hopf Theorem. However, this theory says nothing about \( \Sigma \) if \( \dim\Sigma < r-1 \). In this paper following E. Thomas [1967] we shall generalize the Hopf theorem by considering the other extreme case in which \( \Sigma \) is finite, so that \( \dim\Sigma = 0 \).

M. F. Atiyah and L. Smith: “Compact Lie groups and the stable homotopy of spheres,” Topology 13 : 2 (1974), pp. 135–142. MR 0343269 Zbl 0282.55008 article

M. F. Atiyah: “A survey of \( K \)-theory,” pp. 1–9 in \( K \)-theory and operator algebras (University of Georgia, Athens, GA, 21–25 April 1975). Edited by B. B. Morrel and I. M. Singer. Springer (Berlin), 1977. MR 0474299 Zbl 0345.55005 incollection

Isadore M. Singer	Related	Volume
Bernard B. Morrel	Related

M. Atiyah: Collected works, vol. 2: \( K \)-theory. Oxford Science Publications. The Clarendon Press and Oxford University Press (Oxford and New York), 1988. MR 951893 Zbl 0724.55001 book

M. F. Atiyah and D. W. Anderson: \( K \)-theory, 2nd edition. Advanced Book Classics. Addison-Wesley (Redwood City, CA), 1989. Original edition published by W. A. Benjamin in 1967. MR 1043170 book

year	title	people

			clear

Michael F. Atiyah

Papers on K-theory (1959–1970)

Filter the Bibliography List