Archiv der Mathematik最新文献_第3页

Almost all primes are partially regular 几乎所有质数都是部分正则的

IF 0.6 4区数学

Archiv der Mathematik Pub Date : 2026-07-02 DOI: 10.1007/s00013-026-02261-y

Evan Chen, Kenny Lau, Seewoo Lee, Ken Ono, Jujian Zhang

{"title":"Almost all primes are partially regular","authors":"Evan Chen, Kenny Lau, Seewoo Lee, Ken Ono, Jujian Zhang","doi":"10.1007/s00013-026-02261-y","DOIUrl":"10.1007/s00013-026-02261-y","url":null,"abstract":"<div>For odd primes p, we let (K_p:=mathbb {Q}(zeta _p)) be the pth cyclotomic field and let (omega ) denote its Teichmüller character. For (alpha >1/2), we say that an odd prime p is partially regular if the eigenspaces of the p-Sylow subgroup of ({{,textrm{Cl},}}(K_p)) under the Galois action vanish for all characters (omega ^{p-2k}) with <div><div>$$begin{aligned} 2le 2k le frac{sqrt{p}}{(log p)^{alpha }}. end{aligned}$$</div><div>\u0000 (1)\u0000 </div></div>Equivalently, (pnot mid {{,textrm{num},}}(B_{2k})) throughout this range. We prove that a density-one subset of primes is partially regular in this sense. By Leopoldt reflection, this yields a partial Vandiver theorem: for a density-one set of primes p, the even eigenspaces (A_p(omega ^{2k})) vanish for all even 2k satisfying (1). This result has consequences for Kubota–Leopoldt p-adic L-functions, congruences between cusp forms and Eisenstein series, and p-torsion in algebraic K-groups. The theorem proving partial regularity for almost all p is fully formalized in Lean/Mathlib and was produced automatically by AxiomProver from a natural-language statement of the conjecture.</div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"127 2","pages":"165 - 178"},"PeriodicalIF":0.6,"publicationDate":"2026-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148719081","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Patterns in trees and quantum automorphism groups 树中的模式与量子自同构群

IF 0.6 4区数学

Archiv der Mathematik Pub Date : 2026-06-26 DOI: 10.1007/s00013-026-02260-z

Lucas Alger, Julie Capron, Félix de la Salle

引用次数: 0

Algebraic K-groups of (mathbb {Q}(sqrt{pm p})) and the digits of 1/p (mathbb {Q}(sqrt{pm p}))的代数k群和1/p的数字

IF 0.6 4区数学

Archiv der Mathematik Pub Date : 2026-06-25 DOI: 10.1007/s00013-026-02244-z

Reza Taleb

引用次数: 0

Monogenic strictly-Perron polynomials 单基因严格perron多项式

IF 0.6 4区数学

Archiv der Mathematik Pub Date : 2026-06-24 DOI: 10.1007/s00013-026-02265-8

Lenny Jones

引用次数: 0

Euler characteristic of closed manifolds with almost nonnegative curvature operator 具有几乎非负曲率算子的闭流形的欧拉特性

IF 0.6 4区数学

Archiv der Mathematik Pub Date : 2026-06-23 DOI: 10.1007/s00013-026-02254-x

Jingbin Cai

引用次数: 0

Non-linearizable root group data 非线性根组数据

IF 0.6 4区数学

Archiv der Mathematik Pub Date : 2026-06-05 DOI: 10.1007/s00013-026-02253-y

Sebastian Bischof

{"title":"Non-linearizable root group data","authors":"Sebastian Bischof","doi":"10.1007/s00013-026-02253-y","DOIUrl":"10.1007/s00013-026-02253-y","url":null,"abstract":"<div>An RGD system (mathcal {D}) is called linear w.r.t. a root basis (mathcal {B}) if the commutation relations between the root groups of (mathcal {D}) are ‘linear’ in a certain sense. Moreover, (mathcal {D}) is called linearizable if there exists a root basis (mathcal {B}) such that (mathcal {D}) is linear w.r.t. (mathcal {B}). For many examples of RGD systems it is easy to see that they are linear w.r.t. a concrete root basis. To the best of our knowledge, it was unclear whether RGD systems exist which are not linearizable. In this article, we show that there exist uncountably many RGD systems which are not linearizable. In particular, we provide the first explicit example of such an RGD system. This expands the quote from Rémy that axiom (text {(RGD1)}_{textrm{lin}}) is not only a strengthening of axiom (RGD1), but is in fact stronger than it. We show that non-linearizability appears in examples of universal type, and also in examples of 2-spherical type. For the examples of universal type, we construct an uncountable family of non-linearizable RGD systems, and for the examples of 2-spherical type, we show that the RGD systems of type (4, 4, 4) recently constructed by the author provide uncountably many non-linearizable RGD systems.</div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"126 6","pages":"557 - 570"},"PeriodicalIF":0.6,"publicationDate":"2026-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00013-026-02253-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148285465","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Brownian convergence of planar domains and stability of the planar Skorokhod embedding problem 平面区域的布朗收敛与平面Skorokhod嵌入问题的稳定性

IF 0.6 4区数学

Archiv der Mathematik Pub Date : 2026-06-05 DOI: 10.1007/s00013-026-02258-7

Maher Boudabra, Mrabet Becher, Fathi Haggui

引用次数: 0

R-triviality for adjoint classical groups of type C C型伴随经典群的r -平凡性

IF 0.6 4区数学

Archiv der Mathematik Pub Date : 2026-05-28 DOI: 10.1007/s00013-026-02263-w

M. Archita

引用次数: 0

Boundary limit of the integral kernels of some holomorphic semigroups 一些全纯半群的积分核的边界极限