Biography:Pierre Deligne

From HandWiki
(Redirected from Deligne conjecture)
Short description: Belgian mathematician
Pierre Deligne
Pierre Deligne (2005) (cropped).jpg
Pierre Deligne, March 2005
Born (1944-10-03) 3 October 1944 (age 79)
Etterbeek, Belgium
NationalityBelgian
Alma materUniversité libre de Bruxelles
Known forProof of the Weil conjectures
Perverse sheaves
Concepts named after Deligne
AwardsAbel Prize (2013)
Wolf Prize (2008)
Balzan Prize (2004)
Crafoord Prize (1988)
Fields Medal (1978)
Scientific career
FieldsMathematics
InstitutionsInstitute for Advanced Study
Institut des Hautes Études Scientifiques
Doctoral advisorAlexander Grothendieck
Doctoral studentsLê Dũng Tráng
Miles Reid
Michael Rapoport

Pierre René, Viscount Deligne (French: [dəliɲ]; born 3 October 1944) is a Belgian mathematician. He is best known for work on the Weil conjectures, leading to a complete proof in 1973. He is the winner of the 2013 Abel Prize, 2008 Wolf Prize, 1988 Crafoord Prize, and 1978 Fields Medal.

Early life and education

Deligne was born in Etterbeek, attended school at Athénée Adolphe Max and studied at the Université libre de Bruxelles (ULB), writing a dissertation titled Théorème de Lefschetz et critères de dégénérescence de suites spectrales (Theorem of Lefschetz and criteria of degeneration of spectral continuations). He completed his doctorate at the University of Paris-Sud in Orsay 1972 under the supervision of Alexander Grothendieck, with a thesis titled Théorie de Hodge.

Career

Starting in 1972, Deligne worked with Grothendieck at the Institut des Hautes Études Scientifiques (IHÉS) near Paris, initially on the generalization within scheme theory of Zariski's main theorem. In 1968, he also worked with Jean-Pierre Serre; their work led to important results on the l-adic representations attached to modular forms, and the conjectural functional equations of L-functions. Deligne's also focused on topics in Hodge theory. He introduced the concept of weights and tested them on objects in complex geometry. He also collaborated with David Mumford on a new description of the moduli spaces for curves. Their work came to be seen as an introduction to one form of the theory of algebraic stacks, and recently has been applied to questions arising from string theory. [citation needed] But Deligne's most famous contribution was his proof of the third and last of the Weil conjectures. This proof completed a programme initiated and largely developed by Alexander Grothendieck lasting for more than a decade. As a corollary he proved the celebrated Ramanujan–Petersson conjecture for modular forms of weight greater than one; weight one was proved in his work with Serre. Deligne's 1974 paper contains the first proof of the Weil conjectures. Deligne's contribution being to supply the estimate of the eigenvalues of the Frobenius endomorphism, considered the geometric analogue of the Riemann hypothesis. It also led to the proof of Lefschetz hyperplane theorem and the old and new estimates of the classical exponential sums, among other applications. Deligne's 1980 paper contains a much more general version of the Riemann hypothesis.

From 1970 until 1984, Deligne was a permanent member of the IHÉS staff. During this time he did much important work outside of his work on algebraic geometry. In joint work with George Lusztig, Deligne applied étale cohomology to construct representations of finite groups of Lie type; with Michael Rapoport, Deligne worked on the moduli spaces from the 'fine' arithmetic point of view, with application to modular forms. He received a Fields Medal in 1978. In 1984, Deligne moved to the Institute for Advanced Study in Princeton.

Hodge cycles

In terms of the completion of some of the underlying Grothendieck program of research, he defined absolute Hodge cycles, as a surrogate for the missing and still largely conjectural theory of motives. This idea allows one to get around the lack of knowledge of the Hodge conjecture, for some applications. The theory of mixed Hodge structures, a powerful tool in algebraic geometry that generalizes classical Hodge theory, was created by applying weight filtration, Hironaka's resolution of singularities and other methods, which he then used it to prove the Weil conjectures. He reworked the Tannakian category theory in his 1990 paper for the "Grothendieck Festschrift", employing Beck's theorem – the Tannakian category concept being the categorical expression of the linearity of the theory of motives as the ultimate Weil cohomology. All this is part of the yoga of weights, uniting Hodge theory and the l-adic Galois representations. The Shimura variety theory is related, by the idea that such varieties should parametrize not just good (arithmetically interesting) families of Hodge structures, but actual motives. This theory is not yet a finished product, and more recent trends have used K-theory approaches.

Perverse sheaves

With Alexander Beilinson, Joseph Bernstein, and Ofer Gabber, Deligne made definitive contributions to the theory of perverse sheaves. [1] This theory plays an important role in the recent proof of the fundamental lemma by Ngô Bảo Châu. It was also used by Deligne himself to greatly clarify the nature of the Riemann-Hilbert correspondence, which extends Hilbert's twenty-first problem to higher dimensions. Prior to Deligne's paper, Zoghman Mebkhout's 1980 thesis and the work of Masaki Kashiwara through D-modules theory (but published in the 80s) on the problem have appeared.

Other works

In 1974 at the IHÉS, Deligne's joint paper with Phillip Griffiths, John Morgan and Dennis Sullivan on the real homotopy theory of compact Kähler manifolds was a major piece of work in complex differential geometry which settled several important questions of both classical and modern significance. The input from Weil conjectures, Hodge theory, variations of Hodge structures, and many geometric and topological tools were critical to its investigations. His work in complex singularity theory generalized Milnor maps into an algebraic setting and extended the Picard-Lefschetz formula beyond their general format, generating a new method of research in this subject. His paper with Ken Ribet on abelian L-functions and their extensions to Hilbert modular surfaces and p-adic L-functions form an important part of his work in arithmetic geometry. Other important research achievements of Deligne include the notion of cohomological descent, motivic L-functions, mixed sheaves, nearby vanishing cycles, central extensions of reductive groups, geometry and topology of braid groups, etc.

