Bale Spec B where A? We deduce that the heights of p and p[x] are equal. The first mapping above is flat by the solution to chapter 2, exercise 5 and the second one is faithfully flat, by chapter 1, exercise 5 v. Hence N is flat as an A-module, as desired.

Author:Brarisar Meztikasa
Language:English (Spanish)
Published (Last):14 May 2013
PDF File Size:2.56 Mb
ePub File Size:17.16 Mb
Price:Free* [*Free Regsitration Required]

See Atiyah—Segal completion theorem for more details. Wall , and others could be naturally reinterpreted as statements about these cohomology theories. Algebra is the offer made by the devil to the mathematician. All you need to do is give me your soul: give up geometry and you will have this marvellous machine. Adams in a series of papers, leading to the Adams conjecture.

With Hirzebruch he extended the Grothendieck—Riemann—Roch theorem to complex analytic embeddings, [53] and in a related paper [54] they showed that the Hodge conjecture for integral cohomology is false. The Hodge conjecture for rational cohomology is, as of , a major unsolved problem. With Bott he worked out an elementary proof, [56] and gave another version of it in his book.

There are many hard and fundamental problems in mathematics that can easily be reduced to the problem of finding the number of independent solutions of some differential operator, so if one has some means of finding the index of a differential operator these problems can often be solved. This is what the Atiyah—Singer index theorem does: it gives a formula for the index of certain differential operators, in terms of topological invariants that look quite complicated but are in practice usually straightforward to calculate.

There were also many new applications: a typical one is calculating the dimensions of the moduli spaces of instantons. The index theorem can also be run "in reverse": the index is obviously an integer, so the formula for it must also give an integer, which sometimes gives subtle integrality conditions on invariants of manifolds. Some of the motivating examples included the Riemann—Roch theorem and its generalization the Hirzebruch—Riemann—Roch theorem , and the Hirzebruch signature theorem.

The first announcement of the Atiyah—Singer theorem was their paper. Instead of just one elliptic operator, one can consider a family of elliptic operators parameterized by some space Y. In this case the index is an element of the K-theory of Y, rather than an integer.

This gives a little extra information, as the map from the real K theory of Y to the complex K theory is not always injective. If there is a compact group action of a group G on the compact manifold X, commuting with the elliptic operator, then one can replace ordinary K theory in the index theorem with equivariant K-theory.

For trivial groups G this gives the index theorem, and for a finite group G acting with isolated fixed points it gives the Atiyah—Bott fixed point theorem. In general it gives the index as a sum over fixed point submanifolds of the group G. An ingenious and elementary solution was found at about the same time by J. Bernstein , and discussed by Atiyah.

With Elmer Rees , Atiyah studied the problem of the relation between topological and holomorphic vector bundles on projective space. They solved the simplest unknown case, by showing that all rank 2 vector bundles over projective 3-space have a holomorphic structure. Patodi [77] gave a new proof of the index theorem using the heat equation. If the manifold is allowed to have boundary, then some restrictions must be put on the domain of the elliptic operator in order to ensure a finite index.

These conditions can be local like demanding that the sections in the domain vanish at the boundary or more complicated global conditions like requiring that the sections in the domain solve some differential equation. The local case was worked out by Atiyah and Bott, but they showed that many interesting operators e. To handle these operators, Atiyah, Patodi and Singer introduced global boundary conditions equivalent to attaching a cylinder to the manifold along the boundary and then restricting the domain to those sections that are square integrable along the cylinder, and also introduced the Atiyah—Patodi—Singer eta invariant.

The fundamental solutions of linear hyperbolic partial differential equations often have Petrovsky lacunas : regions where they vanish identically. These were studied in by I. Petrovsky , who found topological conditions describing which regions were lacunas. The kernel of the elliptic operator is in general infinite-dimensional in this case, but it is possible to get a finite index using the dimension of a module over a von Neumann algebra ; this index is in general real rather than integer valued.

Donnelly and I. These are abelian monopoles; the non-abelian ones studied by Atiyah are more complicated. Many of his papers on gauge theory and related topics are reprinted in volume 5 of his collected works. This often involves finding a subtle correspondence between solutions of two seemingly quite different equations.

An early example of this which Atiyah used repeatedly is the Penrose transform , which can sometimes convert solutions of a non-linear equation over some real manifold into solutions of some linear holomorphic equations over a different complex manifold.

In a series of papers with several authors, Atiyah classified all instantons on 4-dimensional Euclidean space. It is more convenient to classify instantons on a sphere as this is compact, and this is essentially equivalent to classifying instantons on Euclidean space as this is conformally equivalent to a sphere and the equations for instantons are conformally invariant.

With Hitchin and Singer [85] he calculated the dimension of the moduli space of irreducible self-dual connections instantons for any principal bundle over a compact 4-dimensional Riemannian manifold the Atiyah—Hitchin—Singer theorem.

To do this they used the Atiyah—Singer index theorem to calculate the dimension of the tangent space of the moduli space at a point; the tangent space is essentially the space of solutions of an elliptic differential operator, given by the linearization of the non-linear Yang—Mills equations. These moduli spaces were later used by Donaldson to construct his invariants of 4-manifolds.

Atiyah and Ward used the Penrose correspondence to reduce the classification of all instantons on the 4-sphere to a problem in algebraic geometry. Donaldson showed that the moduli space of degree 1 instantons over a compact simply connected 4-manifold with positive definite intersection form can be compactified to give a cobordism between the manifold and a sum of copies of complex projective space.

