Categorical cyclic homology and filtered $\mathcal{D}$-modules on stacks: Koszul duality
本文证明光滑栈上过滤 $\mathcal{D}$-模与其形式环路空间上的 $S^1$-等变 ind-coherent 层之间存在 Koszul 对偶等价,并描述其特殊纤维与一般纤维。
2023-04-20 math.AG math.AT math.RT
Stokes filtered sheaves and differential-difference modules
本文定义 Stokes 滤过拟局部系统,证明其范畴为阿贝尔范畴,并提供几何构造以刻画微分-差分模解的渐近行为。
2021-01-20 math.AG math.CV
Derived categories and birationality
我们讨论的问题,发现条件之间的推导等价的两个光滑的投影品种$X$和$Y$,这意味着$X$和$Y$是双有理的。我们考虑的条件的类型是在精神上寻找经典Torelli定理的范畴类似。我们研究,特别是,一个概念的强过滤导出等价和研究的情况下,强过滤导出等价意味着双理性。我们还考虑了我们的主要问题的一个开放式变体。
2022-09-01 math.AG
Equations differentielles p-adiques et (phi,N)-modules filtres
本文的目的是证明Robba环上的(phi,N,G_K)-模范畴和(phi,Gamma_K)-模范畴是等价的,使得Gamma_K的李代数是局部平凡作用的.进一步证明了在这个等价条件下,容许滤(phi,N,G_K)-模对应于标准(phi,Gamma_K)-模,从而给出了Colmez-Fontaine定理的一个新的证明.
2004-06-29 math.AG math.NT
Equivalence of the Derived Category of a Variety with a Singularity Category
证明了簇的导出范畴与相应的奇异簇的等变/分次奇异范畴之间的等价性。在总干事一级也是如此。
2010-11-05 math.AG
The Derived Category of quasi-coherent sheaves on an Artin stack via model structures
我们定义了某些Artin栈的拟凝聚模的导出范畴为两个Quillen monoidal模型结构在相应的拟凝聚模的无界复形范畴上的同伦范畴。
2013-03-26 math.AG
A stronger derived Torelli theorem for K3 surfaces
在较早的文件的概念,过滤导出等价介绍,它表明,如果两个K3表面承认这样的等价,那么他们是同构的。在本文中,我们研究更精细方面的过滤导出等价有关的行动上的上同调实现的Mukai动机。它表明,如果一个过滤导出的等价K3曲面之间也保持足够的锥,那么可以找到一个同构,诱导相同的映射上同调实现的等价。
2015-12-20 math.AG math.KT
The derived category of the abelian category of constructible sheaves
本文证明了代数簇上有界可构造复形三角范畴与可构造层阿贝尔范畴的有界导出范畴等价,并将 Nori 定理推广至正特征。
2020-05-21 math.AG
A note on the derived category of Enriques surfaces in characteristic 2
我们证明了(扭曲的)导出范畴“识别”特征2中的三种不同类型的Enriques曲面
2016-09-02 math.AG
The Sebastiani-Thom Isomorphism in the Derived Category
我们证明了一个导出范畴版本的Ratiani-Thom定理,它描述了两个不相交变量的函数和的消失圈。
1999-08-19 math.AG
Derived moduli of complexes and derived Grassmannians
在本文的第一部分中,我们构造了一类交换环$R$上模的滤余链复形范畴的模型结构,并解释了经典的Rees构造如何将其与上链复形上的通常投射模型结构联系起来。本文的第二部分致力于研究层的导模:我们给出了一个新的证明,证明了完全复形的导栈在一个适当的概型上的可表示性,然后使用新的过滤复形模型结构来处理过滤导模的模。作为一个应用程序,我们构造派生版本的格拉斯曼和旗品种。
2015-09-15 math.AG math.CT
On the derived category of a weighted projective threefold
利用倾斜丛计算了P(1,1,1,3)上凝聚层的有界导出范畴的半正交分解.
2021-01-08 math.AG
Semi-orthogonal decomposability of the derived category of a curve
我们证明,除射影线外,光滑射影曲线上相干层的有界导出范畴不允许非平凡的半正交分解。
2011-08-08 math.AG
On the derived category of the Hilbert scheme of points on an Enriques surface
我们使用半正交分解构造自等价的希尔伯特计划的点的Enriques表面和Calabi-Yau品种,其中包括他们。在这样做的同时,我们表明,导出范畴的曲面的不规则性和几何亏格消失嵌入到导出范畴的希尔伯特计划的点。
2014-04-08 math.AG
Derived category and Lie algebras
这篇论文已被作者撤回,由于数学的最终版本。QA/0604564
2006-04-27 math.AG
Global dimension of the derived category of an orbifold projective line
本文将三角范畴的整体维数定义为其稳定性条件整体维数的下确界,并研究了orbifold射影线导出范畴的整体维数。
2025-01-31 math.AG
On equivariant derived categories
研究了光滑射影簇的凝聚层的导出范畴上有限群作用的等变范畴。讨论了等变范畴的分解和忠实作用,证明了Serre函子的存在性,给出了等变范畴是Calabi-Yau的判别准则,并描述了自等价群的子群作用的障碍.作为应用,我们证明了椭圆曲线的导出范畴上的任何辛作用的等变范畴等价于椭圆曲线的导出范畴.
2020-11-20 math.AG
The Pure derived category of quasi-coherent sheaves
设X是拟紧拟分离(不一定是半分离)概型. OX-模的所有拟凝聚层的范畴QcoX有几个不同的纯导出范畴。最近,X的范畴纯导出范畴得到了更详细的研究。在这项工作中,我们专注于几何纯度,并找到替代几何纯导出范畴的X。
2019-01-26 math.AG
On the derived category of quasi-coherent sheaves on an Adams geometric stack
令$\mathbf{X}$为Adams几何堆栈。我们证明了$D(A_{qc}(\mathbf{X}))$,它的准凝聚层的导出范畴,满足Hovey,Palmieri和Strickland定义的稳定同伦范畴的公理。此外,我们展示了如何这种结构涉及到的导出范畴的余模的Hopf代数体,确定$\mathbf{X}$。
2017-04-26 math.AG
Derived category of Finite Spaces and Grothendieck Duality
得到了有限戴环空间上模的导出范畴的一些基本结果,如Bokstedt-Neeman定理和Grothendieck对偶。然后,我们看到这些结果是如何以一种简单的方式转移到方案和推广到其他戴环空间。
2019-04-15 math.AG
Semi-orthogonal decomposition of a derived category of a 3-fold with an ordinary double point
我们考虑三维射影簇的导出范畴的半正交分解,当簇有普通的二重点时。
2019-03-03 math.AG
The derived category of a non generic cubic fourfold containing a plane
本文描述了一个Azumaya代数关于包含一个平面的非一般三次四重体的结点六次线所分歧的平面的双覆盖的奇点的奇点的分解。我们证明了这种归结的导出范畴,被Azumaya代数扭曲,等价于三次四重的导出范畴的半正交分解中的Kuznetsov分量.
2017-06-12 math.AG
On the derived category of $\bar{M}_{0,n}$
利用Keel表示和Orlov定理,给出了$n$的模空间的导出范畴-亏格为零的点稳定曲线及其完全例外集的归纳描述,并对$\bar{M}_{0,6}$给出了详细的计算.
2011-12-31 math.AG
On the derived category of $\mathrm{IGr}(3,8)$
在8维辛向量空间中,构造了三维迷向子空间的Grassmannian $\mathrm{IGr}(3,8)$上凝聚层的有界导出范畴中向量丛的完全例外集.
2018-12-10 math.AG
Derived category of coherent sheaves and counting invariants
综述了Donaldson-Thomas理论、Bridgeland稳定性条件和跨壁公式的最新进展。我们强调Bridgeland半稳定对象的计数理论在相干层的导出范畴中的重要性,以发现Donaldson-Thomas不变量的生成序列的隐藏性质。
2014-05-20 math.AG
The Derived Category of the Intersection of Four Quadrics
P^{2n-1}中四个二次曲面的一般完全交的导出范畴有一个半正交分解< O(-2n+9),.,O(-1),O,D >,其中D是某个非代数复3重上的扭层的导出范畴,它来自模问题.特别是,当n=4时,我们得到一个(扭曲)导出等价的卡-丘3倍预测格罗斯。这与Kuznetsov的结果不同,因为我们的构造是几何的,避免了非交换的变种。
2009-11-11 math.AG
Derived category of moduli of parabolic bundles on $\mathbb{P}^1$
该研究针对$\u2119^1$上秩2抛物丛模空间的凝聚层有界导出范畴的结构问题,提出了一项相关猜想,为代数几何领域该方向的研究提供了新的探索方向。
2023-05-29 math.AG
On the derived category of the Cayley plane
我们描述了Cayley平面上的一个极大例外集,即$E_6$的极小齐次射影簇。这个集合由27个不可约齐次丛组成。
2009-07-16 math.AG
On the derived category of a toric stack bundle
本文研究了分裂环带叠片丛上环面等变凝聚层导出范畴的性质,并给出了其半正交分解。
2025-01-11 math.AG
Equivariant derived category of flat families
证明了平坦族上相容有限群作用所产生的整体商栈上倾斜丛的存在性。
2015-11-22 math.AG
A derived category approach to generic vanishing
证明了代数闭域$k$上阿贝尔簇上相干层的通有消灭定理。当$k=\CC$这意味着一个猜想的绿色和拉扎斯菲尔德。
2003-08-20 math.AG
Derived category of V_{12} Fano threefolds
一个V_{12} Fano三重是一个指数为1的光滑Fano三重X,其中Pic X = Z且(-K_X)^3=12。我们表明,有界导出范畴的相干层上的任何V_{12}三重X承认一个半正交分解组成的两个例外丛和导出范畴的曲线亏格7。作为一个应用,我们证明了X的Fano曲面(X上的参数化二次曲线的曲面)与相关亏格7曲线的对称平方正则同构。
2003-10-01 math.AG
Reconstruction of projective curves from the derived category
本文证明了特征为零的代数闭域上具有Cohen-Macaulay奇点的整射影曲线由其完全复形的三角范畴所决定.这部分地将Bondal和Orlov的一个定理推广到了奇异射影簇的情形,特别是证明了所有整复形射影曲线都由其完全复形的三角范畴所决定
2020-02-19 math.AG
Derived Category of Fibrations
设X ->Y是光滑复射影簇的Zapriki局部平凡纤维化,纤维为F.本文给出了X的导出范畴的一个结构定理,只要F和Z都有线丛的强例外集.
2011-02-09 math.AG
Hall algebras in the derived category and higher rank DT invariants
我们注意到,Ben-Bassat-Brav-Bussi-Joyce和Alper-Hall-Rydh的工作的结合意味着在投射Calabi-Yau 3-folds上的相干层的导出范畴中半Schur对象的模栈的严格局部描述.这一结果在作者以前的论文中被假定为在导出范畴中应用DT型不变量的跨壁公式,例如DT/PT对应,合理性等.我们还证明了上述结果被应用于证明DT/PT对应和合理性的高阶版本.
2016-01-28 math.AG
A filtered Hochschild-Kostant-Rosenberg theorem for real Hochschild homology
本文在$ C_2 $-Mackey函子中引入导出对合代数,证明其实Hochschild同调存在滤过且相关分次等同对合de Rham复形,并特化为Raksit的HKR-滤过Hochschild同调。
2025-03-04 math.AG math.AT math.KT
Filtered formal groups, Cartier duality, and derived algebraic geometry
Institute of Advanced Study(高等研究院)
本文在滤过背景下发展形式群的概念,描述其与一类滤过Hopf代数的对偶关系,并研究导出代数几何中法锥形变构造,应用于形式群的单位截面,得到等变退化及其坐标代数的滤过性质,进而恢复滤过圆上的滤过,并探讨形式群Hochschild同调的性质及其在谱代数几何中的提升。
2024-03-02 math.AG math.AT math.KT
Triangulated structures induced by simplicial descent categories
本文研究了单下降范畴(D,s,E)(arXiv:0808.3684v2)的同伦范畴.证明了D模同伦的商范畴上的等价类E有左分式演算。我们研究了由(共)单纯下降结构诱导的纤维/上纤维序列。这样的纤维/cofiber序列的例子推导出(交换)微分分次代数,单纯集或拓扑空间。证明了稳定单纯下降范畴的同伦范畴是三角化的。此外,这些三角化结构还可以推广到D的图范畴的同伦范畴。作为推论,我们得到了以下范畴的三角结构:阿贝尔范畴的(滤)导出范畴,DG-范畴上DG-模的导出范畴,保序谱的稳定导出范畴和混合Hodge复形的定域范畴.
2009-09-02 math.AG math.CT
The formal theory of Tannaka duality
Tannakian范畴是一个阿贝尔张量范畴,它配备了一个纤维函子和额外的结构,这些结构确保它等价于作用在域扩张的谱上的某个仿射广群概型的表示范畴。如果我们研究的是任意的交换环而不是域,则表示范畴不再是阿贝尔的。我们提供了一个充分条件的列表,以确保添加剂张量范畴是等价的仿射广群计划的表示的范畴上的仿射计划,或更一般地说,在一个对称的幺半范畴范畴的Hopf代数体的表示范畴。为了做到这一点,我们开发了一个“Tannaka二元性的形式理论”的启发罗斯街的“单子的形式理论。”“我们将我们的结果应用于某些类别的过滤模块,用于研究p-adic伽罗瓦表示。
2011-12-22 math.AG math.CT
Introduction to the Category of Derived Motivic Spectra
我们形式化的抽象Grothendieck的哲学的动机,并构建一个类别的派生动机谱的Segal类别$\mathbb{R} \underline{\text{Hom}} ((\text{dSt}_k)^{\text{op}}_{/F}, \text{Top})$($\text{dSt}_k$的Segal类别的派生堆栈上的s $k$ -Alg,顶部= $L \text{Set}_Δ$的Segal类别的单纯集),从而提供了一个起点,一个稳定的动机同伦类别的建设在Segal设置。
2023-03-16 math.AG math.CT
The moduli stack and motivic Hall algebra for the bounded derived category
我们给出了任意导出堆栈X上的伪相干性的替代公式。伪凝聚对象的满子范畴形成与X相关联的导出范畴的稳定子无穷范畴。使用相对托尔振幅,我们定义了一个派生的堆栈分类伪相干对象。对于合理的基方案,这是有界导出范畴的分类。当X是基上平坦的投射导格式时,我们证明了它的模是局部几何的,并且是局部几乎有限型的。利用这个结果,我们证明了与X相关联的一个导motivic Hall代数的存在性.
2012-07-05 math.AG math.CT
Uniqueness of dg enhancements for the derived category of a Grothendieck category
证明了Grothendieck阿贝尔范畴的导出范畴具有唯一的dg增强。在一些额外的假设下,我们证明了同样的结果适用于它的紧对象的子范畴。因此,我们推导出代数堆叠上的拟凝聚层的无界导出范畴和具有拟有限仿射对角线和足够多的完美凝聚层的诺特集中代数堆叠上的完美复形范畴具有唯一的dg增强。特别地,具有足够局部自由层的诺特方案上的完全复形范畴具有独特的dg增强。
2018-12-05 math.AG math.CT
Derived category invariants and L-series
我们将有限域上的有限群在投射簇上的驯服作用所关联的导出范畴中的不变量与L-函数的零点联系起来
2013-01-31 math.AG math.NT
Frobenius splitting and Derived category of toric varieties
利用线丛在复曲面簇上的Frobenius直像的分裂,在导出范畴D^b(X)中显式地构造了线丛的正交基,其中X是具有(几乎)最大Picard数的Fano复曲面簇.
2010-06-28 math.AG math.CT
A derived category approach to Kempf's vanishing theorem
给出了一个包含Kempf消灭定理的Andersen-Haboush恒等式的证明。我们的论证是基于$\mathbb Z$上旗簇的相干层的导出范畴的结构。
2017-10-16 math.AG math.RT
Derived category and ACM bundles of moduli space of vector bundles on a curve
证明了曲线的导出范畴嵌入到秩和度互质曲线上的向量丛的模空间的导出范畴中。我们还推广了Narasimhan和Belmans-Mukhopadhyay构造的半正交分解。最后,我们得到了模空间上的一类一维ACM丛。
2023-02-15 math.AG math.CT
Derived Category Automorphisms from Mirror Symmetry
受Kontsevich同调镜像对称猜想的启发,我们构造了光滑Calabi-Yau簇上相干层的有界导出范畴的新的自同构类.
2004-07-06 hep-th math.AG
The dual of Brown representability for some derived categories
考虑具有内射上生成元的完备阿贝尔范畴。如果它的导出范畴是左完备的,我们证明了这个导出范畴的对偶满足Brown可表示性。特别是对于阿贝尔AB $4^*$ - $n$范畴的导出范畴,对于足够好的方案(包括射影空间)上的拟相干层的导出范畴,以及对于由拟相干上同调复体组成的代数栈上的所有层的导出范畴的全子范畴,这是正确的。
2016-06-27 math.AG math.CT
On the existence of a compact generator on the derived category of a noetherian formal scheme
本文证明了对于Noether形式概形X,它的具有拟凝聚扭同调的模层的导出范畴D_qct(X)是由单个紧对象生成的.在附录中我们证明了D_qct(X)中的紧对象范畴是拓扑小的。
2009-05-13 math.AG math.CT
Equivariant derived category of a complete symmetric variety
设G是复代数半单伴随群,X是光滑完全对称G-簇。设L_i是X上的不可约G-等变交上同调复形,L是L_i的直和.设E= Ext(L,L)是L的扩张代数,在X的G-等变导出范畴中计算.设E是微分d=0的dg-代数,E_i = Ext(L,L_i)是E-dg-模.证明了X上C-向量空间层的有界等变导出范畴等价于由E_i生成的E-dg-模的导出范畴的子范畴.
2004-12-21 math.AG math.RT
The derived category of quasi-coherent sheaves and axiomatic stable homotopy
本文证明了对拟紧半分离(不一定是Noether)概型X,X上拟凝聚层的导出范畴D(A_qc(X))是Hovey,Palmieri和Strickland意义下的稳定同伦范畴,回答了Strickland提出的一个问题.此外,我们还证明了它是酉的和代数的。证明了对于Noether半分离形式概形X,其具有拟凝聚扭同调的模层的导出范畴D_qct(X)是稳定同伦范畴.它是代数的,但如果形式概形不是通常的方案,它就不是酉的,因此它的抽象性质与通常方案的导出范畴的抽象性质有本质区别。
2008-04-22 math.AG math.AT
Equivariant derived category of a reductive group as a categorical center
本文证明约化群的伴随等变导出范畴等价于环面等变 Hecke 范畴的 monoidal 中心,并据此重新证明 Drinfeld 中心与幂幺特征层范畴的等价性及强中心层刻画。
2024-06-12 math.AG math.RT
Delta characters and crystalline cohomology of abelian schemes
King's College London(伦敦国王学院)
本文研究了阿贝尔方案上晶体上同调的最小滤子子isocrystal,通过算术喷泉空间和delta特征理论,证明了Borger和Saha构造的delta isocrystal与晶体上同调的最小子isocrystal同构。
2026-05-01 math.AC math.AG math.NT
The stable derived category of a noetherian scheme
对于Noether格式,我们引入了它的无界稳定导出范畴。这导致了一个复元,它反映了从相干层的有界导出范畴到完全复形的子范畴的商模的通路。一些应用包括在内,例如模拟最大的科恩-麦考利近似,泰特上同调的建设,和经典的Grothendieck对偶的延伸。此外,还指出了稳定导出范畴在模表示理论中的相关性。
2004-09-27 math.AG math.RA math.RT