Awards

He was awarded the Fields Medal in 1978, the Crafoord Prize in 1988, the Balzan Prize in 2004, the Wolf Prize in 2008, and the Abel Prize in 2013, "for seminal contributions to algebraic geometry and for their transformative impact on number theory, representation theory, and related fields". He was elected a foreign member of the Academie des Sciences de Paris in 1978.

In 2006 he was ennobled by the Belgian king as viscount.[2]

In 2009, Deligne was elected a foreign member of the Royal Swedish Academy of Sciences[3] and a residential member of the American Philosophical Society.[4] He is a member of the Norwegian Academy of Science and Letters.[5]

Selected publications

Hand-written letters

Deligne wrote multiple hand-written letters to other mathematicians in the 1970s. These include

Concepts named after Deligne

The following mathematical concepts are named after Deligne:

Additionally, many different conjectures in mathematics have been called the Deligne conjecture:

  • The Deligne conjecture in deformation theory is about the operadic structure on Hochschild cochain complex. Various proofs have been suggested by Dmitry Tamarkin,[8][9] Alexander A. Voronov,[10] James E. McClure and Jeffrey H. Smith,[11] Maxim Kontsevich and Yan Soibelman,[12] and others, after an initial input of construction of homotopy algebraic structures on the Hochschild complex.[13][14] It is of importance in relation with string theory.
  • The Deligne conjecture on special values of L-functions is a formulation of the hope for algebraicity of L(n) where L is an L-function and n is an integer in some set depending on L.
  • There is a Deligne conjecture on 1-motives arising in the theory of motives in algebraic geometry.
  • There is a Gross–Deligne conjecture in the theory of complex multiplication.
  • There is a Deligne conjecture on monodromy, also known as the weight monodromy conjecture, or purity conjecture for the monodromy filtration.
  • There is a Deligne conjecture in the representation theory of exceptional Lie groups.
  • There is a conjecture named the Deligne-Grothendieck conjecture for the discrete Riemann-Roch theorem in characteristic 0.
  • There is a conjecture named the Deligne-Milnor conjecture for the differential interpretation of a formula of Milnor for Milnor fibres, as part of the extension of nearby cycles and their Euler numbers.
  • The Deligne-Milne conjecture is formulated as part of motives and Tannakian categories.
  • There is a Deligne–Langlands conjecture of historical importance in relation with the development of the Langlands philosophy.
  • Deligne's conjecture on the Lefschetz trace formula[15] (now called Fujiwara's theorem for equivariant correspondences).[16]

See also

References

  1. Mark Andrea A. de Cataldo, Luca Migliorini: The Decomposition theorem, perverse sheaves and the topology of algebraic maps. In: Bulletin of the American Mathematical Society. Band 46, Nr. 4, 2009, S. 535–633, (Online).
  2. Official announcement ennoblement - Belgian Federal Public Service. 2006-07-18
  3. Royal Swedish Academy of Sciences: Many new members elected to the Academy, press release on 12 February 2009
  4. "APS Member History". https://search.amphilsoc.org/memhist/search?creator=Pierre+Deligne&title=&subject=&subdiv=&mem=&year=&year-max=&dead=&keyword=&smode=advanced. 
  5. "Gruppe 1: Matematiske fag" (in no). Norwegian Academy of Science and Letters. http://www.dnva.no/c26849/artikkel/vis.html?tid=40116. 
  6. motive in nLab
  7. Deligne tensor product of abelian categories in nLab
  8. Tamarkin, Dmitry E. (1998). "Another proof of M. Kontsevich formality theorem". arXiv:math/9803025.
  9. Hinich, Vladimir (2003). "Tamarkin's proof of Kontsevich formality theorem". Forum Math. 15 (4): 591–614. doi:10.1515/form.2003.032. https://www.degruyter.com/view/journals/form/15/4/article-p591.xml. 
  10. Voronov, Alexander A. (2000). "Homotopy Gerstenhaber algebras". Dordrecht: Kluwer Acad. Publ.. pp. 307–331. doi:10.1007/978-94-015-1276-3_23. https://link.springer.com/chapter/10.1007/978-94-015-1276-3_23. 
  11. McClure, James E.; Smith, Jeffrey H. (2002). "A solution of Deligne's Hochschild cohomology conjecture". Providence, RI: Amer. Math. Soc.. pp. 153–193. http://www.ams.org.ezp2.lib.umn.edu/books/conm/293/. 
  12. Kontsevich, Maxim; Soibelman, Yan (2000). "Deformations of algebras over operads and the Deligne conjecture". Dordrecht: Kluwer Acad. Publ.. pp. 255–307. 
  13. Getzler, Ezra; Jones, J. D. S. (1994). "Operads, homotopy algebra and iterated integrals for double loop spaces". arXiv:hep-th/9403055.
  14. Voronov, A. A.; Gerstenhaber, M. (1995). "Higher operations on the Hochschild complex". Funct. Anal. Its Appl. 29: 1–5. doi:10.1007/BF01077036. https://link.springer.com/article/10.1007%2FBF01077036. 
  15. Yakov Varshavsky (2005), "A proof of a generalization of Deligne's conjecture", p. 1.
  16. Martin Olsson, "Fujiwara's Theorem for Equivariant Correspondences", p. 1.

External links