Arithmetic Torelli maps for cubic surfaces and threefolds
人们早就知道,对于一个复杂的三次曲面或三次曲面,人们可以正则地把一个主要极化的阿贝尔簇联系起来。我们给出了一个适用于算术基上的三次函数的构造。这回答了,远离素数2,德利涅的一个老问题和库德拉和拉波波特最近的一个问题。我们进一步分类的Mumford-Tate群的阿贝尔簇出现,并给出额外的算术应用。
2012-10-03 math.AG
Flops, flips and perverse point sheaves on threefold stacks
我们考虑两种情况下的双有理变换的Q-Gorenstein三倍:终端触发器的情况下,一个弗朗西亚翻转。在第一种情况下,我们表明,如果一个取代的三重由他们的规范覆盖堆栈,触发器符合模堆栈的反常点层。这增加了Kawamata的一个结果,显示了导出的等价性。我们的构造有一个缺点,即模空间是使用堆栈的表示来定义的。在第二种情况下,我们表明,如果采取一个Francia翻转$X \to Y$,并取代$X$由其规范覆盖堆栈,那么翻转符合一个版本的Bridgelan的模空间的pwrverse点层涉及一个新的反常。这是Kawamata的另一个结果。同样有一个缺点--结果的证明依赖于翻转的存在,这与布里奇兰和陈的结果形成鲜明对比,其中相关的翻转出现为构造的结果。
2003-04-23 math.AG
Discreteness of minimal models of Kodaira dimension zero and subvarieties of moduli stacks
我们扩展的一些结果的子品种的模堆叠的正则极化流形在“基地空间的非isotrivial家庭的光滑极小模型“(数学AG/0103122)的Kodaira零维极化极小模型的模。为了这个目的,我们首先表明,对于这些流形有没有非isotrivial家庭的极小模型,这是双有理isotrivial。在最后一章中,我们讨论了正则极化流形和Kodaira维数为零的极化极小模型的模叠加中曲线的刚性。
2003-03-08 math.AG
Vertical sheaves and Fourier-Mukai transform on elliptic Calabi-Yau threefolds
本文研究了Fourier-Mukai变换在Weierstrass形式的椭圆型Calabi-Yau三重上垂直扭层的模空间上的作用。在这种三重上的半稳定一维层的模栈与垂直半稳定二维层的模栈的开子栈和闭子栈在它们的Fourier-Mukai图上是一致的。特别是,这产生明确的Donaldson-Thomas不变量的垂直二维层上K3-纤维椭圆卡-丘三重。
2015-09-25 hep-th math.AG
Cubics, Integrable Systems, and Calabi-Yau Threefolds
在这项工作中,我们构造了一个分析完全可积的哈密顿系统,它是正则相关的任何家庭的Calabi-Yau三倍。该系统的基是族中规范Calabi-Yaus的模空间,纤维是三重Deligne上同调群(或中间Jacobian).这个系统有几个有趣的性质:作为一族曲线的泛簇上的Abel-Jacobi象或"正规函数“得到的多值截面总是拉格朗日的;基底上的自然仿射坐标,用于镜像对应,作为可积系统的作用变量出现;表示族中Hodge结构的无穷小变分的Yukawa三次空间与全空间上的辛结构本质等价。
1994-08-09 alg-geom math.AG
Explicit biregular/birational geometry of affine threefolds: completions of A^3 into del Pezzo fibrations and Mori conic bundles
研究了由次数小于或等于3的光滑del Pezzo曲面S反正则嵌入到加权射影空间P和超平面H的适当倍数中生成的某些del Pezzo曲面束。我们的主要观察是,每个相对于态射的极小模型程序在其不确定性的适当分辨率上提升这样的束保持开子集PH − A。作为一个应用,我们得到了A^3到P^1上的del Pezzo纤维化的投影完备化,其次数小于或等于4。我们还得到了A^3到Mori锥丛的完备化,Mori锥丛对A^3的限制是A^2上的扭曲C*-纤维化。
2015-08-07 math.AG
The moduli stack of stable relative ideal sheaves
本文给出了稳定相对理想层的模栈的定义,并证明了它是一个分离的真Deligne-Mumford栈。这是射影三重层上理想层的相对Donaldson-Thomas理论的第一部分,最后给出了三重层上Donaldson-Thomas不变量的退化公式。
2011-10-04 math.AG
Vector fields and moduli of canonically polarized surfaces in positive characteristic
本文研究了定义在具有非平凡整体向量场的正特征域上的光滑正则极化曲面的几何性质,以及这种曲面的存在性对正则极化曲面的模问题的影响。特别地,得到了一个显式实值函数f(x),使得如果$X$是定义在特征p>0的代数闭域上的光滑正则极化曲面,使得$K_X^2 <f(p)$,则$X$是单有理的,其代数基本群的阶至多为2.作为这个结果的结果,大类的正则极化表面被确定其模量堆栈是德利涅-芒福德,一个属性,不持有一般的积极特征。
2017-10-17 math.AG
Chern-Simons functions on toric Calabi-Yau threefolds and Donaldson-Thomas theory
本文利用强例外集构造了三维复曲面Calabi-Yau栈的全局Chern-Simons函数。层的模空间可以用这些函数的临界轨迹来确定。我们给出了这些函数的两个应用。首先证明了Joyce关于局部曲面上广义DT不变量的可积性猜想。其次,我们证明了一个虚拟动机的降维公式,这导致了两个递推公式的动机Donaldson-Thomas不变量。
2012-05-08 hep-th math.AG
The Brauer groups of moduli of genus three curves, abelian threefolds and plane curves
本文通过计算低阶上同调不变量,确定了特征不为2的域上亏格3曲线模栈、特定条件下平面曲线模栈及3维主极化阿贝尔簇模栈的Brauer群的$\ell$-准原挠。
2024-12-19 math.AG
Families of Log Canonically Polarized Varieties
确定曲线上簇族中奇异纤维的数量是Shafarevich猜想的推广,并且对可以出现在相应模栈中的子簇的类型有影响。我们考虑$¶^1$上对数正则极化簇的族,即族$g:(Y,D)\to ¶^1$,其中$D$是有效的snc因子,层$ω_{Y/¶^1}(D)$是$g$ -样本。首先定义了什么是这样一个家庭的纤维是奇异的,我们表明,与某些温和的假设(纤维有有限的自同构群,$\sO_Y(D)$是半样本,和组件的$D$必须避免奇异的纤维轨迹和交叉的纤维横向),这样一个家庭必须是isovarious或包含至少3个奇异纤维。
2011-05-16 math.AG
Automorphisms of smooth canonically polarized surfaces in characteristic 2
本文研究了定义在特征为2的代数闭域上的光滑正则极化曲面$X$的自同构格式的结构。特别地,当Aut(X)不光滑时,它被研究。这是一种只在正特性中出现的情况,并且它与正则极化表面的模量堆叠的结构密切相关。为了使Aut(X)光滑或不光滑,对X的某些数值不变量进行了限制,并给出了Aut(X)中包含恒等式的分量的结构信息.特别地,本文证明了:如果X是光滑正则极化曲面,且具有1 \leq K_X^2 \leq 2的非光滑自同构方案,则X是非圆化的.此外,若K_X^2=1,则X是单连通的,单有理的,且p_g(X)\leq 1.此外,X是有理曲面与有理向量场的完全不可分的商。
2014-08-14 math.AG
Automorphisms of smooth canonically polarized surfaces in positive characteristic
本文研究了定义在特征$p>0$的代数闭域上的光滑正则极化表面$X$在$X$的自同构格式不光滑的情况下的几何性质.这是一种只在正特性中出现的情况,并且它与正则极化表面的模量堆叠的结构密切相关。对$X$的某些数值不变量进行了限制,以使Aut(X)光滑或不光滑,并提供了Aut(X)中包含恒等式的分量的结构信息.特别地,证明了0< K_X^2 < 3且非光滑自同构方案的光滑正则极化曲面X是单连通的.此外,X是直纹曲面或有理曲面与有理向量场的完全不可分的商。
2015-06-29 math.AG
Cone Theorem via Deligne-Mumford stacks
利用Deligne-Mumford栈中稳定映射的变形理论证明了具有LCIQ奇点的簇的锥定理。对于射影$\QQ$ -阶乘对数终端三重对$(X,D)$,我们还得到了$(K_X+D)$ -负极值射线的$-(K_X+D)$ -度的一个更清晰的界.
2005-05-03 math.AG
Vector fields on canonically polarized surfaces
本文研究了定义在具有非平凡整体向量场的正特征域上的正则极化曲面的几何性质,以及这类曲面的存在性对正则极化曲面的模问题的影响。特别地,获得具有以下性质的显式整数值函数f(x)。若X是正则极化曲面,其正则奇点定义在特征p>0的代数闭域上,使得p>f(K_X^2),且X有非平凡整体向量场,则X是单有理的,代数基本群是平凡的。作为这个结果的结果,大类的正则极化表面被确定其模量堆栈是德利涅-芒福德,一个属性,不持有一般的积极特征。本文在数学上与前一版本相同。该文件被替换的原因是为了指出,本文是一个推广的情况下,奇异表面与规范奇异性的文件“向量场和模量的规范极化表面的积极特征”与参考arXiv:1710.03076只处理的情况下,光滑的表面。本文的结果取代了上述论文的结果,使其过时。
2020-05-10 math.AG
Families over special base manifolds and a conjecture of Campana
考虑光滑、拟投射基流形Y上的光滑、投射正则极化簇族,所有簇都定义在复数上。已经证明,如果Y在Campana意义上是特殊的,则族必然是等平凡的。当Y是曲面或三重曲面时,我们证明了这个猜想.证明使用层的对称微分相关联的分数边界因子的日志规范空间,介绍了坎帕纳在他的理论Orbifoldes几何。我们讨论了Harder-Narasimhan滤过的一个弱变体,并证明了Bogomolov-Sommese消灭定理的一个版本,该定理考虑了沿边界的额外分数正性。一个简短的,但自成一体的介绍坎帕纳的理论是为了读者的方便。
2010-07-14 math.AG math.CV math.DG
Rationality of Mukai varieties over non-closed fields
我们讨论了Mukai簇的双有理性质,即,在零特征的任意域$\mathsf{k}$上的属$g \in \{7,8,9,10\}$的素数Fano三重的高维类似物。在维数$n \ge 4$的情况下,我们证明了这些簇是$\mathsf{k}$ -有理的当且仅当它们有一个$\mathsf{k}$ -点,除了在亏格$9$的情况下,我们假设$n \ge 5$ .进一步证明了亏格为$g \in \{7,8,9,10\}$且维数为$n \ge 5$的Mukai簇若有$\mathsf{k}$ -点则包含柱面.最后,证明了亏格$12$的素Fano三重的嵌入$X \hookrightarrow \mathrm{Gr}(3,7)$在任意域上都是正则定义的,并利用这一点给出了合理性判据的一个新的证明.
2020-03-24 math.AG
Note on the motivic DT/PT correspondence and the motivic Flop formula
证明了\cite{PT}中DT/PT-对应的动机形式和光滑Calabi-Yau三重DM栈的导出范畴中曲线计数不变量的动机翻转公式。我们使用的主要方法是Bridgeland的Hall代数恒等式和Bridgeland和Joyce的motivic积分映射,从Calabi-Yau三重DM栈$Y$上的相干层的阿贝尔范畴的motivic Hall代数到motivic量子环面,这是一个Poisson代数同态。
2019-01-04 math.AG
Good reduction of Fano threefolds and sextic surfaces
我们调查版本的Shafarevich猜想,证明曲线和阿贝尔簇的法尔亭,其他类别的品种。我们首先获得类似物的某些法诺三倍。我们使用这些结果来证明光滑六次曲面的Shafarevich猜想,这似乎是第一个非平凡的结果,在文献中的算术等表面。此外,我们表现出一定的模栈的法诺品种是不是双曲,这使我们能够表明,模拟的Shafarevich猜想并不总是持有法诺品种。我们的研究结果也提供了新的例子,其中Campana和Lang-Vojta的结构举行。
2017-05-09 math.AG math.NT
The boundary of K-moduli of prime Fano threefolds of genus twelve
Brunel University of London(布鲁内尔伦敦大学);Northwestern University(西北大学);Università di Bologna(博洛尼亚大学);University of Maryland(马里兰大学)
本文研究了素数Fano三维流形 genus 十二的K-模空间,证明其边界由四个不可约分量组成,揭示了K-模空间与抗canonical K3表面的关系,为Mukai哲学提供了模表示。
2026-04-10 math.AG math.DG
Moduli of sheaves on ribbons
本文研究了带状结构上无挠层模栈的几何性质,通过完全类型引入分层并分析其性质与闭包关系,揭示了Fano、Calabi-Yau和典范极化情形间的分叉以描述不可约分支,并计算了模栈在给定层处的切空间。
2025-03-04 math.AG
Resolution of $1$-foliations singularities on surfaces and threefolds
本文研究了正特征中维数至多为3的簇上$1$-叶状结构奇点的解消问题,证明在允许使用温顺的正则Deligne--Mumford栈作为底层空间时可完全解消奇点,若限定底层簇则可将其简化为乘法奇点。
2025-08-09 math.AG
Global critical chart for local Calabi-Yau threefolds
本文用Keller变形Calabi-Yau完备化描述ω_Y-挠子全空间的导出范畴,并证明局部曲线Calabi-Yau三维流形上紧支撑凝聚层的导出模叠等价于光滑模空间上函数的导出临界轨迹。
2022-01-05 math.AG math.CT math.RT
Smooth hypersurfaces in abelian varieties over arithmetic rings
设$A$是特征为零的$\mathbb{Z}$ -正则生成整环$R$上的一个至少四维的阿贝尔格式,$L$是$A$上的一个样本线丛.证明了在$A$中表示$L$的光滑超曲面$D$的集合是有限的,并证明了这种超曲面的模栈只有1000个$R$ -点.我们通过使用水平结构来实现这一点,插值有限的结果之间的模量堆叠和堆叠的正则极化品种。
2022-10-03 math.AG math.NT
K-Moduli of Fano Threefolds of Family 3.3
本文显式刻画了Fano三维簇族3.3的K-模空间,通过降低体积界限并利用格极化K3曲面方法,将其等同于GIT商的Kirwan爆破。
2025-10-15 math.AG
On Shifted Contact Derived Artin Stacks
该研究作为导出接触几何研究的续作,将k<0时k-平移接触导出概形的相关结果推广至导出Artin叠,证明了其接触达布阿特拉斯的存在性,给出了辛化的典范描述,并利用余切叠与平移预量子化结构构造了若干接触导出叠。
2025-03-20 math.AG
Examples of descendent generating series for Pandharipande--Thomas stable pairs on smooth projective Fano threefolds via one-dimensional wall-crossing
研究光滑射影法诺三维流形上潘德哈里潘德 - 托马斯稳定对的后代生成级数,利用壁穿越设置,通过在特定李代数及多项式实现中计算,得出法诺三维流形上一维唐纳森 - 托马斯不变量等。
2026-09-14 math.AG
Semi-Perfect Obstruction theory and DT Invariants of Derived Objects
我们介绍了Deligne-Mumford栈的半完全阻塞理论$X$,它由局部完全阻塞理论和弱重叠比较组成。我们证明了半完全阻塞理论与完全阻塞理论具有相似的性质。我们利用半完全阻塞理论在卡-丘三重上构造了导对象模的虚圈。在修正中,我们假设障碍层的存在性,并把内禀法锥(的粗模)的障碍层内。这避免了局部阻塞复合体的束堆叠下降的问题。
2011-06-18 math.AG
Beyond twisted arcs: a McKay correspondence for reductive groups
University of Waterloo(滑铁卢大学);Florida State University(佛罗里达州立大学)
本文提出扭曲映射的概念,用于研究Artin堆栈,并通过动机变量替换公式建立线性可约群的McKay对应关系。
2026-02-24 math.AG
Degenerations of shifted symplectic moduli stacks of sheaves
本文通过推广 Brav--Dyckerhoff 的构造,证明了 Calabi--Yau 族上凝聚层的导出模叠具有相对平移辛结构,并识别其为伪完美对象模的子叠,为枚举几何提供了潜在应用。
2026-09-30 math.AG
Localizing Virtual Structure Sheaves for Almost Perfect Obstruction Theories
几乎完美的障碍理论介绍了在早期的论文中,作者作为适当的概念,以定义虚拟结构层和$K$理论不变量的许多模堆叠的利益,包括$K$理论唐纳森-托马斯不变量的层和复合物的卡-丘三倍。虚结构层的构造是基于$K$ -理论和层栈的Gysin映射。本文将虚环面局部化和余割局部化公式及其组合推广到几乎完全阻塞理论的情形。为此,我们进一步研究了层栈的$K$ -理论及其泛函性质。作为局部化公式的应用,我们建立了简单$\mathbb{C}^\ast$ -壁面穿越的$K$ -理论壁面穿越公式,并定义了细化Jiang-Thomas虚符号欧拉示性数的$K$ -理论不变量。
2020-07-14 math.AG
$χ$-Independence for BPS Invariants of Warped Local Curves
本文针对一类称为扭曲局部曲线的特定局部曲面,证明了Toda关于Calabi-Yau三维流形的BPS不变量独立于所选欧拉示性数的猜想成立,同时得出两类模栈可表示为函数的全局临界轨迹的结论。
2026-10-14 math.AG
Semistable refined Vafa-Witten invariants
本文通过扩展Joyce的墙穿越形式化到等变K理论和模堆,构造了半稳定精细化Vafa-Witten不变量并证明了主要猜想。
2025-12-29 math.AG
The unbearable projectivity of being a good moduli space of Gorenstein curves of genus one with non-colliding markings
Università di Bologna(博洛尼亚大学);Università di Pisa(比萨大学);University of Washington(华盛顿大学)
本文分类了亏格一且标记不碰撞的Gorenstein曲线栈中的开放子栈,证明其好模空间恰为Bozlee--Kuo--Neff定义的栈,并给出射影性数值判据,发现当标记数趋于无穷时几乎从不射影。
2026-10-07 math.AG
On products of K-moduli spaces
该研究探讨Fano簇乘积的K-模空间与其分量K-模空间乘积的关系,证明对应态射的同构或torsor性质,并借此给出高Picard秩Fano三维簇及对数Fano对的K-模的相关描述。
2024-05-14 math.AG
Gromov--Witten Invariants of Non-Convex Complete Intersections in Weighted Projective Stacks
本文利用 quasimap wall-crossing 与可逆镜像映射,突破凸性限制,计算加权射影叠中 Calabi–Yau 三重完全交的亏格 0 orbifold Gromov–Witten 不变量。
2024-09-10 math.AG
Projectivity of Moduli Spaces in the Higher-Rank DT/PT Correspondence
Simion Stoilow Institute of Mathematics of the Romanian Academy(罗马尼亚科学院西蒙·斯托伊洛数学研究所)
研究光滑射影三维流形上DT/PT墙交叉处模空间的射影性,通过构造全局生成的线丛并分析其分离点的能力,建立高秩PT稳定对象的模空间的射影性。
2026-04-02 math.AG
Cohomology of symmetric stacks
本文在存在好模空间和逐点正交切空间的条件下,构造了光滑栈、$0$-移位辛栈和$(-1)$-移位辛栈的上同调分解,定义了BPS上同调,并推广了PBW型定理与拓扑镜像对称及Langlands对偶猜想。
2025-05-31 math.AG math.GT math.RT
Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes
我们展示了如何一个准光滑的Deligne-Mumford堆栈X的增强自然赋予X的函子完美的障碍理论的意义上的Bewend-Fantechi。然后将该结果应用于光滑复射影簇上的映射和完全复形的模。对于映射的模,我们认为X=S是一个代数K ~ 3-曲面,$g\geq 0$,和$β$是一个曲线类,并且我们构造了一个导出的堆栈,其截断是从亏格g到S的曲线的点稳定映射的通常堆栈,这些曲线击中类$β$,并且使得截断的包含导致完全阻塞理论,其切线和阻塞空间与对应的约化空间一致,奥库科夫-莫里克-潘达里潘德-托马斯。我们给出复体模的两个进一步的应用。对于K3-曲面S,我们证明了S上的简单完全复形的堆叠是光滑的。Inaba对相应的粗模空间用不同的方法证明了这一结果。最后,我们构建了一个映射,从导出堆栈的稳定嵌入的曲线(到一个光滑的复杂的射影品种X)的导出堆栈的简单完美的复杂的X与消失的负Ext的,并显示这个映射如何诱导相应的障碍理论的态射时,X是一个Calabi-Yau三倍。我们的建设的一个重要组成部分是一个完美的行列式映射从派生堆栈的完美复形派生堆栈的线丛的切线态射是,逐点,Illusie的完美复形的跟踪地图。我们希望这个决定性映射在其他情况下也是有用的。
2011-11-04 math.AG math.KT
Perverse coherent extensions on Calabi-Yau threefolds and representations of cohomological Hall algebras
本文在环面 Calabi–Yau 三维流形上定义并研究带标架的反常凝聚扩张栈,将其与带势箭图、上同调 Hall 代数、DT/PT 理论及 AGT 相关表示联系起来。
2023-09-28 hep-th math-ph math.AG
Cohomological invariants of $\mathscr{M}_{3,n}$ via level structures
本文证明亏格三尖点曲线模叠的模2上同调不变量包含由辛群不变量生成的自由模,并通过完全二级结构的versal性实现,结果也适用于主极化阿贝尔三维簇叠。
2025-09-11 math.AG
The moduli of smooth hypersurfaces with level structure
构造了$\mathbb{Z}[1/N]$上具有水平$N$结构的光滑超曲面的模空间.作为一个应用程序,我们表明,$N$足够大,光滑超曲面的堆栈在$\mathbb{Z}[1/N]$是一致的光滑仿射计划。为了证明我们的结果,我们使用Lefschetz迹公式来证明光滑超曲面的自同构忠实地作用于它们的上同调。我们还证明了奇特征域上光滑三次三重曲面的整体Torelli定理。
2016-12-14 math.AG math.NT
Compactifications of smooth families and of moduli spaces of polarized manifolds
设M是具有Hilbert多项式h的正则极化流形的模概型。对于给定的自然数m>1且h(m)>0的有限集I,我们构造了M下的约化概形的一个射影紧化M',使得对应于模栈上相对对偶层的m次幂的直像的行列式的丰富可逆层L,具有到M'的自然扩张L'.一个类似的结果示出的偏振极小模型的Kodaira尺寸为零的模量。在这两种情况下,“自然”意味着由族f:X --> C诱导的L'到曲线C --> M'的拉回同构于相对对偶层的m次幂的直接像的行列式,只要f是半稳定族的双有理。除了弱半稳定约化的Abramovich-Karu和扩展定理的Gabber有新的工具,希望感兴趣的本身。特别是我们需要一个定理的平坦化的乘子层在家庭中,他们的兼容性与拉回和基地的变化,其直接图像,扭曲了某些半样本层。根据一位裁判的建议,我们重新组织了这篇文章,我们添加了一些注释来解释证明的主线,并且我们稍微改变了一些符号。
2008-05-07 math.AG math.CV
Moduli of Persson surfaces: The compactification via KSBA stable pairs and a generic global Torelli type theorem
本文研究了由Persson引入的一类canonical polarized表面,这些表面作为Galois覆盖P²的八条一般线的分支。通过构造紧化的模空间,并利用KSBA稳定对描述稳定退化,证明了紧化的模堆光滑。此外,建立了通用的全球Torelli型结果:通过反不变部分的第二上同调群的Hodge结构和相关的G作用,可以恢复大部分Persson表面。
2026-05-17 math.AG
Quasi-BPS categories for Higgs bundles
本文为扭曲 Higgs 丛引入拟 BPS 范畴,提出交换 Euler 示性数与权的对称猜想,并在秩二亏格零情形及高亏格稳定模空间导出等价中取得证明。
2024-08-04 hep-th math.AG math.RT
Towards Logarithmic GLSM: The r-spin case
本文利用稳定对数映射为规范线性 sigma 模型建立对数紧化基础,通过 Witten 的 r-spin 类构造正常模空间并恢复其虚拟圈,为应用 Gromov-Witten 理论工具铺路。
2023-06-26 math.AG
Topological K-theory of quasi-BPS categories for Higgs bundles
该研究验证了希格斯丛BPS范畴间的猜想等价关系在拓扑K-理论层面成立,同时证明BPS范畴的拓扑K-理论同构于半稳定希格斯丛模空间的BPS上同调,为相关几何朗兰兹与镜像对称研究提供了拓扑K-理论层面的支撑。
2024-09-17 hep-th math.AG math.RT
On the Goppa morphism
Universidad de León(莱昂大学)
本文研究了从代数曲线到线性码的Goppa构造作为模栈的映射,证明了Goppa映射的浸没性和普遍单射性,并探讨了零特征情况下模栈的结构。
2026-09-18 cs.IT math.AG math.IT