Encyclopedia of Mathematics
The Encyclopedia of Mathematics is a large reference work in mathematics. It is available in book form and on CD-ROM; the 2002 version contains more than 8,000 entries covering most areas of mathematics at a graduate level, the presentation is technical in nature. The encyclopedia is edited by Michiel Hazewinkel and was published by Kluwer Academic Publishers until 2003, when Kluwer became part of Springer; the CD-ROM contains three-dimensional objects. The encyclopedia has been translated from the Soviet Matematicheskaya entsiklopediya edited by Ivan Matveevich Vinogradov and extended with comments and three supplements adding several thousand articles; until November 29, 2011, a static version of the encyclopedia could be browsed online free of charge online. This URL now redirects to the new wiki incarnation of the EOM. A new dynamic version of the encyclopedia is now available as a public wiki online; this new wiki is a collaboration between the European Mathematical Society. This new version of the encyclopedia includes the entire contents of the previous online version, but all entries can now be publicly updated to include the newest advancements in mathematics.
All entries will be monitored for content accuracy by members of an editorial board selected by the European Mathematical Society. Vinogradov, I. M. Matematicheskaya entsiklopediya, Sov. Entsiklopediya, 1977. Hazewinkel, M. Encyclopaedia of Mathematics, Kluwer, 1994. Hazewinkel, M. Encyclopaedia of Mathematics, Vol. 1, Kluwer, 1987. Hazewinkel, M. Encyclopaedia of Mathematics, Vol. 2, Kluwer, 1988. Hazewinkel, M. Encyclopaedia of Mathematics, Vol. 3, Kluwer, 1989. Hazewinkel, M. Encyclopaedia of Mathematics, Vol. 4, Kluwer, 1989. Hazewinkel, M. Encyclopaedia of Mathematics, Vol. 5, Kluwer, 1990. Hazewinkel, M. Encyclopaedia of Mathematics, Vol. 6, Kluwer, 1990. Hazewinkel, M. Encyclopaedia of Mathematics, Vol. 7, Kluwer, 1991. Hazewinkel, M. Encyclopaedia of Mathematics, Vol. 8, Kluwer, 1992. Hazewinkel, M. Encyclopaedia of Mathematics, Vol. 9, Kluwer, 1993. Hazewinkel, M. Encyclopaedia of Mathematics, Vol. 10, Kluwer, 1994. Hazewinkel, M. Encyclopaedia of Mathematics, Supplement I, Kluwer, 1997. Hazewinkel, M. Encyclopaedia of Mathematics, Supplement II, Kluwer, 2000.
Hazewinkel, M. Encyclopaedia of Mathematics, Supplement III, Kluwer, 2002. Hazewinkel, M. Encyclopaedia of Mathematics on CD-ROM, Kluwer, 1998. Encyclopedia of Mathematics, public wiki monitored by an editorial board under the management of the European Mathematical Society. List of online encyclopedias Official website Publications by M. Hazewinkel, at ResearchGate
David Bryant Mumford is an American mathematician known for distinguished work in algebraic geometry, for research into vision and pattern theory. He was a MacArthur Fellow. In 2010 he was awarded the National Medal of Science, he is a University Professor Emeritus in the Division of Applied Mathematics at Brown University. Mumford was born in West Sussex in England, of an English father and American mother, his father William started an experimental school in Tanzania and worked for the newly created United Nations. In high school, he was a finalist in the prestigious Westinghouse Science Talent Search. After attending the Phillips Exeter Academy, Mumford went to Harvard, where he became a student of Oscar Zariski. At Harvard, he became a Putnam Fellow in 1955 and 1956, he completed his Ph. D. in 1961, with a thesis entitled Existence of the moduli scheme for curves of any genus. Mumford's work in geometry combined traditional geometric insights with the latest algebraic techniques, he published on moduli spaces, with a theory summed up in his book Geometric Invariant Theory, on the equations defining an abelian variety, on algebraic surfaces.
His books Abelian Varieties and Curves on an Algebraic Surface combined the new theories. His lecture notes on scheme theory circulated for years in unpublished form, at a time when they were, beside the treatise Éléments de géométrie algébrique, the only accessible introduction, they are now available as The Red Book of Schemes. Other work, less written up were lectures on varieties defined by quadrics, a study of Goro Shimura's papers from the 1960s. Mumford's research did much to revive the classical theory of theta functions, by showing that its algebraic content was large, enough to support the main parts of the theory by reference to finite analogues of the Heisenberg group; this work on the equations defining abelian varieties appeared in 1966–7. He published some further books of lectures on the theory, he was one of the founders of the toroidal embedding theory. In a sequence of four papers published in the American Journal of Mathematics between 1961 and 1975, Mumford explored pathological behavior in algebraic geometry, that is, phenomena that would not arise if the world of algebraic geometry were as well-behaved as one might expect from looking at the simplest examples.
These pathologies fall into two types: bad behavior in characteristic p and bad behavior in moduli spaces. Mumford's philosophy in characteristic p was as follows: A nonsingular characteristic p variety is analogous to a general non-Kähler complex manifold. In the first Pathologies paper, Mumford finds an everywhere regular differential form on a smooth projective surface, not closed, shows that Hodge symmetry fails for classical Enriques surfaces in characteristic two; this second example is developed further in Mumford's third paper on classification of surfaces in characteristic p. This pathology can now be explained in terms of the Picard scheme of the surface, in particular, its failure to be a reduced scheme, a theme developed in Mumford's book "Lectures on Curves on an Algebraic Surface". Worse pathologies related to p-torsion in crystalline cohomology were explored by Luc Illusie. In the second Pathologies paper, Mumford gives a simple example of a surface in characteristic p where the geometric genus is non-zero, but the second Betti number is equal to the rank of the Néron–Severi group.
Further such examples arise in Zariski surface theory. He conjectures that the Kodaira vanishing theorem is false for surfaces in characteristic p. In the third paper, he gives an example of a normal surface; the first example of a smooth surface for which Kodaira vanishing fails was given by Michel Raynaud in 1978. In the second Pathologies paper, Mumford finds that the Hilbert scheme parametrizing space curves of degree 14 and genus 24 has a multiple component. In the fourth Pathologies paper, he finds reduced and irreducible complete curves which are not specializations of non-singular curves; these sorts of pathologies were considered to be scarce when they first appeared. But Ravi Vakil in a paper called "Murphy's law in algebraic geometry" has shown that Hilbert schemes of nice geometric objects can be arbitrarily "bad", with unlimited numbers of components and with arbitrarily large multiplicities. In three papers written between 1969 and 1976, Mumford extended the Enriques–Kodaira classification of smooth projective surfaces from the case of the complex ground field to the case of an algebraically closed ground field of characteristic p.
The final answer turns out to be as the answer in the complex case, once two important adjustments are made. The first is that one may get "non-classical" surfaces, which come about when p-torsion in the Picard scheme degenerates to a non-reduced group scheme; the second is the possibility of obtaining quasi-elliptic surfaces in characteristics three. These are surfaces fibred over a curve where the general fibre is a curve of arithmetic genus one with a cusp. Once these adjustments ar
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques from commutative algebra, for solving geometrical problems about these sets of zeros; the fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, parabolas, hyperbolas, cubic curves like elliptic curves, quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the curve and relations between the curves given by different equations.
Algebraic geometry occupies a central place in modern mathematics and has multiple conceptual connections with such diverse fields as complex analysis and number theory. A study of systems of polynomial equations in several variables, the subject of algebraic geometry starts where equation solving leaves off, it becomes more important to understand the intrinsic properties of the totality of solutions of a system of equations, than to find a specific solution. In the 20th century, algebraic geometry split into several subareas; the mainstream of algebraic geometry is devoted to the study of the complex points of the algebraic varieties and more to the points with coordinates in an algebraically closed field. Real algebraic geometry is the study of the real points of an algebraic variety. Diophantine geometry and, more arithmetic geometry is the study of the points of an algebraic variety with coordinates in fields that are not algebraically closed and occur in algebraic number theory, such as the field of rational numbers, number fields, finite fields, function fields, p-adic fields.
A large part of singularity theory is devoted to the singularities of algebraic varieties. Computational algebraic geometry is an area that has emerged at the intersection of algebraic geometry and computer algebra, with the rise of computers, it consists of algorithm design and software development for the study of properties of explicitly given algebraic varieties. Much of the development of the mainstream of algebraic geometry in the 20th century occurred within an abstract algebraic framework, with increasing emphasis being placed on "intrinsic" properties of algebraic varieties not dependent on any particular way of embedding the variety in an ambient coordinate space. One key achievement of this abstract algebraic geometry is Grothendieck's scheme theory which allows one to use sheaf theory to study algebraic varieties in a way, similar to its use in the study of differential and analytic manifolds; this is obtained by extending the notion of point: In classical algebraic geometry, a point of an affine variety may be identified, through Hilbert's Nullstellensatz, with a maximal ideal of the coordinate ring, while the points of the corresponding affine scheme are all prime ideals of this ring.
This means that a point of such a scheme may be either a subvariety. This approach enables a unification of the language and the tools of classical algebraic geometry concerned with complex points, of algebraic number theory. Wiles' proof of the longstanding conjecture called Fermat's last theorem is an example of the power of this approach. In classical algebraic geometry, the main objects of interest are the vanishing sets of collections of polynomials, meaning the set of all points that satisfy one or more polynomial equations. For instance, the two-dimensional sphere of radius 1 in three-dimensional Euclidean space R3 could be defined as the set of all points with x 2 + y 2 + z 2 − 1 = 0. A "slanted" circle in R3 can be defined as the set of all points which satisfy the two polynomial equations x 2 + y 2 + z 2 − 1 = 0, x + y + z = 0. First we start with a field k. In classical algebraic geometry, this field was always the complex numbers C, but many of the same results are true if we assume only that k is algebraically closed.
We consider the affine space of dimension n over denoted An. When one fixes a coordinate system, one may identify An with kn; the purpose of not working with kn is to emphasize that one "forgets" the vector space structure that kn carries. A function f: An → A1 is said to be polynomial if it can be written as a polynomial, that is, if there is a polynomial p in k such that f = p for every point M with coordinates in An; the property of a function to be polynomial does not depend on the choice of a coordinate system in An. When a coordinate system is chosen, the regular functions on the affine n-space may be identified with the ring of polynomial functions in n variables over k. Therefore, the set of the
Algebraic varieties are the central objects of study in algebraic geometry. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition.:58Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility; the concept of an algebraic variety is similar to that of an analytic manifold. An important difference is that an algebraic variety may have singular points, while a manifold cannot; the fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial in one variable with complex number coefficients is determined by the set of its roots in the complex plane.
Generalizing this result, Hilbert's Nullstellensatz provides a fundamental correspondence between ideals of polynomial rings and algebraic sets. Using the Nullstellensatz and related results, mathematicians have established a strong correspondence between questions on algebraic sets and questions of ring theory; this correspondence is a defining feature of algebraic geometry. An affine variety over an algebraically closed field is conceptually the easiest type of variety to define, which will be done in this section. Next, one can define quasi-projective varieties in a similar way; the most general definition of a variety is obtained by patching together smaller quasi-projective varieties. It is not obvious that one can construct genuinely new examples of varieties in this way, but Nagata gave an example of such a new variety in the 1950s. For an algebraically closed field K and a natural number n, let An be affine n-space over K; the polynomials f in the ring K can be viewed as K-valued functions on An by evaluating f at the points in An, i.e. by choosing values in K for each xi.
For each set S of polynomials in K, define the zero-locus Z to be the set of points in An on which the functions in S vanish, to say Z =. A subset V of An is called an affine algebraic set if V = Z for some S.:2 A nonempty affine algebraic set V is called irreducible if it cannot be written as the union of two proper algebraic subsets.:3 An irreducible affine algebraic set is called an affine variety.:3 Affine varieties can be given a natural topology by declaring the closed sets to be the affine algebraic sets. This topology is called the Zariski topology.:2Given a subset V of An, we define I to be the ideal of all polynomial functions vanishing on V: I =. For any affine algebraic set V, the coordinate ring or structure ring of V is the quotient of the polynomial ring by this ideal.:4 Let k be an algebraically closed field and let Pn be the projective n-space over k. Let f in k be a homogeneous polynomial of degree d, it is not well-defined to evaluate f on points in Pn in homogeneous coordinates.
However, because f is homogeneous, meaning that f = λd f , it does make sense to ask whether f vanishes at a point. For each set S of homogeneous polynomials, define the zero-locus of S to be the set of points in Pn on which the functions in S vanish: Z =. A subset V of Pn is called a projective algebraic set if V = Z for some S.:9 An irreducible projective algebraic set is called a projective variety.:10Projective varieties are equipped with the Zariski topology by declaring all algebraic sets to be closed. Given a subset V of Pn, let I be the ideal generated by all homogeneous polynomials vanishing on V. For any projective algebraic set V, the coordinate ring of V is the quotient of the polynomial ring by this ideal.:10A quasi-projective variety is a Zariski open subset of a projective variety. Notice that every affine variety is quasi-projective. Notice that the complement of an algebraic set in an affine variety is a quasi-projective variety. In classical algebraic geometry, a
Mathematics includes the study of such topics as quantity, structure and change. Mathematicians use patterns to formulate new conjectures; when mathematical structures are good models of real phenomena mathematical reasoning can provide insight or predictions about nature. Through the use of abstraction and logic, mathematics developed from counting, calculation and the systematic study of the shapes and motions of physical objects. Practical mathematics has been a human activity from as far back; the research required to solve mathematical problems can take years or centuries of sustained inquiry. Rigorous arguments first appeared in Greek mathematics, most notably in Euclid's Elements. Since the pioneering work of Giuseppe Peano, David Hilbert, others on axiomatic systems in the late 19th century, it has become customary to view mathematical research as establishing truth by rigorous deduction from appropriately chosen axioms and definitions. Mathematics developed at a slow pace until the Renaissance, when mathematical innovations interacting with new scientific discoveries led to a rapid increase in the rate of mathematical discovery that has continued to the present day.
Mathematics is essential in many fields, including natural science, medicine and the social sciences. Applied mathematics has led to new mathematical disciplines, such as statistics and game theory. Mathematicians engage in pure mathematics without having any application in mind, but practical applications for what began as pure mathematics are discovered later; the history of mathematics can be seen as an ever-increasing series of abstractions. The first abstraction, shared by many animals, was that of numbers: the realization that a collection of two apples and a collection of two oranges have something in common, namely quantity of their members; as evidenced by tallies found on bone, in addition to recognizing how to count physical objects, prehistoric peoples may have recognized how to count abstract quantities, like time – days, years. Evidence for more complex mathematics does not appear until around 3000 BC, when the Babylonians and Egyptians began using arithmetic and geometry for taxation and other financial calculations, for building and construction, for astronomy.
The most ancient mathematical texts from Mesopotamia and Egypt are from 2000–1800 BC. Many early texts mention Pythagorean triples and so, by inference, the Pythagorean theorem seems to be the most ancient and widespread mathematical development after basic arithmetic and geometry, it is in Babylonian mathematics that elementary arithmetic first appear in the archaeological record. The Babylonians possessed a place-value system, used a sexagesimal numeral system, still in use today for measuring angles and time. Beginning in the 6th century BC with the Pythagoreans, the Ancient Greeks began a systematic study of mathematics as a subject in its own right with Greek mathematics. Around 300 BC, Euclid introduced the axiomatic method still used in mathematics today, consisting of definition, axiom and proof, his textbook Elements is considered the most successful and influential textbook of all time. The greatest mathematician of antiquity is held to be Archimedes of Syracuse, he developed formulas for calculating the surface area and volume of solids of revolution and used the method of exhaustion to calculate the area under the arc of a parabola with the summation of an infinite series, in a manner not too dissimilar from modern calculus.
Other notable achievements of Greek mathematics are conic sections, trigonometry (Hipparchus of Nicaea, the beginnings of algebra. The Hindu–Arabic numeral system and the rules for the use of its operations, in use throughout the world today, evolved over the course of the first millennium AD in India and were transmitted to the Western world via Islamic mathematics. Other notable developments of Indian mathematics include the modern definition of sine and cosine, an early form of infinite series. During the Golden Age of Islam during the 9th and 10th centuries, mathematics saw many important innovations building on Greek mathematics; the most notable achievement of Islamic mathematics was the development of algebra. Other notable achievements of the Islamic period are advances in spherical trigonometry and the addition of the decimal point to the Arabic numeral system. Many notable mathematicians from this period were Persian, such as Al-Khwarismi, Omar Khayyam and Sharaf al-Dīn al-Ṭūsī. During the early modern period, mathematics began to develop at an accelerating pace in Western Europe.
The development of calculus by Newton and Leibniz in the 17th century revolutionized mathematics. Leonhard Euler was the most notable mathematician of the 18th century, contributing numerous theorems and discoveries; the foremost mathematician of the 19th century was the German mathematician Carl Friedrich Gauss, who made numerous contributions to fields such as algebra, differential geometry, matrix theory, number theory, statistics. In the early 20th century, Kurt Gödel transformed mathematics by publishing his incompleteness theorems, which show that any axiomatic system, consistent will contain unprovable propositions. Mathematics has since been extended, there has been a fruitful interaction between mathematics and science, to
Alexander Grothendieck was a French mathematician who became the leading figure in the creation of modern algebraic geometry. His research extended the scope of the field and added elements of commutative algebra, homological algebra, sheaf theory and category theory to its foundations, while his so-called "relative" perspective led to revolutionary advances in many areas of pure mathematics, he is considered by many to be the greatest mathematician of the 20th century. Born in Germany, Grothendieck was raised and lived in France. For much of his working life, however, he was, in effect, stateless; as he spelled his first name "Alexander" rather than "Alexandre" and his surname, taken from his mother, was the Dutch-like Low German "Grothendieck", he was sometimes mistakenly believed to be of Dutch origin. Grothendieck began his productive and public career as a mathematician in 1949. In 1958, he was appointed a research professor at the Institut des hautes études scientifiques and remained there until 1970, driven by personal and political convictions, he left following a dispute over military funding.
He became professor at the University of Montpellier and, while still producing relevant mathematical work, he withdrew from the mathematical community and devoted himself to political causes. Soon after his formal retirement in 1988, he moved to the Pyrenees, where he lived in isolation until his death in 2014. Grothendieck was born in Berlin to anarchist parents, his father, Alexander "Sascha" Schapiro, had Hasidic Jewish roots and had been imprisoned in Russia before moving to Germany in 1922, while his mother, Johanna "Hanka" Grothendieck, came from a Protestant family in Hamburg and worked as a journalist. Both had broken away from their early backgrounds in their teens. At the time of his birth, Grothendieck's mother was married to the journalist Johannes Raddatz and his birthname was recorded as "Alexander Raddatz." The marriage was dissolved in 1929 and Schapiro/Tanaroff acknowledged his paternity, but never married Hanka. Grothendieck lived with his parents in Berlin until the end of 1933, when his father moved to Paris to evade Nazism, followed soon thereafter by his mother.
They left Grothendieck in the care of a Lutheran pastor and teacher in Hamburg. During this time, his parents took part in the Spanish Civil War, according to Winfried Scharlau, as non-combatant auxiliaries, though others state that Sascha fought in the anarchist militia. In May 1939, Grothendieck was put on a train in Hamburg for France. Shortly afterwards his father was interned in Le Vernet, he and his mother were interned in various camps from 1940 to 1942 as "undesirable dangerous foreigners". The first was the Rieucros Camp, where his mother contracted the tuberculosis which caused her death and where Alexander managed to attend the local school, at Mende. Once Alexander managed to escape from the camp, intending to assassinate Hitler, his mother Hanka was transferred to the Gurs internment camp for the remainder of World War II. Alexander was permitted to live, separated from his mother, in the village of Le Chambon-sur-Lignon and hidden in local boarding houses or pensions, though he had to seek refuge in the woods during Nazis raids, surviving at times without food or water for several days.
His father was arrested under the Vichy anti-Jewish legislation, sent to the Drancy, handed over by the French Vichy government to the Germans to be sent to be murdered at the Auschwitz concentration camp in 1942. In Chambon, Grothendieck attended the Collège Cévenol, a unique secondary school founded in 1938 by local Protestant pacifists and anti-war activists. Many of the refugee children hidden in Chambon attended Cévenol, it was at this school that Grothendieck first became fascinated with mathematics. After the war, the young Grothendieck studied mathematics in France at the University of Montpellier where he did not perform well, failing such classes as astronomy. Working on his own, he rediscovered the Lebesgue measure. After three years of independent studies there, he went to continue his studies in Paris in 1948. Grothendieck attended Henri Cartan's Seminar at École Normale Supérieure, but he lacked the necessary background to follow the high-powered seminar. On the advice of Cartan and André Weil, he moved to the University of Nancy where he wrote his dissertation under Laurent Schwartz and Jean Dieudonné on functional analysis, from 1950 to 1953.
At this time he was a leading expert in the theory of topological vector spaces. From 1953 to 1955 he moved to the University of São Paulo in Brazil, where he immigrated by means of a Nansen passport, given that he refused to take French Nationality. By 1957, he set this subject aside in order to work in algebraic homological algebra; the same year he was invited to visit Harvard by Oscar Zariski, but the offer fell through when he refused to sign a pledge promising not to work to overthrow the United States government, a position that, he was warned, might have landed him in prison. The prospect did not worry him. Comparing Grothendieck during his Nancy years to the École Normale Supérieure trained students at that time: Pierre Samuel, Roger Godement, René Thom, Jacques Dixmier, Jean Cerf, Yvonne Bruhat, Jean-Pierre Serre, Bernard Malgrange, Leila Schneps says: He was so unknown to this group and to their professors, came from such a deprived and chaotic background, was, compared to them, so ignorant at the start of his research career
Michael Artin is an American mathematician and a professor emeritus in the Massachusetts Institute of Technology mathematics department, known for his contributions to algebraic geometry. Artin was born in Hamburg and brought up in Indiana, his parents were preeminent algebraist of the 20th century. Artin's parents left Germany in 1937. Artin did his undergraduate studies at Princeton University, receiving an A. B. in 1955. D. in 1960 under the supervision of Oscar Zariski, defending a thesis about Enriques surfaces. In the early 1960s, Artin spent time at the IHÉS in France, contributing to the SGA4 volumes of the Séminaire de géométrie algébrique, on topos theory and étale cohomology, his work on the problem of characterising the representable functors in the category of schemes has led to the Artin approximation theorem, in local algebra. This work gave rise to the ideas of an algebraic space and algebraic stack, has proved influential in moduli theory. Additionally, he has made contributions to the deformation theory of algebraic varieties.
He began to turn his interest from algebraic geometry to noncommutative algebra geometric aspects, after a talk by Shimshon Amitsur and an encounter in Chicago with Claudio Procesi and Lance W. Small, "which prompted first foray into ring theory". In 2002, Artin won the American Mathematical Society's annual Steele Prize for Lifetime Achievement. In 2005, he was awarded the Harvard Centennial Medal. In 2013, he won the Wolf Prize in Mathematics, in 2015 was awarded the National Medal of Science, he is a member of the National Academy of Sciences and a Fellow of the American Academy of Arts and Sciences, the American Association for the Advancement of Science, the Society for Industrial and Applied Mathematics, the American Mathematical Society. With Barry Mazur: Etale homotopy. Berlin. 1969. Algebraic spaces. New Haven: Yale University Press. 1971. Théorie des topos et cohomologie étale des schémas. Berlin. 1972. in collaboration with Alexandru Lascu & Jean-François Boutot: Théorèmes de représentabilité pour les espaces algébriques.
Montréal: Presses de l'Université de Montréal. 1973. With notes by C. S. Sephardi & Allen Tannenbaum: Lectures on deformations of singularities. Bombay: Tata Institute of Fundamental Research. 1976. Algebra. Englewood Cliffs, N. J.: Prentice Hall. 1991. 2nd edition. Boston: Pearson Education. 2011. With David Mumford: Contributions to algebraic geometry in honor of Oscar Zariski. Baltimore: Johns Hopkins University Press. 1979. With John Tate: Arithmetic and geometry: papers dedicated to I. R. Shafarevich on the occasion of his sixtieth birthday. Boston: Birkhäuser. 1983. With Hanspeter Kraft & Reinhold Remmert: Duration and change: fifty years at Oberwolfach. Berlin. 1994. Artin–Mazur zeta function Artin stacks Artin–Verdier duality Michael Artin at the Mathematics Genealogy Project Michael Artin at MIT Mathematics