arXiv subjects

Enis Kaya

Publications and source records attributed to Enis Kaya.

11 recordsLinked to original sources

arXiv2026

Algorithms for hyperelliptic Mumford Curves $p$-adic Uniformization, $p$-adic integrals and $p$-adic heights

Mumford curves generalize the Tate uniformization of elliptic curves with split multiplicative reduction and provide p-adic analogues of the uniformization of Riemann surfaces. In this paper, we present several algorithms for hyperelliptic Mumford curves. For a given hyperelliptic Mumford curve $X$ defined over a finite extension of the field of p-adic numbers for some $p\neq 2$, we first describe how to compute a p-adic Schottky group W that uniformizes X; this is based on our extension to Kadziela's approximation theorem. As applications, we explain how to use this uniformization in order to compute p-adic Abelian integrals and $p$-adic Schneider heights on X; the latter uses Werner's formula expressing the p-part of the Schneider height in terms of theta functions. We illustrate our algorithms with numerical examples computed using the computer algebra system SageMath.

math.NT↗

arXiv2025

Inverse curve problems on del Pezzo surfaces

We classify the number of $k$-rational lines and conic fibrations on del Pezzo surfaces over a field $k$ in terms of relatively minimal surfaces and establish rational curve analogues of the inverse Galois problem for del Pezzo surfaces. We completely solve these problems in all degrees over all global, local and finite fields and provide new solutions of the inverse Galois problem in characteristic 2. Our results generalise well-known theorems on cubic surfaces.

math.AG↗

arXiv2024

Algorithms for $p$-adic Heights on Hyperelliptic Curves of Arbitrary Reduction

In this paper, we develop an algorithm for computing Coleman--Gross (and hence Nekov\'a\v{r}) $p$-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above $p$. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above $p$. We also discuss an alternative method to compute these for odd degree genus 2 curves via $p$-adic sigma functions, via work of the first-named author. For both approaches one needs to choose a splitting of the Hodge filtration. A canonical choice for this is due to Blakestad in the case of an odd degree curve of genus $2$ that has semistable ordinary reduction at $p$. We provide an algorithm to compute Blakestad's splitting, which is conjecturally the unit root splitting for the action of Frobenius. We give several numerical examples, including the first worked quadratic Chabauty example in the literature for a curve with bad reduction.

math.NT↗

arXiv2023

Coleman-Gross Heights and $p$-adic N\'eron Functions on Jacobians of Genus $2$ Curves

We develop a theory of $p$-adic N\'eron functions on abelian varieties, depending on various auxiliary choices, and show that the global $p$-adic height functions constructed by Mazur and Tate can be decomposed into a sum of $p$-adic N\'eron functions if the same auxiliary choices are made. We also consider a decomposition of the $p$-adic height constructed by Coleman and Gross for good reduction, and extended to arbitrary reduction by Colmez and Besser, into a sum of certain local height functions for Jacobians of odd degree genus~$2$ curves. We show that this local height function is equal to the $p$-adic N\'eron function with the same auxiliary choices, regardless of the reduction type of the curve. This extends work of Balakrishnan and Besser for elliptic curves. When the curve has semistable reduction and the reduction of the Jacobian is ordinary, we also describe the $p$-adic N\'eron function that arises from the canonical Mazur--Tate splitting explicitly in terms of a generalisation of the $p$-adic sigma function constructed by Blakestad.

math.NT↗

arXiv2023

Jumps of Jacobians via orthogonal canonical forms

Given a smooth, proper curve $C$ over a discretely valued field $k$, we equip the $k$-vector space $H^{0}(C,\omega_{C/k})$ with a canonical discrete valuation $v_{\mathrm{can}}$ which measures how canonical forms degenerate on regular integral models of $C$. More precisely, $v_{\mathrm{can}}$ maps a canonical form to the minimal value of its associated weight function, as introduced by Musta\c{t}\u{a}--Nicaise. Our main result states that $v_{\mathrm{can}}$ computes Edixhoven's jumps of the Jacobian of $C$ when evaluated in an orthogonal basis. As a byproduct, we deduce a short proof for the rationality of the jumps of Jacobians. We also show how $v_{\mathrm{can}}$ and the jumps can be computed efficiently for the class of $\Delta_v$-regular curves introduced by Dokchitser.

math.AG↗

arXiv2022

Computation of Admissible Arakelov-Green Functions on Metrized Graphs

Metrized graphs are nonarchimedean analogues of Riemann surfaces, and Arakelov-Green functions on these graphs are of fundamental importance for some aspects of arithmetic geometry. In the present paper, we give an explicit formula for an admissible Arakelov-Green function on a metrized graph, extending Cinkir's formula for the canonical Arakelov-Green function. Based on our formula, we present and implement an algorithm in the computer algebra system SageMath for explicitly computing such functions. We illustrate our algorithm with computational examples.

math.AG↗

arXiv2022

Sampling from $p$-adic algebraic manifolds

We present a method for sampling points from an algebraic manifold, either affine or projective, defined over a local field, with a prescribed probability distribution. Inspired by the work of Breiding and Marigliano on sampling real algebraic manifolds, our approach leverages slicing the given variety with random linear spaces of complementary dimension. We also provide an implementation of this sampling technique and demonstrate its applicability to various contexts, including sampling from linear $p$-adic algebraic groups, abelian varieties, and modular curves.

math.AG↗

arXiv2022

Tropical invariants for binary quintics and reduction types of Picard curves

We express the reduction types of Picard curves in terms of tropical invariants associated to binary quintics. We also give a general framework for tropical invariants associated to group actions on arbitrary varieties. The problem of finding tropical invariants for binary forms fits in this general framework by mapping the space of binary forms to symmetrized versions of the Deligne-Mumford compactification $\overline{M}_{0,n}$.

math.AG↗

arXiv2022

Lines on $p$-adic and real cubic surfaces

We study lines on smooth cubic surfaces over the field of $p$-adic numbers, from a theoretical and computational point of view. Segre showed that the possible counts of such lines are $0,1,2,3,5,7,9,15$ or $27$. We show that each of these counts is achieved. Probabilistic aspects are also investigated by sampling both $p$-adic and real cubic surfaces from different distributions and estimating the probability of each count. We link this to recent results on probabilistic enumerative geometry. Some experimental results on the Galois groups attached to $p$-adic cubic surfaces are also discussed.

math.AG↗

arXiv2020

Explicit Vologodsky Integration for Hyperelliptic Curves

Vologodsky's theory of $p$-adic integration plays a central role in computing several interesting invariants in arithmetic geometry. In contrast with the theory developed by Coleman, it has the advantage of being insensitive to the reduction type at $p$. Building on recent work of Besser and Zerbes, we describe an algorithm for computing Vologodsky integrals on bad reduction hyperelliptic curves. This extends previous joint work with Katz to all meromorphic differential forms. We illustrate our algorithm with numerical examples computed in Sage.

math.NT↗

arXiv2020

p-adic integration on bad reduction hyperelliptic curves

In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya, and to Balakrishnan and Besser for regular and meromorphic 1-forms on good reduction curves, respectively. We then employ tropical geometric techniques due to the first-named author with Rabinoff and Zureick-Brown to convert the Berkovich-Coleman integrals into abelian integrals. We provide examples of our algorithm, verifying that certain abelian integrals between torsion points vanish.

math.NT↗