A categorical Künneth formula for constructible Weil sheaves
本文证明了特征 $p>0$ 概型上 lisse 与可构造 Weil 层导出范畴的 Künneth 型等价，涵盖多种系数，并提出了适用于全局函数域上 shtuka 模叠上同调的 ind-可构造层变体。
2023-05-30 math.AG math.NT
Constructible sheaves and functions up to infinity
我们引入了b-解析流形的范畴，它是一个自然的工具，用来定义可构造的层和直到无穷远的函数。我们研究了一些细节，这些对象上的操作，还记得拉东变换的可构造函数。
2023-02-19 math.AG
Unusual functorialities for weakly constructible sheaves
该研究针对层上六个Grothendieck运算相关态射的性质问题，通过分析弱上同调可构造层的特性，证明了这类态射在限制于弱可构造层时为同构，并推导了其在弱$\boldsymbol{\rm R}$-可构造层下的运算相容性，推进了代数几何中层论的相关研究。
2025-01-07 math.AG
Cohomology of line bundles on a toric variety and constructible sheaves on its polytope
本文利用复曲面簇上某些可构造层的上同调，给出了计算复曲面簇上线丛的上同调的一种方法。我们通过一些例子展示了它的有效使用。
2006-11-15 math.AG
Additivity of non-acyclicity classes for constructible étale sheaves
本文利用双变上同调对应为非反圈类建立范畴迹类公式，并以此证明其可加性。
2025-05-30 math.AG math.CT math.NT
The derived category of the abelian category of constructible sheaves
本文证明了代数簇上有界可构造复形三角范畴与可构造层阿贝尔范畴的有界导出范畴等价，并将 Nori 定理推广至正特征。
2020-05-21 math.AG
Monodromy zeta functions at infinity, Newton polyhedra and constructible sheaves
利用可构造层等层理论方法，将Libgober-Sperber关于多项式映射无穷远点单值zeta函数的公式推广到不同的方向.特别地，得到了多项式映射歧点纤维上的整体单值zeta函数的一些公式。
2009-12-28 math.AG
Constructible sheaves on simplicial complexes and Koszul duality
我们得到了有限单纯复形上关于逆三角剖分层的可构造范畴的线性代数数据表示。我们还建立了上述范畴与关于三角剖分可构造的反常层范畴之间的Koszul对偶
1998-02-19 math.AG math.AT
Holonomic étale sheaves are constructible
Institut des Hautes Études Scientifiques（高等科学研究所）；University of Tokyo（东京大学）
基于贝林森工作，引入平展层全纯性概念，在完美基域上建立贝林森结果逆命题，证全纯层可构造，是柏原定理平展类似物。
2026-07-13 math.AG
Vanishing Theorems for constructible Sheaves on Abelian Varieties
我们证明了复阿贝尔簇上的反常层的大多数特征扭曲的超上同调在所有非零次都为零。作为结果，我们得到一个消灭定理的可构造层和一个相对的消灭定理的同态之间的阿贝尔簇。我们的证明依赖于Tannakian描述的卷积产品的反常层，并考虑到未来的应用，我们讨论的基本性质所产生的Tannaka组。
2015-09-29 math.AG
C-Constructible Enhanced Ind-Sheaves
A. D 'Agnolo和M. Kashiwara证明了他们的增强解函子诱导完整D-模的三角范畴完全忠实地嵌入到R-可构造的增强ind-层中。本文定义了C-可构造的增强ind-sheaves，并证明了它们的三角范畴等价于它的本质象。此外，我们还证明了在它上面存在一个t-结构，它的心等价于完整D-模的阿贝尔范畴。
2020-06-14 math.AG
A Microlocal Theory for Zariski-Constructible Sheaves on Rigid Analytic Varieties
本文在 Kashiwara–Schapira 框架下发展刚性解析簇上 Zariski 可构造层的微局部理论，引入单值层、Fourier 变换、特化、微局部化、micro-hom 与奇异支集等工具。
2026-11-03 math.AG
Constructible sheaves on toric varieties
本文针对环面簇上的可构造层范畴给出显式计算，既简化了复数域上Braden与Lunts的相关描述，又首次在正特征下对任意域分裂环面簇的驯分歧可构造平展层完成了平展外定理的显式计算。
2024-10-08 math.AG
Cartier crystals and perverse constructible étale $p$-torsion sheaves
对于在特征$p>0$的理想域$k$上分离的$F$-有限格式$X$，我们建立了$X$上的Cartier晶体的有界导出范畴与在Etale位$X_{\text{ét}}$上的可构造$\mathbb{Z}/p\mathbb{Z}$-层之间的等价性.关键的中间步骤是将Emerton和Kisin提出的光滑格式的局部可嵌入生成的单元$\mathcal{O}_{F,X}$-模范畴推广到可嵌入格式。一方面，这一类别相当于卡地亚水晶。另一方面，利用Emerton-Kisin的Riemann-Hilbert对应，证明了它等价于$D_c^b(X_{\text{ét}},\mathbb{Z}/p\mathbb{Z})$中的Gabber的反常层范畴.此外，我们定义了卡地亚晶体的中间扩展，并表明我们的卡地亚晶体和反常的可构造的层之间的等价性与中间扩展函子。
2018-02-16 math.AC math.AG math.NT
Calcul effectif de la cohomologie des faisceaux constructibles sur le site étale d'une courbe
本文研究了代数闭域上簇的顶点上交换群的可构造层的算法表示及其上同调的显式计算。我们描述了三种表示的曲线上的层在最坏的节点奇点，以及算法执行各种操作（内核和上核的态射，拉回和向前推，内部霍姆和张量积）对这些层。我们提出了一个算法计算上同调复杂的局部常数构造层的光滑或节点曲线，这反过来又使我们能够给出一个明确的描述函子$\mathrm{R}Γ(X,-)\colon \mathrm{D}^b_c(X,\mathbb{Z}/n\mathbb{Z})\to \mathrm{D}^b_c(\mathbb{Z}/n\mathbb{Z})$。这种描述在方案$X$和给定的可构造层复形中是函子的。特别是，如果$X$和层$\mathcal{F}$是从一个子域的基础变化得到的，我们描述的伽罗瓦行动的复杂$\mathrm{R}Γ(X,\mathcal{F})$。我们给精确的界限上的运算次数的算法计算$\mathrm{R}Γ(X,\mathcal{F})$。我们还给出了光滑射影曲线上局部常数可构造层的上同调中的杯积的一个显式描述。最后，我们展示了如何使用这些算法，以计算的常数层上的光滑表面纤维的投影线的上同调群。
2022-11-28 math.AG math.NT
Characteristic cycles of constructible sheaves and microlocalization
研究正特征域上光滑概型可构造层的奇异支撑和特征圈，探讨类似超越情形的微局部化构造在代数情形的可行性，取得部分肯定成果。
2026-10-08 math.AG
A Gauss-Bonnet theorem for constructible sheaves on reductive groups
我们证明了一个类似的高斯-博内公式的可构造层约化群。作为这个公式的一个推论，我们得到：如果一个约化群上的反常层在伴随作用下是等变的，那么它的欧拉示性数是非负的。
2002-05-02 math.AG math.RT
On relative constructible sheaves and integral transforms
本文刻画了射影参数空间上的相对可构造层，研究了相对 Fourier-Mukai 变换诱导的范畴等价，并引入相对 Euler-Poincaré 指标，证明其给出 Grothendieck 群与相对可构函数环的同构。
2025-08-18 math.AG
Vanishing Cycles for Zariski-Constructible Sheaves on Rigid Analytic Varieties
本文在非阿基米德域上建立了Zariski可构造层的近环与消失环理论，证明其保持可构造性、具有Milnor纤维解释、满足Beilinson粘合、perverse t-精确且与Verdier对偶交换。
2025-04-23 math.AG
The convolution algebra of constructible sheaves
研究可构造sheaves的卷积乘法下的可逆对象，证明可逆sheaf的逆为其反向变换的对偶，并探讨支撑凸的紧支撑常sheaf的可逆性条件。
2026-04-28 math.AG
Characteristic cycle of the exterior product of constructible sheaves
证明了可构造复形的外积的特征圈是因子的特征圈的外积。这意味着特征循环与平滑回拉的兼容性，这是证明指数公式的第一步。
2016-07-11 math.AG
Twisted Polytope Sheaves and Coherent-Constructible Correspondence for Toric Varieties
给定复维数为$n$的光滑投射环面簇$X_Σ$，Fang-Liu-Treumann-Zaslow \cite{FLTZ}证明了环面$Sh(T^n, Λ_Σ)$上凝聚层的微分分次（dg）导出范畴$Coh(X_Σ)$在可构造层的dg导出范畴中存在拟嵌入.最近，Kuwagaki \cite{Ku2}证明了拟嵌入是拟等价的，并将结果推广到复曲面叠层。在这里，我们给出了一个不同的证明，在光滑的投射情况下，使用非特征变形的层找到扭曲的多面体层，共同代表的茎函子。
2017-01-03 math.AG math.DG
Cohomological amplitude for constructible sheaves on moduli spaces of curves
给出了复数域上模栈M_{g,n}上可构造层的上同调的界.这使我们能够恢复Harer的界限为相关的映射类群的虚上同调维数以及迪亚兹定理的完全子簇的M_g。我们也得到这样的界限的任何开子集的Deligne-Mumford紧化的M_{g,n}是一个工会的阶层。我们的证明产生了一个模板，获得类似的界限上的拟相干层M_{g,n}的上同调维数。
2013-08-30 math.AG
Weil-étale cohomology and the equivariant Tamagawa number conjecture for constructible sheaves in characteristic $p$
本文针对有限域上簇的可构造 étale 层，利用 Weil-étale 上同调证明了相关非交换 L-函数在负整数处的特殊值公式，从而给出等变玉川数猜想的几何类比并推广了若干已有结果。
2024-11-12 math.AG math.NT
Constructible sheaves are holonomic
我们证明了对于任意特征域上光滑代数簇X上的任何可构造层F，其奇异支撑SS（F）是维数dim X的等维层。这里SS（F）是X的余切丛的最小闭子集，使得X上的每个df（X）与SS（F）不相交的（局部）函数相对于F是局部无圈的。
2017-01-30 math.AG
Intermediate extensions of perverse constructible $\mathbb{F}_p$-sheaves commute with smooth pullbacks
我们证明了反常的可构造$\mathbb{F}_p$ -层的中间扩展与光滑拉回交换的方案，允许一个封闭的嵌入到一个光滑概形在一个领域的特征$p$（嵌入计划的简称）。一路上，我们还证明了类的卡地亚晶体与单位$R[F]$ -模块与$f^!$交换的光滑态射$f: X \to Y$的可嵌入计划的等价性。
2018-10-15 math.AC math.AG
The Gauss map and a noncompact Riemann-Roch formula for constructible sheaves on semiabelian varieties
对于代数群G中的一个不可约子簇Z，我们定义一个非负整数gdeg（Z）作为Z的Gauss映射在一定意义下的次数.它可以看作是Z的余法丛与T^*G的零截面的交指标的替代，即使G可能是非紧的。对于半交换簇G（特别是代数环面（C^*）^n），我们证明了G上可构造层的Riemann-Roch型公式，其中包含了我们对交指标的替换.作为推论，我们得到了这样一个G上的反常层具有非负的欧拉示性数，推广了Loeser-Sabbah的一个定理.
1999-09-15 math.AG
Lagrangian structures on the derived moduli of constructible sheaves
本文研究了紧致定向流形上 $\mathcal{D}(k)$-valued 构造sheaves 和 perverse sheaves 的模形，证明其具有 $(2-n)$-移位的拉格朗日结构，并通过立方体的松散粘合结果实现。
2026-03-05 math.AG math.AT
Characteristic cycles of real and complex constructible sheaves, revisited
Mathematical Institute, Tohoku University（东北大学数学研究所）
本文重新定义了实与复构造sheaf的相对特征环，并推导了实近邻sheaf的特征环公式，统一处理了多种构造sheaf的特征环计算。
2026-10-26 math.AG
A model for the E3 fusion-convolution product of constructible sheaves on the affine Grassmannian
本文将复简约群球面Hecke范畴的卷积乘积提升为∞范畴中的左t正合E₃-幺半结构，利用Beilinson–Drinfeld格拉斯曼流形等工具完成内蕴自守侧的构造。
2025-05-21 math.AG
Constructible tori over Dedekind schemes
本文在戴德金概形上建立可构造环面的正合范畴与阿贝尔范畴，证明其与 $\mathbb{Z}$-可构造层范畴的对偶等价，并利用 Weil-étale 形式体系证明 $L$-函数在 $s=0$ 处的特殊值公式，从而去除驯分歧假设推广已有结果。
2025-05-06 math.AG math.NT
Local Monodromy of Constructible Sheaves
University of Chicago（芝加哥大学）；Purdue University（普渡大学）
研究复代数簇间态射下可构造层的局部单值性，推广了拟幂单层情形下的经典结果，并应用于阿贝尔覆盖和广义Alexander模。
2026-06-26 math.AG
Singular supports, characteristic cycles, and microlocalization of constructible sheaves
本文证明Saito微局部奇异支集包含于Beilinson奇异支集，回答Saito问题，并解决相关支集估计猜想，证明特征类猜想。
2026-10-07 math.AG math.NT
Stratifications of real vector spaces from constructible sheaves with conical microsupport
在次分析可构造层的导出范畴的背景下，解释偏序集上的tame模的合冲定理，证明了Kashiwara和Schapira关于实向量空间的分层的存在性的两个推论，这些分层与在给定锥中具有微支撑的层或等价地与在相应锥拓扑中的层很好地配合。
2023-03-10 math.AC math.AG math.AT
Characteristic varieties and constructible sheaves
我们探讨了正维不可约组件的特征品种的秩一局部系统在光滑表面和相关的（合理或不合理的）铅笔之间的关系。本研究可视为D. Arapura的工作，产生了新的几何洞察到翻译的组件，将它们与相关的铅笔中曲线的多重性联系起来，与A.波维尔新的观点是由局部系统自然产生的可构造层所起的关键作用。
2007-05-18 math.AG math.AT
Cartier crystals and dual-constructible $p$-torsion complexes
School of Mathematics and Natural Sciences, Bergische Universität Wuppertal（数学与自然科学学院，伍珀塔尔大学）
本文证明在Noetherian且$F$-有限概形上，Cartier晶体的不动点函子全忠实嵌入Kato定义的平坦相对完美景的层范畴，其本质像为对偶可构造层。
2026-09-18 math.AG
A complexity theory of constructible functions and sheaves
在本文中，我们介绍的离散复杂性类$\mathbf{VP}$和$\mathbf{VNP}$的功能序列的构造类似物。新定义中的函数是$\mathbb{R}^n$或$\mathbb{C}^n$上的可构造函数。我们定义了一类序列的可构造的功能，发挥类似的作用，$\mathbf{VP}$在更经典的理论。类似于$\mathbf{VNP}$的类是使用欧拉积分定义的。我们讨论了几个例子，发展的理论的完整性，并提出了一个猜想类似于$\mathbf{VP}$与$\mathbf{VNP}$猜想在经典的情况下。在本文的第二部分中，我们将复杂性类的概念推广到$\mathbb{R}^n$（或其一点紧化）上的可构造层序列。我们引入了一类简单的可构造层序列，它可以被看作是Blum-Shub-Smale类$\mathbf{P}_{\mathbb{R}}$的层理论模拟。我们还定义了一个层次的复杂性类层镜像的多项式层次，$\mathbf{PH}_{\mathbb{R}}$，在B-S-S理论。我们证明了一个单指数上界的拓扑复杂性层在这个层次反映了类似的结果在B-S-S设置。作为结果，我们得到一个算法的单指数复杂性的一个层理论的变体的真正的量词消除问题。我们提出了自然层理论的类似物的经典$\mathbf{P}$与$\mathbf{NP}$问题，并讨论了连接户田的离散复杂性理论的上下文中的可构造层。我们还讨论了可能的概括的问…
2017-10-06 cs.CC math.AG math.LO
Graded Hecke algebras and equivariant constructible sheaves on the nilpotent cone
本文证明几何分次 Hecke 代数可实现为幂零锥上等变半单纯层复形的自同态代数，并将相应等变可构造层导出范畴等价描述为分次 Hecke 代数直和上的 DG 模导出范畴，从而给出其范畴化。
2025-01-17 math.AG math.RT
The nonequivariant coherent-constructible correspondence and tilting
凝聚-可构造对应是复曲面簇X上的凝聚层与实环面T上的可构造层之间的关系。这是由Bondal发现的，并由Fang，Liu，Treumann和Zaslow在等变设置中进行了探索。在本文中，我们收集的部分结果对非等变相干可构造对应的证明。此外，我们给出了应用程序的导出范畴的复曲面DM堆栈的倾斜复杂的建设。
2014-03-06 math.AG math.RT
External tensor product of categories of perverse sheaves
在一定的假设条件下，证明了伪流形X和Y上的可构造反常层范畴的Deligne张量积是X \times Y上的可构造反常层范畴. Deligne外张量积函子等同于几何外张量积。
2008-02-15 math.AG math.CT
Morse theory and toric vector bundles
Morelli对复曲面簇X的K-理论的计算将实向量空间上的多面体可构造函数与X上的每个等变向量丛E联系起来。相干-可构造对应将莫雷利的可构造函数提升到可构造层kappa（E）的复形。我们证明了来自莫尔斯理论的kappa（E）的上同调的某些滤子与E的类茎的Klyachko滤子是一致的。我们给出了一个复形的可构造层对应于一个向量丛和一个nef向量丛的Morse理论（即微局部）条件。
2011-04-12 math.AG
On the length of perverse sheaves and D-modules
证明了光滑复代数簇Y上的反常层和代数正则完整D-模的长度函数是绝对Q-可构造函数。一个后果是：对于两个光滑簇X和Y上的可构造复形或反常层之间的“任何”固定自然（导出）函子F，X上的秩一局部系统L的像F（L）具有规定长度的轨迹是定义在Q上的Zerkiki可构造子集，通过取并，交，和补充。
2019-03-13 math.AG math.AT
Legendrian knots and constructible sheaves
本文研究了以勒让德结为结尾的拉格朗日膜的无包裹类。我们的纽结存在于曲面的余切丛中的接触无穷远处，曲面上的可构造层范畴等价于曲面本身上的可构造层范畴。因此，我们的范畴可以被描述为可构造的层，其奇异支撑由纽结的前投影控制。利用Guillermou-Kashiwara-Schapira的一个定理证明了所得范畴在Legendrian同位素下是不变的，并猜想它等价于Chekanov-Eliashberg微分分次代数的表示范畴.我们还发现两个连接拓扑纽结理论。首先，在环上画一个正的辫状闭包，秩为n的对象的模空间映射到圆上的局部系统的空间。与常数层的前推上的权过滤相关联的谱序列的第二页是（n着色的）三阶Khovanov-Rozansky同调。其次，在平面上画一个正的辫子闭包，我们的模空间在q元有限域上的点数恢复了辫子闭包的HOMFLY多项式的最小系数。
2016-10-29 math.AG math.GT math.SG
Wild ramification, the nearby cycle complexes, and the characteristic cycles of $\ell$-adic sheaves
证明了Saito和Yatagawa的一个结果的一个纯局部形式。他们证明了一个可构造的层的特征圈是由层沿紧化边界的野分支决定的。但是他们必须考虑紧化的所有点的分歧。本文给出了一个点态结果，即证明了围绕一点的可构造层的特征圈由该点上的野分歧决定。其关键是证明可构造的层的邻近圈复形的茎在一点上的野分歧是由该点上的野分歧决定的。
2019-11-12 math.AG
A property of the interleaving distance for sheaves
设$X$是一个实解析流形，其距离满足适当的性质，$\mathbf{k}$是一个域.在[PS20]中，作者构造了$X$上的$\mathbf{k}$ -模的层的导出范畴上的伪距离，推广了[KS 18]中的一个构造.在这里，我们证明，如果两个可构造层之间的距离与紧支持（或更一般地说，可构造层到无穷大）的$X$是零，那么这两个层是同构的。这特别回答了[KS 18]的一个问题。
2021-11-01 math.AG math.AT
Irregular perverse sheaves
我们引入了不规则可构造层，它们是$\mathbb{C}$ -可构造的，系数在有限形式的Novikov环$Λ$和特殊的分次中.通过对D 'Agnolo-Kashiwara的非正则Riemann-Hilbert对应的修改，证明了上同调非正则可构复形的有界导出范畴等价于完整$\mathcal{D}$ -模的有界导出范畴.上同调非正则可构复形的有界导出范畴具有非正则反常t-结构，它是一般反常t-结构的直接推广，并且它的中心等价于完整$\mathcal{D}$ -模的阿贝尔范畴.我们还开发了代数版本的理论。进一步，我们利用Riemann-Hilbert对应在某个范畴上的一种拓扑变换，讨论了Novikov环出现的原因.
2019-05-25 math.AG math.CV math.SG
Compatible systems of $\ell$-adic sheaves
我们引入了一个相容性的概念，家庭$(\mathcal{F}_{\ell})_{\ell}$的有界可构造的$\ell$ -进复形的层计划。对于域上的有限型概型，这个概念由通常的六个函子保持。本文证明了族的相容性由邻近圈函子和作者最近引入的线性化$\varepsilon$ -因子保持。我们建立了相容族的特征圈和特征$\varepsilon$ -圈的$\ell$的独立性。
2021-01-04 math.AG math.NT
The six operations for sheaves on Artin stacks II: Adic Coefficients
在本文中，我们继续研究数学中有限系数情形，发展了Artin栈上adic可构造层的Grothendieck六种运算理论。
2006-03-29 math.AG
Constructible sheaf complexes in complex geometry and Applications
我们提出了一个详细的介绍，在复杂的代数和分析设置的可构造层复合体的理论。所有概念都通过许多有趣的例子和相关应用进行了说明，同时给出了一些重要结果并进行了完整的证明。本文的目的是作为一个广泛访问的用户指南，这些主题，为读者提供了一个味道的主题，反映了具体的例子和应用，激发一般理论。讨论了可构造层复形在标准函子作用下的稳定性，并解释了这些函子与反常层和反常$t$ -结构的关系。在可构造层的框架下介绍了分层莫尔斯理论的主要结果，证明了基本的消失性和有限性结果。应用程序给出了各种指标定理，函演算的特征周期的可构造函数，并弱Lefschetz和Artin-Grothendieck型定理。我们回顾了Deligne的邻近圈函子和消失圈函子的构造，证明了它们保持可构造复形，并讨论了它们与反常$t$ -结构的关系。最后，我们描述和应用的Kähler包的交叉上同调的复代数簇，和最近的研究半阿贝尔簇上的反常层。
2021-06-02 math.AG math.AT
The Coherent-Constructible Correspondence for Toric Deligne-Mumford Stacks
我们扩展我们以前的工作arXiv：1007.0053的连贯性，可构建的对应复曲面品种，包括复曲面Deligne-Mumford（DM）堆栈。在Borisov-Chen-Smith之后，复曲面DM堆栈$\cX_\bSi$被描述为“stacky fan”$\bSi=(N,\Si,β)$，其中$N$是一个可替换生成的阿贝尔群，而$\Si$是$N_\bR=N\otimes_{\bZ}\bR$中的单纯fan。从$\bSi$，我们定义了一个圆锥拉格朗日$Λ_\bSi$内的余切$T^*M_\bR$的对偶向量空间$M_\bR$的$N_\bR$，使环面等变，相干层$\cX_\bSi$上等价于构造层$M_\bR$上的奇异支持在$\LbS$。
2010-07-02 math.AG math.CO
Functoriality of toric coherent-constructible correspondence
本文证明了环面簇商栈上的 ind-相干层范畴与实环面覆盖上奇异支撑在 FLTZ 骨架中的层范畴等价，推广了 Kuwagaki 的非等变对应，并研究了环面态射和轨道闭包包含下的函子性。
2025-06-23 math.AG math.SG
Constructibilité et modération uniformes en cohomologie étale
设S是Noether概型，f：X -> S是真态射.通过SGA 4 XIV，对于X上Z/nZ-模的任何可构造层F，由直像（对于标拓扑）得到的Z/nZ-模R^if_*F的层也是可构造的：存在S的一个分层，在该分层上这些层是局部常数可构造的。在N. Katz和G. Laumon或L.在特殊情况下，S是一般的特征零或层F是常数（S上有可逆挠率），这里我们研究层对F的依赖性。我们证明了由O。Gabber在函子R^if_* 下是稳定的。如果f不是适当的，这个结果仍然成立，假设在无穷远处相对于S是驯服的。我们还证明了贝蒂数的一致界的存在性，特别是对于层R^if_*Z/lZ，其中l是S上所有可逆的素数.
2017-03-31 math.AG
The six operations for sheaves on Artin stacks I: Finite Coefficients
本文发展了在维数至多为1的适当正则基上局部有限型的Artin栈上的Lisse-étale可构造层的Grothendieck六种运算的理论。
2006-03-29 math.AG
Contact isotopies in the coherent-constructible correspondence
本文在相干-可构造对应中用接触同位素和邻近循环核几何实现镜像 Picard 群作用，证明其与扭曲多面体层卷积作用一致，从而镜像除子线丛对相干层的作用。
2025-05-08 math.AG math.SG
