首页/论文/0709.3735

arXiv 0709.37352007-09-24math.AG

函子Cartier对偶

Functorial Cartier duality

Amelia Álvarez Sánchez, Carlos Sancho de Salas, Pedro Sancho de Salas

备注：: 12 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文在不给函数的向量空间提供拓扑的情况下，泛函地得到了交换幺半群的k-概型的Cartier对偶，推广了M. Demazure和P. Gabriel。

英文摘要：

In this paper we obtain the Cartier duality for k-schemes of commutative monoids functorially without providing the vector spaces of functions with a topology, generalizing a result for finite commutative algebraic groups by M. Demazure and P. Gabriel.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

几何类域理论与Cartier对偶

Geometric class field theory and Cartier duality

我们制定和证明了广义Albanese性质的家庭的映射从平滑曲线在一个任意域到一个交换群堆栈。我们的证明，这主要是自包含的，采用局部到全球的技术和一些新的Ext消失的结果，以减少到局部卡地亚自对偶定理的轮廓-Carrere。作为推论，我们重新证明了具有任意分支的局部和整体几何类域理论。

2021-03-12math.AG

$W_n$-Cartier 晶体与 $\mathbb{Z}/p^n\mathbb{Z}$-反常层之间的对偶性

Duality between $W_n$-Cartier crystals and $\mathbb{Z}/p^n\mathbb{Z}$-perverse sheaves

本文推广 [Bau23] 的结果，建立了 $W_n$-Cartier 晶体与 $\mathbb{Z}/p^n\mathbb{Z}$-反常层之间的对偶关系。

2025-06-16math.AG

通过Mittag-Leffler模构建Cartier对偶

Cartier duality via Mittag-Leffler modules

本文通过Mittag-Leffler模构建交换有限群方案的Cartier对偶，并在特定条件下构造了导出范畴之间的傅里叶-穆卡伊变换。

2025-12-15math.AG

向量丛层的卡蒂尔对偶性

Cartier duality for gerbes of vector bundles

证明代数和解析向量丛层的卡蒂尔对偶性，作为解析层核范畴中霍普夫代数的反等价。应用于证明光滑刚性簇的霍奇 - 泰特层上的固体拟凝聚层范畴与Bhatt - Zhang辛普森层上的权重1层范畴等价。

2026-10-21math.AG

关于$p^n$，II阶有限群格式的Cartier对偶

On the Cartier Duality of Certain Finite Group Schemes of order $p^n$, II

我们明确地描述了变形群方案的$l$ -th Frobenius核$N_l$的Cartier对偶，它将加法群方案变形为乘法群方案.然后利用Witt格式的Frobenius型核给出了$N_l$的Cartier对偶.这里我们假设基环$A$是一个$Z_{(p)}/(p^n)$ -代数，其中$p$是一个素数.所得结果推广了作者以前的一个结果，即假定$A$是特征环$p$ .

2017-06-29math.AG

Cartier晶体与反常$\u200b\mathbb{F}_p$-层之间的对偶性，及其在一般消亡中的应用

Duality between Cartier crystals and perverse $\mathbb{F}_p$-sheaves, and application to generic vanishing

该研究建立了诺特$F$-有限$\u200b\mathbb{F}_p$-概形上Cartier晶体与平展反常$\u200b\mathbb{F}_p$-层的范畴反等价，构造了Cartier晶体的上尖叫函子，给出相关经典结论的新证明，并推导出正特征阿贝尔簇上反常层的一般消亡结果。

2025-06-16math.AG

更多相关论文收起更多论文

通过松弛等化子的 Frobenius--Cartier 对偶

Frobenius--Cartier duality via lax equalizers

Bergische Universität Wuppertal（伍珀塔尔大学）

本文证明稳定∞-范畴松弛等化子的对偶定理，应用于特征p的Noetherian F-有限概形上Frobenius与Cartier模，恢复Baudin导出Hom对偶，并实现凝聚模对偶中标准t-结构与perverse t-结构的互换。

2026-09-10math.AGmath.CT

基于Gale对偶的数值放大准则

A numerical ampleness criterion via Gale duality