He deduced from this that the intersection form must be a sum of one-dimensional ones, which led to several spectacular applications to smooth 4-manifolds, such as the existence of non-equivalent smooth structures on 4-dimensional Euclidean space. Donaldson went on to use the other moduli spaces studied by Atiyah to define Donaldson invariants , which revolutionized the study of smooth 4-manifolds, and showed that they were more subtle than smooth manifolds in any other dimension, and also quite different from topological 4-manifolds.

Atiyah described some of these results in a survey talk. Atiyah used a non-linear version of this idea. In his paper with Jones, [92] he studied the topology of the moduli space of SU 2 instantons over a 4-sphere. They showed that the natural map from this moduli space to the space of all connections induces epimorphisms of homology groups in a certain range of dimensions, and suggested that it might induce isomorphisms of homology groups in the same range of dimensions. This became known as the Atiyah—Jones conjecture , and was later proved by several mathematicians.

Narasimhan described the cohomology of the moduli spaces of stable vector bundles over Riemann surfaces by counting the number of points of the moduli spaces over finite fields, and then using the Weil conjectures to recover the cohomology over the complex numbers. Bott used Morse theory and the Yang—Mills equations over a Riemann surface to reproduce and extending the results of Harder and Narasimhan. Atiyah proved a generalization of this that applies to all compact symplectic manifolds acted on by a torus, showing that the image of the manifold under the moment map is a convex polyhedron, [96] and with Pressley gave a related generalization to infinite-dimensional loop groups.

Atiyah and Bott [98] showed that this could be deduced from a more general formula in equivariant cohomology , which was a consequence of well-known localization theorems.

Atiyah showed [99] that the moment map was closely related to geometric invariant theory , and this idea was later developed much further by his student F. Witten shortly after applied the Duistermaat—Heckman formula to loop spaces and showed that this formally gave the Atiyah—Singer index theorem for the Dirac operator; this idea was lectured on by Atiyah. The metric is then used to study the scattering of two monopoles, using a suggestion of N. Manton that the geodesic flow on the moduli space is the low energy approximation to the scattering.

For example, they show that a head-on collision between two monopoles results in degree scattering, with the direction of scattering depending on the relative phases of the two monopoles. He also studied monopoles on hyperbolic space. There is of course a catch: in going from 4 to 2 dimensions the structure group of the gauge theory changes from a finite-dimensional group to an infinite-dimensional loop group.

This gives another example where the moduli spaces of solutions of two apparently unrelated nonlinear partial differential equations turn out to be essentially the same. Atiyah and Singer found that anomalies in quantum field theory could be interpreted in terms of index theory of the Dirac operator; [] this idea later became widely used by physicists.

Later work — [ edit ] Edward Witten , whose work on invariants of manifolds and topological quantum field theories was influenced by Atiyah Many of the papers in the 6th volume [] of his collected works are surveys, obituaries, and general talks. Atiyah continued to publish subsequently, including several surveys, a popular book, [] and another paper with Segal on twisted K-theory. One paper [] is a detailed study of the Dedekind eta function from the point of view of topology and the index theorem.

Several of his papers from around this time study the connections between quantum field theory, knots, and Donaldson theory. He studied skyrmions with Nick Manton, [] finding a relation with magnetic monopoles and instantons , and giving a conjecture for the structure of the moduli space of two skyrmions as a certain subquotient of complex projective 3-space.

Several papers [] were inspired by a question of Jonathan Robbins called the Berry—Robbins problem , who asked if there is a map from the configuration space of n points in 3-space to the flag manifold of the unitary group. Atiyah gave an affirmative answer to this question, but felt his solution was too computational and studied a conjecture that would give a more natural solution. But for most practical purposes, you just use the classical groups.

The exceptional Lie groups are just there to show you that the theory is a bit bigger; it is pretty rare that they ever turn up. Witten [] he described the dynamics of M-theory on manifolds with G2 holonomy. These papers seem to be the first time that Atiyah has worked on exceptional Lie groups. In his papers with M. Hopkins [] and G. Segal [] he returned to his earlier interest of K-theory, describing some twisted forms of K-theory with applications in theoretical physics.

In October , he claimed [] a short proof of the non-existence of complex structures on the 6-sphere. His proof, like many predecessors, is considered flawed by the mathematical community, even after the proof was rewritten in a revised form. His claims have been met with skepticism by the mathematical community. Atiyah, Michael F. A classic textbook covering standard commutative algebra.


Atiyah and MacDonald - Introduction to Commutative Algebra

See Atiyah—Segal completion theorem for more details. Wall , and others could be naturally reinterpreted as statements about these cohomology theories. Algebra is the offer made by the devil to the mathematician. All you need to do is give me your soul: give up geometry and you will have this marvellous machine. Adams in a series of papers, leading to the Adams conjecture. With Hirzebruch he extended the Grothendieck—Riemann—Roch theorem to complex analytic embeddings, [53] and in a related paper [54] they showed that the Hodge conjecture for integral cohomology is false.


Atiyah, Macdonald Solutions

Momi Indeed, if q is p-primary, then q? The given proposition is equivalent to the previous diagram being an exact sequence. If N 0 is flat, then the first vertical map is an injectionand the snake lemma shows that N taiyah flat. Let f be integral over A[x]; it will satisfy a relation of the form: We deduce that a0 is a unit.



MathSciNet The intent of this book is to provide a rather quick introduction to the theory of commutative algebra. On the other hand, it is not intended as a substitute for the more voluminous tracts on commutative algebra such as those of Zariski-Samuel or Bourbaki. We have concentrated on certain central topics, and large areas, such as field theory, are not touched. In content we cover rather more ground than Northcott [D. Northcott, Ideal theory, Cambridge Univ. Press, London, ; MR 15, ] and our treatment is substantially different in that, following the modern trend, we put more emphasis on modules and localization.

Related Articles