Searcharxiv⌕ Search

arXiv subjects

Francesca Bianchi

Publications and source records attributed to Francesca Bianchi.

17 recordsLinked to original sources
arXiv2026

p-adic elliptic polylogarithms and cubic Chabauty

The Chabauty--Coleman--Kim method, under favourable circumstances, describes the set of integral points of a hyperelliptic curve inside the $p$-adic zeroes of certain transcendental functions. For an elliptic curve of Mordell--Weil rank one, the Chabauty--Coleman--Kim set in depth 2 is given by the zeroes of a (finite union of) quadratic polynomial(s) in the $p$-adic logarithm of the elliptic curve and the local $p$-adic height at $p$. Here, we give an explicit formula for a finite set containing the Chabauty--Coleman--Kim set in depth 3 for an elliptic curve of rank at most 2 under an assumption on non-vanishing of a special value of a $p$-adic $L$-function. The finite set is given by the zeroes of a polynomial in $p$-adic elliptic polylogarithms. We use these formulas to verify new instances of Kim's conjecture.

math.NT↗
arXiv2024

A geometrical approach to the sharp Hardy inequality in Sobolev-Slobodecki\u{\i} spaces

We give a partial negative answer to a question left open in a previous work by Brasco and the first and third-named authors concerning the sharp constant in the fractional Hardy inequality on convex sets. Our approach has a geometrical flavor and equivalently reformulates the sharp constant in the limit case $p=1$ as the Cheeger constant for the fractional perimeter and the Lebesgue measure with a suitable weight. As a by-product, we obtain new lower bounds on the sharp constant in the $1$-dimensional case, even for non-convex sets, some of which optimal in the case $p=1$.

math.AP↗
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

On the spectrum of sets made of cores and tubes

We analyze the spectral properties of a particular class of unbounded open sets. These are made of a central bounded ``core'', with finitely many unbounded tubes attached to it. We adopt an elementary and purely variational point of view, studying the compactness (or the defect of compactness) of level sets of the relevant constrained Dirichlet integral. As a byproduct of our argument, we also get exponential decay at infinity of variational eigenfunctions. Our analysis includes as a particular case a planar set (sometimes called ``bookcover''), already encountered in the literature on curved quantum waveguides. J. Hersch suggested that this set could provide the sharp constant in the {\it Makai-Hayman inequality} for the bottom of the spectrum of the Dirichlet-Laplacian of planar simply connected sets. We disprove this fact, by means of a singular perturbation technique.

math.AP↗
arXiv2023

p-Adic sigma functions and heights on Jacobians of genus 2 curves

Let $C$ be a genus $2$ hyperelliptic curve over a number field $K$, with a Weierstrass point $\infty$ at infinity, let $J$ be its Jacobian, let $Θ$ be the theta divisor with respect to $\infty$, and let $p$ be any prime number. We give an explicit construction of a $p$-adic height $h_p\colon J(\overline{\mathbb{Q}})\to \mathbb{Q}_p$ by means of $p$-adic analogues of Néron functions of divisor $2Θ$. We define such Néron functions using division polynomials and a generalisation of Blakestad's $p$-adic sigma function on the formal group of $J$. We prove that our $p$-adic Néron function $λ_v$ at a non-archimedean place $v$ of $K$ is the image, under a suitable trace map, of a symmetric $v$-adic Green function of divisor $Θ$ à la Colmez. We use this to relate $λ_v$ and $h_p$ to local and global extended Coleman-Gross (and hence Nekovář) $p$-adic height pairings. We provide examples of our implementation, including one for a prime $p$ greater than $10^6$, and explain how similar techniques can be used to compute $p$-adic integrals of differentials of the first, second and third kind on $C$ independently of the reduction type. As an application, we also give an explicit quadratic Chabauty function vanishing on the rational points on certain genus $4$ bihyperelliptic curves.

math.NT↗
arXiv2023

An optimal lower bound in fractional spectral geometry for planar sets with topological constraints

We prove a lower bound on the first eigenvalue of the fractional Dirichlet-Laplacian of order $s$ on planar open sets, in terms of their inradius and topology. The result is optimal, in many respects. In particular, we recover a classical result proved independently by Croke, Osserman and Taylor, in the limit as $s$ goes to $1$. The limit as $s$ goes to $1/2$ is carefully analyzed, as well.

math.AP↗
arXiv2022

Rational points on rank 2 genus 2 bielliptic curves in the LMFDB

Building on work of Balakrishnan, Dogra, and of the first author, we provide some improvements to the explicit quadratic Chabauty method to compute rational points on genus $2$ bielliptic curves over $\mathbb{Q}$, whose Jacobians have Mordell-Weil rank equal to $2$. We complement this with a precision analysis to guarantee correct outputs. Together with the Mordell-Weil sieve, this bielliptic quadratic Chabauty method is then the main tool that we use to compute the rational points on the $411$ locally solvable curves from the LMFDB which satisfy the aforementioned conditions.

