×

圆锥曲线在完美的场地上与八条线相交。 (英语) 兹比尔1531.14068

让\(\bar k)表示不同于\(2)的特征代数闭场。枚举几何的一个经典定理是,在(mathbb{P}^2_{bark})中有(92)条平面二次曲线在一般位置上与(8)条给定直线相交,并且每一条二次曲线都是光滑的。本文的主要定理将这个结果推广到非代数闭域的情形。假设(L_1,dots,L_8)是位于(mathbb{P}^3_k)中一般位置的直线,并且让(Q)表示满足所有(L_i)的所有二次曲线的集合。本文将每一个二次曲线(q中的q)及其各个交点(L_i\cap q)和这些交点处的切线数据关联起来,在二次曲线的函数域中产生一个可逆量(a_q)。定理是\(k\)的Grothendieck-Witt环中的恒等式:\[\sum_{q\在q}\mathrm中{事务}_{k(q)/k}\langle aq\rangle=46\langle 1\rangle+46\langle-1\rangle。\]当\(k)代数闭时,它恢复\(在q}1=92中的sum_{q\)。它还揭示了\(\mathbb{R}\)上的一个已知计算:它是从[Z.A.格里芬J.D.豪恩斯坦高级Geom。15,第2期,173-187页(2015年;Zbl 1309.65056号)]和[J.D.豪恩斯坦F.索蒂尔,ACM变速器。数学。柔和。38,第4号,第28条,第20页(2012年;Zbl 1365.65148号)]可能存在介于(0)和(92)之间的满足(8)实线的实二次曲线。本文的主要定理适用于将这些实二次曲线分裂成两个用符号\(\mathrm区分的二项式族{事务}_{\mathbb{R}(q)/\mathbb{R}}\langle a_q\rangle\)。
本文首先对主要结果和证明方法进行了很好的介绍,然后对(mathbb{A}^1)枚举几何进行了说明。然后,第3节对当前案例中的(mathbb{A}^1)枚举几何进行了艰苦的研究:这表示(46langle1\rangle+46langle-1)作为枚举几何问题的“局部索引”的总和,就像在(mathbb{A}^1)-枚举几何中常见的那样(参见例如[圣保罗K.威克格伦,Res.数学。科学。8,第2号,第24号论文,第29页(2021年;Zbl 1469.14047号)])在第4节中,利用满足8条直线的二次曲线的几何形状,根据某些雅可比矩阵给出局部指数的显式计算。第5节涉及对\(k=\mathbb{R}\)情况的应用。总的来说,这篇论文很容易阅读,并且是使用(mathbb{a}^1)枚举几何可以建立的各种结果的一个很好的例子。

MSC公司:

