Product Design, Manufacturing & Innovation Resources
» 同构片

同构片

1950
  • Jean Leray
  • Henri Cartan
  • Jean-Pierre Serre
  • Alexander Grothendieck
Mathematician's workspace focused on sheaf cohomology with textbooks and notes.

(图片仅供参考)

Sheaf cohomology 是现代代数几何中研究几何空间全局性质的核心工具。对于空间 [latex]X[/latex] 上的 Sheaf [latex]/mathcal{F}[/latex],同调群 [latex]H^i(X, \mathcal{F})[/latex] 是向量空间,其维度提供了重要的不变式。群 [latex]H^0[/latex] 代表全局截面,而 [latex]i > 0[/latex] 的更高群 [latex]H^i[/latex] 则测量将局部截面拼接成全局截面的障碍。

The intuition behind sheaf cohomology is to measure the failure of a certain ‘local-to-global’ principle. A sheaf is a tool that assigns data (like functions or vector spaces) to open sets of a topological space in a consistent way. The global sections functor, which takes a sheaf [latex]\mathcal{F}[/latex] and returns its group of global sections [latex]\Gamma(X, \mathcal{F})[/latex], is left exact but not always right exact. Sheaf cohomology groups are defined as the right derived functors of the global sections functor. This abstract definition from homological algebra provides a robust computational and theoretical framework.

在实践中,[latex]H^1(X, mathcal{F})[/latex] 通常对某些几何对象进行分类。例如,如果 [latex]mathcal{O}^*[/latex] 是非零正则函数的层,则 [latex]H^1(X, mathcal{O}^*)[/latex] 对概型 [latex]X[/latex] 上的线丛进行分类。上同调群的零性具有重要的几何意义;例如,Kodaira 的零定理指出,对于特征为零的射影簇上的丰富线丛,某些上同调群为零,这对该簇的几何性质具有深远的影响。Serre 的 FAC 论文和 Grothendieck 的 Tohoku 论文确立了层上同调作为代数几何的正确语言,取代了以往较为临时的方法。

UNESCO Nomenclature: 1105
- 几何学

类型

抽象系统

中断

革命

用法

广泛使用

前体

  • 束理论(让·勒雷)
  • 同调代数(Cartan,Eilenberg)
  • 微分几何中的德拉姆上同调
  • 代数拓扑(单纯同调和奇异同调)
  • čech 上同调

应用程序

  • 黎曼-罗赫定理的推广(hirzebruch-riemann-roch)
  • 弦理论和理论物理(计算状态和反常现象)
  • 韦伊猜想的证明(德利涅)
  • 向量丛和其他几何对象的分类
  • 形变理论(研究几何物体如何变化)

专利:

NA

潜在创新理念

由于机器人流量被拦截(目前每天超过 4 万),此内容仅限社区成员查看。
> 登录 > 或者 > 注册 < (100% 免费)即可访问此内容,以及所有其他受限内容和工具。

与以下术语相关:层上同调、层、导出函子、全局截面、障碍、Čech 上同调、Serre、Grothendieck。

历史背景

1850
1875
1897
1950
1844
1874
1893
1900

(如果日期未知或不相关,例如“流体力学”,则提供其显著出现的近似估计)

相关发明、创新和技术原理

只有注册会员才能免费获得 100% 的全尺寸图片和下载。.

> 登录 <