本文的主要目的是一个数值准则，确定当一个$\Q$ -阶乘完全复曲面簇的Weil因子允许一个正的多重Cartier因子，这是数值有效的（nef）或充分的。这是$\Z$的一个结果--盖尔对偶性的线性解释和我们在以前的几篇论文中发展的自洽性。作为一个副产品，我们得到了一个Weil因子的Cartier指数的计算和弱$\Q$ -Fano，$\Q$ -Fano，Gorenstein，弱Fano和Fano环面品种的数值特征。几个例子，然后给出和研究。\keywords { $\Q$ --阶乘完全复曲面品种\and样本除数\and nef除数\and $\Z$ --线性盖尔对偶\and次级风扇\and样本标准\and卡地亚指数\and $\Q$ --Fano复曲面品种。

2016-11-16math.AG

滤过形式群、Cartier对偶与导出代数几何

Filtered formal groups, Cartier duality, and derived algebraic geometry

Institute of Advanced Study（高等研究院）

本文在滤过背景下发展形式群的概念，描述其与一类滤过Hopf代数的对偶关系，并研究导出代数几何中法锥形变构造，应用于形式群的单位截面，得到等变退化及其坐标代数的滤过性质，进而恢复滤过圆上的滤过，并探讨形式群Hochschild同调的性质及其在谱代数几何中的提升。

2024-03-02math.AGmath.ATmath.KT

交换环上的刚性对偶复形及其函子性质

Rigid Dualizing Complexes over Commutative Rings and their Functorial Properties

本文通过刚性对偶复形处理noetherian环的Grothendieck Duality，证明了正则基环上本质有限型环具有唯一的刚性对偶复形，并利用其函子性质构造了扭曲诱导伪函子，为后续在Deligne-Mumford stacks上建立全局对偶性奠定基础。

2024-02-11math.ACmath.AGmath.CT

由弦对偶得到的局部化和猜想

Localization and Conjectures from String Duality

我们描述了局部化方法，特别是函子局部化公式在弦论几个命题证明中的应用。函子局部化公式将复杂模空间上的计算推到简单模空间上。它是一般镜像公式的证明、齐次流形的基本超几何级数显式的Hori-Vafa公式的证明、Mariño-Vafa公式的证明及其推广到两个分区模拟的关键技术。我们还将讨论我们在拓扑顶点数学理论方面的发展以及ELSV公式和Witten猜想的简单局部化证明。这是我在2005年8月20 - 26日在天津举行的第23届国际理论物理微分几何方法会议上的演讲。

2007-01-23hep-thmath-phmath.AG

仿射函子与对偶

Affine functors and duality

在$K$ -交换代数范畴上的集合的函子$\mathbb X$称为仿射函子，如果它的函数的函子$\mathbb A_{\mathbb X}$是自反的，并且是$\mathbb X=\Spec \mathbb A_{\mathbb X}$ .本文证明了仿射函子等于仿射格式的一个直接极限，仿射格式、形式概形、仿射格式沿闭子概形的完备化等，仿射函子赋予仿射函子$\mathbb X$一个幺半群结构的函子等价于赋予$\mathbb A_{\mathbb X}$一个双代数结构的函子。若$\mathbb G$是幺半群的仿射函子，则$\mathbb A_{\mathbb G}^*$是$\mathbb G$的代数的包络函子，并且$\mathbb G$ -模范畴等价于$\mathbb A_{\mathbb G}^*$ -模范畴.这些结果的应用包括Cartier对偶，仿射群格式的中立Tannakian对偶，形式群与李代数在特征零点上的等价性等。

2012-05-07math.ACmath.AG

Cousin复形的留数与对偶

Residues and duality for Cousin complexes

我们在连通诺特泛悬链线有限维分离概型的有限型映射范畴上构造一个正则伪函子，取值于Cousin复形范畴。这个伪函子是对Grothendieck对偶伪函子^！到具有Cohen-Macaulay复形作为对象的导出范畴的全子范畴（一旦余维函数被固定，则子范畴等价于Cousin复形的范畴）。具体地说，对于Cousin复形M和上面的任何模式映射f：X -> Y，存在一个函子导范畴映射γ：f^# M -> f^！M在Cousin复形范畴f^# M \iso E（f^！（其中E是Cousin函子）。γ本身是同构，如果复形f^！M是Cohen-Macaulay--当映射f是平坦的或者复形M是单射的时候都是如此。此外，f^#取残差（分别为单射）复形在Y上到残差（分别）。单射）复形;因此，伪函子^#推广并规范了哈特索恩《剩余与对偶》第六章中提出的剩余复形的“方差理论”。“此外，我们推广了loc.cit.的留数定理，p.369通过定义分次模Tr_f（M）：f_*f^# M -> M（局部剩余之和）的函子迹映射，使得只要f是真的，Tr_f（M）是复形的映射，并且（f^# M，Tr_f（M））对表示Cousin复形C的函子Hom（f_*C，M）。

2003-10-07alg-geommath.ACmath.AG

通过Tannaka二元性下降

Descent via Tannaka duality

给定一个模式图，我们可以问是否可以从下降数据（通常是图中各种其他模式上的相同类型的对象，以及兼容性同构）构建其中一个模式上的几何对象。使用模栈的语言，我们可以这样重新表述：说一个给定图的下降问题有本质上唯一的解，相当于说这个图是一个在某个2-范畴栈中的（双范畴）共极限图。在本文中，我们使用广义Tannaka对偶显式计算某些共极限的2范畴的亚当斯堆栈。利用这一点，我们推广最近的结果Bhatt从代数空间到亚当斯栈和结果的Hall-Rydh非诺特环。我们总结了一个全球版本的Beauville-Laszlo定理，它指出，一个大类的计划和堆栈可以建立一个有效的卡地亚因子的无穷小邻域粘合开补。

2015-05-21math.AGmath.CT

Cousin复形在形式概形上的伪函子行为

Pseudofunctorial behavior of Cousin complexes on formal schemes

在一个合适的带有余维函数的形式概形范畴上，我们构造了一个在相应的Cousin复形范畴中取值的规范伪函子（-）^#。在这样一个形式概形X上的Cousin复形通过局部上同调H_x^{codim（x）}（F）（x \in X）以及从x处的上同调到x的每个直接特化处的上同调的“剩余映射”函式地表示导出范畴对象F;当限制为Cohen-Macaulay（CM）的F时，这种表示是忠实的，即，H_x^i（F）=0，除非i=codim（x）。形式概形提供了一个框架，将局部和全局对偶性作为单个理论的各个方面来处理。其中一个动机是为了更好地理解对偶复体（CM）的残差局部性质和全局方差性质之间的密切关系。我们的构造，很大程度上依赖于局部现象，受到经典伪函子（-）^Δ取剩余复形值的启发，但推广并使其更加具体，Hartshorne的“剩余和对偶”中Grothendieck的（整体）对偶定理的证明是基于此。事实上，在Sastry随后的一篇论文中表明，（-）^#是基本对偶伪函子（-）^！的一个很好的具体近似。伪函子（-）^#将剩余复形化为剩余复形，因此包含了（-）^Δ的典型表示;它也推广了20世纪90年代出现的剩余复形的其他几个函子（但不是伪函子）构造。

2004-09-30math.ACmath.AG

表兄弟情结的二元性

Duality for Cousin Complexes

我们把Lipman、Nayak和作者发展的Cousin复形的方差理论与Cousin复形的Grothendieck对偶联系起来。特别是对于（Y，Δ）上的Cousin复形F--其中Δ是形式概形Y（Noether，泛悬链线）上的余维函数--和具有余维函数的这类概型对的伪有限型映射f：（X，X '）-->（Y，Δ），我们证明了存在一个导出范畴映射γ^！_ f（F）：f^#F --> f^！当F在（Y，Δ）上的Cousin复形上变化时，F是函子的，并导出同构f^#F = E（f^#F）--> E（f^#F）。F）。E是余维函数Δ的Cousin函子。此外，我们给出了γ^！_ f是同构。当映射f是伪真映射时，通过将迹定义为局部剩余的和，将Grothendieck关于剩余复形的留数定理推广到Cousin复形.

2004-06-25math.ACmath.AG

整体域上交换仿射代数群齐性空间的Brauer-Manin障碍

Brauer-Manin obstructions for homogeneous spaces of commutative affine algebraic groups over global fields

本文将数域上环面齐性空间的Brauer-Manin障碍相关结论推广到任意特征整体域上有限型交换仿射群概形的一般情形，还研究了其Cartier对偶的第二类Tate-Shafarevich核变体的有限性，依赖正特征领域的最新理论进展。

2025-10-02math.AGmath.NT

交换DG环的对偶与倾斜

Duality and Tilting for Commutative DG Rings

我们考虑交换DG环（更好地称为非正强交换结合单位DG代数）。对于这样的DG环$A$，我们定义了完全模、倾斜模、对偶模、Cohen-Macaulay模和刚性DG $A$ -模的概念.几何完美DG模由$\operatorname{Spec} \bar{A}$上的局部条件定义，其中$\bar{A} := \operatorname{Spec} \, \operatorname{H}^0(A)$ .代数完美DG模是指那些可以从$A$通过多次移位、直接和项和锥得到的DG模。倾斜DG模块是具有逆w.r.t.导出的张量积;它们的同构类形成导出的Picard群$\operatorname{DPic}(A)$。对偶DG模是Grothendieck最初定义的推广（这里$A$必须是上同调的伪诺特模）。Cohen-Macaulay DG模块是一种新的模块。给定的对偶DG模）的有限$\bar{A}$ -模。利用平方运算定义了相对于交换基环$K$的刚性DG $A$ -模，这是Van den Bergh的原始定义的推广.我们使用的技术是导出范畴的标准技术，并做了一些改进。本文介绍了一种研究DG $A$ -模的新方法：DG $A$ -模对应于$\operatorname{Spec} \bar{A}$的开覆盖的Cech分解.以下是本文中获得的一些新结果：... [截断]我们在这里建立的Cohen-Macaulay …

2016-03-22math.ACmath.AGmath.KT