Canonical isomorphisms of determinant line bundles

行列式线束的正则同构

• 批准号: 2099846
• 金额: --
• 依托单位: University of Oxford
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2018
• 资助国家: 英国
• 起止时间: 2018 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2099846
• 关键词: Canonical; isomorphisms; determinant; line; bundles

This project falls within the EPSRC Geometry and Topology research area.In the early sixties, Grothendieck generalized the classical Hirzebruch-Riemann-Roch theorem to a relative situation. In the eighties, an analogue in Arakelov theory of the formula (2) was proven by Faltings (see [4]) and Bismut-Gillet-Soulé (see [5]). Around the same time Deligne (see [3]) noticed that in the situation of a family of curves, the formula of Faltings-Bismut-Gillet-Soulé could be understood as a special case of the analytic "realisation" of a purely geometric formula. His formula can be seen as a refinement of the formula (2), where both sides are now identified (via a suitable construction) as canonical line bundles (as opposed to isomorphism classes of line bundles) and a canonical isomorphism between these bundles is constructed. The analytic "realisation" alluded to above is then the computation, using analytic tools, of the norm of this canonical isomorphism, when both sides are endowed with certain hermitian metrics.The theorem of Deligne was generalised to higher relative dimensions in the work of Franke (unpublished) and the work of Eriksson (also unpublished!) but their approach depends on many choices (in particular the choice of an embedding of X into a relative projective space), which makes it difficult to compute the corresponding analytic realisation.In this context, the project that E. Gomezllata M. will work on is the following Give a new proof of a variant of the formula of Franke and Eriksson, using a new method of proof (which is also new in the original context of the formula (1)), which is very direct and does not require any auxiliary choices. This method is based on an insight of Nori, who showed that the Grothendieck-Riemann-Roch formula can be seen as a special case of a relative fixed formula à la Lefschetz (see [7]). Use the analytic tools developed by Bismut to compute the analytic "realisation" of the resulting canonical ismorphism of line bundles. Arakelov theory predicts what this realisation should be so it should be possible to avoid any mistakes in the computation. The prerequisites for this project are scheme theory at the level of Hartshorne (see [6]) and familiarity with algebraic K-theory (as in [8]). At the analytic level, it requires a working knowledge of Riemannian geometry and the local index theorem at the level of [1] (but I don't expect that a lot of work will be required on the analytic side - the results of Bismut should suffice to carry through the computation).

该项目属于EPSRC几何和拓扑研究领域。60年代初，Grothendieck将经典的Hirzebruch-Riemann-Roch定理推广到一个相对的情况。在八十年代，Arakelov理论中的类似式(2)被Faltings（见b[4]）和bismut - gillet - soul<s:1>（见b[5]）证明。大约在同一时间，Deligne（见b[3]）注意到，在曲线族的情况下，faltings - bismut - gillet - soul<s:1>公式可以被理解为纯几何公式的解析“实现”的特殊情况。他的公式可以看作是公式(2)的改进，其中两边现在被（通过一个合适的构造）识别为规范线束（而不是线束的同构类），并且这些束之间的规范同构被构造。上面提到的解析的“实现”就是当两边都被赋予一定的厄米度量时，使用解析工具计算这个标准同构的范数。在Franke（未发表）和Eriksson（也未发表！）的工作中，Deligne定理被推广到更高的相对维度，但他们的方法依赖于许多选择（特别是选择将X嵌入到相对投影空间中），这使得计算相应的解析实现变得困难。在此背景下，E. Gomezllata M.将进行的项目是：给出Franke和Eriksson公式的一个变体的新的证明，使用一种新的证明方法（这在公式(1)的原始背景下也是新的），非常直接，不需要任何辅助选择。这种方法是基于Nori的见解，他表明Grothendieck-Riemann-Roch公式可以被看作是相对固定公式（la Lefschetz）的一个特例（见[7]）。使用Bismut开发的解析工具来计算线束的正则同态的解析“实现”。阿拉克洛夫理论预测了这种实现应该是什么，因此它应该有可能避免计算中的任何错误。本项目的先决条件是Hartshorne级别的方案理论（见[6]）和熟悉代数k理论（如[8]）。在解析层面，它需要黎曼几何的实用知识和[1]层面的局部指标定理（但我不期望在解析方面需要做很多工作- Bismut的结果应该足以进行计算）。