第14页第15页 经典问题,舒伯特微积分
14层42层 动机上同调;动力同伦理论
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 托马斯·布雷泽尔顿(Thomas Brazelton);罗伯特·伯克隆(Robert Burklund);斯蒂芬·麦基恩(Stephen McKean);迈克尔·蒙托罗(Michael Montoro);Opie,Morgan,局部度的迹,Homol。同源性应用。,23, 1, 243-255 (2021) ·Zbl 1456.14027号
[2] 坎迪斯·贝西亚;杰西·利奥(Jesse Leo Kass);Wickelgren,Kirsten,《强化Riemann-Hurwitz公式中的野生分支示例》,(动机同伦理论和精化枚举几何。动机同伦论和精化计数几何,当代数学,第745卷(2020年),Amer。数学。Soc.:美国。数学。佛罗里达州普罗维登斯Soc.Providence),69-82·Zbl 1441.14076号
[3] 托马斯·布雷泽尔顿(Thomas Brazelton);斯蒂芬·麦基恩(Stephen McKean);保利、萨布丽娜、贝佐提安和(mathbb{A}^1)度(2021)
[4] Brazelton,Thomas,列举几何导论,(同调理论和算术几何Motivic and Diophantine Aspects.同调理论和算术几何Motivic and Diophantine Aspects.数学讲义,第2292卷(2021),施普林格:施普林格商会),11-47,©2021·Zbl 1478.14002号
[5] 汤姆·巴赫曼;Wickelgren,Kirsten,Euler类:六函子形式化,对偶性,完整性和完全交的线性子空间,J.Inst.Math。朱西厄,1-66(2021)·Zbl 1515.14037号
[6] Ethan Cotterill;伊格纳西奥·达拉戈;Han,Changho,超椭圆曲线上线性级数的算术拐点公式(2020)
[7] 戴维·艾森巴德(David Eisenbud);Joe Harris,3264和All That:代数几何第二课程(2016),剑桥大学出版社·Zbl 1341.14001号
[8] Fulton,William,交集理论,Ergebnisse der Mathematik and ihrer Grenzgebiete。3.Folge,第2卷(1998年),Springer-Verlag:Springer-Verlag Berlin·Zbl 0885.14002号
[9] Griffin,Zachary A。;Hauenstein,Jonathan D.,多项式方程组的实解和参数延拓,高级几何。,15, 2, 173-187 (2015) ·Zbl 1309.65056号
[10] 乔纳森·霍恩斯坦(Jonathan D.Hauenstein)。;Sottile,Frank,算法921:alphaCertified:多项式系统的证明解决方案,ACM Trans。数学。软质。,38,4,第28条pp.(2012),20·Zbl 1365.65148号
[11] 杰西·利奥(Jesse Leo Kass);Wickelgren,Kirsten,Eisenbud-Khimshiashvili-Levine的班级是数学杜克大学的本地(mathbf{A}^1)-Brouwer学位。J.,168,3429-469(2019)·Zbl 1412.14014号
[12] 杰西·利奥(Jesse Leo Kass);Wickelgren,Kirsten,光滑立方曲面上直线的算术计数,Compos。数学。,157, 4, 677-709 (2021) ·Zbl 1477.14085号
[13] Lam,T.Y.,《场上二次型导论》,《数学研究生》,第67卷(2005),美国数学学会:美国数学学会普罗维登斯,RI·Zbl 1068.11023号
[14] Levine,Marc,《二次型枚举几何方面》,Doc。数学。,25, 2179-2239 (2020) ·Zbl 1465.14008号
[15] 马克·莱文(Marc Levine);Raksit,Arpon,动机Gauss-Bonnet公式,代数数论,14,7,1801-1851(2020)·Zbl 1458.14029号
[16] 拉森,汉娜;Vogt,Isabel,《光滑平面四次曲线双切线的丰富计数》,《数学研究》。科学。,8,2,第26条pp.(2021),21·兹比尔1471.14070
[17] Stephen McKean,《贝佐特定理的算术浓缩》,《数学》。年鉴,379,1633-660(2021)·Zbl 1467.14126号
[18] 麦肯·斯蒂芬(McKean),《阿波罗纽斯双向圈》(Circles of Apollonius two ways)(2022年)
[19] Morel,Fabien,(\mathbb{A}^1)-域上的代数拓扑,数学课堂讲稿,第2052卷(2012),施普林格:施普林格-海德堡·Zbl 1263.14003号
[20] 法比安·莫雷尔(Fabien Morel);Voevodsky,Vladimir,\(\mathbf{A}^1\)-方案的同伦论,Publ。数学。高等科学研究院。,90, 45-143 (2001), 1999 ·Zbl 0983.14007号
[21] Pauli,Sabrina,二次型和五次三重曲线上的动态Euler线数,高级数学。,405,第108508条pp.(2022)·Zbl 1495.14083号
[22] 萨布丽娜·保利;Wickelgren,Kirsten,应用于(mathbb{A}^1)-度的枚举几何,研究数学。科学。,8,2,第24条pp.(2021),29·Zbl 1469.14047号
[23] Scheja,Günter;斯托奇、乌韦、尤伯·斯珀芬克蒂翁、沃尔斯坦迪根·杜尔奇施尼滕、J.莱因·安圭(J.Reine Angew)。数学。(克里勒斯J.),1975年,174-190年(1975年)·Zbl 0316.13003号
[24] (2018),《Stacks项目作者》。堆栈项目
[25] 帕德马瓦提·斯里尼瓦桑;Wickelgren,Kirsten,《(P^3)中满足四行的行的算术计数》,Trans。美国数学。社会学,374,5,3427-3451(2021)·Zbl 1471.14110号
[26] Kirsten Wickelgren;Williams,Ben,不稳定动力同伦理论,(同伦理论手册。同伦理论指南,CRC出版社/Chapman Hall Handb.Math.Ser.(2020),CRC出版:佛罗里达州博卡拉顿CRC出版社),931-972,©2020·Zbl 1473.14041号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。