AI 中文总结
本研究提出算术几何的内涵语义环境，借助带标记量化$(2,1)$-范畴调和Lawvere与Voevodsky的思路，将比较转化为迁移不等式，还将Szpiro不等式与abc猜想关联、处理BSD猜想并归约$\mathrm{Sha}(E/K)$有限性。
AI 中文摘要
本研究提出一种算术几何的语义环境，其中同一对象的两种表示之间的过渡带有可测量的权重，而非消解为透明的等同。遵循Lawvere的思路，配备态射代价的范畴在幺半偏序集$([0,\infty],\ge,+)$上是富集的，从而高度成为由广义距离控制的映射；遵循Voevodsky的思路，C-系统的等同类型是可迁移的结构轨迹。带标记的量化$(2,1)$-范畴调和了这两种解读，其中可逆2-态射表明两种迁移仅由连贯的表示变化导致。同一对象的两个带标记实现之间的比较成为一种迁移不等式。若要求该不等式函子下降到外延不变量之间的不等式，则它会坍缩为重言式，除非给迁移本身赋予非零负荷，此时该不等式重新获得内容。我们针对椭圆包提出内涵Szpiro不等式，其中判别式高度沿具有受控模型缺陷的态射迁移，并将该形式的界与abc猜想关联；随后以预模性形式处理Birch和Swinnerton-Dyer猜想，使得秩与精细形式无需解析延拓即可下降到$\mathrm{ACA}_{0}$，精细常数表现为一种迁移代价，其中调节器、周期、局部Tamagawa数据及Tate-Shafarevich群$\mathrm{Sha}(E/K)$的阶被下降阻碍分开，我们将$\mathrm{Sha}(E/K)$的有限性归约为一个假设。
英文摘要
This work proposes a semantic environment for arithmetic geometry in which passage between presentations carries an explicit weight. Morphism costs induce a Lawvere generalized distance by taking infima over transports, and heights satisfy the corresponding transport bounds. A labeled quantitative $(2,1)$-category retains invertible $2$-morphisms as coherent comparisons between transports. Its vertical groupoids admit a transport interpretation inspired by the identity types of Voevodsky's C-systems. If a height factors through the underlying object, then a vertical comparison has equal endpoints, whatever its transport cost. We formulate an intensional Szpiro inequality for elliptic packages, where the discriminant height transports along a morphism with a controlled model defect, and we relate a bound of this form to the $abc$ conjecture. The defect remains visible between non-minimal and normalized presentations, while conductor complexity stays attached to the underlying curve. We then treat the Birch and Swinnerton-Dyer conjecture in its pre-modularity form, using strong point-count asymptotics with an explicit convergence requirement. The refined constant retains separately typed arithmetic factors. A finite differential correction makes the period independent of the chosen differential and links its normalization to model transport. Within the declared finite-descent theory, Tate--Shafarevich finiteness reduces to finitely many closed prime columns of Selmer shadows and a uniform cutoff. For $y^2=x^3-q^2x$ with $q\equiv3\pmod8$ prime, two-isogeny descent closes the two-primary column uniformly. The statements admit expression in $\mathsf{ACA}_0$ relative to certified descent and Mordell--Weil data, with certified Cauchy names for the period and regulator.
