Freeness versus maximal degree of the singular subscheme for surfaces in $P^3$
我们表明,在$P^3$的自由曲面的特点是其奇异子计划的程度的最大性,在存在一个额外的驯服条件。这类似于由A给出的自由平面曲线的整体Tjurina数的最大性的特征。A. du Plessis和C.T.C.墙还给出了近自由Tame曲面的简单刻画。
2015-09-11 math.AG
An algorithm to obtain linear determinantal representations of smooth plane cubics over finite fields
本文简要地报告了我们对有限域上光滑平面三次函数的线性行列式表示的计算。在回顾了线性行列式表示作为雅可比簇的仿射部分上的有理点的经典解释之后,我们给出了一个算法来获得所有的线性行列式表示直到等价。我们还报告了我们最近的研究计算的线性行列式表示的扭曲费马三次定义在有理数的领域。本文是作者在2016年3月JSIAM JANT算法数论研讨会上的发言总结。细节将出现在其他地方。
2016-05-21 math.AG math.NT
Determinantal representations of invariant hyperbolic plane curves
研究了具有良好对称性的双曲多项式,并将其表示为具有特殊结构的埃尔米特矩阵的行列式。本文的目的是回答Chien和Nakazato在2015年提出的一个问题。通过适当地修改Dixon(1902)的行列式表示构造,我们证明了对于任何在n阶循环群下不变的n次双曲多项式,都存在一个通过循环加权移位矩阵而允许的行列式表示.此外,如果多项式在n阶二面体群的作用下是不变的,则相应的循环加权移位矩阵酉等价于实元素的循环加权移位矩阵。
2017-07-24 math.AG
A positive proportion of cubic curves over Q admit linear determinantal representations
一个光滑的平面三次体能否由三元线性型元素的方阵的行列式定义?如果可以,我们说它容许线性行列式表示。本文研究了各种域上光滑平面三次函数的线性行列式表示,证明了大域(或充域)上的光滑平面三次函数都有线性行列式表示.由于局部域很大,任何局部域上的光滑平面三次函数都有线性行列式表示。作为应用,我们证明了Q上按高度排序的正比例光滑平面三次函数允许线性行列式表示。我们还证明了,如果Bhargava-Kane-Lenstra-Poonen-Rains关于Selmer群分布的猜想成立,Q上光滑平面三次函数的正比例不符合线性行列式表示存在的局部-全局原理。
2017-02-26 math.AG math.NT
On algorithms to obtain linear determinantal representations of smooth plane curves of higher degree
给出了计算域上任意次数光滑平面曲线的线性行列式表示的两个算法。作为特殊的例子,我们明确地给出了所有等价类的线性行列式表示的两个特殊的四次在域$\mathbb{Q}$的有理数,克莱因四次和费马四次。本文是第三作者在2018年3月JSIAM JANT算法数论研讨会上的演讲总结。细节将出现在其他地方。
2018-12-27 math.AG math.NT
The local-global principle for symmetric determinantal representations of smooth plane curves
一条光滑的平面曲线被称为允许一个对称行列式表示,如果它可以由一个元素为三元线性型的对称矩阵的行列式来定义。本文研究了特征不等于二的整体域上光滑平面曲线的对称行列式表示存在的局部-整体原理。当平面曲线的次数小于或等于3时,我们将对称行列式表示问题与Severi-Brauer簇和模2伽罗瓦表示上的丢番图问题联系起来,并证明了局部-整体原理对二次曲线和三次曲线成立.我们还构造反例的本地全球的原则,四次使用的结果芒福德,哈里斯,和盐田的θ特性。
2016-01-31 math.AG math.NT
Combinatorial duality of Hilbert schemes of points in the affine plane
仿射平面中$n$点的Hilbert格式包含了参数化仿射平面中$n$不同点的开子格式和参数化支持在仿射平面原点处的余维$n$理想的闭子概形。这两个计划承认Biaenynicki-Birula分解到模空间的理想与规定的词典Gröbner变形。我们表明,这两个分解分层的意义上说,每个阶层的封闭是一个工会的某些其他阶层。我们证明了单项式理想集上相应的两个偏序是对偶的。
2014-07-02 math.AG
Determinantal representations of hyperbolic plane curves: An elementary approach
如果实线性型的对称矩阵在某点正定,则它的行列式是双曲超曲面。2007年,Helton和Vinnikov证明了一个关于三个变量的逆命题,即每一条双曲平面曲线都有一个确定的实对称行列式表示。本文的目的是给一个稍微弱一点的陈述一个更具体的证明。本文证明了每一条双曲平面曲线都有一个确定的行列式表示,它具有埃尔米特矩阵。我们这样做是通过有关的明确性矩阵的真正的拓扑结构,其未成年人和延长建设狄克逊从1902年。像Helton和Vinnikov定理一样,这意味着平面上的每个双曲区域都由线性矩阵不等式定义。
2012-08-26 math.AG math.OC
Non-Abelian Brill-Noether theory and Fano 3-folds
Brill-Noether轨迹是曲线C上的丛E的模的子概型,其定义是要求E具有给定数目的截面,或来自另一丛的同态。有许多不同的类型,可以用行列式的方法来处理,对称或斜对称产生于塞尔对偶。它们对曲线、K3曲面和Fano 3-folds有许多漂亮的应用。
1997-04-15 alg-geom math.AG
The local-global principle for symmetric determinantal representations of smooth plane curves in characteristic two
我们给出了应用芒福德理论的典型θ特征丢番图问题的特征二。证明了特征为2的整体域上的光滑平面曲线由三元线性型元素的对称矩阵的行列式定义当且仅当这种对称行列式表示局部处处存在.它是特征二的一个特殊特征,因为类似的结果在其他特征中不成立。
2016-09-29 math.AG math.NT
Computing symmetric determinantal representations
我们介绍Macaulay 2的DeterminantalRepresentations包,它计算实多项式的确定对称行列式表示。我们专注于二次曲线和低次平面曲线(即三次曲线和四次曲线)。我们的算法是面向速度和鲁棒性,采用线性代数和数值代数几何,没有一般性假设的多项式。
2019-05-16 cs.SC math.AG
Invariant hyperbolic curves: determinantal representations and applications to the numerical range
在这里,我们研究空间的真正的双曲平面曲线是不变的循环和二面体群的作用下,并证明他们有行列式表示,证明这种不变性。我们针对给定次数的不变双曲多项式集给出了努伊定理的类似物。其主要定理是:每个不变的双曲平面曲线都有一个用块循环加权移位矩阵表示的行列式。这概括了Lentzos和第一作者以及Chien和Nakazato以前的工作。一个推论是,如果矩阵的数值域在旋转下不变,则它是块循环加权移位矩阵的数值域。
2021-04-21 math.AG math.FA math.OC
Determinantal representations of hyperbolic curves via polynomial homotopy continuation
实射影平面上的平滑曲线是双曲的,如果它的椭圆是最大嵌套的。根据Helton-Vinnikov定理,任何这样的曲线都有确定的对称行列式表示。我们使用多项式同伦连续计算这样的表示数值。我们的方法的工作原理是提升路径从双曲多项式空间的分支覆盖的对称矩阵对的空间。
2016-07-04 math.AG math.OC
Remarks on double points of plane curves
研究了平面曲线的二重点的类型与曲线在该点处的0维曲线子格式之间的关系。描述并证明了一个与研究密切曲线二重点的经典过程有关的算法。最后,我们寻找一种方法来创建具有给定奇点$A_s$的有理平面曲线的例子。
2022-01-16 math.AG
Irreducible components of the equivariant punctual Hilbert schemes
设H_{ab}是在一维环面T_{ab}:={(t^{-b},t^a),t \in k^*}的自然作用下参数化仿射平面不变量的0维子格式的等变希尔伯特格式。我们计算H_{ab}的不可约分量:它们与一组Hilbert函数一一对应。作为证明的副产品,我们给出了Ellingsrud和Stromme的结果的新证明,即计算Hilbert方案H^l的贝蒂数的主要引理,该方案参数化长度为l的仿射平面的0维子方案,以及通过显式平坦族描述H^l上的Bialynicki-Birula胞。特别是,我们精确的条件下的应用程序的这最后的描述。
2001-06-26 math.AG
Indecomposable Matrices Defining Plane Cubics
在这篇文章中,我们发现所有(可分解和不可分解)$6\times 6$线性行列式表示的光滑Weierstrass三次。作为推论,我们证明了关于$M_6$的Kippenhahn猜想.
2015-10-01 math.AG
Parametrizations of Ideals in K[x,y] and K[x,y,z]
我们对K[x,y]的Artin仿射理想的仿射空间进行了参数化,这些仿射理想具有关于度逆字典序的初始理想.事实上,该术语的顺序是度相容的允许我们扩展的参数化的情况下,即零维子计划的射影平面,与一些额外的假设,并确定这些Groebner细胞的贝蒂层。这使我们能够证明一个公式由于A。Iarrobino关于余维Betti层的余维两点概型在射影平面上的推广.
2012-01-13 math.AC math.AG
Arithmetically Cohen-Macaulay space curves reloaded
刻画了平面上零维非连通子格式的最小自由分解。然后用它来稍微推广Sauer关于a.C.M.的可光滑性的一个结果。空间曲线并给出了一些补充。
2011-11-24 math.AG
Bipolynomial Hilbert functions
设X是一个闭子概形,HF(X,-)和hp(X,-)分别表示X的Hilbert函数和Hilbert多项式.我们说X有双多项式Hilbert函数,如果对每个非负整数d,HF(X,d)=min{hp(P^n,d),hp(X,d)}.证明了如果X由平面和一般直线组成,则X有双多项式Hilbert函数。我们还猜想不相交线性空间的一般构形具有双多项式Hilbert函数。
2009-10-19 math.AC math.AG
On the symmetric determinantal representations of the Fermat curves of prime degree
证明了素次Fermat曲线的定义方程不能写成三元有理系数线性型元素的对称矩阵的行列式.在证明中,我们使用了元素为线性型的对称矩阵与光滑平面曲线上的非有效theta特征之间的关系。我们还利用Gross-Rohrlich关于素次Fermat曲线的雅可比簇上的有理挠点的一些结果。
2015-07-08 math.AG math.NT
Discriminants of cubic curves and determinantal representations
光滑平面三次曲线在复数上的判别式可以写成θ函数的乘积。这提供了代数和分析对象之间的重要联系。在本文中,我们执行一个新的方法来获得这个经典的结果,通过使用行列式表示。更准确地说,可以将非奇异三次型表示为元素为线性型的矩阵的行列式。θ函数自然地出现在这种表示中,从而出现在三次函数的判别式中。
2022-05-02 math.AG math.CV math.NT
Quasi complete intersections and global Tjurina number of plane curves
余维2的闭子概形$T \subset P^2$是拟完全交(q.c.i.)如果存在满射态射$\mathcal{O} (-a) \oplus \mathcal{O} (-b) \oplus \mathcal{O} (-c) \to \mathcal{I} _T$,则为$(a,b,c)$类型。我们给出了度$(T)$在$a,b,c$和$r$的函数中的界,定义q.c. i的三个多项式之间的合点的最小次数。作为副产品,我们恢复了duPlessis-Wall关于平面曲线的整体Tjurina数的一个定理以及其他一些相关结果。
2019-01-03 math.AG
Determinantal Kernel Schemes of Matrix Nets and Applications to Positive Maps
Troy University(特洛伊大学);Institute of Mathematics, Vietnam Academy of Science and Technology (VAST)(越南科学技术院数学研究所);Quy Nhon University(归仁大学);High School for the Gifted, VNUHCM(越南国立大学胡志明市附属天赋高中);Vietnam National University Ho Chi Minh City(越南国立大学胡志明市)
本文分类矩阵网与秩一Segre簇的交集概型,给出正映射应用,确定四参数族的正性与可分解性精确判据。
2026-09-10 math.AG
Fano schemes of determinants and permanents
令$D_{m,n}^r$和$P_{m,n}^r$表示由$m\times n$不定式矩阵的$r\times r$行列式(分别为$r\times r$持久式)给出的$\mathbb{P}^{mn-1}$的子概型.本文研究了Fano格式$\mathbf{F}_k(D_{m,n}^r)$和$\mathbf{F}_k(P_{m,n}^r)$的几何性质,它们分别表示了位于$D_{m,n}^r$和$P_{m,n}^r$上的$\mathbb{P}^{mn-1}$中的$k$维平面的参数化.我们证明这些法诺计划是光滑的,不可约的,和连接的特点的结果,我们给出的例子表明,他们不需要减少。我们表明,$\mathbf{F}_1(D_{n,n}^n)$总是有预期的尺寸,我们准确地描述其组件。最后,我们详细研究了$3\times 3$行列式和永久超曲面上$k$ -平面的Fano格式。
2015-02-23 math.AG
Tacnodes and cusps
设Z是由r>5个二重点并构成的射影平面的零维子概型,I是它的定义理想层。已知当点不同且处于一般位置时,I具有期望的上同调(Hirschowitz '85)。我们通过允许无穷近点来扩展这个结果,其中一个点具有更大的多重性。作为应用,给出了具有三角结点和高阶尖点的平面曲线存在性的新的界。
1999-05-01 math.AG
Limits of PGL(3)-translates of plane curves, II
每个复平面曲线C确定3 × 3矩阵的$P^8$的一个子模式S,其射影法锥(PNC)捕获C的微妙不变量。在“PGL(3)-translates of平面曲线,I的极限”中,我们得到了PNC的集合论描述,从而确定了一般元素同构于C的平面曲线族的所有可能极限。本文的主要结果是确定PNC作为一个周期,这是一个重要的组成部分,在我们的计算“线性轨道的任意平面曲线“的程度的PGL(3)-轨道封闭的任意平面曲线,不变量的自然枚举意义。
2009-06-06 math.AG
The Hilbert scheme of a pair of linear spaces
令$\mathcal{H}_{a,b}^n$表示希尔伯特格式的分量,其一般点参数化$a$ -平面并,$b$ -平面在$\mathbf{P}^n$中横向相交.我们发现,$\mathcal{H}_{a,b}^n$是光滑的,同构连续爆破的$\mathbf{Gr}(a,n) \times \mathbf{Gr}(b,n)$或$\text{Sym}^2 \mathbf{Gr}(a,n)$沿一定的发病率对应。我们分类的子方案参数化的$\mathcal{H}_{a,b}^n$,并表明,这个组件有一个唯一的Borel不动点。我们还研究了这一分支的双有理几何。特别是,我们描述的有效和nef锥的$\mathcal{H}_{a,b}^n$,并确定当组件是法诺。此外,我们表明,$\mathcal{H}_{a,b}^n$是一个森梦想空间的所有值的$a,b,n$。
2021-06-02 math.AC math.AG
Geometry of some determinantal arrangements
University of the National Education Commission(国家教育委员会大学)
该论文研究行列式构形$D_{m,n}$的几何,证明其补集$U_{m,n}$的同构结构,得出$D_{3,5}$非自由除子的结论,支持其仅在$m\leq2$或$n=m+1$时为自由除子的猜想。
2026-10-12 math.AC math.AG
On the position of nodes of plane curves
给定次数$d$的平面曲线的Severi簇$V_{d,n}$和精确的$n$节点允许到次数为$n$的$\mathbb{P}^2$的零维子方案的Hilbert方案$\mathbb{P}^{2[n]}$的映射。该贴图为每条曲线$C\in V_{d,n}$指定其节点。对于某些$n$,我们考虑了许多已知的Severi簇的因子在这个映射下的象及其部分紧化。我们在Pic $(\mathbb{P}^{2[n]})$中计算这些图像的除数类,并提供节点曲线的枚举数。我们还直接回答了迪亚兹-哈里斯的一个问题,关于是否规范类的塞维品种是有效的。
2020-02-19 math.AG
Restrictions of Steiner bundles and divisors on the Hilbert scheme of points in the plane
射影平面中n个点的Hilbert方案参数化了射影平面的n次零维子方案。我们研究了Hilbert格式上有效因子和移动曲线的对偶锥。通过研究插值,限制,和稳定性的某些向量丛在平面上,我们完全确定这些锥刚刚超过四分之三的所有值的n。P^N上的一般Steiner丛是允许特定形式的线性分解的向量丛。证明了P^N上的半稳定Steiner丛的每一个容许斜率都是由一个约束于有理曲线上的半稳定丛的丛实现的,从而完成了P^N上半稳定Steiner丛的斜率的分类.这个证明涉及到一个关于P^1上多项式乘法的基本问题,这个问题本身就很有趣。
2012-03-01 math.AG
Global properties of families of plane curves
我们描述退化的射影平面曲线的曲线包含一个固定的线$l$作为一个组件,并显示$H^1({\overline V}_{n,d,m}, {\Cal O} (r))=0, r \in{\Bbb Z}$,其中$V_{n,d,m}\subset {\Bbb P}^N (N = n(n+3)/2)$是由不可约的平面曲线具有光滑接触的顺序至少m与$l$在一个固定点p的$l$和d节点,没有其他的奇异性。注意事项:为了证明消失定理而引入的平面曲线的容许概型的概念,使我们能够给出计算${\overline V}_{n,d}$的希尔伯特多项式的方法(见第4节),特别是计算平面的量子上同调。
1996-01-16 alg-geom math.AG
Spectrahedral representations of plane hyperbolic curves
本文提出了一种在实射影平面上构造双曲曲线双曲性区域的谱面体表示的新方法。因此,我们表明,如果曲线是光滑的,并定义在有理数,然后有一个谱面体表示与有理矩阵。这推广了一个经典的构造行列式表示的平面曲线由于狄克逊和依赖于特殊性质的实双曲曲线交织给定的曲线。
2018-07-28 math.AG math.OC
Nef cones of nested Hilbert schemes of points on surfaces
令$X$为射影平面、Hirzebruch曲面或一般$K3$曲面。本文研究了$X$上零维子格式对的点参数化嵌套Hilbert格式的双有理几何。我们计算了两类嵌套Hilbert格式:$X^{[n+1,n]}$和泛族的nef锥.作为应用,我们恢复了Butler关于Hirzebruch曲面上合冲的一个定理.
2020-03-26 math.AG
Moore Matrices and Ulrich Bundles on an Elliptic Curve
利用Moore矩阵给出了光滑三次射影平面的行列式表示的标准形。在此基础上,我们表现出矩阵分解的秩2和度0的所有不可分解的向量丛,没有非零部分,也称为乌尔里希束,在这样的曲线。
2015-11-17 math.AG
On the jumping lines of bundles of logarithmic vector fields along plane curves
对于复射影平面$\mathbb{P}^2$上的约化曲线$C:f=0$,研究了$\mathbb{P}^2$上秩为2的向量丛$T\langle C \rangle $的跳跃线集,其截面为沿$C$的对数向量场.指出了这些跳跃线与$f$的Jacobian模的Lefschetz型性质以及与$f$的Jacobian合矢模的Bourbaki理想的关系.特别地,当向量丛$T\langle C \rangle $不稳定时,一条线是跳跃线当且仅当它满足这个布尔巴基理想定义的0维子概型,这一结果可以追溯到Schwarzenberger。其他经典的一般结果由巴特,Hartshorne和Hulek重新浮出水面,在研究这一类特殊的秩二向量丛。
2018-11-22 math.AG math.CV
The Hilbert scheme of a plane curve singularity and the HOMFLY polynomial of its link
复平面曲线与围绕其一个奇点的小三球面的交线是一个非平凡链环。奇异参数子格式的精化点Hilbert格式支撑在定长的奇点上,其定义理想具有固定的生成元数。我们猜想精化点集Hilbert格式的欧拉示性数的母函数是链环的HOMFLY多项式。这个猜想在不可约奇点y^k = x^n和奇点y^4 = x^7 - x^6 + 4 x^5 y + 2 x^3 y^2中得到了验证,前者的链环是k,n个环面结,后者的链环是三叶形的2,13索。
2012-05-10 hep-th math.AG math.GT
Symplectic bundles on the plane, secant varieties and Lüroth quartics revisited
让$X={\bf P}^2\times{\bf P}^{n-1}$嵌入$Ø(1,2)$。我们证明了它的$(n+1)$割线簇$σ_{n+1}(X)$是一个超曲面,而我们期望它充满周围空间。$σ_{n+1}(X)$方程是斯特拉森方程的对称模拟。当$n=4$时,行列式映射将$σ_5(X)$带到Lüroth四次曲面的超曲面,这是LePotier和Tikhomirov研究的Barth映射的图像。利用这一线索,利用$X$的高阶割线簇,得到了关于${\bf P}^2$上辛丛的跳跃线和Brill-Noether轨迹的一些结果.
2007-02-06 math.AG
Plane quartics: the matrix of bitangents
Aronhold的经典结果指出,一个平面四次线可以恢复的配置任何Aronhold系统的双切线,即特殊的7元组的双切线,使六个点,其中任何subtriple的双切线接触四次线不在于同一个圆锥曲线在射影平面。在2005年,Lehavi证明了一个光滑的平面四次曲线可以从它的28个二重切线中显式地重建出来,这一结果改进了Aronhold的恢复曲线的方法。在2011年的一篇论文中,Plaumann,Sturmfels和Vinzant引入了一个8 × 8的对称矩阵,参数化了一个非奇异平面四次曲线的双切线。他们的建设的出发点是黑塞的结果,其中每一个光滑的四次曲线正好有36个等价类的线性对称行列式表示。本文从平面四次曲线的28条双切线出发,解决了双切线矩阵的逆问题。
2014-09-27 math.AG
Secant loci of scrolls over curves
给定曲线$C$和$C$上的线性系统$\ell$,正割轨迹$V_e^{e-f}( \ell )$参数化次数$e$的有效因子,其对$\ell$施加至多$e-f$条件。对于$E \to C$一个向量丛秩$r$,我们定义行列式子计划$H_e^{e-f} ( \ell ) \subseteq \mathrm{Hilb}^e ( \mathbb{P} E )$和$Q_e^{e-f} (V) \subseteq \mathrm{Quot}^{0, e} ( E^* )$推广$V_e^{e-f} ( \ell )$,给出几个例子。我们描述了$Q_e^{e-f} (V)$的Zapriki切空间,并举例说明了$Q_e^{e-f} (V)$的光滑性不一定受Petri映射的内射性控制.我们概括的阿贝尔-雅可比映射和线性级数的概念的上下文中报价计划。给出了广义割线轨迹非空的充分条件,以及$f = 1$在Segre不变量$s_1 (E)$意义下的完全情形下的判别准则.这导致了类似于arxiv:1812.00706中的半稳定性的几何表征。利用这些想法,我们也给出了部分答案兰格的一个问题上非常丰富的${\mathcal O}_{\mathbb{P} E} (1)$,并表明,对于任何曲线,$Q_e^{e-1} (V)$是空的或预期的尺寸足够一般的$E$和$V$。当$Q_e^{e-1} (V)$具有并达到期望维数0时…
2023-02-08 math.AG
An enriched degree of the Wronski
给定$mp$不同的$p$ -平面在$(m+p)$维空间中的一般位置,一个经典的问题是问有多少个$p$ -平面与所有这些平面相交.例如,当$m = p = 2$,这正是问题的“行满足四行在3空间”后,投影。Wronski映射的Brouwer度为这个一般性问题提供了答案,首先由Schubert在复数上计算,Eremenko和Gabrielov在实数上计算。我们提供了一个丰富的程度的Wronski的所有$m$和$p$甚至,价值在Grothendieck-Witt环的领域,使用机器从$\mathbf{A}^1$ -同伦理论。我们进一步证明,在所有的奇偶校验的$m$ -平面的本地贡献是一个确定的关系之间的某些Plücker坐标的$p$ -平面相交。
2022-06-02 math.AG math.AT
Almost All Transverse-Free Plane Curves Are Trivially Transverse-Free
Rice University(莱斯大学);Grinnell College(格林内尔学院);University of Texas at Austin(德克萨斯大学奥斯汀分校);Massachusetts Institute of Technology(麻省理工学院)
本文通过组合方法估计有限域上无横截曲线多项式集合的密度,证明几乎所有此类曲线在某直线的𝔽_q有理点处均含奇点,为有限域上Bertini定理的研究提供了新方法。
2026-08-19 math.AG math.CO
Castelnuovo-Mumford regularity of finite schemes
本文研究了有限子概形的 Castelnuovo-Mumford 正则性,证明了其正则性接近已知上界当且仅当存在唯一的有理正规曲线使得该曲线与概形交集的正则性等于原概形的正则性。
2024-12-20 math.AG
Computing Linear Matrix Representations of Helton-Vinnikov Curves
Helton和Vinnikov证明了实平面上的每一条刚性凸曲线都有一个谱面体的边界。这导致了明确产生一个对称(正定)线性行列式表示为给定的曲线的计算问题。我们研究了三种方法来解决这个问题:通过求解多项式方程的代数方法,通过接触曲线的几何方法,和通过θ函数的分析方法。这些都是解释,比较,并测试实验低度的情况下。
2013-01-23 cs.CG math.AG math.OC
A geometric invariant of $6$-dimensional subspaces of $4\times 4$ matrices
设$k$是一个代数闭域,${\sf G}(2,k^4)$是$k^4$中2-平面的Grassmannian.我们将$k$上的4 × 4矩阵空间的每个6维子空间$R$关联到一个封闭的子模式${\bf X}_R \subseteq {\sf G}(2,k^4)$。我们发现,每个不可约的组成部分${\bf X}_R$的维数至少为1,当${\rm dim}({\bf X}_R)=1$,然后${\rm deg}({\bf X}_R)=20$度计算相对于周围的${\mathbb P}^5$下的Plücker嵌入${\sf G}(2,k^4) \to {\mathbb P}^5$。我们给出两个涉及椭圆曲线的例子:在一种情况下,${\bf X}_R$是四次椭圆曲线的割线簇,因此${\rm dim}({\bf X}_R)=2$,在另一种情况下,${\bf X}_R$是一条具有7个不可约分量的曲线,其中3个是椭圆曲线,其中4个是光滑二次曲线。
2018-06-14 math.AG math.RA
$G$-Equivariant Hilbert Schemes and Quadratic Forms
本文研究有限阿贝尔群$G$作用下的$G$-等变希尔伯特概型,借助Toën的格罗滕迪克-黎曼-罗赫定理给出相关模空间维数公式,按欧拉型分类商叠,并对循环群作用情形解释欧拉型的相关组合意义。
2026-10-12 math.AG
Biquadratic addition laws on elliptic curves in $\mathbb{P}^3$ and the canonical map of the $(1,2,2)$-Theta divisor
我们记得,在一般$\mathcal{S}$-极化阿贝尔三重,这是一个光滑的平面四次曲线$\mathcal{D}$的Theta因子的拉回,是一个曲面同构的产品$\mathcal{C} \times \mathcal{C}$,其中$\mathcal{C}$是一个亏格$9$曲线嵌入在$\mathbb{P}^3$作为一个光滑的二次曲面和光滑的四次曲面的完全相交。我们证明了该曲面的正则丛的整体全纯截面空间是由$\mathbb{P}^3$上的某些二次$(2,2)$的行列式双齐次多项式生成的,它可以用来定义椭圆曲线的Jacobi模型上的双二次加法律,嵌入在$\mathbb{P}^3$中作为两个二次曲线的完全交.最后,我们利用这种有趣的关系与双二次加法律来描述$\mathcal{S}$的正则映射的行为。
2019-04-24 math.AG
Double nested Hilbert schemes and the local stable pairs theory of curves
我们提出了一个变化的经典希尔伯特计划的点-双嵌套希尔伯特计划的点-parametrizes旗的零维子计划,其嵌套是由一个杨图。在光滑拟射影曲线上,利用反平面剖分的组合学方法,计算了这类空间的拓扑欧拉示性数的生成级数。此外,我们实现这个模空间作为零轨迹的一个部分的向量丛在一个光滑的环境空间,因此承认一个虚拟的基本类。我们将这种构造应用于局部曲线的稳定对理论,即曲线上两个线丛的直和的全空间。证明了在曲线上点的双套Hilbert格式上,不变量局部化为虚相交数,并且对每一个Young图,局部化的不变量的贡献由三个普适级数控制,这三个普适级数可以在等变参数的反对角约束下显式确定.在反对角约束下,不变量与Bryan-Pandharipande局部曲线的Gromov-Witten不变量相匹配,正如MNOP对应所预测的那样。最后,我们讨论了$K$ -理论上的改进la Nekrasov-Okounkov。
2021-08-24 hep-th math.AG