A pathology of asymptotic multiplicity in the relative setting

An asymptotic existence theorem for plane curves with prescribed singularities

Let $d,m_1,...,m_r$ be ($r+1$) positive integers, and $P_1,...,P_r$ be $r$ general points in the projective plane ; let $m$ be a positive integer. We prove that there exists a bound $d_0(m)$ such that : If $m_i < m$ ($0<i<r+1$), and $d > d_0(m)$ then the linear system $L$ of plane curves of degree $d$ having a multiplicity at least $m_i$ at each point $P_i$ has the expected dimension ; moreover, if $L$ is not empty, there exists an irreducible plane curve of degree $d$, smooth away from the $r$ points $P_i$, and having an ordinary singularity of the prescribed multiplicity $m_i$ at each point …

A Direct Limit for Limit Hilbert-Kunz Multiplicity for Smooth Projective Curves

This paper concerns the question of whether a more direct limit can be used to obtain the limit Hilbert-Kunz multiplicity, a possible candidate for a characteristic zero Hilbert-Kunz multiplicity. The main goal is to establish an affirmative answer for one of the main cases for which the limit Hilbert-Kunz multiplicity is even known to exist, namely that of graded ideals in the homogeneous coordinate ring of smooth projective curves. The proof involves more careful estimates of bounds found independently by Brenner and Trivedi on the dimensions of the cohomologies of twists of the syzygy bundl…

Local Okounkov bodies and limits in prime characteristic

This article is concerned with the asymptotic behavior of certain sequences of ideals in rings of prime characteristic. These sequences, which we call $p$-families of ideals, are ubiquitous in prime characteristic commutative algebra (e.g., they occur naturally in the theories of tight closure, Hilbert-Kunz multiplicity, and $F$-signature). We associate to each $p$-family of ideals an object in Euclidean space that is analogous to the Newton-Okounkov body of a graded family of ideals, which we call a $p$-body. Generalizing the methods used to establish volume formulas for the Hilbert-Kunz mult…

Hilbert-Kunz density function and asymptotic Hilbert-Kunz multiplicity for projective toric varieties

For a toric pair $(X, D)$, where $X$ is a projective toric variety of dimension $d-1\geq 1$ and $D$ is a very ample $T$-Cartier divisor, we show that the Hilbert-Kunz density function $HKd(X, D)(λ)$ is the $d-1$ dimensional volume of ${\overline {\mathcal P}}_D \cap \{z= λ\}$, where ${\overline {\mathcal P}}_D\subset {\mathbb R}^d$ is a compact $d$-dimensional set (which is a finite union of convex polytopes). We also show that, for $k\geq 1$, the function $HKd(X, kD)$ can be replaced by another compactly supported continuous function $φ_{kD}$ which is `linear in $k$'. This gives the formula f…

亏格 0 和 1 中热带精细不变量的渐近计算

Asymptotic computations of tropical refined invariants in genus 0 and 1

本文利用楼层图算法的变体，重新证明亏格0的渐近热带精细不变量公式，并进一步计算亏格1情形，揭示其与分拆数生成级数及拟模形式的正则联系。

通过除子体积的超凡ε重数

Transcendental Epsilon Multiplicity via Divisor Volumes

本文证明ε重数可以取超越数，通过一个单理想公式将渐近余长度不变量转化为除子体积的几何与算术，并利用移位射影丛构造和Baker定理得到超越值。