Related papers: Computing dimensions of spaces of Arakelov divisor…
The function $h^0$ for a number field is an analogue of the dimension of the Riemann-Roch spaces of divisors on an algebraic curve. In this paper, we prove the conjecture of van der Geer and Schoof about the maximality of $h^0$ at the…
The size function for a number field is an analogue of the dimension of the Riemann-Roch spaces of divisors on an algebraic curve. It was conjectured to attain its maximum at the trivial class of Arakelov divisors. This conjecture was…
In this paper, we investigate the size function $h^0$ for number fields. This size function is analogous to the dimension of the Riemann-Roch spaces of divisors on an algebraic curve. Van der Geer and Schoof conjectured that $h^0$ attains…
In this article, we study a divisor function in an arbitrary number field akin to Koshliakov's work on Vorono\"{\dotlessi} summation formula. More precisely, we generalize Koshliakov's kernel and Koshliakov's transform over any number field…
We introduce the notion of an effective Arakelov divisor for a number field and the arithmetical analogue of the dimension of the space of sections of a line bundle. We study the analogue of the theta divisor for a number field.
We prove a Riemann-Roch theorem of an entirely novel nature for divisors on the Arakelov compactification of the algebraic spectrum of the integers. This result relies on the introduction of three key concepts: the cohomologies (attached to…
We give practical algorithms for computing the divisor class group and the gonality of a curve over a finite field, achieving several orders of magnitude speedup over existing methods for sufficiently large genus or residue field. The…
In this article, we consider an analogue of Arakelov theory of arithmetic surfaces over a trivially valued field. In particular, we establish an arithmetic Hilbert-Samuel theorem and studies the effectivity up to R-linear equivalence of…
In this article, we will consider second order uniformly elliptic operators of divergence form defined on R^n with measurable coefficients. Mainly, we will give estimates on the dimension of space of solutions that grow at most polynomially…
We use Arakelov theory to define a height on divisors of degree zero on a hyperelliptic curve over a global field, and show that this height has computably bounded difference from the N\'eron-Tate height of the corresponding point on the…
We consider heights of horizontal irreducible divisors on an arithmetic surface with respect to some hermitian line bundle. We obtain both lower and upper bounds for these heights. The results are different and sometimes stronger that those…
We compute the Hausdorff dimension of the set of singular vectors in function fields and bound the Hausdorff dimension of the set of $\varepsilon$-Dirichlet improvable vectors in this setting. This is a function field analogue of the…
Let C be a projective curve defined over a field k and let D be a divisor of C. The Riemann-Roch space L(D) is the set of rational functions on C for which certain zeros are imposed and certain poles are allowed, with some multiplicities…
By some result on the study of arithemtic over trivially valued field, we find its applications to Arakelov geometry over adelic curves. We prove a partial result of the continuity of arithmetic $\chi$-volume along semiample divisors.…
Let $C \geq 1$. Inspired by the LLL-algorithm, we define strongly $C$-reduced divisors of a number field $F$ which are generalized from the concept of reduced Arakelov divisors. Moreover, we prove that strongly $C$-reduced Arakelov divisors…
In this note, we establish a Vorono\"i--Oppenheim summation formula for divisor functions over an arbitrary number field.
We study high-dimensional nonlinear approximation of functions in H\"older-Nikol'skii spaces $H^\alpha_\infty(\mathbb{I}^d)$ on the unit cube $\mathbb{I}^d:=[0,1]^d$ having mixed smoothness, by parametric manifolds. The approximation error…
We discuss algorithms for arithmetic properties of hypergeometric functions. Most notably, we are able to compute the p-adic valuation of a hypergeometric function on any disk of radius smaller than the p-adic radius of convergence. This we…
We present an algorithm for computing the 2-group of narrow logarithmic divisor classes of degree 0 for number fields F. As an application, we compute in some cases the 2-rank of the wild kernel WK2(F).
We compute the dimensions of the Hochschild cohomology of symmetric groups over prime fields in low degrees. This involves us in studying some partition identities and generating functions of the dimensions in any fixed degree of the…