·
RicciflowsRicciflows
·
4
·
2024-11-30 21:36

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 人喜欢

添加评论
评论区

暂无评论，来发布第一条评论吧！

弦圈热门内容

为什么无限求和需要被有意义的？

我的提问：例如单位分解（partition of unity）中的求和以及抽象代数中的多项式表达式。回答：拥有无限多项的求和（或者说更加正式的“级数”）需要一些额外的条件来保证他们“表现良好”（"well behaved"）。否则你可能得到像以下这样的悖论：$$\begin{align} &S = 1 + 1 + 1 + \dots \\ &\Rightarrow 2S = 2 + 2 + 2 + \dots \\ &\Rightarrow 2S = (1+1) + (1+1) + (1+1) + \dots \\ &\Rightarrow 2S = 1 + 1 + 1 + \dots \\ &\Rightarrow 2S=S \\ &\Rightarrow S = 0 \end{align}$$一般地，额外的条件包含，要求除了有限数量的项都为$0$（数学简称中的“几乎所有”）或者收敛条件来确保求和有一个极限值。本问题问于2020年1月22号，当时我在读高三，提问的水平非常差😅，跟Peter Scholze这种高中就懂谱序列的没得比🙃。

我翻译并整理了一些MathStackExchange的问题和回答

对于数学老手而言，阅读全英文数学甚至是全法语数学，都是可以做到的。但是对于数学萌新而言，阅读全英文的数学内容，可能会比较吃力，也需要花费更多的时间来进行阅读和理解。然而对于做数学的人而言，不懂英文就意味着会有大量优质的英文数学资源无法享用。国外比较有名的数学论坛包括MathStackExchange 与 MathOverflow，都拥有大量优秀的问题以及十分优质的回答，这往往能帮助你解决学习过程中遇到的难题。所以，我觉得可以翻译一些MathStackexchange与MathOverflow的优质内容，让更多的国内的数学爱好者能够接触到优秀的英文数学资源。目前我已翻译，并重新整理以下内容，中英对照（切换语言可见）：如何构建一个比复数域ℂ还要大的域？ℝ的有限域扩张是ℝ或者同构于ℂ幂零理想层的局部截面是什么样的？我在哪可以找到一个数学笔友？范畴中的态射一定得保持结构吗？我在教材中找到了一些不一样的阿基米德性质的乘法形式如果我看数学看得很慢，这没问题吗？仿射概形上的概形什么时候仿射？如果两个对象的余极限同构，那么这两个对象同构？正弦函数的幂级数展开是否是柯西序列？任意一个范畴之间的本质满射都 ...

关于平方可积空间的一些疑问

勒让德多项式是平方可积空间的完备正交基，也是该空间的绍德尔基，即该空间的任意一个元素，可以由其唯一的表示。而勒让德多项式是由x,x^2,x^3....通过施密特正交化原理得到的，两者张成的空间相等都在平方可积空间中稠密，那么我想问的是x,x^2,x^3....是该空间的绍德尔基，即平方可积空间的任意一个元素可由x,x^2,x^3....唯一表示么

10.27 弦圈问题分析以及改进计划

最近有不少对弦圈感兴趣的爱好者，在弦圈注册了账号，也有人参与了互动。对此，我在这感谢各位的支持和认可！😃不过经过这段时间，用户注册后的表现，也透露出目前弦圈存在的很多问题。首当其冲的就是首页，默认显示最新内容，用时间顺序排序，意味着大家在首页往往无法看到有趣的内容，也可能找不到他想看的内容。这也导致弦圈中优秀的内容被埋没。因此，针对这个问题，我自己设计了一个简单的热度算法来计算“热度”，然后通过“热度”来排序首页的热门内容。旧的热门内容就是单纯的通过阅读量排序，没有热度随着时间衰减的现象，这也意味着新内容往往容易被旧内容排挤掉。有了更好的热度算法，我就可以将打开首页默认显示最新内容，改为默认显示热门内容了😇。接着就是中英文混合的问题，这个首页已经解决了，首页看到的内容都会把其他语言的给过滤掉。但是圈子内的话，我没有强行设置只有一种语言，因为不太想一些优秀的英文内容被埋没。我有点想参考推特的做法：热门内容推荐的大多数都是一种语言（如中文），只有一两个是其他语言（如英文）。或者说还有一种方案：热门内容全是同一种语言，再增加一个选项”全部“，即查看圈子全部内容。至于数学圈首页，那些数学分支的 ...

