Grothendieck著名求职信：一个纲领的提纲（Esquisse d'un Programme）

在之前分享EGA的帖子代数几何教皇Grothendieck经典著作：代数几何原理EGA法语原版全系列中，我说过会把Grothendieck的其他著作都分享出来，包括《一个纲领的提纲》。

一个纲领的提纲，法语原标题为Esquisse d'un Programme，翻译成英文即Sketch of a Programme。这是Grothendieck于1984年提交给CNRS的求职信。关于该信更详细的背景可见遥远的声音。

在这封信中，Grothendieck提出了一个宏伟的理论——远阿贝尔几何（anabelian geometry），即考虑任意代数簇的平展基本群“远离阿贝尔”的部分。可惜Grothendieck直到最后也没能将自己的构想实现，他在该领域留下了冗长且晦涩的《伽罗华长征》（之后我会分享自己收藏的长征节选）。但是远阿贝尔几何的思想却延续了下去，其与Langlands program并列为后Grothendieck时代代数几何的几大方向之一。

正是基于Grothendieck的这些思想，才有了之后望月新一在远阿贝尔几何方面的研究成果把加法与乘法结构拆掉再复原？望月新一如何引发代数几何变革。想当初我也对远阿贝尔几何很感兴趣，可惜最后听说该方向太冷了，因此工作不好找，而且太过复杂很难有推进。总之思索再三，我还是选择了算术几何，这个热门且目前充满新活力的领域。

如果您要查看本帖隐藏附件请回复

0 人喜欢

Add a comment

Comments

There is no comment, let's add the first one.

弦圈热门内容

How to construct a field that is larger than the complex numbers $\mathbb{C}$?

In this article, we discuss the following questions:Can we extend the complex numbers in any way such that $\mathbb{C} \subset\mathbb{C}[a]$ ? Or is $\mathbb{C}$ the extension to end all extensions?Surrounding these questions, we will provide two methods that extend the complex field $\mathbb{C}$.Method 1: The cartesian product of fields $$P = {\Bbb C}\times{\Bbb C}\times\cdots$$ isn't a field because has zero divisors: $$(0,1,0,1,\cdots)(1,0,1,0\cdots)=(0,0,0,0,\cdots).$$But a quotient will be ...

If the colimits of two objects are isomorphic, then are these two objects isomorphic?

Let $A,B$ be commutative rings in characteristic $p$. Let $\phi_{A}:A\rightarrow A,\phi_{B}:B\rightarrow B$ be the Frobenius morphisms, i.e. the $p$-power maps. If we have ${\rm{colim}}_{n\in\mathbb{N}}A\cong {\rm{colim}}_{n\in\mathbb{N}}B$, where the transition maps are Frobenius morphisms, can we show that $A\cong B$ ?Answer: No. Recall that an $\mathbb{F}_p$-algebra $R$ is perfect if the Frobenius map $\varphi : R \ni r \mapsto r^p \in R$ is an isomorphism. The colimit of powers of the Froben ...

Base change map $U\times_{X}X\rightarrow U\times_{Y}Y$

My question: Let $X,Y$ be schemes. Let $X\rightarrow Y,X\rightarrow X, Y\rightarrow Y$ be morphisms of schemes. Why the morphism $U\times_{X}X\rightarrow U\times_{Y}Y$ is the base change of $X\rightarrow X\times_{Y}Y$ by $U\times_{Y}Y\rightarrow Y$?Here is the diagram I try, where the triangle is commutative. But I found that $(U\times_{Y}Y)\times_{Y}(X\times_{Y}Y)=U\times_{Y}X\times_{Y}Y=U\times_{Y}X$, i.e. I can not obtain the desired $U\times_{X}X$. What mistakes do I make?Here is the context ...

Power series expansion for sine function is Cauchy?

Consider the power series expansion of sine function $$S=(\sum_{i=0}^{j}\frac{(-1)^{i}}{(2i+1)!}r^{2i+1})_{i\in\mathbb{N}}, 0\leq r\leq2\pi.$$ Then is the series $S$ a Cauchy sequence?Let $\varepsilon>0$. Is it possible to find the very integer $N>0$ such that for any $m,n\geq N$$$\left|\sum_{j=n}^{m}\frac{(-1)^{j}}{(2j+1)!}r^{2j+1}\right|\leq\sum_{j=n}^{m}\frac{1}{(2j+1)!}r^{2j+1}<\varepsilon ?$$Proof 1. It is well-known that the power series expansion of $\sin x$ is convergent everywh ...

When is a scheme over an affine scheme affine?