math.NT↗
arXiv2022

A note on the supersolution method for Hardy's inequality

We prove a characterization of Hardy's inequality in Sobolev-Slobodecki\uı spaces in terms of positive local weak supersolutions of the relevant Euler-Lagrange equation. This extends previous results by Ancona and Kinnunen & Korte for standard Sobolev spaces. The proof is based on variational methods.

math.AP↗
arXiv2022

On the sharp Hardy inequality in Sobolev-Slobodecki\uı spaces

We study the sharp constant in the Hardy inequality for fractional Sobolev spaces defined on open subsets of the Euclidean space. We first list some properties of such a constant, as well as of the associated variational problem. We then restrict the discussion to open convex sets and compute such a sharp constant, by constructing suitable supersolutions by means of the distance function. Such a method of proof works only for $s\,p\ge 1$ or for $Ω$ being a half-space. We exhibit a simple example suggesting that this method can not work for $s\,p<1$ and $Ω$ different from a half-space. The case $s\,p<1$ for a generic convex set is left as an interesting open problem, except in the Hilbertian setting (i.e. for $p=2$): in this case we can compute the sharp constant in the whole range $0<s<1$. This completes a result which was left open in the literature.

math.AP↗
arXiv2021

The fractional Makai-Hayman inequality

We prove that the first eigenvalue of the fractional Dirichlet-Laplacian of order $s$ on a simply connected set of the plane can be bounded from below in terms of its inradius only. This is valid for $1/2<s<1$ and we show that this condition is sharp, i.\,e. for $0<s\le 1/2$ such a lower bound is not possible. The constant appearing in the estimate has the correct asymptotic behaviour with respect to $s$, as it permits to recover a classical result by Makai and Hayman in the limit $s\nearrow 1$. The paper is as self-contained as possible.

math.AP↗
arXiv2020

Quadratic Chabauty for (bi)elliptic curves and Kim's conjecture

We explore a number of problems related to the quadratic Chabauty method for determining integral points on hyperbolic curves. We remove the assumption of semistability in the description of the quadratic Chabauty sets $\mathcal{X}(\mathbb{Z}_p)_2$ containing the integral points $\mathcal{X}(\mathbb{Z})$ of an elliptic curve of rank at most $1$. Motivated by a conjecture of Kim, we then investigate theoretically and computationally the set-theoretic difference $\mathcal{X}(\mathbb{Z}_p)_2\setminus \mathcal{X}(\mathbb{Z})$. We also consider some algorithmic questions arising from Balakrishnan--Dogra's explicit quadratic Chabauty for the rational points of a genus-two bielliptic curve. As an example, we provide a new solution to a problem of Diophantus which was first solved by Wetherell. Computationally, the main difference from the previous approach to quadratic Chabauty is the use of the $p$-adic sigma function in place of a double Coleman integral.

math.NT↗
arXiv2020

Explicit quadratic Chabauty over number fields

We generalize the explicit quadratic Chabauty techniques for integral points on odd degree hyperelliptic curves and for rational points on genus 2 bielliptic curves to arbitrary number fields using restriction of scalars. This is achieved by combining equations coming from Siksek's extension of classical Chabauty with equations defined in terms of p-adic heights attached to independent continuous idele class characters. We give several examples to show the practicality of our methods.

math.NT↗
arXiv2020

Two recent p-adic approaches towards the (effective) Mordell conjecture

We give an introductory account of two recent approaches towards an effective proof of the Mordell conjecture, due to Lawrence--Venkatesh and Kim. The latter method, which is usually called the method of Chabauty--Kim or non-abelian Chabauty in the literature, has the advantage that in some cases it has been turned into an effective method to determine the set of rational points on a curve, and we illustrate this by presenting three new examples of modular curves where this set can be determined.

math.NT↗
arXiv2018

Chabauty-Coleman experiments for genus 3 hyperelliptic curves

We describe a computation of rational points on genus 3 hyperelliptic curves $C$ defined over $\mathbb{Q}$ whose Jacobians have Mordell-Weil rank 1. Using the method of Chabauty and Coleman, we present and implement an algorithm in Sage to compute the zero locus of two Coleman integrals and analyze the finite set of points cut out by the vanishing of these integrals. We run the algorithm on approximately 17,000 curves from a forthcoming database of genus 3 hyperelliptic curves and discuss some interesting examples where the zero set includes global points not found in $C(\mathbb{Q})$.

math.NT↗
arXiv2016

Consequences of the functional equation of the $p$-adic $L$-function of an elliptic curve

We prove that the first two coefficients in the series expansion around $s=1$ of the $p$-adic $L$-function of an elliptic curve over $\mathbb{Q}$ are related by a formula involving the conductor of the curve. This is analogous to a recent result of Wuthrich for the classical $L$-function, which makes use of the functional equation. We present a few other consequences for the $p$-adic $L$-function and a generalisation to the base-change to an abelian number field.

math.NT↗