抽象代数中如何执行归纳法？

我的提问：我无法理解在这个证明中，归纳法这个步骤是如何进行的。有人能帮帮我吗？感谢！回答：令$n = deg B$。他们通过对$m = deg A$做归纳法来证明那个陈述。基本情况是$m < n$。如果$m \geq n$，然后他们找到另一个多项式$A'$，在这种情况下，$A' = A - B a_m X^{m - n}$，并且它有比$m$更小的阶数。所以我们可以通过归纳假设来处理它。$A′$的商和余数表达式是用于找到$A$的。我想有两件事你可能会觉得困扰，以及为什么你没有认出归纳法。首先，基本情况不仅仅是一种情况，而是一堆情况。这里请注意，这是基本的：证明中的归纳步骤仅适用于$m\geq n$。同时注意，在这种情况下，证明$m=1$的工作量并不比证明$m<n$小：对于所有这些情况，这都是一行证明。你可能会觉得困扰的第二件事是，我们不仅对$m-1$使用归纳假设，对任何阶数严格小于$m$的多项式也使用归纳假设。这被称为完全归纳法或强归纳法：在归纳步骤中，你假设的是，命题不多于$m-1$时都是真的，而不仅仅是$m-1$。这在维基百科的“归纳法”页面上得到了很好的解释。

范畴中的态射一定得保持结构吗？我在教材中找到了一些不一样的

我的提问：众所周知，范畴中对象之间的态射都是保持结构的。但是在一本教材中，我发现它说态射一般是保持结构的。这是否意味着存在不保持结构的态射？回答1：一个范畴不需要非得由带有某些额外结构的集合与保持这个结构的映射构成。不是这种类型的范畴的例子有：给定任意一个群$G$，我们可以构造一个范畴，它由一个对象$*$和每个$g\in G$的一个态射$\varphi_g\colon *\to *$组成。这里，态射的复合通过群运算来定义，并且$\operatorname{id}_* = \varphi_{e}$对于单位元$e\in G$。给定一个偏序集$(P,\le)$，我们可以构造一个范畴，它由对象集$P$和每个满足$x\le y$的$x,y\in P$有且仅有一个的态射$x\to y$组成。拓扑空间的同伦范畴，它的对象都是拓扑空间，每个态射$X\to Y$是一个连续映射$f\colon X\to Y$的同伦群$[f]$。回答2：我认为问题出在这里众所周知，范畴中对象之间的态射都是保持结构的。事实并非如此。范畴这个概念推广了“带有结构的集合和保持结构的函数”，例如群和同态，或者拓扑空间和连续映射。但 ...

如何理解$\mathbb{Q}_{p}(p^{1/p^{\infty}})$？

