望月新一关于abc猜想的天书证明：宇宙际Teichmüller理论

望月新一以及他的Inter-universal Teichmüller Theory（宇宙际Teichmüller理论）可以说是非常出名，相较于费马大定理证明的晦涩难懂，宇宙际Teichmüller理论才算是真正的天书，全世界没几个人能看得懂，就连大佬Faltings都看不懂。望月新一是Faltings的学生，Faltings以“暴力横推”的风格闻名，张寿武说过Faltings的风格就像直接开着推土机把山碾平了过去。并且Faltings看论文都是只看前沿（introduction）就能知道整篇论文的主要定理，甚至还能直接证出来。见望月新一与他天书般的论文，展现了纯数学与我们的距离

可见Inter-universal Teichmüller Theory有多难懂，它涉及到代数几何一个高深的领域：远阿贝尔几何（anabelian geometry），顾名思义就是考虑平展基本群$\pi_{1}^{et}(X,x)$远离阿贝尔的部分，远阿贝尔几何源于Grothendick的一封入职信Esquisse d'un Programme，他于其中提出一个宏大的理论，然而最终他却没能将其实现。

而望月新一可以说深受Grothendick的影响，他的风格与Grothendick如出一辙，都是将果核浸泡在水里，让它自己裂开，即所谓的rising sea（关于Grothendick生平见宛如来自空无的召唤——数学大师格罗腾迪克的生平（上）和宛如来自空无的召唤——数学大师格罗腾迪克的生平（下））。望月新一的思想源泉来自于Grothendick的SGA，因此想要读他的论文就需要能看懂SGA。

至于望月新一的宇宙际Teichmüller理论是否真的证明了abc猜想，这可以说有很大争议，先是Peter Scholze的否定，再来前几年突然又说评审通过允许发布杂志，总之目前还未受到主流数学界的认可。见评审8年终获发表，数学天才望月新一证明abc猜想，全球只有十几个数学家读懂但争议未消

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

Add a comment

Comments

coroneless

18 days ago

宇宙际理论

Dislike

wm_2024

17 days ago

感谢楼主

Dislike

弦圈热门内容

Proof of the isomorphism $\textrm{Hom}_{A-mod}(\textrm{Hom}_{A-mod}(A,A),A)\cong A$ for any ring $A$

Let $A$ be a commutative ring with identity. Then we have an isomorphism $$A \rightarrow \textrm{Hom}_{A-mod}(A,A), a \mapsto (x \mapsto ax)$$, whose inverse is $$\textrm{Hom}_{A-mod}(A,A) \rightarrow A, \varphi \mapsto \varphi(1).$$Then applying this isomorphism, we get $$\textrm{Hom}_{A-mod}( \textrm{Hom}_{A-mod}(A,A) ,A) \cong \textrm{Hom}_{A-mod}(A,A) \cong A.$$

Differences between localStorage, sessionStorage and cookies

We can store tokens and user information in localStorage, sessionStorage, or cookies. They are all ways of browser that store data locally. In browser, open the developer mode, and click Application. Then you can view the messages stored in the localStorage, sessionStorage, and cookies on the website.Here are some differences between LocalStorage, SessionStorage, and Cookies:Data in LocalStorage have no lifecycle which means it will never expire, and need to be manually deleted. It is merely sto ...

Difference between time and datetime in python

Manipulating time is common during development. Python provides two packages from time, which are datetime and time. We will discuss the difference between the basic functions of these two packages.1. time :To get the current local time, first you need to run time.time() to get the current timestamp.import time #Get the current timestamp time.time() #output: 1715254313.7382145Then you need to format the resulting timestamp to get your desirable time format, e.g. %Y-%m-%d %H:%M:%S.time.localtime ...

moment.js/day.js UTC time to local time

import moment from 'moment'; const time = xxx; moment.utc(time).local().format("YYYY-MM-DD HH:mm:ss") In Nuxt.js, you need to change moment.js to day.js.const dayjs = useDayjs(); const time = xxx; dayjs.utc(time).local().format("YYYY-MM-DD HH:mm:ss")

