Noncommutative mixed (Artin) motives and their motivic Hopf dg algebras
我们首先发展一个理论的非交换(=NC)混合动机的系数在任何交换环。特别地,我们构造了一个基域k上的NC混合动机的对称monoidal三角范畴和一个NC混合Artin动机的满子范畴。利用霍赫希尔德同调,我们然后应用Ayoub的弱Tannakian形式主义,这些motivic范畴。在NC混合模的情形下,我们得到了一个模的Hopf dg代数,并用霍赫希尔德同调和正合立方复形明确地描述了它.在NC混合Artin动机的情况下,我们计算相关的霍普夫dg代数仅使用混合Artin-泰特动机的经典范畴。最后,我们建立了一个将绝对伽罗瓦群上的连续函数的霍普夫代数与基域k及其代数闭包的动力Hopf dg代数联系起来的短正合序列.一路上,我们描述的行为Ayoub的弱Tannakian形式主义相对于轨道类别和NC混合动机Voevodsky的混合动机的类别。
2014-12-29 math.AG math.AT math.KT
Noncommutative numerical motives, Tannakian structures, and motivic Galois groups
在这篇文章中,我们进一步研究了非交换的数值动机。通过探索系数的变化机制,我们开始改进我们以前的一些主要结果。然后,利用Schur有限性的概念,证明了非对易数值动机范畴NNum(k)_F是(中性)超Tannakian的。在交换世界中,NNum(k)_F不是Tannakian。为了解决这个问题,我们推广周期循环同调到一个定义良好的对称monoidal函子HP上的非交换Chow动机的范畴。这使我们能够引入Grothendieck标准图C和D的正确的非对易类比C_NC和D_NC。在C_NC的假设下,我们证明了Nnum(k)_F可以通过修改它的对称同构约束而成为Tannakian范畴NNum '(k)_F.通过进一步假设D_NC,我们用HP中和了Tannakian范畴NNum '(k)_F。通过(超)Tannakian形式,我们得到了定义良好的非交换motivic(超)伽罗瓦群。最后,利用Deligne-Milne的Tate三元组理论,我们构造了这些新的非交换基元(超)伽罗瓦群与经典基元群之间的显式同态。
2011-10-11 math.AG math.AT math.KT
Mixed Motives and Motivic Birational Covers
我们引入了一个塔的Voevodsky的大(封闭下无限的余积)三角形类的动机的局部化子范畴。我们证明了塔在完满域上的光滑概形的动机上同调群上诱导了一个有趣的有限滤子。在有理系数下,这种有限过滤满足静态Bloch-Beilinson-Murre过滤的几个性质。
2016-10-10 math.AG math.KT
Chow motives versus non-commutative motives
在这篇文章中,我们形式化和提高Kontsevich的美丽的洞察力,周动机可以嵌入到非交换的因式分解后的行动泰特对象。我们说明了这一结果的潜力,通过开发其多方面的应用:(1)舒尔和木村有限性的概念承认一个适当的扩展领域的非交换动机;(2)Gillet-Soule的motivic措施承认一个扩展的Grothendieck环的非交换动机;(3)某些motivic zeta函数承认一个内在的建设范畴内的非交换动机。
2011-03-01 math.AG math.AT math.KT
Framed motives of algebraic varieties (after V. Voevodsky)
利用Voevodsky的框架对应理论,我们引入并研究了代数簇的框架动机。它们是构造任何光滑概形$X\in Sm/k$的悬浮$\mathbb P^1$ -谱的显式准隐式motivic替换的主要计算工具。此外,还证明了每一项都是$X$的一个扭框架动机的双谱$$(M_{fr}(X),M_{fr}(X)(1),M_{fr}(X)(2),\ldots),$$,具有$X$的悬置双谱的动机同伦型.进一步,利用框架对应空间给出了无限$\mathbb P^1$ -loop motivic空间的显式计算.我们还介绍了大框架动机的双谱,并表明他们转换经典的Morel-Voevodsky动机稳定同伦理论到一个等价的局部理论的框架双谱。作为拓扑应用,证明了当基场$k$代数闭于特征零点时,在$pt$上求出的点$pt=Spec(k)$的框架运动$M_{fr}(pt)(pt)$是经典球谱的拟隐式模型.
2018-02-11 math.AG math.AT math.KT
Triangulated categories of motives over fs log schemes
我们引入了日志motivic三角范畴的概念,这是理解FS日志计划的上同调理论的motivic方面的理论框架。然后研究了对数motivic三角范畴的Grothendieck六运算形式。
2017-07-28 math.AG math.KT
A Serre-type spectral sequence for motivic cohomology
本文构造了动机构上同调的Serre型谱序列,并将其应用于射影一般线性群Nisnevich分类空间的动机构上同调计算,从而给出Severi-Brauer簇动机的显式描述。
2024-11-25 math.AG math.AT math.KT
Mixed motivic sheaves (and weights for them) exist if 'ordinary' mixed motives do
本文的目的是证明:如果某些“标准”的代数闭域上的动机命题成立,那么在任何“合理的”$S$上,Voevodsky的$S$ -动机范畴(由Cisinski和Deglise构造)存在一个动机$S$-结构。如果$S$是“非常合理的”(例如,域上的有限型),那么这个$t$ -结构的核心($S$上的混合动机层范畴)被赋予了一个半单因子的权重过滤。我们还证明了一定的“动机分解定理”(假设所提到的结构),并根据剩余域上的动机层刻画了$S$上的半单动机层。我们的主要工具是重量结构理论。实际上,我们证明了混合动机层的权重过滤的存在性:我们证明了动机$t$ -结构横向于$S$ -动机的Chow权重结构(这是由D. Hebert和作者;作者在最近的论文中也定义了重量结构及其与t-结构的横截性)。我们还从这个事实推出混合动机层的几个性质。我们的推理依赖于退化的Chow重量谱序列的“反常的”etale同源性“(我们无条件地证明),这种说法也产生了存在的Chow重量过滤这样的(co)同源性,是严格限制的(”motivic“)态射。
2014-07-25 math.AG math.KT
Framed motives of relative motivic spheres
框架对应$Fr_*(k)$和框架层的范畴是Voevodsky在他未发表的笔记[V2]中发明的。在此理论基础上,框架动机被引入并在[GP 1]中进行了研究。这些是$S^1$ -谱的Nisnivich层,也是[GP 1]的主要计算工具。本文的目的是证明[GP 1]的主要定理所必需的下列结果:给定一个无限理想基场$k$,任意$k$光滑概形$X$和任意$n\geq 1$,单纯点Nisnevich层$(-,\mathbb{A}^1//\mathbb G_m)^{\wedge n}_+\to T^n$的映射诱导出$S^1$谱$$M_{fr}(X\times (\mathbb{A}^1// \mathbb G_m)^{\wedge n})\to M_{fr}(X\times T^n).$$的Nisnevich局部能级弱等价。此外,证明了在Nisnevich拓扑中,$S^1$ -谱$$M_{fr}(X \times T^n \times \mathbb G_m) \to M_{fr}(X \times T^n \times\mathbb A^1) \to M_{fr}(X \times T^{n+1})$$序列是局部同伦上纤维序列.本文的另一个重要结果表明,框架模的同调是按[GP 1]意义下的线性框架模计算的。这种计算对于框架动机的整个机制至关重要[GP 1]。
2021-01-22 math.AG math.AT math.KT
A motivic analogue of the K(1)-local sphere spectrum
该研究在含1/2的基概形上建立了动机KGL/2-局部球面的纤维描述,给出经典K(1)-局部球面分解的动机类似物,并推广至任意动机谱的KGL/2-局部化,证明所用的新颖保守性论证可用于稳定动机同伦论。
2023-11-06 math.AG math.AT math.KT
Split Milnor-Witt Motives and its Applications to Fiber Bundles
研究了$\mathbb{Z}(q)[p]$与$\mathbb{Z}/η(q)[p]$的有限直和的Milnor-Witt动机.我们证明了对于这种类型的MW-动机,我们可以根据动机上同调类和Witt上同调类确定MW-动机上同调类。我们定义了动机Bockstein上同调,并证明了当MW动机分裂时,它对应于Witt上同调的子群。作为应用,我们给出了Grassmannian丛和完备旗丛的Milnor-Witt基模的分裂公式。这特别表明,实完全标志的积分上同调只有2-挠。
2022-09-01 math.AG math.KT
The motivic tt-geometry of real quadrics
University of Nottingham(诺丁汉大学)
研究由实二次曲面生成的Voevodsky动机的张量三角几何,在素数2处确定其Balmer谱,发现其为可数无限、非Noetherian空间,克鲁尔维数为2,并探讨其与实Artin-Tate谱及Vishik的等价点的关系。
2026-03-27 math.AG math.AT math.CT
Zeta functions in triangulated categories
证明了Voevodsky范畴DM中运动zeta函数在特殊三角形中的合理性的3取2性质。作为应用,我们证明了DM中拟射影曲线的基模所生成的厚三角化monoidal子范畴中的所有簇的基模zeta函数的合理性。结合P.O'Sullivan的结果,给出了一类动机非有限维而动机zeta函数有理的簇的例子。
2006-05-02 math.AG math.KT
The triangulated categories of framed bispectra and framed motives
本文提出了一种替代经典Morel-Voevodsky稳定运动同伦理论$SH(k)$的方法。介绍了框架双谱$SH_{nis}^{fr}(k)$的三角化范畴和有效框架双谱$SH_{nis}^{fr,eff}(k)$。这两个三角范畴只使用Nisnevich局部等价,与任何类型的motivic等价无关。结果表明,$SH_{nis}^{fr}(k)$和$SH_{nis}^{fr,eff}(k)$分别恢复了经典的Morel-Voevodsky三角分类的双谱$SH(k)$和有效双谱$SH^{eff}(k)$.我们还将$SH(k)$和$SH^{eff}(k)$分别恢复为本文构造的框架动机谱函子的三角范畴$SH_{S^1}^{fr}[\mathcal Fr_0(k)]$和框架动机的三角范畴$\mathcal {SH}^{fr}(k)$.
2022-10-17 math.AG math.AT math.CT
A Motivic Grothendieck-Teichmüller Group
本文证明了亏格为0的n个标志点曲线的模空间上的模的Beilinson-Soul{é}消失猜想.作为证明的一部分,也证明了这些动机是混杂的泰特。作为一个后果莱文的工作,然后得到定义良好的类别混合泰特动机的模空间的曲线。结果表明,模空间之间的态射遗忘标记点和嵌入作为边界组件诱导函子之间的这些类别和如何切基点适合在这些函子。Tannakian形式主义将群附加到这些范畴和态射上,反映了导致motivic Grothendieck-Teichm{ü}ller群定义的功能性。上述性质的证明依赖于模空间的塔的几何。这使我们能够处理Spec(Z)上动机的一般情况,其中积分系数在Spitzweck的动机类别中起作用。从那里,传递到Q系数,我们处理经典的tannakian形式主义,并解释如何在Spec(Q)上工作允许更具体地描述tannakian群。
2015-02-19 math.AG math.KT
Oriented Cohomology and Motivic Decompositions of Relative Cellular Spaces
对于一个定向上同调理论A和一个相对胞腔空间X,我们将X的A-模分解为底空间的扭曲模的直和。我们还得到了X的A-上同调的相应分解。应用它们,可以计算A(X),其中X是迷向投射齐次簇,A表示代数K理论,动机上同调或代数协边MGL.
2004-09-25 math.AG math.KT
The trivial fiber topology and framed motives over the integers
St. Petersburg State University(圣彼得堡国立大学);Steklov Mathematical Institute of Russian Academy of Sciences(俄罗斯科学院斯特克洛夫数学研究所);Western Norway University of Applied Sciences(西挪威应用科学大学);University of Milan(米兰大学);University of Oslo(奥斯陆大学)
本文引入平凡纤维拓扑,用于描述一维基概形上的稳定动机同伦范畴和动机无穷环路空间,并推广了Garkusha-Panin和Voevodsky的严格A^1-不变性定理。
2026-06-18 math.AG math.KT
Motivic equivalence of affine quadrics
在这篇文章中,我们表明,动机的仿射二次曲面{q = 1}确定各自的二次型。
2018-01-17 math.AG math.KT
Motivic Gauss and Jacobi sums
本文从motives视角研究Gauss和与Jacobi和,通过定义其motivic类似物为代数对应并证明其表示Frobenius自同态,展示了Artin-Schreier曲线与Fermat簇的Chow motives同构,为经典关系提供新证明并推广了Coleman的结果。
2025-03-02 math.AG math.KT math.NT
Constructible 1-motives and exactness
我们证明了任意拉回,以及贝蒂和étale实现函子,是t-精确的可构造motivic的t-结构上的范畴上同调1-动机的基础计划。
2017-12-04 math.AG math.KT
Detecting effectivity of motives, their weights, connectivity, and dimension via Chow-weight (co)homology: a "mixed motivic decomposition of the diagonal"
我们描述了基序$M$是$r$有效的某些标准,即,属于有效Voevodsky动机的$r$第泰特扭曲$Obj DM^{eff}_{gm,R}(r)=Obj DM^{eff}_{gm,R} \otimes L^{\otimes r}$(对于$r\ge 1$ ; $R$是系数环)。特别地,$M$是1-有效的当且仅当复形的项是某些零圈的Chow群是非循环的。该语句的对偶检查有效基元$M$是否属于由维度$\le r$的各种基元生成的$DM^{eff}_{gm,R}$的子范畴。这些标准是根据$M$的Chow-weight(共)同源性制定的。这些(上)同调论在当前的文件中介绍,并有几个(其他)显着的性质:他们产生的“重量”的$M$(在周重量结构的意义上定义的第一作者)和检测的有效性“较低的重量件”的$M$。我们还计算了“连通性”的$M$(在Voevodsky的同伦t-结构的意义上),并证明了指数的较高motivic同源群(的“积分”模体)是有界的,只要这些群体是扭转。$M$的这些基序性质对它的上同调有重要影响。作为推论,我们证明了,如果周组的任意品种$X$消失的尺寸$r-1$,然后最高的Deligne权因子的(奇异或étale)上同调的$X$与紧支持是$r$ -有效的自然定义的意义。我们的结果产生了一个巨大的推广所谓的“分解的对角线”的声明。
2019-10-11 math.AG math.KT
Motivic p-adic tame cohomology
本文构造了正特征域上tame motives与log-étale motives间的比较函子,推广了已有拓扑比较,并构建了表示模$p^m$ tame motivic cohomology的$E_\infty$-环谱,证明了相关猜想。
2025-06-26 math.AG math.KT math.NT
On infinite effectivity of motivic spectra and the vanishing of their motives
本文致力于研究“紧动机化”函子$M_{k}^c:SH^c(k)\to DM^c(k)$的核(即,我们试图描述$SH(k)$的那些紧凑的对象,它们的相关动机消失了。此外,我们还研究了当$M^c_{k}(E)$的$m$ -连通性保证了$E$自身的$m$ -连通性(相对于相应的同伦t-结构)时的问题.我们证明了$M_{k}^c$的核为零,相应的“连通性检测”命题成立当且仅当$k$是不可序域,这是T. Bachmann(他考虑了$k$的$2$ -adic上同调维数是有限的情况)。我们也从M.莱文此外,对于一般的$k$,我们证明了这个核不包含任何$2$ -挠,作者还怀疑它的所有元素都是奇挠.此外,我们证明了问题中的内核正是由“无限有效”(在Voevodsky的切片过滤的意义上)的对象的$SH^c(k)$(假设的指数特性的$k$是倒置的系数环)。这些结果允许(以下另一个想法巴赫曼)结转他的结果张量可逆性的某些动机的仿射二次相应motivic频谱每当$k$是不可订购的。本文还推广了A.阿索克
2019-12-14 math.AG math.KT
Algebraic part of motivic cohomology with compact supports
本文将代数等价关系与正则同态推广至域上Voevodsky motives,证明了特定上同调群存在泛正则同态,恢复Murre定理等经典结论,并涵盖高阶Chow群与Milnor K-群。
2024-04-10 math.AG math.KT
Triangulated categories of relative 1-motives
构造并研究了有限维Noether格式S上有理系数的相对上同调1-模三角化范畴上的标准模t-结构的一个候选。这个t-结构被定义为生成的t-结构,我们证明它是非退化的。我们把它的心MM^1(S)与S上的Deligne 1-motives联系起来;特别地,当S是正则的时,Deligne 1-motives范畴完全忠实地嵌入到MM^1(S)中。我们还研究了DA ^1(S)包含到S上相对上同调基模的大范畴DA^{coh}(S)中,并证明了它的右伴随,基模Picard函子,保持紧对象.
2019-02-13 math.AG math.KT
Integration of Voevodsky motives
在本文中,我们构建了四个不同的理论整合,两个是Voevodsky动机,一个是混合$\ell$ -进层,第四个理论整合的合理混合霍奇结构。然后,我们表明,他们规避了一些复杂的经典motivic整合,导致新的算术和几何结果K-等价$k$品种。例如,除了恢复已知的结果,K-等价光滑射影复品种,我们表明,K-等价光滑射影$\mathbb{F}_q$ -品种有同构的合理$\ell$ -进伽罗瓦表示(半简化),所以也是相同的zeta函数(平等的zeta函数是真实的,即使没有投影)。这是经典动机积分无法得到的算术结果。本文还进一步证明了王金龙的一个猜想,即K-等价光滑射影簇的积分动机是等价的。此外,我们将我们的理论整合的合理Voevodsky动机的存在动机$t$ -结构的几何Voevodsky动机,我们表明,动机的T-结构的存在意味着K-等价光滑的投影品种有等价的合理(周)动机。我们还连接到一个猜想奥尔洛夫有关有界导出范畴的连贯层。这使得进展表明,所有的上同调理论应该同意K-等价光滑射影品种(至少合理地和适当的基域)。
2019-07-29 math.AG math.KT math.NT
Tate motives and the fundamental group
设k是数域,S是P ^1的k-有理点的有限集。本文将X:= P ^1_k-S的基序基本群的Deligne-Goncharov收缩与X上的混合Tate基序范畴的Tannaka群概型联系起来。
2007-08-29 math.AG math.KT
Artin-Tate motivic sheaves with finite coefficients over an algebraic variety
利用代数簇X上Z/m-模的标准层,构造了代数簇X上有限系数Z/m的Artin-Tate运动层的张量正合范畴F_X^m.在F_X^m的对象中,除了Tate基模Z/m(j)外,还存在X上拟有限簇Y的具有紧支集M_cc^m(Y/X)的上同调相对基模。代数簇态射的逆像和簇Y \to X的拟有限态射的紧支集的正合函子作用在正合范畴F_X^m上.假设存在K上代数变元X上的运动层DM(X,Z/m)的三角范畴,以及这些范畴中的“六个运算”的弱形式,我们将F_X^m与DM(X,Z/m)中由运动层M_cc ^m(Y/X)(j)的Tate扭M_cc ^m(Y/X)(j)的所有迭代扩张组成的正合子范畴相一致.研究了正合范畴F_X^m中Tate模Z/m(j)与Beilinson-Lichtenbaum etale下降猜想(最近被Voevodsky,Rost等人证明)所预言的模的上同调模之间的Z/m-模Ext的同构.对K上的光滑簇X成立当且仅当类似同构对包含K的域上的Artin-Tate动机成立。当K包含一个本原m-单位根时,后一个条件等价于某个Koszulity假设,正如我们在之前的论文arXiv:1006.4343中所示的那样
2015-12-29 math.AG math.KT
Equivariant noncommutative motives
给定一个有限群G,我们发展了一个G-等变非交换基模理论。这一理论提供了一个很好的适应框架的研究G-计划,皮卡德集团的计划,G-代数,2-上循环,等变代数K理论,orbifold上同调理论等,在其他结果中,我们将我们的理论与它的交换对应以及与Panin的动机理论。作为第一个应用程序,我们扩展Panin的计算,关于扭曲的投射齐次品种,一大类的不变量。作为第二个应用,我们证明了:当G-概型X的完全复形范畴包含G-不变(不同于G-等变)对象的完全例外集时,X的G-等变Chow动机是Lefschetz型的.最后,我们构造了一个G-等变非交换Chow动机的Grothendieck群中的G-等变动机测度。
2016-08-23 math.AG math.AT math.KT
Projective Bundle Theorem in MW-Motivic Cohomology
本文给出了MW-模中的投射丛定理的一个版本(分别是. Chow-Witt环),它说对于光滑的拟射影概形$X$和具有$e(E^{\vee})=0\in H^n(X,W(det(E)))$的$X$上的向量丛$E$,$\widetilde{CH}^*(\mathbb{P}(E))$由$\widetilde{CH}^*(X)$,$\widetilde{CH}^*(X,det(E)^{\vee})$,$CH^*(X)$和$Sq^2$确定,条件是$_2CH^*(X)=0$ .作为应用,我们计算了具有光滑中心的爆破的MW-动机。此外,我们还讨论了投射丛的Chow-Witt圈在向量丛的自同构下的不变性。
2021-08-12 math.AG math.KT
Differential graded motives: weight complex, weight filtrations and spectral sequences for realizations; Voevodsky vs. Hanamura
我们描述了Voevodsky的类别$DM^{eff}_{gm}$的动机的Suslin复杂的光滑的投射品种。这表明Voeoblsky的$DM_{gm}$与Hanamura的$DM_{gm}$是反等价的。我们给出了$DM^{eff}_{gm}$的任意三角化子范畴(包括有效混合Tate动机范畴)的刻划.我们为$N>0$描述了“截断”函子$t_N$。$t=t_0$概括了Soule和Gillet的权重复合体;它的目标是$K^b(Chow_{eff})$ ;它计算$K_0(DM^{eff}_{gm})$,并检查动机是否是混合Tate动机。$t_N$给出了一个权重过滤和一个“动机下降谱序列”的一大类实现,包括“标准”的和动机上同调。这为模体的模体上同调提供了一种新的过滤方法。对于$l,s\ge 0$的“标准实现”,我们用$t_s(X)$很好地描述了$W_{l+s}H^i/W_{l-1}H^i(X)$。我们定义的“长度的一个主题”,(模标准结构)与“总”长度的权重过滤奇异上同调。有限域上的$t_0Q$是(模Beilinson-Parshin猜想)等价的。
2014-09-25 math.AG math.KT
Equivariant localizing motives and multiplicative norms on algebraic K-theory
Mathematik Zentrum der Universität Bonn(波恩大学数学中心);FB Mathematik und Informatik, Universität Münster(明斯特大学数学与计算机科学系)
本文构建了有限群G的等变非连通代数K-理论的乘法规范,并构造了带有Dennis追踪映射的等变THH,证明规范保持等变动机等价。
2026-10-19 math.AT math.KT
Cancellation theorem for motivic spaces with finite flat transfers
我们证明了在完满域上沿着有限平坦态射转移的动机空间范畴满足我们所期望的好的动机范畴的所有性质。特别地,我们建立了Voevodsky的取消定理的模拟。
2022-01-11 math.AG math.KT
Mixed Tate motives over number fields
University of Toronto Scarborough(多伦多大学士嘉堡分校);University of Chicago(芝加哥大学);University of Toronto(多伦多大学)
本文将域的代数K-理论与多重对数关联,对数域证明Goncharov李余代数到motivic李余代数的实现映射为同构,由此得到相关猜想与ζ函数结果,还构造了Borel类非零倍的多重对数上同调类。
2026-08-28 math.AT math.KT math.NT
Extensions of Motives and the Fundamental Group
本文构造了点代数曲线的基本群上的混合Hodge结构的扩张。这些扩展对应于某些明确motivic上同调循环的自我产品的曲线,首先由布洛赫和贝林森构建的调节器。这导致了一个新的迭代整式的调节器。我们的结果是一个推广的结果Colombo的,她在那里构造的扩展对应于一个motivic循环类的雅可比矩阵的超椭圆曲线构造Collino。这将出现在印度科学院的数学学报上。
2017-07-31 math.AG math.KT math.NT
On the relation between Nori Motives and Kontsevich Periods
证明了在有理数上混合动机的形式周期Kontsevich代数的谱在动机伽罗瓦群下是一个torsor。这一说法是由Kontsevich在没有证据的情况下提出的,最初是由于Nori。在一系列附录中,我们还提供了有关诺里动机类别的必要细节。
2014-05-21 math.AG math.KT math.NT
K-Motives and Koszul Duality
受Beilinson在$K$ -理论中构造有理动机上同调的启发,我们构造了Langlands对偶旗簇的Beilinson-Ginzburg-Soergel的Koszul对偶的一个未分次版本.为此,我们引入并研究了具有仿射分层$\mathcal{S}$的$X$簇上的$\mathcal{S}$ -可构造$K$ -motivic层的范畴$\operatorname{DK}_{\mathcal{S}}(X)$.我们发现,有一个自然的和几何的函子,称为贝林森实现,从$\mathcal{S}$ -可构造的混合层$\operatorname{D}^{mix}_{\mathcal{S}}(X)$到$\operatorname{DK}_{\mathcal{S}}(X)$。然后,我们表明,Koszul对偶交织的贝蒂实现和贝林森实现函子和下降到一个等价的构造层和构造$K$ motivic层的朗兰兹双旗品种。
2022-05-31 math.KT math.RT