Birational geometry of Beauville-Mukai systems I: the rank three and genus two case
研究了一般亏格为2的K3曲面上的三秩Beauville-Mukai系统的跨壁问题。我们证明了这样一个系统是由一系列的触发器,其例外的轨迹可以描述为Brill-Noether轨迹的表面上的10个点的希尔伯特计划。我们也得到了Brill-Noether型结果的层Beauville-Mukai系统。
2022-07-26 math.AG
Four paths from birational geometry to the elliptic genus
本文通过四条原因说明椭圆亏格是可推广至奇异空间的最一般特征类,证明其特征类(加额外因子)在特定修改下唯一不变,证实并扩展Totaro的结论,方法基于等变上同调局部演算。
2025-08-26 math.AG
On some birational invariants of hyper-Kähler manifolds
本文研究了射影超Kähler流形的三个双有理不变量:无理性度、无理性度和无理性亏格。我们首先改进了Voisin最近的一个结果中的下界,Voisin说Mumford-Tate非常一般的投射超Kähler流形的超属是由一个常数从下面有界的,取决于它的维数和第二个贝蒂数。我们还研究了Picard数为1的射影K3曲面的这些双有理不变量之间的关系,并研究了它们的无理性度和无理性亏格的渐近性质.
2022-10-22 math.AG
Arithmetic properties of equivariant birational types
我们研究算术性质的等变双有理型介绍了Kontsevich,佩斯顿,和第二作者。
2020-12-08 math.AG math.NT
The singularities and birational geometry of the universal compactified Jacobian
本文证明了当亏格至少为4时,泛紧化雅可比矩阵的奇点是正则的。作为一个推论,我们确定的Kodaira尺寸和Iitaka纤维化的普遍紧雅可比矩阵的每一个度和属。我们还确定了双有理自同构群的每度,如果亏格至少是12。这推广了G. Farkas和A. Verra和G.比尼角Fontanari和第三作者。
2014-08-15 math.AG
Birational properties of some moduli spaces related to tetragonal curves of genus 7
设M_{7,n}是复数域上定义的n个标记点的亏格为7的平滑曲线的(粗)模空间。我们用M^1_{7,n;4}表示M_{7,n}内的点的轨迹,这些点表示带有g^1_4的曲线。经典上已知M^1_{7,n;4}是17+n维不可约的.本文证明了M^1_{7,n;4}对0<= n <= 11是有理数.
2011-07-06 math.AG
On projective 3-folds of general type with small positive geometric genus
本文研究了具有几何亏格$1$,$2$和$3$的一般型极小3-重射影的多重标准映射.我们走的方向开创了恩里克斯和Bengeri,和其他作者,牵制,低投射属,有限的列表例外的双合理性的一些pluricanonical地图。特别地,除了有限的列表的加权篮子,我们证明了双合理性的$φ_{16}$,$φ_{6}$和$φ_{5}$分别。
2020-10-06 math.AG
Modular subvarieties and birational geometry of $SU_C(r)$
设$C$是代数光滑复亏格$g>1$曲线.本文研究了$C$上半稳定秩为r的具有0次行列式的向量丛的粗模空间$U_C(r,0)$及其由具有平凡行列式的向量丛给出的模子空间$SU_C(r)$的双有理结构.值得注意的是,我们证明了$U_C(r,0)$(resp. $SU_C(r)$)对于对称乘积$C^(rg)$(分别为)上的纤维化是双有理的。在$P^{(r-1)g}$上),其纤维是GIT前体$(P^{r-1})^{rg}//PGL(r)$。在低秩和亏格的情况下,我们的构造产生了包含在Coble超曲面中的经典模簇的家族。
2010-03-10 math.AG
Finite generation of the algebra of type A conformal blocks via birational geometry II: higher genus
证明了任意亏格的稳定曲线上的A型共形块代数的有限生成。作为应用,我们构造了稳定点曲线模栈上的不可约正规投射簇的平坦族,其纤维在平滑曲线上是半稳定抛物丛的模空间.这推广了Belkale和Gibney在最近的工作中提出的向量丛的模空间的退化的构造。
2019-09-06 math.AG math.RT
Non-birational Calabi-Yau threefolds that are derived equivalent
我们认为,存在的高程度的多节的某些卡-丘三倍的属1纤维化意味着存在对这样的品种,不是双理性的,但派生等价。它也(可能)意味着存在的非双有理反例的Torelli问题的卡-丘三倍。
2006-06-22 math.AG
Khovanskii-finite rational curves of arithmetic genus 2
研究了算术亏格为2的有理曲线的Khovanski-有限赋值的存在性。我们提供了一个半明确的描述度$n+2$有理曲线在$\mathbb{P}^n$的算术亏格两个承认Khovanski有限估值的轨迹。此外,我们描述了一个有效的方法来确定是否有一个有理曲线的算术亏格2定义在数域上允许Khovanski有限赋值。这提供了一个标准,以决定是否允许这种曲线复曲面退化。最后,我们证明了有理曲线与一个单一的单支奇点总是Khovanski有限的,如果他们的算术亏格是足够小的。
2022-03-17 math.AG
Quarto-quartic birational maps of $\mathbb{P}_3(\mathbb{C})$
本文从$5$和$8$度三角曲线出发,构造了复射影空间$3$的四-四次变换的行列式族.证明了$\mathbb{P}_3(\mathbb{C})$的$(4,4)$ -双有理映射簇至少有四个不可约分支,并描述了其中的三个.
2017-04-10 math.AG
Characterization of the 4-canonical birationality of algebraic 3-folds, II
对于几何亏格为$\geq 5$的非奇异射影3重$X$(一般型),第四正则映射$φ_{4,X}=Φ_{|4K_X|}$的双合理性由D.- Q. 2008年,Zhang和第一作者。本文的目的是刻画那些具有$p_g=4$的$X$的$φ_{4,X}$的双合理性。
2015-12-15 math.AG
Arithmetic genus of integral space curves
给出了不包含在$k-1$次曲面中的整空间曲线的算术亏格的一个估计。我们的主要技巧是Macri证明的关于$\mathbb{P}^3$的Bogomolov-Gieseker型不等式。
2021-04-15 math.AG
Invariant curves for birational surface maps
我们分类不变曲线的双有理曲面映射,扩大上同调。当曲线是指数展开时,不变曲线的算术亏格至多为1。这意味着对曲线的不可约分量的类型和数量的严格限制。对于亏格为1的不变曲线,我们证明了存在一个相应的不变亚纯二形式。
2005-05-01 math.AG math.DS
Formulas for the arithmetic geometric mean of curves of genus 3
第一类椭圆积分的算术几何平均算法是由Gauss提出的。亏格为2的阿贝尔积分的模拟算法是由Richelot(1837)和Humbert(1901)提出的。给出亏格为3的阿贝尔积分的类似算法。
2005-12-20 math.AG
Fibration by non-smooth projective curves of arithmetic genus two in characteristic two
从Bertini-Sard定理失效的正特征出发,在双有理等价的前提下,确定了特征为2的光滑代数簇的可分真态射,其纤维是算术亏格2的非平滑曲线.
2014-12-30 math.AG
On the birational geometry of moduli spaces of pointed curves
证明了带有$n$标记点的亏格$g$的光滑曲线的模空间${\Cal M}_{g,n}$对于$g=6$和$1 \le n \le 8$是有理的,对于$g=8$和$1 \le n \le 11$,$g=10$和$1 \le n \le 3$,$g=12$和$n = 1$是单有理的.
2007-01-17 math.AG
Gushel--Mukai varieties: classification and birationalities
本文系统地研究了Grassmannian群(2,5)上锥的线性截面的二次截面--Gushel-Mukai簇.这类变种包括亏格为6的Clifford一般曲线、亏格为6的Brill-Noether一般极化K3曲面、亏格为6的素Fano三重曲面以及它们的高维类似曲面。我们根据正规Gushel-Mukai簇的多余余正规层建立了正规Gushel-Mukai簇的内在特征,从而给出了Gushel和Mukai分类定理的新证明。我们给出了一个描述的同构类的Gushel-Mukai品种和它们的自同构群的线性代数数据自然与这些品种。我们仔细地发展了Gushel-Mukai簇和Eisenbud-Popescu-Walter六次曲线之间的关系,这些六次曲线是由Iliev-Manivel和O 'Grady在前面介绍的。我们明确地描述了所有的Gushel-Mukai品种,其相关的EPW六次线是同构的或对偶的(我们分别称它们为周期伴侣或对偶品种)。最后,我们表明,在3维和更高,期间的合作伙伴/对偶品种总是双理性同构。
2016-12-21 math.AG
A geometry of the moduli space of Higgs pairs on an irreducible nodal curve of arithmetic genus one
本文利用希钦映射和椭圆曲线希格斯丛模空间的平坦退化,刻画了算术亏格为一的不可约节点曲线上希格斯对模空间的几何结构。
2023-05-29 math.AG
Surfaces of general type with p_g=q=0 having a pencil of hyperelliptic curves of genus 3
本文证明了当p_g=q=0时,一般S型曲面的双标准映射是非双有理的,如果S上存在一个束,其一般成员是亏格为3的超椭圆曲线.
2004-07-12 math.AG
The moduli of curves of genus 6 and K3 surfaces
通过对某些格极化K3曲面的模空间给出周期映射,证明亏格为6的曲线的粗模空间对于IV型有界对称整环的算术商是双有理的.
2008-08-03 math.AG
The arithmetic of genus two curves
亏格2曲线自18世纪以来一直是数学界关注的对象,并一直持续到今天。它们已成为密码学应用中许多算法的重要工具,如大数因子分解、超椭圆曲线密码学等。选择适合于这类应用的亏格2曲线是这类算法的重要步骤。在现有的算法中,通常使用具有可分解雅可比或Humbert曲面的曲线的模空间的方程来选择这样的曲线。在这些讲座中,我们将涵盖亏格2曲线的基本性质,(n,n)-可分解雅可比矩阵和Humbert曲面的模空间,亏格2的模多项式,Kummer曲面,θ-函数和亏格2雅可比矩阵的算术,以及它们在密码学中的应用。这些讲座是为代数、密码学和相关领域的研究生准备的。
2012-09-06 math.AG
Arithmetic and birational properties of linear spaces on intersections of two quadrics
该文研究非闭域上两二次曲面光滑交线的线性空间Fano概形有理性,通过二次曲面束双曲约化证明其与对称幂双有理等价,给出不同维数下的有理性结论及实数域判别准则,推广了前人结果。
2025-07-30 math.AG
Birational smooth minimal models have equal Hodge numbers in all dimensions
这是作者在菲尔兹研究所的Worhshop关于Calabi-Yau簇和镜像对称的算术,几何和物理的演讲(2001年7月23日至29日)的简历。本文用算术方法证明了C上的双有理光滑极小模型在所有维数上都具有相等的Hodge数。我们的方法是V. Batyrev和C. L.王在贝蒂数上使用了p-adic积分和Weil猜想。我们的成分是使用进一步的算术结果,如Chebotarev密度定理和p-adic Hodge理论。
2002-11-24 math.AG math.NT
Moduli spaces of nonspecial pointed curves of arithmetic genus 1
本文研究了算术亏格为1的曲线的模栈${\mathcal U}_{1,n}^{ns}$,其中n个标记点构成一个非特殊因子。在arXiv:1511.03797中,这个栈被实现为显式方案$\widetilde{\mathcal U}_{1,n}^{ns}$的商,通过${\Bbb G}_m^n$的作用,在${\Bbb P}^{n-1}$上的有限型仿射。我们的主要结果是一个明确的描述相应的GIT半稳定位点在$\widetilde{\mathcal U}_{1,n}^{ns}$。这使我们能够用Smyth在arXiv:0902.3690和arXiv:0808.0177中定义的${\mathcal M}_{1,n}$的一些模块化紧化来识别一些GIT子程序。
2017-06-29 math.AG
On irreducibility of the family of ACM curves of degree 8 and genus 4 in $P^4_k$
设C是算术亏格为4的算术Cohen-Macaulay曲线.证明了$P^4_k$中的8次曲线族是不可约的。
2004-10-06 math.AG
Birational geometry for number theorists
2006年7月31日至8月4日,CMI暑期学校算术几何课程的非常特殊的讲义。不包括:合理性问题,极小模型问题的技术和其他大部分。包括:讲座0:曲线的几何与算术第一讲:小平维数与性质,有理连通性,Lang和Campana的代数。第二讲:坎帕纳计划坎帕纳星座以b因子为框架,允许直接在底座上定义Kodaira维度。一个关于公司的推测性概念,可能值得进一步研究,特别是算术方面。第三讲:极小模型程序:关于弯曲-断裂的简短讨论;关于有限生成和翻转存在的更简短讨论。第四课:沃伊塔的地图、坎帕纳的地图和ABC。
2007-02-25 math.AG math.NT
On the generalised Kummer fourfold of the Jacobian of a genus two curve
本文构造了亏格二曲线雅可比簇的广义Kummer四重簇的双有理模型,利用三次曲线线性系统解释加法律,证明模型有轻微奇点并存在到四维射影空间的有限分歧覆盖。
2025-05-21 math.AG
Continuous Extension and Birational Invariance of χ-Volume Over an Adelic Curve
通过对极小斜率的估计,证明了半满半正椭圆线丛的一个Hilbert-Samuel公式.我们还证明了算术χ-体积及其在半样本锥上的连续扩展的双有理不变性。
2023-03-02 math.AG math.NT
A birational Torelli theorem with a Brauer class
设$\text{M}_C( 2, \mathcal{O}_C) \cong \mathbb{P}^3$表示$\mathbb{C}$上亏格为$2$的光滑射影曲线$C$上秩为$2$且行列式为平凡的半稳定向量丛的粗模空间.令$β_C$表示稳定轨迹上的自然Brauer类。本文证明了:若$f^*( β_{C'}) = β_C$对从$\text{M}_C( 2, \mathcal{O}_C)$到$\text{M}_{C'}( 2, \mathcal{O}_{C'})$的双有理映射$f$,则$C$的Jacobian与$C'$的Jacobian同构为交换簇.此外,如果这些雅可比行列式不允许实数乘法,则曲线$C$和$C'$是同构的。类似的陈述适用于$\mathbb{P}^3$中的库默尔曲面和二次线复形。
2019-09-12 math.AG
A genus two arithmetic Siegel-Weil formula on X_0(N)
本文定义了模曲线X_0(N)的算术Chow群中的算术零圈族,其中N>3是奇数且无平方因子,并将这些圈的算术次数定义为亏格为2的Siegel Eisenstein级数的中心导数的q系数.这与Kudla-Rapoport-Yang对Shimura曲线的研究相似。
2022-06-12 math.AG math.NT
Explicit Solution By Radicals, Gonal Maps and Plane Models of Algebraic Curves of Genus 5 or 6
给出了亏格为5和6的代数曲线的$\Prj^1$的最小度(总是$\le 4$)分歧覆盖的显式计算算法。这就完成了Schicho和Sevilla(他们处理了$g \le 4$的情况)关于构造任意亏格$g$曲线的根参数化的工作。Zagliki证明了这对于亏格$\ge 7$的一般曲线是不可能的。我们还构造了极小次双有理平面模型,并证明了亏格为6的曲线的6次平面模型的存在性与辅助曲面的角性和几何类型之间的关系。
2011-10-07 math.AG
Liaison theory and the birational geometry of the Hilbert scheme of curves in $\mathbb{P}^{3}$
本研究运用联络理论,探究$\mathbb{P}^{3}$中曲线希尔伯特概形的双有理几何,证明算术Cohen-Macaulay曲线存在唯一分量,验证特定Rao模秩为1的子簇含可约除子,且除子分量线性无关并生成有效锥的极射线。
2024-10-08 math.AG
Cutting out arithmetic Teichmueller curves in genus two via Theta functions
我们计算类的算术亏格两个Teichmueller曲线的Picard群的伪Hilbert模曲面,区分根据其扭转阶和自旋不变。作为应用,我们利用这些不变量计算了亏格为2的正方形拼接曲面的个数。主要的技术工具是计算伪Hilbert模曲面上的泛交换曲面上的Hilbert Jacobi形式的因子类。
2015-04-02 math.AG math.GT
Incidences of lines in $P^3$ and the arithmetic genus of curves
Guth和Katz证明了,正如Elekes和Sharir所证明的那样,除了一些明显的反例之外,3-空间中的$m$线最多有常数倍的$ m^{3/2}$交点。我们给出了一个明确的界限,常数,使用算术亏格的工会线。
2014-05-08 math.AG math.CO
Moduli spaces of sheaves on Fano threefolds and K3 surfaces of genus 9
本文利用射影对偶性研究亏格9的Fano三流形上秩2稳定层到反典范K3曲面的限制,构建了有理Lagrange纤维化,并通过Bridgeland稳定性条件展示了其所有K-平凡双有理模型及锥结构。
2024-01-05 math.AG
Arithmetic Moduli and Lifting of Enriques Surfaces
构造了正特征及整数上的Enriques曲面的模空间,并确定了它的局部结构和整体结构.作为一个应用,我们展示了提升的Enriques表面的特征零。关键的观察是,恩里克曲面的正则双覆盖对于IP^5中的三个二次曲面的完全交是双有理的,即使特征为2。
2013-07-16 math.AG
Arithmetic finiteness of Mukai varieties of genus 7
该研究针对亏格7的素Fano三维簇及高维Mukai簇的算术有限性展开,得到Torelli定理的算术精细化、Shafarevich型有限性的维数差异结果,并明确了定义在整数环上的这类簇的存在维数范围。
2025-10-01 math.AG math.NT
Explicit birational geometry of determinantal quartic 3-folds
Universidad Nacional Autónoma de México(墨西哥国立自治大学);Centro de Ciencias Matemáticas, Universidad Nacional Autónoma de México(墨西哥国立自治大学数学科学中心)
研究$\mathbb{P}^4$中一般线性行列式四次三维流形的双有理几何,发现其族包含有理$\mathbb{Q}$-factorial成员并可特化为有理非$\mathbb{Q}$-factorial双二次曲面,且几何由$\mathbb{P}^3$中10次11亏格曲线控制。
2026-06-15 math.AG
On canonical bundle formula for fibrations of curves with arithmetic genus one
Hubei Minzu University(湖北民族大学);University of Science and Technology of China(中国科学技术大学)
本文在特征p>0下研究相对维数为一的纤维化canonical bundle公式,区分分离与非分离情况,并证明klt对在特定条件下为A的纤维空间。
2026-03-05 math.AG
Slope Stability and Exceptional Divisors of High Genus
本文研究了光滑表面的边坡稳定性及其与例外因子的关系。我们表明,表面包含一个特殊的因子与算术亏格至少有两个是斜率不稳定的一些极化。在相反的方向,我们表明,斜坡稳定性的表面可以测试与因子,并证明,表面与非负Kodaira尺寸的任何不稳定因子必须有负自交和算术亏格至少有两个。我们还证明了一个不稳定的因子永远不能nef,并作为一个应用程序给出一个例子的表面是斜坡稳定,但不K稳定。
2008-08-06 math.AG
$(p,d)$-elliptic curves of genus two
研究了算术亏格2中分别含有两个有限次态射$p$的稳定曲线. $d$,光滑的椭圆曲线,特别注意的情况下,$p$总理。
2016-11-21 math.AG
Algebraic models and arithmetic geometry of Teichmüller curves in genus two
Teichmüller曲线是一条代数曲线在黎曼曲面的模空间中的代数等距浸入。给出了正亏格Teichmüller曲线的第一个显式代数模型。我们的方法是基于一定的希尔伯特模形式的研究和使用Ahlfors的变分公式,以确定实乘法的特征形亏格两雅可比。我们还提出了证据表明,Teichmüller曲线承认一个丰富的算术几何展示的例子与小素数的坏约化和显着的除数支持在他们的尖点。
2016-09-05 math.AG math.GT
The arithmetic of Prym varieties in genus 3
给定亏格为3且具有非分歧双重覆盖的曲线,我们给出了相应的Prym簇的一个明确的描述。我们还描述了如何一个unramified双覆盖的非超椭圆属3曲线可以映射到雅可比矩阵的曲线属2在其领域的定义,以及如何这可以用来做Chabauty和Brauer-Manin型计算曲线属5与unramified对合。作为应用,我们确定了没有特殊几何性质的光滑平面四次曲线上的有理点,并给出了亏格为3和亏格为5的曲线的例子。我们还展示了如何使用这些结构来设计具有特定算术性质的光滑平面四次曲线。作为一个例子,我们给出了一个光滑的平面四次曲线,所有28个双切线定义在Q(t)。
2006-05-31 math.AG math.NT
Derived categories of irreducible projective curves of arithmetic genus one
研究了算术亏格1的不可约奇异射影曲线上凝聚层的有界导出范畴。给出了这一范畴的精确自等价群和所有t-结构的集合的描述。我们描述的模空间的稳定性条件,得到一个完整的分类所有球形物体在这个类别中,并表明,组的确切的自等价作用于他们传递。Bridgeland意义上的Harder-Narasimhan过滤被用作我们的主要技术工具。
2006-02-14 math.AG math.RT
Birational maps of moduli of Brill-Noether pairs
设$C$是亏格为$g$的光滑射影不可约曲线。设$G_α(n,d,l)$是$\rank n, °d$的向量丛和$\dim = l $的$H^0(C,E)$的子空间的$α$稳定对的模空间。对于$C$ general,$1/α\gg 0$和$g \ge n^2-1$,我们找到了一个从$G_α (n, d, n+1)$到$G_α (1, d, n+1)$的显式双有理映射.由于这个例子和其他例子,我们猜想$G_α (a, d, a+z)$双有理映射到$G_α (z, d, a+z)$的$1/ α\gg 0$和$C$一般与$g>2$。
1997-05-07 alg-geom math.AG
Birational cobordism invariance of uniruled symplectic manifolds
一个辛流形$(M,ω)$称为{ \em(辛)无圆},如果存在一个涉及点约束的非零亏格零GW不变量.我们证明了辛的唯一性在辛的爆破和爆破下是不变的。这个定理是由一个辛流形和一个辛子流形的一般相对/绝对对应导出的。一个直接的结果是辛单扭性是辛双有理不变量。在这里,我们使用Guillemin和Sternberg的概念,协边作为辛模拟的双有理等价。
2007-11-28 math.AG math.DG math.SG
Log minimal model program for the moduli space of stable curves of genus three
本文完整地编制了亏格为3的稳定曲线的模空间的对数极小模型程序。我们采用奇异曲线的除数$δ$的有理倍数$αδ$作为边界除数,当$α$从1变化到0时,利用几何不变理论构造了对数正则模型对$(\bar{\mathcal M}_3, αδ)$,并给出了每个对数正则模型的模解释和它们之间的双有理映射.通过使用模块化的描述,我们能够识别所有,但一个日志规范模型与现有的紧化$M_3$,一些新的和其他经典的,而例外给出了一个新的模块紧化的$M_3$。
2007-03-03 math.AG
Birational Models of the Moduli Spaces of Stable Vector Bundles over Curves
给出了亏格大于1的曲线上秩整除度的稳定向量丛的构造方法。该方法是对Newstead方法的补充。最后,我们对稳定向量丛的模空间的合理性作了一些系统的评论和观察。
1997-04-08 alg-geom dg-ga math.AG
A degree bound for families of rational curves on surfaces
本文给出了射影空间中复盖给定双有理直纹曲面族中有理曲线次数的一个上界。该上界由曲面的度、截面亏格和算术亏格表示。我们介绍了一种算法,用于构造的例子,其中的上界是紧的。作为方法的一个应用,改进了格多边形上的一个不等式。
2018-02-20 math.AG
On the geometric P=W conjecture
我们提出了奇异特征标簇的几何P=W猜想。我们对亏格为1的紧致Riemann曲面建立了它,并在任意亏格下得到了部分结果。为此,我们采用非阿基米德,双有理和退化技术来研究某些字符品种的对偶边界复杂的拓扑结构。我们还阐明了几何P= W拓扑与上同调P=W拓扑之间的关系。
2022-05-16 math.AG
Arithmetic dynamics on smooth cubic surfaces
研究数域$K$上光滑三次曲面上双有理自同构诱导的动力系统。特别是,我们感兴趣的产品的非交换双有理Geiser对合的三次曲面。我们给出了系统的$K$和$\bar{K}$ -周期点集的描述结果,并给出了一个称为强剩余周期性的动力学局部-全局性质的充要条件.最后,我们给出了三次曲面上Mordell-Weil问题的一个动力学结果.
2014-01-12 math.AG math.DS math.NT
Arithmetic genus inequalities with an application to sums of squares
Universidad de Santiago de Chile(圣地亚哥智利大学);Universidad de Valparaíso(瓦尔帕莱索大学)
该研究证明了算术曲线特殊纤维分量的亏格不等式变体,将其应用于n重迭代实劳朗级数域上亏格为g的曲线,得到了全正二平方和指数的两个新的界,其中一个界此前仅对超椭圆曲线已知。
2026-08-04 math.AG math.NT