Question: Let $X$ be a scheme. Let ${\rm{Spec}}(R)$ be an affine scheme for some ring $R$. Suppose that there is a morphism of schemes $f:X\rightarrow{\rm{Spec}}(R)$. What properties should $f$ have so that $X$ is also an affine scheme? Or what conditions can make $X$ affine?Answer: If $f$ is an affine morphism, then $X$ is affine by definition.This is an "if and only if". If $X$ is affine, the so is $f$. See theorem 7.3.7 in Vakil's Foundations of Algebraic Geometry, or 29.11.3 and 29.11.4 in t ...

Archimedean property written multiplicatively

My question: Let $(\Gamma,+,\leq)$ be an ordered abelian group. We know that archimedean property can be stated as: for all $a,b\in\Gamma$ with $a>0,b\geq0$, there exists $n\geq0$ such that $b\leq na$. However, if we consider the multiplicative case, namely $(\Gamma,\cdot,\leq)$ is the ordered abelian group. Is there exists Archimedean property written multiplicatively? I think there is. And I state that as follows: for all $a,b\in\Gamma$ with $b<1,a\leq1$, there exists $n\geq0$ such that ...

Is fully faithful functor between groupoids injective on objects?

My question: Let $\cal{C}$ and $\cal{D}$ be two groupoids, i.e. the category whose morphisms are isomorphisms. Let $F:\cal{C}\rightarrow\cal{D}$ be a fully faithful functor from $\cal{C}$ to $\cal{D}$. Then is $F$ injective on objects? In other words, is the object function $F:{\rm{Ob}}(\cal{C})\rightarrow{\rm{Ob}}(\cal{D})$ injective?Answer: No. Given any set $X$ we can construct a groupoid called the indiscrete groupoid on $X$, which has a unique (iso)morphism $x \to y$ for $x, y \in X$. Every ...

What do the local sections of an nilpotent ideal sheaf look like?

Question: Let $(X, O_X)$ be a scheme. and $I$ an nilptoent ideal sheaf. i.e. $I^n=0$ for some $n$. Would this imply that each $I(U)$ is an nilpotent ideal of $O_X(U)$?Answer: Let $I\subseteq \mathcal{O}_X$ be an ideal sheaf, and let $\mathcal{F}$ be the presheaf assigning to each open subset $U$ of $X$ the ideal $I(U)^n\subseteq \mathcal{O}_X(U)$. You say that $I$ is nilpotent of degree $n$ if $\mathcal{F}^\#$ is zero, where $\#$ is used to denote sheafification. But, since $\mathcal{F}$ is a se ...

A finite field extension of $\mathbb{R}$ is either $\mathbb{R}$ or isomorphic to $\mathbb{C}$

We need to prove the following proposition:Let $F$ be a field containing $\mathbb{R}$ with the property that $\dim_{\mathbb R}F < \infty$. Then either $F \cong \mathbb R$ or $F \cong \mathbb C$.We give three proof in the following, where the first one is the most simple, and the last one is the most complicated.Proof 1. By the uniqueness of the algebraic closure, we have an embedding $F \hookrightarrow \mathbb C$, hence we have $\mathbb R \subset F \subset \mathbb C$. The result follows from ...

Some thought of p-divisible groups and p-adic Hodge theory

The name "p-divisible group" is somewhat misleading, which in fact has another name "Barsotti-Tate group". A p-divisible group is not merely just a kind of group. lt is more general. In fact, a p-divisible group can be viewed as a tower of affine group schemes with some extra conditions. Historically, p-divisible groups were the main stimulus for p-adic Hodge theory. So l think that studying p-divisible groups is the key to study p-adic Hodge theory.However, today's p-adic Hodge theory is much m ...

Differences between collection, class, set, and family

A collection shall consists of mathematical objects that may not share some unambiguously properties. This is different from the so-called class, which consists of mathematical objects that share unambiguously properties. However, a class may not form a set. And we call such classes proper classes. What's more, a family is different from a class. A indexed family or simply family is a collection of mathematical objects that is indexed by a set called index set.--------------------This paragraph ...

One should do mathematics for the sake of oneself

Well, yesterday, when l was typing my articles excitedly, the boring class was over, so l had to stop this inspiring moment. What l wanna say at last is that one should really do mathematics for the sake of satisfying one's curiosity, You do mathematics maybe just to understand some kind of concepts. Our purpose of doing mathematics is not to have some specific problems solved, on the contrary, unsolved problems are the vitality of mathematics. Well, recently, l have written my essay named facto ...

Manitori