Claude Chevalley (; 11 February 1909 – 28 June 1984) was a French
mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems.
Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change.
History
On ...
who made important contributions to
number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777� ...
,
algebraic geometry
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, mainly from commutative algebra, for solving geometrical ...
,
class field theory
In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory whose goal is to describe all the abelian Galois extensions of local and global fields using objects associated to the ground field.
Hilbert is credit ...
,
finite group theory
Finite is the opposite of infinite. It may refer to:
* Finite number (disambiguation)
* Finite set, a set whose cardinality (number of elements) is some natural number
* Finite verb, a verb form that has a subject, usually being inflected or marked ...
and the theory of
algebraic groups
In mathematics, an algebraic group is an algebraic variety endowed with a group structure which is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory.
M ...
. He was a founding member of the
Bourbaki group.
Life
His father, Abel Chevalley, was a French diplomat who, jointly with his wife Marguerite Chevalley née
Sabatier, wrote ''The Concise Oxford French Dictionary''. Chevalley graduated from the
École Normale Supérieure
École may refer to:
* an elementary school in the French educational stages normally followed by secondary education establishments (collège and lycée)
* École (river), a tributary of the Seine flowing in région Île-de-France
* École, Savoi ...
in 1929, where he studied under
Émile Picard
Charles Émile Picard (; 24 July 1856 – 11 December 1941) was a French mathematician. He was elected the fifteenth member to occupy seat 1 of the Académie française in 1924.
Life
He was born in Paris on 24 July 1856 and educated there at th ...
. He then spent time at the
University of Hamburg
The University of Hamburg (german: link=no, Universität Hamburg, also referred to as UHH) is a public research university in Hamburg, Germany. It was founded on 28 March 1919 by combining the previous General Lecture System ('' Allgemeines Vor ...
, studying under
Emil Artin
Emil Artin (; March 3, 1898 – December 20, 1962) was an Austrian mathematician of Armenian descent.
Artin was one of the leading mathematicians of the twentieth century. He is best known for his work on algebraic number theory, contributing lar ...
and at the
University of Marburg
The Philipps University of Marburg (german: Philipps-Universität Marburg) was founded in 1527 by Philip I, Landgrave of Hesse, which makes it one of Germany's oldest universities and the oldest still operating Protestant university in the wor ...
, studying under
Helmut Hasse
Helmut Hasse (; 25 August 1898 – 26 December 1979) was a German mathematician working in algebraic number theory, known for fundamental contributions to class field theory, the application of ''p''-adic numbers to local class field theory and ...
. In Germany, Chevalley discovered Japanese mathematics in the person of
Shokichi Iyanaga
was a Japanese mathematician.
Early life
Iyanaga was born in Tokyo, Japan on April 2, 1906. He studied at the University of Tokyo from 1926 to 1929. He studied under Teiji Takagi. As an undergraduate, he published two papers in the ''Japanese ...
. Chevalley was awarded a doctorate in 1933 from the
University of Paris
, image_name = Coat of arms of the University of Paris.svg
, image_size = 150px
, caption = Coat of Arms
, latin_name = Universitas magistrorum et scholarium Parisiensis
, motto = ''Hic et ubique terrarum'' (Latin)
, mottoeng = Here and a ...
for a thesis on
class field theory
In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory whose goal is to describe all the abelian Galois extensions of local and global fields using objects associated to the ground field.
Hilbert is credit ...
.
When
World War II
World War II or the Second World War, often abbreviated as WWII or WW2, was a world war that lasted from 1939 to 1945. It involved the vast majority of the world's countries—including all of the great powers—forming two opposin ...
broke out, Chevalley was at
Princeton University
Princeton University is a private university, private research university in Princeton, New Jersey. Founded in 1746 in Elizabeth, New Jersey, Elizabeth as the College of New Jersey, Princeton is the List of Colonial Colleges, fourth-oldest ins ...
. After reporting to the French Embassy, he stayed in the U.S., first at Princeton and then (after 1947) at
Columbia University
Columbia University (also known as Columbia, and officially as Columbia University in the City of New York) is a private research university in New York City. Established in 1754 as King's College on the grounds of Trinity Church in Manhatt ...
. His American students included
Leon Ehrenpreis
Eliezer 'Leon' Ehrenpreis (May 22, 1930 – August 16, 2010, Brooklyn) was a mathematician at Temple University who proved the Malgrange–Ehrenpreis theorem, the fundamental theorem about differential operators with constant coefficients. He previ ...
and
Gerhard Hochschild
Gerhard Paul Hochschild (April 29, 1915 in Berlin – July 8, 2010 in El Cerrito, California) was a German-born American mathematician who worked on Lie groups, algebraic groups, homological algebra and algebraic number theory.
Early life ...
. During his time in the U.S., Chevalley became an American citizen and wrote a substantial part of his lifetime's output in English.
When Chevalley applied for a chair at the
Sorbonne
Sorbonne may refer to:
* Sorbonne (building), historic building in Paris, which housed the University of Paris and is now shared among multiple universities.
*the University of Paris (c. 1150 – 1970)
*one of its components or linked institution, ...
, the difficulties he encountered were the subject of a polemical piece by his friend and fellow ''Bourbakiste''
André Weil
André Weil (; ; 6 May 1906 – 6 August 1998) was a French mathematician, known for his foundational work in number theory and algebraic geometry. He was a founding member and the ''de facto'' early leader of the mathematical Bourbaki group. Th ...
, titled "Science Française?" and published in the ''
Nouvelle Revue Française
''La Nouvelle Revue Française'' (; "The New French Review") is a literary magazine based in France. In France, it is often referred to as the ''NRF''.
History and profile
The magazine was founded in 1909 by a group of intellectuals including And ...
''. Chevalley was the "professeur B" of the piece, as confirmed in the endnote to the reprint in Weil's collected works, ''Oeuvres Scientifiques, tome II''. Chevalley eventually did obtain a position in 1957 at the faculty of sciences of the
University of Paris
, image_name = Coat of arms of the University of Paris.svg
, image_size = 150px
, caption = Coat of Arms
, latin_name = Universitas magistrorum et scholarium Parisiensis
, motto = ''Hic et ubique terrarum'' (Latin)
, mottoeng = Here and a ...
and after 1970 at the
Université de Paris VII
Paris Diderot University, also known as Paris 7 (french: Université Paris Diderot), was a French university located in Paris, France. It was one of the inheritors of the historic University of Paris, which was split into 13 universities in 197 ...
.
Chevalley had artistic and political interests, and was a minor member of the French
non-conformists of the 1930s
The non-conformists of the 1930s were groups and individuals during the inter-war period in France that were seeking new solutions to face the political, economical and social crisis. The name was coined in 1969 by the historian Jean-Louis Loubet ...
. The following quote by the co-editor of Chevalley's collected works attests to these interests:
"Chevalley was a member of various avant-garde groups, both in politics and in the arts... Mathematics was the most important part of his life, but he did not draw any boundary between his mathematics and the rest of his life."
Work
In his PhD thesis, Chevalley made an important contribution to the technical development of
class field theory
In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory whose goal is to describe all the abelian Galois extensions of local and global fields using objects associated to the ground field.
Hilbert is credit ...
, removing a use of
L-function
In mathematics, an ''L''-function is a meromorphic function on the complex plane, associated to one out of several categories of mathematical objects. An ''L''-series is a Dirichlet series, usually convergent on a half-plane, that may give ris ...
s and replacing it by an algebraic method. At that time use of
group cohomology
In mathematics (more specifically, in homological algebra), group cohomology is a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology loo ...
was implicit, cloaked by the language of
central simple algebra
In ring theory and related areas of mathematics a central simple algebra (CSA) over a field ''K'' is a finite-dimensional associative ''K''-algebra ''A'' which is simple, and for which the center is exactly ''K''. (Note that ''not'' every simple a ...
s. In the introduction to
André Weil
André Weil (; ; 6 May 1906 – 6 August 1998) was a French mathematician, known for his foundational work in number theory and algebraic geometry. He was a founding member and the ''de facto'' early leader of the mathematical Bourbaki group. Th ...
's ''Basic Number Theory'', Weil attributed the book's adoption of that path to an unpublished manuscript by Chevalley.
Around 1950, Chevalley wrote a three-volume treatment of
Lie group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additio ...
s. A few years later, he published the work for which he is best remembered, his investigation into what are now called
Chevalley group
In mathematics, specifically in group theory, the phrase ''group of Lie type'' usually refers to finite groups that are closely related to the group of rational points of a reductive linear algebraic group with values in a finite field. The phras ...
s. Chevalley groups make up 9 of the 18 families of
finite simple group
Finite is the opposite of infinite. It may refer to:
* Finite number (disambiguation)
* Finite set, a set whose cardinality (number of elements) is some natural number
* Finite verb, a verb form that has a subject, usually being inflected or marked ...
s.
Chevalley's accurate discussion of integrality conditions in the
Lie algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
s of
semisimple group
In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group ''G'' over a perfect field is reductive if it has a representation with finite kernel which is a direct ...
s enabled abstracting their theory from the
real
Real may refer to:
Currencies
* Brazilian real (R$)
* Central American Republic real
* Mexican real
* Portuguese real
* Spanish real
* Spanish colonial real
Music Albums
* ''Real'' (L'Arc-en-Ciel album) (2000)
* ''Real'' (Bright album) (2010)
...
and
complex field
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a ...
s. As a consequence, analogues over
finite field
In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtr ...
s could be defined. This was an essential stage in the evolving
classification of finite simple groups
In mathematics, the classification of the finite simple groups is a result of group theory stating that every finite simple group is either cyclic, or alternating, or it belongs to a broad infinite class called the groups of Lie type, or else it ...
. After Chevalley's work, the distinction between "classical groups" falling into the
Dynkin diagram
In the mathematical field of Lie theory, a Dynkin diagram, named for Eugene Dynkin, is a type of graph with some edges doubled or tripled (drawn as a double or triple line). Dynkin diagrams arise in the classification of semisimple Lie algebras ...
classification, and
sporadic groups
In mathematics, a sporadic group is one of the 26 exceptional groups found in the classification of finite simple groups.
A simple group is a group ''G'' that does not have any normal subgroups except for the trivial group and ''G'' itself. The ...
which did not, became sharp enough to be useful. What are called 'twisted' groups of the classical families could be fitted into the picture.
"Chevalley's theorem" (also called the
Chevalley–Warning theorem
In number theory, the Chevalley–Warning theorem implies that certain polynomial, polynomial equations in sufficiently many variables over a finite field have solutions. It was proved by and a slightly weaker form of the theorem, known as Cheval ...
) usually refers to his result on the solubility of equations over a finite field. Another theorem of his concerns the
constructible sets in
algebraic geometry
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, mainly from commutative algebra, for solving geometrical ...
, i.e. those in the
Boolean algebra
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values ''true'' and ''false'', usually denoted 1 and 0, whereas in e ...
generated by the
Zariski-open and
Zariski-closed
In algebraic geometry and commutative algebra, the Zariski topology is a topology which is primarily defined by its closed sets. It is very different from topologies which are commonly used in the real or complex analysis; in particular, it is no ...
sets. It states that the
image
An image is a visual representation of something. It can be two-dimensional, three-dimensional, or somehow otherwise feed into the visual system to convey information. An image can be an artifact, such as a photograph or other two-dimensiona ...
of such a set by a
morphism
In mathematics, particularly in category theory, a morphism is a structure-preserving map from one mathematical structure to another one of the same type. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms a ...
of
algebraic varieties
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Mo ...
is of the same type. Logicians call this an
elimination of quantifiers Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. Informally, a quantified statement "\exists x such that \ldots" can be viewed as a question "When is there an x such ...
.
In the 1950s, Chevalley led some Paris seminars of major importance: the ''Séminaire Cartan–Chevalley'' of the academic year 1955-6, with
Henri Cartan
Henri Paul Cartan (; 8 July 1904 – 13 August 2008) was a French mathematician who made substantial contributions to algebraic topology.
He was the son of the mathematician Élie Cartan, nephew of mathematician Anna Cartan, oldest brother of co ...
and the ''Séminaire Chevalley'' of 1956-7 and 1957-8. These dealt with topics on
algebraic group
In mathematics, an algebraic group is an algebraic variety endowed with a group structure which is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory.
Man ...
s and the foundations of algebraic geometry, as well as pure
abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''a ...
. The Cartan–Chevalley seminar was the genesis of
scheme theory
In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations ''x'' = 0 and ''x''2 = 0 define the same algebraic variety but different sc ...
, but its subsequent development in the hands of
Alexander Grothendieck was so rapid, thorough and inclusive that its historical tracks can appear well covered. Grothendieck's work subsumed the more specialised contribution of
Serre, Chevalley,
Gorō Shimura and others such as
Erich Kähler
Erich Kähler (; 16 January 1906 – 31 May 2000) was a German mathematician with wide-ranging interests in geometry and mathematical physics, who laid important mathematical groundwork for algebraic geometry and for string theory.
Education an ...
and
Masayoshi Nagata
Masayoshi Nagata (Japanese: 永田 雅宜 ''Nagata Masayoshi''; February 9, 1927 – August 27, 2008) was a Japanese mathematician, known for his work in the field of commutative algebra.
Work
Nagata's compactification theorem shows that var ...
.
Selected bibliography
*1936. ''L'Arithmetique dans les Algèbres de Matrices''. Hermann, Paris.
*1940. "La théorie du corps de classes," ''Annals of Mathematics 41'': 394–418.
*1946. ''
Theory of Lie groups''. Princeton University Press.
*1951.
"Théorie des groupes de Lie, tome II, Groupes algébriques", Hermann, Paris.
*1951. ''Introduction to the theory of algebraic functions of one variable'', A.M.S. Math. Surveys VI.
*1954. ''The algebraic theory of spinors'', Columbia Univ. Press; new edition, Springer-Verlag, 1997.
*1953–1954. ''Class field theory'', Nagoya University.
*1955.
"Théorie des groupes de Lie, tome III, Théorèmes généraux sur les algèbres de Lie", Hermann, Paris.
*1955, "Sur certains groupes simples," ''Tôhoku Mathematical Journal 7'': 14–66.
*1955. ''The construction and study of certain important algebras'', Publ. Math. Soc. Japan.
*1956. ''Fundamental concepts of algebra'', Acad. Press.
*1956–1958. "Classification des groupes de Lie algébriques", Séminaire Chevalley, Secrétariat Math., 11 rue P. Curie, Paris; revised edition by P.Cartier, Springer-Verlag, 2005.
*1958. ''Fondements de la géométrie algébrique'', Secrétariat Math., 11 rue P. Curie, Paris.
See also
*
Idèle
*
Valuative criterion of properness In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces.
Some authors call a proper variety over a field ''k'' a complete variety. For example, every projective variety over a field ...
*
Chevalley group
In mathematics, specifically in group theory, the phrase ''group of Lie type'' usually refers to finite groups that are closely related to the group of rational points of a reductive linear algebraic group with values in a finite field. The phras ...
*
Chevalley scheme A Chevalley scheme in algebraic geometry was a precursor notion of scheme theory.
Let ''X'' be a separated integral noetherian scheme In algebraic geometry, a noetherian scheme is a scheme that admits a finite covering by open affine subsets \opera ...
*
Chevalley–Iwahori–Nagata theorem In mathematics, the Chevalley–Iwahori–Nagata theorem states that if a linear algebraic group ''G'' is Group action (mathematics), acting linearly on a finite-dimensional vector space ''V'', then the map from ''V''/''G'' to the Spectrum of a ring ...
*
Beck–Chevalley condition
*
Non-conformist movement
The non-conformists of the 1930s were groups and individuals during the inter-war period in Interwar France, France that were seeking new solutions to face the political, Great Depression in France, economical and social crisis. The name was coin ...
*
Jordan–Chevalley decomposition In mathematics, the Jordan–Chevalley decomposition, named after Camille Jordan and Claude Chevalley, expresses a linear operator as the sum of its commuting semisimple part and its nilpotent part. The multiplicative decomposition expresses an inv ...
Notes
External links
*
Claude Chevalleyin the
Mathematics Genealogy Project
The Mathematics Genealogy Project (MGP) is a web-based database for the academic genealogy of mathematicians.. By 31 December 2021, it contained information on 274,575 mathematical scientists who contributed to research-level mathematics. For a ty ...
{{DEFAULTSORT:Chevalley, Claude
Algebraic geometers
Number theorists
20th-century French mathematicians
Nicolas Bourbaki
1909 births
1984 deaths
Institute for Advanced Study visiting scholars
University of Hamburg alumni
University of Marburg alumni
University of Paris alumni
Columbia University faculty
Princeton University faculty
University of Paris faculty
École Normale Supérieure alumni
Non-conformists of the 1930s