×

稳定的反射滑轮和定位。 (英语) Zbl 1491.14020号

本文研究了(mathbb{P}^3)上秩2稳定自反带的模空间(mathcal{N}(2,c1,c2,c3))。环面在(mathbb{P}^3)上的作用提升到(mathcal{N}(2,c1,c2,c3))。在固定第一和第二个Chern类的情况下,作者计算生成函数\(Z_{c_1,c_2}^{ref}(q):=\sum_{c3}e(mathcal{N}(2,c1,c2,c3))q^{c3}),通过计算(mathcal{N}-(2,c,c 1,c 2,c 3)中的(T)-不动点。
(mathbb{P}^3)上的每个(T)-等变秩2自反层可以用它的复曲面数据\[(mathbf{u},mathbf}v},mathbf{P}):=\{(u_i,v_i,P_i)\}_{i=1,2,3,4},\]其中\(u_i\in\mathbb}Z},v_i\in \mathbb{Z}(Z)_{\geq0}\)和(p_i\在Gr(1,2)\cong\mathbb{p}^2\)中。
每个(T)-固定层在环面数据中具有唯一的(T)–等变结构,其中(u_1=u_2=u_3=0)。因此,通过对具有额外条件(u_1=u_2=u_3=0)的复曲面数据进行计数,可以得到(mathcal{N}(2,c_1,c_2,c_3)中的(T)-不动点的个数,这是一个组合问题。
作者根据双曲面数据将(T)-等变秩2自反带轮分为三类。通过计算每种类型的滑轮数并将数字相加,给出了(Z_{c1,c2}^{ref}(q))的最终公式。
本文的另一个结果是,任何秩2自反层的第三Chern类(c_3)必须是非负的,并且必须有由(c_1)和(c_2)给出的上界。此外,作者对(T)-等变情形重新证明了Hartshorne不等式,给出了(c_3)的显式上界。这些结果表明,(Z_{c1,c2}^{ref}(q))是多项式。
设(mathcal{M}(2,c1,c2,c3)为秩2(mu)稳定带轮的模空间。如果要推导生成函数\(Z_{c_1}(p,q):=\sum_{c2,c3}e(\mathcal{M}(2,c1,c2,c3))p^{c2}q^{c3}\)来自\(Z_{c1}^{ref}(p,q):=\sum_{c_2}Z_{c1,c2}^{ref}(q)p^{c2}\),需要研究一些Quot-schemes的Euler数。本文讨论了(c1=-1,c2=1)的情况,并给出了一个封闭公式。对于一般情况,这可能非常复杂。
最后,作者简要讨论了本文方法对任意光滑投影复曲面三次折叠的推广。此外,他们还研究了跨墙现象。但这是一个简短的章节,没有提供具体的结果。
审核人:姚源(北京)

MSC公司:

14D20日 代数模问题,向量丛的模
14层06 代数几何中的滑轮
14米25 双曲面、牛顿多面体、Okounkov体
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 富尔顿,W.,《保守主义变体导论》(1993),普林斯顿大学出版社·Zbl 0813.14039号
[2] Gholampour,A。;姜瑜。;Kool,M.,加权投影平面和模形式上的滑轮·Zbl 1439.14046号
[3] Gholampour,A。;科尔,M。;Young,B.,双曲面上的2级滑轮:经典和虚拟计数·Zbl 1439.14125号
[4] Göttsche,L.,光滑投影曲面上Hilbert点方案的Betti数,数学。年鉴,286193-207(1990)·Zbl 0679.14007号
[5] Göttsche,L.,有理曲面上带轮模空间的Theta函数和Hodge数,Commun。数学。物理。,206, 105-136 (1999) ·Zbl 0961.14022号
[6] Hartshorne,R.,《稳定自反滑轮》,数学。《年鉴》,254121-176(1980)·Zbl 0431.14004号
[7] Huybrechts,D。;Lehn,M.,滑轮模数空间的几何(1997),Vieweg·Zbl 0872.14002号
[8] Kaneyama,T.,关于几乎同质变种上的等变向量丛,名古屋数学。J.,57,65-86(1975)·Zbl 0283.14008号
[9] Klyachko,A.A.,toral变种上的等变束,数学。苏联,伊兹瓦。,35, 337-375 (1990) ·Zbl 0706.14010号
[10] A.A.Klyachko,射影平面上的向量束和无扭带轮,预印本Max Planck Institute für Mathematik,1991。;A.A.Klyachko,射影平面上的向量束和无扭带轮,印前马克斯·普朗克研究所,1991年。
[11] Kollár,J.,《船体和外壳》·Zbl 1246.14006号
[12] Kool,M.,复曲面变型上带轮模空间的不动点轨迹,高等数学。,2271700-1755(2011年)·Zbl 1227.14018号
[13] Manschot,J.,第3级稳定滑轮的模量空间的Betti数,关于\(P^2 \),Lett。数学。物理。,98, 65-78 (2011) ·Zbl 1262.14052号
[14] Manschot,J.,曲面上\(N=4\)规范理论的BPS不变量,Commun。数论物理学。,6, 497-516 (2012) ·Zbl 1270.81138号
[15] Manschot,J.,有理曲面上半稳定带轮的BPS不变量,Lett。数学。物理。,103, 895-918 (2013) ·Zbl 1272.14035号
[16] Okonek,C。;施耐德,M。;Spindler,H.,复射影空间上的向量丛(1980),Birkhäuser·Zbl 0438.32016号
[17] Pandharipande,R。;Thomas,R.P.,通过稳定对的三重顶点,Geom。白杨。,13, 1835-1876 (2009) ·Zbl 1195.14073号
[18] Perling,M.,《复曲面品种上的分级环和等变带轮》,数学。纳克里斯。,263-264, 181-197 (2004) ·Zbl 1043.14013号
[19] Thomas,R.P.,Calabi-Yau 3折叠的全纯卡森不变量,以及K3纤维上的束,J.Differ。地理。,54, 367-438 (2000) ·Zbl 1034.14015号
[20] Vermeire,P.,平滑投影3倍上的稳定反射滑轮,Pac。数学杂志。,219, 391-398 (2005) ·Zbl 1107.14032号
[21] Vermeire,P.,正则平凡3倍上自反带轮的有效界,J.Pure Appl。代数,219170-174(2015)·Zbl 1472.14045号
[22] 瓦法,C。;Witten,E.,S-对偶性的强耦合检验,Nucl。物理学。B、 431,3(1994)·Zbl 0964.81522号
[23] Yoshioka,K.,(P^2)上秩为2的稳定带轮模空间的Betti数,J.Reine Angew。数学。,453, 193-220 (1994) ·Zbl 0806.14017号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。