我的提问：众所周知$\mathbb{Q}_{p}(p^{1/p^{\infty}})$被定义为$\bigcup_{n>0} \mathbb{Q}_{p}(p^{1/p^{n}})$，意思是邻接所有$p$的$p$幂根（$p$-power roots of $p$）到混合特征域$\mathbb{Q}_{p}$。然而，我不太懂这个符号的意思$\mathbb{Q}_{p}(p^{1/p^{n}})$。这是如何联系到$p$的$p$幂根的？为何在这个记号中，$p$的幂是$1/p^{n}$？我认为$\mathbb{Q}_{p}(p^{1/p^{n}})$是$\mathbb Q_p$的一个割圆扩张，其中$p^{1/p^{n}}$是$n$次单位本原根（primitive $n$th root of unity）。但是似乎这说不通。并且我在另一个回答中看到$\mathbb{Q}_{p}(p^{1/p^{n}})$是一个分歧扩张（ramified extension）。谁能告诉我在哪里可以了解$\mathbb{Q}_{p}(p^{1/p^{n}})$？回答1：根据定义，$\Bbb Q_p(p^{1/p ...

可代表层的满射性

我的提问：令$S$为一个基概形，并令$(Sch/S)_{fppf}$为一个大fppf景。令$U$为一个$S$上的概形。假设存在一个满射态射$\Phi_{U}:U\rightarrow U$。那么我们能证明导出的层态射$h_{U}\rightarrow h_{U}$局部满射的？这看起来是错误的。注意到$h_{U}={\rm{Hom}}(-,U)$是一个可代表层。一个$(Sch/S)_{fppf}$上的层映射$F\rightarrow G$是局部满射的，如果对每个概形$U\in{\rm{Ob}}((Sch/S)_{fppf})$和每个$s\in G(U)$，都存在一个覆盖$\{U_{i}\rightarrow U\}_{i\in I}$，使得对所有$i$，$s|_{U_{i}}$在$F(U_{i})\rightarrow G(U_{i})$的像中。回答：令$S:={\rm Spec}(k)$为一个域，并且令$U={\rm Spec}(k[t]/t^2)$。环$k[t]/t^2$是一个$k$-代数，并且存在一个$k$-代数映射$k[t]/t^2\to t$，其将$t$打到$0$，所以我们得到 ...

宛如来自空无的召唤——数学大师格罗腾迪克的生平（上）

作者简介：艾林‧杰克逊（Allyn Jackson）曾任美国数学学会会讯（Notices of the AMS）的副主编与总主笔，加州大学柏克莱分校数学硕士。她觉得能结合数学和写作两个非常不同的领域，面对各种数学课题和数学人物，收获很大。译者简介：翁秉仁为台湾大学数学系副教授。本文原文发表在 2004 年的 Notices of the AMS 51卷第 9 期，以下译文刊登在《数理人文》创刊号（2013 年 12 月）。媒体或机构如需转载，请联系《数理人文》杂志（微信号：math_hmat）。重点摘要格罗腾迪克是二十世纪的数学大师，为代数几何开启全新的面貌，数学影响仍方兴未艾。格罗腾迪克早年多舛，与父母颠沛流离。他的数学背景贫乏，一切出于自学，但天资奇高，在苦学深思与师友攻错下，终于成为一代宗师。格罗腾迪克以韦伊猜想为目标，从范畴论观点所铸造的新工具，连结了离散的数论世界与连续的拓扑世界，启迪了多位菲尔兹奖得主的工作。如果不把科学看成权力和宰制的工具，而是我们物种在时间长河进行的知识探险。每门科学好比和声一样，依时更迭，或广袤，或丰盈。就像顺着世世代代于焉展露的乐曲，所有主题的精致对 ...

任意一个范畴之间的本质满射都是一个满态射吗？

我的提问：令$\cal{C},\cal{D}$为范畴（或者栈）。令$F:\cal{C}\rightarrow\cal{D}$是一个本质满射的函子，即在对象同构类上满射。然后$F$是小范畴（或者栈）范畴中的一个满态射吗？回答：不是。例如，任何一个对象的范畴之间的函子是本质满射的，但是如果$M_1, M_2$是两个非零幺半群，那么一个直和项的包含映射$M_1 \to M_1 \oplus M_2$，看成是两个单对象范畴间的一个函子，不是一个范畴的满态射。不过记住，“小范畴范畴中的满态射”由于多种原因，在任何特定应用中，都显然不是“正确”的概念。它抛弃了自然变换，所以你忽略了这样一个事实，即你其中在2-范畴里操作；并且在任何特定情况下，你可能需要各种“满态射”的概念。