Vue add whitespaces in a string

In Vue.js, if you simply add multiple whitespaces in a string, it eventually displays a single whitespace.//This will display a single whitespace. 'ab c'If you want to display multiple whitespaces, you could use unicode to represent whitespace.let str1 = 'ab\u00A0\u00A0\u00A0 c'; let str2 = 'ab\u0020\u0020\u0020 c'; let str3 = 'ab\u3000\u3000\u3000 c';These will output multiple whitespaces in strings.

Vue - TypeError: Cannot read properties of null (reading 'insertBefore')

In Vue 3/Nuxt 3, one may occur the error TypeError: Cannot read properties of null (reading 'insertBefore') which has little information and is hard to solve. In the following, we summerize some tips that help you solve this error :1. Change v-if to v-show , or change all v-if , v-else to v-show. Sometimes, the error appears because there are v-if or v-if, v-else pairs.2. Change katex auto-render. The error may appear because you use katex auto-render. To solve this, you could either change kate ...

Keep user logged in using Django and Vue 3

The request.session object will automatically generate a cookie with the default name sessionid, which stores the session's session key value. When the session expires, the cookie will automatically removed. Only when the cookie is cleared can the logged in user log in again.Set the expiration time of the session through the backend, and when the time is up, you can see through the browser that the cookie will automatically disappear. Therefore, it is only necessary to set that the token value i ...

Invalid prop: type check failed for prop "title". Expected String with value "500", got Number with value 500.

Problem.I'm using Nuxt 3.11.1 and my Node version is 20.12.2. And one of my pages unreasonably throw out the misleading error :Invalid prop: type check failed for prop "title". Expected String with value "500", got Number with value 500.I had tried to remove all related "title", but the error was still there. Solution.The error is due to useFetch , just change useFetch to useAsyncData .

Vertically aligning CSS :before and :after content

I am trying to centre the link with the image, but can't seem to move the content vertically in any way.<h4>More Information</h4> <a href="#" class="pdf">File Name</a>The icon is 22 x 22px.pdf { font-size: 12px; } .pdf:before { padding:0 5px 0 0; content: url(../img/icon/pdf_small.png); } .pdf:after { content: " ( .pdf )"; font-size: 10px; } .pdf:hover:after { color: #000; }

Some chunks are larger than 500 KiB after minification

When your vue/nuxt project is large, running npm run build  may output the error : WARN 15:32:15 (!) Some chunks are larger than 500 KiB after minification. Consider: - Using dynamic import() to code-split the application - Use build.rollupOptions.output.manualChunks to improve chunking: https://rollupjs.org/guide/en/#outputmanualchunks ...

Note on perfectoid spaces

In this section, we focus on Section 2 in [Sch], following [Hu], [Hu1], and [Hu2]. Moreover, we need to compare Huber's adic spaces with Berkovich's analytic spaces and Tate's rigid analytic spaces. Hence, we will briefly introduce the notion of Berkovich's analytic spaces in §1.3 and the notion of rigid analytic varieties in §1.4.§1. Adic SpacesDefinition 1.1.  A morphism $f:X\rightarrow Y$ of adic spaces is adic if, for every $x\in X$, there exist open affinoid subspaces $U,V$ of $X,Y$ wi ...

npm run build error: Heap out of memory in Nuxt3

When running npm run build , an error may occur which looked like :<--- Last few GCs ---> [2656:000001DF58927940] 511573 ms: Mark-sweep 2013.9 (2091.6) -> 2012.7 (2091.4) MB, 1022.4 / 0.0 ms (average mu = 0.211, current mu = 0.009) allocation failure; scavenge might not succeed [2656:000001DF58927940] 513611 ms: Mark-sweep 2028.4 (2091.4) -> 2027.2 (2117.4) MB, 2021.5 / 0.0 ms (average mu = 0.083, current mu = 0.008) allocation failure; scavenge might not succeed <--- JS s ...

Manitori