\documentclass[12pt,titlepage]{article} \usepackage{amsmath} \usepackage{mathrsfs} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \usepackage{mathtools} \usepackage{graphicx} \usepackage{color} \usepackage{ucs} \usepackage[utf8x]{inputenc} \usepackage{xparse} \usepackage{hyperref} %----Macros---------- % % Unresolved issues: % % \righttoleftarrow % \lefttorightarrow % % \color{} with HTML colorspec % \bgcolor % \array with options (without options, it's equivalent to the matrix environment) % Of the standard HTML named colors, white, black, red, green, blue and yellow % are predefined in the color package. Here are the rest. \definecolor{aqua}{rgb}{0, 1.0, 1.0} \definecolor{fuschia}{rgb}{1.0, 0, 1.0} \definecolor{gray}{rgb}{0.502, 0.502, 0.502} \definecolor{lime}{rgb}{0, 1.0, 0} \definecolor{maroon}{rgb}{0.502, 0, 0} \definecolor{navy}{rgb}{0, 0, 0.502} \definecolor{olive}{rgb}{0.502, 0.502, 0} \definecolor{purple}{rgb}{0.502, 0, 0.502} \definecolor{silver}{rgb}{0.753, 0.753, 0.753} \definecolor{teal}{rgb}{0, 0.502, 0.502} % Because of conflicts, \space and \mathop are converted to % \itexspace and \operatorname during preprocessing. % itex: \space{ht}{dp}{wd} % % Height and baseline depth measurements are in units of tenths of an ex while % the width is measured in tenths of an em. \makeatletter \newdimen\itex@wd% \newdimen\itex@dp% \newdimen\itex@thd% \def\itexspace#1#2#3{\itex@wd=#3em% \itex@wd=0.1\itex@wd% \itex@dp=#2ex% \itex@dp=0.1\itex@dp% \itex@thd=#1ex% \itex@thd=0.1\itex@thd% \advance\itex@thd\the\itex@dp% \makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}} \makeatother % \tensor and \multiscript \makeatletter \newif\if@sup \newtoks\@sups \def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}% \def\reset@sup{\@supfalse\@sups={}}% \def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else% \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}% \else \append@sup#2 \@suptrue \fi% \expandafter\mk@scripts\fi} \def\tensor#1#2{\reset@sup#1\mk@scripts#2_/} \def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2% \reset@sup\mk@scripts#3_/} \makeatother % \slash \makeatletter \newbox\slashbox \setbox\slashbox=\hbox{$/$} \def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$} \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa \copy\slashbox \kern-\@tempdima \box\@tempboxa} \def\slash{\protect\itex@pslash} \makeatother % math-mode versions of \rlap, etc % from Alexander Perlis, "A complement to \smash, \llap, and lap" % http://math.arizona.edu/~aprl/publications/mathclap/ \def\clap#1{\hbox to 0pt{\hss#1\hss}} \def\mathllap{\mathpalette\mathllapinternal} \def\mathrlap{\mathpalette\mathrlapinternal} \def\mathclap{\mathpalette\mathclapinternal} \def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} \def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} \def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} % Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2} \let\oldroot\root \def\root#1#2{\oldroot #1 \of{#2}} \renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}} % Manually declare the txfonts symbolsC font \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n} \DeclareFontSubstitution{U}{txsyc}{m}{n} % Manually declare the stmaryrd font \DeclareSymbolFont{stmry}{U}{stmry}{m}{n} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} % Manually declare the MnSymbolE font \DeclareFontFamily{OMX}{MnSymbolE}{} \DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n} \SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n} \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{ <-6> MnSymbolE5 <6-7> MnSymbolE6 <7-8> MnSymbolE7 <8-9> MnSymbolE8 <9-10> MnSymbolE9 <10-12> MnSymbolE10 <12-> MnSymbolE12}{} % Declare specific arrows from txfonts without loading the full package \makeatletter \def\re@DeclareMathSymbol#1#2#3#4{% \let#1=\undefined \DeclareMathSymbol{#1}{#2}{#3}{#4}} \re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46} \re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12} \re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64} \re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6} \re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77} \re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77} \makeatother % \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE \makeatletter \def\Decl@Mn@Delim#1#2#3#4{% \if\relax\noexpand#1% \let#1\undefined \fi \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}} \def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}} \def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}} \Decl@Mn@Open{\llangle}{mnomx}{'164} \Decl@Mn@Close{\rrangle}{mnomx}{'171} \Decl@Mn@Open{\lmoustache}{mnomx}{'245} \Decl@Mn@Close{\rmoustache}{mnomx}{'244} \makeatother % Widecheck \makeatletter \DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}} \def\@widecheck#1#2{% \setbox\z@\hbox{\m@th$#1#2$}% \setbox\tw@\hbox{\m@th$#1% \widehat{% \vrule\@width\z@\@height\ht\z@ \vrule\@height\z@\@width\wd\z@}$}% \dp\tw@-\ht\z@ \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@ \setbox\tw@\hbox{% \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box \tw@}}}% {\ooalign{\box\tw@ \cr \box\z@}}} \makeatother % \mathraisebox{voffset}[height][depth]{something} \makeatletter \NewDocumentCommand\mathraisebox{moom}{% \IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{% \IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}% }{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}% \mathpalette\@temp{#4}} \makeatletter % udots (taken from yhmath) \makeatletter \def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.} \mkern2mu\raise4\p@\hbox{.}\mkern1mu \raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}} \makeatother %% Fix array \newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}} %% \itexnum is a noop \newcommand{\itexnum}[1]{#1} %% Renaming existing commands \newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}} \newcommand{\widevec}{\overrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\nearr}{\nearrow} \newcommand{\nwarr}{\nwarrow} \newcommand{\searr}{\searrow} \newcommand{\swarr}{\swarrow} \newcommand{\curvearrowbotright}{\curvearrowright} \newcommand{\uparr}{\uparrow} \newcommand{\downuparrow}{\updownarrow} \newcommand{\duparr}{\updownarrow} \newcommand{\updarr}{\updownarrow} \newcommand{\gt}{>} \newcommand{\lt}{<} \newcommand{\map}{\mapsto} \newcommand{\embedsin}{\hookrightarrow} \newcommand{\Alpha}{A} \newcommand{\Beta}{B} \newcommand{\Zeta}{Z} \newcommand{\Eta}{H} \newcommand{\Iota}{I} \newcommand{\Kappa}{K} \newcommand{\Mu}{M} \newcommand{\Nu}{N} \newcommand{\Rho}{P} \newcommand{\Tau}{T} \newcommand{\Upsi}{\Upsilon} \newcommand{\omicron}{o} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\Union}{\bigcup} \newcommand{\Intersection}{\bigcap} \newcommand{\Oplus}{\bigoplus} \newcommand{\Otimes}{\bigotimes} \newcommand{\Wedge}{\bigwedge} \newcommand{\Vee}{\bigvee} \newcommand{\coproduct}{\coprod} \newcommand{\product}{\prod} \newcommand{\closure}{\overline} \newcommand{\integral}{\int} \newcommand{\doubleintegral}{\iint} \newcommand{\tripleintegral}{\iiint} \newcommand{\quadrupleintegral}{\iiiint} \newcommand{\conint}{\oint} \newcommand{\contourintegral}{\oint} \newcommand{\infinity}{\infty} \newcommand{\bottom}{\bot} \newcommand{\minusb}{\boxminus} \newcommand{\plusb}{\boxplus} \newcommand{\timesb}{\boxtimes} \newcommand{\intersection}{\cap} \newcommand{\union}{\cup} \newcommand{\Del}{\nabla} \newcommand{\odash}{\circleddash} \newcommand{\negspace}{\!} \newcommand{\widebar}{\overline} \newcommand{\textsize}{\normalsize} \renewcommand{\scriptsize}{\scriptstyle} \newcommand{\scriptscriptsize}{\scriptscriptstyle} \newcommand{\mathfr}{\mathfrak} \newcommand{\statusline}[2]{#2} \newcommand{\tooltip}[2]{#2} \newcommand{\toggle}[2]{#2} % Theorem Environments \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{cor}{Corollary} \newtheorem*{utheorem}{Theorem} \newtheorem*{ulemma}{Lemma} \newtheorem*{uprop}{Proposition} \newtheorem*{ucor}{Corollary} \theoremstyle{definition} \newtheorem{defn}{Definition} \newtheorem{example}{Example} \newtheorem*{udefn}{Definition} \newtheorem*{uexample}{Example} \theoremstyle{remark} \newtheorem{remark}{Remark} \newtheorem{note}{Note} \newtheorem*{uremark}{Remark} \newtheorem*{unote}{Note} %------------------------------------------------------------------- \begin{document} %------------------------------------------------------------------- \section*{Alexander Grothendieck} The European mathematician \textbf{Alexander Grothendieck} (in French sometimes Alexandre Grothendieck), created a very influential body of work foundational for ([[algebraic geometry|algebraic]]) [[geometry]] but also for modern [[mathematics]] more generally. He is widely regarded as a singularly important figure of 20th century mathematics and his ideas continue to be highly influential in the 21st century. \begin{itemize}% \item \href{http://en.wikipedia.org/wiki/Alexander_Grothendieck}{Wikipedia article} \end{itemize} Initially working on [[topological vector spaces]] and [[analysis]], Grothendieck then made revolutionary advances in [[algebraic geometry]] by developing [[sheaf and topos theory]] and [[abelian sheaf cohomology]] and formulating algebraic geometry in these terms ([[locally ringed spaces]], [[schemes]]). Later [[topos theory]] further developed independently and today serves as the foundation also for other kinds of [[geometry]]. Notably its [[homotopy theory|homotopy theoretic]] refinement to [[higher topos theory]] serves as the foundation for modern [[derived algebraic geometry]]. \hypertarget{texts_by_grothendieck}{}\subsection*{{Texts by Grothendieck}}\label{texts_by_grothendieck} Grothendieck's geometric work is documented in texts known as [[EGA]] (with [[Dieudonné]]), an early account [[FGA]], and the many volume account [[SGA]] of the seminars at l'IH\'E{}S, Bures-sur-Yvette, where he was based at the time. (See the \href{http://en.wikipedia.org/wiki/Alexander_Grothendieck}{wikipedia article} for some indication of the story from there until the early 1980s.) In the late 1970s and early 1980s Grothendieck wrote several documents that have been of outstanding importance in the origins of the theory that underlies the [[nPOV]]. These include \begin{itemize}% \item \emph{La Longue Marche \`a{} travers la Th\'e{}orie de Galois} (1600 manuscript pages written between January and June 1981, plus addenda etc. which double its length!) (see [[Long March]] for some discussion of the ideas.) \item \emph{[[Esquisse d'un programme]]}, (January 1984), in which Grothendieck sketches out a vaste programme of research, incorporating many of the ideas from [[Long March]]. A copy is available \href{http://www.math.jussieu.fr/~leila/grothendieckcircle/EsquisseFr.pdf}{here}. It is discussed in brief at [[Esquisse d'un programme|Grothendieck's Esquisse]]. \item \emph{\`A{} la poursuite des Champs} (also entitled `'[[Pursuing Stacks]]'').\newline It starts with a short (12 page) letter to Quillen, dated 19 Feb. 1983, but then discusses a wide ranging vision of homotopy theory and its applicability to problems in algebraic and arithmetic geometry. \item \emph{[[Les Dérivateurs]]} (another 2000 page manuscript taking up some of the themes in Pursuing Stacks, section 69) Dating from the end of 1990 and the start of 1991. \end{itemize} In the same time he also wrote voluminous intellectual memoirs \emph{Recoltes et Semailles}. En Guise de Programme \href{https://webusers.imj-prg.fr/~leila.schneps/grothendieckcircle/Guise1.jpg}{p I} \href{https://webusers.imj-prg.fr/~leila.schneps/grothendieckcircle/Guise2.jpg}{p II}, a text written by Grothendieck as a course description while teaching in Montpellier ``Introduction \`a{} la recherche''. A chronological bibliography of Grothendieck's published mathematical writings (\href{https://webusers.imj-prg.fr/~leila.schneps/grothendieckcircle/GrothBiblio.pdf}{pdf}). \hypertarget{texts_about_grothendieck}{}\subsection*{{Texts about Grothendieck}}\label{texts_about_grothendieck} For an account of his work, including some of the work published in the 1980s, see the \href{http://en.wikipedia.org/wiki/Alexander_Grothendieck}{English Wikipedia entry}. The video of a talk by W. Scharlau on his life can be seen \href{http://www.dailymotion.com/video/x8juek_colloque-grothendieck-winfried-scha_tech}{here}. \begin{itemize}% \item Reminiscenes of Grothendieck, 2007 conversations of [[Sasha Beilinson]], [[Luc Illusie]], [[Vladimir Drinfel'd]], [[Spencer Bloch]], (\href{http://www.math.uchicago.edu/~mitya/langlands/reminiscences1.pdf}{pdf}) \item [[Pierre Cartier]], \emph{Alexander Grothendieck: A Country Known Only by Name} (\href{http://www.ams.org/notices/201504/rnoti-p373.pdf}{pdf}) \item [[Luca Barbieri-Viale]], \emph{Alexander Grothendieck: Enthusiasm and creativity} (\href{https://webusers.imj-prg.fr/~leila.schneps/grothendieckcircle/Mathbiographies/barbierieng.pdf}{pdf}) \item [[Pierre Deligne]], \emph{Quelques id\'e{}es ma\^i{}tresses de l'\oe{}uvre de A Grothendieck} (\href{http://www.math.jussieu.fr/~leila/grothendieckcircle/Mathbiographies/Deligne.pdf}{pdf}) \item [[Luc Illusie]], \emph{Alexandre Grothendieck, le magicien des foncteurs} (\href{http://www.cnrs.fr/insmi/IMG/pdf/Alexandre-Grothendieck.pdf}{pdf}) \item \emph{Une entrevue avec [[Jean Giraud]], \`a{} propos d'Alexandre Grothendieck} (\href{https://webusers.imj-prg.fr/~leila.schneps/grothendieckcircle/giraud.pdf}{pdf}). \end{itemize} A recent article in French on Grothendieck is to be found \href{http://images.math.cnrs.fr/Alexandre-Grothendieck.html}{here}. There were two articles on Grothendieck's life and work in the Notices AMS in 2004: \begin{itemize}% \item Allyn Jackson, \emph{Comme Appel\'e{} du N\'e{}ant}, As If Summoned from the Void: The Life of Alexandre Grothendieck, Part 1, \href{http://www.ams.org/notices/200409/fea-grothendieck-part1.pdf}{Notices AMS} \item Allyn Jackson, \emph{Comme Appel\'e{} du N\'e{}ant}, As If Summoned from the Void: The Life of Alexandre Grothendieck, Part 2, \href{http://www.ams.org/notices/200410/fea-grothendieck-part2.pdf}{Notices AMS} \end{itemize} Grothendieck obituary in the Notices AMS (Michael Artin, Allyn Jackson, David Mumford, and John Tate, Coordinating Editors): \begin{itemize}% \item ``\emph{The obituary begins here with a brief sketch of Grothendieck's life, followed by a description of some of his most outstanding work in mathematics.}'' Alexandre Grothendieck 1928--2014, (\href{http://www.ams.org/journals/notices/201603/rnoti-p242.pdf}{Part 1}) \item ``\emph{set of reminiscences by some of the many mathematicians who knew Grothendieck and were influenced by him.}'' Alexandre Grothendieck 1928--2014, (\href{http://www.ams.org/publications/journals/notices/201604/rnoti-p401.pdf}{Part 2}). \end{itemize} \hypertarget{students}{}\subsection*{{Students}}\label{students} \begin{itemize}% \item [[Pierre Gabriel]] \item [[Michel Demazure]] \item [[Jean Giraud]] \item [[Jean-Louis Verdier]] \item [[Monique Hakim]] \item [[Michel Raynaud]] \item [[Jean-Pierre Jouanolou]] \item [[Luc Illusie]] \item [[William Messing]] \item [[Pierre Berthelot]] \item [[Pierre Deligne]] \item [[Michèle Raynaud]] \item [[Neantro Saavedra-Rivano]] \item [[Hamet Seydi]] \item [[Hoàng Xuân Sính]] \item [[Yves Ladegaillerie]] \item [[Marcus Wanderley]] \item [[Carlos Contou-Carrère]] \end{itemize} See \emph{\href{http://www.genealogy.ams.org/id.php?id=31245}{Mathematics Genealogy for Grothendieck}} \hypertarget{correspondence}{}\subsection*{{Correspondence}}\label{correspondence} \href{http://webusers.imj-prg.fr/~leila.schneps/grothendieckcircle/Letters/GS.pdf}{The Grothendieck-Serre correspondence} \href{http://webusers.imj-prg.fr/~leila.schneps/grothendieckcircle/Letters/AGMumford.pdf}{The Grothendieck-Mumford correspondence} \hypertarget{external_links}{}\subsection*{{External links}}\label{external_links} \href{http://www.grothendieckcircle.org/}{Grothendieck circle} \href{https://www.dropbox.com/s/9u7n6xkwytocogf/grothendieckangle.pdf?dl=0}{Grothendieck's Angle} by G. Aiello \href{http://matematicas.unex.es/~navarro/res/}{A. Grothendieck} by J. A. Navarro \href{https://agrothendieck.github.io/}{A. Grothendieck} by M. Carmona A. Grothendieck, una guía a la obra matemática y filosófica (\href{http://matematicas.unex.es/~navarro/res/zalamea.pdf}{pdf}) por F. Zalamea category: people [[!redirects Grothendieck]] [[!redirects A. Grothendieck]] [[!redirects Alexander Grothendieck]] [[!redirects Alexandre Grothendieck]] \end{document}